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
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-tuning
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)
Simon Burton Hussain Anwar	Meromorphic Quantum Computing
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