Accepted Submissions

Below you can find everything being presented at QPL 2026 — the accepted talks, from both the proceedings and the non-proceedings track, and the accepted posters.

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
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	Spurious quantum correlations
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
Marek Arsenault Hlér Kristjánsson	Linearised quantum signal processing
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	No extension of the Quantum Tensor Product admits a superposition principle
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

Posters

Posters are presented at the poster session on Tuesday 18 August, 17:30 – 19:30, in the central hall on the first floor of the A-building. Each poster is assigned a board number, which is shown on the board itself — see the poster instructions for details.

Authors	Title
Emilien de Bank Cyril Branciard Vilasini V.	A Fine-Grained Perspective on Higher Order Operations: Modelling Agents in Spacetime
Ladina Hausmann Renato Renner	Against probability: A quantum state is more than a list of probability distributions
Shintaro Minagawa Ravi Kunjwal	All star-incompatible measurements can certify steering-based randomness
Marcin Szyniszewski Aleks Kissinger Noah Linden Paul Skrzypczyk	Automated quantum circuit optimization with randomized replacements
Matthew Sutcliffe	Bridging Treewidth and T-Count: A Hybrid Method for Strong Quantum Circuit Simulation
Rajarsi Pal Harold Ollivier	Circuit optimization under constrained preparations and measurements
Tuomas Laakkonen	Clifford Circuit Synthesis for Distributed Quantum Architectures with Arbitrary Network Topology
Shashaank Khanna Matthew Pusey Roger Colbeck	Closing the problem of which causal structures of up to six total nodes have a classical-quantum gap
Julio Cesar Fernandes da Silva Cristhiano Duarte Bruno Ferreira Rizzuti	Compatibility and agreement in Wigner’s friend paradox
Nyan Raess Farid Shahandeh	Contextuality in Sequential State Discrimination
Giuseppe Antonio Nistico	Emergence of classicality derived from consistent value assignments
Maarten Grothus Pierre Pocreau Raphaël Mothe	Formalising dynamical causal order beyond QC-QCs
Nripendra Majumdar	Four Party Absolutely Maximal Contextual Correlations
Joel Huber Matthias Kleinmann	Generalized Dynamics in Phase Space: Some Quantum States Require Quantum Time Evolution
Matthew Wilson James Hefford	Higher-order quantum objects are strong profunctors
Matthias Salzger V. Vilasini	Higher-order quantum processes respecting closed labs in a spacetime have quantum controlled causal order
Nasra Daher Ahmed Ravi Kunjwal	How unitaries encode the trade-off between causal order and locality
Salome Hayes-Shuptar Daniel Bhatti Ana Belen Sainz David Elkouss	Linear Program Witness for Network Nonlocality in Arbitrary Networks
Harry Stoltz	Minimality of the Stabilizer ZX Calculus
Seyed Arash Ghoreishi Nidhin Sudarsanan Ragini Mario Ziman Sk Sazim	Multiple-shot labeling of quantum observables
Markus Frembs Cihan Okay Ho Yiu Chung	No quantum solutions to linear constraint systems from monomial measurement-based quantum computation in odd prime dimension
Vanessa Brzić Dmitry Grinko Michał Studziński Marco Túlio Quintino	Optimal pure state cloning and transposition are complementary channels
Seiseki Akibue Jisho Miyazaki Hiroyuki Osaka	Optimizing Entanglement Manipulation via Algebraic-Geometric Decompositions and Semidefinite Programming Hierarchies
John Harding Alexander Wilce	Order Unit Spaces and Probabilistic Models
Hippolyte Dourdent Kyrylo Simonov Andreas Leitherer Emanuel-Cristian Boghiu Ravi Kunjwal Saronath Halder Remigiusz Augusiak Antonio Acin	Paradox-free classical non-causality and unambiguous non-locality without entanglement are equivalent
Christoffer Hindlycke Jakov Krnic Jan-Åke Larsson	Practical implementation of Toffoli-based qubit rotation
Maximilian Schweikart Linnea Grans-Samuelsson Aleks Kissinger Benjamin Rodatz	Preserving MWPM-Decodability in Fault-Equivalent Rewrites
Giuseppe Catalano Farzan Kianvash Vittorio Giovannetti	Quantum Channels on Graphs: a Resonant Tunneling Perspective
Anthony Micciche Naphan Benchasattabuse Andrew McGregor Stefan Krastanov Michal Hajdusek Rodney Van Meter	Quantum Hamlets: Distributed Compilation of Large Algorithmic Graph States
Xin Sun Piotr Kulicki Elzbieta Drozdowska	Quantum Hoare Logic With Infinitary Addition And Recursion
Mina Abbaszadeh Matilda Karabina Moore Mehrnoosh Sadrzadeh Martha Lewis	Quantum Models for Multi-Stage Compositional Concept Generalization
Kuntal Sengupta Lewis Wooltorton	Quantum Nonlocality and Device-Independent Randomness are robust to Noisy Signalling Channels
Lucas Stinchcombe Kenta Cho Ichiro Hasuo	Quantum Weakest Precondition Semantics from Categorical Axiomatics
Ossi Niemimäki Oskari Kerppo Valtteri Lahtinen Timo Tarhasaari	Quantum-native structures for discrete computational physics
Jacopo Surace	Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality
Kostia Chardonnet Emmanuel Hainry Romain Péchoux Thomas Vinet	Resource-Aware Quantum Programming with General Recursion and Quantum Control
Antoine Debray Massimo Frigerio Nicolas Treps Mattia Walschaers	Resourcefulness of non-classical continuous-variable quantum gates
Matthieu Bruant Alastair Abbott	Revisiting genuine-multipartiteness in causally indefinite correlations and processes
Cisco Gooding	Routing for Steerability
Daniel Bilsborrow Hler Kristjansson	Scalable non-markovian tomography with higher-order maps
Lorenzo Saraiva Edward Hermann Haeusler Guilherme Lima	Semantic Entropy of Compressed Proofs: Sheaf Geometry and Quantum Verification of DLDS Certificates
Rajdeep Paul Prabuddha Roy A. K. Pan	Semi-device-independent self-testing of unitary operations
Serban Cercelescu Benjamin Rodatz	Shor-Style Fault-Tolerant Clifford synthesis in the ZX calculus
Dongho Lee	Spectral Semialgebraic Semantics for Approximate Quantum Computation
Julien Lamiroy	Towards a new quantum logic
Seonghun Jung Augustin Vanrietvelde	Towards causal decompositions in infinite dimensions: the one-way influence case
Timothée Hoffreumon Anna Jenčova	Understanding the lattice of signalling in higher-order quantum processes
Julien Codsi Tuomas Laakkonen	Unifying Graph Measures and Stabilizer Decompositions for the Classical Simulation of Quantum Circuits
Raphaël Mothe Otfried Gühne	Witnessing quantum circuits architecture
Renaud Vilmart Vincent Nguyen	ZW-calculus in q-arithmetic