The concentration conjecture for Dirac--Coulomb operators

Technical Summary: The Concentration Conjecture for Dirac–Coulomb Operators

Problem Statement
The paper addresses the "concentration conjecture" for the three-dimensional Dirac operator with mass $m > 0$ interacting with an attractive Coulomb potential generated by finitely many point charges. Let $H_V = D_m - V$ be the distinguished self-adjoint realization of the operator, where the total charge $G = \sum g_i$ satisfies $0 < G \le 1$. The spectrum of $H_V$ contains a gap $(-m, m)$, and $\lambda_1(H_V)$ denotes the lowest eigenvalue within this gap.

The conjecture posits that among all configurations of charges with a fixed total charge $G$, the lowest possible value for $\lambda_1(H_V)$ is achieved when all charge is concentrated at a single point (the "united atom" limit). In this single-center case, the eigenvalue is known to be $m\sqrt{1-G^2}$. The paper aims to prove that for any configuration where the charge is distributed over distinct centers ($N \ge 2$), the inequality is strict:
$$\lambda_1(H_V) > m\sqrt{1-G^2}.$$
This result is extended to arbitrary nonnegative finite Borel measures $\mu$ with total mass $G \in (0, 1]$.

Methodology
The proof relies on a Birman–Schwinger comparison principle. The authors compare the Birman–Schwinger operator $K_E = W R_E W^*$ associated with the multi-center potential against a matrix of block norms. The core of the argument reduces to establishing a strict two-center estimate for the weighted free Dirac resolvent.

1. Reduction to a Two-Center Estimate:
   The authors define the operator $T_E = w_B (D_m - E)^{-1} w_A$ for distinct centers $A$ and $B$, where $w_X = |x-X|^{-1/2}$. They prove that for $0 \le E < m$, the operator norm satisfies a strict inequality compared to the single-center case:
   $$\|w_B (D_m - E)^{-1} w_A\| < \frac{m}{\sqrt{m^2 - E^2}}.$$
   This strict contraction is the pivotal step that excludes the interval $(-m, m\sqrt{1-G^2}]$ from the spectrum of the multi-center operator.

2. Auxiliary Axial Operator:
   To prove the two-center estimate, the problem is transformed via a series of unitary and scaling transformations (involving prolate spheroidal coordinates) into a spectral gap problem for an auxiliary axial operator $H^{(3)}_{k,q,j}$ acting on a half-strip $\Omega = (0, \infty) \times (0, \pi)$. Here, $k$ represents the scaled separation of the centers, $q$ relates to the energy, and $j$ is the axial angular momentum.
   The goal becomes showing that the spectrum of $H^{(3)}_{k,q,j}$ is disjoint from $[-1, 1]$ for all relevant parameters.

3. Regime Decomposition:
   The proof of the spectral gap for the auxiliary operator is split into two regimes based on the separation parameter $k$:

   • Large-Separation Regime ($k \ge 2/5$): The authors utilize a zero-energy estimate derived from an exact factorization of the squared operator into radial and angular parts. They combine this with a scalar resolvent estimate (Lemma 4.1) and a concavity argument to establish the gap for all $q \in [0, 1]$.
   • Small-Separation Regime ($k < 2/5$): This regime requires a more delicate analysis. The authors decompose the auxiliary operator into a radial part $R$ and an angular part $A_0$, treating the separation as a bounded perturbation.
     • They characterize the kernel of the radial operator $R$ (which is two-dimensional) and establish a positive spectral gap above the kernel.
     • Using a Schur complement formalism adapted to the kernel of $R$, they reduce the spectral exclusion problem to a scalar inequality involving an "angular criterion" function $F(k, q)$.
     • The positivity of $F(k, q)$ is verified through a combination of polynomial inequalities (using Bernstein expansions) and endpoint estimates. For the remaining compact parameter region, they verify the condition by separating the domain into sub-regions where either the angular criterion or a polynomial bound on the endpoint estimate holds.

Key Contributions and Results

• Proof of the Concentration Conjecture: The paper provides a rigorous proof that for any configuration of $N \ge 2$ distinct point charges with total charge $G \in (0, 1]$, the lowest eigenvalue in the spectral gap is strictly greater than $m\sqrt{1-G^2}$.
• Extension to Measures: The result is generalized to arbitrary nonnegative finite Borel measures, showing that equality holds if and only if the measure is a single point mass.
• Strict Two-Center Resolvent Estimate: The authors establish a strict inequality for the norm of the weighted resolvent between two distinct centers, which is of independent interest in the spectral theory of Dirac operators.
• Analytical Techniques: The work introduces a novel combination of techniques, including:
  • An auxiliary axial operator formulation for the Dirac resolvent.
  • A precise decomposition of the operator into radial and angular components for small separations.
  • A Schur complement reduction to scalar polynomial inequalities.
  • Rigorous verification of these inequalities using rational arithmetic and polynomial expansions (Bernstein basis).

Significance
The paper resolves a long-standing open problem in relativistic quantum mechanics regarding the optimization of the ground-state energy (lowest gap eigenvalue) for Dirac–Coulomb systems. While the non-relativistic Schrödinger case follows from the variational principle and concavity, the relativistic Dirac operator is unbounded below, requiring a min-max characterization of the gap eigenvalues.

The authors' approach bypasses the need for monotonicity under nuclear contraction (a stronger property not established here) and instead relies on a direct spectral comparison via the Birman–Schwinger principle. The result confirms the physical intuition that the "united atom" configuration minimizes the electronic energy for a fixed total nuclear charge in the relativistic regime. The proof is notable for its technical depth, particularly in handling the critical small-separation regime where standard perturbation arguments are insufficient, requiring exact polynomial inequalities to close the gap estimate.