Accepted Submissions
The following submissions to QPL 2025 have been accepted to appear in the proceedings or to be presented during the conference.
Proceedings
| Authors | Title |
|---|---|
| Jean-Simon Lemay, Robin Cockett and Priyaa Srinivasan | Dagger Drazin Inverses |
| Alastair Abbott, Mehdi Mhalla and Pierre Pocreau | Classical and quantum query complexity of Boolean functions under indefinite causal order |
| Boldizsár Poór, Razin A. Shaikh and Quanlong Wang | ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces |
| Mathias Weiden, Justin Kalloor, Ed Younis, John Kubiatowicz and Costin Iancu | High-Precision Fault-Tolerant Quantum Circuit Synthesis by Unitary Diagonalization |
| Thomas Perez and Miriam Backens | Inserting planar-measured qubits into MBQC patterns while preserving flow |
| Linh Dinh and Neil J. Ross | Contributions to the Theory of Clifford-Cyclotomic Circuits |
| Aaron David Fairbanks and Peter Selinger | On traces in categories of contractions |
| Peng Fu, Kohei Kishida, Neil J. Ross and Peter Selinger | Proto-Quipper with Reversing and Control |
| Mateusz Kupper, Chris Heunen, Niel de Beaudrap and Dominic Horsman | String diagrams for defect-based surface code computing |
| Nadish de Silva, Ming Yin and Santanil Jana | A classification program for nonlocality paradoxes of three qubits |
| Sarah Meng Li, Michele Mosca, Neil J. Ross, John van de Wetering and Yuming Zhao | A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits |
| Matthew Sutcliffe and Aleks Kissinger | Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus |
Talks
| Authors | Title |
|---|---|
| Julian Wechs and Ognyan Oreshkov | Subsystem decompositions of quantum evolutions and transformations between causal perspectives |
| Albert Aloy, Matteo Fadel, Thomas Galley, Caroline Jones and Markus P. Mueller | Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality |
| Marco Erba and Paolo Perinotti | The composition rule for quantum systems is not the only possible one |
| Mehdi Mhalla, Simon Perdrix and Luc Sanselme | Shadow Pauli Flow: Characterising Determinism in MBQCs involving Pauli Measurements |
| Laurens Walleghem, Rui Soares Barbosa, Matt Pusey and Stefan Weigert | A refined Frauchiger--Renner paradox based on strong contextuality |
| Maarten Grothus, Alastair Abbott, Augustin Vanrietvelde and Cyril Branciard | Routing Quantum Control of Causal Order |
| Piotr Mitosek and Miriam Backens | An algebraic interpretation of Pauli flow, leading to faster flow-finding algorithms |
| Amin Karamlou | Quantum Spoiler-Duplicator Games |
| Raphaël Mothe, Alastair Abbott and Cyril Branciard | Correlations and quantum circuits with dynamical causal order |
| Nathan Claudet and Simon Perdrix | Generalising Local Complementation to Capture Local Unitary Equivalence of Graph States |
| Louis Lemonnier | Non-Cartesian Guarded Recursion with Daggers |
| Sina Soltani, Marco Erba, David Schmid and John H. Selby | Noncontextual ontological models of operational probabilistic theories |
| Yìlè Yīng, Tomáš Gonda and Robert Spekkens | Resource dependence relations and contextuality in asymmetry trade-offs |
| Laurens Walleghem and Lorenzo Catani | An extended Wigner’s friend no-go theorem inspired by generalized contextuality |
| Liyi Li, Federico Zahariev, Chandeepa Dissanayake, Jae Swanepoel, Amr Sabry and Mark Gordon | Quantum Simulation Programming via Typing |
| John Selby, Maria Stasinou, Matt Wilson and Bob Coecke | Generalised process theories |
| Bob Coecke, Stefano Gogioso, Aleks Kissinger, Selma Dündar-Coecke, Caterina Puca, Lia Yeh, Muhammad Hamza Waseem, Sieglinde M.-L. Pfaendler, Thomas Cervoni and Vincent Wang-Mascianica | High schoolers excel at Oxford post-graduate quantum exam: empirical evidence in support of quantum picturalism as a new formalism for quantum theory |
| Clément Poirson, Robert Booth and Joschka Roffe | CSS surgery: compiling any CNOT in any code |
| James Hefford and Matt Wilson | A BV-Category of Spacetime Interventions |
| Benjamin Rodatz, Boldizsár Poór and Aleks Kissinger | Floquetifying stabiliser codes with distance-preserving rewrites |
| Arthur Mehta, Connor Paddock and Lewis Wooltorton | Self-testing in the complied setting via tilted-CHSH inequalities |
| Augustin Vanrietvelde, Octave Mestoudjian and Pablo Arrighi | Causal Decompositions of 1D Quantum Cellular Automata |
| Hlér Kristjánsson, Tatsuki Odake, Satoshi Yoshida, Philip Taranto, Jessica Bavaresco, Marco Túlio Quintino and Mio Murao | Exponential separation in quantum query complexity of the quantum switch with respect to simulations with standard quantum circuits |
| Theodoros Yianni and Farid Shahandeh | Complexity of Contextuality |
| Vivien Vandaele | Lower T-count with faster algorithms |
| Carla Ferradini, Victor Gitton and V. Vilasini | Cyclic quantum and classical causal modelling with a novel graph separation theorem |
| Anna Jenčová | On the structure of higher order quantum maps |
| Raman Choudhary and Rui Soares Barbosa | Exclusivity principle, Ramsey theory, and n-cycle PR boxes |
| Tein van der Lugt and Robin Lorenz | Unitary causal decompositions: a combinatorial characterisation via lattice theory |
| Yìlè Yīng, Maria Ciudad Alanon, Daniel Centeno, Marco Erba, Thomas Galley, David Schmid, John H. Selby, Robert W. Spekkens, Sina Soltani and Alex Wilce | Twirled worlds: symmetry-induced failures of tomographic locality (and its comparison with quantum theory over the real field) |
| Nadish de Silva and Oscar Lautsch | The Clifford hierarchy for one qubit or qudit |
| Matthias Salzger and John Selby | A decompositional framework for process theories in spacetime |
| Ved Kunte and Cyril Branciard | A Higher Order Theory for Fermionic Systems |
| Vincenzo Fiorentino and Stefan Weigert | Quantum Theories with Alternative State-Update Rules |
| Aziz Kharoof, Selman Ipek and Cihan Okay | Extremal simplicial distributions on glued cycle scenarios with arbitrary outcomes |
| Kai-Siang Chen, Gelo Noel Tabia, Chung-Yun Hsieh, Yu-Chun Yin and Yeong-Cherng Liang | Nonlocality of Quantum States Can be Transitive |
| Bruna Larissa de Souza Sahdo E Silva, Natália S. Móller and Nelson Yokomizo | Gravitational quantum switch on a superposition of spherical shells |
| Ivan Šupić, Maria Balanzo-Juando, Andrea Coladangelo, Remigiusz Augusiak and Antonio Acin | All pure multipartite entangled states of qubits can be self-tested up to complex conjugation |
| Titouan Carette, Renaud Vilmart and Daniela Cojocaru | The decohered ZX-calculus |
| Angelos Bampounis, Rui Soares Barbosa and Nadish de Silva | Matchgate hierarchy: Deterministic gate teleportation in matchgate circuits |
| Nick Ormrod and Robert Spekkens | Causation in Classical Mechanics |
| Tuomas Laakkonen | Synthesizing Controlled or Distributed Clifford Circuits |
| Yujie Zhang, David Schmid, Yìlè Yīng and Robbert Spekkens | Defining nonclassicality for individual quantum processes |
| Rutvij Bhavsar, Lewis Wooltorton and Joonwoo Bae | A composable framework for device-independent state certification with local operations and classical communication |
| Matthew Amy, Nadish de Silva and Kasra Masoudi | The Channel Representation and Non-Clifford Resources |
| Fabian Wiesner, Ziad Chaoui, Diana Kessler, Anna Pappa and Martti Karvonen | Why quantum state verification cannot be both efficient and secure: a categorical approach |
| Satoshi Yoshida, Yuki Koizumi, Michał Studziński, Marco Túlio Quintino and Mio Murao | One-to-one Correspondence between Deterministic Port-Based Teleportation and Unitary Estimation |
| Martin Plávala, Otfried Gühne and Marco Túlio Quintino | All incompatible measurements on qubits lead to multiparticle Bell nonlocality |
| Andrey Khesin, Jonathan Lu and Peter Shor | Universal graph representation of stabilizer codes |
| Nicetu Tibau Vidal and Giulio Chiribella | BMV experiment without spacetime superpositions |
| Jessica Bavaresco, Ämin Baumeler, Yelena Guryanova and Costantino Budroni | Indefinite causal order in boxworld theories |
| Maiyuren Srikumar, Stephen. D. Bartlett and Angela Karanjai | How contextuality and antidistinguishability are related |
| Paul Herringer, Vir B. Bulchandani, Younes Javanmard, David T. Stephen and Robert Raussendorf | Measurement-based quantum computation in symmetry-enriched topological phases |
| Nihil Shah and Anuj Dawar | Complexity of Satisfiablity in Kochen-Specker Partial Boolean Algebras |
Posters
| Authors | Title |
|---|---|
| David Ellerman | From the Logic of Partitions to Quantum Mechanics and Back Again |
| Jan Głowacki | Relativization is naturally functorial |
| Alexander Koziell-Pipe, Richie Yeung, David Philipps and Matthew Sutcliffe | Towards Faster Quantum Circuit Simulation Using Graph Decompositions, GNNs and Reinforcement Learning |
| Markus Frembs | A new perspective on Kochen-Specker contextuality |
| Gabriele Carcassi and Christine Aidala | Ensemble spaces |
| Matty Hoban, Tom Drescher and Ana Belén Sainz | A hierarchy of semidefinite programs for generalised Einstein-Podolsky-Rosen scenarios |
| Yiying Chen, Peidong Wang and Zizhu Wang | Causality and Duality in Multipartite Generalized Probabilistic Theories |
| Ittoop Veregheese Puthoor | Formal verification of higher dimensional quantum communication protocols |
| Jad Issa, Christophe Chareton and Romain Péchoux | Compact and efficient formalism for resource estimation in quantum programs |
| Edwin Agnew, Lia Yeh and Richie Yeung | Algebraic Structure of Controlled States and Operators in the ZXW calculus |
| Augustin Vanrietvelde, Octave Mestoudjian and Pablo Arrighi | Partitions in quantum theory |
| Filipa Peres and Ernesto Galvão | Reducing Depth and Measurement Weights in Pauli-based Computation |
| Rutvij Bhavsar, Hamid Tebyanian and Roger Colbeck | Semi Device Independent Randomness Expansion Protocols Secure Against Quantum Side Information and General Attacks |
| Tiffany Duneau, Saskia Bruhn, Gabriel Matos, Tuomas Laakkonen, Katerina Saiti, Anna Pearson, Konstantinos Meichanetzidis and Bob Coecke | Scalable and interpretable quantum natural language processing: an implementation on trapped ions |
| Veronika Baumann, Ämin Baumeler and Eleftherios Tselentis | No quantum advantage for violating fixed-order inequalities? |
| Martin van Ijcken and Aleks Kissinger | Generalized flow and determinism for hypergraph measurement patterns |
| Simon Martiel and Ali Javadi-Abhari | Low-overhead error mitigation by hardware-efficient spacetime codes |
| Shintaro Minagawa, M. Hamed Mohammady, Kenta Sakai, Kohtaro Kato and Francesco Buscemi | Universal validity of the second law of information thermodynamics |
| Emil Håkansson, Amelie Piveteau, Alban Seguinard, Muhammad Sadiq, Mohamed Bourennane, Otfried Guehne and Martin Plávala | Experimental implementation of dimension-dependent contextuality inequality |
| Thomas Vinet, Romain Péchoux, Emmanuel Hainry and Kostia Chardonnet | A hybrid and reversible quantum language |
| Kuntal Sengupta | Achieving Maximal Causal Indefiniteness in a Maximally Nonlocal Theory |
| Vivien Vandaele, Simon Perdrix and Christophe Vuillot | Optimal number of parametrized rotations and Hadamard gates in parametrized Clifford circuits with non-repeated parameters |
| Robert Booth and Cole Comfort | Gaussian probability, like classical noise, is completely positive |
| Johannes Fankhauser, Tomáš Gonda and Gemma De Les Coves | Epistemic Horizons From Deterministic Laws: Lessons From a Nomic Toy Theory |
| Nasra Daher Ahmed and Ravi Kunjwal | When can you trade causal order for locality? |
| Tein van der Lugt | An order-theoretic circuit syntax and the role of the concept lattice for causal faithfulness |
| Anna Steffinlongo and Hippolyte Dourdent | Simulating Noncausality with Quantum Control of Causal Orders |
| Peidong Wang, Yiying Chen and Zizhu Wang | Indefinite Causal Structures in Classical Deterministic Processes: A Boolean Function Perspective |
| Tanay Saha and Shiroman Prakash | Sublogarithmic Distillation in all Prime Dimensions using Punctured Reed-Muller Codes |
| Razin A. Shaikh, Lia Yeh and Stefano Gogioso | The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation |
| Haytham McDowall-Rose, Razin A. Shaikh and Lia Yeh | A graphical calculus for Fermion-to-Qubit mappings |
| Xin Sun, Xingchi Su, Xiaoning Bian and Huiwen Wu | Weakest Preterm Calculus and Relative Completeness of Satisfaction-based Quantum Hoare Logic (Extended Abstract) |
| Nicholas Godfrey | Toward a Quantum-Inspired Framework for Modelling Legal Rules |
| Luca Apadula, Alessandro Bisio, Paolo Perinotti and Marco Erba | A compositional characterization of higher-order transformations in operational probabilistic theories |
| Tim Forrer, Mio Murao, Matthew Wilson, Philip Taranto and Jisho Miyazaki | Functional Protocol Framework for Quantum Computation with Knowledge |
| David Schmid, Roberto D. Baldijão, Yìlè Yıng, Rafael Wagner and John Selby | Kirkwood-Dirac representations beyond quantum states and their relation to noncontextuality |
| Cihan Okay, Victor Castillo and Walker Stern | Simplicial effects as generalization of effect algebroids |
| Amrapali Sen, Matthias Salzger and Łukasz Rudnicki | Superluminal Quantum Reference Frames |
| Kyrylo Simonov, Luca Apadula, Giulio Chiribella, Paolo Perinotti and Alessandro Bisio | Higher-order quantum theory with indefinite input-output direction |
| Tomoaki Kawano | Dynamic Quantum Logic with Probability Values |
| Elia Zanoni and Carlo Maria Scandolo | Choi-Defined Resource Theories |
| Lee Gunderson, Davide Poderini and Gecia Bravo-Hermsdorff | Causal Bounds via Subgraph Inequalities |
| Rafael Macêdo, Patrick Andriolo, Santiago Zamora, Davide Poderini and Rafael Chaves | Witnessing Magic with Bell Inequalities |
| Hala Hawashin, Beth Pearson, Martha Lewis and Mehrnoosh Sadrzadeh | Compositional Concept Generalization with Variational Quantum Circuits |
| Scott Wesley | Enriched Categories for Parameterized Circuit Semantics |
| Kyrylo Simonov, Giulio Chiribella and Xuanqiang Zhao | Two-time states and weak values: Structure and efficient estimation |
| Albert Rico | State-Witness Contraction: a systematic method to construct multipartite entanglement witnesses |
| Zixuan Liu and Ognyan Oreshkov | Information causality for indefinite causal order |
| Cole Comfort and Giovanni de Felice | The Delayed Stabilizer ZX-calculus |
| Davide Poderini and Marco Erba | Testing the quantum composition postulate |
| Nick Ormrod | Deriving classical- and quantum-like theories from causation |
| Haruki Emori, Akihisa Tomita and Masanao Ozawa | Parameterized quantum instruments |
| Kayo Tei, Haruto Mishina, Naoki Yamamoto and Kazunori Ueda | Optimization and Verification of Quantum Circuits using a Graph Rewriting Language |
| Vishal Johnson, Ashmeet Singh and Torsten Enßlin | The Born Rule in Unitary Quantum Mechanics |
| Jessica Bavaresco, Satoshi Yoshida, Tatsuki Odake, Hlér Kristjánsson, Philip Taranto, Mio Murao and Marco Túlio Quintino | Can the quantum switch be deterministically simulated? |
| Kathleen Barsse, Romain Péchoux and Simon Perdrix | A quantum programming language for coherent control |
| Jingyi Mei and Alfons Laarman | Quantum Circuit Compilation with #SAT |