There is a newer version of the record available.

Published October 14, 2026 | Version v1.0.1
Working paper Open

Linear-Time Quantum Circuit Superoptimization via Canonical Ancilla Alignment, Hermitian Relative-Phase Pairing, and Frobenius-Corrected Boolean Abstraction

Authors/Creators

  • 1. Anomaly

Description

Full manuscript, Lean 4 formal proofs, reference O(n) optimizer (CAVA + HRTP + WHD), and unitary verification suite for linear-time quantum circuit superoptimization.

Files

Hona/quantum-cava-hrtp-paper-v1.0.1.zip

Files (52.3 kB)

Name Size
md5:4b793084694bf5f0893c1c8a6d774d45
52.3 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/Hona/quantum-cava-hrtp-paper/tree/v1.0.1 (URL)

Software

Repository URL
https://github.com/Hona/quantum-cava-hrtp-paper