arXiv preprint ·
Exact verification of Givens rotation circuits for efficient quantum phase estimation of iron-sulfur clusters
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
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.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Quantum Physics
Radial power-like potentials: from the Bohr-Sommerfeld $\ell \neq 0$ state energies to the exact ones
A Coherent Neutron-Nucleus Hybrid System Mediated by the Strong Interaction
Coherent Optical Control of a Single Donor Electron Spin
Experimental Observation of Error-Resilience Phase Transition on Superconducting Quantum Processor
Dynamical behaviour of the mass tensor in the lattice
Get the few papers worth your time in Quantum Physics every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.