提出度量路径的几何复杂度新度量,精确刻画优化中的实际几何努力。
Restricted Dynamic Geometric Complexity: Path-Space Reduction and Möbius--Jacobi Response
- 用路径空间长度定义受限动态几何复杂度,基于仿射不变性最小化
- 在哈达玛德流形上实现全局光滑响应,精确给出力-曲率与莫比乌斯效应
- 适用于高维优化中硬目标约束,适合研究结构化预条件与路径优化者
结构化预条件器将优化限制在少数正定度量族中,但端点条件数可达性无法衡量达到有效度量所需的几何努力。本文将此努力形式化为路径空间值问题:受限动态几何复杂度即满足赫森相对广义特征值目标的可允许度量路径的最小仿射不变长度。路径消除导出精确的min-plus半群与贝尔曼原理,固定时域动能恰好等于复杂度平方除以两倍时域。主要响应结果在哈达玛德状态空间上全局成立:测地凸性产生光滑干预立方路径分支与统一强制的雅可比形式;单个格林逆生成值海森矩阵、双向力-曲率边界、精确莫比乌斯效应及任意指定有限阶响应。针对硬目标,边界雅可比-卡鲁什-库恩-塔克定理区分了每个正则活动谱层上的移动投影端点与乘子;其不定逆也解释了为何硬目标相互作用不必保持无约束符号。该理论特化至仿射不变的正定几何。一个行列式为一的二维对角模型具有精确目标区间、闭式受迫路径和严格负定的交互矩阵。移动对角赫森给出闭式硬目标投影、乘子及符号任意的配对效应;坐标顺序的三维协议产生严格大于环境投影距离的精确路径度量。因此,全局格林与边界硬目标响应是基于贝尔曼复合的显式受限度量路径消除法则。
原文摘要 · Abstract (English)
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öbius 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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。