Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes

DOI10.4204/EPTCS.384.8MaRDI QIDQ6200528OpenAlexFDO

Authors Matthew Amy

Publication date 22 March 2024

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2306.16369

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

Abstract: Vilmart recently gave a complete equational theory for the balanced sum-over-paths over Toffoli-Hadamard circuits, and by extension Clifford+$mathrmdiag(1,zet{a}_{2^k})$ circuits. Their theory is based on the phase-free ZH-calculus which crucially omits the average rule of the full ZH-calculus, dis-allowing the local summation of amplitudes. Here we study the question of completeness in unbalanced path sums which naturally support local summation. We give a concrete syntax for the unbalanced sum-over-paths and show that, together with symbolic multilinear algebra and the interference rule, various formulations of the average and ortho rules of the ZH-calculus are sufficient to give complete equational theories over arbitrary rings and fields.

Recommendations

• Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing
• Completeness of the ZH-calculus
• Completeness of the ZX-calculus
• Two complete axiomatisations of pure-state qubit quantum computing
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

Cites work

• scientific article; zbMATH DE number 7449972 (Why is no real title available?)
• scientific article; zbMATH DE number 3282537 (Why is no real title available?)
• Completeness of the ZH-calculus
• Interacting Quantum Observables
• The structure of sum-over-paths, its consequences, and completeness for Clifford
• Towards large-scale functional verification of universal quantum circuits

Cited in

(1)

• Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing

This page was built for publication: Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200528)