Exact verification of Givens rotation circuits for efficient quantum phase estimation of iron-sulfur clusters
Abstract
Givens rotations with angles stored in quantum registers account for much of the cost of published quantum phase estimation algorithms based on double-factorized tensor hypercontraction and spectral amplification. These rotations create superpositions and cannot be verified directly by the basis-state evaluators used to optimize classical reversible circuits. We give an exact verification method that separates out a fixed Clifford change of basis and tracks basis states and phases in the remaining circuit. Integer conditions establish correctness of the full coherent action, including measurement-based uncomputation and restoration of the phase-gradient resource state. Under our interpretation of Low et al.'s angle grid and rotation convention, simplifying the adders lowers the rotation cost relative to the published accounting; fusing the two additions into one masked addition gives an additional saving. We verify both implementations exhaustively at every precision used in the published walks and prove the fused circuit correct for all widths. For benchmarks including FeMoco and other iron-sulfur clusters, replacing only the rotation term lowers total phase-estimation Toffoli counts by 9.5-14.3% under the published error budget, with the walk operator unchanged.
Related
- A VLSI-Like Design and Verification Flow for Quantum Circuits: A Case Study in PI Estimation
- Efficient expectation value estimation for quantum circuits via extended stabilizer frameworks and adaptive variance estimation
- Efficient Fidelity Estimation of General Quantum Resource States via Clifford Circuits
- Fast verification of fault tolerant magic state preparation circuits with the CNOT + T gate set
- Skyrmion gears: translation-to-rotation conversion of skyrmion clusters along periodic substrates
BibTeX
@misc{fu2026exact,
title = {{Exact verification of Givens rotation circuits for efficient quantum phase estimation of iron-sulfur clusters}},
author = {Lizhong Fu and Honghui Shang},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.37847},
eprint = {2610.37847},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.37847},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Exact verification of Givens rotation circuits for efficient quantum phase estimation of iron-sulfur clusters
AU - Lizhong Fu
AU - Honghui Shang
PY - 2026
DA - 2026/10/27
PB - arXiv
DO - 10.48550/arxiv.2610.37847
UR - https://arxiv.org/abs/2610.37847
AB - Givens rotations with angles stored in quantum registers account for much of the cost of published quantum phase estimation algorithms based on double-factorized tensor hypercontraction and spectral amplification. These rotations create superpositions and cannot be verified directly by the basis-state evaluators used to optimize classical reversible circuits. We give an exact verification method that separates out a fixed Clifford change of basis and tracks basis states and phases in the remaining circuit. Integer conditions establish correctness of the full coherent action, including measurement-based uncomputation and restoration of the phase-gradient resource state. Under our interpretation of Low et al.'s angle grid and rotation convention, simplifying the adders lowers the rotation cost relative to the published accounting; fusing the two additions into one masked addition gives an additional saving. We verify both implementations exhaustively at every precision used in the published walks and prove the fused circuit correct for all widths. For benchmarks including FeMoco and other iron-sulfur clusters, replacing only the rotation term lowers total phase-estimation Toffoli counts by 9.5-14.3% under the published error budget, with the walk operator unchanged.
ER -