Quick Navigation

Overview Topics Abstract Importance Paper Tools References Reactions Discussion Publication

Topics

Quantum Error Correction Fault Tolerance

Linear Logic and Quantum Error Correcting Codes

arXiv
Authors: Daniel Murfet, William Troiani

Year

2024

Paper ID

67163

Status

Preprint

Abstract Read

~2 min

Abstract Words

35

Citations

N/A

Abstract

We develop a point of view on reduction of multiplicative proof nets based on quantum error-correcting codes. To each proof net we associate a code, in such a way that cut-elimination corresponds to error correction.

Why This Paper Matters

  • This paper contributes to the Quantum Error Correction & Fault Tolerance research area in the Quantum Articles archive.
  • It adds a 2024 reference point for readers tracking recent quantum research.
  • We develop a point of view on reduction of multiplicative proof nets based on quantum error-correcting codes.

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

Local Citation Graph (Related-Paper Links)

Current Paper #67163

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.