Restricted Dynamic Geometric Complexity: Path-Space Reduction and M"obius--Jacobi Response
Not on the map. Why?
Abstract (arXiv)
Structured preconditioners restrict optimization to a small family of positive metrics, but endpoint condition-number reachability does not measure the geometric effort required to reach a useful metric. We formulate this effort as a path-space value problem. Restricted dynamic geometric complexity is the least affine-invariant length of an admissible metric path whose endpoint reaches a Hessian-relative generalized-eigenvalue condition target. Path elimination gives an exact min-plus semigroup and Bellman principle, while fixed-horizon kinetic energy is exactly squared complexity divided by twice the horizon. The main response result is global on a Hadamard state space: geodesic convexity produces a smooth intervention-cube path branch and a uniformly coercive Jacobi form, while one Green inverse generates the value Hessian, two-sided force-to-curvature bounds, exact M"obius effects, and arbitrary prescribed finite-order responses. For the hard condition target, a bordered Jacobi--KKT theorem differentiates the moving projection endpoint and multiplier on every regular active spectral stratum; its indefinite inverse also explains why hard-target interactions need not share the unconstrained sign. The theory specializes to affine-invariant positive-definite geometry. A determinant-one two-dimensional diagonal model has an exact target interval, a closed-form forced path, and a strictly negative-definite interaction matrix. A moving diagonal Hessian gives a closed-form hard-target projection, multiplier, and pair effects of either sign, while a coordinate-sequential three-dimensional protocol yields an exact path metric strictly larger than the ambient projection distance. Thus the global Green and bordered hard-target responses are explicit laws of restricted metric-path elimination built on Bellman composition.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 12 of its 41 references that are in the map. First posted on arXiv 8 Jul 2026.
Builds on
12 of 41 references.
References · 12
- 2018Adafactor: Adaptive Learning Rates with Sublinear Memory Costcited by 905
- 2015Optimizing Neural Networks with Kronecker-factored Approximate Curvaturecited by 796
- 2017OptNet: Differentiable Optimization as a Layer in Neural Networkscited by 599
- 2018Shampoo: Preconditioned Stochastic Tensor Optimizationcited by 426
- 2018Bilevel Programming for Hyperparameter Optimization and Meta-Learningcited by 405
- 2015A Differential Equation for Modeling Nesterov's Accelerated Gradient Method: Theory and Insightscited by 206
- 2021Efficient and Modular Implicit Differentiationcited by 203
- 2019The Shapley Taylor Interaction Indexcited by 143
- 2016A Kronecker-factored approximate Fisher matrix for convolution layerscited by 141
- 2020Explaining Explanations: Axiomatic Feature Interactions for Deep Networkscited by 103
- 2016Stochastic Matrix-Free Equilibrationcited by 2
- 2025Optimal Preconditioning is a Geodesically Convex Optimization Problemcited by 2
Built on by
Not cited yet.