Slater-type Conditions

• Slater-type conditions are structural regularity assumptions that guarantee strict feasibility, enabling strong duality and the existence of Lagrange multipliers in convex optimization.
• They underpin single-determinant representability in density functional theory by imposing H¹ regularity and vorticity bounds on electronic densities.
• In condensed matter physics, these conditions help distinguish Slater insulators with antiferromagnetic order from Mott insulators through precise gap-opening mechanisms.

Slater-type conditions play a central role in multiple domains of mathematical physics, convex optimization, and condensed matter theory. The term encompasses structural regularity assumptions—most prominently "Slater's condition"—that guarantee favorable properties such as strong duality, existence of Lagrange multipliers, or, in electronic structure theory, realizability of densities by single-determinant or mean-field states. This article surveys the technical formulation, domain-specific manifestations, and functional significance of Slater-type conditions in convex analysis, density functional theory, and correlated electron systems.

1. Classical Slater Condition in Convex Optimization

In finite and infinite convex programming, a Slater-type condition asserts the strict feasibility of the constraint system. For an infinite convex program

$$(\mathcal{P}) \quad \inf_{x \in X} f_0(x) \quad \text{s.t.} \quad f_t(x) \leq 0 \;\; \forall t \in T,$$

where $X$ is a Banach space and $\{f_t\}_{t \in T}$ are proper convex functions, the Slater condition requires the existence of $x_0 \in X$ such that

$\sup_{t \in T} f_t(x_0) < 0$

and $x_0 \in \mathrm{dom}\,f_0$ (Correa et al., 5 Feb 2026). This "strict interior" guarantees qualification for duality theorems.

Under mild continuity, the Slater condition is sufficient (and, in several function space settings, nearly necessary) to ensure zero duality gap between the original program and various relaxations (e.g., Fenchel–Moreau biconjugate relaxations in infinite constraints). The absence of such a condition can lead to duality gaps or failure of Lagrange multiplier existence, especially in infinite-dimensional settings (Wachsmuth, 2022).

2. Slater-type Regularity and Duality Results

The presence of a Slater point enables strong duality via:

• Existence of dual multipliers: There are weights $(\lambda_t)_{t \in T} \in \ell_+^1$ and $\lambda_\infty \geq 0$ such that the program's value can be re-expressed as an unconstrained penalized infimum involving these multipliers (Correa et al., 5 Feb 2026).
• Exact relaxation: The biconjugate-relaxed problem on the bidual space

$$(\mathcal{P}^{**}) \quad \inf_{z \in X^{**}} f_0^{**}(z) \;\text{s.t.}\; f_t^{**}(z) \leq 0 \;\forall t \in T$$

achieves the same value as the original problem if both the Slater-type and continuity assumptions are satisfied.

• KKT theory in Lebesgue spaces: For problems with pointwise box constraints and finitely many affine or nonlinear constraints, the existence of a strictly feasible point in the interior of the box suffices to recover classical multipliers. For example, in $L^p(\mu)$, if $X$0 almost everywhere and the linear constraints are satisfied, optimal multipliers $X$1 exist solving the KKT system (Wachsmuth, 2022).

A crucial technical insight is that in infinite-dimensional settings, the normal cones to such constraints need not be closed without strict feasibility, leading to possible failure of duality or multipliers. The Slater property restores closure and enables application of separation theorems.

3. Slater-type Representability in Density Functional Theory

In electronic structure theory, "Slater-type representability" refers to the realization of admissible densities or density matrices as arising from a single Slater determinant—a central assumption in mean-field methodologies.

In spin-density functional theory (SDFT), the admissible set $X$2 consists of $X$3 Hermitian, nonnegative matrix-valued functions $X$4 with

$X$5

For $X$6, Gontier proved that every such $X$7 is realizable by a Slater determinant of $X$8 orthonormal spinors—i.e., the pure-state, mixed-state, and Slater representability sets all coincide (Gontier, 2015). For $X$9, only rank-one $\{f_t\}_{t \in T}$0 (i.e., $\{f_t\}_{t \in T}$1) are allowed.

When including a magnetic field (current-spin DFT, CSDFT), a further necessary condition involves the paramagnetic current $\{f_t\}_{t \in T}$2: $\{f_t\}_{t \in T}$3 and, for $\{f_t\}_{t \in T}$4, additional uniform bounds on the vorticity of $\{f_t\}_{t \in T}$5 and its gradient are sufficient for single-determinant representability. The obstruction to Slater representability in this regime is thus reduced to Sobolev-type conditions on $\{f_t\}_{t \in T}$6 and mild control of the velocity field's vorticity (Gontier, 2015).

4. Slater-type Mechanisms in Condensed Matter Physics

A "Slater-type insulator" is a system where the insulating gap opens precisely due to long-range antiferromagnetic (AFM) order. In a mean-field Hartree–Fock description of the Hubbard model, the interaction

$\{f_t\}_{t \in T}$7

induces a gap $\{f_t\}_{t \in T}$8, where $\{f_t\}_{t \in T}$9 is the AFM order parameter, vanishing at the Néel temperature $x_0 \in X$0 (Kim et al., 2015).

This gap is distinct from a Mott gap $x_0 \in X$1, which survives well above $x_0 \in X$2 due to strong local correlations. Experimental signatures of a Slater-type gap include:

• Gap opening coincident with AFM order, closing at $x_0 \in X$3;
• Partial gapping of the Fermi surface, consistent with spin-density-wave physics;
• Redistribution of optical spectral weight from below to just above $x_0 \in X$4;
• Reduced carrier scattering rates below $x_0 \in X$5.

Sr$x_0 \in X$6Ir$x_0 \in X$7Rh$x_0 \in X$8O$x_0 \in X$9 exemplifies a system undergoing a transition from a Mott to a Slater-type gap as doping suppresses the Mott gap and a smaller, partial SDW-like gap emerges below $\sup_{t \in T} f_t(x_0) < 0$0 (Xu et al., 2020).

5. Partial and Necessary Character of Slater-type Properties

In multiple contexts, the Slater-type condition is not only sufficient but may also be necessary (in specific senses):

• Optimization: In Lebesgue spaces with box constraints, the absence of a strictly feasible (interior) point implies failure of Lagrange multipliers for some linear objectives (Wachsmuth, 2022). This necessity becomes explicit under non-atomicity and mild reflexivity assumptions.
• Electronic structure: In CSDFT, realizability by a Slater determinant is obstructed only by failure to meet $\sup_{t \in T} f_t(x_0) < 0$1-type and vorticity regularity conditions—no additional $\sup_{t \in T} f_t(x_0) < 0$2-representability constraints appear for $\sup_{t \in T} f_t(x_0) < 0$3 (Gontier, 2015).
• Condensed matter: The mere presence of an energy gap does not confirm Slater or Mott mechanism; persistence of the gap above $\sup_{t \in T} f_t(x_0) < 0$4 (as in Na$\sup_{t \in T} f_t(x_0) < 0$5IrO$\sup_{t \in T} f_t(x_0) < 0$6) rules out a simple Slater picture, demonstrating the necessity of examining temperature and magnetic order parameter dependence quantitatively (Kim et al., 2015).

6. Applications and Extensions

Slater-type conditions have broad functional significance:

• In semi-infinite and infinite convex programming, they underwrite practical algorithms by ensuring the absence of duality gaps and the validity of penalized multiplier formulations, with direct applicability in robust optimization, variational calculus, and control theory (Correa et al., 5 Feb 2026).
• For PDE- or ODE-constrained optimization with functional or pointwise constraints, polyhedricity plus existence of a Slater point provides tractable constraint qualification, avoiding the need for strong interior point assumptions (Wachsmuth, 2022).
• In theoretical chemistry and physics, the structure of Slater-type representability sets informs both analytical results and computational methods in DFT and its extensions to systems under magnetic fields (Gontier, 2015).
• The experimental distinction between Slater and Mott regimes via doping and temperature control is crucial for understanding electronic phase diagrams of transition metal oxides and pnictides (Xu et al., 2020).

7. Summary Table: Manifestations of Slater-type Conditions

Domain	Slater-type Condition	Key Implication
Convex Programming	Strict interior for all constraints	No duality gap, existence of multipliers (Correa et al., 5 Feb 2026)
Lebesgue-space Optimization	Strict a.e. interior among box bounds	KKT system holds, dual multipliers exist (Wachsmuth, 2022)
SDFT/CSDFT	$\sup_{t \in T} f_t(x_0) < 0$7 regularity, vorticity bounds	Single-determinant representability (Gontier, 2015)
Strongly Correlated Solids	AFM order, gap closes at $\sup_{t \in T} f_t(x_0) < 0$8	Slater insulator; distinguishes from Mott regime (Xu et al., 2020)

Slater-type conditions unify a broad class of structural regularity assumptions critical for strong duality, representability, and gap-opening mechanisms across mathematics and physics. Their precise formulation and ramifications are domain-dependent but central to both the theory and application of convex optimization, density functionals, and correlated matter systems.