Pith. sign in

REVIEW 1 cited by

Representing and Implementing Matrices Using Algebraic ZX-calculus

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 2110.06898 v4 pith:V3D76DLJ submitted 2021-10-13 quant-ph cs.AI

classification quant-phcs.AI
keywords matriceszx-calculusalgebraicrepresentationapplicationsdiagrammaticelementaryadditionally
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

In linear algebra applications, elementary matrices hold a significant role. This paper presents a diagrammatic representation of all $2^m\times 2^n$-sized elementary matrices in algebraic ZX-calculus, showcasing their properties on inverses and transpose through diagrammatic rewriting. Additionally, the paper uses this representation to depict the Jozsa-style matchgate in algebraic ZX-calculus. To further enhance practical use, we have implemented this representation in \texttt{discopy}. Overall, this work sets the groundwork for more applications of ZX-calculus such as synthesising controlled matrices [arXiv:2212.04462] in quantum computing.

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. A Constant Measurement Quantum Algorithm for Graph Connectivity

    quant-ph 2024-11 reject novelty 5.0 of 10

    A postselected quantum algorithm encodes graph connectivity into GHZ states and claims constant measurement complexity, but its success probability shrinks exponentially with graph size.

Pith tools