Pith. sign in

REVIEW 4 minor 27 references

A purely continuous spectrum can still force a strict area law for entanglement entropy.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 07:32 UTC pith:VXNXBKWV

load-bearing objection A rigorous proof that absolutely continuous spectrum does not force a log-enhanced area law; solid result worth refereeing.

arxiv 2607.09467 v2 pith:VXNXBKWV submitted 2026-07-10 math-ph math.MP

Entanglement entropy of ground states of the Landau Hamiltonian on the half-plane

Paul Pfeiffer , Wolfgang Spitzer This is my paper
classification math-ph math.MP MSC 47G3035S0547B1047B35
keywords entanglement entropyarea lawLandau Hamiltonianhalf-planeRényi entropyfermionic ground statesparabolic cylinder functionsabsolutely continuous spectrum
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper studies the entanglement entropy of the ground state of non-interacting fermions governed by the Landau Hamiltonian on the half-plane with Dirichlet boundary conditions. Even though this Hamiltonian has purely absolutely continuous spectrum—unlike the full-plane Landau Hamiltonian, which has pure point spectrum—the paper proves that the Rényi entanglement entropy of the ground state, localized to a scaled region LΛ, still obeys a strict area law: it grows at most like a constant times L times the boundary length. Moreover, if the region stays away from the half-plane boundary, the leading coefficient is exactly the same as on the full plane, so the Dirichlet boundary condition does not change the leading asymptotic behaviour. This is the first example of a Hamiltonian with purely absolutely continuous spectrum whose ground states nevertheless satisfy a strict area law, and it shows that spectral type alone does not decide the scaling of entanglement entropy.

Core claim

For any Fermi energy µ∈(1,3), any α>0, and any bounded C^3-smooth region Λ in the half-plane, the paper proves S_α^+(LΛ) ≤ C L |∂_+Λ|, and if dist(Λ,{0}×R)>0 then S_α^+(LΛ)=L|∂Λ|M_0(h_α)+o(L), where M_0(h_α) is the same coefficient that governs the full-plane Landau problem. The mechanism is a fibred spectral decomposition: after a partial Fourier transform in the direction parallel to the boundary, the half-plane Hamiltonian is a direct integral of half-line oscillators H_+(k), and for µ∈(1,3) its Fermi projection is a rank-one projection onto the ground state of H_+(k) for k above a single threshold k_F. The main technical work is a local Hilbert–Schmidt identity comparing this projection

What carries the argument

The central object is the fibred Fermi projection. A partial Fourier transform in x_2 turns H_+ into ∫^⊕ H_+(k) dk, where H_+(k) = -d²/dx² + (x-k)² on L²(R_+) with Dirichlet condition at 0. Its ground-state eigenvalue is λ(k)=2ν(k)+1, with ν(k) defined through the unique zero of the parabolic cylinder function D_ν(-√2k); monotonicity of ν makes the Fermi level µ cut the fibre spectrum at a single threshold k_F. The Fermi projection is therefore ∫_{k≥k_F} |ψ_k⟩⟨ψ_k| dk. Theorem 4.1 expresses the Hilbert–Schmidt norm of the difference between this projection and the full-plane projection on each unit square as an explicit integral of squared differences of the eigenfunctions ψ_k and φ_k; estim

Load-bearing premise

The proof needs the ground-state energy of the half-line oscillator to depend on the Fourier variable k through a strictly monotone function, so that the Fermi level cuts the fibre spectrum at a single threshold k_F; if that monotonicity failed, the Fermi projection would not have the simple fibred rank-one form that everything else builds on.

What would settle it

Compute the Rényi entropy S_α^+(LΛ) numerically for the half-plane Landau Hamiltonian at a Fermi energy such as µ=2, for a bounded region away from the boundary; the theorem predicts S_α^+(LΛ)=L|∂Λ|M_0(h_α)+o(L). A growth like L log L, or a leading coefficient measurably different from M_0(h_α), would disprove the asymptotic statement. Independently, the fibred structure requires that D_ν(-√2k) have exactly one zero for ν∈(0,1); a numerical search showing a second zero for some ν would destroy the single-threshold k_F and with it the proof.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • For any µ∈(1,3) and α>0, the half-plane ground state has Rényi entanglement entropy bounded by C L |∂_+Λ|, so a boundary-induced transition to purely absolutely continuous spectrum does not produce a logarithmic enhancement.
  • For regions at positive distance from the half-plane boundary, the leading entropy coefficient is exactly the full-plane coefficient M_0(h_α), so Dirichlet boundary conditions are invisible in the leading term.
  • The comparison with the full plane is quantitative: the entropy difference for separated regions is bounded by a constant independent of L (indeed exponentially small at the level of Schatten norms).
  • The example separates spectral type from entropy scaling: absolute continuity of the spectrum is not sufficient for a logarithmically enhanced area law.
  • The paper's open question—what finer conditions on absolutely continuous spectrum guarantee log-enhanced area laws—becomes a concrete target for future work.

Where Pith is reading between the lines

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

  • If the same fibred-comparison strategy works for Neumann boundary conditions, the leading coefficient for regions away from the boundary should again be M_0(h_α), since the bulk bound state is unchanged; the paper only treats Dirichlet conditions.
  • The exponential-in-distance decay of the kernel difference suggests the boundary acts as a local perturbation of the Fermi projection; one might expect strict area laws for any boundary condition that preserves the monotone fibre eigenvalue curve, a testable extension.
  • A natural numerical check: for a region whose closure touches the boundary, the paper proves only the O(L) bound, not the coefficient; computing S_α for such regions could reveal whether a boundary correction to M_0(h_α) appears.
  • Reading Section 8 together with the 3D Landau example, the authors' implicit thesis is that the decay of the Fermi projection kernel in the tangential direction, rather than the spectral type, controls the entropy scaling; this suggests classifying Hamiltonians by mixed polynomial/exponential kernel decay rather than by pure/continuous spectrum.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper proves a strict area law for the α-Rényi entanglement entropy of ground-state spectral projections of the Landau Hamiltonian on the half-plane R_+×R with Dirichlet boundary condition, for Fermi energies μ∈(1,3). The main result (Theorem 2.1) gives an upper bound S_α^+(LΛ) ≤ C L |∂_+Λ| for every bounded C^3-smooth region, and, when Λ is separated from the boundary, the leading asymptotic S_α^+(LΛ) = L |∂Λ| M_0(h_α) + o(L). The proof compares the half-plane Fermi projection with the full-plane Landau projection via a local Hilbert–Schmidt identity, estimates the difference using parabolic cylinder function bounds, and applies a Sobolev-type inequality for functions of self-adjoint operators. The spectral analysis is reduced to a direct integral of shifted half-line harmonic oscillators, whose ground-state eigenvalue curves are analyzed in detail in Appendix B.

Significance. If correct, this is a significant result: it provides a rigorous example where a Hamiltonian with purely absolutely continuous spectrum nevertheless exhibits a strict area law, thereby refuting the naive spectral-type heuristic that absolute continuity alone forces logarithmic enhancement. The proof is rigorous and unusually detailed, with explicit estimates for parabolic cylinder functions, a self-contained treatment of form-domain density, and honest statements of what is and is not proved. The external input — the full-plane area-law asymptotic of Charles–Estienne and Leschke–Sobolev–Spitzer — is used correctly and is clearly identified. The paper also raises a well-posed open question about sufficient conditions for enhanced area laws, which adds to its value.

minor comments (4)
  1. [Section 4 / Corollary 4.5] The notation ψ_s for s<0 is introduced only informally in Remark 4.6. Since ψ_s appears in the direct-integral expressions before the cut-off 1_{[k_F,∞)} is applied, the remark is sufficient, but a sentence defining ψ_s for s<0 (e.g., by the same formula or by an arbitrary L^2-normalized family) at the point of first use would improve readability.
  2. [Corollary 4.7] In the proof of the absolute continuity of the spectrum, the equality expressing the spectral projection of H_+ as a direct integral over an interval in k is an operator equality and the notation k_F^+(λ), k_F^-(λ) can be misread as an interval with reversed endpoints. This is cosmetic, but a short clarification of the ordering k_F^+(λ) < k_F^-(λ) would prevent confusion.
  3. [Corollary 6.3] The final sentence of the proof says that the positive-distance bound 'can be improved to an exponentially small upper bound C L exp(−δpL/4)'. As written, the prefactor 'L' is ambiguous with the scaling parameter L; the bound is exponentially small in L, but a reader may wonder whether the prefactor is C or C L. Please clarify the notation.
  4. [Section 8] In the discussion of the vertical decay of the kernel, the statement 'should decay like C/|t|' is based on an unproved integrability assumption on k↦d/dk ψ_k(x). The text is careful to label this as a heuristic, but since the section is otherwise expository, it would be helpful to explicitly distinguish this conditional statement from the rigorously proven horizontal decay.

Circularity Check

0 steps flagged

No significant circularity: the main theorem is derived from a self-contained spectral analysis and an external full-plane comparison, not from its own conclusion.

full rationale

The derivation chain in Theorem 2.1 is not circular. The half-plane Fermi projection is first decomposed through the direct-integral identity (3.22) and the fibred rank-one structure (Corollary 4.5). That structure depends on Lemma 4.4 and hence on the monotonicity of the function ν(k), which is proved in the paper via Corollaries B.9 and B.10 using the Sturm comparison Lemma B.6. This is a genuinely self-contained argument, not an imported ansatz or an assumed uniqueness theorem from the authors' earlier work. The central comparison identity (4.1) is derived, not assumed: it is obtained by writing the difference of the two projected kernels after a partial Fourier transform and using the proven fibred representations. The asymptotic coefficient M0(hα) is taken from the independent full-plane results in [3,12] (Charles–Estienne and Leschke–Sobolev–Spitzer), and the half-plane result is then obtained by proving in Corollary 6.3 and Section 7 that the difference between half-plane and full-plane localized projections is subleading. There is no fitted parameter that is later renamed as a prediction, and the few self-citations ([18,19,20]) are technical or contextual rather than load-bearing: Proposition 6.2's semigroup bound is actually proved in the text, with [18] cited as a source of the method, and [19,20] are used only for motivation or comparison. The paper also explicitly leaves the boundary-touching asymptotic open, so it does not overclaim beyond the proven statement. Overall, the central claim has independent content and the proof does not reduce to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The central claim rides on an external anchor: the full-plane area-law asymptotic (2.7), proved in [3,12] and not re-derived here. The paper's own contribution is a set of comparability estimates between the half-plane and full-plane Fermi projections, obtained with standard semigroup and Schatten tools. No free parameters are introduced: B is fixed by scaling, and the Fermi energy µ is a given parameter. The only threshold k_F is derived from the monotone zero-set of parabolic cylinder functions; it is not fitted. The axioms listed are the unproved external theorems on which the comparison rests.

axioms (4)
  • domain assumption Full-plane area-law asymptotic (2.7): tr f(P_µ(LΛ)) = L|∂Λ|M_0(f) + o(L) for bounded regions
    External input, proved by Leschke–Sobolev–Spitzer (2021) and Charles–Estienne (2020); used to identify the leading coefficient in Theorem 2.1.
  • standard math Diamagnetic inequality for the semigroup of H_+: |e^{-tH_+}(x,y)| ≤ e^{t∆}(x,y) (Eq. 6.10)
    Cited [8]; underpins the Schatten-norm bounds on localized projections in Proposition 6.2.
  • standard math Sobolev's trace-norm inequality for f(A)-f(B) (Eq. 7.1)
    Cited [26]; converts Schatten estimates on projection differences into estimates on entropy differences.
  • standard math Feynman–Kac–Itô formula and standard semigroup theory for the shifted harmonic oscillator on the half-line
    Used to justify the diamagnetic inequality and heat-kernel bounds; standard material in [8,23]. The paper cites but does not re-prove it.

pith-pipeline@v1.3.0-alltime-deepseek · 46741 in / 14326 out tokens · 142624 ms · 2026-08-02T07:32:36.388467+00:00 · methodology

0 comments
read the original abstract

We study the entanglement entropy of ground states of a Hamiltonian defined on a domain with a boundary. Surprisingly, boundary conditions can change the spectrum and the nature of the spectrum drastically but not the leading behaviour of the entanglement entropy. As is well-known, the Landau Hamiltonian on the full plane has pure point spectrum (the infinitely degenerate Landau levels) and ground states display a so-called strict area law. On the other hand, the Landau Hamiltonian on the half-plane has purely absolutely continuous spectrum and yet we prove a strict area law for its ground states. We raise the question of what extra or finer conditions on the absolutely continuous spectrum are necessary to guarantee a logarithmically enhanced area-law as we have for the Laplace operator.

Figures

Figures reproduced from arXiv: 2607.09467 by Paul Pfeiffer, Wolfgang Spitzer.

Figure 1
Figure 1. Figure 1: An illustration of γ0 and γ1,2 Since Czp´8, 0s is simply-connected the different paths that γ0 and γd,R take between ´R´iθpRq and ´R ` iθpRq are homotopic. Hence, the contour integrals with respect to γ0 and γd,R are equal. We are left to show that the contour integral over γd,R converges to the claimed expression as R Ñ 8. Therefore, we split the contour integral of γd,R into the remnants of γ0, the verti… view at source ↗

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 18 canonical work pages

  1. [1]

    Abramowitz and I

    M. Abramowitz and I. A. Stegun, editors.Handbook of mathematical functions, with formulas, graphs, and mathematical tables. Dover Publications, Inc., New York, 1966

    1966

  2. [2]

    R. A. Adams.Sobolev spaces, volume Vol. 65 ofPure and Applied Mathematics. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975

    1975

  3. [3]

    Charles and B

    L. Charles and B. Estienne. Entanglement entropy and Berezin-Toeplitz operators.Comm. Math. Phys., 376(1):521–554, 2020.doi:10.1007/s00220-019-03625-y

    work page doi:10.1007/s00220-019-03625-y 2020

  4. [4]

    De Bi` evre and J

    S. De Bi` evre and J. V. Pul´ e. Propagating edge states for a magnetic Hamiltonian.Math. Phys. Electron. J., 5:Paper 3, 17, 1999.doi:10.1142/9789812777874_0003

    work page doi:10.1142/9789812777874_0003 1999

  5. [5]

    Elgart, L

    A. Elgart, L. Pastur, and M. Shcherbina. Large block properties of the entanglement entropy of free disordered fermions.J. Stat. Phys., 166(3-4):1092–1127, 2017.doi:10.1007/s10955-016-1656-z

    work page doi:10.1007/s10955-016-1656-z 2017

  6. [6]

    L. C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1998

    1998

  7. [7]

    Gioev and I

    D. Gioev and I. Klich. Entanglement entropy of fermions in any dimension and the Widom conjecture.Phys. Rev. Lett., 96(10):100503, 4, 2006.doi:10.1103/PhysRevLett.96.100503

    work page doi:10.1103/physrevlett.96.100503 2006

  8. [8]

    Hundertmark and B

    D. Hundertmark and B. Simon. A diamagnetic inequality for semigroup differences.J. Reine Angew. Math., 571:107–130, 2004.doi:10.1515/crll.2004.036

    work page doi:10.1515/crll.2004.036 2004

  9. [9]

    Kato.Perturbation theory for linear operators, volume 132 ofDie Grundlehren der mathematischen Wis- senschaften

    T. Kato.Perturbation theory for linear operators, volume 132 ofDie Grundlehren der mathematischen Wis- senschaften. Springer-Verlag New York, Inc., New York, 1966

    1966

  10. [10]

    Leschke, A

    H. Leschke, A. V. Sobolev, and W. Spitzer. Scaling of R´ enyi entanglement entropies of the free Fermi-gas ground state: A rigorous proof.Phys. Rev. Lett., 112:160403, Apr 2014.doi:10.1103/PhysRevLett.112.160403

    work page doi:10.1103/physrevlett.112.160403 2014

  11. [11]

    Leschke, A

    H. Leschke, A. V. Sobolev, and W. Spitzer. Large-scale behaviour of local and entanglement entropy of the free Fermi gas at any temperature.J. Phys. A, 49(30):30LT04, 9, 2016.doi:10.1088/1751-8113/49/30/30LT04

    work page doi:10.1088/1751-8113/49/30/30lt04 2016

  12. [12]

    Leschke, A

    H. Leschke, A. V. Sobolev, and W. Spitzer. Asymptotic growth of the local ground-state entropy of the ideal Fermi gas in a constant magnetic field.Comm. Math. Phys., 381(2):673–705, 2021.doi:10.1007/s00220-020-03907-w

    work page doi:10.1007/s00220-020-03907-w 2021

  13. [13]

    M¨ uller, L

    P. M¨ uller, L. Pastur, and R. Schulte. How much delocalisation is needed for an enhanced area law of the entan- glement entropy?Comm. Math. Phys., 376(1):649–679, 2020.doi:10.1007/s00220-019-03523-3

    work page doi:10.1007/s00220-019-03523-3 2020

  14. [14]

    M¨ uller and R

    P. M¨ uller and R. Schulte. Stability of the enhanced area law of the entanglement entropy.Ann. Henri Poincar´ e, 21(11):3639–3658, 2020.doi:10.1007/s00023-020-00961-x

    work page doi:10.1007/s00023-020-00961-x 2020

  15. [15]

    M¨ uller and R

    P. M¨ uller and R. Schulte. Stability of a Szeg˝ o-type asymptotics.J. Math. Phys., 64(2):Paper No. 022101, 11, 2023. doi:10.1063/5.0135006

    work page doi:10.1063/5.0135006 2023

  16. [16]

    Pastur and V

    L. Pastur and V. Slavin. Area law scaling for the entropy of disordered quasifree fermions.Phys. Rev. Lett., 113:150404, Oct 2014. URL:https://link.aps.org/doi/10.1103/PhysRevLett.113.150404,doi:10.1103/ PhysRevLett.113.150404

    work page doi:10.1103/physrevlett.113.150404 2014

  17. [17]

    Pfeiffer

    P. Pfeiffer. On the stability of the area law for the entanglement entropy of the Landau Hamiltonian, 2021. arXiv:2102.07287

    Pith/arXiv arXiv 2021

  18. [18]

    Pfeiffer.On Entangelement Entropy for magnetic Hamiltonians

    P. Pfeiffer.On Entangelement Entropy for magnetic Hamiltonians. PhD thesis, FernUniversit¨ at in Hagen, 2024. doi:10.18445/20250927-052929-0

    work page doi:10.18445/20250927-052929-0 2024

  19. [19]

    Pfeiffer and W

    P. Pfeiffer and W. Spitzer. Entanglement entropy of ground states of the three-dimensional ideal Fermi gas in a magnetic field.Ann. Henri Poincar´ e, 25(8):3649–3698, 2024.doi:10.1007/s00023-023-01381-3

    work page doi:10.1007/s00023-023-01381-3 2024

  20. [20]

    Pfeiffer and W

    P. Pfeiffer and W. Spitzer. Logarithmically enhanced area-laws for fermions in vanishing magnetic fields in dimen- sion two.Integral Equations Operator Theory, 96(4):Paper No. 28, 64, 2024.doi:10.1007/s00020-024-02778-3

    work page doi:10.1007/s00020-024-02778-3 2024

  21. [21]

    Pfirsch and A

    B. Pfirsch and A. V. Sobolev. Formulas of Szeg˝ o type for the periodic Schr¨ odinger operator.Comm. Math. Phys., 358(2):675–704, 2018.doi:10.1007/s00220-018-3106-z

    work page doi:10.1007/s00220-018-3106-z 2018

  22. [22]

    Reed and B

    M. Reed and B. Simon.Methods of modern mathematical physics. I. Functional analysis. Academic Press, New York-London, 1972

    1972

  23. [23]

    Reed and B

    M. Reed and B. Simon.Methods of modern mathematical physics. II. Fourier analysis, self-adjointness. Academic Press, New York-London, 1975

    1975

  24. [24]

    Remmert.Classical topics in complex function theory, volume 172 ofGraduate Texts in Mathematics

    R. Remmert.Classical topics in complex function theory, volume 172 ofGraduate Texts in Mathematics. Springer- Verlag, New York, 1998. Translated from the German by Leslie Kay.doi:10.1007/978-1-4757-2956-6

    doi:10.1007/978-1-4757-2956-6 1998

  25. [25]

    B. Simon. Schr¨ odinger operators with purely discrete spectrum.Methods Funct. Anal. Topology, 15(1):61–66, 2009. URL:https://mfat.imath.kiev.ua/article/?id=495. 40 P. PFEIFFER, W. SPITZER

    2009

  26. [26]

    A. V. Sobolev. Functions of self-adjoint operators in ideals of compact operators.J. Lond. Math. Soc. (2), 95(1):157–176, 2017.doi:10.1112/jlms.12010

    work page doi:10.1112/jlms.12010 2017

  27. [27]

    E. T. Whittaker. On the functions associated with the parabolic cylinder in harmonic analysis.Proc. Lond. Math. Soc., 35:417–427, 1903.doi:10.1112/plms/s1-35.1.417. Ludwig-Maximilians-Universit¨at M¨unchen, F akult¨at f¨ur Mathematik, Informatik und Statistik There- sienstraße 39, 80333 M ¨unchen F akult¨at f¨ur Mathematik und Informatik, FernUniversit¨at...

    work page doi:10.1112/plms/s1-35.1.417 1903