pith. machine review for the scientific record. sign in

arxiv: 2511.21867 · v2 · submitted 2025-11-26 · 🪐 quant-ph · cs.DS· physics.chem-ph

Recognition: 2 theorem links

· Lean Theorem

Accuracy and resource advantages of quantum eigenvalue estimation with non-Hermitian transcorrelated electronic Hamiltonians

Authors on Pith no claims yet

Pith reviewed 2026-05-17 04:14 UTC · model grok-4.3

classification 🪐 quant-ph cs.DSphysics.chem-ph
keywords quantum eigenvalue estimationtranscorrelated Hamiltoniannon-Hermitian operatorselectronic structureT-gate countsecond-row atomsquantum resource estimation
0
0 comments X

The pith

QEVE on transcorrelated Hamiltonians places T-gate costs between standard qubitization on cc-pVTZ and cc-pVQZ bases for second-row atoms.

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

The paper examines the resource costs of a quantum eigenvalue estimation algorithm tailored to non-Hermitian transcorrelated electronic Hamiltonians for atoms from Li to Ne. With the xTC approximation, the T-gate count in the minimal STO-6G basis sits between the costs of conventional qubitization applied to the same systems in the larger cc-pVTZ and cc-pVQZ bases. Accuracy of the resulting energies exceeds the cc-pVQZ level for Li and Be but drops below the cc-pVDZ level for O, F, and Ne. The work therefore tests whether removing the Coulomb cusp through a non-Hermitian transformation can trade basis-set size for algorithmic overhead in a way that lowers overall quantum resources.

Core claim

With the xTC approximation the T-gate count of QEVE in the minimal STO-6G basis lies between the counts of standard qubitization in the cc-pVTZ and cc-pVQZ bases, while the transcorrelated energy is more accurate than cc-pVQZ for Li and Be yet less accurate than cc-pVDZ for O, F, and Ne.

What carries the argument

The quantum eigenvalue estimation (QEVE) algorithm for non-Hermitian Hamiltonians with real spectra, applied after the transcorrelated transformation that removes the Coulomb cusp from the wave function.

If this is right

  • The combination allows target accuracies that would otherwise require larger bases to be reached with fewer quantum gates.
  • Non-Hermitian operators become practical inputs for quantum phase estimation in chemistry once a suitable eigenvalue algorithm is used.
  • Accuracy that remains competitive only for the lightest atoms indicates that basis-set reduction via transcorrelation works best when the cusp removal dominates the error.

Where Pith is reading between the lines

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

  • The same resource comparison could be repeated for small molecules to check whether the T-gate advantage survives when nuclear geometry and multiple centers are added.
  • If the accuracy drop for heavier atoms is tied to the xTC approximation, replacing it with a more faithful transcorrelated form might restore the accuracy edge without raising the gate count.
  • The reported T-gate numbers provide a concrete benchmark that other non-Hermitian quantum algorithms can be measured against on the same atomic test set.

Load-bearing premise

The xTC approximation captures the main benefits of the full transcorrelated transformation without introducing large uncontrolled errors, and QEVE incurs no hidden overheads beyond the reported T-gate counts on these Hamiltonians.

What would settle it

A direct count of T gates required to run QEVE on an xTC Hamiltonian in STO-6G that exceeds the T-gate count of standard qubitization on the same atom in cc-pVTZ would falsify the claimed resource advantage.

read the original abstract

In electronic structure calculations, the transcorrelated method consists in transforming the Hamiltonian so as to remove the Coulomb cusp in its eigenfunctions. As a result, the wavefunction can be described more accurately without increasing the size of the basis set. However, the transcorrelated Hamiltonian is non-Hermitian and non-normal, which makes many common quantum algorithms inapplicable. Recently, a quantum eigenvalue estimation algorithm (QEVE) was proposed for non-Hermitian Hamiltonians with real spectra [FOCS 65, 1051 (2024)]. Although the asymptotic scaling of this algorithm with the desired accuracy is shown to be optimal, the constant factor in its complexity scaling has not been analyzed. Here we investigate the cost of QEVE applied to transcorrelated electronic Hamiltonians of second-row atoms and compare it to the cost of applying standard qubitization to non-transcorrelated Hamiltonians. We find that, with the xTC approximation, the T gate count of QEVE in the minimal STO-6G basis is between those of standard qubitization in the cc-pVTZ and cc-pVQZ bases. The accuracy of the transcorrelated energy differs between systems: for Li and Be, it is more accurate than the cc-pVQZ energy, while for larger atoms, the error gradually increases, exceeding the cc-pVDZ level for O, F, and Ne.

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

2 major / 1 minor

Summary. The manuscript investigates the cost of applying the recently proposed quantum eigenvalue estimation (QEVE) algorithm to non-Hermitian transcorrelated electronic Hamiltonians for second-row atoms, using the xTC approximation in the minimal STO-6G basis. It compares the resulting T-gate counts to those obtained by applying standard qubitization to the corresponding non-transcorrelated Hamiltonians in the larger cc-pVTZ and cc-pVQZ bases. The central numerical finding is that the T-gate count for QEVE+xTC in STO-6G lies between the qubitization costs for cc-pVTZ and cc-pVQZ, while the transcorrelated energies are more accurate than cc-pVQZ for Li and Be but show progressively larger errors that exceed the cc-pVDZ level for O, F, and Ne.

Significance. If the T-gate counts are correctly derived and the xTC approximation faithfully captures the benefits of the full transcorrelated transformation without uncontrolled errors, the work would provide concrete evidence that non-Hermitian quantum algorithms combined with transcorrelation can reduce the effective basis-set size and thereby lower gate counts for quantum chemistry simulations on early fault-tolerant devices. The explicit numerical comparisons for a sequence of atoms constitute a useful benchmark that could guide further algorithm development, provided the accuracy-resource trade-off is analyzed at fixed chemical accuracy.

major comments (2)
  1. [Abstract / Results] Abstract and results section: The headline resource claim states that the T-gate count of QEVE in the minimal STO-6G basis with xTC lies between those of standard qubitization in cc-pVTZ and cc-pVQZ. However, the accuracy data show that transcorrelated errors remain below the cc-pVQZ level only for Li and Be and exceed the cc-pVDZ level for O, F, and Ne. Because the comparison is not performed at equivalent accuracy, the reported T-count advantage is not uniform across the atom series; for the heavier atoms a larger basis would likely be required to reach chemically relevant accuracy, which would increase the effective T-count and weaken the central claim.
  2. [Methods] Methods / resource estimation: The manuscript reports specific T-gate counts for QEVE on the xTC Hamiltonians but does not provide the explicit derivation, including how the block-encoding costs, phase estimation precision, and any overheads from the non-Hermitian structure were obtained or verified against full transcorrelated results. Without these details the quantitative resource-accuracy comparison cannot be independently assessed.
minor comments (1)
  1. [Introduction / Methods] The definition and implementation details of the xTC approximation should be stated more explicitly, including any additional approximations introduced relative to the full transcorrelated Hamiltonian.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive review. We address each major comment point by point below, providing clarifications and indicating revisions to the manuscript where appropriate.

read point-by-point responses
  1. Referee: [Abstract / Results] Abstract and results section: The headline resource claim states that the T-gate count of QEVE in the minimal STO-6G basis with xTC lies between those of standard qubitization in cc-pVTZ and cc-pVQZ. However, the accuracy data show that transcorrelated errors remain below the cc-pVQZ level only for Li and Be and exceed the cc-pVDZ level for O, F, and Ne. Because the comparison is not performed at equivalent accuracy, the reported T-count advantage is not uniform across the atom series; for the heavier atoms a larger basis would likely be required to reach chemically relevant accuracy, which would increase the effective T-count and weaken the central claim.

    Authors: We agree that the accuracy of the xTC energies is not uniform and varies across the series, which is already stated explicitly in the manuscript. The central resource claim concerns the T-gate count required for the QEVE+xTC calculation in the STO-6G basis, presented alongside the corresponding accuracy for each atom; it does not assert that chemical accuracy is achieved uniformly or that the T-count advantage holds after basis enlargement. To address the concern, we have added a dedicated paragraph in the Results section that discusses the accuracy-resource trade-off at fixed chemical accuracy and notes that, for O, F, and Ne, reaching cc-pVDZ-level accuracy with xTC would require a modestly enlarged basis whose T-count impact can be estimated from the existing scaling data. This revision makes the limitations for heavier atoms more prominent while preserving the reported numerical comparison for the minimal-basis case. revision: partial

  2. Referee: [Methods] Methods / resource estimation: The manuscript reports specific T-gate counts for QEVE on the xTC Hamiltonians but does not provide the explicit derivation, including how the block-encoding costs, phase estimation precision, and any overheads from the non-Hermitian structure were obtained or verified against full transcorrelated results. Without these details the quantitative resource-accuracy comparison cannot be independently assessed.

    Authors: We thank the referee for highlighting the need for greater transparency. The revised Methods section now contains the explicit step-by-step derivation of the T-gate counts: the block-encoding cost for the non-Hermitian xTC operator (including the additional terms arising from the similarity transformation), the choice of phase-estimation precision sufficient for the target energy accuracy, and the overhead factor associated with the non-normal spectrum. We also include a short subsection comparing the xTC resource estimates to those obtained from a limited set of full transcorrelated calculations on smaller systems, confirming that the xTC approximation introduces only controlled additional cost. These additions enable independent verification of the reported numbers. revision: yes

Circularity Check

0 steps flagged

No circularity: claims rest on direct numerical gate-count and energy comparisons

full rationale

The paper reports explicit T-gate counts obtained by applying the QEVE algorithm to xTC Hamiltonians in the STO-6G basis and compares those counts to standard qubitization costs in cc-pVTZ and cc-pVQZ bases. Accuracy is assessed by direct subtraction of transcorrelated energies from reference values in progressively larger bases. These are empirical measurements and tabulated comparisons; no derivation step equates an output to a fitted input, renames a known result, or reduces the central claim to a self-citation chain. The single citation to the prior QEVE proposal supplies the algorithm definition but is not invoked as a uniqueness theorem that forces the reported resource ordering.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the validity of the xTC approximation and the assumption that QEVE applies without extra costs to these non-normal operators; no new entities are postulated.

axioms (2)
  • domain assumption Transcorrelated Hamiltonians possess real spectra suitable for QEVE
    Invoked when applying the non-Hermitian eigenvalue estimation algorithm to the transformed electronic Hamiltonians.
  • standard math Standard qubitization costs scale as reported for the chosen basis sets
    Used as the baseline for resource comparison.

pith-pipeline@v0.9.0 · 5565 in / 1391 out tokens · 71812 ms · 2026-05-17T04:14:18.644969+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.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 1 internal anchor

  1. [1]

    The core component of the algorithm for ground state energy estimation is a controlled unitary U that encodes the eigenvalues of H in its eigenphases

    Hermitian operators We first consider the case when H is a Hermitian opera- tor with eigenstates {|λi⟩} and corresponding eigenvalues {λi}. The core component of the algorithm for ground state energy estimation is a controlled unitary U that encodes the eigenvalues of H in its eigenphases. For a Hermitian H, there are two common choices of such a unitary:...

  2. [2]

    The evolution operator e−iHt is no longer unitary, and the walk operator does not have the same two-dimensional invariant subspaces

    Non-Hermitian operators When H is non-Hermitian, one cannot build the phase- encoding unitary the same way as for the Hermitian case. The evolution operator e−iHt is no longer unitary, and the walk operator does not have the same two-dimensional invariant subspaces. Instead, the quantum eigenvalue estimation (QEVE) algorithm of Ref. [ 21] encodes a sum of...

  3. [3]

    This error de- termines the number of ancilla qubits in QPE and the maximum Chebyshev degree in QEVE

    The error of the phase estimation. This error de- termines the number of ancilla qubits in QPE and the maximum Chebyshev degree in QEVE. In both cases, it ends up determining the number of calls to the qubitized walk operator

  4. [4]

    This error depends on the precision to which we store the coefficients of the LCU decomposition

    The error of the block encoding. This error depends on the precision to which we store the coefficients of the LCU decomposition. In addition, once we fix this error, we can also discard the terms where |bi|/α < 2−µ, so indirectly the tolerance for block encoding also determines the number of terms. We split the error budget evenly between these sources. ...

  5. [5]

    However, as we explain shortly, in this case one can instead prepare a uni- form superposition on the first ⌊logK⌋ qubits, still requiring no T gates

    Prepare a uniform superposition 1√ K KX i=1 |i⟩(A3) When K is a power of two, this step consists of logK Hadamard gates, but otherwise requires a more complicated circuit. However, as we explain shortly, in this case one can instead prepare a uni- form superposition on the first ⌊logK⌋ qubits, still requiring no T gates

  6. [6]

    This step is performed using QROAM [31]

    Prepare a state 1√ K K−1X i=0 |i⟩ |alti⟩ |keepi⟩(A4) Here the registers contain ⌈logK⌉ , ⌈logK⌉ , and µ qubits, respectively. This step is performed using QROAM [31]. We are free to select an integer q which is a power of two and 1 ≤q < K . This step will then cost K q + (µ+⌈logK⌉)(q−1) (A5) Toffoli gates and (µ + ⌈logK⌉ )(q− 1) + ⌈logK/q⌉ ancillas. Note ...

  7. [7]

    This means that we need to perform an addition (4µ T gates) and a controlled SWAP

    Prepare a uniform superposition in another µ-qubit register |σ⟩, then swap the index and “alt” register controlled on whether the value of σ is smaller than 8 keepi. This means that we need to perform an addition (4µ T gates) and a controlled SWAP. Since a SWAP can be implemented with three CNOTs, a cSWAP can be implemented with three Toffolis. Thus we ha...

  8. [8]

    H¨ attig, W

    C. H¨ attig, W. Klopper, A. K¨ ohn, and D. P. Tew, Explicitly Correlated Electrons in Molecules, Chemical Reviews112, 4 (2012)

  9. [9]

    Helgaker, P

    T. Helgaker, P. Jørgensen, and J. Olsen,Molecular Electronic-Structure Theory(Wiley, Hoboken, 2014)

  10. [10]

    Klopper, M

    W. Klopper, M. Sch¨ utz, H. P. L¨ uthi, and S. Leutwyler, Anab initioderived torsional potential energy surface for (H2O)3. II. Benchmark studies and interaction energies, The Journal of Chemical Physics103, 1085 (1995)

  11. [11]

    J. J. Shepherd, A. Gr¨ uneis, G. H. Booth, G. Kresse, and A. Alavi, Convergence of many-body wave-function expansions using a plane-wave basis: From homogeneous electron gas to solid state systems, Physical Review B86, 035111 (2012)

  12. [12]

    Kato, On the eigenfunctions of many-particle systems in quantum mechanics, Communications on Pure and Applied Mathematics10, 151 (1957)

    T. Kato, On the eigenfunctions of many-particle systems in quantum mechanics, Communications on Pure and Applied Mathematics10, 151 (1957)

  13. [13]

    E. A. Hylleraas, Neue Berechnung der Energie des Heliums im Grundzustande, sowie des tiefsten Terms von Ortho- Helium, Zeitschrift f¨ ur Physik54, 347 (1929)

  14. [14]

    Kutzelnigg, r12-Dependent terms in the wave function as closed sums of partial wave amplitudes for large l, Theoretica Chimica Acta68, 445 (1985)

    W. Kutzelnigg, r12-Dependent terms in the wave function as closed sums of partial wave amplitudes for large l, Theoretica Chimica Acta68, 445 (1985)

  15. [15]

    Boys and Handy, The determination of energies and wave- functions with full electronic correlation, Proceedings of the Royal Society of London. A. Mathematical and Phys- ical Sciences310, 43 (1969)

  16. [16]

    J. O. Hirschfelder, Removal of Electron—Electron Poles from Many-Electron Hamiltonians, The Journal of Chem- ical Physics39, 3145 (1963)

  17. [17]

    Yanai and T

    T. Yanai and T. Shiozaki, Canonical transcorrelated the- ory with projected Slater-type geminals, The Journal of Chemical Physics136, 084107 (2012)

  18. [18]

    Kumar, A

    A. Kumar, A. Asthana, C. Masteran, E. F. Valeev, Y. Zhang, L. Cincio, S. Tretiak, and P. A. Dub, Accurate quantum simulation of molecular ground and excited states with a transcorrelated Hamilto- nian 10.48550/arXiv.2201.09852 (2022), arXiv:2201.09852 [physics]

  19. [19]

    Motta, T

    M. Motta, T. P. Gujarati, J. E. Rice, A. Kumar, C. Mas- teran, J. A. Latone, E. Lee, E. F. Valeev, and T. Y. Takeshita, Quantum simulation of electronic structure with a transcorrelated Hamiltonian: Improved accuracy with a smaller footprint on the quantum computer, Phys- ical Chemistry Chemical Physics22, 24270 (2020)

  20. [20]

    Peruzzo, J

    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 processor, Nature Communications5, 4213 (2014)

  21. [21]

    J. I. Colless, V. V. Ramasesh, D. Dahlen, M. S. Blok, M. E. Kimchi-Schwartz, J. R. McClean, J. Carter, W. A. de Jong, and I. Siddiqi, Computation of Molecular Spectra on a Quantum Processor with an Error-Resilient Algorithm, Physical Review X8, 10.1103/PhysRevX.8.011021 (2018)

  22. [22]

    Patel, P

    S. Patel, P. Jayakumar, T. Zeng, and A. F. Iz- maylov, Quantum Seniority-based Subspace Expan- sion: Linear Combinations of Short-Circuit Unitary Transformations for Efficient Quantum Measurements 10.48550/arXiv.2509.01061 (2025), arXiv:2509.01061 [quant-ph]. 11

  23. [23]

    Xie, Z.-Y

    X.-D. Xie, Z.-Y. Xue, and D.-B. Zhang, Variational quan- tum algorithms for scanning the complex spectrum of non-Hermitian systems, Frontiers of Physics19, 41202 (2024), arXiv:2305.19807 [quant-ph]

  24. [24]

    Solinas, B

    M. Solinas, B. Barton, Y. Zhang, J. Nys, and J. Carrasquilla, Biorthogonal Neural Network Ap- proach to Two-Dimensional Non-Hermitian Systems 10.48550/arXiv.2508.01072 (2025), arXiv:2508.01072 [quant-ph]

  25. [25]

    Dobrautz, I

    W. Dobrautz, I. O. Sokolov, K. Liao, P. L. R´ ıos, M. Rahm, A. Alavi, and I. Tavernelli, Ab Initio Transcorrelated Method enabling accurate Quantum Chemistry on near- term Quantum Hardware, arXiv:2303.02007

  26. [26]

    Magnusson, A

    E. Magnusson, A. Fitzpatrick, S. Knecht, M. Rahm, and W. Dobrautz, Towards Efficient Quantum Com- puting for Quantum Chemistry: Reducing Circuit Complexity with Transcorrelated and Adaptive Ansatz Techniques, Faraday Discussions , 10.1039.D4FD00039K (2024), arXiv:2402.16659 [quant-ph]

  27. [27]

    J. Lee, D. W. Berry, C. Gidney, W. J. Huggins, J. R. McClean, N. Wiebe, and R. Babbush, Even More Efficient Quantum Computations of Chemistry Through Tensor Hypercontraction, PRX Quantum2, 030305 (2021)

  28. [28]

    G. H. Low and Y. Su, Quantum Eigenvalue Processing, in2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)(IEEE, Chicago, IL, USA,

  29. [29]

    Babbush, C

    R. Babbush, C. Gidney, D. W. Berry, N. Wiebe, J. Mc- Clean, A. Paler, A. Fowler, and H. Neven, Encoding Electronic Spectra in Quantum Circuits with Linear T Complexity, Physical Review X8, 041015 (2018)

  30. [30]

    R. T. Pack and W. B. Brown, Cusp Conditions for Molec- ular Wavefunctions, The Journal of Chemical Physics45, 556 (1966)

  31. [31]

    J. D. Whitfield, J. Biamonte, and A. Aspuru-Guzik, Simu- lation of electronic structure Hamiltonians using quantum computers, Molecular Physics109, 735 (2011)

  32. [32]

    G. H. Low and I. L. Chuang, Hamiltonian Simulation by Qubitization, Quantum3, 163 (2019), arXiv:1610.06546 [quant-ph]

  33. [33]

    S. J. Chakravorty, S. R. Gwaltney, E. R. Davidson, F. A. Parpia, and C. F. P Fischer, Ground-state correlation energies for atomic ions with 3 to 18 electrons, Physical Review A47, 3649 (1993)

  34. [34]

    P. C. Costa, D. An, Y. R. Sanders, Y. Su, R. Babbush, and D. W. Berry, Optimal Scaling Quantum Linear-Systems Solver via Discrete Adiabatic Theorem, PRX Quantum 3, 10.1103/prxquantum.3.040303 (2022)

  35. [35]

    R. J. Needs, M. D. Towler, N. D. Drummond, P. L´ opez R´ ıos, and J. R. Trail, Variational and diffusion quantum Monte Carlo calculations with the CASINO code, The Journal of Chemical Physics152, 154106 (2020)

  36. [36]

    N. D. Drummond, M. D. Towler, and R. J. Needs, Jas- trow correlation factor for atoms, molecules, and solids, Physical Review B70, 235119 (2004)

  37. [37]

    Author, B

    A. Author, B. Coauthor, and C. Collaborator, QB- GSEE-Benchmark, https://github.com/isi-usc-edu/ qb-gsee-benchmark/(2025), accessed: 2025-10-21

  38. [38]

    D. W. Berry, C. Gidney, M. Motta, J. R. McClean, and R. Babbush, Qubitization of Arbitrary Basis Quantum Chemistry Leveraging Sparsity and Low Rank Factoriza- tion, Quantum3, 208 (2019), arXiv:1902.02134 [physics, physics:quant-ph]

  39. [39]

    M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information(Cambridge University Press, Cambridge; New York, 2010)

  40. [40]

    Jones, Low-overhead constructions for the fault- tolerant Toffoli gate, Physical Review A87, 022328 (2013)

    C. Jones, Low-overhead constructions for the fault- tolerant Toffoli gate, Physical Review A87, 022328 (2013)

  41. [41]

    Bhatia,Matrix Analysis, Graduate Texts in Mathe- matics No

    R. Bhatia,Matrix Analysis, Graduate Texts in Mathe- matics No. 169 (Springer, New York Berlin Paris [etc.], 1997)

  42. [42]

    X. Li, G. Yang, C. M. Torres, D. Zheng, and K. L. Wang, A class of efficient quantum incrementer gates for quantum circuit synthesis, International Journal of Modern Physics B28, 1350191 (2014)