Communication Dans Un Congrès Année : 2025

Combining quantum and classical control: syntax, semantics and adequacy

Résumé

The two main notions of control in quantum programming languages are often referred to as “quantum” control and “classical” control. With the latter, the control flow is based on classical information, potentially resulting from a quantum measurement, and this paradigm is well-suited to mixed state quantum computation. Whereas with quantum control, we are primarily focused on pure quantum computation and there the “control” is based on superposition. The two paradigms have not mixed well traditionally and they are almost always treated separately. In this work, we show that the paradigms may be combined within the same system. The key ingredients for achieving this are: (1) syntactically: a modality for incorporating pure quantum types into a mixed state quantum type system; (2) operationally: an adaptation of the notion of “quantum configuration” from quantum lambda-calculi, where the quantum data is replaced with pure quantum primitives; (3) denotationally: suitable (sub)categories of Hilbert spaces, for pure computation and von Neumann algebras, for mixed state computation in the Heisenberg picture of quantum mechanics.

Fichier principal
Vignette du fichier
combining-control-fossacs.pdf (819.23 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05093249 , version 1 (02-06-2025)

Licence

Identifiants

Citer

Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev. Combining quantum and classical control: syntax, semantics and adequacy. FoSSaCS 2025 - 28th International Conference on Foundations of Software Science and Computation Structures, May 2025, Hamilton, Canada. pp.155-175, ⟨10.1007/978-3-031-90897-2_8⟩. ⟨hal-05093249⟩
637 Consultations
283 Téléchargements

Altmetric

Partager

  • More