- A Complete Equational Theory for Real-Clifford+CH Quantum Circuits Alexandre Clément Thu 12 February 2026
- Manjushri: A Tool for Equivalence Checking of Quantum Circuits Xuan Du Trinh Meghana Sistla Nengkun Yu Thomas Reps Thu 12 February 2026
- Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach Thea Li Vladimir Zamdzhiev Sat 24 January 2026
- Succinct Perfect Zero-knowledge for MIP* Honghao Fu Xingjian Zhang Sun 09 March 2025
- Complete Quantum Relational Hoare Logics from Optimal Transport Duality Gilles Barthe Minbo Gao Theo Wang Li Zhou Wed 29 January 2025
- Positive Moments Forever: Undecidable and Decidable Cases Gemma De les Coves Joshua Graf Andreas Klingler Tim Netzer Tue 21 January 2025
- Satisfiability of commutative vs. non-commutative CSPs Andrei A. Bulatov Stanislav Živný Thu 01 August 2024
- The Acrobatics of BQP Scott Aaronson DeVon Ingram William Kretschmer Tue 30 April 2024
- PDQMA = DQMA = NEXP: QMA With Hidden Variables and Non-collapsing Measurements Scott Aaronson Sabee Grewal Vishnu Iyer Simon C. Marshall Ronak Ramachandran Wed 13 March 2024
- Grothendieck inequalities characterize converses to the polynomial method Jop Briet Francisco Escudero Gutiérrez Sander Gribling Sun 07 January 2024
- A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem Zhengyu Li Curtis Bright Vijay Ganesh Thu 21 September 2023
- A Complete Equational Theory for Quantum Circuits Alexandre Clément Nicolas Heurtel Shane Mansfield Simon Perdrix Benoît Valiron Fri 28 April 2023
- Complete Graphical Language for Hermiticity-Preserving Superoperators Titouan Carette Timothée Hoffreumon Émile Larroque Renaud Vilmart Fri 28 April 2023
- Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus Boldizsár Poór Quanlong Wang Razin A. Shaikh Lia Yeh Richie Yeung Bob Coecke Fri 28 April 2023
- stateQIP = statePSPACE Tony Metger Henry Yuen Fri 27 January 2023
- Google's 2019 ``Quantum Supremacy'' Claims: Data, Documentation, and Discussion Gil Kalai Yosef Rinott Tomer Shoham Sat 29 October 2022
- Determining Acceptance Possibility for a Quantum Computation is Hard for the Polynomial Hierarchy Stephen Fenner Frederic Green Steven Homer Randall Pruim Tue 25 October 2022
- How Much Structure Is Needed for Huge Quantum Speedups Scott Aaronson Fri 16 September 2022
- MIP*=RE Zhengfeng Ji Anand Natarajan Thomas Vidick John Wright Henry Yuen Wed 29 September 2021
- The Connes Embedding Problem: A guided tour Isaac Goldbring Tue 28 September 2021
- The Argument against Quantum Computers, the Quantum Laws of Nature, and Google's Supremacy Claims Gil Kalai Thu 13 August 2020
- The Power of a Single Qubit: Two-way Quantum Finite Automata and the Word Problem Zachary Remscrim Sun 19 April 2020
- On the complexity of zero gap MIP* Hamoon Mousavi Seyed Sajjad Nezhadi Henry Yuen Tue 03 March 2020
- Circuit pedantry Andreas Blass Yuri Gurevich Fri 18 October 2019
Library Size: 13G (24 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
