RESULTS
All research outputs from our project | FoQaCiA
A. Pre-prints (63)
A bundle perspective on contextuality: Empirical models and simplicial distributions on bundle scenarios; Rui Soares Barbosa, Aziz Kharoof, Cihan Okay; arXiv:2308.06336 [math.CT]; 10.48550/arxiv.2308.06336
A Conjecture on Almost Flat SIC-POVMs. Ingemar Bengtsson, Markus Grassl.
arXiv:2512.13201 [quant-ph] https://arxiv.org/abs/2512.13201A structure theorem for complex-valued quasiprobability representations of physical theories. Rafael Wagner, Roberto D. Baldijão, Matthias Salzger, Yìlè Y?ng, David Schmid, John H. Selby. arXiv:2509.10949 [quant-ph]
An extended Wigner's friend no-go theorem inspired by generalized contextuality
Laurens Walleghem, Lorenzo Catani. ArXiv:2502.02461 [quant-ph].
Buildings for Synthesis with Clifford+R. Mark Deaconu, Nihar Gargava, Amolak Ratan Kalra, Michele Mosca, Jon Yard. arXiv:2510.11526 [quant-ph]
Can multiple observers detect KS-contextuality?; Arthur C. R. Dutra, Roberto D. Baldijão, Marcelo Terra Cunha; arXiv:2310.19564 [quant-ph]; 10.48550/arxiv.2310.19564
Classical simulation of universal measurement-based quantum computation using multipartite Bell scenarios. Cihan Okay, Atak Talay Yucel, Selman Ipek. arXiv:2410.23734 [quant-ph]
Contextuality-based quantum key distribution with deterministic single-photon sources. Yu Meng, Debashis Saha, Mikkel Thorbjørn Mikkelsen, Clara Henke, Ying Wang, Nikolai Bart, Arne Ludwig, Peter Lodahl, Adán Cabello, Leonardo Midolo.
arXiv:2510.12761 [quant-ph].Condensed Encodings of Projective Clifford Operations in Arbitrary Dimension. Sam Winnick, Jennifer Paykin. arXiv:2407.16861 [quant-ph].
Demonstrating Quantum Homomorphic Encryption Through Simulation. Sohrab Ganjian, Connor Paddock, Anne Broadbent; arXiv:2406.16247 [quant-ph]. https://arxiv.org/abs/2406.16247
Double categories for adaptive quantum computation. Cihan Okay, Walker Stern, Redi Haderi, Selman Ipek. arXiv:2510.25915 [quant-ph].
Efficient classical simulation of quantum computation beyond Wigner positivity. Michael Zurel, Arne Heimendahl. arXiv:2407.10349 [quant-ph].
Energy-time and time-bin entanglement: past, present and future
Guilherme B. Xavier, Jan-Åke Larsson, Paolo Villoresi, Giuseppe Vallone, Adán Cabello; arXiv:2503.14675 [quant-ph].
Entanglement Detection with Quantum-inspired Kernels and SVMs. Ana Martínez-Sabiote, Michalis Skotiniotis, Jara J. Bermejo-Vega, Daniel Manzano, Carlos Cano. arXiv:2508.17909 [quant-ph]
Equivariant simplicial distributions and quantum contextuality; Cihan Okay, Igor Sikora; arXiv:2310.18135 [quant-ph]; 10.48550/arxiv.2310.18135
Exact Non-Identity Check and Gate-Teleportation-Based Indistinguishability Obfuscation are NP-hard for Low-T-Depth Quantum Circuits. Joshua Nevin. arXiv:2511.17856 [quant-ph] https://arxiv.org/abs/2511.17856
Exclusivity principle, Ramsey theory, and n-cycle PR boxes. Raman Choudhary, Rui Soares Barbosa. arXiv:2411.09773 [quant-ph].
Experimental Quantum Advantage in the Odd-Cycle Game. P. Drmota, D. Main, E. M. Ainley, A. Agrawal, G. Araneda, D. P. Nadlinger, B. C. Nichol, R. Srinivas, A. Cabello, D. M. Lucas; arXiv:2406.08412 [quant-ph]. https://arxiv.org/abs/2406.08412
Exploring Bell Nonlocality with Extremal Non-Signaling Boxes. Emmanuel Zambrini Cruzeiro, Junior R. Gonzales-Ureta, Raman Choudhary, Hugo Abreu, Adán Cabello, Sébastien Designolle. arXiv:2601.08924 [quant-ph] https://arxiv.org/abs/2601.08924
Fast algorithms for classical specifications of stabiliser states and Clifford gates; Nadish de Silva, Wilfred Salmon, Ming Yin; arXiv:2311.10357 [quant-ph]; 10.48550/arXiv.2311.10357
Game semantics for higher-order unitary quantum computation; Samson Abramsky, Radha Jagadeesan; arXiv:2404.06646 [cs.PL]; 10.48550/arXiv.2404.06646
Generating multipartite nonlocality to benchmark quantum computers. Jan Lennart Bönsel, Otfried Gühne, Adán Cabello; arXiv:2406.07659 [quant-ph]. https://arxiv.org/abs/2406.07659
Homotopical characterization of strongly contextual simplicial distributions on cone spaces; Aziz Kharoof, Cihan Okay; arXiv:2311.14111 [math.AT]; 10.48550/arxiv.2311.14111
How typical is contextuality? Vinicius P. Rossi, Beata Zjawin, Roberto D. Baldijão, David Schmid, John H. Selby, Ana Belén Sainz. ArXiv:2510.20722 [quant-ph]
Impossibility of bipartite full nonlocality, all-versus-nothing proofs, and pseudo-telepathy in small Bell scenarios; Yuan Liu, Ho Yiu Chung, Emmanuel Zambrini Cruzeiro, Junior R. Gonzales-Ureta, Ravishankar Ramanathan, Adán Cabello; arXiv:2310.10600 [quant-ph]; 10.48550/arXiv.2310.10600
Local contextuality-based self-tests are sufficient for randomness expansion secure against quantum adversaries; Jaskaran Singh, Cameron Foreman, Kishor Bharti, Adán Cabello; arXiv:2409.20082 [quant-ph].
Logical possibilities for physics after MIP*=RE; Adán Cabello, Marco Túlio Quintino, Matthias Kleinmann; arXiv:2307.02920 [quant-ph]; 10.48550/arxiv.2307.02920.
Matchgate hierarchy: A Clifford-like hierarchy for deterministic gate teleportation in matchgate circuits; Angelos Bampounis, Rui Soares Barbosa, Nadish de Silva; arXiv:2410.01887 [quant-ph].
Measurement-based quantum computation in symmetry protected topological states of one-dimensional integer spin systems; Wang Yang, Arnab Adhikary, Robert Raussendorf. arXiv:2409.16109 [quant-ph].
Measuring unitary invariants with the quantum switch. Pedro C. Azado, Rafael Wagner, Rui S. Barbosa, Ernesto F. Galvão. ArXiv:2508.02345 [quant-ph]
Minimum full nonlocality, all versus nothing nonlocality, and quantum pseudo telepathy; Adán Cabello; arXiv:2311.17735 [quant-ph]; 10.48550/arXiv.2311.17735
Multi-qutrit exact synthesis; Amolak Ratan Kalra, Manimugdha Saikia, Dinesh Valluri, Sam Winnick, Jon Yard; arXiv:2405.08147 [quant-ph]; 10.48550/arXiv.2405.08147
Noise-Robustness for Delegated Quantum Computation in the Circuit Model. Anne Broadbent, Joshua Nevin. arXiv:2511.22844 [quant-ph] https://arxiv.org/abs/2511.22844
Noncontextuality inequalities for prepare-transform-measure scenarios;David Schmid, Roberto D. Baldijão, John H. Selby, Ana Belén Sainz, Robert W. Spekkens;
arXiv:2407.09624 [quant-ph]No quantum solutions to linear constraint systems from monomial measurement-based quantum computation in odd prime dimension. Markus Frembs, Cihan Okay, Ho Yiu Chung. arXiv:2601.11367 [quant-ph] https://arxiv.org/abs/2601.11367
On the enumeration of records of rooted trees and rooted forests
Adrián Lillo, Mercedes Rosas, Stefan Trandafir. arXiv:2510.12536 [math.CO]
On the rank of two-dimensional simplicial distributions; Okay, Cihan; arXiv:2312.15794 [quant-ph]; 10.48550/arxiv.2312.15794
On Weary Drivers, Records of Trees, and Parking Functions. Adrián Lillo, Mercedes Rosas, Stefan Trandafir. arXiv:2506.22145 [math.CO]
Operational quantum reference frame transformations; Titouan Carette, Jan Głowacki, Leon Loveridge; arXiv:2303.14002 [quant-ph]; 10.48550/arXiv.2303.14002
Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies; Stefan Trandafir, Adán Cabello. arXiv:2410.17470 [quant-ph].
Perfect quantum strategies with small input cardinality. Stefan Trandafir, Junior R. Gonzales-Ureta, Adán Cabello. arXiv:2407.21473 [quant-ph].
Polyhedral Classical Simulators for Quantum Computation. Cihan Okay.
arXiv:2510.07540 [quant-ph].Phase space tableau simulation for quantum computation. Selman Ipek, Atak Talay Yucel, Farzad Shahi, Cagdas Ozdemir, Cihan Okay. ArXiv:2506.04033 [quant-ph]
Quantum optimization: Potential, challenges, and the path forward; Amira Abbas et al.; arXiv:2312.02279 [quant-ph]; 10.48550/arXiv.2312.02279; https://arxiv.org/abs/2312.02279
Qudit Quantum Programming with Projective Cliffords. Jennifer Paykin, Sam Winnick. arXiv:2407.16801 [quant-ph].
Relativization is naturally functorial; Jan Głowacki; arXiv:2403.03755 [quant-ph]; 10.48550/arXiv.2403.03755
Resource-theoretic hierarchy of contextuality for general probabilistic theories; Lorenzo Catani, Thomas D. Galley, Tomáš Gonda; arXiv:2406.00717 [quant-ph]; 10.48550/arXiv.2406.00717; https://arxiv.org/pdf/2406.00717
Robustness of contextuality under different types of noise as quantifiers for parity-oblivious multiplexing tasks; Amanda M. Fonseca, Vinicius P. Rossi, Roberto D. Baldijão, John H. Selby, Ana Belén Sainz; arXiv:2406.12773; https://arxiv.org/abs/2406.12773
Self-testing in the compiled setting via tilted-CHSH inequalities. Arthur Mehta, Connor Paddock, Lewis Wooltorton; arXiv:2406.04986 [quant-ph]. https://arxiv.org/abs/2406.04986
SIC-POVMs from Stark units: dimensions n^2+3=4p, p prime; Ingemar Bengtsson, Markus Grassl, Gary McConnell; arXiv:2403.02872 [quant-ph]; 10.48550/arXiv.2403.02872
Simplicial effects and weakly associative partial groups
Cihan Okay, Victor Castillo, Walker H. Stern; arXiv:2502.05958 [math.CT].
Simplicial methods in the resource theory of contextuality. Aziz Kharoof, Cihan Okay. ArXiv:2505.24010 [quant-ph]
Simulation of quantum computation with magic states via Jordan-Wigner transformations; Michael Zurel, Lawrence Z. Cohen, Robert Raussendorf; arXiv:2307.16034 [quant-ph]; 10.48550/arXiv.2307.16034
State-independent all-versus-nothing arguments; Boseong Kim, Samson Abramsky; arXiv:2311.11218 [quant-ph]; 10.48550/arXiv.2311.11218
Supersinglets can be self-tested with perfect quantum strategies; Debashis Saha, Adán Cabello; arXiv:2501.00409 [quant-ph].
Symmetry-accelerated classical simulation of Clifford-dominated circuits. Giulio Camillo, Filipa C. R. Peres, Markus Heinrich, Juani Bermejo-Vega. ArXiv:2510.18977 [quant-ph].
Test of the physical significance of Bell nonlocality; Carlos Vieira, Ravishankar Ramanathan, Adán Cabello; arXiv:2402.00801 [quant-ph]; 10.48550/arXiv.2402.00801; https://arxiv.org/abs/2402.00801
The Clifford hierarchy for one qubit or qudit; Nadish de Silva, Oscar Lautsch;
arXiv:2501.07939 [quant-ph].The degenerate vertices of the 2-qubit Λ-polytope and their update rules; Selman Ipek, Cihan Okay; arXiv:2312.10734 [quant-ph]; 10.48550/arXiv.2312.10734; https://arxiv.org/abs/2312.10734
The genesis sequence, tree records and endofunctions. Enrica Duchi, Adrián Lillo, Pablo Puerto, Mercedes Rosas, Stefan Trandafir. arXiv:2601.07938 [math.CO] https://arxiv.org/abs/2601.07938
The operadic theory of convexity; Redi Haderi, Cihan Okay, Walker H. Stern; arXiv:2403.18102 [math.CT]; 10.48550/arXiv.2403.18102; https://arxiv.org/abs/2403.18102
Twisted simplicial distributions; Cihan Okay, Walker H. Stern; arXiv:2403.19808 [quant-ph]; 10.48550/arXiv.2403.19808; https://arxiv.org/pdf/2403.19808
Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
Stefan Trandafir, Adán Cabello; arXiv:2501.11640 [quant-ph].
B. Journal articles (30)
A Classification Program for Nonlocality Paradoxes of Three Qubits. Nadish de Silva, Santanil Jana, Ming Yin. EPTCS 426, 2025, pp. 197-214.
Alternative robust ways of witnessing nonclassicality in the simplest scenario; Massy Khoshbin, Lorenzo Catani, Matthew Leifer; Physical Review A 109, 032212; 10.1103/physreva.109.032212; 10.48550/arxiv.2311.13474 https://arxiv.org/abs/2311.13474
Bases for optimising stabiliser decompositions of quantum states; Nadish de Silva, Ming Yin, Sergii Strelchuk; Quantum Science and Technology; 10.48550/arXiv.2311.17384; 10.48550/arXiv.2311.17384 https://arxiv.org/abs/2311.17384
Certifying sets of quantum observables with any full-rank state; Zhen-Peng Xu, Debashis Saha, Kishor Bharti, Adán Cabello; Physical Review Letters 132, 140201; 10.1103/PhysRevLett.132.140201; 10.48550/arXiv.2309.05735 https://arxiv.org/abs/2309.05735
Characterising semi-Clifford gates using algebraic sets; Imin Chen, Nadish de Silva; Communications in Mathematical Physics; 10.48550/arXiv.2309.15184 https://arxiv.org/abs/2309.15184
Combining contextuality and causality: a game semantics approach; Samson Abramsky, Rui Soares Barbosa, Amy Searle; Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 382(2268), 20230002; 10.1098/rsta.2023.0002; 10.48550/arxiv.2307.04786 https://arxiv.org/abs/2307.04786
Contextuality with vanishing coherence and maximal robustness to dephasing; Vinicius P. Rossi, David Schmid, John H. Selby, Ana Belén Sainz; Physical Review A 108, 032213; 10.1103/physreva.108.032213; 10.48550/arxiv.2212.06856 https://arxiv.org/abs/2212.06856
Convexity of noncontextual wirings and how they order the set of correlations. Tiago Santos, Rafael Wagner, Bárbara Amaral. Phys. Rev. A 110, 032217 (2024). https://doi.org/10.1103/PhysRevA.110.032217. arXiv:2407.02120 [quant-ph].
Estimation of multivariate traces of states given partial classical information
Kyrylo Simonov, Rafael Wagner, Ernesto Galvão; Phys. Rev. A 112, 062435 (2025).
Experimental certification of contextuality, coherence, and dimension in a programmable universal photonic processor; Taira Giordani, Rafael Wagner, Chiara Esposito, Anita Camillini, Francesco Hoch, Gonzalo Carvacho, Ciro Pentangelo, Francesco Ceccarelli, Simone Piacentini, Andrea Crespi, Nicolò Spagnolo, Roberto Osellame, Ernesto F. Galvão, Fabio Sciarrino; Science Advances 9(44), eadj4249; 10.1126/sciadv.adj4249; I: 10.1126/sciadv.adj4249 https://www.science.org/doi/10.1126/sciadv.adj4249
Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality); David Schmid, Roberto D. Baldijão, Yìlè Yīng, Rafael Wagner, John H. Selby; Physical Review A 110, 052206 (2024). arXiv:2405.04573 [quant-ph]. https://journals.aps.org/pra/abstract/10.1103/PhysRevA.110.052206
Lifting noncontextuality inequalities; Raman Choudhary, Rui Soares Barbosa, Adán Cabello; Physical Review A 109, 052216; 10.1103/PhysRevA.109.052216; 10.48550/arXiv.2401.12349 https://arxiv.org/abs/2401.12349
Measurement-based quantum computation in finite one-dimensional systems: string order implies computational power; Robert Raussendorf, Wang Yang, Arnab Adhikary Quantum 7, 1215; 10.22331/q-2023-12-28-1215; 10.22331/q-2023-12-28-1215 https://quantum-journal.org/papers/q-2023-12-28-1215/
Mermin polytopes in quantum computation and foundations; Cihan Okay, Ho Yiu Chung, Selman Ipek; Quantum Information and Computation 23(9&10), 733–782; 10.26421/qic23.9-10-2; 10.48550/arXiv.2210.10186 https://arxiv.org/abs/2210.10186
Necessary and sufficient state condition for violation of a Bell inequality with multiple measurement settings; Swapnil Bhowmick, Som Kanjilal, A. K. Pan, Souradeep Sasmal. Phys. Rev. A 110, 052432 (2024). https://arxiv.org/abs/2408.10350
Non-stabilizerness and entanglement from cat-state injection; Filipa C R Peres, Rafael Wagner, Ernesto F Galvão; New Journal of Physics 26, 013051; 10.1088/1367-2630/ad1b80; 10.48550/arxiv.2305.19988 https://arxiv.org/abs/2305.19988
Pauli-based model of quantum computation with higher-dimensional systems; Filipa C. R. Peres; Physical Review A 108, 032606; 10.1103/physreva.108.032606; 10.48550/arxiv.2302.13702 https://arxiv.org/abs/2302.13702
Quantum circuits for measuring weak values, Kirkwood–Dirac quasiprobability distributions, and state spectra; Rafael Wagner, Zohar Schwartzman-Nowik, Ismael L Paiva, Amit Te'eni, Antonio Ruiz-Molero, Rui Soares Barbosa, Eliahu Cohen, Ernesto F Galvão; Quantum Science and Technology 9, 015030; 10.1088/2058-9565/ad124c; 10.48550/arxiv.2302.00705 https://arxiv.org/abs/2302.00705
Quantum circuits to measure scalar spin chirality; Leander I. Reascos, Bruno Murta, Ernesto F. Galvão, Joaquín Fernández-Rossier; Physical Review Research 5, 043087; 10.1103/physrevresearch.5.043087; 10.48550/arxiv.2306.14804 https://arxiv.org/abs/2306.14804
Reducing Depth and Measurement Weights in Pauli-based Computation. Filipa C. R. Peres, Ernesto F. Galvão. Physical Review A 112, 062604 (2025); https://doi.org/10.1103/d3x5-cgky
Simple proof that anomalous weak values require coherence; Rafael Wagner, Ernesto F. Galvão; Physical Review A 108, L040202; 10.1103/physreva.108.l040202; 10.48550/arxiv.2303.08700 https://arxiv.org/abs/2303.08700
Simplicial techniques for operator solutions of linear constraint systems; Ho Yiu Chung, Cihan Okay, Igor Sikora; Topology and its Applications 348,108883; 10.1016/j.topol.2024.108883; 10.48550/arXiv.2305.07974 https://arxiv.org/abs/2305.07974
Simulating quantum computation: how many "bits" for "it"?; Michael Zurel, Cihan Okay, Robert Raussendorf; PRX Quantum 5, 030343 (2024). https://doi.org/10.1103/PRXQuantum.5.030343
Quantum switch instabilities with an open control; Otavio A. D. Molitor, André H. A. Malavazi, Roberto Dobal Baldijão, Alexandre C. Orthey Jr., Ismael L. Paiva, Pedro R. Dieguez. Communications Physics volume 7, Article number: 373 (2024).
The simplest Kochen-Specker set. Adán Cabello. Phys. Rev. Lett. 135, 190203 (2025).
Topological methods for studying contextuality: N-cycle scenarios and beyond; Aziz Kharoof, Selman Ipek, Cihan Okay; Entropy 25(8), 1127; 10.3390/e25081127; 10.3390/e25081127
Unbounded Sharing of Nonlocality Using Projective Measurements; Souradeep Sasmal, Som Kanjilal, Alok Kumar Pan; Phys. Rev. Lett. 133, 170201 (2024). https://doi.org/10.1103/PhysRevLett.133.170201
Using a resource theoretic perspective to witness and engineer quantum generalized contextuality for prepare-and-measure scenarios; Rafael Wagner, Roberto D Baldijão, Alisson Tezzin, and Bárbara Amaral; Journal of Physics A: Mathematical and Theoretical 56, 505303; 10.1088/1751-8121/ad0bcc; 10.48550/arXiv.2102.10469 https://arxiv.org/abs/2102.10469
Unstructured Adiabatic Quantum Optimization: Optimality with Limitations; Arthur Braida, Shantanav Chakraborty, Alapan Chaudhuri, Joseph Cunningham, Rutvij Menavlikar, Leonardo Novo, Jérémie Roland; Quantum volume 9, page 1790 (2025).
Verifiable measurement-based quantum random sampling with trapped ions; Martin Ringbauer et al.; Nature Communications volume 16, Article number: 106 (2025).
C. Articles in conference proceedings
To be included
D. Books, book chapters
To be included.
E. Invited talks at conferences
I. Bengtsson
“The Heisenberg groups and the dimensions of Hilbert spaces"
Celebrating the Choi-Jamiołkowski Isomorphism
1–2 March 2023
F. Contributed talks at conferences
Talk by Nadish de Silva (SFU) about semi-Clifford gates at a province-wide interdisciplinary seminar: Quantum BC seminar. https://qpl2023.github.io/accepted/
Talk by Nadish de Silva (SFU) about semi-Clifford gates at QUASAR seminar in Ottawa.
Talk by Nadish de Silva (SFU) about semi-Clifford gates at the FoQaCiA meeting at Perimeter Institute.
Talk by Jan Głowacki (Gdasnk) titled “Towards Relational Quantum Relativity” based on the FoQaCiA result [arXiv:2303.14002 [quant-ph]] during a scientific research visit to the Center for Quantum Information and Communication of the Université Libre de Bruxelles, 27 November 2023.
Talk by Jan Głowacki (Gdasnk) titled “Towards Relational Quantum Relativity” based on the FoQaCiA result [arXiv:2303.14002 [quant-ph]] during a scientific research visit to Stockholm University & NORDITA, Stockholm, 17 November 2023.
Contributed talk by Vinicius P Rossi (Gdansk) on a FoQaCiA result [Phys. Rev. A 108, 032213 (2023)] at 20th International Conference on Quantum Physics and Logic (QPL 2023), Paris, July 2023.
Talk by Ingemar Bengtsson at the Celebrating the Choi-Jamiolkowski Isomorphism Online Event, March 1-2, 2023. https://kcik.ug.edu.pl/symposia/celebrating-the-choi-jamiolkowski-isomorphism/
Talk by Ingemar Bengtsson at the Online Codex Seminar, Title: Pythagorean SICs, on January 2023. https://www.youtube.com/watch?v=RIsmzAOSugo
G. Posters at conferences
Poster on the FoQaCiA result (Gdansk) [Phys. Rev. A 108, 032213 (2023)] at the Quantum Speedup conference in Gdansk, November 2023. https://ictqt.ug.edu.pl/quantum-speedup/
Poster on the FoQaCiA result [Phys. Rev. A 108, 032213 (2023)] at the IRAP – Fostering Excellence and Innovation conference, Warsaw, October 2023. https://irapconference.pl/
Fast algorithms for converting between descriptions of stabiliser objects for use in e.g. classical simulation algorithms, gate/circuit synthesis, and numerical experiments. https://github.com/ndesilva/stabiliser-tools
Computations for establishing equality of algebraic sets for infinitely many finite fields, applied to semi-Clifford gates. https://github.com/ndesilva/semiclifford
Code for injecting cat state into arbitrary quantum circuits and study information scrambling within those circuits. https://github.com/fcrperes/CATIQ
GitHub Repository for computing polytopes of two-dimensional simplicial distributions. https://github.com/BilQCT/TwoDim
GitHub Repository for computing the sum of Clifford’s decompositions part of Deliverable 2.5. https://github.com/jbermejovega/TFG_LuisManes
GitHub Repository for double-description method for the two-qubit Lambda polytope. https://github.com/BilQCT/ClassicalLambda
GitHub Repository for open source computer algebra workflow part of Deliverable 3.1. https://github.com/jtyard/QP.jl
GitHub Repository for open source simulation of quantum fully homomorphic encryption. https://github.com/sohrabganjian/py-qhe-epr
Computations for optimising stabiliser decompositions for use in classical simulation algorithms. https://github.com/ndesilva/stabiliser-decomp-bases