Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

by   Dongho Lee, et al.

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.



page 3

page 7

page 9

page 11

page 13

page 15

page 17

page 18


Proto-Quipper with dynamic lifting

Quipper is a functional programming language for quantum computing. Prot...

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

We describe categorical models of a circuit-based (quantum) functional p...

Formal Semantics of a Classical-Quantum Language

We investigate the formal semantics of a simple imperative language that...

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

In the realm of quantum computing, circuit description languages represe...

A categorical model for a quantum circuit description language

Quipper is a practical programming language for describing families of q...

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

Quipper and Proto-Quipper are a family of quantum programming languages ...

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.