Accepted Submissions

The following submissions to QPL 2023 have been accepted to appear in the proceedings or to be presented during the conference.

Accepted Proceedings Submissions

• Jean-Simon Lemay and Robin Cockett. Moore-Penrose Dagger Categories.
• Gejza Jenča and Bert Lindenhovius. Quantum suplattices.
• Kin Ian Lo, Mehrnoosh Sadrzadeh and Shane Mansfield. Generalised Winograd Schema and its Contextuality.
• Ewan Murphy and Aleks Kissinger. Global synthesis of CNOT circuits with holes.
• Patrick Roy, John van de Wetering and Lia Yeh. The qudit ZH-calculus: generalised Toffoli+Hadamard and universality.
• Tuomas Laakkonen, Konstantinos Meichanetzidis and John van de Wetering. Picturing counting reductions with the ZH-calculus.
• Giovanni de Felice, Razin Shaikh, Boldizsar Poor, Lia Yeh, Quanlong Wang and Bob Coecke. Light-matter rewriting in the ZXW calculus.
• Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering and Lia Yeh. The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification.
• Xiaoning Bian and Peter Selinger. Generators and relations for 3-qubit Clifford+CS operators.
• Jiaxin Huang, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca and Michael Vasmer. Graphical CSS Code Transformation Using ZX Calculus.
• Tommy McElvanney and Miriam Backens. Flow-preserving ZX-calculus rewrite rules for optimisation and obfuscation.
• Howard Barnum, Matthew Graydon and Alexander Wilce. Locally Tomographic Shadows.
• Matthew Amy. Complete equational theories for the sum-over-paths with unbalanced amplitudes.
• Alex Townsend-Teague, Julio Magdalena de la Fuente and Markus Kesselring. Re-Implementing Stabilizer Codes as Floquet Codes.

Accepted Talk Submissions

• Tatsuki Odake, Hlér Kristjánsson, Akihito Soeda and Mio Murao. Higher-order quantum transformations of Hamiltonian dynamics.
• Beata Zjawin, David Schmid, Matty Hoban and Ana Belén Sainz. Quantifying EPR: the resource theory of nonclassicality of common-cause assemblages.
• David Schmid. Macrorealism as strict classicality in the framework of generalized probabilistic theories (and how to falsify it).
• Vinicius P. Rossi, David Schmid, John H. Selby and Ana Belén Sainz. Contextuality with vanishing coherence and maximal robustness to dephasing.
• Lorenzo Catani, Ricardo Faleiro, Pierre-Emmanuel Emeriau, Shane Mansfield and Anna Pappa. Connecting XOR and XOR* games.
• Anita Buckley and Klemen Sivic. New entanglement witnesses and entangled states.
• Gerd Niestegge. Quantum transition probability and convex sets.
• V. Vilasini and Roger Colbeck. Causal inference in non-classical theories and compatibility with spacetime structure.
• Jacques Carette, Chris Heunen, Robin Kaarsgaard and Amr Sabry. The Quantum Effect: a recipe for QuantumPi.
• Cole Comfort. The Algebra of Stabilizer Codes (Extended Abstract).
• Julien Codsi and John van de Wetering. Classically Simulating Quantum Supremacy IQP Circuits through a Random Graph Approach.
• Pablo Arrighi, Amélia Durbec and Matt Wilson. Generalized tensors and partial traces over quantum networks.
• Sebastian Horvat and Iulian Danut Toader. Quantum logic and meaning.
• Satoshi Yoshida, Akihito Soeda and Mio Murao. Universal, deterministic, and exact protocol to reverse qubit-unitary and qubit-encoding isometry operations.
• Chris Heunen and Nesta van der Schaaf. Ordered locales.
• Chris Heunen, Andre Kornell and Nesta van der Schaaf. Axioms for the category of Hilbert spaces and linear contractions.
• Paulo Cavalcanti, John Selby and Ana Belen Sainz. Every no-signalling channel is common-cause realizable.
• Ravi Kunjwal and Ämin Baumeler. Trading causal order for locality.
• Ravi Kunjwal and Ognyan Oreshkov. Nonclassicality in correlations without causal order.
• Yunlong Xiao, Yuxiang Yang, Ximing Wang, Qing Liu and Mile Gu. Quantum Uncertainty Principles for Measurements with Interventions.
• Yunlong Xiao, Gaurav Saxena, Ryuji Takagi, Sarvagya Upadhyay and Mile Gu. The Dynamical Uncertainty Principle Determines the Programmability of Quantum Processors.
• Titouan Carette, Etienne Moutot, Thomas Perez and Renaud Vilmart. Counting perfect matchings with the planar fragment of ZW-Calculus (Non-proceedings submission).
• Boldizsár Poór, Quanlong Wang, Razin Shaikh, Lia Yeh, Richie Yeung and Bob Coecke. Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus (Non-proceedings).
• Alastair Abbott, Mehdi Mhalla and Pierre Pocreau. Query Complexity of Boolean Functions under Indefinite Causal Order.
• Martin Plávala and Matthias Kleinmann. Generalized dynamical theories in phase space and the hydrogen atom.
• Filipa Peres. The Pauli-based model of quantum computation with higher dimensional systems.
• Titouan Carette, Timothée Hoffreumon, Émile Larroque and Renaud Vilmart. Complete Graphical Language for Hermiticity-Preserving Superoperators (non-proceedings).
• Lorenzo Giannelli, Carlo Maria Scandolo and Giulio Chiribella. Indeterminism and Bell nonlocality with classical systems.
• Lorenzo Catani, Matthew Leifer, Giovanni Scala, David Schmid and Robert Spekkens. What is nonclassical about uncertainty relations?.
• Timothée Goubault de Brugière and Simon Martiel. Shallower CNOT circuits on realistic quantum hardware.
• Lorenzo Catani, Matthew Leifer, Giovanni Scala, David Schmid and Robert Spekkens. What aspects of the phenomenology of interference witness nonclassicality?.
• Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai and Di-De Yen. An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits.
• Seungbeom Chin, Yong-Su Kim, Marcin Karczewski and Sangmin Lee. Graph approach to generate multipartite entanglement with linear quantum networks.
• Howard Barnum, Cozmin Ududec and John van de Wetering. Self-duality and Jordan structure of quantum theory follow from homogeneity and pure transitivity.
• Piotr Mitosek. Constructing NP^#P-complete problems and #P-hardness of circuit extraction in phase-free ZH.
• Thomas Theurer, Elia Zanoni, Carlo Maria Scandolo and Gilad Gour. Thermodynamic state convertibility is determined by qubit cooling and heating.
• Rafael Wagner, Rui Soares Barbosa and Ernesto F. Galvão. Inequalities witnessing coherence, nonlocality, and contextuality.
• Matt Wilson, Giulio Chiribella and Aleks Kissinger. Quantum Supermaps are Characterised by Locality.
• Stefano Gogioso and Nicola Pinzani. The Topology of Causality.
• Anindita Bera, Giovanni Scala, Gniewkomir Sarbicki and Dariusz Chruściński. Generalizing Choi map in $M_3$ beyond circulant scenario.
• Gilad Gour, Mark Wilde, Sam Brandsen and Isabelle Geng. Inevitability of knowing less than nothing.
• Eleftherios Tselentis and Ämin Baumeler. Admissible Causal Structures and Correlations.
• Caroline Jones, Stefan Ludescher, Albert Aloy and Markus Müller. Theory-independent randomness generation with spacetime symmetries.
• V. Vilasini and Mischa Woods. A general quantum circuit framework for consistent logical reasoning in Wigner’s friend scenarios.
• Nick Ormrod, V. Vilasini and Jonathan Barrett. Which theories have a measurement problem? (Summary).
• Matthew Wilson and Giulio Chiribella. Polycategories of Supermaps on Monoidal Categories.
• Leonardo Vaglini, Alessandro Tosini and Paolo Perinotti. Information content of a source in post-quantum theories.
• Michael Zurel, Lawrence Cohen and Robert Raussendorf. Simulation of quantum computation with magic states via Jordan-Wigner transformations.
• Samson Abramsky and Rui Soares Barbosa. Contextuality in logical form: duality for transitive partial CABAs.
• Vivien Vandaele, Simon Martiel, Simon Perdrix and Christophe Vuillot. Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences.
• Nuriya Nurgalieva and V. Vilasini. Multi-agent logical paradoxes and contextuality.
• Alexandre Clément, Noé Delorme, Simon Perdrix and Renaud Vilmart. Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace.
• Nuriya Nurgalieva, Ralph Silva and Renato Renner. Reconstructing the waiting time of a clock using the simplest possible reference.
• Leevi Leppäjärvi and Michal Sedlák. Incompatibility of quantum instruments.

Accepted for Poster Presentation

• Charles Yuan and Michael Carbin. Tower: Data Structures in Quantum Superposition.
• Ahmet Çevik and Zeki Seskir. On the Cardinality of Future Worldlines in Discrete Spacetime Structures.
• Laurens Walleghem, Rui Soares Barbosa, Matthew Pusey and Stefan Weigert. A hybrid Bell-FR paradox and the measurement postulate.
• Daphne Wang and Mehrnoosh Sadrzadeh. Variational Circuits for Meanings Prediction.
• Rafael Wagner and Ernesto Galvao. Anomalous weak values require coherence.
• Lukas Schmitt and V. Vilasini. Operational causality and realisable processes in the Page-Wootters framework.
• Korbinian Staudacher and Dieter Kranzlmüller. On circuit extraction from MBQC patterns with Pauli flow.
• Jun-Yi Wu, Kosuke Matsui, Tim Forrer, Akihito Soeda, Pablo Andrés-Martínez, Daniel Mills, Luciana Henaut and Mio Murao. Entanglement-efficient bipartite-distributed quantum computing with entanglement-assisted packing processes.
• Lorenzo Perticone and Robin Adams. Effect Algebras as Omega-Categories.
• Mark Koch, Richie Yeung and Quanlong Wang. Speedy Contraction of ZX Diagrams with Triangles via Stabiliser Decompositions.
• Pierre-Emmanuel Emeriau, Kim Vallée, Shane Mansfield, Damian Markham, Boris Bourdoncle and Adel Sohbi. Corrected Bell and Noncontextuality Inequalities for Realistic Experiments.
• Tiffany Duneau and Bob Coecke. Revisiting Complementarity of Spiders.
• Angelos Bampounis and Rui Soares Barbosa. Matchgate hierarchy: A Clifford-like hierarchy for matchgate circuits.
• Timothée Hoffreumon and Ognyan Oreshkov. Projective characterization of higher-order quantum transformations.
• Nicolás Medina Sánchez. Relational clocks using monads.
• Alejandro Villoria, Henning Basold and Alfons Laarman. A graphical notation of convex sums of unitaries for the ZX-calculus.
• Marc-Olivier Proulx, Anne Broadbent and Pierre Botteron. Extending the Known Region of Nonlocal Boxes that Collapse Communication Complexity.
• Maarten Grothus and V. Vilasini. Compatibility of Cyclic Causal Structures with Spacetime in General Theories with Free Interventions.
• Richard Howl, Ali Akil, Hlér Kristjánsson, Xiaobin Zhao and Giulio Chiribella. Quantum gravity as a communication resource.
• Tim Forrer, Matt Wilson and Mio Murao. Reduction to a Subsystem Always Internalises.
• Nicklas Botö and Fabian Forslund. The Zeta Calculus.
• Andreas Bluhm, Ion Nechita and Simon Schmidt. Polytope compatibility - from quantum measurements to magic squares.
• Marco Erba, Paolo Perinotti, Alessandro Tosini and Davide Rolino. Disentangling Bohr and Heisenberg: complementarity is a stronger feature than disturbance.
• Hippolyte Dourdent, Alastair Abbott, Ivan Supic and Cyril Branciard. Network-Device-Independent Certification of Causal Nonseparability.

Accepted for Software Presentation

• Felix Zilk, Korbinian Staudacher, Tobias Guggemos, Karl Fürlinger, Dieter Kranzlmüller and Philip Walther. A compiler for universal photonic quantum computers.
• Shinichi Sunami and Masato Fukushima. Graphix: Bridging Quantum Algorithms and Measurement Patterns.
• Seyon Sivarajah, Lukas Heidemann, Alan Lawrence and Ross Duncan. Tierkreis: a Dataflow Framework for Hybrid Quantum-Classical Computing.
• Arianne Meijer-van de Griend. Towards a generic transpilation approach for quantum circuits through re-synthesis.
• Vincent Russo, Andrea Mari, Nathan Shammah, Ryan LaRose and William J. Zeng. Testing platform-independent quantum error mitigation on noisy quantum computers.
• Razin A. Shaikh, Jonathon Liu, Benjamin Rodatz, Richie Yeung and Bob Coecke. Automated Derivation of Text Structure as Circuits.
• Cameron Foreman, Richie Yeung, Alec Edgington and Florian Curchod. cryptomite: A versatile, simple to use library of randomness extractors.