Concrete Categorical Model of a Quantum Circuit Description Language with Measurement - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

Résumé

In this paper, we introduce dynamic lifting to a quantum circuit-description language, following the Proto-Quipper language approach. Dynamic lifting allows programs to transfer the result of measuring quantum data - qubits - into classical data - booleans -. We propose a type system and an operational semantics for the language and we state safety properties. Next, we introduce a concrete categorical semantics for the proposed language, basing our approach on a recent model from Rios&Selinger for Proto-Quipper-M. Our approach is to construct on top of a concrete category of circuits with measurements a Kleisli category, capturing as a side effect the action of retrieving classical content out of a quantum memory. We then show a soundness result for this semantics.

Dates et versions

hal-03553904 , version 1 (03-02-2022)

Identifiants

Citer

Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu. Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), 2021, Online, India. pp.51:1--51:20, ⟨10.4230/LIPIcs.FSTTCS.2021.51⟩. ⟨hal-03553904⟩
46 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More