POPL 2026 (series) / PLanQC 2026 (series) / PLanQC 2026 / Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
Compiling Quantum Lambda-Terms into Circuits via the Geometry of InteractionTalk
This program is tentative and subject to change.
We present an algorithm turning any term of a linear quantum $\lambda$-calculus into a quantum circuit. The essential ingredient behind the proposed algorithm is Girard’s geometry of interaction, which, differently from its well-known uses from the literature, is here leveraged to perform as much of the \emph{classical} computation as possible, while producing a circuit that, when executed, performs all the \emph{quantum} operations in the underlying $\lambda$-term. Noticeably, we identify a class of terms which can be compiled without an exponential blowup, which is encountered when using plain operational semantics.
| Extended Abstract (planqc26-paper13.pdf) | 437KiB |
This program is tentative and subject to change.
Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
16:00 - 17:30 | |||
16:00 30m | Poster SessionPoster PLanQC | ||
16:30 20mTalk | Compiling Quantum Lambda-Terms into Circuits via the Geometry of InteractionTalk PLanQC Kostia Chardonnet Université de Lorraine, CNRS, Inria, LORIA, Ugo Dal Lago University of Bologna; Centre Inria d’Université Côte d’Azur, Naohiko Hoshino Sojo University, Paolo Pistone Université Claude Bernard Lyon 1 File Attached | ||
16:50 20mTalk | Towards a Hierarchical Quantum Circuit LanguageTalk PLanQC File Attached | ||
17:10 20mTalk | Denotational semantics for stabiliser quantum programsTalk PLanQC File Attached | ||