Accepted Submissions
Proceedings
| Authors | Title |
|---|---|
| William Schober Scott Wesley |
A Complete Equational Theory for Quantum Circuits with Generalized Control |
| Mark Deaconu Nihar Gargava Amolak Ratan Kalra Michele Mosca Jon Yard |
Buildings for Synthesis with Clifford+R |
| Mark Koch | Classical Clifford+T sampling without computing marginals |
| Colin Blake | Completeness for Prime-Dimensional Phase-Affine Circuits |
| Fedor Kuyanov Aleks Kissinger |
Efficient Classical Simulation of Low-Rank-Width Quantum Circuits Using ZX-Calculus |
| Samson Abramsky Radha Jagadeesan |
Essential Unitarity for Higher-Order Quantum Computation |
| Priyaa Varshinee Srinivasan Jean-Simon Pacaud Lemay Robin Cockett |
Generalized Inverses of Quantum Channels: a categorical perspective |
| Simon Burton Hussain Anwar |
Meromorphic Quantum Computing |
| Soichiro Yamazaki Seiseki Akibue |
Multi-qubit controlled gate with optimal T-count |
| Arianne Meijer-van de Griend Leo Becker |
Pauli Gadget Synthesis for Gatesets with Arbitrary Even-Arity Clifford Gates |
| Pablo Arrighi Doğukan Bakircioglu Nathan Houyet |
Quantum theory over dual-complex numbers |
| Tomoaki Kawano Ryo Kashima |
Restricted Negation in Orthomodular Logic |
| Piotr Mitosek Miriam Backens |
Working with measurement-based computations on qudits |
| Aleks Kissinger John van de Wetering |
ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams |
Talks
| Authors | Title |
|---|---|
| Xiaoning Bian Sarah Meng Li Neil J. Ross John van de Wetering Yuming Zhao |
A Complete and Natural Rule Set for Multi-Qudit Clifford Circuits in All Odd Prime Dimensions |
| Alexandre Clément | A Complete Equational Theory for Real-Clifford+CH Quantum Circuits |
| Marek Arsenault Hlér Kristjánsson |
A higher-order perspective on quantum signal processing |
| Timothée Hoffreumon Mischa P. Woods |
A real matrix theory consistent with both the postulates and predictions of quantum theory |
| Giuseppe De Riso Giuseppe Catalano Seth Lloyd Vittorio Giovannetti Dario De Santis |
A resource-efficient quantum-walker Quantum RAM |
| Lia Yeh Jiaxin Huang Aleks Kissinger Sarah Meng Li John van de Wetering |
A Three-Way Normal Form for Stabiliser Codes across ZX Diagrams, Circuits, and Tableaus |
| C. E. Lopetegui-Gonzalez G. Masse E. Oudot U.I. Meyer F. Centrone F. Grosshans P. E. Emeriau U. Chabaud M. Walschaers |
A unified framework for Bell inequalities from continuous-variable contextuality |
| Matthew Wilson | Agent policies from higher-order causal functions |
| Samson Abramsky Rui Soares Barbosa Carmen Constantin Martti Karvonen |
Algebraic paradoxes in adaptive quantum computation |
| Massimo Frigerio Mattia Walschaers Andrei Aralov Carlos Ernesto Lopetegui-Gonzalez Emilie Gillet |
Algebraic techniques for photonic state preparation and characterization |
| Vivien Vandaele | Asymptotically Optimal Quantum Circuits for Comparators and Incrementers |
| Michael Zurel Jack Davis |
Basis-independent stabilizerness and maximally noisy magic states |
| Quanlong Wang Richard D. P. East Razin A. Shaikh Lia Yeh Boldizsar Poor Bob Coecke |
Beyond Penrose tensor diagrams with the ZX calculus: Applications to quantum computing, quantum machine learning, condensed matter physics, and quantum gravity |
| Thomas Bartsch Yuhan Gai Sakura Schäfer-Nameki |
Beyond Wigner - How Non-Invertible Symmetries Preserve Probabilities |
| Paul Becsi Matthew Joseph Hoban |
Bounding Classical and Quantum Correlations in Bayesian Networks with Quasiprobabilities |
| Leonardo Vaglini Nasra Daher Ahmed Ravi Kunjwal |
Causal Inequalities witness non-stabilizerness without magic |
| John Harding Alexander Wilce |
Classical explanations in (and of) general probabilistic theories |
| Cameron Calcluth Oliver Hahn Juani Bermejo Vega Alessandro Ferraro Giulia Ferrini |
Classical simulation of circuits with realistic odd-dimensional Gottesman-Kitaev-Preskill states |
| Maximilian Ruesch Aleks Kissinger Benjamin Rodatz |
Completeness for Fault Equivalence of Clifford ZX Diagrams |
| Miriam Backens Simon Perdrix |
Completeness for flow-preserving rewrite rules |
| Matilde Baroni Dominik Leichtle Ivan Šupić Damian Markham Marco Túlio Quintino |
Composable simultaneous purification: when all communication scenarios reduce to spatial correlations |
| Cole Comfort Robert I. Booth |
Denotational semantics for stabiliser quantum programs |
| Gaurang Agrawal Matt Wilson |
Deriving the Generalised Born Rule from First Principles |
| Raffaele D’Avino Lorenzo Caramelli Raja Yehia Gabriel Senno Roberto González Pousa Antonio Acı́n Tamás Kriváchy |
Device Independent Quantum Key Distribution with a Single Measurement per Site |
| Noé Delorme Simon Perdrix |
Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits |
| Raphaël Mothe Jessica Bavaresco |
Efficient quantum-circuit simulation of classical control of causal order |
| Carla Ferradini Giulia Mazzola V. Vilasini |
Emergent causal order and time direction: bridging causal models and tensor networks |
| Aabhas Gulati Ion Nechita Clément Pellegrini |
Entanglement in the Dicke Subspace |
| Alex Maltesson Ludvig Rodung Niklas Budinger Giulia Ferrini Cameron Calcluth |
Equivalence of continuous- and discrete-variable gate-based quantum computers with finite energy |
| V. Vilasini Lin-Qing Chen Liuhang Ye Renato Renner |
Events and their Localisation are Relative to a Lab |
| Tim Achenbach Andreas Bluhm Leevi Leppäjärvi Ion Nechita Martin Plávala |
Factorization of multimeters: a unified view on nonclassical quantum phenomena |
| Benjamin Rodatz Boldizsar Poor Aleks Kissinger |
Fault Tolerance by Construction |
| Haytham McDowall-Rose Razin A. Shaikh Lia Yeh |
From Fermions to Qubits: A ZX-Calculus Perspective |
| Martin J. Renner Edwin Peter Lobo Arturo Konderak Remigiusz Augusiak Antonio Acín |
Full nonlocality for non-maximally entangled states |
| Miriam Backens | Generating one-way computations with flow: flow-preserving rewriting that ignores the interpretation |
| Dichuan Gao Razin A. Shaikh Aleks Kissinger |
Graphical Algebraic Geometry: From Ideals and Varieties to Qudit ZH Completeness |
| Vanessa Brzić Satoshi Yoshida Mio Murao Marco Túlio Quintino |
Higher-order quantum computing with known input states |
| Luca Apadula Alessandro Bisio Giulio Chiribella Paolo Perinotti Kyrylo Simonov |
Higher-order transformations of bidirectional quantum processes |
| Kwok Ho Wan Henry Price Qing Yao |
Holographic codes seen through ZX-calculus |
| Yassine BENHAJ Kuntal Sengupta Cyril Branciard |
How many systems can be dephased before the quantum switch becomes causally definite? |
| Vinicius Pretti Rossi Beata Zjawin Roberto D. Baldijão David Schmid John H. Selby Ana Belén Sainz |
How typical is contextuality? |
| Shashaank Khanna Matthew Pusey Roger Colbeck |
Identifying causal structures which cannot support quantum correlations without fine- |
| Maarten Grothus V. Vilasini |
Impossibility of superluminal signalling rules out causal loops in conical spacetimes |
| Nathan Claudet Simon Perdrix |
Insights in Graph State Entanglement via r-Local Complementation: Structure and a Quasi-Polynomial Algorithm |
| Manuel Mekonnen Thomas D. Galley Markus P. Müller |
Invariance under quantum permutations rules out parastatistics |
| Theodoros Yianni Farid Shahandeh Nyan Raess |
Linear Algebra of Generalized Contextuality in Prepare-Transform-Measure Scenarios |
| Alexandru Baltag Sonja Smets |
Logic Meets Wigner’s Friend (and their Friends) |
| David Schmid Roberto D. Baldijão John Selby Ana Belen Sainz Robert W. Spekkens |
Noncontextuality inequalities for prepare-transform-measure scenarios |
| James Hefford | Nuclearity and Trace in Monoidal Bicategories with Application to Extended CFTs |
| Timothée Hoffreumon Mischa P. Woods |
On the experimental falsification of Real Quantum Theory |
| Yìlè Yīng Maria Ciudad Alanon Daniel Centeno Jacopo Surace Marina Maciel Ansanelli Ruizhi Liu David Schmid Robert Spekkens |
On whether quantum theory needs complex numbers: the foil theories perspective |
| Chris Heunen Robin Kaarsgaard Louis Lemonnier |
One rig to control them all |
| Bert Lindenhovius Vladimir Zamdzhiev |
Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory |
| Zixuan Liu Ognyan Oreshkov |
Parity erasure: a foundational principle for indefinite causal order |
| Jin Ming Koh Anqi Gong Andrei C. Diaconu Daniel Bochen Tan Alexandra A. Geim Michael J. Gullans Norman Y. Yao Mikhail D. Lukin Shayan Majidy |
Phantom codes: Entangling logical qubits without physical operations |
| Raphaël Le Bihan Alastair Abbott Mnacho Echenim |
Probing the composition of processes with first-order-ISOMIX logic |
| Daniel McNulty | Quantifying Quantum Measurement Incompatibility via Graph Invariants |
| Thea Li Vladimir Zamdzhiev |
Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach |
| Kathleen Barsse Romain Péchoux Simon Perdrix |
Quantum Control and General Recursion beyond the Unitary Case |
| Haruki Emori | Quantum statistical functions |
| James Hefford Matt Wilson |
Quantum Theory Can Decohere from a Causally-Indefinite Post-Quantum Theory |
| Luca Apadula Alexei Grinbaum Časlav Brukner |
Reference frames for process matrices: from coordinate parametrization to spacetime representation |
| David Schmid John H. Selby Vinicius Pretti Rossi Roberto D. Baldijão Ana Belén Sainz |
Shadows and subsystems of generalised probabilistic theories: when tomographic incompleteness is not a loophole for contextuality proofs |
| Tom Williams Mina Doosti Farid Shahandeh |
Sheaf-Theoretic Preparation Contextuality via Stochastic Extension |
| Kwok Ho Wan Zhenghao Zhong Ainhoa Zapirain |
Simulating magic state cultivation with few Clifford terms |
| Andrey Boris Khesin Sarah Meng Li Boldizsár Poór Benjamin Rodatz John van de Wetering Richie Yeung |
SpiderCat: Optimal Fault-Tolerant Cat State Preparation |
| Subhendu Bikas Ghosh Snehasish Roy Chowdhury Guruprasad Kar Arup Roy Tamal Guha Manik Banik |
Strong Inequivalence of Quantum Nonlocal Resources |
| Nicolas Moulonguet Augustin Vanrietvelde |
Subsystems as subsets of quantum channels, and the strange case of blind agents |
| Amrapali Sen Flavio Del Santo |
Superluminal Transformations and Indeterminism |
| Matthew Wilson James Hefford Timothee Hoffreumon |
Supermaps on generalised theories |
| Vincenzo Fiorentino Kuntal Sengupta |
Superposition and its connections to Uncertainty, Entanglement and the Quantum Tensor Product |
| Akash Kundu | Tensor and gadget reinforcement learning for improved, hardware-aware quantum architecture search |
| Andre Kornell Bert Lindenhovius |
The category of quantum graphs is closed |
| Jan-Åke Larsson | The contextual Heisenberg microscope |
| Cole Comfort Giovanni de Felice |
The delayed stabiliser ZX-calculus |
| Cihan Okay Aziz Kharoof |
The geometry of fiber products of probability polytopes |
| Sacha Cerf Harold Ollivier |
The perturbative method for quantum correlations. |
| Beata Zjawin Marina Maciel Ansanelli David Schmid Yìlè Yīng John H. Selby Ciarán M. Gilligan-Lee Ana Belén Sainz Robert Spekkens |
The resource theory of causal influence and knowledge of causal influence |
| Daniel Brod Lorenzo Catani Robert Spekkens |
The toy theory is the unique noncontextual theory satisfying A₁³-symmetry |
| Nadish de Silva Santanil Jana Ming Yin |
Three-qubit nonlocality paradoxes: beyond GHZ |
| Roberto D. Baldijão Marco Erba David Schmid John Selby Ana Belen Sainz |
Tomographically-Nonlocal Entanglement |
| Christine Li Lia Yeh |
Transversal AND in Quantum Codes |