Detailed program

9:30 - 10:00


10:00 - 10:30 Breakfast
Session chair: Ana Belen Sainz • Room: 1401
10:30 - 11:00 Zixuan Liu and Giulio Chiribella
Tsirelson bounds for quantum correlations with indefinite causal order PDF
Short break to change room
Session chair: Simon Perdrix • Room: 1401 Session chair: Ariel Bendersky • Room: 1402
11:15 - 11:45 Hector Bombin, Daniel Litinski, Naomi Nickerson, Fernando Pastawski, and Sam Roberts
Unifying flavors of fault tolerance with the ZX calculus PDF
Kathleen Barsse, Paolo Perinotti, Alessandro Tosini, and Leonardo Vaglini
Causal influence versus signalling for interacting quantum channels PDF
11:45 - 12:15 Aleks Kissinger and John van de Wetering
Scalable spider nests (...or how to graphically grok transversal non-Clifford gates) PDF
Maarten Grothus and V. Vilasini
Characterizing Signalling: Connections between Causal Inference and Space-time Geometry PDF
12:15 - 14:00 Lunch
Session chair: Nadish da Silva • Room: 1401 Session chair: John van de Wetering • Room: 1402
14:00 - 14:30 Marco Erba, David Schmid, John Selby, and Sina Soltani
A noncontextual ontological model for bilocal classical theory
James Hefford and Matt Wilson
A Profunctorial Semantics for Quantum Supermaps
14:30 - 15:00 Samson Abramsky, Serban Cercelescu, and Carmen Maria Constantin
Commutation Groups and State-Independent Contextuality
Robert Allen and Dominic Verdon
CP-infinity and beyond: 2-categorical dilation theory PDF
15:00 - 15:30 Lorenzo Catani, Thomas Galley, and Tomáš Gonda
Resource-Theoretic Hierarchy of Contextuality for General Probabilistic Theories
Alexander Wilce
Compounding and Coarse-Graining as Monads PDF
15:30 - 16:00 Amy Searle, Rui Soares Barbosa, and Samson Abramsky
Mapping temporal correlations to contextuality correlations PDF
Urs Schreiber
Topological Quantum Programming via Linear Homotopy Types PDF
16:00 - 16:30 Coffee break
Session chair: Lorenzo Catani • Room: 1401 Session chair: Frank Fu • Room: 1402
16:30 - 17:00 Uta Meyer, Ivan Supic, Frédéric Grosshans, and Damian Markham
Bell Nonlocality from Wigner Negativity in Qudit Stabilizer States PDF
Alejandro Díaz-Caro, Gilles Dowek, and Octavio Malherbe
From linear logic to quantum control PDF
17:00 - 17:30 Michael Zurel and Arne Heimendahl
Efficient classical simulation of quantum computation beyond Wigner positivity
Kinnari Dave, Louis Lemonnier, Romain Pechoux, and Vladimir Zamdzhiev
Combining Quantum and Classical Control
17:30 - 18:00 Shiv Akshar Yadavalli, Nikola Andrejić, and Ravi Kunjwal
Qualitative equivalence between incompatibility and Bell nonlocality
Emmanuel Hainry, Romain Péchoux, and Mário Silva
A Programming Language Characterizing Quantum Polynomial Time PDF
9:30 - 10:00 Breakfast
Session chair: Aleks Kissinger • Room: 1401
10:00 - 10:30 Alexandre Clément, Noé Delorme, and Simon Perdrix
Minimal Equational Theories for Quantum Circuits PDF
10:30 - 11:00 Andrew N. Glaudell, Neil J. Ross, John van de Wetering, and Lia Yeh
Exact Synthesis of Multiqutrit Clifford-cyclotomic Circuits PDF
Short break to change room
Session chair: Alexandre Clément • Room: 1401 Session chair: Matty Hoban • Room: 1402
11:15 - 11:45 Min-Hsiu Hsieh, Leandro Mendes, Michael de Oliveira, and Sathyawageeswar Subramanian
Quantum Circuits surpass Biased Threshold Circuits in Constant-Depth PDF
Haruki Emori and Hiroyasu Tajima
Error and Disturbance as Irreversibility with Applications: Unified Definition, Wigner–Araki–Yanase Theorem and Out-of-Time-Order Correlator
11:45 - 12:15 F. J. R. Ruiz, T. Laakkonen, J. Bausch, M. Balog, M. Barekatain, F. J. H. Heras, A. Novikov, N. Fitzpatrick, B. Romera-Paredes, J. van de Wetering, A. Fawzi, K. Meichanetzidis, and P. Kohli
Quantum Circuit Optimization with AlphaTensor
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
12:15 - 14:00 Lunch
Session chair: John Selby • Room: 1401 Session chair: Peter Selinger • Room: 1402
14:00 - 14:30 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
John van de Wetering, Richie Yeung, Tuomas Laakkonen, and Aleks Kissinger
Optimal compilation of parametrised quantum circuits
14:30 - 15:00 David Schmid, Yìlè Ying, and Matthew Leifer
A review and analysis of six extended Wigner's friend arguments
Matthew Amy, Neil J. Ross, and Scott Wesley
A Sound and Complete Equational Theory for 3-qubit Toffoli-Hadamard Circuits PDF
15:00 - 15:30 Massy Khoshbin, Lorenzo Catani, and Matthew Leifer
Alternative robust ways of witnessing nonclassicality in the simplest scenario
Aleks Kissinger, Neil J. Ross, and John van de Wetering
Catalysing Completeness and Universality
15:30 - 15:35 *** QPL 2024 Group Photo ***
15:35 - 16:00 Coffee break
Area in front of rooms 1401 and 1402
16:00 - 18:00

Poster session

9:30 - 10:00 Breakfast
Session chair: Robert Rand • Room: 1401
10:00 - 10:30 Léo Colisson, Damian Markham, and Raja Yehia
All graph state verification protocols are composably secure PDF
10:30 - 11:00 Quanlong Wang, Boldizsár Poór, and Razin A. Shaikh
Completeness of qufinite ZXW calculus, a graphical language for finite-dimensional quantum theory
Short break to change room
Session chair: Ross Duncan • Room: 1401 Session chair: Alejandro Díaz-Caro • Room: 1402
11:15 - 11:45 Jay Owers, Ekaterina Shutova, and Martha Lewis
Density Matrices for Metaphor Understanding PDF
Martin Avanzini, Georg Moser, Romain Péchoux, and Simon Perdrix
On the Hardness of Analyzing Quantum Programs Quantitatively PDF
11:45 - 12:15 Tuomas Laakkonen, Konstantinos Meichanetzidis, and Bob Coecke
Compositional Quantum Algorithms for Text Processing PDF
Adrian Lehmann, Ben Caldwell, Bhakti Shah, and Robert Rand
VyZX: Formal Verification of a Graphical Quantum Language with automated structural rewrites PDF
12:15 - 14:00 Lunch
14:00 - 15:00
15:00 - 18:30

Excursion to Delta de Tigre

18:30 - 22:30

Bar at Puerto Madero

9:30 - 10:00 Breakfast
Session chair: Matt Wilson • Room: 1401
10:00 - 10:30 Tuomas Laakkonen, Konstantinos Meichanetzidis, and John van de Wetering
A Graphical #SAT Algorithm for Formulae with Small Clause Density PDF
10:30 - 11:00 Pieter Claeys, Austen Lamacraft, and Jamie Vicary
From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics PDF
Short break to change room
Session chair: Rui Soares Barbosa • Room: 1401 Session chair: Carmen Constantin • Room: 1402
11:15 - 11:45 Nick Ormrod and Jonathan Barrett
Quantum Influences and Event Relativity
Daniel McNulty, Susane Calegari, Joanna Majsak, and Michał Oszmaniec
A Simple and Efficient Joint Measurement Strategy for Estimating Non-Commuting Fermionic Observables and Hamiltonians
11:45 - 12:15
Tool presentation
Nadish de Silva, Wilfred Salmon, and Ming Yin
Fast algorithms for classical specifications of stabiliser states and Clifford gates
Danilo Fucci and Renato Angelo
Theory-Independent Realism
12:15 - 14:00 Lunch
Session chair: James Hefford • Room: 1401 Session chair: Robert Booth • Room: 1402
14:00 - 14:30 Nadish de Silva and Imin Chen
Characterising semi-Clifford gates using algebraic sets PDF
Samson Abramsky, Rui Soares Barbosa, and Amy Searle
Combining Contextuality and Causality: a game semantics approach PDF
14:30 - 15:00 Marco Erba, Paolo Perinotti, Davide Rolino, and Alessandro Tosini
A minimalist approach to operational theories PDF
Stefano Gogioso and Nicola Pinzani
Local fraction in Static Causal Orders
15:00 - 15:30 Matt Wilson and Nick Ormrod
On the Origin of Linearity and Unitarity in Quantum Theory
Shashaank Khanna, Marina Maciel Ansanelli, Matthew Pusey, and Elie Wolfe
Classifying Causal Structures: Ascertaining when Classical Correlations are Constrained by Inequalities
15:30 - 16:00 Coffee break
Room: 1402
16:00 - 16:30
Industrial session
Quantinuum - Ross Duncan       •       Technology Innovation Institute - Ariel Bendersky       •       Quandela - Nicolas Heurtel
16:30 - 18:00

QPL General Meeting

18:00 - 20:00
20:00 - 22:30

Conference dinner at Galidon

9:30 - 10:00 Breakfast
Session chair: Giovanni de Felice • Room: 1401
10:00 - 10:30
Best Student Paper Award Winner
Nicolas Heurtel
A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors
10:30 - 11:00 Vivien Vandaele
Qubit-count optimization using ZX-calculus
Short break to change room
Session chair: Cole Comfort • Room: 1401 Session chair: Romain Péchoux • Room: 1402
11:15 - 11:45 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 PDF
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, and Gabriele Tedeschi
Effect Semantics for Quantum Process Calculi PDF
11:45 - 12:15 Giovanni de Felice, Boldizsár Poór, and Lia Yeh
Fusion and flow: formal protocols to reliably build photonic graph states
Amin Karamlou and Nihil Shah
First Steps in Quantum Finite Model Theory
12:15 - 14:00 Lunch
Session chair: Barbara Amaral • Room: 1401 Session chair: Tuomas Laakkonen • Room: 1402
14:00 - 14:30 Farid Shahandeh, Theodoros Yianni, and Mina Doosti
Contextuality of Cloning via Dimensional Witnesses
Dichuan Gao
The Qudit ZH Calculus for Arbitrary Finite Fields: Universality and Application
14:30 - 15:00 Raman Choudhary, Rui Soares Barbosa, and Adán Cabello
Lifting noncontextuality inequalities PDF
Matthew Sutcliffe and Aleks Kissinger
Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation PDF
15:00 - 15:30 Cihan Okay and Walker Stern
Twisted simplicial distributions
Robert Booth, Titouan Carette, and Cole Comfort
A graphical language for Gaussian quantum processes
15:30 - 16:00 Boseong Kim and Samson Abramsky
State Independence of Quantum Contextuality on a Pauli Abelian Partial Group
Piotr Mitosek
Pauli flow on open graphs with unknown measurement labels PDF
16:00 - 16:30 Coffee break
Session chair: Federico Holik • Room: 1401 Session chair: Ignacio Perito • Room: 1402
16:30 - 17:00 Albert Aloy, Thomas Galley, Caroline Jones, Stefan Ludescher, and Markus Müller
Spin-bounded correlations: rotation boxes within and beyond quantum theory
Jacopo Surace
A theory of Inaccessible Information
17:00 - 17:30 Eleftherios Tselentis and Ämin Baumeler
The Mobius game and other Bell test for relativity
Satoshi Yoshida, Akihito Soeda, and Mio Murao
Optimal protocols for universal adjointation of isometry operations PDF
17:30 - 18:00 Lorenzo Giannelli and Giulio Chiribella
Information-theoretic derivation of energy and speed bounds PDF