Pith. sign in

REVIEW 4 major objections 5 minor 42 references

Electronic structure models with 2D symmetries in the presence of magnetic fields

T0 review · 4 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read Magnetic-translation-invariant states decompose into Wigner-type spectral projectors, enabling explicit kinetic-energy formulas.

desk verdict The operator characterization is a genuine advance, but the paper's central 3D kinetic-energy formula is printed inconsistently—proof, theorem, and abstract disagree on prefactors that matter. read the letter →

arxiv 2509.09049 v1 pith:V6FOYHRC submitted 2025-09-10 math-ph math.MP

Carlos J. Garcia-Cervera , Salma Lahbabi , Abdallah Maichine This is my paper
classification math-phmath.MP MSC 81Q1082B1047A70
keywords magnetictranslationsWignertransformLandauoperatorkineticenergyfunctionalhomogeneouselectrongasdensitytheoryspectraldecompositionthermodynamiclimit
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that any non-negative, locally trace-class operator commuting with all magnetic translations has a rigid structure: it is a sum of infinite-dimensional orthogonal projectors built from a Wigner-type transform, with a trace per unit area proportional to the sum of the coefficients. This characterization extends earlier results that required commutation with the Landau operator, and it does not rely on the magnetic translations forming a group. The authors use the decomposition to derive explicit formulas for the kinetic energy density of two- and three-dimensional homogeneous electron gases in a uniform magnetic field, recovering the non-magnetic limits. They also reduce the kinetic energy of a three-dimensional system with two-dimensional symmetry to a one-dimensional functional, mapping 3D magnetic density-functional models onto simpler 1D problems.

What carries the argument

The Wigner-type transform W^{2d}_α(f, g)(x₁, x₂) = (2π)^(-1/2) ∫ f(x₁ - k/α) g(k) e^{-ikx₂} dk, which is an isometry from L²(R) × L²(R) to L²(R²) by the Moyal identity; it generates the projectors K^{2d}_{ψ}. Magnetic translations m^b_R act on this transform by shifting the window, and a fiber decomposition over the x₂-direction reduces commutation with all magnetic translations to a simple relation among fibers, leading to the spectral decomposition.

What would settle it

Compute L^{3d}_A W^{3d}_{b₃}(f, g) for concrete Schwartz functions, e.g., Hermite functions, and verify explicitly whether it equals W^{3d}_{b₃}(H^{2d}f, g); a single counterexample would invalidate Proposition 4.2 and Theorem 3.11.

Watch

Extended reading notes

Core claim

Theorem 3.1 and Theorem 3.3 establish that if an operator η on L²(R²) commutes with magnetic translations, then η = Σ λₙ K^{2d}_{ψₙ}, where {ψₙ} is an orthonormal basis of L²(R), λₙ ≥ 0, and K^{2d}_{ψₙ} is the orthogonal projector onto the subspace {W^{2d}_b(ψₙ, g) : g ∈ L²(R)} generated by the Wigner-type transform W^{2d}_b. The trace per unit area is (b/2π) Σ λₙ. The analogous 3D statement holds for operators on L²(R³) commuting with two-dimensional magnetic translations. This gives a complete spectral picture for magnetic-translation-invariant states and yields the explicit kinetic-energy densities ω^{2d}(b, ρ) and ω^{3d}(b, ρ) via the bathtub principle.

Load-bearing premise

The proof of Theorem 3.11 relies on the unproved identity L^{3d}_A W^{3d}_{b₃}(f, g) = W^{3d}_{b₃}(H^{2d}f, g); if this identity fails, the reduction of the 3D kinetic energy to the 1D functional collapses.

Editorial extensions

If this is right

  • The explicit formula ω^{2d}(b, ρ) = πρ² + (b²/4π){2πρ/b}(1 - {2πρ/b}) shows the kinetic energy density is piecewise linear with a periodicity that reflects Landau-level filling, and reduces to πρ² as b → 0.
  • The 3D formula ω^{3d}(b, ρ) = δρ/6 + (b²/6π²) Σₙ ε^bₙ(δ - ε^bₙ)₁₊^{1/2} provides the magnetic Thomas–Fermi kinetic energy, recovering the standard ρ^{5/3} limit at zero field.
  • Theorem 3.11 reduces the kinetic energy of a 3D system with 2D symmetry to a 1D functional over trace-class operators G on L²(R), making 3D magnetic density-functional models as tractable as 1D problems.
  • The characterization applies without assuming commutation with the Landau operator, so it covers a wider class of magnetic-translation-invariant states than previous structural results.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The spectral decomposition may provide a natural basis for defining entropy, correlation, or exchange functionals on magnetic-translation-invariant states, since the coefficients λₙ behave like occupancies of Wigner windows.
  • The reduction mechanism in Theorem 3.11 likely extends to interacting models with 2D symmetries, because the factorization rests on the kinetic-energy identity rather than on the non-interacting assumption.
  • The trace-per-unit-area coefficient b/(2π) ties the decomposition to the Landau level degeneracy, suggesting that the projectors K^{2d}_{ψ} are a basis for the algebra of magnetic-translation-invariant observables; one could test this by constructing explicit non-commuting invariant operators.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

Summary. The paper characterizes self-adjoint operators that commute with magnetic translations in two dimensions and in three dimensions with two-dimensional symmetry (Theorems 3.1 and 3.3), and uses this characterization to derive explicit kinetic energy densities for homogeneous electron gases (Propositions 3.5 and 3.7) and to reduce the 3D kinetic energy of a 2D-symmetric system to a 1D functional (Theorem 3.11). The main tools are a Wigner-type transform, fiber decomposition in the translation-invariant direction, and the bathtub principle.

Significance. The characterization theorem is a potentially substantial structural extension of [18, Prop. 2.5]: it removes the assumption of commutativity with the Landau operator. The reduction theorem, if its key identity is supplied, would be useful for magnetic density functional theory. The paper is analytic, mostly self-contained, and Theorems 3.1 and 3.3 are clearly formulated. However, the quantitative results on homogeneous gases are presented in mutually inconsistent forms, and the asymptotic analysis in Appendix A contains a scaling error. These issues currently prevent the central quantitative claims from being accepted as stated.

major comments (4)
  1. [§3.2.2, Eq. (3.10); §4.3; Abstract/Introduction] The formula for ω3d appears in three incompatible forms. The Abstract/Introduction states δρ/3 + b²/(3π²)Σ ε_n(δ-ε_n)^{1/2}_+; Proposition 3.7, Eq. (3.10), states δρ/6 + b²/(6π²)Σ ε_n(δ-ε_n)^{1/2}_+; the final displayed calculation in §4.3 gives δρ/6 + b/(6π²)Σ ε_n(δ-ε_n)^{1/2}_+. Only the proof's version follows from the preceding algebra. The discrepancy is not cosmetic: with the b² coefficient the sum vanishes as b→0, whereas with the proof's b coefficient it contributes to the continuum limit. All occurrences must be reconciled.
  2. [Appendix A.1 and Proposition 3.9] The announced limit (A.1), π^{4/3}/6^{1/3}ρ^{5/3}, disagrees with the proof's final line and with Proposition 3.9, which state (3π²)^{2/3}/3 ρ^{5/3}; these differ by a factor 2^{1/3}. The source is a scaling error: from (3.11), Σ(δ-ε_n)^{1/2}_+ = √(2b) f((δ/b-1)/2), so the argument of f^{-1} is √2 π²ρ/b^{3/2}, not 2π²ρ/b^{3/2}. With the corrected δ, the energy formula from §4.3 tends to (3/10)(6π²)^{2/3}ρ^{5/3}, the standard spinless Thomas-Fermi value, not to either printed value. The asymptotic claims must be rederived.
  3. [§4.4, Proposition 4.2] Theorem 3.11 rests on the identity L^{3d}_A W^{3d}_{b3}(f,g)=W^{3d}_{b3}(H^{2d}f,g), which is introduced as a 'straightforward calculation' but not proved. This identity is the mechanism that factors the 3D kinetic energy through the 1D functional; if it fails, the equality (3.14) collapses. A direct computation should be displayed, or an exact reference given.
  4. [§3.2.1–§3.2.2, Eqs. (1.1)–(1.2), (3.6), (3.9)] The definitions of ω2d and ω3d as thermodynamic limits are replaced, without proof, by variational problems over magnetic-translation-invariant states. The 2D case is justified by citing [11,17], but the 3D replacement is only said to be 'similar'. Since the explicit formulas and the reduction theorem apply to the latter quantities, the precise equivalence, or the exact statement of the relevant result in [11,17], should be supplied. Otherwise the physical interpretation as thermodynamic limits is conditional.
minor comments (5)
  1. [Abstract] The abstract's formula for ω2d is missing the factor 1/(4π): it reads b² {2πρ/b}(1-{2πρ/b}), whereas Proposition 3.5, Eq. (3.8), has b²/(4π) times the same fractional-part factor.
  2. [Theorem 3.3, Eq. (3.3)] The trace per unit surface should be Tr2(γ), not Tr3(γ). With ργ∈L¹(R), the trace per unit volume as defined in the Notation vanishes, so the displayed formula is only correct for Tr2.
  3. [§3.2.3] 'The proof of Theorem 3.14 is detailed in Section 4.4' should refer to Theorem 3.11.
  4. [§4.4] Several absolute-value signs are missing in the displayed equations, e.g. 'B|2' should be '|B|²' in (4.10) and in the construction of ψ̃_{j,m}; the tildes on ψ in the same passage are also applied inconsistently.
  5. [§4.1] Typo: 'for al(x1,k)∈R²' should be 'for all (x1,k)∈R²'. In addition, the sentence beginning 'As the two-dimensional Landau operator' in §3.2.1 is grammatically incomplete and should be revised.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the structural and kinetic-energy results are derived from the magnetic-translation commutation assumption; only auxiliary equivalences are cited from prior work, including two same-author papers.

full rationale

The main derivation chain is self-contained. Theorem 3.1 starts from [η,m^b_R]=0, takes the x2-fiber decomposition, obtains η_k = τ_{k/b} η0 τ_{-k/b}, diagonalizes η0, and identifies the Wigner functions W^2d_b(ψ_n,g) as eigenfunctions; the trace-per-unit-area formula follows from the Moyal identity. Theorem 3.3 reduces the b1≠0 case to b1=0 via the explicit unitary T_{b1}. The kinetic-energy reductions (Prop. 3.5, Prop. 3.7, Thm. 3.11) use these spectral decompositions plus the bathtub principle; the Fermi level δ is fixed by the charge constraint, not fitted. The equality of thermodynamic limits (1.1)-(1.2) with the magnetic-translation-invariant variational problems (3.6)/(3.9) is cited from [11,17]; [17] is by two of the present authors, but [11] is external and the cited equivalence is a parameter-free published theorem, so this is an independent supporting result rather than a circular reduction. Corollary 3.6 cites [18] for additional properties of ω2d, but those are auxiliary consistency facts, not used in the central derivation. The omitted verification in Prop. 4.2 — the identity L^3d_A W^3d_{b3}(f,g) = W^3d_{b3}(H^{2d}f,g), called a 'straightforward calculation' — is a missing proof, not circularity. Separate correctness flags, outside the circularity rubric: the printed Prop. 3.7 and the abstract give coefficients b^2/(6π^2) and b^2/(3π^2) for Σ ε_n(δ-ε_n)_+^{1/2}, while §4.3 derives b/(6π^2); these are dimensionally inconsistent with δρ/6 and with each other. This inconsistency should be corrected, but it does not make the derivation circular.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central results rely on standard functional analysis and two unproved, cited or asserted premises: the thermodynamic-limit equivalence and the Landau-operator/Wigner identity. No free parameters are fitted; δ is a Lagrange multiplier.

assumptions (5)
  • domain assumption Equivalence of thermodynamic limit (1.1)-(1.2) with variational problems over magnetic-translation-invariant states (3.6)/(3.9)
    Stated in Section 3.2.1 as 'Using suitable boundary conditions and classical techniques, see [11,17]', not proved in this paper; if false the derived ω's are not the thermodynamic limits.
  • domain assumption The identity L^{3d}_A W^{3d}_{b3}(f,g) = W^{3d}_{b3}(H^{2d}f,g)
    Asserted as 'straightforward calculation' in the proof of Proposition 4.2 (Section 4.4); the reduction theorem 3.11 relies on it.
  • domain assumption Spinless electron gas (no spin degeneracy)
    Section 2.1 states 'spinless electron gas'; all density-counting formulas assume no spin factor 2.
  • standard math Standard functional analysis tools: fiber decomposition, spectral theorem, bathtub principle
    Used throughout Section 4; cited to textbooks [3,5,27].
  • domain assumption Gauge choice A=(b2x3, b3x1, b1x2) and w.l.o.g. rotation to B=(0,b2,b3) in Section 3.2.3
    Section 2.1 and 3.2.3; any other gauge is unitarily equivalent, and rotational invariance is used to align the field.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Electronic structure models with 2D symmetries in the presence of magnetic fields." pith.science (2026). https://pith.science/paper/V6FOYHRC

@misc{pith2026250909049,
  author       = {Pith},
  title        = {Pith review of: Electronic structure models with 2D symmetries in the presence of magnetic fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V6FOYHRC}},
  note         = {Machine review of arXiv:2509.09049}
}
read the original abstract

In this work, we characterize self-adjoint operators that commute with magnetic translations. We use this characterization to derive effective kinetic energy functionals for homogeneous electron gases and three-dimensional electronic systems with two-dimensional symmetries in the presence of a magnetic field.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

42 extracted references · 1 linked inside Pith

  1. [1]

    Anantharaman and É

    A. Anantharaman and É. Cancès. Existence of minimizers for Kohn-Sham models in quantum chemistry.Ann. Inst. H. Poincaré (C), 26(6):2425–2455, 2009

    2009

  2. [2]

    Benedikter, C

    N. Benedikter, C. Boccato, M. Domenico, and N. N. Nguyen. Derivation of Hartree- Fock dynamics and semiclassical commutator estimates for fermions in a magnetic field.Arxiv preprint, 2503.16001, 2025

    arXiv 2025

  3. [3]

    Bensiali, S

    B. Bensiali, S. Lahbabi, A. Maichine, and O. Mirinioui. On density functional theory models for one-dimensional homogeneous materials.Journal of Mathematical Physics, 65(8):081903, 08 2024

    2024

  4. [4]

    Blanc, C

    X. Blanc, C. Le Bris, and P-L. Lions. A definition of the ground state energy for systems composed of infinitely many particles.Comm. Partial Differential Equations, 28(1-2):439–475, 2003

    2003

  5. [5]

    1.TextsandMonographsinPhysics.Springer-Verlag, NewYork, secondedition, 1987

    O.BratteliandD.W.Robinson.Operator algebras and quantum statistical mechanics. 1.TextsandMonographsinPhysics.Springer-Verlag, NewYork, secondedition, 1987. C ∗- andW ∗-algebras, symmetry groups, decomposition of states

    1987

  6. [6]

    Cancès, S

    É. Cancès, S. Lahbabi, and M. Lewin. Mean-field electronic structure models for disordered materials. InProceeding of the International Congress on Mathematical Physics, Aalborg (Denmark), August 2012

    2012

  7. [7]

    Cancès, S

    É. Cancès, S. Lahbabi, and M. Lewin. Mean-field models for disordered crystals.J. math. pures appl., 100(2):241–274, 2013

    2013

  8. [8]

    Cancès, A

    É. Cancès, A. Deleurence, and M. Lewin. A new approach to the modeling of local defects in crystals: The reduced Hartree-Fock case.Commun. Math. Phys., 281:129– 177, 2008. 27

    2008

Show all 42 references
  1. [9]

    Catto, C

    I. Catto, C. Le Bris, and P.-L. Lions.The mathematical theory of thermodynamic limits: Thomas-Fermi type models. Oxford University Press, 1998

    1998

  2. [10]

    Catto, C

    I. Catto, C. Le Bris, and P-L. Lions. On the thermodynamic limit for Hartree-Fock type models.Ann. Inst. H. Poincaré Anal. Non Linéaire, 18(6):687–760, 2001

    2001

  3. [11]

    S.-I. Doi, A. Iwatsuka, and T. Mine. The uniqueness of the integrated density of states for the Schrödinger operators with magnetic fields.Mathematische Zeitschrift, 237(2):335–371, 2001

    2001

  4. [12]

    E. Fermi. Un metodo statistico per la determinazione di alcune proprieta dell’atomo. Rend. Accad. Lincei, 6:602–607, 1927

    1927

  5. [13]

    V. Fock. Näherungsmethode zur Lösung des quantenmechanischen Mehrkörperprob- lems.Zeitschrift für Physik, 61(1):126–148, January 1930

    1930

  6. [14]

    Fournais and P

    S. Fournais and P. S. Madsen. Semi-classical limit of confined fermionic systems in homogeneous magnetic fields.Ann. Henri Poincaré, 21:1401–1449, 2020

    2020

  7. [15]

    Gontier and S

    D. Gontier and S. Lahbabi. Convergence rates of supercell calculations in the reduced Hartree-Fock model.M2AN, pages 1403–1424, 2015

    2015

  8. [16]

    Gontier and S

    D. Gontier and S. Lahbabi. Supercell calculations in the reduced hartree-fock model for crystals with local defects.Appl. Math. Res. Express, pages 1–64, 2016

    2016

  9. [17]

    Gontier, S

    D. Gontier, S. Lahbabi, and A. Maichine. Density Functional Theory for two- dimensional homogeneous materials.Communications in Mathematical Physics, 388(3):1475–1505, nov 2021

    2021

  10. [18]

    Gontier, S

    D. Gontier, S. Lahbabi, and A. Maichine. Density Functional Theory for two-dimensional homogeneous materials with magnetic fields.J. Funct. Anal, 285(110100), 2023

    2023

  11. [19]

    Applications.Adv

    C.Hainzl, M.Lewin, andJ.P.Solovej.ThethermodynamiclimitofquantumCoulomb systems Part II. Applications.Adv. Math., 221(2):488–546, 2009

    2009

  12. [20]

    Hall.Lie groups, Lie algebras, and representations, volume 222 ofGraduate Texts in Mathematics

    B. Hall.Lie groups, Lie algebras, and representations, volume 222 ofGraduate Texts in Mathematics. Springer, Cham, second edition, 2015. An elementary introduction

    2015

  13. [21]

    D. R. Hartree. The wave mechanics of an atom with a non-coulomb central field. part ii. some results and discussion.Mathematical Proceedings of the Cambridge Philo- sophical Society, 24(1):111–132, 1928

    1928

  14. [22]

    Hohenberg and W

    P. Hohenberg and W. Kohn. Inhomogeneous electron gas.Phys. Rev., 136(3B):B864– B871, November 1964

    1964

  15. [23]

    W.KohnandL.J.Sham.Self-consistentequationsincludingexchangeandcorrelation effects.Physical Review, 140(4A):A1133–A1138, 1965

    1965

  16. [24]

    S. Lahbabi. The reduced hartree–fock model for short-range quantum crystals with nonlocal defects.Annales Henri Poincaré, 15(7):1403–1452, 2014

    2014

  17. [25]

    M. Levy. Universal variational functionals of electron densities, first-order density matrices, and natural spin-orbitals and solution of the v-representability problem. Proc. Natl. Acad. Sci. U.S.A., 76(12):6062–6065, 1979

    1979

  18. [26]

    E. H. Lieb. Thomas-fermi and related theories of atoms and molecules.Reviews of Modern Physics, 53(4):603–641, October 1981

    1981

  19. [27]

    E. H. Lieb and M. Loss.Analysis, volume 14 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2001

    2001

  20. [28]

    E.H.LiebandB.Simon.Thehartree-focktheoryforcoulombsystems.53(3):185–194

  21. [29]

    E. H. Lieb and B. Simon. The Thomas-Fermi theory of atoms, molecules and solids. Advances in Math., 23(1):22 – 116, 1977

    1977

  22. [30]

    E.H. Lieb. Density functionals for Coulomb systems.Int. J. Quantum Chem., 24(3):243–277, 1983

    1983

  23. [31]

    Lieb, J.Ph

    E.H. Lieb, J.Ph. Solovej, and J. Yngvason. Asymptotics of heavy atoms in high mag- netic fields: I. Lowest Landau band regions.Commun. Pure Appl. Math., 47:513–591, 1994

    1994

  24. [32]

    Lieb, J.Ph

    E.H. Lieb, J.Ph. Solovej, and J. Yngvason. Asymptotics of heavy atoms in high mag- netic fields: Ii. Semiclassical regions.Commun. Math. Phys., 161:77–124, 1994. 28

    1994

  25. [33]

    Lieb, J.Ph

    E.H. Lieb, J.Ph. Solovej, and J. Yngvason. Ground states of large quantum dots in magnetic fields.Phys. Rev. B, 51:10646–10665, 1995

    1995

  26. [34]

    P.L. Lions. Solutions of Hartree-Fock equations for Coulomb systems.Commun. Math. Phys., 109(1):33–97, 1987

    1987

  27. [35]

    Pauling and E

    L. Pauling and E. Bright Wilson.Introduction to Quantum Mechanics. Dover Publi- cation, New York, 1962

    1962

  28. [36]

    Reed and B

    M. Reed and B. Simon.Methods of Modern Mathematical Physics. II. Fourier anal- ysis, self-adjointness. Academic Press, New York, 1975

    1975

  29. [37]

    J. C. Slater. Note on hartree’s method.Phys. Rev., 35:210–211, Jan 1930

    1930

  30. [38]

    Ph Solovej

    J. Ph Solovej. Universality in the Thomas-Fermi-von Weizsäcker model of atoms and molecules.Comm. Math. Phys., 129(3):561–598, 1990

    1990

  31. [39]

    J. Ph. Solovej. The ionization conjecture in Hartree-Fock theory.Ann. of Math. (2), 158(2):509–576, 2003

    2003

  32. [40]

    J.Ph. Solovej. Proof of the ionization conjecture in a reduced Hartree-Fock model. Invent. Math., 104(1):291–311, 1991

    1991

  33. [41]

    L.H. Thomas. The calculation of atomic fields.Proc. Camb. Phil. Soc., 23:542–548, 1927

    1927

  34. [42]

    Wong.Weyl Transforms

    M.W. Wong.Weyl Transforms. Springer New York, New York, NY, 1998. (Carlos J. García-Cervera)Mathematics Department, University of Califor- nia, Santa Barbara, CA 93106, USA and Basque Center for Applied Mathe- matics (BCAM), Bilbao, Basque Country, Spain Email address:cgarcia@...

    1998

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.