Conference Program

The conference will take place at Institut Henri Poincaré which is located at 11 Rue Pierre et Marie Curie, Paris, France.

Time	Monday	Tuesday	Wednesday	Thursday	Friday
08:00 - 08:45	Registration
08:45 - 09:00	Opening Remarks
09:00 - 10:00	Plenary Session 1	Plenary Session 2	Plenary Session 3	Plenary Session 4	Plenary Session 5
10:00 - 10:30	Break	Break	Break	Break	Break
10:30 - 12:00	Parallel Session 1	Parallel Session 3	Parallel Session 5	Parallel Session 7	Parallel Session 9
12:00 - 14:00	Lunch	Lunch	Lunch	Lunch	Lunch
14:00 - 15:00	Parallel Session 2	Parallel Session 4	Parallel Session 6	Parallel Session 8	Parallel Session 10
15:00 - 15:30					Break
15:30 - 16:00	Break	Break	Break	Break	Software Session
16:00 - 17:00	Poster Session 1	Poster Session 3		Industry Session
17:00 - 18:00	Poster Session 2	Poster Session 4			QPL General Meeting
18:00 - 19:00
19:00 - 22:00				Conference Dinner

Hint: the table above has clickable entries that serve as shortcuts to more detailed information. An overview of the program is available on Google Calendar.

The duration of talks in plenary sessions and parallel sessions are 30 minutes (including approximately 5 minutes for questions) each. The only exception is the talk in Plenary Session 2 because it merges two submissions made by the same authors.

Streaming from room Hermite (capacity 150) to room Darboux (capacity 50) is available and will be used when necessary, e.g. during plenary sessions.

Lunches are not provided by the conference organisers. There are many restaurants and food options close to the conference venue.

Monday

08:45 – 09:00 Opening Remarks

• Room Hermite. [slides]

09:00 – 10:00 Plenary Session 1

• Room Hermite. Session chair: Shane Mansfield.
  • V. Vilasini and Roger Colbeck. Causal inference in non-classical theories and compatibility with spacetime structure. [slides]
  • Howard Barnum, Cozmin Ududec and John van de Wetering. Self-duality and Jordan structure of quantum theory follow from homogeneity and pure transitivity. [slides]

10:00 – 10:30 Break

10:30 – 12:00 Parallel Session 1

• Room Hermite: Causality. Session chair: Vilasini Venkatesh.
  • Eleftherios Tselentis and Ämin Baumeler. Admissible Causal Structures and Correlations. [slides]
  • Stefano Gogioso and Nicola Pinzani. The Topology of Causality. Remote Presentation.
  • Ravi Kunjwal and Ämin Baumeler. Trading causal order for locality. Remote Presentation.
• Room Darboux: Categories. Session chair: Peter Selinger.
  • Jean-Simon Lemay and Robin Cockett. Moore-Penrose Dagger Categories. [slides]
  • Gejza Jenča and Bert Lindenhovius. Quantum suplattices. [slides]
  • Matthew Wilson and Giulio Chiribella. Polycategories of Supermaps on Monoidal Categories. [slides]

12:00 – 14:00 Lunch

14:00 – 15:30 Parallel Session 2

• Room Hermite: Circuits. Session chair: Neil Ross.
  • Ewan Murphy and Aleks Kissinger. Global synthesis of CNOT circuits with holes. [slides]
  • Julien Codsi and John van de Wetering. Classically Simulating Quantum Supremacy IQP Circuits through a Random Graph Approach. [slides]
  • Timothée Goubault de Brugière and Simon Martiel. Shallower CNOT circuits on realistic quantum hardware.
• Room Darboux: Higher-order Transformations. Session chair: Augustin Vanrietvelde.
  • Ravi Kunjwal and Ognyan Oreshkov. Nonclassicality in correlations without causal order. Remote Presentation.
  • Alastair Abbott, Mehdi Mhalla and Pierre Pocreau. Query Complexity of Boolean Functions under Indefinite Causal Order.
  • Tatsuki Odake, Hlér Kristjánsson, Akihito Soeda and Mio Murao. Higher-order quantum transformations of Hamiltonian dynamics. [slides]

15:30 – 16:00 Break

16:00 – 17:00 Poster Session 1

• Room Cafeteria.
  • 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. [poster]
  • Korbinian Staudacher and Dieter Kranzlmüller. On circuit extraction from MBQC patterns with Pauli flow. [poster]
  • 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 and Omega-Categories. [poster]
  • 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.

    17:00 – 18:00 Poster Session 2

• Room Cafeteria.
  • 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. [poster]
  • 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. [poster]
  • Hippolyte Dourdent, Alastair Abbott, Ivan Supic and Cyril Branciard. Network-Device-Independent Certification of Causal Nonseparability.

Tuesday

09:00 – 10:00 Plenary Session 2

• Room Hermite. Session chair: Carlo Maria Scandolo.
  • Lorenzo Catani, Matthew Leifer, Giovanni Scala, David Schmid and Robert Spekkens. What is nonclassical about uncertainty relations? together with What aspects of the phenomenology of interference witness nonclassicality? [slides]

10:00 – 10:30 Break

10:30 – 12:00 Parallel Session 3

• Room Hermite: Diagrammatic Calculi and Complexity. Session chair: Marc de Visme.
  • Piotr Mitosek. Constructing NP^#P-complete problems and #P-hardness of circuit extraction in phase-free ZH. [slides]
  • Tuomas Laakkonen, Konstantinos Meichanetzidis and John van de Wetering. Picturing counting reductions with the ZH-calculus.
  • Titouan Carette, Etienne Moutot, Thomas Perez and Renaud Vilmart. Counting perfect matchings with the planar fragment of ZW-Calculus. [slides]
• Room Darboux: Foundations. Session chair: Ognyan Oreshkov.
  • David Schmid. Macrorealism as strict classicality in the framework of generalized probabilistic theories (and how to falsify it). [slides]
  • Lorenzo Giannelli, Carlo Maria Scandolo and Giulio Chiribella. Indeterminism and Bell nonlocality with classical systems. [slides]
  • V. Vilasini and Mischa Woods. A general quantum circuit framework for consistent logical reasoning in Wigner’s friend scenarios. [slides]

12:00 – 14:00 Lunch

14:00 – 15:30 Parallel Session 4

• Room Hermite: Generalised Probabilistic Theories. Session chair: Lorenzo Catani.
  • Paulo Cavalcanti, John Selby and Ana Belen Sainz. Every no-signalling channel is common-cause realizable. [slides]
  • Martin Plávala and Matthias Kleinmann. Generalized dynamical theories in phase space and the hydrogen atom. [slides]
  • Gerd Niestegge. Quantum transition probability and convex sets. Talk cancelled.
• Room Darboux: (De)compositional Aspects. Session chair: Emmanuel Jeandel.
  • Jacques Carette, Chris Heunen, Robin Kaarsgaard and Amr Sabry. The Quantum Effect: a recipe for QuantumPi. [slides]
  • Pablo Arrighi, Amélia Durbec and Matt Wilson. Generalized tensors and partial traces over quantum networks.
  • Chris Heunen and Nesta van der Schaaf. Ordered locales. [slides]

15:30 – 16:00 Break

16:00 – 17:00 Poster Session 3

• Room Cafeteria.
  • Rui Soares Barbosa, Aziz Kharoof and Cihan Okay. A bundle perspective on contextuality: Empirical models and simplicial distributions on bundle scenarios.
  • Victor Gitton and Mischa Woods. On the system loophole of generalized noncontextuality.
  • Nicolò Cangiotti and Alessandro Linzi. On the deep connection between hyperstructures and quantum logic. [poster]
  • Raphaël Mothe, Alastair Abbott and Cyril Branciard. Formalizing the notion of dynamical causal order for quantum circuits with quantum control.
  • Carla Ferradini, Victor Gitton, Giulia Mazzola and V. Vilasini. Tensor network techniques for quantum causal structures and holography.
  • Kostia Chardonnet, Marc de Visme, Renaud Vilmart and Benoît Valiron. The Many-Worlds Calculus..

    17:00 – 18:00 Poster Session 4

• Room Cafeteria.
  • Tomoaki Kawano. Abstract Model and Deduction System for Dynamic Epistemic Quantum Logic.
  • Luca Mondada and Pablo Andrés-Martínez. Fast Pattern Matching for Diagram Rewriting.
  • Amy Searle, Rui Soares Barbosa and Samson Abramsky. Temporal correlations with bounded lookback memory in the sheaf-theoretic framework.
  • Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux and Mário Silva. Light types and polynomial time for quantum lambda-calculi.
  • Vitor Fernandes, Renato Neves and Luís Soares Barbosa. Towards Quantum Concurrency.
  • Michael Zurel, Cihan Okay and Robert Raussendorf. Simulating quantum computation with magic states - How many bits for it?.
  • Raman Choudhary and Rui Soares Barbosa. Contextuality with Pauli observables in cycle scenarios.
  • Christopher Langrenez, Stephan De Bièvre and David Arvidsson-Shukur. Characterizing the Kirkwood-Dirac (non)classical states.

Wednesday

09:00 – 10:00 Plenary Session 3

• Room Hermite. Session chair: Vladimir Zamdzhiev.
  • Chris Heunen, Andre Kornell and Nesta van der Schaaf. Axioms for the category of Hilbert spaces and linear contractions. [slides]
  • Samson Abramsky and Rui Soares Barbosa. Contextuality in logical form: duality for transitive partial CABAs.

10:00 – 10:30 Break

10:30 – 12:00 Parallel Session 5

• Room Hermite: Contextuality. Session chair: Rui Soares Barbosa.
  • Beata Zjawin, David Schmid, Matty Hoban and Ana Belén Sainz. Quantifying EPR: the resource theory of nonclassicality of common-cause assemblages. [slides]
  • Kin Ian Lo, Mehrnoosh Sadrzadeh and Shane Mansfield. Generalised Winograd Schema and its Contextuality. [slides]
  • Lorenzo Catani, Ricardo Faleiro, Pierre-Emmanuel Emeriau, Shane Mansfield and Anna Pappa. Connecting XOR and XOR* games.
• Room Darboux: Uncertainy and Thermodynamics. Session chair: Mio Murao.
  • Yunlong Xiao, Yuxiang Yang, Ximing Wang, Qing Liu and Mile Gu. Quantum Uncertainty Principles for Measurements with Interventions. Remote Presentation.
  • Yunlong Xiao, Gaurav Saxena, Ryuji Takagi, Sarvagya Upadhyay and Mile Gu. The Dynamical Uncertainty Principle Determines the Programmability of Quantum Processors. Remote Presentation.
  • Thomas Theurer, Elia Zanoni, Carlo Maria Scandolo and Gilad Gour. Thermodynamic state convertibility is determined by qubit cooling and heating.

12:00 – 14:00 Lunch

14:00 – 15:30 Parallel Session 6

• Room Hermite: Circuits and Rewriting. Session chair: Konstantinos Meichanetzidis.
  • Matthew Amy. Complete equational theories for the sum-over-paths with unbalanced amplitudes.
  • Xiaoning Bian and Peter Selinger. Generators and relations for 3-qubit Clifford+CS operators.
  • Vivien Vandaele, Simon Martiel, Simon Perdrix and Christophe Vuillot. Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences.
• Room Darboux: Foundations. Session chair: Matthew Wilson.
  • Sebastian Horvat and Iulian Danut Toader. Quantum logic and meaning.
  • Howard Barnum, Matthew Graydon and Alexander Wilce. Locally Tomographic Shadows. [slides]
  • Nick Ormrod, V. Vilasini and Jonathan Barrett. Which theories have a measurement problem?

15:30 – 16:00 Break

Thursday

09:00 – 10:00 Plenary Session 4

• Room Hermite. Session chair: Titouan Carette.
  • 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. [slides]
  • Alexandre Clément, Noé Delorme, Simon Perdrix and Renaud Vilmart. Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace. [slides]

10:00 – 10:30 Break

10:30 – 12:00 Parallel Session 7

• Room Hermite: Contextuality. Session chair: Pierre-Emmanuel Emeriau.
  • Nuriya Nurgalieva and V. Vilasini. Multi-agent logical paradoxes and contextuality. [slides]
  • Vinicius P. Rossi, David Schmid, John H. Selby and Ana Belén Sainz. Contextuality with vanishing coherence and maximal robustness to dephasing. [slides]
  • Rafael Wagner, Rui Soares Barbosa and Ernesto F. Galvão. Inequalities witnessing coherence, nonlocality, and contextuality. [slides]
• Room Darboux: Entanglement. Session chair: Stefano Gogioso.
  • Anita Buckley and Klemen Sivic. New entanglement witnesses and entangled states. [slides]
  • Anindita Bera, Giovanni Scala, Gniewkomir Sarbicki and Dariusz Chruściński. Generalizing Choi map in M_3 beyond circulant scenario.
  • Seungbeom Chin, Yong-Su Kim, Marcin Karczewski and Sangmin Lee. Graph approach to generate multipartite entanglement with linear quantum networks. [slides]

12:00 – 14:00 Lunch

14:00 – 15:30 Parallel Session 8

• Room Hermite: Diagrammatic Calculi. Session chair: Aleks Kissinger.
  • Patrick Roy, John van de Wetering and Lia Yeh. The qudit ZH-calculus: generalised Toffoli+Hadamard and universality. [slides]
  • Giovanni de Felice, Razin Shaikh, Boldizsar Poor, Lia Yeh, Quanlong Wang and Bob Coecke. Light-matter rewriting in the ZXW calculus. [slides]
  • Titouan Carette, Timothée Hoffreumon, Émile Larroque and Renaud Vilmart. Complete Graphical Language for Hermiticity-Preserving Superoperators.
• Room Darboux: Quantum Computation. Session chair: Ulysse Chabaud.
  • Satoshi Yoshida, Akihito Soeda and Mio Murao. Universal, deterministic, and exact protocol to reverse qubit-unitary and qubit-encoding isometry operations. [slides]
  • Michael Zurel, Lawrence Cohen and Robert Raussendorf. Simulation of quantum computation with magic states via Jordan-Wigner transformations.
  • Filipa Peres. The Pauli-based model of quantum computation with higher dimensional systems.

15:30 – 16:00 Break

16:00 – 17:00 Industry Session

• Room Hermite. Session chair: Simon Martiel.
  • Quandela (40 minutes)
  • Quantinuum (20 minutes)

19:00 – 22:00 Conference Dinner

The conference dinner will take place at “Les Belles Plantes” located at 47 Rue Cuvier. It is a short walk (approximately 15 minutes) from the conference venue. The dinner will be vegetarian with vegan options available upon request.

Friday

09:00 – 10:00 Plenary Session 5

• Room Hermite. Session chair: Benoît Valiron.
  • 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. [slides]
  • Matt Wilson, Giulio Chiribella and Aleks Kissinger. Quantum Supermaps are Characterised by Locality. [slides]

10:00 – 10:30 Break

10:30 – 12:00 Parallel Session 9

• Room Hermite: Error-correction. Session chair: Renaud Vilmart.
  • Alex Townsend-Teague, Julio Magdalena de la Fuente and Markus Kesselring. Re-Implementing Stabilizer Codes as Floquet Codes.
  • Cole Comfort. The Algebra of Stabilizer Codes. [slides]
  • Jiaxin Huang, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca and Michael Vasmer. Graphical CSS Code Transformation Using ZX Calculus.
• Room Darboux: Information and Disturbance. Session chair: Ravi Kunjwal.
  • Gilad Gour, Mark Wilde, Sam Brandsen and Isabelle Geng. Inevitability of knowing less than nothing. Remote Presentation.
  • Leevi Leppäjärvi and Michal Sedlák. Incompatibility of quantum instruments.
  • Leonardo Vaglini, Alessandro Tosini and Paolo Perinotti. Information content of a source in post-quantum theories.

12:00 – 14:00 Lunch

14:00 – 15:00 Parallel Session 10

• Room Hermite: Diagrammatic Calculi. Session chair: Simon Perdrix.
  • 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. [slides]
  • Tommy McElvanney and Miriam Backens. Flow-preserving ZX-calculus rewrite rules for optimisation and obfuscation. [slides]
• Room Darboux: Clocks and Spacetime. Session chair: Hlér Kristjánsson.
  • Caroline Jones, Stefan Ludescher, Albert Aloy and Markus Müller. Theory-independent randomness generation with spacetime symmetries.
  • Nuriya Nurgalieva, Ralph Silva and Renato Renner. Reconstructing the waiting time of a clock using the simplest possible reference. [slides]

15:00 – 15:30 Break

15:30 – 17:00 Software Session

• Room Hermite: Software Tools. Session chair: John van de Wetering.
  • 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. [slides (html)] [Jupyer notebook]
  • 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.

17:00 – 18:00 QPL General Meeting

• Room Hermite
  • Discussion about QPL organisation. [slides]

Diamond Sponsor

Gold Sponsor

Silver Sponsor

Organisational Support and Funding