--- title: 'Restricted Coercivity: Theory & Applications' url: https://www.emergentmind.com/topics/restricted-coercivity type: topic --- # Restricted Coercivity: Theory & Applications Restricted coercivity denotes a family of non-identical but structurally related ideas in which coercivity is not imposed on an entire space without qualification, but only after accounting for directions that are neutralized by a kernel, a symmetry group, a solution manifold, a field projection, or a microstructural reversal pathway. In the supplied literature, this appears explicitly as coercivity of a convex function on a subspace in regularized least-squares, as coercivity of the K-energy modulo automorphisms in complex geometry, and as a local rank-controlled coercivity transverse to a solution manifold in physical learning; in magnetic systems, closely related analyses interpret the measured coercive field as restricted by domain-wall depinning, defect structure, dipolar geometry, or exchange-averaged disorder rather than by a full anisotropy barrier [2507.20686], [1610.07998], [2606.15443], [2307.00475]. This suggests a common theme: the coercive quantity is meaningful only on the directions that remain dynamically or variationally active after the ambient degeneracies have been factored out. ## 1. Terminological landscape and formal patterns The terminology is not uniform across the literature. In convex optimization, restricted coercivity is defined directly: for \(f\in\Gamma_0(\mathbb{R}^n)\) and a proper linear subspace \(D\subset\mathbb{R}^n\), \(f\) is coercive on \(D\) if \[ \lim_{\|P_Dx\|\to+\infty} f(x)=+\infty. \] In Kähler geometry, ordinary coercivity of the Mabuchi K-energy, \[ M(\varphi)\ge \delta J(\varphi)-C, \] is replaced by a reduced form \[ M(\varphi)\ge \delta J_{C(G)}(\varphi)-C,\qquad J_T(\varphi):=\inf_{g\in T}J(\varphi_g). \] In operator theory, a bounded operator \(A\) is coercive if \[ |(A\phi,\phi)_{\mathcal H}| \ge \alpha \|\phi\|_{\mathcal H}^2, \] while a weaker but decisive condition for Galerkin convergence is that \(A\) be coercive plus compact, equivalently \(0\notin W_{\mathrm{ess}}(A)\). In physical learning for linear circuits, the relevant coercivity is local and is equivalent near the solution manifold to full row rank of \(\nabla_k r\), or, in circuit form, to full column rank of \(\mathscr D'^\top \hat L^{-1}\hat Q\) [2507.20686], [1610.07998], [2105.11383], [2606.15443]. | Setting | Restricted object | Representative criterion | |---|---|---| | Regularized least-squares | \(f\) on a subspace \(D\) | \(\lim_{\|P_Dx\|\to\infty} f(x)=\infty\) | | K-energy with automorphisms | \(J\) modulo torus action | \(J_T(\varphi)=\inf_{g\in T}J(\varphi_g)\) | | Physical learning in circuits | Directions transverse to \(\mathcal S\) | \(\operatorname{rank}\nabla_k r=O\) | | Ferrimagnetic switching | Perpendicular field component | \(H_c(\theta_H)\propto 1/\cos\theta_H\) | | Boundary integral operators | Coercivity modulo compact terms | \(0\notin W_{\mathrm{ess}}(A)\) | These formulations are not interchangeable. A plausible implication is that “restricted coercivity” is best treated as a pattern of analysis rather than as a single cross-disciplinary definition. ## 2. Restricted switching fields in ferrimagnetic FeTb In amorphous \(\mathrm{Fe}_{0.55}\mathrm{Tb}_{0.45}\) films of thickness \(t=8,16,32,48\) nm, coercivity is interpreted not as an intrinsic anisotropy field in the Stoner–Wohlfarth sense, but as a restricted switching field set by thermally assisted domain-wall depinning and by the projection of the applied field onto the perpendicular easy axis. Thickness alone tunes the ferrimagnet from Tb-dominated to Fe-dominated regimes, with compensation thickness \(16\) nm at \(5\) K and about \(20\) nm at \(300\) K, and the coercivity strengthens near this crossover region. The low-temperature out-of-plane switching field exceeds \(90\) kOe below \(175\) K for the \(16\) nm film and below \(25\) K for the other three films; a concrete example is the \(32\) nm sample at \(25\) K, where \(H_c=65\) kOe [2307.00475]. The central angular law is \[ H_c(\theta_H)\propto \frac{1}{\cos\theta_H}, \] with \(\theta_H\) the polar angle of the applied field relative to the film normal. Equivalently, \[ H_c(\theta_H)\cos\theta_H \approx \text{const}. \] The measured coercivity is therefore restricted to the useful perpendicular field component \(H_z=H\cos\theta_H\). This sharply contrasts with the macrospin coherent-rotation expression \[ H_c = H_k \left(\cos^{2/3}\theta_H+\sin^{2/3}\theta_H\right)^{-3/2}, \] and the discrepancy is reinforced by the experimental fact that \(H_c\ll H_k\) at normal incidence. Square Hall loops, switching fields much smaller than \(H_k\), and the non-Stoner–Wohlfarth angular scaling together support reversal by nucleation plus wall propagation with a depinning barrier rather than coherent rotation over the full anisotropy barrier. Temperature dependence supplies the second restriction. The coercivity increases quasi-exponentially upon cooling, but no activation energy or explicit fit is extracted. The established interpretation is that thermal fluctuations assist domain walls in overcoming pinning barriers at higher temperature, whereas cooling suppresses that assistance and raises the field required for depinning. In this sense, the measured coercive field is a thermally assisted depinning field, not an unrestricted anisotropy field. ## 3. Microstructural and intrinsic limits in magnetic materials A distinct magnetic use of the idea appears when coercivity is treated as a value systematically limited below an anisotropy-controlled ideal by nonuniform reversal, demagnetizing fields, thermal activation, or defect structure. For ideal \(40\) nm cubes of \(\mathrm{Sm}_{1-z}\mathrm{Zr}_z(\mathrm{Fe}_{1-y}\mathrm{Co}_y)_{12-x}\mathrm{Ti}_x\), the upper benchmark is \[ H_{\mathrm N}=\frac{2K}{\mu_0 M_s}, \] but the practical coercive field is written \[ H_c=\alpha H_{\mathrm N}-N_{\mathrm{eff}}M_s-H_f. \] Even without structural defects or soft phases, the coercivity is reduced to \(60\%\) of the anisotropy field at room temperature and to \(50\%\) at \(473\) K because of misorientation, self-demagnetizing fields, and thermal fluctuations; for \((\mathrm{Sm}_{0.8}\mathrm{Zr}_{0.2})(\mathrm{Fe}_{0.75}\mathrm{Co}_{0.25})_{11.5}\mathrm{Ti}_{0.5}\) at \(473\) K, the ideal-cube limit is \(\mu_0H_c=2.61\) T [1708.01880]. In ThMn\(_{12}\)-type \((\mathrm{Sm},\mathrm{Zr})_1(\mathrm{Fe},\mathrm{Co},\mathrm{Ti})_{12}\) powders, the limiting mechanism is microstructural. Raising the reduction-diffusion temperature from \(990^\circ\mathrm{C}\) to \(1220^\circ\mathrm{C}\) increases the coercivity from \(0.45\) T to \(1.26\) T. High-temperature processing annihilates grain boundaries and reduces twin-boundary density by about \(60\%\), and the paper identifies grain boundaries and twin boundaries as weak links for demagnetization in this nucleation-type magnet [2410.06540]. The key point is that the realized coercivity is held below the intrinsic anisotropy potential by internal interfaces that facilitate reversal nucleation. Au-assisted MBE-grown \(\mathrm{Mn}_x\mathrm{Ga}\) nanostructures show a complementary situation. The room-temperature hysteresis contains a high-coercivity component \(\mu_0H_c\approx 2.3\) T associated primarily with the tetragonal \(D0_{22}\) phase, but this remains far below the Stoner–Wohlfarth estimate \[ H_c\sim \frac{2K}{M_s}, \] which gives an upper bound of about \(10\) T when literature values \(K=12\ \mathrm{Merg/cm^3}\) and \(M_s=250\ \mathrm{emu/cm^3}\) are used for \(D0_{22}\ \mathrm{Mn}_{2.5}\mathrm{Ga}\) at \(300\) K. The paper directly attributes the reduction to multiple-domain particles or strain, and it also reports phase coexistence, strain \(\varepsilon=1.4\%\), coherent diffracting size \(12.9\) nm, and interaction domains spanning \(2\)–\(3\) nanoparticles [1401.4914]. Alnico provides a shape-anisotropy-dominated variant of the same pattern. Its coercivity is limited by curling rather than coherent rotation, by non-ellipsoidal rod geometry, by magnetostatic rod–rod interactions, and by exchange bridges between rods. The paper contrasts the Stoner–Wohlfarth-like estimate \[ H_c=(1-p)(N_\perp-N_\parallel)M_s \] with a curling nucleation field \[ H_c=\frac{2K_1}{\mu_0M_s}-N_\parallel M_s+\frac{c(N_\parallel)A}{\mu_0M_sR^2}, \] and emphasizes that typical rod diameters in alnico are too large to reach coherent-rotation behavior. The practical design message is that coercivity is controlled by rod diameter, end shape, spacing, arrangement, and connectivity rather than by magnetocrystalline anisotropy alone [1707.04180]. ## 4. Collective, dipolar, and disorder-controlled coercivity Restricted coercivity also appears in systems where reversal is governed by collective fields or exchange-averaged disorder. In two-dimensional arrays of cobalt nanoparticles, the single-particle reference coercivity is \(H_{C0}=87\ \mathrm{kA/m}\), but dipolar coupling in a properly spaced array reduces it to about \(60\)–\(61\ \mathrm{kA/m}\), i.e. roughly a \(30\%\) reduction. For sufficiently large arrays, the optimal spacings are \(16\) nm for square, \(19\) nm for hexagonal, and \(23\) nm for triangular lattices. The square array gives the lowest reported saturated coercivity, while the triangular array is most robust against positional disorder, maintaining nearly the same optimum under random displacements up to \(20\%\) of the lattice spacing [1406.7786]. Here the coercive field is restricted by a geometry-dependent cooperative dipolar environment rather than by isolated-particle anisotropy. In the three-dimensional random-anisotropy Heisenberg model, coercivity is parametrically suppressed by exchange averaging. For weak random anisotropy \(D_R\ll 3J\), the ferromagnetic correlation length scales as \[ \frac{R_f}{a}\sim \left(\frac{J}{D_R}\right)^2, \] and the paper argues that the coercive field is proportional to the effective anisotropy on that scale, giving \[ H_C\propto \frac{D_R^4}{J^3}. \] When anisotropy axes are correlated within grains of size \(R_a\), the scaling becomes \[ H_C\propto D_R^4 R_a^6 \] in the regime \(a0,\qquad \forall d\in \ker A\setminus\{0\}, \] and the recession-cone condition \[ R_f\cap \ker A=\{0\}. \] Thus restricted coercivity on \(\ker A\) is neither merely heuristic nor merely sufficient; it is exactly the missing growth condition needed because \(\frac12\|Ax-b\|^2\) is flat along \(\ker A\). The paper also separates compactness from existence. Restricted coercivity does not characterize existence alone. For \[ f(x_1,x_2)=\max\{0,x_1\},\qquad A=\begin{bmatrix}0&1\end{bmatrix}, \] the solution set is \[ X=(-\infty,0]\times\{1\}, \] which is nonempty but unbounded. For \[ f(x_1,x_2)=\max\{|x_1|-1,0\}, \] with the same \(A\), the solution set is \[ X=[-1,1]\times\{1\}, \] which is compact. For \[ f(x_1,x_2)=e^{x_1}, \] the solution set is empty. The paper’s point is that failure of restricted coercivity may correspond either to unbounded minimizers or to nonexistence, and those cases should not be conflated. A further contribution is the solution-set formula through the conjugate. If \(x^\star\) solves the problem and \(r=b-Ax^\star\), then \[ X=x^\star+\Big(\big(\partial f^*(A^\top r)-x^\star\big)\cap \ker A\Big). \] Compactness is characterized by \[ \big(\partial f^*(A^\top r)\big)_\infty\cap \ker A=\{0\}, \] and the paper proves that this coincides with \[ \ker f_\infty\cap \ker A=R_f\cap \ker A. \] Restricted coercivity therefore links solution geometry, recession analysis, and conjugate-subdifferential structure. ## 6. Reduced coercivity in Kähler geometry and coercive-plus-compact operator theory In the cscK problem, Hisamoto reformulates coercivity in the presence of automorphisms by reducing the \(J\)-functional along torus orbits. For \(T\subset \operatorname{Aut}(X,L)\), \[ J_T(\varphi):=\inf_{g\in T}J(\varphi_g), \] and \(G\)-coercivity is expressed as \[ M(\varphi)\ge \delta J_{C(G)}(\varphi)-C \qquad (\varphi\in\mathcal H^K). \] On the non-Archimedean side the reduced \(J\)-functional is \[ J_T^{\mathrm{NA}}(\mathcal X,\mathcal L) = \inf_{\mu\in N_\mathbb{R}} J^{\mathrm{NA}}(\mathcal X_\mu,\mathcal L_\mu), \] and the key slope formula is \[ J_T^{\mathrm{NA}}(\mathcal X,\mathcal L) = \lim_{t\to+\infty}\frac{J_T(\varphi^t)}{t}. \] In the toric case, reduced coercivity is equivalent to a reduced uniform stability condition: \[ M \text{ is \(T\)-coercive on }\mathcal H^S \iff \exists\,\varepsilon>0\text{ such that } \mathcal L(f)\ge \varepsilon \|f\|_J \] for every convex rational piecewise-linear \(f\) on the moment polytope [1610.07998]. Here the restriction is explicitly quotienting by affine or torus directions. Operator theory supplies a different but related variant. For the Laplace double-layer operator \(D\) on \(L^2(\Gamma)\), the decisive condition for universal Galerkin convergence is that \[ A_\pm=\pm \frac12 I + D \] be coercive plus compact, equivalently \[ 0\notin W_{\mathrm{ess}}(A_\pm). \] The paper settles negatively long-standing questions by constructing Lipschitz domains and Lipschitz polyhedra for which these operators are not coercive plus compact. It gives examples in \(2\)D and \(3\)D with Lipschitz constant two for which \(\pm\frac12 I+D\) fails this property, and for every \(C>0\) it constructs Lipschitz polyhedra for which \(\|D\|_{\mathrm{ess}}\ge C\) and \(\lambda I+D\) is not a compact perturbation of a coercive operator for any \(|\lambda|\le C\) [2105.11383]. The paper does not present a positive restricted-coercivity theorem, but it shows that local or compressed pieces of the operator already obstruct any global coercive-plus-compact structure. ## 7. Local restricted coercivity in physical learning In physical learning for linear circuits, the state \(x_0(k)\) is the input-constrained minimizer of the circuit energy, the residual is \[ r(k)=Q^\top x_0(k)-w, \] and the solution set \[ \mathcal S=\{k\in\mathbb{R}^M\mid r(k)=0\} \] is generically an \((M-O)\)-dimensional manifold because the number of trainable parameters \(M\) usually exceeds the number of outputs \(O\). The paper therefore does not seek global strong convexity in parameter space. Instead, it identifies a local coercivity condition near \(\mathcal S\), equivalent to full row rank of \(\nabla_k r\), or, in circuit form, full column rank of \[ \mathscr D'^\top \hat L^{-1}\hat Q, \] where \(\mathscr D'\) is the active-incidence matrix built from edges with nonzero free-state voltage drop [2606.15443]. The key identity is \[ \|(\nabla_k r)^\top \tilde r\|_2^2 = \|\Lambda^{1/2}\mathscr D'^\top \hat L^{-1}\hat Q\,\tilde r\|_2^2, \] with \(\Lambda\) the diagonal matrix of squared free-state voltage drops on active edges. If \(\mathscr D'^\top \hat L^{-1}\hat Q\) has full column rank, then \[ \|(\nabla_k r)^\top \tilde r\|_2^2 \ge \lambda_{\min}(\Lambda)\, \sigma_{\min}(\mathscr D'^\top \hat L^{-1}\hat Q)^2 \|\tilde r\|_2^2. \] For Equilibrium Propagation this yields \[ \dot\Phi\le -2\lambda c^2\,\Phi, \qquad \Phi=\frac12\|r\|^2, \] so the loss decays exponentially. Coupled Learning obeys an analogous inequality with an additional cubic correction, \[ \dot\Phi_D \le -2\lambda_D c_D^2\,\Phi_D + C_D\,\Phi_D^{3/2}, \] and near the solution manifold this again implies exponential decay. The paper then proves local convergence: if \(k(0)\) is sufficiently close to a regular point \(k^*\in\mathcal S\), then \(k(t)\) converges to the solution manifold and \(\|r(k(t))\|\) decays exponentially. The coercivity is restricted in a precise geometric sense. Because \(\mathcal S\) is generically a manifold rather than an isolated minimizer, flat tangent directions remain. The paper’s coercivity controls only directions detected by the residual map, i.e. directions transverse to \(\mathcal S\). This interpretation is reinforced by the local error bound \[ \operatorname{dist}(k,\mathcal S)\le 2C_1\|r(k)\|. \] A symmetry-based failure example is given by the kite circuit. There the coercivity constant degenerates on part of the solution manifold because free-state and clamped-state voltage drops have disjoint support. For scalar output, the EP dissipation takes the form \[ \dot\Phi=-2\Phi\, c(k), \qquad c(k)=\sum_{e\in\mathcal E'}(\Delta_e x_0)^2(\Delta_e \hat y)^2, \] so coercivity fails exactly when \(c(k)=0\). The paper then proves, via Sard’s theorem, that such degeneracies are non-generic: for almost every desired output \(w\), the solution manifold is smooth of dimension \(M-O\) and the coercivity condition holds at every point of it [2606.15443]. Source: https://www.emergentmind.com/topics/restricted-coercivity