REVIEW 5 cited by
PyZX: Large Scale Automated Diagrammatic Reasoning
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
PyZX: Large Scale Automated Diagrammatic Reasoning
read the original abstract
The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits. Using the ZX-calculus, we can intuitively reason about quantum theory, and optimise and validate quantum circuits. In this paper we introduce PyZX, an open source library for automated reasoning with large ZX-diagrams. We give a brief introduction to the ZX-calculus, then show how PyZX implements methods for circuit optimisation, equality validation, and visualisation and how it can be used in tandem with other software. We end with a set of challenges that when solved would enhance the utility of automated diagrammatic reasoning.
Forward citations
Cited by 5 Pith papers
-
Infrared Safety from ZX-Diagrams: A Categorical Proof of Soft-QED as Open Quantum System
Discard ZX-calculus yields a categorical proof of Bloch-Nordsieck cancellation in soft QED by reducing the influence functional normalization to a single wire identity under unitarity and discard rules.
-
RubriQ: Rubric-Guided Group Relative Policy Optimization for Constraint-Aware Quantum Circuit Synthesis
A rubric-guided GRPO pipeline fine-tunes a 7B LLM to synthesize quantum circuits achieving 3.31x T-gate compression with <1% hardware-constraint violations, validated on IBM and IonQ processors.
-
Efficient Fault-Tolerant Ancilla Preparation for Quantum BCH codes via Cyclic Symmetry
A symmetry-leveraging framework for fault-tolerant ancilla preparation in quantum BCH codes yields lower spatial overhead and logical error rates than standard distillation in simulations up to 127 qubits.
-
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
QSeqSim provides a BDD-based symbolic simulator for Qiskit while-loop programs modeled as sequential quantum circuits, scaling to over 1000 qubits in benchmarks.
-
Quantum computing with Qiskit
Qiskit is an open-source SDK that supports quantum circuit design, optimization at multiple abstraction levels, execution on hardware, and dynamic quantum-classical computations.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.