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
- Dichuan Gao
The Qudit ZH Calculus for Arbitrary Finite Fields: Universality and Application
- 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 Ceragioli, Fabio Gadducci, Giuseppe Lomurno and Gabriele Tedeschi
Effect Semantics for Quantum Process Calculi
- 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
- 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 presentation
- 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
- Beata Zjawin, Matty Hoban, Paul Skrzypczyk and Ana Belén Sainz
Activation of post-quantumness in generalized EPR scenarios
- Carlos Miguel Soto and Alejandro Díaz-Caro
Soundness and Completeness for a Linear Logic Calculus Designed for Quantum Computing
- 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
- 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
- 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
- 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
- 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
- William Schober
Circuits as a self-contained graphical language
