pith. sign in

arxiv: 2510.15781 · v2 · submitted 2025-10-17 · 🪐 quant-ph

Adaptive time Compressed QITE (ACQ) and its geometrical interpretation

Pith reviewed 2026-05-18 06:04 UTC · model grok-4.3

classification 🪐 quant-ph
keywords imaginary time evolutionQITEcircuit compressiongeodesic trajectoriescomplex projective spaceadaptive time stepstransverse field Ising model
0
0 comments X

The pith

Adaptive reuse of prior QITE unitaries until energy rises, plus circuit compression to a one-parameter group, cuts optimizations while preserving fidelity on the Transverse Field Ising Model.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces Adaptive-time Compressed QITE (ACQ) to lower the high circuit depth and measurement costs of imaginary time evolution on quantum hardware. It combines an adaptive time-step strategy that reuses earlier QITE unitaries with a compression step that approximates the accumulated sequence as one element of a one-parameter group. The approach rests on a geometric characterization of imaginary-time trajectories as gradient flows on the complex projective space CP^N, where exact geodesics occur only for rank-2 Hamiltonians. Simulations show that ACQ reaches fidelity comparable to standard QITE while sharply reducing the number of optimizations and holding circuit depth fixed throughout propagation. A reader would care because the method directly attacks the resource bottlenecks that currently restrict QITE to small systems or short evolution times.

Core claim

For rank-2 Hamiltonians imaginary-time evolution exactly traces geodesics in CP^N; for higher-rank cases ACQ reuses the previous QITE unitary via a line-search energy minimization until an energy increase signals departure from the ideal path, then replaces the accumulated sequence by a single one-parameter-group element, thereby maintaining fixed depth and reducing the total number of QITE optimizations.

What carries the argument

A trajectory deviation measure on CP^N that quantifies how far a QITE path has left the ideal ITE geodesic, used to decide when to recompute versus reuse prior unitaries.

If this is right

  • Circuit depth remains constant during long imaginary-time propagations because sequences of unitaries are replaced by one element of a one-parameter group.
  • The total number of QITE optimizations per unit of imaginary time drops because many time steps reuse the same unitary.
  • Gate-count estimates improve once truncation parameters are tuned, as the fidelity scaling analysis shows controlled degradation with compression.
  • The geometric deviation measure supplies a concrete, computable test for when the current unitary ceases to approximate the ITE flow.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same energy-increase trigger might be adapted to detect when variational ansatze drift from optimal paths in other quantum simulation algorithms.
  • Generalizing the CP^N deviation measure to different manifolds or to real-time evolution could yield compression schemes beyond imaginary time.
  • Running the method on Hamiltonians with still higher rank or on larger lattices would test how far the reuse heuristic extends before accumulated error forces frequent recomputation.

Load-bearing premise

An energy increase observed during line search reliably flags departure from the ideal ITE geodesic path, allowing safe reuse of earlier unitaries without rapid error growth in higher-rank systems.

What would settle it

If, on a higher-rank Hamiltonian, continuing to reuse the same QITE unitary past the first energy increase produces a fidelity drop substantially larger than standard QITE after the same total imaginary time, the adaptive-reuse rule would be falsified.

Figures

Figures reproduced from arXiv: 2510.15781 by Alberto Acevedo Mel\'endez, Andreu Angl\'es-Castillo, Armando P\'erez, Carmen G. Almud\'ever, Luca Ion, Miguel Angel Garcia-March, Mohit Lal Bera, Rafael G\'omez-Lurbe, Rodrigo M. Sanz, Somayeh Mehrabankar, Tanmoy Pandit.

Figure 1
Figure 1. Figure 1: Trajectory distance defined in Eq. (31) between ITE and the geodesic con￾necting the initial state and the ground state of the TFIM with values J = 0.5 and h = 1. In [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: Sketch of the trajectories taken by different methods. Geodesic/unitary trajec￾tories are represented by straight lines. The ITE trajectory given by the gradient descent equation is tightly reproduced by discrete time steps of QITE. Adaptive QITE extends the unitary evolution of a QITE step until the energy of the evolved state starts increasing, at which point a new QITE step is computed and propagated. 3… view at source ↗
Figure 4
Figure 4. Figure 4: Comparison of QITE and ACQ for the TFIM with a ground state in the disordered [PITH_FULL_IMAGE:figures/full_fig_p014_4.png] view at source ↗
read the original abstract

Imaginary Time Evolution (QITE) approximates this evolution on quantum hardware but suffers from high circuit depth and numerous measurements. In this work we introduce Adaptive-time Compressed QITE (ACQ), a novel algorithm that reduces resource-cost by combining adaptive time steps with circuit compression. This approach leverages geometric insights by characterizing its relationship to geodesic trajectories with a measure that distinguishes trajectories in $\mathbb{CP}^N$. Recalling that ITE is a gradient flow on the complex projective plane $\mathbb{CP}^N$, such trajectory measures allow one to measure the deviation from geodesicity of said flow. For rank-2 Hamiltonians, ITE and QITE exactly trace geodesics, this fact motivates an adaptive strategy for higher rank systems where QITE unitaries are reused until an energy increase signals departure from the ITE path. This is implemented via a line search for energy minimization. Circuit compression is achieved by approximating the sequence of QITE unitaries with a single element of a one-parameter group. Numerical simulations on the Transverse Field Ising Model demonstrate that ACQ achieves comparable fidelity to standard QITE while significantly reducing the number of QITE optimizations and maintaining fixed circuit depth during propagation. Gate-count estimates and an analysis of the fidelity scaling with truncation parameters are provided.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The manuscript introduces Adaptive-time Compressed QITE (ACQ), which augments standard quantum imaginary-time evolution with adaptive time-step selection and circuit compression. It frames ITE as a gradient flow on CP^N and introduces a trajectory deviation measure; for rank-2 Hamiltonians the flow is exactly geodesic, motivating an adaptive rule that reuses prior QITE unitaries (via line-search energy minimization) until an energy increase signals departure from the ideal path. The sequence of unitaries is then approximated by a single one-parameter group element to keep circuit depth fixed. Numerical experiments on the transverse-field Ising model are reported to achieve fidelity comparable to conventional QITE while reducing the number of optimizations.

Significance. If the energy-increase proxy is shown to control state infidelity, ACQ would offer a practical route to lower the measurement and optimization overhead of QITE while preserving fixed-depth circuits, which is relevant for near-term hardware implementations of imaginary-time algorithms. The geometric framing and the provision of gate-count estimates plus truncation-parameter scaling analysis are concrete strengths that could guide further resource-aware variants.

major comments (3)
  1. [§3.2] §3.2 (adaptive reuse rule): the justification that an energy increase during line search reliably detects departure from the ITE geodesic for rank>2 Hamiltonians is not accompanied by an explicit bound relating energy deviation to state infidelity or to the true ITE trajectory on CP^N. Without such a bound or a direct comparison of accumulated infidelity versus reuse interval length, it remains unclear whether the reported fidelity parity holds before non-negligible errors accumulate.
  2. [§5] §5 (TFIM numerics): the claim of “comparable fidelity” with “significantly reduced” optimizations is presented without error bars, without a tabulated baseline comparison to standard QITE at identical truncation parameters, and without stating the precise line-search threshold or data-exclusion criteria. These omissions make it impossible to assess whether the observed reduction in optimization count is robust or sensitive to hyper-parameter choices.
  3. [§2.3] §2.3 (deviation measure): the geometric measure used to distinguish trajectories in CP^N is introduced as independent of the simulation data, yet the manuscript does not provide an a-priori derivation or cross-validation showing that the energy-increase criterion is not itself tuned to the same TFIM trajectories used to demonstrate performance.
minor comments (2)
  1. Notation for the one-parameter group approximation and the truncation parameters should be introduced once and used consistently; currently the same symbol appears for both the compression parameter and the time-step truncation.
  2. Figure captions for the fidelity-vs-time plots should explicitly state the number of independent runs and the precise definition of the plotted fidelity (e.g., overlap with exact ITE state or with the target ground state).

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive review. The positive remarks on the geometric framing, gate-count estimates, and relevance to near-term hardware are appreciated. We address each major comment point by point below, with clarifications and planned revisions to improve clarity and rigor.

read point-by-point responses
  1. Referee: [§3.2] §3.2 (adaptive reuse rule): the justification that an energy increase during line search reliably detects departure from the ITE geodesic for rank>2 Hamiltonians is not accompanied by an explicit bound relating energy deviation to state infidelity or to the true ITE trajectory on CP^N. Without such a bound or a direct comparison of accumulated infidelity versus reuse interval length, it remains unclear whether the reported fidelity parity holds before non-negligible errors accumulate.

    Authors: We agree that no explicit analytic bound relating energy deviation to state infidelity is provided for general rank>2 Hamiltonians. The adaptive reuse rule is motivated by the exact geodesic property proven for rank-2 Hamiltonians together with the monotonic decrease of energy along the true ITE flow on CP^N; an energy increase during the line search therefore serves as a practical indicator that the trajectory has begun to deviate. In the revised manuscript we will expand §3.2 with a short discussion of this proxy argument, include a numerical study of accumulated infidelity versus reuse interval length on the TFIM, and note the absence of a general bound as a limitation for future work. revision: yes

  2. Referee: [§5] §5 (TFIM numerics): the claim of “comparable fidelity” with “significantly reduced” optimizations is presented without error bars, without a tabulated baseline comparison to standard QITE at identical truncation parameters, and without stating the precise line-search threshold or data-exclusion criteria. These omissions make it impossible to assess whether the observed reduction in optimization count is robust or sensitive to hyper-parameter choices.

    Authors: The referee correctly identifies missing statistical and reproducibility details. We will revise §5 to include error bars on all fidelity curves, add a table that directly compares ACQ and standard QITE at identical truncation parameters (reporting optimization counts, final fidelities, and circuit depths), and explicitly state the line-search energy-increase threshold together with any data-exclusion rules used in the reported runs. revision: yes

  3. Referee: [§2.3] §2.3 (deviation measure): the geometric measure used to distinguish trajectories in CP^N is introduced as independent of the simulation data, yet the manuscript does not provide an a-priori derivation or cross-validation showing that the energy-increase criterion is not itself tuned to the same TFIM trajectories used to demonstrate performance.

    Authors: The deviation measure in §2.3 is constructed directly from the Riemannian geometry of CP^N (distance to the geodesic) and is therefore independent of any particular Hamiltonian or numerical data. The energy-increase criterion is a separate, physically motivated proxy based on the monotonicity of the ITE energy functional. Nevertheless, to address the concern we will add a concise a-priori derivation of the measure in §2.3 and include a brief cross-validation on a second model (e.g., a small Heisenberg spin chain) to illustrate that the same energy threshold works without retuning. revision: partial

Circularity Check

0 steps flagged

No significant circularity; geometric motivation and empirical validation are independent

full rationale

The paper recalls the standard fact that ITE is a gradient flow on CP^N and states that rank-2 Hamiltonians yield exact geodesics, using this to motivate (but not derive) an energy-increase heuristic for adaptive reuse in higher-rank cases. The line-search implementation and one-parameter-group compression are presented as practical approximations. Performance claims rest on separate numerical simulations for the Transverse Field Ising Model, which supply falsifiable evidence outside any fitted parameter or self-citation chain. No equation or claim reduces the central result to its own inputs by construction; the energy proxy is a heuristic whose reliability is checked empirically rather than assumed tautologically.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claim rests on the domain assumption that imaginary time evolution is a gradient flow on CP^N and that rank-2 Hamiltonians produce exact geodesics; truncation parameters appear as free parameters whose effect on fidelity is analyzed but not specified numerically in the abstract.

free parameters (1)
  • truncation parameters
    Fidelity scaling with these parameters is analyzed, implying they are chosen or fitted in the numerical experiments.
axioms (2)
  • domain assumption Imaginary time evolution is a gradient flow on the complex projective plane CP^N
    Explicitly recalled in the abstract to motivate the geometric characterization of trajectories.
  • domain assumption For rank-2 Hamiltonians, ITE and QITE exactly trace geodesics
    Used to justify the adaptive reuse strategy for higher-rank systems.

pith-pipeline@v0.9.0 · 5809 in / 1497 out tokens · 41948 ms · 2026-05-18T06:04:40.137192+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Ground state preparation in $(2+1)$-dimensional pure $\mathbb{Z}_2$ lattice gauge theory via deterministic quantum imaginary time evolution

    hep-lat 2026-04 unverdicted novelty 6.0

    Deterministic QITE made gauge-invariant via commuting Pauli operators achieves relative error below 0.1 percent for ground-state preparation in 2+1D Z2 LGT on systems up to twelve plaquettes, as shown by tensor-networ...

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [1]

    Tan, Matthew J

    Mario Motta, Chong Sun, Adrian T.K. Tan, Matthew J. O’Rourke, Erika Ye, Austin J. Minnich, Fernando G. S. L. Brandão, and Garnet Kin-Lic Chan. De- terminingeigenstatesandthermalstates on a quantum computer using quan- tum imaginary time evolution.Nature Physics, 16:205 – 210, 2019

  2. [2]

    Understanding quan- tum imaginary time evolution and its variational form.arXiv preprint arXiv:2510.02015, 2025

    Anglés-Castillo Andreu, Ion Luca, Pan- dit Tanmoy, Rafael Gomez-Lurbe, Ro- drigo Martínez, and Miguel Angel 22 Garcia-March. Understanding quan- tum imaginary time evolution and its variational form.arXiv preprint arXiv:2510.02015, 2025

  3. [3]

    Implementation of quantum imaginary-time evolution method on nisq devices by introducing nonlocal approximation.npj Quantum Information, 7(1), June 2021

    Hirofumi Nishi, Taichi Kosugi, and Yu-ichiro Matsushita. Implementation of quantum imaginary-time evolution method on nisq devices by introducing nonlocal approximation.npj Quantum Information, 7(1), June 2021

  4. [4]

    Berthusen, Cai-Zhuang Wang, Kai- Ming Ho, Peter P

    Niladri Gomes, Feng Zhang, Noah F. Berthusen, Cai-Zhuang Wang, Kai- Ming Ho, Peter P. Orth, and Yongxin Yao. Efficient step-merged quan- tum imaginary time evolution algo- rithm for quantum chemistry.Journal of Chemical Theory and Computation, 16(10):6256–6266, September 2020

  5. [5]

    Double-bracketquantumalgo- rithms for quantum imaginary-time evo- lution

    Marek Gluza, Jeongrak Son, Bi Hong Tiang, René Zander, Raphael Seidel, Yudai Suzuki, Zoë Holmes, and Nelly H.Y.Ng. Double-bracketquantumalgo- rithms for quantum imaginary-time evo- lution. 2025

  6. [6]

    Gatterman, Justin A

    Mohsin Iqbal, Nathanan Tanti- vasadakarn, Thomas M. Gatterman, Justin A. Gerber, Kevin Gilmore, Dan Gresh, Aaron Hankin, Nathan Hewitt, Chandler V. Horst, Mitchell Matheny, Tanner Mengle, Brian Neyenhuis, Ashvin Vishwanath, Michael Foss-Feig, Ruben Verresen, and Henrik Dreyer. Topological order from measurements and feed-forward on a trapped-ion quantum c...

  7. [7]

    Variational ansatz-based quantum simulation of imaginary time evolution.npj Quantum Information, 5(1):75, 2019

    Sam McArdle, Tyson Jones, Suguru Endo, Ying Li, Simon C Benjamin, and Xiao Yuan. Variational ansatz-based quantum simulation of imaginary time evolution.npj Quantum Information, 5(1):75, 2019

  8. [8]

    Quantum Natural Gradient.Quantum, 4:269, May 2020

    James Stokes, Josh Izaac, Nathan Kil- loran, and Giuseppe Carleo. Quantum Natural Gradient.Quantum, 4:269, May 2020

  9. [9]

    Avoiding local minima in variational quantum eigen- solvers with the natural gradient op- timizer.Physical Review Research, 2(4):043246, 2020

    David Wierichs, Christian Gogolin, and Michael Kastoryano. Avoiding local minima in variational quantum eigen- solvers with the natural gradient op- timizer.Physical Review Research, 2(4):043246, 2020

  10. [10]

    Quantum natural gradient opti- mizer on noisy platforms: Quantum ap- proximate optimization algorithm as a case study.Phys

    Federico Dell’Anna, Rafael Gómez- Lurbe, Armando Pérez, and Elisa Erco- lessi. Quantum natural gradient opti- mizer on noisy platforms: Quantum ap- proximate optimization algorithm as a case study.Phys. Rev. A, 112:022612, Aug 2025

  11. [11]

    Quantum natural gradient generalized to noisy and nonunitary circuits.Phys- ical Review A, 106(6):062416, 2022

    Bálint Koczor and Simon C Benjamin. Quantum natural gradient generalized to noisy and nonunitary circuits.Phys- ical Review A, 106(6):062416, 2022

  12. [12]

    Efficient proto- col to estimate the quantum fisher infor- mation matrix for commuting-block cir- cuits, 2025

    Rafael Gomez-Lurbe. Efficient proto- col to estimate the quantum fisher infor- mation matrix for commuting-block cir- cuits, 2025. arXiv:2505.09818

  13. [13]

    Accelerating quantum imaginary-time evolution with random measurements.Phys

    Ioannis Kolotouros, David Joseph, and Anand Kumar Narayanan. Accelerating quantum imaginary-time evolution with random measurements.Phys. Rev. A, 111:012424, Jan 2025

  14. [14]

    Lotshaw, and Travis S

    Rizwanul Alam, George Siopsis, Re- bekah Herrman, James Ostrowski, Phillip C. Lotshaw, and Travis S. Humble. Solving maxcut with quantum imaginary time evolution.Quantum Information Processing, 22(7), July 2023

  15. [15]

    Bauer, Rizwanul Alam, George Siopsis, andJamesOstrowski

    Nora M. Bauer, Rizwanul Alam, George Siopsis, andJamesOstrowski. Combina- torial optimization with quantum imag- inary time evolution.Phys. Rev. A, 109:052430, May 2024

  16. [16]

    Ten-no, and Kazuki Sasasako

    Takashi Tsuchimochi, Yoohee Ryo, Sei- ichiro L. Ten-no, and Kazuki Sasasako. 23 Improved algorithms of quantum imag- inary time evolution for ground and ex- cited states of molecular systems.Jour- nal of Chemical Theory and Computa- tion, 19(2):503–513, 2023

  17. [17]

    An adaptive weighted qite-vqe algorithm for combinatorial op- timization problems, 2025

    Ningyi Xie, Xinwei Lee, Tiejin Chen, Yoshiyuki Saito, Nobuyoshi Asai, and Dongsheng Cai. An adaptive weighted qite-vqe algorithm for combinatorial op- timization problems, 2025

  18. [18]

    Optimization and Dynamical Systems

    Uwe Helmke John B. Moore R. Brock- ett Editors, editor."Optimization and Dynamical Systems". Springer-Verlag, London Limited 1994 3rd printing, 1996

  19. [19]

    Ignacio Cirac

    Lucas Hackl, Tommaso Guaita, Tao Shi, Jutho Haegeman, Eugene Demler, and J. Ignacio Cirac. Geometry of vari- ational methods: dynamics of closed quantum systems.SciPost Phys., 9:048, 2020

  20. [20]

    Grover’s algorithm is an approximation of imaginary-time evolu- tion.arXiv preprint arXiv:507.15065, 2025

    Yudai Suzuki, Marek Gluza, Jeongrak Son, BiHongTiang, NellyH.Y.Ng, and Zoë Holmes. Grover’s algorithm is an approximation of imaginary-time evolu- tion.arXiv preprint arXiv:507.15065, 2025

  21. [21]

    Qubit Geodesics on the Bloch Sphere from Optimal-Speed Hamiltonian Evolu- tions

    Carlo Cafaro1 and Paul M. Alsing." Qubit Geodesics on the Bloch Sphere from Optimal-Speed Hamiltonian Evolu- tions". Number 71 in Elsevier, Nonlin- ear Analysis:Theory, Methods and Ap- plications. Issue 12, Pages e474- e486, 2009

  22. [22]

    Bures geodesics and quantum metrology.Quantum, 9:1715, April 2025

    Dominique Spehner. Bures geodesics and quantum metrology.Quantum, 9:1715, April 2025

  23. [23]

    Benjamin C. B. Symons, Dilhan Man- awadu, David Galvin, and Stefano Mensa. Boosted imaginary time evolu- tionofmatrixproductstates.Phys. Rev. B, 110:174302, Nov 2024

  24. [24]

    generalized bloch vector and the eigen- values of a density matrix

    Maris Ozols and Laura Mancinska. "generalized bloch vector and the eigen- values of a density matrix"

  25. [25]

    geometry of the generalized bloch sphere for qutrits

    Sandeep K. Goyal, B. Neethi Simon, Rajeev Singh, and Sudhavathani Si- mon. "geometry of the generalized bloch sphere for qutrits ".Published, 49(16), 3 2016

  26. [26]

    Jeongrak Son Nelly H. Y. Ng Zoë Holmes Marek Gluza Yudai Suzuki Bi Hong Tiang. Double-bracket algorithm for quantum signal processing without post-selection.arxiv preprint, April 2025. 24