--- title: Relative Stability Threshold url: https://www.emergentmind.com/topics/relative-stability-threshold type: topic --- # Relative Stability Threshold “Relative stability threshold” denotes a family of threshold constructions that compare a perturbation scale, control parameter, or degenerating family against a stability boundary. In the cited literature, the expression does not refer to a single universal invariant. In hydrodynamic stability it is the critical perturbation size as a function of viscosity; in stochastic optimization and softmax feedback it is the exact parameter value below which linear or global fixed-point stability persists; in mechanical and stochastic dynamical systems it is the boundary where linear stability, basin escape, or inferential resolvability changes qualitatively; and in algebraic geometry and categorical stability it is tied to slope inequalities, valuation-theoretic ratios, or relative extensions across a fibration or semiorthogonal decomposition [2509.00694] [2306.07850] [2604.07975] [2110.04702] [2510.06197]. ## 1. Fluid-mechanical thresholds and transition criteria For two-dimensional Navier–Stokes Couette flow in the infinite channel \(\mathbb{R}\times[-1,1]\) with Navier slip boundary conditions, the relative stability threshold is the perturbation size \[ \|\omega_{\mathrm{in}}\|_{X}\lesssim \nu^{1/2}, \] measured in an anisotropic Sobolev norm \(X\) built from \(x\)-regularity and a scaled \(y\)-derivative. This improves the earlier Arbon–Bedrossian threshold \[ \nu^{1/2}(1+\ln(1/\nu))^{-1/2} \] by removing the logarithmic loss. The anisotropy is encoded by \(\langle \partial_x\rangle^m\), \((\nu^{1/3}\partial_y)^j\), and the low-frequency correction \(\left\langle \frac{1}{\partial_x}\right\rangle^\varepsilon\), while the decay rate \[ \lambda_k=\begin{cases} \nu^{1/3}|k|^{2/3}, & |k|\ge \nu,\\ \nu, & |k|\le \nu, \end{cases} \] captures both enhanced dissipation and inviscid damping. The paper identifies \(\nu^{1/2}\) as the natural hydrodynamic scaling and argues that the previous logarithmic correction was an artifact of low-frequency analysis [2509.00694]. For three-dimensional compressible Couette flow in the isentropic compressible Navier–Stokes equations, the corresponding nonlinear threshold is \[ \varepsilon=\varepsilon_0\nu^{3/2}. \] The proof separates diffusion waves, acoustic waves, and the lift-up mechanism, and combines zero-mode/nonzero-mode decompositions with multiplier estimates. In that setting the exponent \(3/2\) is tied to the strongest interaction among non-normal transient growth, the 3D lift-up effect, compressible acoustic and diffusive waves, and density-driven couplings [2605.07538]. A different fluid-dynamical use of threshold language appears in disturbance-based transition analysis. There the stability threshold is the largest velocity perturbation magnitude compatible with a small-gain bound. In the unstructured case the criterion takes the form \[ \|\mathbf{u}_\Xi\|_\infty < \|\mathscr{H}_{\nabla,\infty}^{-1}\|, \] while structured variants replace the \(\mathscr{H}_\infty\) gain by a structured singular-value quantity. The paper emphasizes a hierarchy in which the unstructured approach gives the strictest bound, and it uses this framework to explain finite-amplitude transition in Couette, plane Poiseuille, and Blasius flows [2507.05036]. For transitional plane Couette flow, the global stability threshold is instead a Reynolds number \(R_g\): for \(R>R_g\) turbulence is sustained, whereas for \(R0. \] For the equilibrium \(q_0\), the paper proves the equivalence \[ q_0 \text{ linearly stable} \iff c_u>e_0 \iff \sqrt{\alpha}+\sqrt{\beta}<\sqrt{2}. \] The threshold is therefore \[ \sqrt{\alpha}+\sqrt{\beta}=\sqrt{2}. \] At that boundary the topology of the zero set of the electromagnetic curvature changes: below threshold the boundary of the positive-curvature region is a hyperbola, above threshold it is an ellipse, and at threshold it degenerates into a pair of parallel lines. In the planar three-body Lagrange case this criterion becomes exactly Routh’s classical condition \[ \frac{m_1m_2+m_1m_3+m_2m_3}{(m_1+m_2+m_3)^2}<\frac{1}{27}. \] The same blockwise curvature test yields a sufficient instability criterion when the reduced linearized dynamics splits into invariant symplectic planes [2604.07975]. A more geometric dynamical-systems threshold is the stability threshold \[ \sigma=\inf\left\{ \mathrm{dist}(a,b)\,|\, a\in\mathcal{A},\, b\in\delta\mathcal{B}\right\}, \] defined as the minimal distance from an attractor \(\mathcal A\) to the boundary \(\delta\mathcal B\) of its basin of attraction. The minimizing vector \(D=b-a\) is the most dangerous perturbation direction. The computational scheme proceeds by locating basin-boundary points and converging to local threshold points (LOCT points), after which the global threshold is the minimum of the local values. The paper does not define a separate formal quantity called “relative stability threshold,” but it explicitly treats comparison of \(\sigma\) across parameters or systems as a relative robustness metric [1504.04476]. In high-dimensional stochastic dynamics, the threshold itself may be well defined while its estimation becomes statistically singular. For the multivariate Ornstein–Uhlenbeck process \[ d\mathbf{X}(t) = -\mathbf{A}\,\mathbf{X}(t)\,dt + \boldsymbol{\eta}(t), \] the distance to instability is \[ r := \min_i \Re[\lambda_i(\mathbf{A})], \] with criticality at \(r\to 0^+\). The paper shows that the relative uncertainty of an estimate of \(r\) diverges as \(r\) vanishes, that temporal correlations reduce the effective number of independent samples, and that inference breaks down when \[ q_{\rm eff}=\frac{M_{\rm eff}}{N}\le 1. \] It also derives an optimal sampling interval \[ \Delta t^* \approx \frac{0.80}{\bar r}, \] which diverges near criticality. This gives a threshold theory for inference itself rather than for the underlying dynamics alone [2606.23644]. The compartmental voter-flow model introduces a local stability threshold \[ \Delta_c:=\frac{\mu-\beta}{\delta-\beta} \] under \(0<\beta<\mu<\delta\). With \[ g(A):=(\beta-\mu)+(\delta-\beta)A, \] the regime \(A\le \Delta_c\) implies \(g(A)\le 0\), so the mobilised component contracts locally, whereas \(A>\Delta_c\) allows transient amplification. The paper couples this threshold to an impulse-controlled leaky reservoir, proves that the scalar reservoir is a conservative envelope of the full nonlinear dynamics, and derives explicit safe-capacity frontiers such as \[ Q_{\sup}^{\rm safe}(T)=\Delta_c(1+\rho T) \] for a fixed horizon \(T\) [2605.24186]. ## 4. Algebraic and birational geometry For relative hypersurfaces \[ X\in \bigl|\cO_{\mathbb P_B(\cE)}(k)\otimes \pi^*\cM^{-1}\bigr| \] inside a projective bundle over a curve, the threshold parameter is the ratio \(y/k\), where \(y=\deg\cM\). The comparison quantity is the slope \[ \mu=\frac{d}{r}=\frac{\deg \cE}{\operatorname{rank}\cE}. \] The paper proves a dichotomy: if \[ \frac{y}{k}\le \mu, \] then the relevant \(f\)-positivity and slope inequalities hold, whereas if \[ \frac{y}{k}>\mu, \] every fibre is Chow unstable. In that unstable regime one obtains the singularity bound \[ lct(\Sigma, X_{|\Sigma})<\frac{r}{k}, \] and, for the total space, \(lct(\, , X)<\frac{r}{k}\); in particular, if \(k\ge r\), the pair is not log canonical. Nakayama’s Zariski decomposition explains this threshold through fixed components determined by the Harder–Narasimhan filtration [1407.3204]. Relative K-stability for Kähler manifolds is formulated via test configurations together with projection away from a torus \(T\subset \Aut(X,[\omega])\). If \(\beta_1,\dots,\beta_d\) is an orthogonal basis of the Lie algebra of \(T\), the relative Donaldson–Futaki invariant is \[ \DF_T(\mathcal X,A) = \DF(\mathcal X,A) - \sum_{i=1}^d \frac{\langle \alpha,\beta_i\rangle}{\langle \beta_i,\beta_i\rangle} \,F(\beta_i). \] A Kähler manifold is relatively K-stable if \(\DF_T(\mathcal X,A)>0\) for every test configuration of positive norm. The paper proves that existence of an extremal Kähler metric implies relative K-stability, and states that in the projective case this notion is stronger than the usual definition due to Székelyhidi [1611.00569]. For relative flag varieties \(\Flag_r(E)\), the destabilizing data arise from subbundles \(F\subset E\). Over a curve, the Donaldson–Futaki invariant of the natural degeneration satisfies \[ \DF(\mathcal Y_F,\mathcal L_\lambda(A)) = C\bigl(\mu_E-\mu_F\bigr) \] with \(C>0\). Thus slope instability of \(E\) implies K-unstability of the flag bundle, and proper semistability of \(E\) implies proper K-semistability. Over higher-dimensional bases with adiabatic polarization \(\mathcal L_\lambda(L^m)\), the leading asymptotic term is \[ \DF(\mathcal Y_F,\mathcal L_\lambda(L^m)) = C\bigl(\mu_E-\mu_F\bigr)\frac1m + O(m^{-2}), \] again with \(C>0\) [1307.7638]. A valuation-theoretic relative stability threshold appears for a family of polarized pairs over a DVR: \[ \delta(X,\Delta;L)=\inf_{v\in \mathrm{Val}_X^\circ}\frac{A_{X,\Delta}(v)}{S(v)}. \] Under the hypothesis \[ \delta(X,\Delta)<\min\{1,\delta(X_\eta,\Delta_\eta)\}, \] the infimum is computed by a divisorial valuation. The paper then replaces the special fibre by the divisor computing instability, obtaining a new family whose special fibre has strictly larger threshold, and iterates this birational improvement to prove properness of K-moduli [2510.06197]. ## 5. Relative stability conditions in Fukaya and triangulated categories For the partially wrapped Fukaya category of a marked surface, a relative stability condition is defined with respect to a boundary arc \(\gamma\) by attaching a disk \(\Delta_n\) and passing to the extended surface \[ \tilde S=S\cup_\gamma \Delta_n. \] An ordinary stability condition on \(F(\tilde S)\) is then regarded as a stability condition on \(S\) relative to \(\gamma\). The key point is functoriality under cutting and gluing: if \[ \Sigma=\Sigma_L\cup_\gamma \Sigma_R, \] then a stability condition on \(F(\Sigma)\) can be cut into compatible relative stability conditions on \((\Sigma_L,\gamma)\) and \((\Sigma_R,\gamma)\), and conversely glued back. The gluing construction is governed by unobstructed lozenges of stable intervals. This relative framework reduces the classification of stability conditions on fully stopped surfaces to the disk, annulus, and punctured torus, and yields that the HKK map from flat surfaces to \(\Stab(F(\Sigma))\) is a global homeomorphism in the fully stopped case [1811.10592]. For triangulated categories with a left admissible subcategory \(\mathscr D_1\subset \mathscr D\), a relative stability condition is a pair \(\sigma_r=(Z,\mathscr P_1)\) consisting of a relative central charge and a slicing on \(\mathscr D_1\), subject to extendability to a Bridgeland stability condition on \(\mathscr D\). The gluing condition is expressed by a phase window \[ 0<\epsilon<\delta<1, \] ensuring that suitable hearts on the semiorthogonal components glue to a bounded heart on \(\mathscr D\). The paper proves that \(\mathrm{Stab}(\mathscr D,\mathscr D_1)\) is a complex manifold and that the forgetful map to central charges is a local isomorphism. Here the threshold is not a single scalar invariant but an extendability regime controlled by phase inequalities and deformation bounds [2411.01502]. ## 6. Discrete, probabilistic, and statistical thresholds In random graph weak saturation, the stability property \[ \mathcal A_s:\qquad \mathrm{wsat}\big(\mathbb G(n,p),K_s\big) = \binom{s-2}{2}+(s-2)(n-s+2) \] admits a threshold probability \(r_s(n)\). The paper proves existence of such a threshold and bounds it between a lower scale \[ q_s(n)=n^{-2/(s+1)}(\ln n)^{2/(s+1)} \] and an upper scale around \[ n^{-1/(2s-3)}(\ln n)^{\Theta(1)}. \] Below the lower scale, uncovered edges force failure of \(\mathcal A_s\); above the upper scale, the extension property EXT and Hamilton-power property HAM allow an explicit weakly saturated construction of complete-graph size [2006.06855]. In two-dimensional threshold cellular automata on a torus, the threshold parameter is the local update rule itself. Threshold-1 and Threshold-5 have trivial stable configurations, whereas Threshold-2, Threshold-3, and Threshold-4 admit nontrivial geometric structure. The paper characterizes stable configurations for Threshold-2, Threshold-4, and Threshold-3, and gives a testing algorithm that distinguishes Threshold-2 stability from being \(\epsilon\)-far from any stable configuration with query complexity independent of configuration size and depending quadratically on \(1/\epsilon\). In this setting, “relative stability threshold” describes the sharp change in both geometry and testability as the update threshold varies [2507.14569]. In stability selection, the threshold parameter is the selection-probability cutoff \(\pi\). The paper argues that fixed choices of \(\pi\) are not universally appropriate, and replaces them with data-adaptive procedures. ATS orders the empirical maximum selection probabilities \[ \Delta = \{\hat{d}_1,\hat{d}_2,\dots,\hat{d}_p : 1 \ge \hat{d}_1 \ge \hat{d}_2 \ge \cdots \ge \hat{d}_p \ge 0\} \] and chooses an elbow \(\hat w\) by maximizing a profile log-likelihood under a two-segment normal model, yielding \(\hat\pi(\hat w)=\Delta[\hat w]\). EATS first estimates a null exclusion threshold \[ \eta = \hat{F}^{-1}_{\Delta^*}(0.95) \] from a shuffled dataset, restricts to \(\Delta^\eta\), and then applies ATS. The resulting threshold remains compatible with the classical false-selection bound \[ E(V) \le \frac{1}{2\pi - 1}\frac{q_\Lambda^2}{p}, \qquad \pi \in \left(\tfrac{1}{2},1\right) \] [2505.22012]. ## 7. Comparative interpretation Across these works, a relative stability threshold is consistently a boundary value defined only relative to a chosen geometry, norm, decomposition, or observable. In hydrodynamic PDE it is a perturbation amplitude measured in an anisotropic Sobolev norm or via an input-output gain; in optimization it is an exact step-size or inverse-temperature cutoff tied to second-moment or contraction geometry; in mechanical dynamics it is a spectral, curvature, or basin-boundary boundary; in algebraic geometry it is a slope or valuation ratio controlling stability, singularities, or degeneration; and in categorical settings it is an extendability or gluing regime rather than a single number [2509.00694] [2306.07850] [2604.07975] [1407.3204] [1811.10592]. This suggests a common structural pattern. A threshold becomes “relative” when stability is not tested absolutely on the ambient system, but against auxiliary data: viscosity scaling, batch size, tangent-space projection, electromagnetic reduction, a base morphism, a torus of automorphisms, a boundary arc, a left admissible subcategory, or an empirically estimated null baseline. The mathematical content then lies in identifying the sharp boundary, proving whether it is necessary, sufficient, or exact, and describing what changes qualitatively when that boundary is crossed [2605.15651] [2510.06197] [2110.04702] [2505.22012]. Source: https://www.emergentmind.com/topics/relative-stability-threshold