Analyticity and symmetry of band extrema in gapped solids: when does the effective mass approximation hold?

Jakob Kj{\ae}rulff Svaneborg; Kristian Sommer Thygesen

arxiv: 2605.02576 · v1 · submitted 2026-05-04 · ❄️ cond-mat.mtrl-sci · math-ph· math.MP

Analyticity and symmetry of band extrema in gapped solids: when does the effective mass approximation hold?

Jakob Kj{\ae}rulff Svaneborg , Kristian Sommer Thygesen This is my paper

Pith reviewed 2026-05-08 18:04 UTC · model grok-4.3

classification ❄️ cond-mat.mtrl-sci math-phmath.MP

keywords effective mass approximationband dispersion analyticitydensity functional theoryG0W0crystal point groupssymmetry-allowed tensorsmonolayer MoS2non-degenerate extrema

0 comments

The pith

Band dispersions in gapped solids are analytic at non-degenerate extrema for standard ab initio Hamiltonians.

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

The effective mass approximation used for carrier transport, optics, and excitons assumes that band energies E_n(k) are smooth and expandable in a Taylor series near their extrema. This paper proves that analyticity holds at every non-degenerate extremum when the underlying Hamiltonian is a standard ab initio form such as density functional theory with local or hybrid functionals or band-edge G0W0 quasiparticle energies. Non-analytic behavior or warping therefore arises only when the extremum involves band degeneracy. The authors supplement the proof with a group-theoretic enumeration of the symmetry-allowed shapes of the effective mass tensor for each of the 32 crystallographic point groups and apply the result to monolayer MoS2, where the K-point electron and hole masses must be isotropic.

Core claim

We prove that analyticity holds at any non-degenerate extremum for the standard ab initio Hamiltonians, including density functional theory with local or hybrid exchange-correlation functionals and for band-edge G0W0 quasiparticle energies in gapped systems. Band non-analyticity (or warping) in these settings is therefore intrinsically tied to degeneracy. We then use group theory to determine the symmetry-allowed form of the effective mass tensor for each of the 32 crystallographic point groups, providing a stringent consistency check on first-principles calculations. As a representative application, we show that the electron and hole effective masses at the K point of monolayer MoS2 must be

What carries the argument

Proof that the band energy E_n(k) remains analytic at non-degenerate extrema for DFT local/hybrid and band-edge G0W0 Hamiltonians, together with the group-theoretic classification of allowed effective-mass tensors.

If this is right

The effective mass approximation is valid at all non-degenerate band extrema in standard DFT and G0W0 calculations.
Non-analytic warping appears only when bands are degenerate at the extremum.
The effective mass tensor must adopt one of the symmetry-allowed forms dictated by the crystal point group.
Electron and hole masses at the K point of monolayer MoS2 are strictly isotropic at both DFT and G0W0 levels.

Where Pith is reading between the lines

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

Apparent anisotropy or non-parabolicity found at a nominally non-degenerate point in a calculation may indicate either numerical inaccuracy or an undetected degeneracy.
The tabulated symmetry constraints provide an immediate consistency test that any first-principles band-structure code should satisfy for a given crystal class.
The same analyticity argument can be checked for other quasiparticle or beyond-DFT methods that share similar Hamiltonian structure.

Load-bearing premise

The extremum must be non-degenerate and the Hamiltonian must be exactly a standard ab initio form without extra terms that could introduce non-analyticity.

What would settle it

Observation of a clearly non-analytic dispersion at a non-degenerate band extremum in a DFT or G0W0 calculation for a gapped solid would falsify the analyticity claim.

Figures

Figures reproduced from arXiv: 2605.02576 by Jakob Kj{\ae}rulff Svaneborg, Kristian Sommer Thygesen.

**Figure 1.** Figure 1: FIG. 1 view at source ↗

**Figure 2.** Figure 2: FIG. 2 view at source ↗

**Figure 3.** Figure 3: FIG. 3 view at source ↗

**Figure 4.** Figure 4: FIG. 4 view at source ↗

read the original abstract

The effective mass approximation is widely used across models of carrier transport, optical response, and excitons in semiconductors and insulators, but its validity hinges on the assumption that the band dispersion $E_n(\mathbf{k})$ at the relevant extremum is analytic. We prove that analyticity holds at any non-degenerate extremum for the standard ab initio Hamiltonians, including density functional theory with local or hybrid exchange-correlation functionals and for band-edge $G_0W_0$ quasiparticle energies in gapped systems. Band non-analyticity (or warping) in these settings is therefore intrinsically tied to degeneracy. We then use group theory to determine the symmetry-allowed form of the effective mass tensor for each of the 32 crystallographic point groups, providing a stringent consistency check on first-principles calculations. As a representative application, we show that the electron and hole effective masses at the $K$ point of monolayer MoS$_2$ must be strictly isotropic at the DFT and $G_0W_0$ levels.

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.

Desk Editor's Note private letter to a colleague

The analyticity claim for G0W0 band edges is the load-bearing part but rests on an unexamined implicit-function step, while the symmetry classification of effective-mass tensors is a clean, exhaustive reference.

read the letter

The paper's main result is that E_n(k) stays analytic at any non-degenerate extremum for local DFT, hybrid functionals, and band-edge G0W0 in gapped systems, so any warping or non-analyticity must come from degeneracy. They follow this with the allowed form of the effective-mass tensor for each of the 32 point groups and apply it to show isotropy at the K point in monolayer MoS2 at both DFT and G0W0 levels. The group-theory section is the part that actually lands cleanly: it is exhaustive, uses standard representation theory, and gives a practical consistency check that computational groups can run against their output. That alone makes the manuscript a useful reference for anyone extracting masses from first-principles codes. The analyticity theorem is less settled. Local DFT follows from standard Kato-Rellich arguments on polynomial matrix elements, but G0W0 replaces the Hamiltonian with a nonlinear, frequency-dependent self-energy equation. The stress-test concern is on point here: if the self-energy operator is not an analytic family or if 1 - dSigma/d omega vanishes or changes sign near the gap, the implicit root E(k) can lose analyticity even at a non-degenerate point. The abstract states the result holds, yet the provided text does not show the detailed perturbation or implicit-function argument that would close this gap. Without that step the headline claim remains conditional. The MoS2 example is consistent with the symmetry analysis but does not test the analyticity proof. This work is aimed at computational materials scientists who need to know when the effective-mass approximation is justified and who want a symmetry checklist for their calculated tensors. It is solid enough on the group-theory side and formally motivated on the analyticity side to merit peer review, mainly so referees can examine the G0W0 derivation in detail. I would send it out rather than desk-reject.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that band dispersions E_n(k) remain analytic at non-degenerate extrema for standard ab initio Hamiltonians, including local and hybrid DFT as well as band-edge G0W0 quasiparticle energies in gapped solids; non-analyticity is therefore intrinsically linked to degeneracy. It then classifies the symmetry-allowed forms of the effective-mass tensor under each of the 32 crystallographic point groups via group theory and applies the result to show that the electron and hole masses at the K point of monolayer MoS2 must be isotropic at both DFT and G0W0 levels.

Significance. If the analyticity theorem is established, the work supplies a rigorous justification for the effective-mass approximation in first-principles calculations of transport and optical properties. The exhaustive group-theoretic table for all point groups offers a practical consistency check for numerical effective-mass extractions. The MoS2 example demonstrates immediate utility. The paper provides a parameter-free, symmetry-based prediction that can be directly tested against existing DFT and GW computations.

major comments (2)

[analyticity proof for G0W0] The central analyticity claim for G0W0 quasiparticle energies (abstract and the section deriving the implicit equation E = ε_n(k) + ⟨ψ_n(k)|Σ(E,k) − V_xc|ψ_n(k)⟩) rests on the assumption that the frequency-dependent self-energy Σ(ω,k) defines an analytic family of operators near non-degenerate band edges. The manuscript should explicitly invoke the implicit-function theorem or Kato–Rellich theory for this nonlinear eigenvalue problem and state the conditions under which 1 − ∂Σ/∂ω ≠ 0 and Σ remains analytic in k; without this step the reduction to the local-DFT case does not automatically extend.
[group-theory section] The group-theory classification of effective-mass tensors (the section enumerating the 32 point groups) is standard but must be cross-checked against the analyticity result: if analyticity fails only at degeneracies, the listed tensor forms are guaranteed only for the non-degenerate cases treated in the first part. The manuscript should add a short statement confirming that the symmetry-allowed forms apply precisely when the extremum is non-degenerate.

minor comments (2)

[abstract] The abstract states that analyticity holds “for the standard ab initio Hamiltonians”; a brief parenthetical listing the precise classes (local DFT, hybrid DFT, G0W0) would improve clarity.
[MoS2 application] In the MoS2 application, the statement that masses “must be strictly isotropic” should cite the specific point-group entry (D3h or C3v) and the corresponding allowed tensor form from the classification table.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address each major comment below and have revised the manuscript to incorporate the requested clarifications.

read point-by-point responses

Referee: [analyticity proof for G0W0] The central analyticity claim for G0W0 quasiparticle energies (abstract and the section deriving the implicit equation E = ε_n(k) + ⟨ψ_n(k)|Σ(E,k) − V_xc|ψ_n(k)⟩) rests on the assumption that the frequency-dependent self-energy Σ(ω,k) defines an analytic family of operators near non-degenerate band edges. The manuscript should explicitly invoke the implicit-function theorem or Kato–Rellich theory for this nonlinear eigenvalue problem and state the conditions under which 1 − ∂Σ/∂ω ≠ 0 and Σ remains analytic in k; without this step the reduction to the local-DFT case does not automatically extend.

Authors: We agree that an explicit invocation of the implicit-function theorem improves the rigor of the G0W0 argument. In the revised manuscript we have inserted a new paragraph immediately following the implicit equation for the quasiparticle energy. There we note that, for gapped systems, the G0W0 self-energy Σ(ω,k) is analytic in k throughout a neighborhood of the band edge (by the standard analytic properties of the screened Coulomb interaction and the Green function in insulators). At a non-degenerate extremum the quasiparticle residue condition 1 − ∂Σ/∂ω |_{ω=E_n(k)} ≠ 0 is satisfied, ensuring the pole remains simple. The implicit-function theorem then directly implies that the solution E_n(k) is analytic in k, thereby extending the local-DFT analyticity result to the G0W0 case without additional assumptions. revision: yes
Referee: [group-theory section] The group-theory classification of effective-mass tensors (the section enumerating the 32 point groups) is standard but must be cross-checked against the analyticity result: if analyticity fails only at degeneracies, the listed tensor forms are guaranteed only for the non-degenerate cases treated in the first part. The manuscript should add a short statement confirming that the symmetry-allowed forms apply precisely when the extremum is non-degenerate.

Authors: We concur that consistency between the two parts of the paper should be stated explicitly. We have added the following sentence at the opening of the group-theory section: 'Because the analyticity theorem of Sec. II establishes that E_n(k) is analytic at every non-degenerate extremum, the symmetry-allowed forms of the effective-mass tensor derived below apply precisely to those non-degenerate points for all 32 crystallographic point groups.' This short statement removes any ambiguity regarding the domain of validity of the tabulated tensors. revision: yes

Circularity Check

0 steps flagged

No circularity: analyticity follows from Hamiltonian properties and group theory is independent

full rationale

The derivation establishes analyticity of E_n(k) at non-degenerate extrema directly from the structure of standard ab initio operators (local/hybrid DFT and G0W0) via perturbation theory, without defining the result in terms of itself or fitting parameters to the target quantity. The subsequent group-theory classification of effective-mass tensors for the 32 point groups is a standard application of representation theory that does not rely on the analyticity proof or any self-citation chain. No load-bearing step reduces by construction to an input or prior author result; the claims remain self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard mathematical axioms of analyticity and representation theory rather than introducing new free parameters or entities.

axioms (2)

standard math The band energy function E_n(k) is defined via the eigenvalues of the Hamiltonian operator.
Fundamental to defining extrema and analyticity.
standard math Group theory representations determine invariant tensors under crystal symmetries.
Used to find allowed forms of the effective mass tensor.

pith-pipeline@v0.9.0 · 5494 in / 1384 out tokens · 142391 ms · 2026-05-08T18:04:19.507756+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Cheiwchanchamnangij and W

T. Cheiwchanchamnangij and W. R. Lambrecht, Quasi- particle band structure calculation of monolayer, bilayer, and bulk mos 2, Physical Review B—Condensed Matter and Materials Physics 85, 205302 (2012)

work page 2012
[2]

E. S. Kadantsev and P. Hawrylak, Electronic structure of a single mos2 monolayer, Solid state communications 152, 909 (2012)

work page 2012
[3]

J. Xi, T. Zhao, D. Wang, and Z. Shuai, Tunable electronic properties of two-dimensional transition metal dichalco- genide alloys: a first-principles prediction, The journal of physical chemistry letters 5, 285 (2014)

work page 2014
[4]

Supka, N

A. Supka, N. A. Mecholsky, M. B. Nardelli, S. Curtarolo, and M. Fornari, Two-layer high-throughput: Effective mass calculations including warping, Engineering 10, 74 (2022)

work page 2022
[5]

N. A. Mecholsky, L. Resca, I. L. Pegg, and M. Fornari, Theory of band warping and its effects on thermo- electronic transport properties, Physical Review B 89, 155131 (2014)

work page 2014
[6]

Laflamme Janssen, Y

J. Laflamme Janssen, Y. Gillet, S. Poncé, A. Martin, M. Torrent, and X. Gonze, Precise effective masses from density functional perturbation theory, Physical Review B 93, 205147 (2016)

work page 2016
[7]

N. A. Mecholsky, L. Resca, I. L. Pegg, and M. Fornari, Density of states for warped energy bands, Scientific Re- ports 6, 22098 (2016)

work page 2016
[8]

J. Fu, M. Kuisma, A. H. Larsen, K. Shinohara, A. Togo, and K. S. Thygesen, Symmetry classification of 2d mate- 10 rials: layer groups versus space groups, 2D Materials 11, 035009 (2024)

work page 2024
[9]

Kato, Perturbation theory for linear operators (Springer, 2013)

T. Kato, Perturbation theory for linear operators (Springer, 2013)

work page 2013
[10]

L. V. Ahlfors and L. V. Ahlfors, Complex analysis , Vol. 3 (McGraw-Hill New York, 1979)

work page 1979
[11]

Kohn, Density functional and density matrix method scaling linearly with the number of atoms, Physical Re- view Letters 76, 3168 (1996)

W. Kohn, Density functional and density matrix method scaling linearly with the number of atoms, Physical Re- view Letters 76, 3168 (1996)

work page 1996
[12]

Prodan and W

E. Prodan and W. Kohn, Nearsightedness of electronic matter, Proceedings of the National Academy of Sciences 102, 11635 (2005)

work page 2005
[13]

M. S. Hybertsen and S. G. Louie, Electron correlation in semiconductors and insulators: Band gaps and quasipar- ticle energies, Physical Review B 34, 5390 (1986)

work page 1986
[14]

Shishkin and G

M. Shishkin and G. Kresse, Self-consistent gw calcula- tions for semiconductors and insulators, Physical Review B—Condensed Matter and Materials Physics 75, 235102 (2007)

work page 2007
[15]

Aryasetiawan and O

F. Aryasetiawan and O. Gunnarsson, The gw method, Reports on progress in Physics 61, 237 (1998)

work page 1998
[16]

Rasmussen, T

A. Rasmussen, T. Deilmann, and K. S. Thygesen, To- wards fully automated gw band structure calculations: What we can learn from 60.000 self-energy evaluations, npj Computational Materials 7, 22 (2021)

work page 2021
[17]

Holzer, A

C. Holzer, A. M. Teale, F. Hampe, S. Stopkowicz, T. Hel- gaker, and W. Klopper, Gw quasiparticle energies of atoms in strong magnetic fields, The Journal of Chemical Physics 150 (2019)

work page 2019
[18]

Duchemin and X

I. Duchemin and X. Blase, Robust analytic-continuation approach to many-body gw calculations, Journal of Chemical Theory and Computation 16, 1742 (2020)

work page 2020
[19]

Combes and L

J.-M. Combes and L. Thomas, Asymptotic behaviour of eigenfunctions for multiparticle schrödinger opera- tors, Communications in Mathematical Physics 34, 251 (1973)

work page 1973
[20]

van Schilfgaarde, T

M. van Schilfgaarde, T. Kotani, and S. Faleev, Quasipar- ticle self-consistent gw theory, Physical review letters 96, 226402 (2006)

work page 2006

[1] [1]

Cheiwchanchamnangij and W

T. Cheiwchanchamnangij and W. R. Lambrecht, Quasi- particle band structure calculation of monolayer, bilayer, and bulk mos 2, Physical Review B—Condensed Matter and Materials Physics 85, 205302 (2012)

work page 2012

[2] [2]

E. S. Kadantsev and P. Hawrylak, Electronic structure of a single mos2 monolayer, Solid state communications 152, 909 (2012)

work page 2012

[3] [3]

J. Xi, T. Zhao, D. Wang, and Z. Shuai, Tunable electronic properties of two-dimensional transition metal dichalco- genide alloys: a first-principles prediction, The journal of physical chemistry letters 5, 285 (2014)

work page 2014

[4] [4]

Supka, N

A. Supka, N. A. Mecholsky, M. B. Nardelli, S. Curtarolo, and M. Fornari, Two-layer high-throughput: Effective mass calculations including warping, Engineering 10, 74 (2022)

work page 2022

[5] [5]

N. A. Mecholsky, L. Resca, I. L. Pegg, and M. Fornari, Theory of band warping and its effects on thermo- electronic transport properties, Physical Review B 89, 155131 (2014)

work page 2014

[6] [6]

Laflamme Janssen, Y

J. Laflamme Janssen, Y. Gillet, S. Poncé, A. Martin, M. Torrent, and X. Gonze, Precise effective masses from density functional perturbation theory, Physical Review B 93, 205147 (2016)

work page 2016

[7] [7]

N. A. Mecholsky, L. Resca, I. L. Pegg, and M. Fornari, Density of states for warped energy bands, Scientific Re- ports 6, 22098 (2016)

work page 2016

[8] [8]

J. Fu, M. Kuisma, A. H. Larsen, K. Shinohara, A. Togo, and K. S. Thygesen, Symmetry classification of 2d mate- 10 rials: layer groups versus space groups, 2D Materials 11, 035009 (2024)

work page 2024

[9] [9]

Kato, Perturbation theory for linear operators (Springer, 2013)

T. Kato, Perturbation theory for linear operators (Springer, 2013)

work page 2013

[10] [10]

L. V. Ahlfors and L. V. Ahlfors, Complex analysis , Vol. 3 (McGraw-Hill New York, 1979)

work page 1979

[11] [11]

Kohn, Density functional and density matrix method scaling linearly with the number of atoms, Physical Re- view Letters 76, 3168 (1996)

W. Kohn, Density functional and density matrix method scaling linearly with the number of atoms, Physical Re- view Letters 76, 3168 (1996)

work page 1996

[12] [12]

Prodan and W

E. Prodan and W. Kohn, Nearsightedness of electronic matter, Proceedings of the National Academy of Sciences 102, 11635 (2005)

work page 2005

[13] [13]

M. S. Hybertsen and S. G. Louie, Electron correlation in semiconductors and insulators: Band gaps and quasipar- ticle energies, Physical Review B 34, 5390 (1986)

work page 1986

[14] [14]

Shishkin and G

M. Shishkin and G. Kresse, Self-consistent gw calcula- tions for semiconductors and insulators, Physical Review B—Condensed Matter and Materials Physics 75, 235102 (2007)

work page 2007

[15] [15]

Aryasetiawan and O

F. Aryasetiawan and O. Gunnarsson, The gw method, Reports on progress in Physics 61, 237 (1998)

work page 1998

[16] [16]

Rasmussen, T

A. Rasmussen, T. Deilmann, and K. S. Thygesen, To- wards fully automated gw band structure calculations: What we can learn from 60.000 self-energy evaluations, npj Computational Materials 7, 22 (2021)

work page 2021

[17] [17]

Holzer, A

C. Holzer, A. M. Teale, F. Hampe, S. Stopkowicz, T. Hel- gaker, and W. Klopper, Gw quasiparticle energies of atoms in strong magnetic fields, The Journal of Chemical Physics 150 (2019)

work page 2019

[18] [18]

Duchemin and X

I. Duchemin and X. Blase, Robust analytic-continuation approach to many-body gw calculations, Journal of Chemical Theory and Computation 16, 1742 (2020)

work page 2020

[19] [19]

Combes and L

J.-M. Combes and L. Thomas, Asymptotic behaviour of eigenfunctions for multiparticle schrödinger opera- tors, Communications in Mathematical Physics 34, 251 (1973)

work page 1973

[20] [20]

van Schilfgaarde, T

M. van Schilfgaarde, T. Kotani, and S. Faleev, Quasipar- ticle self-consistent gw theory, Physical review letters 96, 226402 (2006)

work page 2006