Schreiber Quantum Language via Linear Homotopy Types

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

A mini-course:

Course notes:

  • download: pdf

Video recordings:

Based on:

[1] The Quantum Monadology [arXiv:2310.15735]

[2] Entanglement of Sections [arXiv:2309.07245]

[3] Engineering of Anyons on M5s [arXiv:2501.17927]

Abstract. It is well-appreciated that (intuitionistic but otherwise) classical (functional, programming) language is essentially the internal logic to cartesian closed categories (of data types), in particular to (higher) toposes — and that epistemology and other modality expressing physical observations and effects are reflected by (idempotent) co/monads on these categories.

In the course we explore how this classical situation naturally extends to subsume quantum logic of quantum systems controlled and measured by classical observers:

Here doubly closed monoidal categories (of entangled quantum data types parameterized by classical data), such as higher tangent toposes, reflect in their linear slices the substructural (no-deleting/no-cloning) quantum coherence, while their base change co/monads between linear slices turn out to know everything about decoherent quantum measurement (wave function collapse), including the ancient Born rule as well as contemporary spider-fusion in ZX-calculus string diagrams.

For example, the infamous quantum measurement paradox resolves in the internal logic to the deferred measurement principle which obtains a rigorous proof as the Kleisli equivalence of the quantum necessity modality.

We close with application of this general theory to the concrete question of operating quantum-gates and -measurement on anyonic topological order in fractional quantum Hall systems.


Related talks:




Last revised on March 10, 2025 at 04:15:48. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionChanges from previous revisionHistory (18 revisions) Print Source