A non-degeneracy theorem for interacting fermions in one dimension

Thiago Carvalho Corso

arxiv: 2503.18440 · v2 · submitted 2025-03-24 · 🧮 math.SP · math-ph· math.MP· quant-ph

A non-degeneracy theorem for interacting fermions in one dimension

Thiago Carvalho Corso This is my paper

Pith reviewed 2026-05-22 23:26 UTC · model grok-4.3

classification 🧮 math.SP math-phmath.MPquant-ph

keywords non-degeneracyground stateinteracting fermionsone dimensionSchrödinger operatorFermi statisticsunique continuationboundary conditions

0 comments

The pith

The ground-state of one-dimensional interacting fermions is non-degenerate under local boundary conditions.

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

This paper proves that the ground state of the many-body Schrödinger operator H_N(v,w) for N fermions in one dimension, acting on the antisymmetric L2 space, is non-degenerate when local boundary conditions are used. The result applies to a broad class of external and interaction potentials, including distributions, and extends to periodic or anti-periodic conditions according to the parity of N. A reader would care because non-degeneracy removes ambiguity in the lowest energy state and directly enables stronger conclusions such as the strong unique continuation property for the associated single-particle operators. The proof also shows that the ground state does not vanish on any set of positive measure.

Core claim

The ground-state of the system with Fermi statistics and local boundary conditions is non-degenerate and does not vanish on a set of positive measure. In the case of periodic and anti-periodic boundary conditions, the same result holds whenever the number of particles is odd and even, respectively. This non-degeneracy result seems to be new even for regular potentials v and w. As an immediate application, eigenvalue inequalities and the strong unique continuation property hold for eigenfunctions of the single-particle operators h(v), together with strict inequalities between the lowest eigenvalues of different self-adjoint realizations of H_N(v,w).

What carries the argument

The antisymmetrized many-body operator H_N(v,w) with local boundary conditions on the wedge product of L2([0,1]).

If this is right

Eigenvalue inequalities hold for the single-particle operators h(v) = -Delta + v.
Eigenfunctions of h(v) satisfy the strong unique continuation property.
Different self-adjoint realizations of H_N(v,w) have strictly ordered lowest eigenvalues.
The ground-state wave function does not vanish on any set of positive measure.

Where Pith is reading between the lines

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

The non-degeneracy may allow direct comparison of ground-state energies across different boundary-condition choices without multiplicity complications.
The same argument structure could be tested on lattice versions of the model to check whether non-degeneracy persists under discretization.
The positive-measure support result might be used to control nodal sets when studying correlation functions in one-dimensional fermionic systems.

Load-bearing premise

The many-body operator H_N(v,w) is self-adjoint on the antisymmetric domain with the stated boundary conditions, allowing a well-defined discrete ground-state eigenvalue.

What would settle it

An explicit pair of linearly independent antisymmetric functions that both achieve the ground-state energy of H_N(v,w) for some local boundary conditions and some potentials v, w in the allowed class.

read the original abstract

In this paper, we show that the ground-state of many-body Schr\"odinger operators for electrons in one dimension is non-degenerate. More precisely, we consider Schr\"odinger operators of the form $H_N(v,w) = -\Delta + \sum_{i\neq j}^N w(x_i,x_j) + \sum_{j=1}^N v(x_i)$ acting on $\wedge^N \mathrm{L}^2([0,1])$, where the external and interaction potentials $v$ and $w$ belong to a large class of distributions. In this setting, we show that the ground-state of the system with Fermi statistics and local boundary conditions is non-degenerate and does not vanish on a set of positive measure. In the case of periodic and anti-periodic (or more general non-local) boundary conditions, we show that the same result holds whenever the number of particles is odd and even, respectively. This non-degeneracy result seems to be new even for regular potentials $v$ and $w$. As an immediate application of this result, we prove eigenvalue inequalities and the strong unique continuation property for eigenfunctions of the single-particle one-dimensional operators $h(v) = -\Delta +v$. In addition, we prove strict inequalities between the lowest eigenvalues of different self-adjoint realizations of $H_N(v,w)$.

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 paper gives a non-degeneracy theorem for the ground state of 1D fermionic many-body Schrödinger operators with distributional potentials, plus direct applications to single-particle unique continuation.

read the letter

The central result is that the ground state of H_N(v,w) on the antisymmetric L2 space is simple and does not vanish on a positive-measure set, for local boundary conditions; the same holds for periodic or antiperiodic conditions when N is odd or even respectively. This is stated to be new even when v and w are smooth. The applications to eigenvalue ordering and strong unique continuation for the single-particle operator h(v) follow immediately once the many-body statement is in hand. That is the concrete advance here. The work is technically in spectral theory and stays within that lane without overclaiming broader impact. The main soft spot is the functional-analytic setup: for v and w merely distributions the quadratic form on the antisymmetric domain must still be closed and bounded below with compact resolvent so that a discrete ground state exists to begin with. The stress-test note flags exactly this prerequisite. If the paper supplies an explicit domain or form-sum construction that works uniformly for the claimed class of potentials, the rest goes through; if that step is only sketched, the non-degeneracy claim has nothing to attach to. The citation pattern looks standard for the area and the argument is not circular. This is a paper for readers already working on 1D many-body spectral problems or unique continuation. It is coherent on its own terms and the claim is precise enough that a serious referee should see it, even if revisions are needed on the domain question.

Referee Report

2 major / 2 minor

Summary. The paper proves a non-degeneracy theorem for the ground state of the N-particle Schrödinger operator H_N(v,w) = −Δ + ∑_{i≠j} w(x_i,x_j) + ∑ v(x_j) acting on the antisymmetric subspace ∧^N L^2([0,1]), where v and w are distributional potentials. Under Fermi statistics and local boundary conditions the ground state is shown to be non-degenerate and to vanish only on a set of measure zero; for periodic (resp. antiperiodic) boundary conditions the same holds when N is odd (resp. even). The result is claimed to be new even for smooth potentials. Immediate applications are given to eigenvalue inequalities, the strong unique-continuation property for the single-particle operator h(v) = −Δ + v, and strict ordering of ground-state energies among different self-adjoint realizations of H_N(v,w).

Significance. If the central theorem is established, the result is significant: non-degeneracy statements for interacting fermions in one dimension with distributional potentials are scarce, and the claimed novelty even for regular potentials would strengthen the literature on one-dimensional many-body spectral theory. The applications to unique continuation and to comparisons of boundary-condition realizations supply concrete, falsifiable consequences that can be checked independently.

major comments (2)

[Section 2 (operator definition)] The manuscript must supply an explicit self-adjoint realization (domain or closed quadratic-form sum) of H_N(v,w) on ∧^N L^2([0,1]) that is bounded below and has compact resolvent when v and w are merely distributions; without this step the subsequent non-degeneracy and non-vanishing statements have no operator to which they apply. This construction is load-bearing for the whole argument.
[Section 3 (main theorem)] In the proof of the main non-degeneracy theorem (presumably §3), the argument that the ground-state eigenfunction cannot vanish on a positive-measure set must be shown to be compatible with the chosen boundary conditions; the periodic/antiperiodic cases are treated separately and the parity dependence on N must be verified directly rather than by reduction to the local-boundary case.

minor comments (2)

[Section 2] Notation for the antisymmetric domain and the precise class of distributions allowed for v and w should be stated once at the beginning of §2 and used consistently.
[Introduction] The abstract states that the result is new even for regular potentials; a short comparison paragraph with existing 1D non-degeneracy results (e.g., those based on Perron–Frobenius or nodal-domain arguments) would help the reader locate the novelty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The two major comments identify points where the presentation can be strengthened, particularly regarding the operator construction and the handling of boundary conditions in the proof. We address each below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Section 2 (operator definition)] The manuscript must supply an explicit self-adjoint realization (domain or closed quadratic-form sum) of H_N(v,w) on ∧^N L^2([0,1]) that is bounded below and has compact resolvent when v and w are merely distributions; without this step the subsequent non-degeneracy and non-vanishing statements have no operator to which they apply. This construction is load-bearing for the whole argument.

Authors: We agree that an explicit construction is required for the results to apply rigorously to distributional potentials. The manuscript defines H_N(v,w) via the closed quadratic form associated to the distributional potentials v and w on the antisymmetric domain, which is bounded below by the Kato-class assumptions and yields a self-adjoint operator with compact resolvent by standard Sobolev embedding in one dimension. To make this fully explicit as requested, we will expand Section 2 with a dedicated subsection detailing the form domain, closedness, the representation theorem application, and the compact-resolvent argument, including the necessary estimates for distributional interactions. revision: yes
Referee: [Section 3 (main theorem)] In the proof of the main non-degeneracy theorem (presumably §3), the argument that the ground-state eigenfunction cannot vanish on a positive-measure set must be shown to be compatible with the chosen boundary conditions; the periodic/antiperiodic cases are treated separately and the parity dependence on N must be verified directly rather than by reduction to the local-boundary case.

Authors: The manuscript already treats periodic and antiperiodic boundary conditions separately in Section 3, with the parity condition on N derived from the sign change under particle exchange combined with the boundary-condition phase. The non-vanishing argument is formulated directly on the appropriate function space for each boundary condition (using suitable periodic extensions or reflections that preserve antisymmetry). While a comparison to the local-boundary case is used for intuition, the core estimates are carried out independently. To address the concern, we will add an explicit direct-verification paragraph in the revised Section 3 that verifies the parity dependence and non-vanishing without any reduction step, making the argument self-contained for each boundary-condition class. revision: partial

Circularity Check

0 steps flagged

No circularity: direct mathematical proof of non-degeneracy

full rationale

The paper establishes a non-degeneracy theorem for the ground state of many-body Schrödinger operators H_N(v,w) on the antisymmetric L^2 space with local boundary conditions. The derivation proceeds via standard techniques in operator theory and properties of fermionic wavefunctions, without any fitted parameters, data-driven predictions, or load-bearing self-citations. The central claim (non-degeneracy and non-vanishing on positive measure sets) is proven directly from the self-adjointness assumption and the structure of the antisymmetric domain, which is stated as a prerequisite rather than derived circularly from the result itself. Applications to single-particle unique continuation follow as corollaries without reducing to the many-body input. This is a self-contained existence/non-degeneracy statement with no reduction of outputs to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard self-adjointness of Schrödinger operators with distribution potentials and on the antisymmetry imposed by Fermi statistics; no free parameters or new entities are introduced.

axioms (1)

domain assumption H_N(v,w) is self-adjoint on the antisymmetric L2 space with the chosen boundary conditions
Required for the spectrum to be bounded below and for a ground-state eigenfunction to exist.

pith-pipeline@v0.9.0 · 5772 in / 1125 out tokens · 28266 ms · 2026-05-22T23:26:14.028226+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Strictly correlated electrons in a quantum ring: from Kohn-Sham to Kantorovich potentials
math-ph 2026-04 unverdicted novelty 7.0

For electrons on a quantum ring, the Lieb density functional converges to the strictly correlated electrons functional and its representing potential converges to a regular Kantorovich potential in the semiclassical l...