Gebert (Math. Phys. Anal. Geom. 18 (2015)) rigorously computed the 1/L1/L finite-size correction to the difference of the ground-state energies of two non-interacting NN-fermion gases confined to an interval (0,L)(0,L), one free and one subjected to a local potential VV, expressing the coefficient through scattering data (the phase shift δ\delta, the spectral shift function ξ\xi, and the orthogonality exponent ζ(E)=δ2(E)/π2\zeta(E)=\delta^2(\sqrt E)/\pi^2) and showing it to be non-universal in the thermodynamic-limit parameter. The theorem is restricted to non-negative short-range potentials V≥0V\ge 0, a hypothesis adopted explicitly to avoid bound states and zero-energy resonances. The problem is to extend these asymptotics to sign-indefinite short-range potentials: a later preprint of Otte and Spitzer (arXiv:1801.00144) covers the bound-state case with the same 1/L1/L structure, but the zero-energy-resonance regime - where the phase shift fails to vanish at threshold, the perturbation determinant (the Fredholm determinant encoding the difference between the perturbed and free resolvents) vanishes at the spectral edge, and the lowest box eigenvalues are anomalous - has remained untreated in the literature. A solution must decide whether the resonance modifies the finite-size energy beyond the Levinson normalization of the spectral shift function, or whether additional discrete contributions or different powers of LL appear.

Background

Consider NN identical spin-polarized fermions confined to the interval (0,L)(0,L) with Dirichlet boundary conditions (wave functions vanish at the walls). Because the particles do not interact, the many-body ground-state energy is the sum of the NN smallest eigenvalues of the one-particle Schrödinger operator: ELN=∑j=1NλjLE_L^N=\sum_{j=1}^N\lambda_j^L for the free operator HL=−ΔLH_L=-\Delta_L, and EL′N=∑j=1NμjLE_L^{\prime N}=\sum_{j=1}^N\mu_j^L for the perturbed operator HL′=−ΔL+VH_L^{\prime}=-\Delta_L+V, where VV is a local external potential supported near the origin. The quantity of interest is the difference EL′N−ELNE_L^{\prime N}-E_L^N in the thermodynamic limit N,L→∞N,L\to\infty at fixed density, for instance along the family (N+a)/L→E/π(N+a)/L\to\sqrt E/\pi with a real parameter aa, where E>0E>0 plays the role of the Fermi energy.

Two classical scattering quantities enter. The phase shift δ(k)\delta(k) of the pair of infinite-volume half-line operators H=−ΔH=-\Delta and H′=−Δ+VH^{\prime}=-\Delta+V on L2(0,∞)L^2(0,\infty) (with Dirichlet condition at the origin) measures the displacement of the nodes of a scattering solution at energy k2k^2 relative to the free solution. Kreĭn's spectral shift function ξ\xi measures the net redistribution of eigenvalues between the two operators and satisfies the Birman–Yafaev identity δ(E)=−πξ(E)\delta(\sqrt E)=-\pi\xi(E) for E>0E>0. By Levinson's theorem, the threshold value δ(0+)\delta(0^+) counts the bound states (negative eigenvalues) of H′H^{\prime}, plus one half if H′H^{\prime} has a zero-energy resonance - a bounded, non-square-integrable solution of −u′′+Vu=0-u^{\prime\prime}+Vu=0 with u(0)=0u(0)=0, also called a half-bound state.

Physically this setting models the sudden switching-on of a local scatterer in a Fermi sea, as in Anderson's orthogonality catastrophe: the overlap of the two many-body ground states decays as L−ζ(E)/2L^{-\zeta(E)/2} with ζ(E)=δ2(E)/π2\zeta(E)=\delta^2(\sqrt E)/\pi^2. Affleck and co-authors argued from conformal field theory that the next-to-leading term of the energy difference - the finite-size energy, of order 1/L1/L, sitting on top of the order-one Fumi term ∫−∞Eξ(x) dx\int_{-\infty}^{E}\xi(x)\,dx - should be tied to the same exponent ζ(E)\zeta(E).

Gebert (Math. Phys. Anal. Geom. 18 (2015)) proved for non-negative short-range potentials, V≥0V\ge 0 with ∫0∞V(x)(1+x2) dx<∞\int_0^\infty V(x)(1+x^2)\,dx<\infty, that

EL′N−ELN=−1π∫0(Nπ/L)2δ(x) dx+EL(−δ(E)+1πδ2(E))+o(1L),E_L^{\prime N}-E_L^N=-\frac1\pi\int_0^{(N\pi/L)^2}\delta(\sqrt x)\,dx+\frac{\sqrt E}{L}\Bigl(-\delta(\sqrt E)+\frac1\pi\delta^2(\sqrt E)\Bigr)+o\Bigl(\frac1L\Bigr),

so that along (N+a)/L=E/π(N+a)/L=\sqrt E/\pi the expansion takes the form

EL′N−ELN=∫−∞Eξ(x) dx+πEL xFSa(E)+o(1L),E_L^{\prime N}-E_L^N=\int_{-\infty}^{E}\xi(x)\,dx+\frac{\pi\sqrt E}{L}\,x^a_{FS}(E)+o\Bigl(\frac1L\Bigr),

where the finite-size energy xFSa(E)=(1−2a) ξ(E)+ζ(E)x^a_{FS}(E)=(1-2a)\,\xi(E)+\zeta(E) - the coefficient of πEL\frac{\pi\sqrt E}{L}, in the normalization of the source - is non-universal in the thermodynamic-limit parameter aa, and equals the orthogonality exponent ζ(E)\zeta(E) only for the special choice a=1/2a=1/2. The hypothesis V≥0V\ge0 was adopted, in the paper's own words, to avoid bound states or zero-energy resonances (Remark 2.5(iv)): for such VV the phase shift obeys ∣δ(k)∣≤cmin⁡{k,1/k}|\delta(k)|\le c\min\{k,1/k\}, a small-kk bound that drives the proof's eigenvalue estimates in Prüfer variables (an amplitude–phase reformulation of the one-dimensional Schrödinger eigenvalue problem that yields eigenvalue-spacing asymptotics) and its Euler–Maclaurin summation (the classical correction formula comparing discrete sums with the corresponding integrals). For sign-changing VV the operator H′H^{\prime} has finitely many bound states, and at threshold couplings a zero-energy resonance; in both regimes δ(0+)≠0\delta(0^+)\neq0 and this small-kk control fails. A later preprint of Otte and Spitzer covers the sign-indefinite case without resonance, but the resonant regime has remained open.

Problem Statement

Extend the rigorous 1/L1/L asymptotics of the ground-state-energy difference of two non-interacting one-dimensional Fermi gases beyond the non-negative short-range class in which Gebert (2015) proved them. Concretely: let VV be a real-valued short-range potential on the half-line (0,∞)(0,\infty), allowed to change sign (for definiteness, ∫0∞(1+x3)∣V(x)∣ dx<∞\int_0^\infty(1+x^3)|V(x)|\,dx<\infty), so that the operator H′=−Δ+VH^{\prime}=-\Delta+V on L2(0,∞)L^2(0,\infty) with Dirichlet boundary condition at the origin has finitely many bound states and possibly a zero-energy resonance, i.e. a bounded, non-square-integrable solution of −u′′+Vu=0-u^{\prime\prime}+Vu=0 with u(0)=0u(0)=0. On the interval (0,L)(0,L) with Dirichlet boundary conditions at both ends, let ELNE_L^N and EL′NE_L^{\prime N} denote the sums of the NN smallest eigenvalues of −ΔL-\Delta_L and −ΔL+V-\Delta_L+V respectively. Prove an expansion

EL′N−ELN=∫−∞Eξ(x) dx+πEL Ca(E)+o(1L)E_L^{\prime N}-E_L^N=\int_{-\infty}^{E}\xi(x)\,dx+\frac{\pi\sqrt E}{L}\,C_a(E)+o\Bigl(\frac1L\Bigr)

(or an explicitly equivalent normalization, stated) along the thermodynamic-limit family (N+a)/L→E/π(N+a)/L\to\sqrt E/\pi (with E>0E>0 the Fermi energy and a∈Ra\in\mathbb R fixed), valid over the stated class including the resonant case, with the finite-size energy Ca(E)C_a(E) expressed through the scattering data of the pair (H,H′)(H,H^{\prime}): the phase shift δ(k)\delta(k) and the spectral shift function ξ\xi with an explicitly stated normalization, including its Levinson jump at threshold (Levinson's theorem: δ(0+)\delta(0^+) equals π\pi times the number of bound states, plus π/2\pi/2 at a resonance). The answer must decide whether the non-resonant formula Ca(E)=xFSa(E)=(1−2a) ξ(E)+ζ(E)C_a(E)=x^a_{FS}(E)=(1-2a)\,\xi(E)+\zeta(E), with ζ(E)=δ2(E)/π2\zeta(E)=\delta^2(\sqrt E)/\pi^2, persists at a zero-energy resonance once ξ\xi is normalized through Levinson's theorem, or whether additional discrete contributions or different powers of LL appear; in particular, the anomalous behaviour of the lowest interval eigenvalues at the resonance must be controlled. The sign-indefinite case without resonance has a preprint-level treatment (Otte and Spitzer, arXiv:1801.00144) which a solution may build upon or re-derive; the zero-energy-resonance regime is the genuinely open core. The analogous problem on the whole line with general boundary conditions may optionally be treated with the same answer; the required open core is the half-line Dirichlet case including the zero-energy resonance.

References

  1. Martin Gebert, "Finite-size energy of non-interacting Fermi gases", Mathematical Physics, Analysis and Geometry 18, Article 27 (2015). DOI: 10.1007/s11040-015-9198-1; arXiv:1406.3739. https://doi.org/10.1007/s11040-015-9198-1
  2. Peter Otte, Wolfgang Spitzer, "Ground-state energy of one-dimensional free Fermi gases in the thermodynamic limit" (2017). arXiv:1801.00144. https://arxiv.org/abs/1801.00144
  3. Douglas F. C. A. Silva, Massimo Ostilli, Carlo Presilla, "Ground-state-energy universality of noninteracting fermionic systems", Physical Review A 104, 023309 (2021). DOI: 10.1103/PhysRevA.104.023309; arXiv:2104.05492. https://doi.org/10.1103/PhysRevA.104.023309
  4. Martin Gebert, "The asymptotics of an eigenfunction-correlation determinant for Dirac-δ perturbations", Journal of Mathematical Physics 56, 072110 (2015). DOI: 10.1063/1.4927335. https://doi.org/10.1063/1.4927335
  5. Martin Gebert, Heinrich Küttler, Peter Müller, Peter Otte, "The exponent in the orthogonality catastrophe for Fermi gases", Journal of Spectral Theory 6, 643–683 (2016). DOI: 10.4171/JST/135; arXiv:1407.2512. https://doi.org/10.4171/JST/135
  6. Hans Konrad Knörr, Peter Otte, Wolfgang Spitzer, "Anderson's orthogonality catastrophe in one dimension induced by a magnetic field", Journal of Physics A: Mathematical and Theoretical 48, 325202 (2015). DOI: 10.1088/1751-8113-48-32/325202. https://doi.org/10.1088/1751-8113-48-32/325202
  7. Heinrich Küttler, Peter Otte, Wolfgang Spitzer, "Anderson's orthogonality catastrophe for one-dimensional systems", Annales Henri Poincaré 15, 1655–1696 (2014). DOI: 10.1007/s00023-013-0287-z. https://doi.org/10.1007/s00023-013-0287-z
  8. Ian Affleck, "Boundary condition changing operations in conformal field theory and condensed matter physics", Nuclear Physics B – Proceedings Supplements 58, 35–41 (1997). DOI: 10.1016/S0920-5632(97)00411-8. https://doi.org/10.1016/S0920-5632(97)00411-8
  9. I. Affleck, A. W. W. Ludwig, "The Fermi edge singularity and boundary condition changing operators", Journal of Physics A: Mathematical and General 27, 5375–5392 (1994). DOI: 10.1088/0305-4470-27-16/007. https://doi.org/10.1088/0305-4470-27-16/007
  10. Philip W. Anderson, "Ground state of a magnetic impurity in a metal", Physical Review 164, 352–359 (1967). DOI: 10.1103/PhysRev.164.352. https://doi.org/10.1103/PhysRev.164.352