RESULTS
All research outputs from our project | FoQaCiA
A. Pre-prints (63)
Local measurements and the entanglement transition in quantum spin chains
Sven Bachmann, Mahsa Rahnama, Gabrielle Tournaire
arXiv:2602.05914 [math-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]The genesis sequence, tree records and endofunctions
Enrica Duchi, Adrián Lillo, Pablo Puerto, Mercedes Rosas, Stefan Trandafir
arXiv:2601.07938 [math.CO]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]A conjecture on almost flat SIC-POVMs
Ingemar Bengtsson, Markus Grassl
arXiv:2512.13201 [quant-ph]Noise-robustness for delegated quantum computation in the circuit model
Anne Broadbent, Joshua Nevin
arXiv:2511.22844 [quant-ph]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]Stacking and the triviality of invertible phases
Sven Bachmann, Alan Getz, Pieter Naaijkens, Naomi Wray
arXiv:2511.08382 [math-ph]Double categories for adaptive quantum computation
Cihan Okay, Walker Stern, Redi Haderi, Selman Ipek
arXiv:2510.25915 [quant-ph]How to build anomalous (3+1)d topological quantum field theories
Arun Debray, Weicheng Ye, Matthew Yu
arXiv:2510.24834 [math-ph]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]Symmetry-accelerated classical simulation of Clifford-dominated circuits
Giulio Camillo, Filipa C. R. Peres, Markus Heinrich, Juani Bermejo-Vega
arXiv:2510.18977 [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]On the enumeration of records of rooted trees and rooted forests
Adrián Lillo, Mercedes Rosas, Stefan Trandafir
arXiv:2510.12536 [math.CO]Buildings for synthesis with Clifford+R
Mark Deaconu, Nihar Gargava, Amolak Ratan Kalra, Michele Mosca, Jon Yard
arXiv:2510.11526 [quant-ph]Polyhedral classical simulators for quantum computation
Cihan Okay
arXiv:2510.07540 [quant-ph]A structure theorem for complex-valued quasiprobability representations of physical theories
Rafael Wagner, Roberto D. Baldijão, Matthias Salzger, Yìlè Yīng
arXiv:2509.10949 [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]Universal quantum phase classification on quantum computers from machine learning
Weicheng Ye, Shuwei Liu, Shiyu Zhou, Yijian Zou
arXiv:2508.04774 [quant-ph]Measuring unitary invariants with the quantum switch
Pedro C. Azado, Rafael Wagner, Rui Soares Barbosa, Ernesto F. Galvão
arXiv:2508.02345 [quant-ph]On weary drivers, records of trees, and parking functions
Adrián Lillo, Mercedes Rosas, Stefan Trandafir
arXiv:2506.22145 [math.CO]Phase space tableau simulation for quantum computation
Selman Ipek, Atak Talay Yucel, Farzad Shahi, Cagdas Ozdemir, Cihan Okay
arXiv:2506.04033 [quant-ph]Simplicial methods in the resource theory of contextuality
Aziz Kharoof, Cihan Okay
arXiv:2505.24010 [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]Simplicial effects and weakly associative partial groups
Cihan Okay, Victor Castillo, Walker H. Stern
arXiv:2502.05958 [math.CT]An extended Wigner's friend no-go theorem inspired by generalized contextuality
Laurens Walleghem, Lorenzo Catani
arXiv:2502.02461 [quant-ph]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]The Clifford hierarchy for one qubit or qudit
Nadish de Silva, Oscar Lautsch
arXiv:2501.07939 [quant-ph]Supersinglets can be self-tested with perfect quantum strategies
Debashis Saha, Adán Cabello
arXiv:2501.00409 [quant-ph]Exclusivity principle, Ramsey theory, and n-cycle PR boxes
Raman Choudhary, Rui Soares Barbosa
arXiv:2411.09773 [quant-ph]Classical simulation of universal measurement-based quantum computation using multipartite Bell scenarios
Cihan Okay, Atak Talay Yucel, Selman Ipek
arXiv:2410.23734 [quant-ph]Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies
Stefan Trandafir, Adán Cabello
arXiv:2410.17470 [quant-ph]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]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]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]Perfect quantum strategies with small input cardinality
Stefan Trandafir, Junior R. Gonzales-Ureta, Adán Cabello
arXiv:2407.21473 [quant-ph]Condensed encodings of projective Clifford operations in arbitrary dimension
Sam Winnick, Jennifer Paykin
arXiv:2407.16861 [quant-ph]Qudit quantum programming with projective Cliffords
Jennifer Paykin, Sam Winnick
arXiv:2407.16801 [quant-ph]Efficient classical simulation of quantum computation beyond Wigner positivity
Michael Zurel, Arne Heimendahl
arXiv:2407.10349 [quant-ph]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]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]Generating multipartite nonlocality to benchmark quantum computers
Jan Lennart Bönsel, Otfried Gühne, Adán Cabello
arXiv:2406.07659 [quant-ph]Self-testing in the compiled setting via tilted-CHSH inequalities
Arthur Mehta, Connor Paddock, Lewis Wooltorton
arXiv:2406.04986 [quant-ph]Resource-theoretic hierarchy of contextuality for general probabilistic theories
Lorenzo Catani, Thomas D. Galley, Tomáš Gonda
arXiv:2406.00717 [quant-ph]Multi-qutrit exact synthesis
Amolak Ratan Kalra, Manimugdha Saikia, Dinesh Valluri, Sam Winnick, Jon Yard
arXiv:2405.08147 [quant-ph]Game semantics for higher-order unitary quantum computation
Samson Abramsky, Radha Jagadeesan
arXiv:2404.06646 [cs.PL]Twisted simplicial distributions
Cihan Okay, Walker H. Stern
arXiv:2403.19808 [quant-ph]The operadic theory of convexity
Redi Haderi, Cihan Okay, Walker H. Stern
arXiv:2403.18102 [math.CT]Relativization is naturally functorial
Jan Głowacki
arXiv:2403.03755 [quant-ph]Test of the physical significance of Bell nonlocality
Carlos Vieira, Ravishankar Ramanathan, Adán Cabello
arXiv:2402.00801 [quant-ph]On the rank of two-dimensional simplicial distributions
Cihan Okay
arXiv:2312.15794 [quant-ph]The degenerate vertices of the 2-qubit Λ-polytope and their update rules
Selman Ipek, Cihan Okay
arXiv:2312.10734 [quant-ph]Quantum optimization: Potential, challenges, and the path forward
Amira Abbas et al.
arXiv:2312.02279 [quant-ph]Minimum full nonlocality, all versus nothing nonlocality, and quantum pseudo telepathy
Adán Cabello
arXiv:2311.17735 [quant-ph]Homotopical characterization of strongly contextual simplicial distributions on cone spaces
Aziz Kharoof, Cihan Okay
arXiv:2311.14111 [math.AT]State-independent all-versus-nothing arguments
Boseong Kim, Samson Abramsky
arXiv:2311.11218 [quant-ph]Fast algorithms for classical specifications of stabiliser states and Clifford gates
Nadish de Silva, Wilfred Salmon, Ming Yin
arXiv:2311.10357 [quant-ph]Can multiple observers detect KS-contextuality?
Arthur C. R. Dutra, Roberto D. Baldijão, Marcelo Terra Cunha
arXiv:2310.19564 [quant-ph]Equivariant simplicial distributions and quantum contextuality
Cihan Okay, Igor Sikora
arXiv:2310.18135 [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]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]Simulation of quantum computation with magic states via Jordan-Wigner transformations
Michael Zurel, Lawrence Z. Cohen, Robert Raussendorf
arXiv:2307.16034 [quant-ph]Possible consequences for physics of the negative resolution of Tsirelson's problem
Adán Cabello, Marco Túlio Quintino, Matthias Kleinmann
arXiv:2307.02920 [quant-ph]
B.Journal articles (36)
A 3D lattice defect and efficient computations in topological MBQC
Gabrielle Tournaire, Marvin Schwiering, Robert Raussendorf, Sven Bachmann
Quantum 10, 1997 (2026).
Preprint available at arXiv:2412.09781 [quant-ph].
Here is a video explaining the results to a general audience.Estimation of multivariate traces of states given partial classical information
Kyrylo Simonov, Rafael Wagner, Ernesto F. Galvão
Physical Review A 112, 062435 (2025).
Preprint available at arXiv:2505.20208 [quant-ph].Shadows and subsystems of generalized probabilistic theories: when tomographic incompleteness is not a loophole for contextuality proofs
David Schmid, John H. Selby, Vinicius P. Rossi, Roberto D. Baldijão, Ana Belén Sainz
Quantum 9, 1880 (2025).
Preprint available at arXiv:2409.13024 [quant-ph].SIC-POVMs from Stark units: dimensions n^2+3=4p, p prime
Ingemar Bengtsson, Markus Grassl, Gary McConnell
Journal of Mathematical Physics 66, 082202 (2025).
Preprint available at arXiv:2403.02872 [quant-ph].Operational quantum reference frame transformations
Titouan Carette, Jan Głowacki, Leon Loveridge
Quantum 9, 1680 (2025)
Preprint available at arXiv:2303.14002 [quant-ph].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.
Physical Review A 111, 022217 (2025)
Preprint available at arXiv:2406.12773 [quant-ph].Unstructured adiabatic quantum optimization: Optimality with limitations
Arthur Braida, Shantanav Chakraborty, Alapan Chaudhuri, Joseph Cunningham, Rutvij Menavlikar, Leonardo Novo, Jérémie Roland
Quantum 9, 1790 (2025).
Preprint available at arXiv:2411.05736 [quant-ph].Simplest Kochen-Specker set
Adán Cabello
Physical Review Letters 135, 190203 (2025).
Preprint available at arXiv:2508.07335 [quant-ph].Verifiable measurement-based quantum random sampling with trapped ions
Martin Ringbauer et al.
Nature Communications 16, 106 (2025).
Preprint available at arXiv:2307.14424 [quant-ph].A Classification Program for Nonlocality Paradoxes of Three Qubits
Nadish de Silva, Santanil Jana, Ming Yin
Proceedings of the 22nd International Conference on Quantum Physics and Logic (QPL 2025),
Electronic Proceedings in Theoretical Computer Science 426, 197–214 (2025).
Preprint available at arXiv:2508.14673 [quant-ph].Reducing depth and measurement weights in Pauli-based computation
Filipa C. R. Peres, Ernesto F. Galvão
Physical Review A 112, 062604 (2025).
Preprint available at arXiv:2408.04007 [quant-ph].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).
Preprint available at arXiv:2405.04573 [quant-ph]Demonstrating Quantum Homomorphic Encryption Through Simulation.
Sohrab Ganjian, Connor Paddock, Anne Broadbent.
Proceedings of the 2024 IEEE 6th International Conference on Trust, Privacy and Security in Intelligent Systems, and Applications (TPS-ISA), pp. 491–498.
Preprint available at arXiv:2406.16247 [quant-ph].Alternative robust ways of witnessing nonclassicality in the simplest scenario
Massy Khoshbin, Lorenzo Catani, Matthew Leifer
Physical Review A 109, 032212 (2024).
Preprint available at arXiv:2311.13474 [quant-ph].Bases for optimising stabiliser decompositions of quantum states
Nadish de Silva, Ming Yin, Sergii Strelchuk
Quantum Science and Technology 9, 045004 (2024).
Preprint available at arXiv:2311.17384 [quant-ph].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 (2024).
Preprint available at arXiv:2309.05735 [quant-ph].Characterising semi-Clifford gates using algebraic sets
Imin Chen, Nadish de Silva
Communications in Mathematical Physics 405, 201 (2024).
Preprint available at arXiv:2309.15184 [quant-ph].Convexity of noncontextual wirings and how they order the set of correlations
Tiago Santos, Rafael Wagner, Bárbara Amaral
Physical Review A 110, 032217 (2024).
Preprint available at arXiv:2407.02120 [quant-ph].Combining contextuality and causality: a game semantics approach
Samson Abramsky, Rui Soares Barbosa, Amy Searle
Philosophical Transactions of the Royal Society A 382, 20230002 (2024).
Preprint available at arXiv:2307.04786 [quant-ph].Simulating quantum computation: how many "bits" for "it"?
Michael Zurel, Cihan Okay, Robert Raussendorf
PRX Quantum 5, 030343 (2024).
Preprint available at arXiv:2305.17287 [quant-ph].Necessary and sufficient state condition for violation of a Bell inequality with multiple measurement settings
Swapnil Bhowmick, Som Kanjilal, A. K. Pan, Souradeep Sasmal
Physical Review A 110, 052432 (2024).
Preprint available at arXiv:2408.10350 [quant-ph].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 (2024).
Preprint available at arXiv:2302.00705 [quant-ph].Simplicial techniques for operator solutions of linear constraint systems
Ho Yiu Chung, Cihan Okay, Igor Sikora
Topology and its Applications 348, 108883 (2024).
Preprint available at arXiv:2305.07974 [math.AT].Unbounded sharing of nonlocality using projective measurements
Souradeep Sasmal, Som Kanjilal, Alok Kumar Pan
Physical Review Letters 133, 170201 (2024).
Preprint available at arXiv:2311.07977 [quant-ph].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 7, 373 (2024).
Preprint available at arXiv:2405.09631 [quant-ph].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 (2023).
Preprint available at arXiv:2212.06856 [quant-ph].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, eadj4249 (2023).
Preprint available at arXiv:2311.03266 [quant-ph].Lifting noncontextuality inequalities
Raman Choudhary, Rui Soares Barbosa, Adán Cabello
Physical Review A 109, 052216 (2023).
Preprint available at arXiv:2401.12349 [quant-ph].Measurement-based quantum computation in finite one-dimensional systems: string order implies computational power
Robert Raussendorf, Wang Yang, Arnab Adhikary
Quantum 7, 1215 (2023).
Preprint available at arXiv:2210.05089 [quant-ph].Mermin polytopes in quantum computation and foundations
Cihan Okay, Ho Yiu Chung, Selman Ipek
Quantum Information and Computation 23, 733–782 (2023).
Preprint available at arXiv:2210.10186 [quant-ph].Non-stabilizerness and entanglement from cat-state injection
Filipa C. R. Peres, Rafael Wagner, Ernesto F. Galvão
New Journal of Physics 26, 013051 (2024).
Preprint available at arXiv:2305.19988 [quant-ph].Pauli-based model of quantum computation with higher-dimensional systems
Filipa C. R. Peres
Physical Review A 108, 032606 (2023).
Preprint available at arXiv:2302.13702 [quant-ph].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 (2023)
Preprint available at arXiv:2306.14804 [quant-ph].Simple proof that anomalous weak values require coherence
Rafael Wagner, Ernesto F. Galvão
Physical Review A 108, L040202 (2023).
Preprint available at arXiv:2303.08700 [quant-ph].Topological methods for studying contextuality: N-cycle scenarios and beyond
Aziz Kharoof, Selman Ipek, Cihan Okay
Entropy 25, 1127 (2023).
Preprint available at arXiv:2306.01459 [quant-ph].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 (2023).
Preprint available at arXiv:2102.10469 [quant-ph].
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
Code for the algorithmic verification of topological MBQC circuits, part of Deliverable 4.3. https://github.com/MarvinSchwi/Topological-MBQC-Verification