Strictly correlated electrons in a quantum ring: from Kohn-Sham to Kantorovich potentials

This paper characterizes pairwise interactions satisfying the Seidl conjecture for symmetric multimarginal optimal transport and rigorously demonstrates that, for electrons in a quantum ring, the adiabatic connection potential converges to a regular Kantorovich potential in the strongly interacting limit.

The Gist

Imagine you are hosting a dinner party for $N$ extremely grumpy guests. These guests are electrons, and they have one golden rule: they hate being close to each other. In fact, if they get too close, the "pain" (or energy cost) of being near each other becomes infinite.

Your goal as the host is to arrange these guests around a table (which, in this paper, is shaped like a quantum ring—a circle) so that the total "grumpiness" of the party is as low as possible.

This paper is a mathematical guidebook on how to solve this seating arrangement problem, specifically when the guests are so grumpy that they are forced to sit as far apart as physically possible. The author, Thiago Carvalho Corso, tackles two main mysteries:

1. The "Perfect Seating Chart" (The Seidl Conjecture)

The Old Rule:
Previously, mathematicians knew how to seat these guests if the "pain" of being close increased the closer you got, and if the pain was the same everywhere (like a flat, infinite room). They found a simple rule: divide the room into $N$ equal slices and tell the guests to sit in a specific order, like a dance where everyone moves one step forward at a time.

The New Discovery:
But real life isn't always a flat, infinite room. Sometimes the table is a circle (a ring), or the rules of "pain" are more complex (like the distance between two people on a curved surface). The old rules didn't work for these shapes.

The author asks: "What is the exact rule that tells us when this simple 'dance-step' seating chart is the best possible one?"

The Answer:
He introduces a concept called "Well-Ordering."
Think of it like a game of musical chairs with a twist. If you pick any four guests and look at how they are paired up, the "pain" is lowest if the pairs are "nested" or "ordered" in a specific way.

• Analogy: Imagine four people standing on a line. If you pair the outer two and the inner two, that's the "well-ordered" way. If you pair the first with the third and the second with the fourth, that's "messy."
• The paper proves that if the "pain" function follows this "well-ordered" rule, the simple dance-step seating chart is always the winner, no matter how many guests you have or if the table is a circle.

This is huge because it confirms that for electrons on a quantum ring (a very real physical system), we can use this simple, elegant formula to predict exactly how they will arrange themselves when they are forced to be far apart.

2. The "Ghost Potential" (From Kohn-Sham to Kantorovich)

The Problem:
In the real world, electrons aren't just static statues; they wiggle and vibrate (quantum mechanics). To calculate their energy, scientists use a method called Density Functional Theory (DFT). It's like trying to predict the weather by looking at a map of average temperatures.

Usually, we calculate the energy by adding a "wiggle factor" (kinetic energy) to the "pain factor" (interaction). But what happens when the electrons are so grumpy that the "pain" factor completely dominates? The "wiggle" becomes negligible.

The Journey:
The paper tracks what happens to the "invisible force field" (the potential) that holds these electrons in place as they get more and more grumpy.

• The Kohn-Sham Potential: This is the complex, wiggly force field used when electrons are normal.
• The Kantorovich Potential: This is the smooth, simple force field that appears when electrons are strictly correlated (super-grumpy).

The Discovery:
The author proves that as the electrons become infinitely grumpy, the complex, wiggly force field smooths out and transforms perfectly into the simple, elegant "Kantorovich potential" from the optimal transport math.

The Metaphor:
Imagine you are trying to keep a crowd of people apart using a complex system of invisible springs and magnets (the Kohn-Sham potential). As you crank up the "hate" between the people to infinity, the springs and magnets stop vibrating and settle into a single, smooth, static shape (the Kantorovich potential). The paper proves that this transition happens exactly as physicists have suspected for decades, but now with a rigorous mathematical proof.

Why Does This Matter?

1. For Physicists: It gives them a reliable tool to model electrons in tiny, ring-shaped circuits (quantum rings) or on curved surfaces, which are crucial for future quantum computers and nanotechnology.
2. For Mathematicians: It solves a long-standing guess (the Seidl conjecture) and shows that the math of "moving sand" (Optimal Transport) is deeply connected to the math of "quantum particles."
3. The Big Picture: It bridges the gap between the messy, complex world of quantum mechanics and the clean, geometric world of optimal transport. It tells us that when things get extreme (super-correlated), nature simplifies itself into beautiful, predictable patterns.

In a Nutshell:
This paper is the ultimate instruction manual for seating extremely grumpy guests at a circular table. It proves that if the guests follow a specific "hate-distance" rule, there is one perfect, simple way to seat them. Furthermore, it shows that as the guests get angrier, the complex rules governing their movement simplify into a single, smooth, predictable pattern.

Technical Summary

1. Problem Statement and Motivation

The paper addresses two fundamental problems in the mathematical theory of Density Functional Theory (DFT) and Optimal Transport (OT), specifically focusing on strictly correlated electrons (SCE) in one-dimensional periodic systems (quantum rings).

• Context: In the limit of strong electron-electron interaction (semiclassical limit $\varepsilon \downarrow 0$), the Levy-Lieb constrained search functional in DFT converges to a multimarginal optimal transport problem. The cost function represents the pairwise interaction between electrons.
• Gap 1 (Interaction Potentials): Previous rigorous results (e.g., Colombo, De Pascale, and Di Marino [CDD15]) established that for 1D systems, the optimal transport plan has a specific "Seidl" structure (a cyclic permutation of marginals) only if the interaction potential is convex and decreasing. However, physically relevant interactions on a quantum ring (periodic domain) are periodic and cannot be globally decreasing. The paper seeks to characterize the maximal class of interactions for which the Seidl structure remains optimal.
• Gap 2 (Adiabatic Connection): While the convergence of the energy functional to the OT limit is known, the behavior of the adiabatic connection potential (the external potential $v_\lambda$ that yields a specific density $\rho$ at interaction strength $\lambda$) in the strong coupling limit ($\lambda \to \infty$) was not rigorously established for periodic systems. Specifically, does this potential converge to the Kantorovich potential of the optimal transport problem?

2. Methodology

The paper employs a combination of geometric analysis in optimal transport, convex analysis, and regularization techniques from quantum mechanics.

A. Characterization of Well-Ordering Interactions

To generalize the Seidl conjecture, the author introduces the concept of well-ordering interactions.

• Definition: A symmetric interaction $w$ is well-ordering if, for any four ordered points $x_1 \le x_2 \le x_3 \le x_4$, the sum of costs for the "crossed" pairing $(x_1, x_3)$ and $(x_2, x_4)$ is minimal among all permutations.
• Proof Strategy: The author develops a novel algorithmic swapping procedure. Unlike previous proofs relying on the decreasing nature of the potential, this method uses an auxiliary function $f_A$ (cumulative measure of a partition) to iteratively swap points in a candidate transport plan. The procedure reduces the total cost until the plan satisfies the "well-ordered" structure, proving that the Seidl plan is optimal if and only if the interaction is well-ordering.

B. Convergence of the Lieb Functional (Periodic Setting)

To prove the convergence of the quantum functional to the OT functional on a torus:

• Off-Diagonal Support: The author first proves that optimal plans for periodic systems with singular repulsive interactions (blowing up at coalescence points) are supported away from the diagonal (where particles coincide). This relies on adapting estimates from [BCD18, CDS19] to the periodic setting.
• Regularization: The paper adapts the Lewin-Bindini-De Pascale regularization procedure. It constructs a trial density matrix $\Gamma_\eta$ using Slater determinants of mollified wavefunctions. This construction preserves the periodic boundary conditions and the target density $\rho$ while ensuring the kinetic energy scales correctly as $\varepsilon \to 0$.

C. Asymptotics of the Adiabatic Potential

To establish the convergence of the potential $v_\varepsilon$ to the Kantorovich potential $v_{OT}$:

• Subgradient Analysis: The author utilizes convex analysis to show the existence of generalized Kantorovich potentials (subgradients of the functional in the dual Sobolev space $H^{-1}$).
• Regularity and Truncation: The proof involves showing that for bounded costs, generalized potentials are actually classical continuous functions. For unbounded costs (typical in physics), the author proves that locally, the unbounded problem is equivalent to a truncated problem. This allows the transfer of regularity results from the bounded case to the physical case.
• Convergence: By combining the convergence of the functionals with the uniform boundedness of the potentials in the dual norm, the author proves that $v_\varepsilon$ (up to a constant) converges weakly to a regular Kantorovich potential.

3. Key Contributions and Results

1. Characterization of Optimal Interactions (Theorem 2.2)

The paper provides a necessary and sufficient condition for the Seidl conjecture to hold: the interaction must be well-ordering.

• Result: The Seidl plan (cyclic transport map) is the unique minimizer for the multimarginal OT problem if and only if the interaction is strictly well-ordering.
• Application: This extends previous results to periodic systems. It confirms that physically relevant interactions on a quantum ring (e.g., $w(\theta, \phi) = w(2\sin(|\theta-\phi|/2))$) are well-ordering provided the underlying function is convex and decreasing on the fundamental domain $[0, \pi]$. This resolves the limitation of the [CDD15] results which required global monotonicity.

2. Convergence of the Lieb Functional (Theorem 2.7 & 4.3)

The paper rigorously proves that for periodic systems in arbitrary dimensions:
$$\lim_{\varepsilon \downarrow 0} F_\varepsilon^{\text{per}}(\rho) = F_{OT}(\rho)$$

• Significance: This is the first rigorous derivation of the strictly correlated electron limit for periodic boundary conditions. It confirms that the physics of electrons on a quantum ring in the strong coupling limit is exactly described by the multimarginal optimal transport problem.
• Rate of Convergence: Under additional regularity assumptions on the interaction, the paper establishes a remainder estimate of order $O(\varepsilon^{1/2})$.

3. Convergence of the Adiabatic Potential (Theorem 2.11)

The paper proves that the external potential $v_\varepsilon(\rho)$ required to maintain a density $\rho$ in the strong coupling limit converges to the Kantorovich potential of the OT problem:
$$v_\varepsilon(\rho) + C_\varepsilon \rightharpoonup v_{OT}(\rho) \quad \text{in } H^{-1}_{\text{per}}$$

• Significance: This provides the first rigorous mathematical justification for the asymptotic expansion $v_\lambda(\rho) \approx \lambda v_{OT}(\rho)$ often used in physics literature. It bridges the gap between the Kohn-Sham potential (quantum) and the Kantorovich potential (classical transport).

4. Significance and Impact

• Mathematical Physics: The work bridges the gap between abstract optimal transport theory and the specific physical constraints of periodic quantum systems (quantum rings). It validates the use of OT-based functionals for modeling strongly correlated electrons in nanoscale rings.
• Generalization of Theory: By introducing the "well-ordering" property, the paper significantly broadens the class of interactions for which explicit optimal maps (Seidl plans) are known, moving beyond the restrictive "convex and decreasing" assumption.
• Foundation for DFT: The rigorous derivation of the adiabatic potential's limit is a crucial step toward developing accurate exchange-correlation functionals for strongly correlated systems. It suggests that the leading-order behavior of the potential is entirely determined by the geometry of the optimal transport problem.
• Methodological Innovation: The algorithmic swapping procedure used to prove the well-ordering property offers a new tool for analyzing $c$-cyclically monotone sets in multimarginal transport, independent of the monotonicity of the cost function.

In summary, this paper provides a rigorous mathematical foundation for the "Strictly Correlated Electrons" limit in periodic 1D systems, characterizes the exact class of interactions allowing for explicit solutions, and proves the convergence of the associated quantum potentials to their optimal transport counterparts.