--- title: Local Geometric Instability Overview url: https://www.emergentmind.com/topics/local-geometric-instability-lgi type: topic --- # Local Geometric Instability Overview Searching arXiv for recent and foundational papers on “Local Geometric Instability” and closely related usages. arXiv search query: "Local Geometric Instability" OR related exact uses / interpretations across dynamics, quantum systems, optimization, and generative models. Local Geometric Instability (LGI) is not a single universally standardized term in the arXiv literature. This suggests that the expression is best read as a family of local instability diagnostics in which geometry, topology, or local state-space structure is used to detect, organize, or bound instability. In current usage, it can denote the local topology of the Hausdorff space of compact minimal sets as a detector of Lyapunov instability, the local Fubini–Study speed or a normalized geometric instability parameter for non-adiabatic quantum dynamics, the rate of rotation of principal Jacobian directions in latent diffusion models, a graph-native measure of run-to-run embedding instability in graph neural networks, or a finite-difference proxy for Clarke-subdifferential spread in non-smooth optimization [1404.4860] [2606.00259] [2605.22796] [2604.18804] [2308.10099] [2605.29547]. ## 1. Terminological scope and recurrent structure Across the cited literature, LGI is not a canonical term with a single invariant definition. In several cases the papers explicitly do **not** use the label “Local Geometric Instability” but nonetheless supply the closest formal object: a local topological criterion for nearby Lyapunov instability, an instantaneous projective-Hilbert-space speed diagnostic for non-adiabaticity, a curvature-like instability score on a latent manifold, or a local geometric proxy for non-smooth optimization instability. This suggests that the common denominator is not a shared formula, but a shared architecture: instability is inferred from a local structural object rather than from a global asymptotic observable. | Domain | Local geometric object | Representative paper | |---|---|---| | Continuous flows | \((\mathrm{CMin},d_H)\), local connectedness, compactness, Peano structure | [1404.4860] | | Driven quantum systems | Fubini–Study metric, \(v_{FS}\), spectral gap \(\Delta_n\) | [2606.00259] | | Near-horizon gravity | Null-congruence expansion, \(xp\) Hamiltonian | [2007.14312] | | GNN embeddings | Edge-masked Gram geometry across runs | [2308.10099] | | Latent diffusion | Local Complexity, Local Scaling, Jacobian-induced metric | [2604.18804] | | Non-smooth optimization | Clarke subdifferential diameter proxy \(\rho_t\) | [2605.29547] | | Spatial local regression | Local Gram conditioning under anisotropic neighborhoods | [2603.10382] | The adjective **local** also varies by field. It can mean local in phase space, local in the Hausdorff hyperspace of invariant sets, local in time along a driven quantum trajectory, local in one-hop graph support, local in latent space, or local in a regression neighborhood. Likewise, **geometric** may refer to topology of \(\mathrm{CMin}\), the Fubini–Study metric, a Jacobian-induced pullback metric, graph-edge Gram structure, or the geometry of a Clarke subdifferential surrogate. The word **instability** may mean Lyapunov instability, non-adiabatic activation, semantic brittleness, run-to-run embedding drift, numerical ill-conditioning, or perturbation growth. ## 2. Local topological detection of Lyapunov instability A rigorous interpretation of LGI in dynamical systems is provided by the topological detection of Lyapunov instability for compact minimal sets of a continuous flow \(\theta\) on a generalized Peano continuum or a connected manifold. The basic objects are the Hausdorff hyperspace \(\mathrm{CMin}\) of compact minimal sets, the stable subset \(\mathcal S\), the unstable subset \(\mathcal U=\mathrm{CMin}\setminus\mathcal S\), and the hyper-stable subset \[ H\mathcal S:=\operatorname{int}_H\mathcal S. \] A compact invariant set \(K\) is Lyapunov stable if every neighborhood \(U\in\mathcal N_K\) contains a positively invariant neighborhood \(V\in\mathcal N_K\) with \[ V=\mathcal O^+(V)\subset U. \] The paper proves \[ H\mathcal S=\operatorname{int}_H\mathcal S \quad\text{and}\quad H\mathcal S^c=\operatorname{cl}_H\mathcal U, \] so the Hausdorff interior of the stable compact minimal sets is exactly the region locally separated from unstable compact minimal sets [1404.4860]. The structural theorem is that \(H\mathcal S\) is highly regular in the Hausdorff metric: it is locally compact and locally connected, indeed locally a Peano continuum, and globally the union of countably many disjoint clopen generalized Peano continua, each admitting a complete geodesic metric. This regularity yields the contrapositive detection principle. If \(\Lambda\in\mathrm{CMin}\) lies at a point where \(\mathrm{CMin}\) is not locally connected, or if \(\Lambda\) has no locally connected neighborhood in \(\mathrm{CMin}\), or no compact neighborhood in \(\mathrm{CMin}\), then \[ \Lambda\in\operatorname{cl}_H\mathcal U, \] equivalently every neighborhood of \(\Lambda\) in the phase space contains Lyapunov unstable compact minimal sets. The same condition is equivalent to Hausdorff approximation by unstable minimals: \[ \Lambda\in\operatorname{cl}_H\mathcal U \iff \exists\,\Gamma_n\in\mathcal U\text{ such that }\Gamma_n\xrightarrow{d_H}\Lambda. \] The result is local in a strict sense: no Lyapunov exponents, Jacobians, or hyperbolicity assumptions are used. Instability is inferred from the local topology of the moduli space of minimal invariant sets. The stronger corollary is that if \(\mathrm{CMin}\) is nowhere locally connected, then every neighborhood of every compact minimal set contains infinitely many Lyapunov unstable compact minimal sets. The same “abundance of nearby instability” conclusion holds if \(\mathrm{CMin}\) is not locally connected on a dense subset, or if no point of \(\mathrm{CMin}\) has both a compact neighborhood and a locally connected neighborhood. This usage is geometric in the metric-topological hyperspace sense rather than in a Riemannian curvature sense. The local dynamical trichotomy is correspondingly sharp: for any compact minimal set \(\Lambda\), either \(\Lambda\in\operatorname{cl}_H\mathcal U\), or \(\Lambda\) is an attractor, or there are arbitrarily small compact connected positively invariant neighborhoods \(U\) such that \(\mathrm{CMin}(U)\subset H\mathcal S\), \(H\mathcal S(U)\) is a non-degenerate Peano continuum, every \(x\in U\) has \(\omega(x)\in H\mathcal S(U)\), and \[ x\notin\omega(x)\implies \mathcal O^{-}(x)\not\subset U. \] ## 3. Quantum geometric criteria for local non-adiabatic instability In driven quantum systems, the closest formal LGI object is an instantaneous geometric speed on projective Hilbert space. One formulation uses the AMT non-adiabaticity parameter \[ n(t)=\frac{|\dot{\Omega}(t)|}{\Omega^2(t)}, \] for the instantaneous vacuum of a parametrically driven harmonic oscillator with \[ \hat H(t)=\hat p^2+\Omega^2(t)\hat x^2 =\Omega(t)\left(\hat a^\dagger\hat a+\frac12\right), \] and ground state \[ \psi_0(x,t)=\left(\frac{\Omega(t)}{\pi}\right)^{1/4}\exp\!\left[-\frac{\Omega(t)x^2}{2}\right]. \] For this state, \[ g_{tt} = \langle \partial_t\psi|\partial_t\psi\rangle - |\langle \psi|\partial_t\psi\rangle|^2 = \frac{1}{8}\left(\frac{\dot{\Omega}}{\Omega}\right)^2. \] With dimensionless local time \(d\tau=\Omega(t)\,dt\), the instantaneous Fubini–Study speed becomes \[ \frac{ds_{FS}}{d\tau} = \frac{n(t)}{2\sqrt{2}}, \qquad \left(\frac{ds_{FS}}{d\tau}\right)^2 = \frac{n^2}{8}. \] In this sense, non-adiabatic activation is reinterpreted as local projective-space motion rather than as an asymptotic transition probability [2605.22796]. The broader formulation replaces the oscillator-specific quantity by the universal geometric instability parameter \[ A_n(t)=\frac{v^{(n)}_{FS}(t)}{\Delta_n(t)} = \frac{\sqrt{g^{(n)}_{\mu\nu}\dot\lambda^\mu\dot\lambda^\nu}}{\Delta_n(t)}, \qquad \Delta_n(t)=\min_{m\neq n}|E_m-E_n|. \] Here \(g^{(n)}_{\mu\nu}\) is the real part of the quantum geometric tensor \[ Q^{(n)}_{\mu\nu} = \langle \partial_\mu n | (1-|n\rangle\langle n|) | \partial_\nu n\rangle, \qquad Q_{\mu\nu}=g_{\mu\nu}+\frac{i}{2}\Omega_{\mu\nu}. \] The operational threshold is \[ A_n\ll 1:\ \text{adiabatic}, \qquad A_n\sim 1:\ \text{onset of instability}. \] This criterion is stated to be local, gauge-invariant, and basis-independent, and the paper presents the previously introduced AMT parameter as a special realization of the same construction [2606.00259]. The same framework adds two further features. First, near quantum criticality, \[ \Delta_n(t)\sim |\lambda-\lambda_c|^{z\nu}, \qquad A_n\sim \frac{v_{FS}}{|\lambda-\lambda_c|^{z\nu}}\to\infty, \] so the local geometric criterion recovers Kibble–Zurek freeze-out through the condition \[ A_n(t^\ast)=1. \] Second, occupation-dependent nonlinear regulators compress the local metric. In the single-mode nonlinear bosonic model, \[ \hat H(t)=\Omega(t)\hat a^\dagger \hat a +U(\hat a^\dagger \hat a)^2 +G(t)\left(\hat a^2+\hat a^{\dagger 2}\right), \] the effective frequency \[ \Omega_{\mathrm{eff}}(t)=\Omega(t)+U\langle |v|^2\rangle \] reduces the effective non-adiabaticity to \[ n_{\mathrm{eff}}(t)= \frac{|\dot{\Omega}(t)|}{\bigl(\Omega(t)+U\langle |v|^2\rangle\bigr)^2}, \] and the crossover parameter \[ \xi=\frac{n}{U} \] governs self-limited non-adiabatic instability, with bounded dynamics reported for \[ \xi<\xi_{\mathrm{crit}}\sim \frac14. \] The later general theorem states that monotonic occupation-dependent spectral deformation contracts the quantum metric term-by-term, yielding \[ g_{\mu\nu}^{(n,U)} \le g_{\mu\nu}^{(n)} \quad\Rightarrow\quad A_n^{(U)}\le A_n, \] and extends the framework to matrix-valued multimode criteria and to open systems via the Bures metric and quantum Fisher geometry [2605.22796] [2606.00259]. ## 4. Horizon-generated local instability and thermality A different but mathematically explicit meaning of local instability appears in black-hole near-horizon dynamics. For a chargeless massless particle on an outgoing null trajectory in Eddington–Finkelstein coordinates, with \[ ds^{2}=-f(r)\,dt^{2}+2(1-f(r))\,dt\,dr+(2-f(r))\,dr^{2}+h(r)d\Omega^2, \qquad f(r_H)=0, \qquad \kappa=\frac{f'(r_H)}{2}, \] the radial equation is \[ \frac{dr}{dt}=\frac{f(r)}{2-f(r)}. \] Using the near-horizon expansion \[ f(r)\simeq 2\kappa(r-r_H), \] one obtains \[ \frac{dr}{dt}\simeq \kappa(r-r_H) \quad\Rightarrow\quad r-r_H\propto e^{\kappa t}. \] The paper therefore defines the instability as a genuinely **local** near-horizon effect rather than a global property of the full trajectory [2007.14312]. The same effect is recast covariantly through the null-congruence expansion \[ \Theta=\frac{h'(r)f(r)}{h(r)(2-f(r))}, \] which near the horizon satisfies \[ \frac{d\Theta}{d\mu}=\kappa\Theta \quad\Rightarrow\quad \Theta=\kappa e^{\kappa\mu}. \] Because \(\Theta\) is a scalar, the paper treats the existence of the local instability for this null motion as observer independent, while the Hamiltonian representation is observer dependent. In Eddington–Finkelstein coordinates the effective Hamiltonian is \[ H=\kappa x p, \qquad x=r-r_H. \] This is the unstable \(xp\) system, canonically equivalent to an inverted harmonic oscillator, with \[ x(\lambda)=x(0)e^{\kappa \lambda}, \qquad p(\lambda)=p(0)e^{-\kappa \lambda}. \] The paper’s central claim is that quantizing this local unstable dynamics yields thermality. In the tunneling derivation, \[ E=H=\kappa x p \quad\Rightarrow\quad p=\frac{E}{\kappa x}, \qquad S=\int p\,dx=\frac{E}{\kappa}\int \frac{dx}{x}, \] and crossing the pole gives \[ \Gamma\sim \exp\left(-\frac{2\pi E}{\hbar\kappa}\right), \qquad T_H=\frac{\hbar\kappa}{2\pi}. \] Detector response, scattering/spectral analysis of the symmetrized operator \[ \hat H=\frac{\kappa}{2}\left(\hat x \hat p+\hat p \hat x\right), \] and a perturbative quantum-mechanical treatment all reproduce the same temperature scale. In this literature, a local geometric instability is therefore a horizon-generated exponential instability of null motion whose quantization produces Hawking thermality. ## 5. Representation-space and latent-manifold instability in machine learning In machine learning, the phrase is again non-standard, but several papers define closely related geometric instability measures. For graph neural networks, the target is the run-to-run instability of learned embeddings on a fixed graph under stochastic training. The Graph Gram Index (GGI) constructs, for each run \(l\), a centered and normalized embedding matrix \(Z^l\), then computes \[ S^l = A \circ Z^l {Z^l}^{T}, \qquad s^l = \frac{1}{2|E|}\sum_{i,j \in |V| \times |V|}S^l[i,j], \qquad s = \mathrm{std}(s^l: l\in [1,\dots,N)). \] Equivalently, up to normalization, \[ s^l=\sum_{i,j\in E}\langle z_i,z_j\rangle. \] The resulting index is global in aggregation but local in support: it measures geometry only on graph edges, not on all node pairs. The paper proves invariance to node permutation, orthogonal transformation, translation of embeddings, and order of evaluation, and motivates GGI as a graph-native, scalable instability measure for large graphs [2308.10099]. For latent diffusion models, the closest explicit LGI proxy is **Local Complexity (LC)**, defined from the local rotation of the principal Jacobian direction. With generator \(G:\mathcal Z\to\mathcal X\), subspace Jacobian \(\mathbf J_{\mathrm{sub}}\), induced local metric \[ \mathbf A = \mathbf J_{\mathrm{sub}}^{\text T}\mathbf J_{\mathrm{sub}}, \] and principal eigenvector \(\mathbf V_1(\mathbf z)\), the paper defines \[ \delta(\mathbf z) = \mathbb E_{\mathbf z'\sim \mathcal N_\epsilon(\mathbf z)} \left[ \frac{\|\mathbf V_1(\mathbf z)-\mathbf V_1(\mathbf z')\|_2}{\|\mathbf z-\mathbf z'\|_2} \right]. \] This is interpreted as a curvature-like operational quantity: instability is not just large sensitivity but rapid local rotation of the direction of maximal change. The same framework separates **Local Scaling** \[ \psi_{\boldsymbol\omega}(\mathbf z) = \frac12\sum_{i=1}^P \log(\lambda_i)\cdot \mathbf 1_{\{\lambda_i>0\}}, \] from Local Complexity, and argues that pathological instability in out-of-distribution generation is a **Geometric Decoupling** in which curvature no longer tracks perceptible detail. The paper reports that raw LC alone is a weak OOD detector, while the decoupling score LC/PHFE is much stronger, with AUROC \(0.816\) versus \(0.427\) for raw LC and \(0.199\) for raw LS. It also localizes failure modes through **Geometric Hotspots**, i.e. image-space regions of extreme curvature or sensitivity such as the beak region for “chicken with teeth” or the liquefying support structure for “melting chair” [2604.18804]. These machine-learning uses differ in what they call “local.” In GGI, locality is graph-adjacency locality; in latent diffusion, locality is neighborhood structure in latent space under a Jacobian-induced pullback metric. What they share is the claim that instability is not adequately described by prediction drift alone; it is encoded in the geometry of learned representations. ## 6. Non-smooth optimization and geometry-conditioned local estimation A fully explicit LGI definition appears in non-smooth optimization. For a locally Lipschitz objective \(f:\mathbb R^d\to\mathbb R\), the Clarke subdifferential is \[ \partial_C f(x) := \mathrm{conv}\left\{\lim_{k\to\infty} \nabla f(x_k) : x_k \to x, \, x_k \notin \Omega_f\right\}, \] and the paper interprets the diameter \[ \mathrm{diam}(\partial_C f(x)) = \sup_{g_1,g_2\in\partial_C f(x)} \|g_1-g_2\| \] as the geometric source of gradient chattering in Adam-like methods. Its Local Geometric Instability score is defined by randomized directional probes \[ \rho_t(x_t) = \frac{\operatorname{Var}(\{D_i\}_{i=1}^k)} {\frac{1}{k}\sum_{i=1}^k D_i^2 + \epsilon}, \qquad D_i=\frac{f(x_t+\delta u_i)-f(x_t)}{\delta}, \qquad u_i\sim \mathcal U(\mathbb S^{d-1}). \] The paper proves \[ 0\le \rho_t(x_t)<1, \] so the damping factor in Singularity-aware Adam, \[ \hat\eta_t=\eta_t e^{-\lambda \rho_t}, \qquad w_{t+1}=w_t-\eta_t e^{-\lambda \rho_t}\frac{m_t}{\sqrt{v_t}+\epsilon}, \] never vanishes. A smoothed interpretation identifies \(\rho_t\) with relative curvature of a randomized-smoothed surrogate, and the convergence theorem yields \[ \liminf_{t\to\infty}\mathrm{dist}(0,\partial_C f(x_t))=0 \quad\text{a.s.}, \qquad \min_{0\le t