Quick Navigation

Overview Topics Abstract Importance Paper Tools References Reactions Discussion Publication Related

Topics

Quantum Foundations

The Logic of Quantum Programs

arXiv

Authors: Alexandru Baltag, Sonja Smets

Year

2021

Paper ID

61562

Status

Preprint

Abstract Read

~2 min

Abstract Words

Citations

N/A

Abstract

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various linear operators. As an example we sketch an analysis of the teleportation protocol.

Why This Paper Matters

This paper contributes to the Quantum Foundations research area in the Quantum Articles archive.
It adds a 2021 reference point for readers tracking recent quantum research.
We present a logical calculus for reasoning about information flow in quantum programs.

Paper Tools

Become a member to use research tools

Sign in to open papers, visit source links, share, cite, compare, copy DOI links, request category corrections, and build your reading list.

Become a member Sign in

Show Paper arXiv Publisher Share Cite This Paper Copy URL Compare Copy DOI Add to Reading List Category Correction Request

References & Citation Signals

[1] DOI https://doi.org/arXiv:2109.06792 [2] arXiv https://arxiv.org/abs/2109.06792 [3] Publisher https://arxiv.org/abs/2109.06792

Local Citation Graph (Related-Paper Links)

External citation index: OpenAlex citation signal

Community Reactions

Quick sentiment from readers on this paper.

Score: 0

Likes: 0 Dislikes: 0

Discussion & Reviews (Moderated)

Average Rating: 0.0 / 5 (0 ratings)

No written reviews yet.