pith. sign in

arxiv: 2411.03680 · v3 · submitted 2024-11-06 · 🪐 quant-ph · cond-mat.stat-mech

A Hierarchy of Spectral Gap Certificates for Frustration-Free Spin Systems

Kshiti Sneh Rai , Ilya Kull , Patrick Emonts , Jordi Tura , Norbert Schuch , Flavio Baccari This is my paper

Pith reviewed 2026-05-23 17:58 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.stat-mech
keywords spectral gapfrustration-free Hamiltonianssemidefinite programmingquantum spin systemsthermodynamic limitgap certification
0
0 comments X

The pith

A hierarchy of semidefinite programs provides lower bounds on the spectral gap of frustration-free quantum Hamiltonians in the thermodynamic limit.

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

The paper introduces a hierarchy of semidefinite programs to certify lower bounds on the spectral gap for frustration-free quantum Hamiltonians that hold even in the infinite-size limit. The optimization finds proofs of a gap that improve upon previous finite-size methods such as Knabe's bound, which emerge as special cases. On one-dimensional spin chains the new certificates detect gaps in more parameter regimes and with much higher precision than before. Readers should care because a positive gap guarantees stable low-energy physics, exponential decay of correlations, and efficient simulation in some cases.

Core claim

The gap certification problem for frustration-free Hamiltonians can be formulated as a hierarchy of semidefinite programs whose feasible solutions yield rigorous lower bounds on the gap that are valid in the thermodynamic limit, and this hierarchy is guaranteed to match or exceed the performance of prior methods.

What carries the argument

Hierarchy of semidefinite programs optimizing over gap certificates that become tighter at higher levels of the hierarchy.

If this is right

  • The bounds apply directly in the thermodynamic limit without needing finite-size scaling.
  • Any feasible solution to the SDP at a given level provides a valid gap lower bound.
  • On tested one-dimensional models the bounds improve by several orders of magnitude in accuracy and detectable parameter range.
  • The method can certify gaps where previous finite-size approaches failed.

Where Pith is reading between the lines

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

  • If the hierarchy converges with level, solving successive SDPs could approximate the true gap value numerically.
  • The technique might be adapted to certify related properties such as correlation length bounds or uniqueness of the ground state.
  • Similar SDP hierarchies could be explored for gap certification in systems with weak frustration or in higher dimensions.

Load-bearing premise

The quantum Hamiltonians must be frustration-free so that all local terms share a common ground state, allowing the SDP certificates to be constructed and remain valid in the thermodynamic limit.

What would settle it

A concrete counterexample would be a frustration-free Hamiltonian whose spectral gap is known to vanish in the thermodynamic limit, yet the SDP hierarchy returns a strictly positive lower bound at some finite level.

Figures

Figures reproduced from arXiv: 2411.03680 by Flavio Baccari, Ilya Kull, Jordi Tura, Kshiti Sneh Rai, Norbert Schuch, Patrick Emonts.

Figure 1
Figure 1. Figure 1: FIG. 1. Illustration of the two relaxation steps. (a) Geo [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: shows the Knabe (eq. (22)) and Gosset– Mozgunov (eq. (23)) lower bounds, and the lower bounds computed with our method (the solution of eq. (11)), all for different values of n. In addition the finite systems gaps obtained using exact diagonalization for periodic boundary conditions (PBC) are plotted for n = 8, 12 and 16 as horizontal lines. We observe that while all three methods (ours, Knabe, and Gosset–… view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Gaps of the [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Gaps of the 1D Glauber Hamiltonian family. For a [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
read the original abstract

Estimating spectral gaps of quantum many-body Hamiltonians is a highly challenging computational task, even under assumptions of locality and translation-invariance. Yet, the quest for rigorous gap certificates is motivated by their broad applicability, ranging from many-body physics to quantum computing and classical sampling techniques. Here we present a general method for obtaining lower bounds on the spectral gap of frustration-free quantum Hamiltonians in the thermodynamic limit. We formulate the gap certification problem as a hierarchy of optimization problems (semidefinite programs) in which the certificate -- a proof of a lower bound on the gap -- is improved with increasing levels. Our approach encompasses existing finite-size methods, such as Knabe's bound and its subsequent improvements, as those appear as particular possible solutions in our optimization, which is thus guaranteed to either match or surpass them. We demonstrate the power of the method on one-dimensional spin-chain models where we observe an improvement by several orders of magnitude over existing finite size criteria in both the accuracy of the lower bound on the gap, as well as the range of parameters in which a gap is detected.

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 / 2 minor

Summary. The paper presents a hierarchy of semidefinite programs (SDPs) to certify lower bounds on the spectral gap of frustration-free quantum Hamiltonians in the thermodynamic limit. The optimization is formulated such that higher levels tighten the certificate, and existing finite-size methods (Knabe's bound and improvements) appear as particular feasible points, guaranteeing that the new bounds match or exceed prior ones. Numerical results on 1D spin chains are reported to show orders-of-magnitude gains in bound accuracy and the range of parameters where a gap is detected.

Significance. If the SDP hierarchy is correctly formulated to produce valid infinite-volume certificates, the approach supplies a general, non-degrading framework that systematically improves on finite-size gap bounds. The explicit inclusion of prior methods as feasible points is a clear strength, as are the reported numerical improvements on concrete models. This could advance rigorous analysis in many-body physics, quantum information, and related areas.

major comments (2)
  1. [SDP formulation and thermodynamic limit (likely §3–4)] The central claim that the hierarchy yields valid thermodynamic-limit certificates rests on the SDP relaxations (finite-support or translation-invariant) correctly bounding the infinite-volume gap. The manuscript must explicitly derive or prove this correspondence, including how frustration-freeness is used to ensure feasibility and validity in the limit; without this, the guarantee relative to Knabe-type bounds cannot be verified as load-bearing.
  2. [Numerical demonstrations on 1D models] Numerical section: the reported orders-of-magnitude improvement in gap lower bounds and detection range must be accompanied by explicit SDP formulations, solver tolerances, and convergence checks across hierarchy levels; otherwise the comparison to existing methods lacks the required rigor for the central claim.
minor comments (2)
  1. [Notation and definitions] Clarify notation for the hierarchy levels and the precise mapping from finite-size certificates to the infinite-volume SDP variables.
  2. [Comparison to existing methods] Add a short table or explicit list showing which prior bounds (Knabe, etc.) correspond to which level or feasible point in the new hierarchy.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and constructive feedback. We address each major comment below. We will revise the manuscript to improve clarity on the thermodynamic-limit correspondence and to supply the requested numerical details.

read point-by-point responses

  1. Referee: [SDP formulation and thermodynamic limit (likely §3–4)] The central claim that the hierarchy yields valid thermodynamic-limit certificates rests on the SDP relaxations (finite-support or translation-invariant) correctly bounding the infinite-volume gap. The manuscript must explicitly derive or prove this correspondence, including how frustration-freeness is used to ensure feasibility and validity in the limit; without this, the guarantee relative to Knabe-type bounds cannot be verified as load-bearing.

    Authors: Sections 3 and 4 already contain the derivation: we show that any feasible point of the SDP hierarchy produces a translation-invariant operator whose expectation value on the infinite-volume ground state is bounded below by a positive multiple of the local gap, using frustration-freeness to guarantee that the global ground state is a product of local kernels. This directly implies the infinite-volume spectral-gap lower bound and ensures that Knabe-type finite-size certificates are recovered as feasible points. To address the request for explicitness, we will add a dedicated lemma that isolates this correspondence and a short paragraph restating how frustration-freeness enters the feasibility argument. revision: yes

  2. Referee: [Numerical demonstrations on 1D models] Numerical section: the reported orders-of-magnitude improvement in gap lower bounds and detection range must be accompanied by explicit SDP formulations, solver tolerances, and convergence checks across hierarchy levels; otherwise the comparison to existing methods lacks the required rigor for the central claim.

    Authors: We agree that the numerical section would benefit from additional implementation details. In the revised manuscript we will include the precise SDP matrices for the models studied, the solver (MOSEK) and its duality-gap tolerance, the hierarchy levels computed, and supplementary figures or tables documenting monotonic improvement and stabilization of the bounds with increasing level. These additions will make the reported gains fully reproducible and strengthen the comparison with prior methods. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper formulates spectral gap certification for frustration-free Hamiltonians as a hierarchy of SDPs whose feasible points include prior finite-size bounds (e.g., Knabe) as special cases, guaranteeing non-degradation by construction of the optimization. This inclusion is a standard property of relaxations and does not reduce any reported bound to a fitted parameter or self-referential definition. No load-bearing step equates a derived certificate to its own input via self-citation chains, ansatz smuggling, or renaming; the method remains self-contained under the explicit assumptions of frustration-freeness and SDP feasibility in the thermodynamic limit.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the method is described purely as an optimization hierarchy.

pith-pipeline@v0.9.0 · 5737 in / 1076 out tokens · 21195 ms · 2026-05-23T17:58:15.330905+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

57 extracted references · 57 canonical work pages · 6 internal anchors

  1. [1]

    Entanglement Or- der Parameters

    than what is possible using the two other finite size criteria. V. CONCLUSION AND OUTLOOK In this paper, we put forward a semidefinite pro- gramming hierarchy for certifying the spectral gap of frustration-free Hamiltonians. The method relies on a well-known relation between the positivity of a quadratic operator in the Hamiltonian and the existence of a ...

    work page doi:10.55776/p36305 2020

  2. [2]

    M. B. Hastings, An area law for one-dimensional quan- tum systems, Journal of Statistical Mechanics: Theory and Experiment 2007, P08024 (2007)

    work page 2007

  3. [3]

    M. B. Hastings and T. Koma, Spectral Gap and Expo- nential Decay of Correlations, Communications in Math- ematical Physics 265, 781 (2006)

    work page 2006

  4. [4]

    Anshu, I

    A. Anshu, I. Arad, and D. Gosset, An area law for 2D frustration-free spin systems, in Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Com- puting (2022) pp. 12–18, arXiv:2103.02492 [cond-mat, physics:quant-ph]

    work page arXiv 2022

  5. [5]

    Landau, U

    Z. Landau, U. Vazirani, and T. Vidick, A polynomial time algorithm for the ground state of one-dimensional gapped local Hamiltonians, Nature Physics 11, 566 (2015)

    work page 2015

  6. [6]

    M. B. Hastings, Lieb-Schultz-Mattis in higher dimen- sions, Physical Review B 69, 104431 (2004)

    work page 2004

  7. [7]

    Bachmann, S

    S. Bachmann, S. Michalakis, B. Nachtergaele, and R. Sims, Automorphic Equivalence within Gapped Phases of Quantum Lattice Systems, Communications in 11 Mathematical Physics 309, 835 (2012)

    work page 2012

  8. [8]

    Y. Ge, A. Moln´ ar, and J. I. Cirac, Rapid Adiabatic Preparation of Injective Projected Entangled Pair States and Gibbs States, Physical Review Letters 116, 080503 (2016)

    work page 2016

  9. [9]

    K. S. Rai, J.-F. Chen, P. Emonts, and J. Tura, Spectral Gap Optimization for Enhanced Adiabatic State Prepa- ration (2024), arXiv:2409.15433 [quant-ph]

    work page arXiv 2024

  10. [10]

    Adiabatic Quantum State Generation and Statistical Zero Knowledge

    D. Aharonov and A. Ta-Shma, Adiabatic Quantum State Generation and Statistical Zero Knowledge (2003), arXiv:quant-ph/0301023

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  11. [11]

    Verstraete, M

    F. Verstraete, M. M. Wolf, D. Perez-Garcia, and J. I. Cirac, Criticality, the Area Law, and the Computational Power of Projected Entangled Pair States, Physical Re- view Letters 96, 220601 (2006)

    work page 2006

  12. [12]

    Bausch, T

    J. Bausch, T. S. Cubitt, A. Lucia, and D. Perez-Garcia, Undecidability of the Spectral Gap in One Dimension, Physical Review X 10, 031038 (2020)

    work page 2020

  13. [13]

    Cubitt, D

    T. Cubitt, D. Perez-Garcia, and M. M. Wolf, Undecid- ability of the Spectral Gap (full version), Forum of Math- ematics, Pi 10, e14 (2022), arXiv:1502.04573 [cond-mat, physics:hep-th, physics:math-ph, physics:quant-ph]

    work page arXiv 2022

  14. [14]

    Perales-Eceiza, T

    ´A. Perales-Eceiza, T. Cubitt, M. Gu, D. P´ erez-Garc´ ıa, and M. M. Wolf, Undecidability in Physics: A Review (2024)

    work page 2024

  15. [15]

    Nachtergaele, The spectral gap for some spin chains with discrete symmetry breaking, Communications in Mathematical Physics 175, 565 (1996), arXiv:cond- mat/9410110

    B. Nachtergaele, The spectral gap for some spin chains with discrete symmetry breaking, Communications in Mathematical Physics 175, 565 (1996), arXiv:cond- mat/9410110

    work page arXiv 1996

  16. [16]

    Knabe, Energy gaps and elementary excitations for certain VBS-quantum antiferromagnets, Journal of Sta- tistical Physics 52, 627 (1988)

    S. Knabe, Energy gaps and elementary excitations for certain VBS-quantum antiferromagnets, Journal of Sta- tistical Physics 52, 627 (1988)

    work page 1988

  17. [17]

    Fannes, B

    M. Fannes, B. Nachtergaele, and R. F. Werner, Finitely correlated states on quantum spin chains, Communica- tions in Mathematical Physics 144, 443 (1992)

    work page 1992

  18. [18]

    Berenstein and G

    D. Berenstein and G. Hulsey, Bootstrapping Simple QM Systems (2021), arXiv:2108.08757 [hep-lat, physics:hep- th, physics:quant-ph]

    work page arXiv 2021

  19. [19]

    Berenstein and G

    D. Berenstein and G. Hulsey, A Semidefinite Pro- gramming algorithm for the Quantum Mechanical Bootstrap, Physical Review E 107, L053301 (2023), arXiv:2209.14332 [hep-th, physics:quant-ph]

    work page arXiv 2023

  20. [20]

    C. O. Nancarrow and Y. Xin, Bootstrapping the gap in quantum spin systems (2023), arXiv:2211.03819 [cond- mat, physics:hep-th, physics:quant-ph]

    work page arXiv 2023

  21. [21]

    Local gap threshold for frustration-free spin systems

    D. Gosset and E. Mozgunov, Local gap threshold for frustration-free spin systems, Journal of Mathematical Physics 57, 091901 (2016), arXiv:1512.00088 [cond-mat, physics:math-ph, physics:quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  22. [22]

    M. J. Kastoryano and A. Lucia, Divide and conquer method for proving gaps of frustration free Hamiltoni- ans, Journal of Statistical Mechanics: Theory and Exper- iment 2018, 033105 (2018), arXiv:1705.09491 [math-ph, physics:quant-ph]

    work page arXiv 2018

  23. [23]

    Spectral gaps of frustration-free spin systems with boundary

    M. Lemm and E. Mozgunov, Spectral gaps of frustration- free spin systems with boundary, Journal of Mathemat- ical Physics 60, 051901 (2019), arXiv:1801.08915 [cond- mat, physics:math-ph, physics:quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  24. [24]

    Anshu, Improved local spectral gap thresholds for lat- tices of finite dimension, Physical Review B 101, 165104 (2020), arXiv:1909.01516 [cond-mat, physics:quant-ph]

    A. Anshu, Improved local spectral gap thresholds for lat- tices of finite dimension, Physical Review B 101, 165104 (2020), arXiv:1909.01516 [cond-mat, physics:quant-ph]

    work page arXiv 2020

  25. [25]

    Lemm and D

    M. Lemm and D. Xiang, Quantitatively improved finite-size criteria for spectral gaps, Journal of Physics A: Mathematical and Theoretical 55, 295203 (2022), arXiv:2112.07756 [cond-mat, physics:math-ph, physics:quant-ph]

    work page arXiv 2022

  26. [26]

    Abdul-Rahman, M

    H. Abdul-Rahman, M. Lemm, A. Lucia, B. Nachtergaele, and A. Young, A class of two-dimensional AKLT models with a gap (2020) pp. 1–21, arXiv:1901.09297 [cond-mat, physics:math-ph, physics:quant-ph]

    work page arXiv 2020

  27. [27]

    W. Guo, N. Pomata, and T.-C. Wei, Nonzero spectral gap in several uniformly spin-2 and hybrid spin-1 and spin- 2 AKLT models, Physical Review Research 3, 013255 (2021)

    work page 2021

  28. [28]

    Nachtergaele, S

    B. Nachtergaele, S. Warzel, and A. Young, Spectral Gaps and Incompressibility in a ν = 1/3 Fractional Quantum Hall System, Communications in Mathematical Physics 383, 1093 (2021)

    work page 2021

  29. [29]

    Warze1 and A

    S. Warze1 and A. Young, The spectral gap of a fractional quantum Hall system on a thin torus, Journal of Mathe- matical Physics 63, 041901 (2022)

    work page 2022

  30. [30]

    Lemm, Gaplessness is not generic for translation- invariant spin chains, Physical Review B 100, 035113 (2019)

    M. Lemm, Gaplessness is not generic for translation- invariant spin chains, Physical Review B 100, 035113 (2019)

    work page 2019

  31. [31]

    Wouters, H

    J. Wouters, H. Katsura, and D. Schuricht, Interrelations among frustration-free models via Witten’s conjugation, SciPost Physics Core 4, 027 (2021)

    work page 2021

  32. [32]

    Andrei, M

    R. Andrei, M. Lemm, and R. Movassagh, The spin- one Motzkin chain is gapped for any area weight t < 1 (2022), arXiv:2204.04517 [cond-mat, physics:math-ph, physics:quant-ph]

    work page arXiv 2022

  33. [33]

    Haferkamp and N

    J. Haferkamp and N. Hunter-Jones, Improved spectral gaps for random quantum circuits: Large local dimen- sions and all-to-all interactions, Physical Review A 104, 022417 (2021)

    work page 2021

  34. [34]

    Lancien and D

    C. Lancien and D. P´ erez-Garc´ ıa, Correlation Length in Random MPS and PEPS, Annales Henri Poincar´ e 23, 141 (2022)

    work page 2022

  35. [35]

    M. Lemm, A. Sandvik, and S. Yang, The AKLT model on a hexagonal chain is gapped, Journal of Statistical Physics 177, 1077 (2019), arXiv:1904.01043 [cond-mat, physics:math-ph, physics:quant-ph]

    work page arXiv 2019

  36. [36]

    Pomata and T.-C

    N. Pomata and T.-C. Wei, Demonstrating the AKLT spectral gap on 2D degree-3 lattices, Physical Review Letters 124, 177203 (2020), arXiv:1911.01410 [cond-mat, physics:math-ph, physics:quant-ph]

    work page arXiv 2020

  37. [37]

    M. Lemm, A. W. Sandvik, and L. Wang, Existence of a Spectral Gap in the Affleck-Kennedy-Lieb-Tasaki Model on the Hexagonal Lattice, Physical Review Let- ters 124, 177204 (2020), arXiv:1910.11810 [cond-mat, physics:math-ph, physics:quant-ph]

    work page arXiv 2020

  38. [38]

    E. Cruz, F. Baccari, J. Tura, N. Schuch, and J. I. Cirac, Preparation and verification of tensor network states, Physical Review Research 4, 023161 (2022), arXiv:2105.06866 [quant-ph]

    work page arXiv 2022

  39. [39]

    S. P. Boyd and L. Vandenberghe, Convex Optimization, version 29 ed. (Cambridge University Press, Cambridge New York Melbourne New Delhi Singapore, 2023)

    work page 2023

  40. [40]

    Reehorst, S

    M. Reehorst, S. Rychkov, D. Simmons-Duffin, B. Sirois, N. Su, and B. Van Rees, Navigator function for the con- formal bootstrap, SciPost Physics 11, 072 (2021)

    work page 2021

  41. [41]

    I. Kull, N. Schuch, B. Dive, and M. Navascu´ es, Lower Bounding Ground-State Energies of Local Hamiltoni- ans Through the Renormalization Group, Physical Re- view X 14, 021008 (2024), arXiv:2212.03014 [cond-mat, physics:quant-ph]

    work page arXiv 2024

  42. [42]

    Lemm and A

    M. Lemm and A. Lucia, On the critical finite-size gap 12 scaling for frustration-free Hamiltonians (2024)

    work page 2024

  43. [43]

    F. G. S. L. Brandao, A. W. Harrow, and M. Horodecki, Local random quantum circuits are approximate polynomial-designs, Communications in Mathematical Physics 346, 397 (2016), arXiv:1208.0692 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  44. [44]

    Affleck, T

    I. Affleck, T. Kennedy, E. H. Lieb, and H. Tasaki, Rig- orous results on valence-bond ground states in antiferro- magnets, Physical Review Letters 59, 799 (1987)

    work page 1987

  45. [45]

    Affleck, T

    I. Affleck, T. Kennedy, E. H. Lieb, and H. Tasaki, Valence bond ground states in isotropic quantum antiferromag- nets, Communications in Mathematical Physics 115, 477 (1988)

    work page 1988

  46. [46]

    Garcia-Saez, V

    A. Garcia-Saez, V. Murg, and T.-C. Wei, Spectral gaps of Affleck-Kennedy-Lieb-Tasaki Hamiltonians using tensor network methods, Physical Review B 88, 245118 (2013)

    work page 2013

  47. [47]

    Mingru Yang, private communication

    work page

  48. [48]

    M. ´A. Rozm´ an,Bounding Spectral Gaps in the Matrix Product State Formalism , Master’s thesis, University of Vienna (2024)

    work page 2024

  49. [49]

    J. I. Cirac, D. P´ erez-Garc´ ıa, N. Schuch, and F. Ver- straete, Matrix product states and projected entangled pair states: Concepts, symmetries, theorems, Reviews of Modern Physics 93, 045003 (2021)

    work page 2021

  50. [50]

    Quantum kinetic Ising models

    R. Augusiak, F. M. Cucchietti, F. Haake, and M. Lewen- stein, Quantum kinetic Ising models, New Journal of Physics 12, 025021 (2010), arXiv:0911.0624 [cond-mat, physics:quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  51. [51]

    Fawzi, O

    H. Fawzi, O. Fawzi, and S. O. Scalet, Entropy constraints for ground energy optimization, Journal of Mathematical Physics 65, 032201 (2024)

    work page 2024

  52. [52]

    J. Wang, J. Surace, I. Fr´ erot, B. Legat, M.-O. Renou, V. Magron, and A. Ac´ ın, Certifying ground-state prop- erties of quantum many-body systems, Physical Review X 14, 031006 (2024), arXiv:2310.05844 [quant-ph]

    work page arXiv 2024

  53. [53]

    Movassagh and P

    R. Movassagh and P. W. Shor, Supercritical entangle- ment in local systems: Counterexample to the area law for quantum matter, Proceedings of the National Academy of Sciences 113, 13278 (2016)

    work page 2016

  54. [54]

    Quantum phase transition from bounded to extensive entanglement entropy in a frustration-free spin chain

    Z. Zhang, A. Ahmadain, and I. Klich, Quantum phase transition from bounded to extensive entan- glement entropy in a frustration-free spin chain (2016), arXiv:1606.07795 [cond-mat, physics:math-ph, physics:quant-ph]. Appendix A: The LTI condition is the only freedom in TI Hamiltonians In the main text, we used the property that if two local operators suppo...

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  55. [55]

    (22) The finite size criteria bounds are based on comparing the contribution of different overlapping and non-overlapping anticommutator terms {hi, hj} in H2

    Knabe bound eq. (22) The finite size criteria bounds are based on comparing the contribution of different overlapping and non-overlapping anticommutator terms {hi, hj} in H2. The method is based on deriving an operator approximation for global operator H2 (on the full system), in terms of the open boundary Hamiltonian on a finite system of n sites. We def...

    work page

  56. [56]

    Gosset–Mozgunov bound eq. (23) Similar to the previous section, we will derive the positive n−local term qn(∆GM(n)) for the Gosset–Mozgunov bound which has the expression ∆◦ m ≥ ∆GM(n) = 5 6 n2 + n n2 − 4 ϵn − 6 n2 + n , (C24) where it lower bounds the gap of system size m > 2n. Expanding the global operator Qn(∆GM(n)), we obtain Qn(∆GM(n)) = H + {hi, hi+...

    work page

  57. [57]

    (31) We show that the martingale bound of the blocked Hamiltonian K is contained in the feasible set of the LTI SDP

    Martingale condition bound eq. (31) We show that the martingale bound of the blocked Hamiltonian K is contained in the feasible set of the LTI SDP. We will mainly use the inequality (Lemma 6.3(2) of [16]) {PI,I+1, PI+1,I+2} ⪰ − η(PI,I+1 + PI+1,I+2), (C51) The lower bound on the gap of Hamiltonian K after using the above inequality is K2 ⪰ (1 − 2η)K. (C52)...

    work page