Recognition: 2 theorem links
· Lean TheoremActive Sampling Sample-based Quantum Diagonalization from Finite-Shot Measurements
Pith reviewed 2026-05-15 11:25 UTC · model grok-4.3
The pith
AS-SQD uses an Epstein-Nesbet acquisition function to select the most important basis states from finite-shot samples and recover lower ground-state energies than random or standard SQD.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
AS-SQD iteratively diagonalizes the Hamiltonian restricted to a growing set of measured basis states, generates all states connected by single Hamiltonian terms, and adds the candidates that score highest on the Epstein-Nesbet second-order energy correction; across simulated and hardware runs the procedure produces substantially smaller absolute energy errors than standard SQD or random expansion while remaining robust to 20 percent excited-state contamination and real SPAM errors.
What carries the argument
Epstein-Nesbet second-order energy correction used as an acquisition function that ranks candidate basis states by the estimated second-order lowering of the variational energy when each is added to the current diagonalized subspace.
Load-bearing premise
The Epstein-Nesbet second-order correction still ranks candidate states correctly even when the prepared state contains excited-state contamination and only finite-shot measurements are available.
What would settle it
A controlled experiment in which AS-SQD and random expansion are run to the same subspace size on a model where the second-order perturbation approximation is known to be poor, such as a strongly disordered or highly frustrated spin chain, and the energy errors of AS-SQD are not lower.
Figures
read the original abstract
Near-term quantum devices provide only finite-shot measurements and prepare imperfect, contaminated states. This motivates algorithms that convert samples into reliable low-energy estimates without full tomography or exhaustive measurements. We propose Active Sampling Sample-based Quantum Diagonalization (AS-SQD), framing SQD as an active learning problem: given measured bitstrings, which additional basis states should be included to efficiently recover the ground-state energy? SQD restricts the Hamiltonian to a selected set of basis states and classically diagonalizes the restricted matrix. However, naive SQD using only sampled states suffers from bias under finite-shot sampling and excited-state contamination, while blind random expansion is inefficient as system size grows. We introduce a perturbation-theoretic acquisition function based on Epstein--Nesbet second-order energy corrections to rank candidate basis states connected to the current subspace. At each iteration, AS-SQD diagonalizes the restricted Hamiltonian, generates connected candidates, and adds the most valuable ones according to this score. We evaluate AS-SQD on disordered Heisenberg and Transverse-Field Ising (TFIM) spin chains up to 16 qubits under a preparation model mixing 80\% ground state and 20\% first excited state. Furthermore, we validate its robustness against real-world state preparation and measurement (SPAM) errors using physical samples from an IBM Quantum processor. Across simulated and hardware evaluations, AS-SQD consistently achieves substantially lower absolute energy errors than standard SQD and random expansion. Detailed ablation studies demonstrate that physics-guided basis acquisition effectively concentrates computation on energetically relevant directions, bypassing exponential combinatorial bottlenecks.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes Active Sampling Sample-based Quantum Diagonalization (AS-SQD), which frames SQD as an active learning problem and introduces a perturbation-theoretic acquisition function based on Epstein-Nesbet second-order energy corrections to rank and add candidate basis states connected to the current restricted subspace. It evaluates the method on disordered Heisenberg and TFIM spin chains up to 16 qubits under an 80/20 ground/excited state preparation model, plus physical samples from an IBM Quantum processor, claiming substantially lower absolute energy errors than standard SQD and random expansion, with ablation studies showing that the physics-guided selection concentrates on relevant directions.
Significance. If the empirical improvements hold under the reported conditions, the approach offers a concrete way to mitigate bias from finite-shot sampling and state-preparation errors in near-term quantum diagonalization algorithms by using perturbative guidance to expand the basis efficiently, avoiding both the bias of naive SQD and the combinatorial cost of exhaustive or random expansion.
major comments (2)
- [Acquisition function definition and § on initial subspace construction] The acquisition function relies on the Epstein-Nesbet second-order correction to rank candidates relative to the current diagonalized subspace. However, the initial samples are drawn from an 80/20 ground/excited mixture, so the reference state already contains substantial contamination; the perturbative ranking assumes the current variational state is sufficiently close to the true ground state that higher-order terms and off-diagonal couplings to excited states remain negligible. The manuscript does not provide a quantitative error analysis or bound demonstrating that the ranking remains reliable under this contamination level, which directly affects whether the active loop selects the energetically most important states.
- [Results and evaluation sections] The central empirical claim is that AS-SQD achieves substantially lower absolute energy errors than baselines across simulated and hardware evaluations. The provided abstract and summary contain no numerical values, error bars, number of trials, or tables quantifying the improvement (e.g., mean absolute error reduction on 16-qubit instances), making it impossible to assess effect size or statistical significance from the given material.
minor comments (1)
- [Abstract] The acronym AS-SQD is used in the title and abstract before being defined; expand on first use.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable comments on our manuscript. We address each of the major comments below and indicate the revisions we will make.
read point-by-point responses
-
Referee: [Acquisition function definition and § on initial subspace construction] The acquisition function relies on the Epstein-Nesbet second-order correction to rank candidates relative to the current diagonalized subspace. However, the initial samples are drawn from an 80/20 ground/excited mixture, so the reference state already contains substantial contamination; the perturbative ranking assumes the current variational state is sufficiently close to the true ground state that higher-order terms and off-diagonal couplings to excited states remain negligible. The manuscript does not provide a quantitative error analysis or bound demonstrating that the ranking remains reliable under this contamination level, which directly affects whether the active loop selects the energetically most important states.
Authors: We agree that a quantitative error analysis for the acquisition function under the 20% excited-state contamination would strengthen the manuscript. While our empirical evaluations demonstrate robust performance, we did not include a dedicated bound or sensitivity analysis in the original submission. In the revised manuscript, we will add a new subsection in the Methods or Results section that provides numerical experiments quantifying the ranking stability across different contamination levels and derives approximate error bounds based on perturbation theory to address this concern. revision: yes
-
Referee: [Results and evaluation sections] The central empirical claim is that AS-SQD achieves substantially lower absolute energy errors than baselines across simulated and hardware evaluations. The provided abstract and summary contain no numerical values, error bars, number of trials, or tables quantifying the improvement (e.g., mean absolute error reduction on 16-qubit instances), making it impossible to assess effect size or statistical significance from the given material.
Authors: The full manuscript includes detailed results with numerical values, error bars, and statistics from multiple trials in the evaluation sections. However, we acknowledge that the abstract does not report specific numbers. We will revise the abstract to include key quantitative findings, such as the mean absolute energy errors and the number of trials performed, to allow readers to better assess the improvements. revision: yes
Circularity Check
Acquisition function derived from independent standard perturbation theory; no circularity
full rationale
The paper's central derivation introduces an acquisition function based on Epstein-Nesbet second-order energy corrections applied to the restricted Hamiltonian. This follows directly from established perturbation theory in quantum chemistry, without any reduction to fitted parameters from the final energy estimate, self-referential definitions, or load-bearing self-citations. The active sampling loop uses this external theoretical ranking to select basis states, and the overall claim of lower energy errors is evaluated empirically against baselines rather than forced by construction. No steps match the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math The Epstein-Nesbet second-order perturbation correction can be used to estimate the energy lowering from adding a basis state to the subspace.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce a perturbation-theoretic acquisition function based on Epstein–Nesbet second-order energy corrections to rank candidate basis states... a(k)= |⟨k|H|ψ_S⟩|² / |E_S - H_kk|
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
AS-SQD consistently achieves substantially lower absolute energy errors than standard SQD and random expansion
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
-
A Critical Assessment of the Sample-Based Quantum Diagonalization for Heisenberg and Hubbard Models
SQD needs an exponentially increasing number of computational-basis configurations to approximate ground-state energies of Heisenberg and Hubbard models within fixed accuracy, even when configurations are chosen optim...
Reference graph
Works this paper leans on
-
[1]
Preskill, Quantum computing in the nisq era and beyond, Quantum2, 79 (2018)
J. Preskill, Quantum computing in the nisq era and beyond, Quantum2, 79 (2018)
work page 2018
- [2]
-
[3]
A. Peruzzo, J. R. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P. J. Love, A. Aspuru-Guzik, and J. L. O’Brien, A varia- tional eigenvalue solver on a photonic quantum processor, Nat. Commun.5, 4213 (2014)
work page 2014
-
[4]
A. Kandala, A. Mezzacapo, K. Temme, M. Takita, M. Brink, J. M. Chow, and J. M. Gambetta, Hardware-efficient variational quantum eigensolver for small molecules and quantum mag- nets, Nature549, 242 (2017)
work page 2017
-
[5]
J. R. McClean, S. Boixo, V . N. Smelyanskiy, R. Babbush, and H. Neven, Barren plateaus in quantum neural network training landscapes, Nat. Commun.9, 4812 (2018)
work page 2018
- [6]
-
[7]
N. M. Tubman, J. Lee, T. Y . Takeshita, M. Head-Gordon, and K. B. Whaley, A deterministic alternative to the full configura- tion interaction quantum monte carlo method, J. Chem. Phys. 145, 044112 (2016)
work page 2016
-
[8]
A. A. Holmes, N. M. Tubman, and C. J. Umrigar, Heat-bath configuration interaction: An efficient selected configuration interaction algorithm inspired by heat-bath sampling, J. Chem. Theory Comput.12, 3674 (2016)
work page 2016
-
[9]
J. R. McClean, M. E. Kimchi-Schwartz, J. Carter, and W. A. de Jong, Hybrid quantum-classical hierarchy for mitigation of decoherence and determination of excited states, Phys. Rev. A 95, 042308 (2017)
work page 2017
- [10]
- [11]
-
[12]
T. O’Leary, L. W. Anderson, D. Jaksch, and M. Kiffner, Parti- tioned quantum subspace expansion, Quantum9, 1726 (2025)
work page 2025
- [13]
-
[14]
S. Piccinelli, A. Baiardi, S. Barison, M. Rossmannek, A. Car- rera Vazquez, F. Tacchino, S. Mensa, E. Altamura, A. Alavi, M. Motta, J. Robledo-Moreno, W. Kirby, K. Sharma, A. Mezza- capo, and I. Tavernelli, Quantum chemistry with provable con- vergence via randomized sample-based krylov quantum diago- nalization (2025), arXiv:2508.02578 [quant-ph]
-
[15]
S. Cantori, L. Brodoloni, E. Recchi, E. Costa, B. Juli´a-D´ıaz, and S. Pilati, Adaptive-basis sample-based neural diagonalization for quantum many-body systems (2025), arXiv:2508.12724 [quant-ph]
-
[16]
P. S. Epstein, The stark effect from the point of view of schroedinger’s quantum theory, Phys. Rev.28, 695 (1926)
work page 1926
-
[17]
J. Biermanet al., Towards utility-scale electronic structure with sample-based methods on real quantum hardware, ChemRxiv preprint 10.26434/chemrxiv-2025-lwj7d (2025), experiments executed on the IBM Quantum Pittsburgh (Heron r3) proces- sor
-
[18]
A. Kandala, K. Temme, A. D. C ´orcoles, and et al., Error miti- gation extends the computational reach of a noisy quantum pro- cessor, Nature567, 491 (2019)
work page 2019
- [19]
-
[20]
S. Endo, S. C. Benjamin, and Y . Li, Practical quantum error mitigation for near-future applications, Phys. Rev. X8, 031027 (2018)
work page 2018
-
[21]
Settles,Active learning literature survey, Tech
B. Settles,Active learning literature survey, Tech. Rep. TR1648 (University of Wisconsin–Madison, Department of Computer Sciences, 2009)
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.