Accepted submissions

Full papers to appear on the published proceedings

• Aleks Kissinger and John van de Wetering.
  Scalable spider nests (...or how to graphically grok transversal non-Clifford gates).
• Andrew N. Glaudell, Neil J. Ross, John van de Wetering and Lia Yeh.
  Exact Synthesis of Multiqutrit Clifford-cyclotomic Circuits.
• Jay Owers, Ekaterina Shutova and Martha Lewis.
  Density Matrices for Metaphor Understanding.
• Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille and Dieter Kranzlmüller.
  Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atoms Hardware.
• Matthew Amy, Neil J. Ross and Scott Wesley.
  A Sound and Complete Equational Theory for 3-qubit Toffoli-Hadamard Circuits.
• Matthew Sutcliffe and Aleks Kissinger.
  Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation.
• Piotr Mitosek.
  Pauli flow on open graphs with unknown measurement labels.
• Tuomas Laakkonen, Konstantinos Meichanetzidis and Bob Coecke.
  Compositional Quantum Algorithms for Text Processing.
• Tuomas Laakkonen, Konstantinos Meichanetzidis and John van de Wetering.
  A Graphical #SAT Algorithm for Formulae with Small Clause Density.

Talk presentations

• Adrian Lehmann, Ben Caldwell, Bhakti Shah and Robert Rand
  VyZX: Formal Verification of a Graphical Quantum Language with automated structural rewrites
• Albert Aloy, Thomas Galley, Caroline Jones, Stefan Ludescher and Markus Müller
  Spin-bounded correlations: rotation boxes within and beyond quantum theory
• Alejandro Díaz-Caro, Gilles Dowek and Octavio Malherbe
  From linear logic to quantum control
• Aleks Kissinger, Neil J. Ross and John van de Wetering
  Catalysing Completeness and Universality
• Alexander Wilce
  Compounding and Coarse-Graining as Monads
• Alexandre Clément, Noé Delorme and Simon Perdrix
  Minimal Equational Theories for Quantum Circuits
• Amin Karamlou and Nihil Shah
  First Steps in Quantum Finite Model Theory
• Amy Searle, Rui Soares Barbosa and Samson Abramsky
  Mapping temporal correlations to contextuality correlations
• Boseong Kim and Samson Abramsky
  State Independence of Quantum Contextuality on a Pauli Abelian Partial Group
• Cihan Okay and Walker Stern
  Twisted simplicial distributions
• Daniel McNulty, Susane Calegari, Joanna Majsak and Michał Oszmaniec
  A Simple and Efficient Joint Measurement Strategy for Estimating Non-Commuting Fermionic Observables and Hamiltonians
• Danilo Fucci and Renato Angelo
  Theory-Independent Realism
• David Schmid, Yìlè Ying and Matthew Leifer
  A review and analysis of six extended Wigner's friend arguments
• Eleftherios Tselentis and Ämin Baumeler
  The Mobius game and other Bell test for relativity
• Emmanuel Hainry, Romain Péchoux and Mário Silva
  A Programming Language Characterizing Quantum Polynomial Time
• Farid Shahandeh, Theodoros Yianni and Mina Doosti
  Contextuality of Cloning via Dimensional Witnesses
• Francisco J. R. Ruiz, Tuomas Laakkonen, Johannes Bausch, Matej Balog, Mohammadamin Barekatain, Francisco J. H. Heras, Alexander Novikov, Nathan Fitzpatrick, Bernardino Romera-Paredes, John van de Wetering, Alhussein Fawzi, Konstantinos Meichanetzidis and Pushmeet Kohli
  Quantum Circuit Optimization with AlphaTensor
• Giovanni de Felice, Boldizsár Poór and Lia Yeh
  Fusion and flow: formal protocols to reliably build photonic graph states
• Haruki Emori and Hiroyasu Tajima
  Error and Disturbance as Irreversibility with Applications: Unified Definition, Wigner--Araki--Yanase Theorem and Out-of-Time-Order Correlator
• Hector Bombin, Daniel Litinski, Naomi Nickerson, Fernando Pastawski and Sam Roberts
  Unifying flavors of fault tolerance with the ZX calculus
• Jacopo Surace
  A theory of Inaccessible Information
• James Hefford and Matt Wilson
  A Profunctorial Semantics for Quantum Supermaps
• John van de Wetering, Richie Yeung, Tuomas Laakkonen and Aleks Kissinger
  Optimal compilation of parametrised quantum circuits
• Kathleen Barsse, Paolo Perinotti, Alessandro Tosini and Leonardo Vaglini
  Causal influence versus signalling for interacting quantum channels
• Kinnari Dave, Louis Lemonnier, Romain Pechoux and Vladimir Zamdzhiev
  Combining Quantum and Classical Control
• Léo Colisson, Damian Markham and Raja Yehia
  All graph state verification protocols are composably secure
• Lorenzo Catani, Thomas Galley and Tomáš Gonda
  Resource-theoretic hierarchy of generalized contextuality
• Lorenzo Giannelli and Giulio Chiribella
  Information-theoretic derivation of energy and speed bounds
• Maarten Grothus and V. Vilasini
  Characterizing Signalling: Connections between Causal Inference and Space-time Geometry
• Marco Erba, David Schmid, John Selby and Sina Soltani
  A noncontextual ontological model for bilocal classical theory
• Marco Erba, Paolo Perinotti, Davide Rolino and Alessandro Tosini
  A minimalist approach to operational theories
• Martin Avanzini, Georg Moser, Romain Péchoux and Simon Perdrix
  On the Hardness of Analyzing Quantum Programs Quantitatively
• Massy Khoshbin, Lorenzo Catani and Matthew Leifer
  Alternative robust ways of witnessing nonclassicality in the simplest scenario
• Matt Wilson and Nick Ormrod
  On the Origin of Linearity and Unitarity in Quantum Theory
• Michael Zurel and Arne Heimendahl
  Efficient classical simulation of quantum computation beyond Wigner positivity
• Min-Hsiu Hsieh, Leandro Mendes, Michael de Oliveira and Sathyawageeswar Subramanian
  Quantum Circuits surpass Biased Threshold Circuits in Constant-Depth
• Nadish de Silva and Imin Chen
  Characterising semi-Clifford gates using algebraic sets
• Nick Ormrod and Jonathan Barrett
  Quantum Influences and Event Relativity
• Nicolas Heurtel
  A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors
• Pieter Claeys, Austen Lamacraft and Jamie Vicary
  From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
• Quanlong Wang, Boldizsár Poór and Razin A. Shaikh
  Completeness of qufinite ZXW calculus, a graphical language for finite-dimensional quantum theory
• Raman Choudhary, Rui Soares Barbosa and Adán Cabello
  Lifting noncontextuality inequalities
• Robert Allen and Dominic Verdon
  CP-infinity and beyond: 2-categorical dilation theory
• Robert Booth, Titouan Carette and Cole Comfort
  A graphical language for Gaussian quantum processes
• Samson Abramsky, Rui Soares Barbosa and Amy Searle
  Combining Contextuality and Causality: a game semantics approach
• Samson Abramsky, Serban Cercelescu and Carmen Maria Constantin
  Commutation Groups and State-Independent Contextuality
• Satoshi Yoshida, Akihito Soeda and Mio Murao
  Optimal protocols for universal adjointation of isometry operations
• Shashaank Khanna, Marina Maciel Ansanelli, Matthew Pusey and Elie Wolfe
  Classifying Causal Structures: Ascertaining when Classical Correlations are Constrained by Inequalities
• Shiv Akshar Yadavalli, Nikola Andrejić and Ravi Kunjwal
  Qualitative equivalence between incompatibility and Bell nonlocality
• Shuyang Meng, Fionnuala Curran, Gabriel Senno, Victoria J. Wright, Máté Farkas, Valerio Scarani and Antonio Acín
  Maximal intrinsic randomness of a quantum state
• Stefano Gogioso and Nicola Pinzani
  Local fraction in Static Causal Orders
• Tatsuki Odake, Hlér Kristjánsson, Philip Taranto and Mio Murao
  Universal algorithm for transforming Hamiltonian eigenvalues
• Urs Schreiber
  Topological Quantum Programming via Linear Homotopy Types
• Uta Meyer, Ivan Supic, Frédéric Grosshans and Damian Markham
  Bell Nonlocality from Wigner Negativity in Qudit Stabilizer States
• Vivien Vandaele
  Qubit-count optimization using ZX-calculus
• Yìlè Yīng, Marina Maciel Ansanelli, Andrea Di Biagio, Elie Wolfe and Eric Gama Cavalcanti
  Relating Wigner's Friend Scenarios to Nonclassical Causal Compatibility, Monogamy Relations, and Fine Tuning
• Zixuan Liu and Giulio Chiribella
  Tsirelson bounds for quantum correlations with indefinite causal order

Programming tool presentations

• Anurudh Peduri, Tim Bittner, Luca Witt, Luke Southall, Ina Schaefer and Michael Walter.
  Qubrabench: Quantum Benchmarking without Quantum Computers.
• Nadish de Silva, Wilfred Salmon and Ming Yin.
  Fast algorithms for classical specifications of stabiliser states and Clifford gates.

Poster presentations

• Adriano Lusso and Victor Onofre
  Simulating unknown qubit-unitary inversion with zero-noise extrapolation
• Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky and Octavio Malherbe
  Polymorphic intuitionistic linear logic and its connection to quantum computing
• Alejandro Díaz-Caro, Octavio Malherbe and Rafael Romero
  A multiple-basis quantum lambda calculus
• Amanda Maria Fonseca, Vinicius Rossi, John Selby and Ana Belén Sainz
  Robustness of contextuality under different types of noise with a linear program and an application for parity-oblivious multiplexing tasks
• Amrapali Sen, Matthias Salzger and Łukasz Rudnicki
  An operational analysis of superluminal observers
• Ana Belén Sainz
  Postquantum steering in multipartite characterised situations
• Andrea D'Urbano, Michael de Oliveira and Luis Soares Barbosa
  Efficient resource analysis for Quantum Key Distribution using the BB84 Polytope
• Andrew Fish and Alexei Lisitsa
  Automating certification of non-equivalence of quantum programs using tangle colourings
• Beata Zjawin, Matty Hoban, Paul Skrzypczyk and Ana Belén Sainz
  Activation of post-quantumness in generalized EPR scenarios
• Cristian Eliecer Bello Reyes
  Bosonic Kitaev model: Quantum Signal Processing with arrays of parametric oscillators
• Carlos Miguel Soto and Alejandro Díaz-Caro
  Soundness and Completeness for a Linear Logic Calculus Designed for Quantum Computing
• Dimitrios Giannakis, Abbas Ourmazd, Philipp Pfeffer, Jorg Schumacher and Joanna Slawinska
  Koopman Operator Theory for Quantum Simulation of Classical Dynamics
• Dohun Kim, Minyoung Kim, Sarah Meng Li and Michele Mosca
  Improving the Fidelity of CNOT Circuits on NISQ Hardware
• Dongho Lee
  Simulating Boolean Logic in Category of Halfspaces and Linear Maps
• Ignacio Perito, María Balanzó-Juandó, Máté Farkas and Antonio Acín
  Robust self-testing of bipartite entanglement
• Jakob Murauer, Korbinian Staudacher, Wolfgang Gehrke and Michaela Geierhos
  Towards Masked Language Modeling in Quantum Natural Language Processing
• Jan Głowacki
  Relativization is naturally functorial
• Jiaxin Huang, Aleks Kissinger, Sarah Meng Li, John van de Wetering and Lia Yeh
  Repping Stabilizer Codes in ZX: Stabilizer Tableaus, Encoder Circuits, and Code Transformations
• Laura Henderson, Rishi Goel and Sally Shrapnel
  Quantum kernel machine learning with continuous variables
• Lorenzo Saraiva, Hermann Haeusler and Vaston Costa
  Quantum Algorithm for Multiplicative Linear Logic
• Łukasz Rudnicki and Otavio A. D. Molitor
  Exploring indefinite causal order in the context of thermodynamics
• Maiyuren Srikumar, Angela Karanjai and Stephen D. Bartlett
  Contextuality implies the antidistinguishability of states
• Marco Erba
  Are local-classicality and generalised-noncontextuality equivalent notions of classical explainability?
• Masanao Ozawa
  Operational Meanings of Conjunction and Disjunction for Incompatible Quantum Propositions
• Mateusz Kupper, Chris Heunen and Dominic Horsman
  Categorical semantics for defect-based surface code computing
• Matthias Salzger and John H. Selby
  A decompositional framework for process theories in spacetime
• Naim Elias Comar, Danilo Cius, Luis Felipe Santos da Silva, Rafael Wagner and Bárbara Lopes Amaral
  Transformation contextuality witness in heat flow inversion
• Nicolás Monzón and Alejandro Díaz-Caro
  An extension of Lambda-S for multiple basis
• Nitica Sakharwade
  The role of magic in causal inequality violations
• Patrick Andriolo, Danilo Cius and Naim Comar
  Quantifying Bell nonlocality on gravitationally entangled qudits
• Paulo Cavalcanti, Vinicius Rossi, Amanda Fonseca, John Selby and Ana Belén Sainz
  An open-source Pyhon importation of a linear program for testing nonclassicality
• Quanlong Wang, Richard D. P. East, Razin A. Shaikh, Lia Yeh and Boldizsár Poór
  Penrose Spin Calculus: ZX for SU(2)
• Richie Yeung, Konstantinos Meichanetzidis, Alexandre Krajenbrink and François Charton
  Teaching small transformers to rewrite ZX diagrams
• Santiago Cifuentes, Nicolás Ciancaglini, Guido Bellomo, Santiago Figueira and Ariel Bendersky
  Towards exact algorithmic proofs of maximal mutually unbiased bases sets in arbitrary integer dimension
• Sauradeep Sasmal, Som Kanjilal and Alok Kumar Pan
  Unbounded Sharing of Nonlocality Using local randomness assisted Projective measurement
• Tom Williams and Andrei Constantin
  Maximal Non-Kochen-Specker Sets and a Lower Bound on the Size of Kochen-Specker Sets
• Vanessa Brzić, Satoshi Yoshida, Mio Murao and Marco Túlio Quintino
  Higher order quantum transformations for known input state
• Ved Kunte, Nicetu Tibau Vidal, Lucia Vilchez-Estevez, Mohit Lal Bera and Manabendra Nath Bera
  Entanglement Asymmetry in Non-Abelian Anyonic States
• William Schober
  Circuits as a self-contained graphical language