Pith. sign in

REVIEW 2 cited by

Quantum circuits with classical channels and the principle of deferred measurements

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2107.08324 v1 pith:U7NYK7IE submitted 2021-07-17 quant-ph cs.ITcs.LOmath-phmath.ITmath.MP

classification quant-phcs.ITcs.LOmath-phmath.ITmath.MP
keywords quantumcircuitschannelsclassicaldeferreddefinemeasurementmeasurements
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We define syntax and semantics of quantum circuits, allowing measurement gates and classical channels. We define circuit-based quantum algorithms and prove that, semantically, any such algorithm is equivalent to a single measurement that depends only on the underlying quantum circuit. Finally, we use our formalization of quantum circuits to state precisely and prove the principle of deferred measurements.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Complexity and multi-functional variants of the Quantum-to-Quantum Bernoulli Factories

    quant-ph 2025-12 conditional novelty 7.0 of 10

    Quantum-to-quantum Bernoulli factories implement exactly rational functions; the minimum qubit count equals the function degree, and optimal circuits and a closed-form success probability are given.

  2. Entanglement groups for mixed states

    quant-ph 2025-07 conditional novelty 7.0 of 10

    For mixed quantum states, entanglement can be characterized by a quotient group of local unitary stabilizers of the density matrix, and any nontriviality for separable states must come from multipartite entanglement w...

Pith tools