Recognition: 2 theorem links
· Lean TheoremA Critical Assessment of the Sample-Based Quantum Diagonalization for Heisenberg and Hubbard Models
Pith reviewed 2026-05-08 18:16 UTC · model grok-4.3
The pith
Sample-based quantum diagonalization requires exponentially many configurations to match ground-state energies of Heisenberg and Hubbard models even with perfect sampling.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By constructing SQD subspaces exclusively from the exact classical ground-state configurations of Heisenberg and Hubbard models, the authors isolate the intrinsic configuration-space structure of the wavefunction. They find that the smallest number of configurations sufficient to reproduce the ground-state energy to a fixed accuracy threshold increases exponentially with system size, and that this growth remains unchanged even when configurations are added in optimal order of decreasing probability. The exponential requirement therefore originates from the delocalization of the wavefunction across the computational basis rather than from any inefficiency in state preparation or measurement.
What carries the argument
Subspace construction from exact ground-state computational-basis configurations, which removes quantum hardware noise and exposes the intrinsic configuration-space entropy and delocalization of the target wavefunction.
If this is right
- SQD performance on these models is limited by the delocalized nature of the ground-state wavefunctions rather than by sampling noise.
- The method effectively measures the configuration-space entropy of the target state.
- Exponential growth in required configurations persists across both optimal and random selection orders.
- Similar scalability barriers are expected for any many-body system whose ground state is spread over an exponentially large fraction of the computational basis.
Where Pith is reading between the lines
- Methods that augment SQD with additional classical heuristics for configuration selection may be required to reach larger system sizes.
- Models whose ground states are more localized in the computational basis could evade the exponential barrier identified here.
- Direct comparison of the observed scaling against the growth of configuration-space entropy provides a quantitative test for the delocalization hypothesis.
Load-bearing premise
That subspaces built directly from exact classical ground-state configurations correctly capture the configuration-space structure that would govern SQD performance on actual quantum hardware.
What would settle it
Compute the number of highest-probability configurations needed to reach a fixed energy error on successively larger lattices and check whether the count deviates from exponential growth in system size.
Figures
read the original abstract
Sample-based quantum diagonalization (SQD) constructs subspaces from computational-basis configurations obtained via measurements of a quantum state, with the goal of approximating low-energy eigenspaces of many-body Hamiltonians. The effectiveness of this approach relies on the assumption that physically relevant states admit a compact representation in the computational basis. We investigate this assumption by analyzing SQD subspaces constructed directly from configurations of exact ground states of Heisenberg and Hubbard model lattices. By eliminating state-preparation and measurement inefficiencies, we isolate the intrinsic configuration-space structure of the wavefunction. We determine the minimal number of configurations required to reproduce the ground-state energy within fixed accuracy thresholds and find that this number grows exponentially with the system size. Notably, this scaling persists even under optimal inclusion of configurations in order of decreasing probability, demonstrating that it originates from intrinsic delocalization of the wavefunction rather than sampling inefficiencies. Our results indicate that SQD effectively probes the configuration-space entropy but faces fundamental scalability limitations for these models.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript critically evaluates Sample-Based Quantum Diagonalization (SQD) for the Heisenberg and Hubbard models. By constructing subspaces directly from the computational-basis configurations of exact ground states (sorted by probability), the authors remove sampling and state-preparation noise to test the assumption that low-energy states admit compact representations in the computational basis. They report that the minimal number of configurations needed to recover the ground-state energy to fixed accuracy thresholds grows exponentially with system size, even under optimal ordering, and conclude that this reflects intrinsic wavefunction delocalization (high configuration-space entropy) rather than sampling inefficiencies, implying fundamental scalability limits for SQD on these models.
Significance. If the exponential scaling result holds, the work provides a clean, noise-free demonstration that SQD performance is limited by the intrinsic structure of the wavefunctions in these strongly correlated models. The choice to use exact eigenstates is a methodological strength that isolates the core assumption without confounding factors. This finding is relevant for assessing the practical reach of measurement-based hybrid quantum algorithms and could inform whether SQD remains viable beyond small lattices or requires substantial modifications.
major comments (2)
- [§4] §4 (Numerical results): the central claim of exponential growth in the required number of configurations is presented without sufficient quantitative detail on the lattice sizes studied, the precise energy accuracy thresholds employed, or the fitting procedure used to extract the exponential scaling. These omissions make the load-bearing numerical result difficult to verify or reproduce from the given information.
- [§5] §5 (Discussion): the analysis relies exclusively on subspaces drawn from exact ground-state configurations. However, practical SQD on quantum hardware uses approximate states (e.g., VQE outputs) whose measurement statistics and probability ordering over basis states can differ from the exact distribution. The manuscript does not test or discuss whether the reported exponential scaling persists under such approximate sampling, which directly affects the applicability of the scalability conclusion to real SQD implementations.
minor comments (2)
- [Abstract] Abstract: include at least one concrete example of lattice size and accuracy threshold to immediately convey the scale of the numerical experiments.
- [Figures] Figure captions: ensure all plots of energy error versus number of configurations explicitly label the accuracy thresholds and indicate which curves correspond to optimal versus random ordering.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback on our manuscript. The comments highlight important aspects of clarity and applicability that we address below. We provide point-by-point responses to the major comments.
read point-by-point responses
-
Referee: [§4] §4 (Numerical results): the central claim of exponential growth in the required number of configurations is presented without sufficient quantitative detail on the lattice sizes studied, the precise energy accuracy thresholds employed, or the fitting procedure used to extract the exponential scaling. These omissions make the load-bearing numerical result difficult to verify or reproduce from the given information.
Authors: We agree that the numerical results section would benefit from greater quantitative detail to support reproducibility. In the revised manuscript, we will add a summary table in §4 listing all lattice sizes examined (e.g., 2×2 up to 8×8 for the Heisenberg model and comparable sizes for the Hubbard model), the exact energy accuracy thresholds applied (0.01, 0.001, and 0.0001 in relative error), and a description of the fitting procedure (linear regression performed on log(N_config) versus linear system size to extract the exponential scaling coefficient, with reported R² values). These additions will make the central claim fully verifiable. revision: yes
-
Referee: [§5] §5 (Discussion): the analysis relies exclusively on subspaces drawn from exact ground-state configurations. However, practical SQD on quantum hardware uses approximate states (e.g., VQE outputs) whose measurement statistics and probability ordering over basis states can differ from the exact distribution. The manuscript does not test or discuss whether the reported exponential scaling persists under such approximate sampling, which directly affects the applicability of the scalability conclusion to real SQD implementations.
Authors: Our study deliberately employs exact ground-state configurations to isolate the intrinsic configuration-space entropy of the target wavefunctions, thereby testing the core assumption of SQD without confounding factors from state preparation or sampling noise. This methodological choice is stated explicitly in the abstract and introduction. We did not perform additional numerical experiments with approximate states such as VQE outputs. In the revised discussion (§5), we will add a paragraph acknowledging that practical SQD employs approximate states whose probability distributions may differ, while noting that the exponential scaling observed even under optimal (exact) ordering implies that suboptimal sampling from approximate states cannot reduce the required subspace size below the reported exponential trend. This strengthens rather than weakens the scalability conclusion, but we recognize that direct tests with approximate states would provide further support. revision: partial
Circularity Check
No circularity: empirical numerical extraction from exact eigenstates
full rationale
The paper's central result is obtained by direct computation: exact ground-state wavefunctions of Heisenberg and Hubbard models are used to generate computational-basis configurations, which are then sorted by probability and incrementally included in subspaces whose diagonalization yields energy errors. This process is a straightforward numerical protocol with no fitted parameters, no predictions derived from the target quantity itself, and no equations or claims that reduce by construction to prior inputs. No self-citations appear in the provided text as load-bearing premises, and the exponential scaling is reported as an observed outcome rather than a derived identity. The analysis is therefore self-contained and externally falsifiable via independent exact-diagonalization benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Exact ground states of the Heisenberg and Hubbard models on finite lattices can be obtained by classical diagonalization and faithfully represent the configuration-space structure relevant to SQD.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost (J(x)=½(x+x⁻¹)−1)washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the spread of the wavefunction over basis configurations can be quantified by the von Neumann entropy on eigenvectors, generalizing to the Shannon entropy of the eigenvalues S = −Σ pᵢ log pᵢ. The quantity N_eff = e^S defines the effective number of configurations
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]
Martin.Electronic structure : basic the- ory and practical methods
Richard M. Martin.Electronic structure : basic the- ory and practical methods. Second edition. Cam- bridge: Cambridge University Press, 2020.isbn: 1-108-65747-8. 8
2020
-
[2]
Mahan.Many-Particle Physics
Gerald D. Mahan.Many-Particle Physics. Third edition. Physics of Solids and Liquids. New York: Springer New York, 2013.isbn: 978-1- 4419-3339-3.doi: https://doi.org/10.1007/ 978-1-4757-5714-9
2013
-
[3]
Mod- ern quantum chemistry : introduction to ad- vanced electronic structure theory
Attila Szabó and Neil S. Ostlund. “Mod- ern quantum chemistry : introduction to ad- vanced electronic structure theory”. In: 1982. url: https : / / api . semanticscholar . org / CorpusID:94743139
1982
-
[4]
Confidence in Assurance 2.0 Cases
Takao Tsuneda. “Quantum Chemistry”. In: Density Functional Theory in Quantum Chemistry. Tokyo: Springer Japan, 2014, pp. 1–33.isbn: 978-4-431-54825-6.doi: 10.1007/978- 4- 431- 54825-6_1 .url: https://doi.org/10.1007/ 978-4-431-54825-6_1
-
[5]
Quantum Algorithms for Quantum Chemistry and Quantum Materials Science
Bela Bauer et al. “Quantum Algorithms for Quantum Chemistry and Quantum Materials Science”. In:Chemical Reviews120.22 (2020). PMID: 33090772, pp. 12685–12717.doi: 10 . 1021 / acs . chemrev . 9b00829. eprint: https : //doi.org/10.1021/acs.chemrev.9b00829 . url: https : / / doi . org / 10 . 1021 / acs . chemrev.9b00829
-
[6]
I. M. Georgescu, S. Ashhab, and Franco Nori. “Quantum simulation”. In:Rev. Mod. Phys.86 (1 Mar. 2014), pp. 153–185.doi: 10 . 1103 / RevModPhys.86.153.url: https://link.aps. org/doi/10.1103/RevModPhys.86.153
-
[7]
Exact diagonalization of quantum- spin models
H. Q. Lin. “Exact diagonalization of quantum- spin models”. In:Phys. Rev. B42 (10 Oct. 1990), pp. 6561–6567.doi: 10 . 1103 / PhysRevB . 42 . 6561.url: https://link.aps.org/doi/10. 1103/PhysRevB.42.6561
1990
-
[8]
Fouriscale: A frequency perspective on training-free high-resolution image synthesis,
Alexander Weiße and Holger Fehske. “Exact Diagonalization Techniques”. In:Computational Many-Particle Physics. Ed. by H. Fehske, R. Schneider, and A. Weiße. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp. 529–544. isbn: 978-3-540-74686-7.doi: 10.1007/978-3- 540-74686-7_18 .url: https://doi.org/10. 1007/978-3-540-74686-7_18
-
[9]
An Iteration Method for the Solution of the Eigenvalue Problem of Lin- ear Differential and Integral Operators
Cornelius Lanczos. “An Iteration Method for the Solution of the Eigenvalue Problem of Lin- ear Differential and Integral Operators”. In: Journal of Research of the National Bureau of Stan- dards45.4 (1950), pp. 255–282
1950
-
[10]
Subspace methods for elec- tronic structure simulations on quantum com- puters
Mario Motta et al. “Subspace methods for elec- tronic structure simulations on quantum com- puters”. In:Electronic Structure6.1 (Mar. 2024), p. 013001.doi: 10.1088/2516- 1075/ad3592 . url: https://doi.org/10.1088/2516-1075/ ad3592
-
[11]
Jarrod R. McClean et al. “Hybrid quantum- classical hierarchy for mitigation of decoher- ence and determination of excited states”. In: Phys. Rev. A95 (4 Apr. 2017), p. 042308.doi: 10 . 1103 / PhysRevA . 95 . 042308.url: https : //link.aps.org/doi/10.1103/PhysRevA.95. 042308
-
[12]
Partitioned Quantum Sub- space Expansion
Tom O’Leary et al. “Partitioned Quantum Sub- space Expansion”. In:Quantum9 (May 2025), p. 1726.issn: 2521-327X.doi: 10 . 22331 / q - 2025-05-05-1726 .url: https://doi.org/10. 22331/q-2025-05-05-1726
2025
- [13]
-
[14]
A Multireference Quantum Krylov Algorithm for Strongly Correlated Elec- trons
Nicholas H. Stair, Renke Huang, and Francesco A. Evangelista. “A Multireference Quantum Krylov Algorithm for Strongly Correlated Elec- trons”. In:Journal of Chemical Theory and Com- putation16.4 (2020). PMID: 32091895, pp. 2236– 2245.doi: 10.1021/acs.jctc.9b01125. eprint: https : / / doi . org / 10 . 1021 / acs . jctc . 9b01125.url: https : / / doi . org ...
-
[15]
Robert M. Parrish and Peter L. McMahon. Quantum Filter Diagonalization: Quantum Eigen- decomposition without Full Quantum Phase Esti- mation. 2019. arXiv: 1909 . 08925 [quant-ph]. url:https://arxiv.org/abs/1909.08925
-
[16]
Nobuyuki Yoshioka et al. “Krylov diagonal- ization of large many-body Hamiltonians on a quantum processor”. In:Nature Communica- tions16.1 (2025), p. 5014.issn: 2041-1723.doi: 10.1038/s41467- 025- 59716- z .url: https: //doi.org/10.1038/s41467-025-59716-z
-
[17]
Javier Robledo-Moreno et al. “Chemistry be- yond the scale of exact diagonalization on a quantum-centric supercomputer”. In:Sci- ence Advances11.25 (2025), eadu9991.doi: 10. 1126/sciadv.adu9991 . eprint: https://www. science . org / doi / pdf / 10 . 1126 / sciadv . adu9991.url: https : / / www . science . org / doi/abs/10.1126/sciadv.adu9991
- [18]
- [19]
-
[20]
Evaluating Sample-Based Krylov Quantum Diagonalization for Heisen- berg Models with Applications to Materials Science
Neel Misciasci et al. “Evaluating Sample-Based Krylov Quantum Diagonalization for Heisen- berg Models with Applications to Materials Science”. In:Entropy28.4 (2026).issn: 1099- 4300.doi: 10 . 3390 / e28040367.url: https : //www.mdpi.com/1099-4300/28/4/367
2026
- [21]
- [22]
-
[23]
J. C. Slater. “The Theory of Complex Spectra”. In:Phys. Rev.34 (10 Nov. 1929), pp. 1293–1322. doi: 10.1103/PhysRev.34.1293 .url: https: //link.aps.org/doi/10.1103/PhysRev.34. 1293
-
[24]
Courier Corporation, 2012
Attila Szabo and Neil S Ostlund.Modern quan- tum chemistry: introduction to advanced electronic structure theory. Courier Corporation, 2012
2012
-
[25]
Springer Science & Business Media, 2012
Assa Auerbach.Interacting electrons and quan- tum magnetism. Springer Science & Business Media, 2012
2012
-
[26]
The wave mechanics of an atom with a non-Coulomb central field. Part I. Theory and methods
Douglas R Hartree. “The wave mechanics of an atom with a non-Coulomb central field. Part I. Theory and methods”. In:Mathematical Pro- ceedings of the Cambridge Philosophical Society. Vol. 24. 1. Cambridge university press. 1928, pp. 89–110
1928
-
[27]
Näherungsmethode zur Lö- sung des quantenmechanischen Mehrkörper- problems
Vladimir Fock. “Näherungsmethode zur Lö- sung des quantenmechanischen Mehrkörper- problems”. In:Zeitschrift für Physik61.1 (1930), pp. 126–148
1930
-
[28]
A variational eigen- value solver on a photonic quantum processor
Alberto Peruzzo et al. “A variational eigen- value solver on a photonic quantum processor”. In:Nature communications5.1 (2014), p. 4213
2014
-
[29]
An adaptive vari- ational algorithm for exact molecular simula- tions on a quantum computer
Harper R Grimsley et al. “An adaptive vari- ational algorithm for exact molecular simula- tions on a quantum computer”. In:Nature com- munications10.1 (2019), p. 3007
2019
-
[30]
Improved Vari- ational Quantum Eigensolver Via Quasidy- namical Evolution
Manpreet Singh Jattana et al. “Improved Vari- ational Quantum Eigensolver Via Quasidy- namical Evolution”. In:Phys. Rev. Appl.19 (2 Feb. 2023), p. 024047.doi: 10 . 1103 / PhysRevApplied . 19 . 024047 .url: https : / / link . aps . org / doi / 10 . 1103 / PhysRevApplied.19.024047
2023
-
[31]
Assessment of the Variational Quantum Eigensolver: Appli- cation to the Heisenberg Model
Manpreet Singh Jattana et al. “Assessment of the Variational Quantum Eigensolver: Appli- cation to the Heisenberg Model”. In:Frontiers in PhysicsVolume 10 - 2022 (2022).issn: 2296- 424X.doi: 10.3389/fphy.2022.907160 .url: https : / / www . frontiersin . org / journals / physics / articles / 10 . 3389 / fphy . 2022 . 907160
-
[32]
Bottomonia in quark –antiquark confining potential,
Manpreet Singh Jattana. “Quantum annealer accelerates the variational quantum eigensolver in a triple-hybrid algorithm”. In:Physica Scripta 99.9 (Aug. 2024), p. 095117.doi: 10.1088/1402- 4896 / ad6aea.url: https : / / doi . org / 10 . 1088/1402-4896/ad6aea
-
[33]
Slice- wise initial state optimization to improve cost and accuracy of the VQE on lattice models
Cedric Gaberle and Manpreet S Jattana. “Slice- wise initial state optimization to improve cost and accuracy of the VQE on lattice models”. In:Physica Scripta100.12 (Dec. 2025), p. 125112. doi: 10.1088/1402-4896/ae26f8.url: https: //doi.org/10.1088/1402-4896/ae26f8
-
[34]
Zur Theorie des Fer- romagnetismus
Werner Heisenberg. “Zur Theorie des Fer- romagnetismus”. In:Zeitschrift für Physik49 (1928), pp. 619–636.doi: 10.1007/BF01328601
-
[35]
Electron correlations in narrow energy bands
J. Hubbard. “Electron correlations in narrow energy bands”. In:Proceedings of the Royal Soci- ety of London. A. Mathematical and Physical Sci- ences276.1365 (Nov. 1963), pp. 238–257.issn: 0080-4630.doi: 10 . 1098 / rspa . 1963 . 0204. eprint: https : / / royalsocietypublishing . org / rspa / article - pdf / 276 / 1365 / 238 / 54456/rspa.1963.0204.pdf .url...
-
[36]
Über das Paulische Äquivalenzverbot
Pascual Jordan and Eugene Wigner. “Über das Paulische Äquivalenzverbot”. In:Zeitschrift für Physik47 (1928), pp. 631–651.doi: 10.1007/ BF01331938
1928
-
[37]
Generalized Jordan- Wigner Transformations
C. D. Batista and G. Ortiz. “Generalized Jordan- Wigner Transformations”. In:Phys. Rev. Lett.86 (6 Feb. 2001), pp. 1082–1085.doi: 10 . 1103 / PhysRevLett . 86 . 1082.url: https : / / link . aps . org / doi / 10 . 1103 / PhysRevLett . 86 . 1082
2001
-
[38]
https://github
pylanczos developers.pylanczos: A Python pack- age for Lanczos eigensolvers. https://github. com/mrcdr/pylanczos . Accessed: 2026-03-25. 2023
2026
-
[39]
John Von Neumann.Mathematische grundlagen der quantenmechanik. Vol. 38. Springer-Verlag, 2013
2013
-
[40]
A mathematical the- ory of communication
Claude Elwood Shannon. “A mathematical the- ory of communication”. In:ACM SIGMOBILE mobile computing and communications review5.1 (2001), pp. 3–55. 10
2001
-
[41]
An area law for one- dimensional quantum systems
M B Hastings. “An area law for one- dimensional quantum systems”. In:Journal of Statistical Mechanics: Theory and Experiment 2007.08 (Aug. 2007), P08024.doi: 10 . 1088 / 1742 - 5468 / 2007 / 08 / P08024.url: https : / / doi . org / 10 . 1088 / 1742 - 5468 / 2007 / 08 / P08024
2007
-
[42]
Col- loquium: Area laws for the entanglement en- tropy
J. Eisert, M. Cramer, and M. B. Plenio. “Col- loquium: Area laws for the entanglement en- tropy”. In:Rev. Mod. Phys.82 (1 Feb. 2010), pp. 277–306.doi: 10 . 1103 / RevModPhys . 82 . 277.url: https : / / link . aps . org / doi / 10 . 1103/RevModPhys.82.277
2010
-
[43]
Many-body localization edge in the random-field Heisenberg chain
David J. Luitz, Nicolas Laflorencie, and Fa- bien Alet. “Many-body localization edge in the random-field Heisenberg chain”. In:Phys. Rev. B91 (8 Feb. 2015), p. 081103.doi: 10 . 1103 / PhysRevB . 91 . 081103.url: https : / / link . aps.org/doi/10.1103/PhysRevB.91.081103
-
[44]
Global characteristics of all eigenstates of local many-body Hamiltonians: participa- tion ratio and entanglement entropy
W Beugeling, A Andreanov, and Masudul Haque. “Global characteristics of all eigenstates of local many-body Hamiltonians: participa- tion ratio and entanglement entropy”. In:Jour- nal of Statistical Mechanics: Theory and Experi- ment2015.2 (Feb. 2015), P02002.doi: 10.1088/ 1742 - 5468 / 2015 / 02 / P02002.url: https : / / doi . org / 10 . 1088 / 1742 - 546...
2015
-
[45]
Variational quantum state diagonalization
Ryan LaRose et al. “Variational quantum state diagonalization”. In:npj Quantum Information 5.1 (June 2019), p. 57.issn: 2056-6387.doi: 10. 1038/s41534-019-0167-6 .url: https://doi. org/10.1038/s41534-019-0167-6
-
[46]
Rinka Miura.Active Sampling Sample-based Quantum Diagonalization from Finite-Shot Measurements. 2026. arXiv: 2603 . 13536 [quant-ph].url: https://arxiv.org/abs/ 2603.13536
work page internal anchor Pith review arXiv 2026
- [47]
-
[48]
Variational quan- tum subspace construction via symmetry- preserving cost functions
Hamzat A. Akande et al. “Variational quan- tum subspace construction via symmetry- preserving cost functions”. In:Physical Review A112.3 (Sept. 2025).issn: 2469-9934.doi: 10. 1103/6hpp- zl5h.url: http://dx.doi.org/ 10.1103/6hpp-zl5h. 11
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.