Recognition: 2 theorem links
· Lean TheoremAccuracy and resource advantages of quantum eigenvalue estimation with non-Hermitian transcorrelated electronic Hamiltonians
Pith reviewed 2026-05-17 04:14 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [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)
- [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
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
-
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
-
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
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
axioms (2)
- domain assumption Transcorrelated Hamiltonians possess real spectra suitable for QEVE
- standard math Standard qubitization costs scale as reported for the chosen basis sets
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
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.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The QEVE algorithm encodes a sum of Chebyshev polynomials in H... G(H/α, L) = (1 - L⊗H/α) / (1 - 2L⊗H/α + L²⊗1)
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]
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]
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]
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]
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]
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]
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]
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]
C. H¨ attig, W. Klopper, A. K¨ ohn, and D. P. Tew, Explicitly Correlated Electrons in Molecules, Chemical Reviews112, 4 (2012)
work page 2012
-
[9]
T. Helgaker, P. Jørgensen, and J. Olsen,Molecular Electronic-Structure Theory(Wiley, Hoboken, 2014)
work page 2014
-
[10]
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)
work page 1995
-
[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)
work page 2012
-
[12]
T. Kato, On the eigenfunctions of many-particle systems in quantum mechanics, Communications on Pure and Applied Mathematics10, 151 (1957)
work page 1957
-
[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)
work page 1929
-
[14]
W. Kutzelnigg, r12-Dependent terms in the wave function as closed sums of partial wave amplitudes for large l, Theoretica Chimica Acta68, 445 (1985)
work page 1985
-
[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)
work page 1969
-
[16]
J. O. Hirschfelder, Removal of Electron—Electron Poles from Many-Electron Hamiltonians, The Journal of Chem- ical Physics39, 3145 (1963)
work page 1963
-
[17]
T. Yanai and T. Shiozaki, Canonical transcorrelated the- ory with projected Slater-type geminals, The Journal of Chemical Physics136, 084107 (2012)
work page 2012
-
[18]
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]
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)
work page 2020
-
[20]
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)
work page 2014
-
[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]
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]
-
[24]
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]
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]
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]
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)
work page 2021
-
[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]
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)
work page 2018
-
[30]
R. T. Pack and W. B. Brown, Cusp Conditions for Molec- ular Wavefunctions, The Journal of Chemical Physics45, 556 (1966)
work page 1966
-
[31]
J. D. Whitfield, J. Biamonte, and A. Aspuru-Guzik, Simu- lation of electronic structure Hamiltonians using quantum computers, Molecular Physics109, 735 (2011)
work page 2011
-
[32]
G. H. Low and I. L. Chuang, Hamiltonian Simulation by Qubitization, Quantum3, 163 (2019), arXiv:1610.06546 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[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)
work page 1993
-
[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]
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)
work page 2020
-
[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)
work page 2004
- [37]
- [38]
-
[39]
M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information(Cambridge University Press, Cambridge; New York, 2010)
work page 2010
-
[40]
C. Jones, Low-overhead constructions for the fault- tolerant Toffoli gate, Physical Review A87, 022328 (2013)
work page 2013
-
[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)
work page 1997
-
[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)
work page 2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.