RESULTS
All research outputs from our project | FoQaCiA
A. Pre-prints (41)
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
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]
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
Efficient classical simulation of quantum computation beyond Wigner positivity. Michael Zurel, Arne Heimendahl. arXiv:2407.10349 [quant-ph].
Equivariant simplicial distributions and quantum contextuality; Cihan Okay, Igor Sikora; arXiv:2310.18135 [quant-ph]; 10.48550/arxiv.2310.18135
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
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
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].
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
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]On the rank of two-dimensional simplicial distributions; Okay, Cihan; arXiv:2312.15794 [quant-ph]; 10.48550/arxiv.2312.15794
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].
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].
Reducing Depth and Measurement Weights in Pauli-based Computation. Filipa C. R. Peres, Ernesto F. Galvão. arXiv:2408.04007 [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
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
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 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 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
Unstructured Adiabatic Quantum Optimization: Optimality with Limitations; Arthur Braida, Shantanav Chakraborty, Alapan Chaudhuri, Joseph Cunningham, Rutvij Menavlikar, Leonardo Novo, Jérémie Roland;
arXiv:2411.05736 [quant-ph]Verifiable measurement-based quantum random sampling with trapped ions; Martin Ringbauer et al.; arXiv:2307.14424 [quant-ph]; 10.48550/arxiv.2307.14424; https://arxiv.org/abs/2307.14424
B. Journal articles (24)
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].
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
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).
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
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