Pith. sign in

REVIEW 1 cited by

A graphical approach to measurement-based quantum computing

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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 1203.6242 v1 pith:SOBHP72Z submitted 2012-03-28 quant-ph cs.LOmath.CT

Ross Duncan This is my paper · ORCID
classification quant-phcs.LOmath.CT
keywords quantumgraphicalcomputationscomputingentangledmeasurement-basedstatesapproach
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Quantum computations are easily represented in the graphical notation known as the ZX-calculus, a.k.a. the red-green calculus. We demonstrate its use in reasoning about measurement-based quantum computing, where the graphical syntax directly captures the structure of the entangled states used to represent computations, and show that the notion of information flow within the entangled states gives rise to rewriting strategies for proving the correctness of quantum programs.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Graphical Calculus for Fermionic Tensors

    quant-ph 2025-08 conditional novelty 6.0 of 10

    A parity-aware graphical calculus extends the ZX diagram language to fermionic modes, covering Gaussian states, partial traces, purification, fermionization/bosonization, and fermionic error-correcting codes.

Pith tools