Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

10/06/2021
by   Dongho Lee, et al.
0

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.

READ FULL TEXT

Authors

page 3

page 7

page 9

page 11

page 13

page 15

page 17

page 18

04/27/2022

Proto-Quipper with dynamic lifting

Quipper is a functional programming language for quantum computing. Prot...
11/14/2017

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

We describe categorical models of a circuit-based (quantum) functional p...
07/02/2021

Formal Semantics of a Classical-Quantum Language

We investigate the formal semantics of a simple imperative language that...
02/15/2022

On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)

In the realm of quantum computing, circuit description languages represe...
06/08/2017

A categorical model for a quantum circuit description language

Quipper is a practical programming language for describing families of q...
04/27/2022

A biset-enriched categorical model for Proto-Quipper with dynamic lifting

Quipper and Proto-Quipper are a family of quantum programming languages ...
12/13/2021

Composable constraints

We introduce a notion of compatibility between constraint encoding and c...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.