QPL 2020 - Schedule

Schedule

The schedule for QPL20 is as follows. You can also consult MFPS schedule here.

For convenience, here is a playlist of talks that are currently hooked-up, ordered chronologically.

UTC+2 (24 hour clock)	Tue 02/06	Wed 03/06	Thu 04/06	Fri 05/06	Sat 06/06
10.00 - 11.00	Plenary speaker #1 Lídia del Rio	Plenary speaker #2 John Selby	Plenary speaker #3 Alexandre Miquel	Plenary speaker #4 Cyril Branciard	Plenary speaker #5 Quanlong Wang
11.00 - 11.30
11.30 - 13.00	Session #1 Causality	Session #4 GPT 1	MFPS joint session	Session #10 QC 1	Session #13 ZX 1
13.00 - 14.30
14.30 - 16.00	Session #2 Games	Session #5 GPT + / NLP	Session #8 Logic	Session #11 QC 2	Session #14 Formalism
16.00 - 16.30
16.30 - 18.00	Session #3 Foundations	Session #6 NLP	Session #9 Doms/Types	Session #12 Contexts	Session #15 ZX 2

The Slack channel to the talk is

You can try this link to open it automatically in Slack. Sometimes however it fails: you can then simply open the channel manually in you Slack interface.

Tuesday

10:00 - 11:00 Plenary Speaker #1 Chair: Pablo Arrighi

Lídia del Rio. Contextuality without access to a tomographically complete set #qpl-plenary1-delrio youtube link

Joint work with Matthew F. Pusey and Bettina Meyer, arXiv:1904.08699.

The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to contextuality due to Spekkens requires finding operationally equivalent preparation procedures. Previously these have been obtained by demanding indistinguishability under a set of measurements taken to be tomographically complete. In the language of generalised probability theories, this requires the ability to explore all the dimensions of the system's state space. However, if the true tomographically complete set is larger than the set assumed, the extra measurements could break the operational equivalences and hence eliminate the putative contextuality. Such extra dimensions could arise in post-quantum theories, but even if quantum theory is exact there can be unexpected degrees of freedoms due to imperfections in an experiment. Here we design tests of contextuality that are immune to this effect for a given number of extra measurements in the tomographically complete set, even if nothing is known about their statistics. This allows contextuality to be demonstrated with weaker assumptions.

11:30 - 13:00 Session #1 (Causality) Chair: Pablo Arrighi

11:30: Ämin Baumeler and Eleftherios Tselentis. Equivalence of grandfather and information antinomy under intervention #qpl-session01-talk1-tselentis youtube link pdf
12:00: Timothée Hoffreumon and Ognyan Oreshkov. The multi-round process matrix #qpl-session01-talk2-hoffreumon youtube link pdf
12:30: V. Vilasini, Lídia Del Rio and Renato Renner. Causality in definite and indefinite space-times #qpl-session01-talk3-vilasini youtube link pdf

14:30 - 16:00 Session #2 (Games) Chair: Benoît Valiron

14:30: Pierre-Emmanuel Emeriau, Mark Howard and Shane Mansfield. The Torpedo Game: Quantum Advantage, Wigner Negativity, and Sequential Contextuality in a Generalised Random Access Code #qpl-session02-talk1-emeriau youtube link pdf
15:00: Sebastian Horvat and Borivoje Dakić. Interference as an information-theoretic game #qpl-session02-talk2-horvat youtube link pdf
15:30: Shiv Akshar Yadavalli and Ravi Kunjwal. Contextual advantage for noisy one-shot classical communication assisted by entanglement #qpl-session02-talk3-yadavalli youtube link pdf

16:30 - 18:00 Session #3 (Foundations) Chair: Shane Mansfield

16:30: Ana Belén Sainz, Matthew Hoban, Paul Skrzypczyk and Leandro Aolita. Bipartite post-quantum steering in generalised scenarios #qpl-session03-talk1-sainz youtube link pdf
17:00: David Schmid, Denis Rosset and Francesco Buscemi. Quantifying Bell nonclassicality across arbitrary resource types #qpl-session03-talk2-schmid youtube link pdf
17:30: Lorenzo Catani and Matthew Leifer. A mathematical framework for operational fine tunings #qpl-session03-talk3-catani youtube link pdf

Wednesday

10:00 - 11:00 Plenary Speaker #2 Chair: Benoît Valiron

John Selby. Unscrambling the Quantum Omelette #qpl-plenary3-selby youtube link

In this talk I will introduce some recent work I've been doing with David Schmid and Rob Spekkens in which we introduce a framework for describing general physical theories. Yes, another one, so, why should you care? Three reasons: i) its about omelettes and the talk is in the breakfast slot (there's a prize for whoever cooks the best omelette during the talk) ii) its full of diagrams but now with two arrows to argue about the direction of (note that the correct way is causal arrow bottom ⟶ top, inferential arrow left ⟶ right) iii) it provides insight into the nonclassicality of Nature and how to disentangle notions of causation and inference in quantum theory

11:30 - 13:00 Session #4 (GPT 1) Chair: Ana Belén Sainz

11:30: Thomas Galley and Lluis Masanes. How dynamics constrains probabilities in general probabilistic theories #qpl-session04-talk1-galley youtube link pdf
12:00: Hlér Kristjánsson, Sina Salek, Daniel Ebler, Matthew Wilson and Giulio Chiribella. Resource theories of communication with quantum superpositions of processes #qpl-session04-talk2-kristjansson youtube link pdf
12:30: James Hefford and Stefano Gogioso. Hyper-decoherence in Density Hypercubes #qpl-session04-talk3-hefford youtube link pdf

14:30 - 16:00 Session #5 (GPT +) Chair: Matty Hoban

14:30: Nicola Pinzani and Stefano Gogioso. Giving Operational Meaning to the Superposition of Causal Orders #qpl-session05-talk1-pinzani youtube link pdf
15:00: Matthew Wilson and Giulio Chiribella. A Diagrammatic Approach to Information Transmission in Generalised Switches #qpl-session05-talk2-wilson youtube link pdf
15:30: Bob Coecke and Konstantinos Meichanetzidis. Meaning updating of density matrices #qpl-session05-talk3-coecke youtube link to Bob's VERY LIVE talk pdf

16:30 - 18:00 Session #6 (NLP) Chair: Aleks Kissinger

16:30: Adriana Correia, Henk Stoof and Michael Moortgat. Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications #qpl-session06-talk1-correia youtube link pdf
17:00: Sanjaye Ramgoolam, Mehrnoosh Sadrzadeh and Lewis Sword. Gaussianity and typicality in matrix distributional semantics #qpl-session06-talk2-ramgoolam youtube link pdf
17:30: Konstantinos Meichanetzidis, Stefano Gogioso, Nicolò Chiappori, Giovanni De Felice, Alexis Toumi and Bob Coecke. QNLP on Near-Term Quantum Computers #qpl-session06-talk3-meichanetzidis youtube link pdf

Thursday

10:00 - 11:00 QPL/MFPS 2020 Joint Plenary Speaker Chair: Aleks Kissinger

Alexandre Miquel. Realizability for designing type systems #joint-session-plenary-miquel youtube link

11:30 - 13:00 QPL/MFPS 2020 Joint Session Chair: Aleks Kissinger

11:30

Pierre Clairambault. Quantum Game Semantics #joint-session-talk1-clairambault youtube link

In recent work, we have developed a setting for game semantics for quantum programming languages, focusing in particular on Selinger and Valiron's quantum lambda-calculus, a simply-typed lambda-calculus augmented with primitives for manipulating quantum data. With de Visme and Winskel, we have constructed an adequate games model of the quantum lambda-calculus. Subsequently, with de Visme we proved that (a quotient of) the model is fully abstract and linked it with Pagani, Selinger and Valiron's 2014 denotational model for the quantum lambda-calculus -- establishing that this model was fully abstract, too.

In this talk, I will give a synthetic presentation of this line of work.

Firstly, I will present (a simplified version) of our game semantics for the quantum lambda-calculus, obtained by enriching game semantics for a classical call-by-value lambda-calculus with weights taken from the category of finite dimensional Hilbert spaces and completely positive maps.

Then, time permitting I will present some of the steps required to prove full abstraction for the quantum lambda-calculus, drawing inspiration from the proof method behind Ehrhard, Pagani and Tasson's result that probabilistic coherence spaces are fully abstract for probabilistic PCF.

12:00

Claudia Faggian. Parallelism and Asymptotic Computation. On the operational theory of probabilistic and quantum higher-order computation. #joint-session-talk2-faggian youtube link

We revisit two recent approaches to modeling probabilistic and quantum higher-order computation in a setting which allows for parallelism, via Geometry of Interaction and via λ-calculus. Two difficulties arise when evaluation is not sequential, one related with confluence, the other with the fact that the computation is not finitary, as the result of computation appears as a limit.

We propose a general setting and tools to deal with these challenges.

One observation underlie this talk. On the one hand, higher-order functional programs are inherently parallel, and λ-calculus has a rich operational theory which supports program transformations, optimizations, and parallel or distributed implementation. On the other hand, the operational theory of probabilistic and quantum computation is much less understood.

12:30

Vladimir Zamdzhiev. Inductive and Recursive Types for Quantum Programming #joint-session-talk3-zamdzhiev youtube link

Inductive data types in a programming language allow users to define useful data structures such as natural numbers, lists, trees and others. Recursive types provide a greater range of admissible type expressions in higher-order languages and they can be used to implement lazy data types (such as streams) and even term-level recursion in call-by-value languages. In this talk I will discuss both inductive and recursive types in the context of quantum programming with a focus on their operational and denotational semantics.

14:30 - 16:00 Session #8 (Logic) Chair: Alejandro Díaz-Caro

14:30: Masanao Ozawa. Quantum Set Theories Satisfying Both the Transfer Principle and De Morgan's Laws #qpl-session08-talk1-ozawa youtube link pdf
15:00: Samson Abramsky and Rui Soares Barbosa. Partial boolean algebras and the logical exclusivity principle #qpl-session08-talk2-barbosa youtube link pdf
15:30: Andre Kornell. Quantum predicate logic with equality #qpl-session08-talk3-kornell youtube link pdf

16:30 - 18:00 Session #9 (Domain/Type) Chair: Vladimir Zamdzhiev

16:30: Andre Kornell, Bert Lindenhovius and Michael Mislove. Quantum CPOs #qpl-session09-talk1-lindenhovius youtube link pdf
17:00: Robert Rand, Aarthi Sundaram, Kartik Singhal and Brad Lackey. Gottesman Types for Quantum Programs #qpl-session09-talk2-rand youtube link pdf
17:30: Kartik Singhal and John Reppy. Quantum Hoare Type Theory #qpl-session09-talk3-kartik youtube link pdf

Friday

10:00 - 11:00 Plenary Speaker #4 Chair: Shane Mansfield

Cyril Branciard. Quantum circuits with classical versus quantum control of causal orders #qpl-plenary4-branciard youtube link

A standard model for quantum computers is that of quantum circuits, where quantum gates are applied to some quantum systems one after the other, in a well-defined order. It has however been realized in the last decade that quantum theory also allows for quantum operations to be applied in some indefinite order: the paradigmatic example being the so-called « quantum switch », where the state of a « control qubit » controls the order of two operations applied on a « target system ». Here we generalize the idea of the quantum switch; we describe and characterize new classes of quantum circuits, with both classical and quantum control of causal orders. This allows us to investigate new types of quantum processes with indefinite causal order and their potential applications, beyond the quantum switch.

11:30 - 13:00 Session #10 (QC 1) Chair: Stefano Gogioso

11:30: Robert Booth and Damian Markham. Flow Conditions for Continuous Variable Measurement-based Quantum Computing #qpl-session10-talk1-booth youtube link pdf
12:00: Arianne Meijer - van de Griend and Ross Duncan. Architecture-aware synthesis of phase polynomials for NISQ devices #qpl-session10-talk2-meijer youtube link pdf
12:30: Michal Sedlak and Mario Ziman. Perfect probabilistic storage and retrieval of phase gates #qpl-session10-talk3-sedlak youtube link pdf

14:30 - 16:00 Session #11 (QC 2) Chair: Peter Selinger

14:30: Hector Miller-Bakewell, Miriam Backens, Giovanni de Felice, John van de Wetering and Leo Lobski. There and back again: A circuit extraction tale #qpl-session11-talk1-lobski youtube link pdf
15:00: Konstantinos Meichanetzidis, Aleks Kissinger and Niel de Beaudrap. Tensor Network Rewriting Strategies for Satisfiability and Counting #qpl-session11-talk2-meichanetzidis youtube link pdf
15:30: Matthew Amy, Andrew N. Glaudell and Neil J. Ross. Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits #qpl-session11-talk3-ross youtube link pdf

16:30 - 18:00 Session #12 (Contexts) Chair: Shane Mansfield

16:30: Nikola Andrejić and Ravi Kunjwal. Joint measurability structures realizable with qubit measurements: incompatibility via marginal surgery #qpl-session12-talk1-andrejic youtube link pdf
17:00: Farid Shahandeh. Contextuality of general probabilistic theories #qpl-session12-talk2-shahandeh youtube link pdf
17:30: Mehdi Mhalla and Sacha Huriot. Contextuality and Expressivity of Non-locality #qpl-session12-talk3-huriot youtube link pdf

Saturday

10:00 - 11:00 Plenary Speaker #5 Chair: Benoît Valiron

Quanlong Wang. Enter a visual era: process theory embodied in ZX-calculus #qpl-plenary5-wang youtube link

11:30 - 13:00 Session #13 (ZX 1) Chair: Miriam Backens

11:30: Niel de Beaudrap. Well-tempered ZX and ZH calculi #qpl-session13-talk1-debeaudrap youtube link pdf
12:00: Titouan Carette, Simon Perdrix and Dominic Horsman. SZX-calculus: Scalable Graphical Quantum Reasoning #qpl-session13-talk2-carette youtube link pdf
12:30: Quanlong Wang. An algebraic axiomatisation of ZX-calculus [Video to come soon] #qpl-session13-talk3-wang pdf

14:30 - 16:00 Session #14 (Mathematical Formalism) Chair: TBA

14:30: Kenta Cho, Bas Westerbaan and John van de Wetering. Dichotomy between deterministic and probabilistic models in countably additive effectus theory #qpl-session14-talk1-vandewetering youtube link pdf
15:00: Jan Paseka and Thomas Vetterlein. Hilbert spaces reduced to their orthogonality relation #qpl-session14-talk2-vetterlein youtube link pdf
15:30: Laurent Poinsot. Hilbertian Frobenius algebras (Extended Abstract) #qpl-session14-talk3-poinsot youtube link pdf

16:30 - 18:00 Session #15 (ZX 2) Chair: Ross Duncan

16:30: Anthony Munson, Bob Coecke and Quanlong Wang. AND-gates in ZX-calculus: spider nest identities and QBC-completeness #qpl-session15-talk1-wang youtube link pdf
17:00: Louis Lemonnier, Aleks Kissinger and John van de Wetering. Hypergraph simplification: Linking the path-sum approach to the ZH-calculus #qpl-session15-talk2-lemonnier youtube link pdf
17:30: Cole Comfort. The ZX& calculus: A complete graphical calculus for classical circuits using spiders #qpl-session15-talk3-comfort youtube link pdf