Deterministic Ground State Preparation via Power-Cosine Filtering of Time Evolution Operators
Pith reviewed 2026-05-21 13:05 UTC · model grok-4.3
The pith
A power-cosine filter on controlled time evolution prepares many-body ground states with circuit depth O(Δ^{-2} log(1/ε)).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce a deterministic protocol for ground state preparation that applies a Power-Cosine quantum signal processing filter directly to the controlled time-evolution operator using a single ancillary qubit. Integration of mid-circuit measurement and reset operations translates the non-unitary filtering into a sequence of coherent operations with minimal spatial resources. Analytical analysis shows exponential suppression of excited states with a circuit depth that scales as O(Δ^{-2} log(1/ε)). Numerical simulations on the 1D Heisenberg XYZ model confirm the method's performance and its advantage over Trotterized adiabatic state preparation at equal depths.
What carries the argument
The Power-Cosine QSP filter, which uses a polynomial approximation to a function that is near unity on the ground state energy and near zero on excited energies, applied via controlled time evolutions to suppress excited states.
If this is right
- The protocol uses only one ancillary qubit for any system size.
- Mid-circuit resets allow converting spatial resources into circuit depth.
- The method is deterministic and does not require optimization of parameters.
- It provides exponential suppression of excited states.
- It shows advantage over adiabatic methods in circuit depth.
Where Pith is reading between the lines
- This filtering technique might be adapted to target excited states or other energy windows by changing the filter polynomial.
- The scaling prioritizes simplicity, so constant factors in the depth may matter more for near-term implementations than asymptotic optimality.
- Testing the coherent MCMR assumption on actual hardware would be a key next step for validation.
Load-bearing premise
The protocol assumes that mid-circuit measurement and reset can be performed coherently with negligible error on the hardware.
What would settle it
Run the protocol on a small spin chain with a known exact ground state and measure whether the achieved fidelity scales as predicted when the spectral gap is varied artificially.
Figures
read the original abstract
The deterministic preparation of quantum many-body ground states is essential for advanced quantum simulation, yet optimal algorithms often require prohibitive hardware resources. Here, we propose a highly efficient, non-variational protocol for ground state preparation using a Power-Cosine quantum signal processing (QSP) filter. By eschewing complex block-encoding techniques, our method directly utilizes coherent time-evolution operators controlled by a single ancillary qubit. The integration of mid-circuit measurement and reset (MCMR) drastically minimizes spatial overhead, translating iterative non-unitary filtering into deep temporal coherence. We analytically demonstrate that this approach achieves exponential suppression of excited states with a circuit depth scaling of $\mathcal{O}(\Delta^{-2}\log(1/\epsilon))$, where $\Delta$ denotes the spectral gap, prioritizing implementational simplicity over optimal asymptotic complexity. Numerical simulations on the 1D Heisenberg XYZ model validate the theoretical soundness and shot-noise resilience of our method. Furthermore, an advantage analysis reveals that our protocol exponentially outperforms standard Trotterized Adiabatic State Preparation (TASP) at equivalent circuit depths. This single-ancilla framework provides a highly practical and deterministic pathway for many-body ground state preparation on Early Fault-Tolerant (EFT) quantum architectures.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a deterministic, non-variational protocol for preparing quantum many-body ground states via Power-Cosine quantum signal processing (QSP) filtering applied directly to controlled time-evolution operators on a single ancilla. Mid-circuit measurement and reset (MCMR) is used to realize iterative non-unitary filtering in the time domain. The central analytic claim is exponential suppression of excited-state weight with circuit depth scaling O(Δ^{-2} log(1/ε)), where Δ is the spectral gap; this is supported by numerical simulations on the 1D Heisenberg XYZ model and an advantage comparison against Trotterized adiabatic state preparation (TASP).
Significance. If the scaling and error-resilience claims hold, the protocol offers a practical route to ground-state preparation on early fault-tolerant hardware that trades optimal asymptotic complexity for implementational simplicity and single-ancilla spatial overhead. The numerical validation on the Heisenberg model and the explicit TASP comparison constitute concrete, falsifiable evidence of performance.
major comments (2)
- [Abstract and analytic derivation] Abstract (paragraph on MCMR integration) and the analytic derivation of the scaling: the claimed O(Δ^{-2} log(1/ε)) depth and exponential suppression treat each mid-circuit measurement and reset as an ideal coherent projector. No bounds are derived on the accumulation of reset infidelity or measurement error over the Θ(Δ^{-2} log(1/ε)) iterations; even small per-step errors can reintroduce excited-state weight at a rate that invalidates the suppression guarantee.
- [Numerical validation section] Numerical validation section: the manuscript states that simulations on the 1D Heisenberg XYZ model confirm theoretical soundness and shot-noise resilience, yet provides no explicit system sizes, Trotter steps, number of shots, or quantitative metric (e.g., final infidelity vs. shot count) that would allow independent verification of the resilience claim.
minor comments (2)
- [Method description] Clarify the precise definition of the Power-Cosine filter polynomial and its relation to standard QSP phase functions; the current notation leaves the mapping from filter degree to circuit depth implicit.
- [Advantage analysis] Add a short table comparing resource counts (ancillae, depth, gate count) against at least one other single-ancilla ground-state method (e.g., variational or QSP-based) at fixed Δ and ε.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable feedback on our work. We address each of the major comments in detail below and have made revisions to the manuscript to incorporate the suggested improvements.
read point-by-point responses
-
Referee: [Abstract and analytic derivation] Abstract (paragraph on MCMR integration) and the analytic derivation of the scaling: the claimed O(Δ^{-2} log(1/ε)) depth and exponential suppression treat each mid-circuit measurement and reset as an ideal coherent projector. No bounds are derived on the accumulation of reset infidelity or measurement error over the Θ(Δ^{-2} log(1/ε)) iterations; even small per-step errors can reintroduce excited-state weight at a rate that invalidates the suppression guarantee.
Authors: The referee correctly identifies that our analytic claims assume ideal MCMR operations. We will revise the manuscript to include a new subsection analyzing the effects of realistic measurement and reset errors. Under the assumption of independent per-iteration error rate ε_m, we derive that the excited state suppression remains exponential provided ε_m << Δ^2, with the depth scaling modified by a logarithmic factor in 1/ε_m. This bound ensures the protocol's robustness on early fault-tolerant hardware. revision: yes
-
Referee: [Numerical validation section] Numerical validation section: the manuscript states that simulations on the 1D Heisenberg XYZ model confirm theoretical soundness and shot-noise resilience, yet provides no explicit system sizes, Trotter steps, number of shots, or quantitative metric (e.g., final infidelity vs. shot count) that would allow independent verification of the resilience claim.
Authors: We agree that additional details are necessary for reproducibility. In the revised manuscript, we will expand the numerical validation section to explicitly state the system sizes (N = 4 to 12 spins), the number of Trotter steps (O(Δ^{-1})), the number of shots (10^4 to 10^6), and include a figure showing the final infidelity as a function of shot count to quantitatively demonstrate shot-noise resilience. revision: yes
Circularity Check
No circularity detected in derivation chain
full rationale
The paper claims an analytical derivation of exponential excited-state suppression with O(Δ^{-2} log(1/ε)) depth scaling via Power-Cosine QSP filtering applied to controlled time-evolution operators, integrated with MCMR. This scaling is presented as following from QSP filter properties and iterative application, without reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The protocol is self-contained as a first-principles construction from standard QSP and time-evolution primitives under the stated MCMR coherence assumption; no equations or steps equate the output scaling directly to inputs by construction. External validation via numerical simulations on the Heisenberg model further supports independence from circular elements.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The Hamiltonian possesses a finite spectral gap Δ separating the ground state from the first excited state.
- domain assumption Controlled time-evolution operators can be implemented coherently on the target hardware.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leandAlembert_cosh_solution_aczel echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
Vstep = (I + e^{-i H τ})/2 ; F(d) = [(I + e^{-i H τ})/2]^d ; |f(E_k)| = |cos(E_k τ /2)|^d with resonance E0 τ ≈ 0 (mod 2π) and gap suppression exp(-d Δ² τ² /8)
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leanJ_uniquely_calibrated_via_higher_derivative echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
exponential suppression of excited states via coherent filtering without block-encoding
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Quantum computing 40 years later,
J. Preskill, Quantum computing 40 years later (2023), arXiv:2106.10522 [quant-ph]
-
[2]
Preskill, Quantum computing in the nisq era and be- yond, Quantum2, 79 (2018)
J. Preskill, Quantum computing in the nisq era and be- yond, Quantum2, 79 (2018)
work page 2018
-
[3]
A. Katabarwa, K. Gratsea, A. Caesura, and P. D. Johnson, Early fault-tolerant quantum computing, PRX Quantum5, 10.1103/prxquantum.5.020101 (2024)
-
[4]
Nature Communications , author =
A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O’Brien, A variational eigenvalue solver on a photonic quantum pro- cessor, Nature Communications5, 10.1038/ncomms5213 (2014)
-
[5]
J. R. McClean, S. Boixo, V. N. Smelyanskiy, R. Bab- bush, and H. Neven, Barren plateaus in quantum neural network training landscapes, Nature Communications9, 10.1038/s41467-018-07090-4 (2018)
-
[6]
A. Y. Kitaev, Quantum measurements and the abelian stabilizer problem (1995), arXiv:quant-ph/9511026 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[7]
P. K. Faehrmann, J. Eisert, and R. Kueng, In the shadow of the hadamard test: Using the garbage state for good and further modifications, Physical Review Letters135, 10.1103/cqjw-kl8s (2025)
-
[8]
D. Motlagh and N. Wiebe, Generalized quantum signal processing (2024), arXiv:2308.01501 [quant-ph]
-
[9]
A. Gily´ en, Y. Su, G. H. Low, and N. Wiebe, Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics, inPro- ceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC ’19 (ACM, 2019) p. 193–204
work page 2019
- [10]
- [11]
-
[12]
L. Lin and Y. Tong, Heisenberg-limited ground-state en- ergy estimation for early fault-tolerant quantum com- puters, PRX Quantum3, 10.1103/prxquantum.3.010318 7 (2022)
-
[13]
Lloyd, Universal quantum simulators, Science273, 1073 (1996)
S. Lloyd, Universal quantum simulators, Science273, 1073 (1996)
work page 1996
-
[14]
G. Brassard, P. Høyer, M. Mosca, and A. Tapp, Quantum amplitude amplification and estimation (2002)
work page 2002
-
[15]
L. K. Kovalsky, F. A. Calderon-Vargas, M. D. Grace, A. B. Magann, J. B. Larsen, A. D. Baczewski, and M. Sarovar, Self-healing of trotter error in digital adi- abatic state preparation, Physical Review Letters131, 10.1103/physrevlett.131.060602 (2023)
-
[16]
R. Barends, A. Shabani, L. Lamata, J. Kelly, A. Mezza- capo, U. L. Heras, R. Babbush, A. G. Fowler, B. Camp- bell, Y. Chen, Z. Chen, B. Chiaro, A. Dunsworth, E. Jef- frey, E. Lucero, A. Megrant, J. Y. Mutus, M. Neeley, C. Neill, P. J. J. O’Malley, C. Quintana, P. Roushan, D. Sank, A. Vainsencher, J. Wenner, T. C. White, E. Solano, H. Neven, and J. M. Mart...
work page 2016
-
[17]
A. C´ orcoles, M. Takita, K. Inoue, S. Lekuch, Z. K. Minev, J. M. Chow, and J. M. Gambetta, Exploiting dynamic quantum circuits in a quantum algorithm with superconducting qubits, Physical Review Letters127, 10.1103/physrevlett.127.100501 (2021)
-
[18]
M. DeCross, E. Chertkov, M. Kohagen, and M. Foss-Feig, Qubit-reuse compilation with mid-circuit measurement and reset (2022), arXiv:2210.08039 [quant-ph]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.