Quick Navigation

Overview Topics Abstract Importance Paper Tools References Reactions Discussion Publication Related

Topics

Quantum Simulation Open Quantum Systems Decoherence Entanglement Theory Quantum Correlations Quantum State Preparation Representation

Total and Partial Computation in Categorical Quantum Foundations

arXiv
Authors: Kenta Cho

Year

2015

Paper ID

26294

Status

Preprint

Abstract Read

~2 min

Abstract Words

111

Citations

N/A

Abstract

This paper uncovers the fundamental relationship between total and partial computation in the form of an equivalence of certain categories. This equivalence involves on the one hand effectuses, which are categories for total computation, introduced by Jacobs for the study of quantum/effect logic. On the other hand, it involves what we call FinPACs with effects; they are finitely partially additive categories equipped with effect algebra structures, serving as categories for partial computation. It turns out that the Kleisli category of the lift monad (-)+1 on an effectus is always a FinPAC with effects, and this construction gives rise to the equivalence. Additionally, state-and-effect triangles over FinPACs with effects are presented.

Why This Paper Matters

  • This paper contributes to the Quantum Simulation research area in the Quantum Articles archive.
  • It adds a 2015 reference point for readers tracking recent quantum research.
  • This paper uncovers the fundamental relationship between total and partial computation in the form of an equivalence of certain categories.

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:1511.01569 [2] arXiv https://arxiv.org/abs/1511.01569 [3] Publisher https://arxiv.org/abs/1511.01569

Local Citation Graph (Related-Paper Links)

Current Paper #26294 #78846 Analog quantum simulation of Sh... #78810 Secure Quantum Handshakes: Quan... #78802 Quantum Co-Design of Inhomogene... #78801 Constructing Large and Structur...

External citation index: OpenAlex citation signal

Community Reactions

Quick sentiment from readers on this paper.

Score: 0
Likes: 0 Dislikes: 0

Sign in to react to this paper.

Discussion & Reviews (Moderated)

Average Rating: 0.0 / 5 (0 ratings)

No written reviews yet.