論文の概要: Restricted Dynamic Geometric Complexity: Certificates for Structured Preconditioning
- arxiv url: http://arxiv.org/abs/2607.07204v1
- Date: Wed, 08 Jul 2026 09:36:45 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-09 22:50:30.345718
- Title: Restricted Dynamic Geometric Complexity: Certificates for Structured Preconditioning
- Title（参考訳）: 制限された動的幾何学的複雑性:構造化プレコンディショニングの証明
- Authors: Zavier Li,
- Abstract要約: 本稿では、このベンチマークを現在の表記法で記録し、制限された幾何学的複雑さを発達させる。
主な証明された結果は単調性および部分多様体距離原理、線形不等式実現可能性問題としての対角およびブロック到達性である。
このリポジトリには、対角的な表現ギャップをチェックするおもちゃと合成マトリックス、原始/双対証明書をブロックするクロネッカースペクトル幅、小さな二次インスタンス上のヘッセン相対クロネッカー候補証明書を含む。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Optimization geometrodynamics views optimizer state as evolving geometry. Its full positive-definite quadratic benchmark gives the least affine-invariant deformation needed to reduce condition number when arbitrary metrics are allowed. This paper records that benchmark in the present notation and develops restricted dynamic geometric complexity: an intrinsic certificate distance for reaching a target condition-number class when the metric is restricted to a specified family. The main proved results are monotonicity and submanifold-distance principles, diagonal and block reachability as linear matrix inequality feasibility problems, an exact two-dimensional diagonal complexity formula, and affine-invariant Kronecker projection theorems with normal equations, computable mismatch certificates, Armijo solver convergence, auxiliary self-conditioned K-target bounds, and Hessian-relative candidate certificates through an exact Kronecker Loewner-sandwich reachability condition, including a Kronecker expression threshold and a fixed-basis exact subproblem. Low-rank spectral models, curvature-proxy inflation, stochastic restricted complexity, discrete geometric length, and expression--estimation--flow--discretization accounting are presented as diagnostic interfaces rather than full optimizer characterizations. The resulting language turns structural preconditioner questions into geometric distance, reachability, and certificate problems. The repository includes deterministic toy and synthetic workflows that check diagonal expression gaps, block primal/dual certificates, Kronecker spectral width, and Hessian-relative Kronecker candidate certificates on small quadratic instances, together with low-rank spectral monotonicity.
- Abstract（参考訳）: 最適化測地力学は、最適化状態が進化幾何学であるとみなす。
正定値2次ベンチマークは、任意のメトリクスが許されるときに条件数を減らすのに必要な最小アフィン不変変形を与える。
本論文は,本表記法におけるベンチマークを記録し,その指標が特定の家系に制限された場合に,対象条件数に到達するための固有証明距離という,制限された動的幾何学的複雑性について述べる。
主な証明結果は、単調性と部分多様体距離の原理、線形行列の不等式問題としての対角とブロックの到達性、正確な2次元の対角計算式、正規方程式を持つアフィン不変クロネッカー予想定理、計算可能なミスマッチ証明、Armijoソルバ収束、補助的な自己条件付きK-ターゲット境界、ヘッセン相対候補証明、正確なクロネッカー式しきい値と固定基底の完全部分プロブレムを含む正確なクロネッカー到達性条件による。
低ランクスペクトルモデル、曲率-プロキシインフレーション、確率的制限複雑性、離散幾何学的長さ、表現-推定-フロー-離散化アカウンティングは、完全なオプティマイザ特性ではなく、診断インターフェースとして提示される。
結果として得られた言語は、構造的プレコンディショナーの質問を幾何学的距離、到達可能性、証明問題に変換する。
このリポジトリには、対角的な表現ギャップのチェック、原始/双対証明書のブロック、クロネッカースペクトル幅、小さな二次インスタンス上のヘッセン相対クロネッカー候補証明書、低ランクのスペクトル単調性を含む決定論的おもちゃと合成ワークフローが含まれている。
関連論文リスト
- Geometric--Nongeometric Optimizer Calculus: A Modular Language for Reachable Gradient Methods [0.0]
到達可能な勾配法を監査するためのモジュラー言語である幾何-ナンジ幾何学計算を導入する。
主な形式的結果は方向表現性定理(英語版)であり、臨界点から離れ、正定幾何は厳密な降下方向を正確に表す。
論文 参考訳（メタデータ） (2026-07-08T09:40:44Z) - Optimization Geometrodynamics: A Framework for Dynamic Geometric Optimization [0.0]
コンベックスに基づく最適化のためのベンチマーク言語であるOptimization Geometroを導入する。
最適化の難易度を低減するのに必要な最小の幾何コストである幾何複雑性を導入する。
論文 参考訳（メタデータ） (2026-07-07T18:42:00Z) - Nonlinear Geometrizability of State-Dependent Proto-Area in Approximate Holographic Codes [0.0]
近似回復によって生成される状態依存型プロト面積データは、単一の局所的バルク計量と互換性がない。
我々は、正確な有限分解能基準を導出し、双曲円盤の近傍では、通常のプロト面積2ジェットの必要十分条件を導出する。
ハミルトニアスキュード符号は、第一次非幾何と、第一の障害物が二次的にのみ現れるキャリブレーション応答の両方を実現する。
論文 参考訳（メタデータ） (2026-06-21T17:16:10Z) - Representational Capacity: Geometric Limits on Feature Representation in Transformer Language Models [51.56484100374058]
モデルがサポートできるほぼ直交方向数を推定するためのフレームワークを開発する。
このメトリックを数十のオープンソースモデルに適用すると、高い$varepsilon$を持つモデルと、それを維持する$varepsilon$の低いモデルという2つのクラスが明らかになる。
論文 参考訳（メタデータ） (2026-06-01T18:28:56Z) - Fitting Unknown Number of Hyperplanes with Manifold Optimization [57.48093263119306]
未知数の線形平面をデータに適合させることは、機械学習の根本的な課題である。
既存のアプローチはしばしば最適な最適化に苦しむか、幾何的整合性に欠ける。
論文 参考訳（メタデータ） (2026-05-27T14:02:20Z) - Stability and Generalization of Push-Sum Based Decentralized Optimization over Directed Graphs [55.77845440440496]
プッシュベースの分散通信は、情報交換が非対称である可能性のある通信ネットワークの最適化を可能にする。
我々は、グラディエント・プッシュ(SGP)アルゴリズムのための統一的な一様安定性フレームワークを開発する。
重要な技術的要素は、2つの量に束縛された不均衡認識の一般化である。
論文 参考訳（メタデータ） (2026-02-24T05:32:03Z) - Provable Non-Convex Euclidean Distance Matrix Completion: Geometry, Reconstruction, and Robustness [8.113729514518495]
ユークリッド距離行列補完問題は、センサーネットワークの局所化、分子ロバスト性、多様体学習など、幅広い応用で発生する。
本稿では,正半定値グラム行列の空間上の低ランク行列補完タスクを提案する。
利用可能な距離の測定は非直交基底で拡張係数として符号化され、グラム行列の最適化は非負性や三角形の不等式を通じて暗黙的に幾何的整合を強制する。
論文 参考訳（メタデータ） (2025-07-31T18:40:42Z) - Identification and Estimation of Simultaneous Equation Models Using Higher-Order Cumulant Restrictions [5.882065571122133]
線形同時方程式モデルにおける構造パラメータの同定は長年にわたる課題である。
構造パラメータの同定には共分散証明もホワイトニングも必要ないことを示す。
私たちのフレームワークは透過的なオーバーアイデンティティテストを提供します。
論文 参考訳（メタデータ） (2025-01-12T11:27:39Z) - Last-Iterate Convergence of Adaptive Riemannian Gradient Descent for Equilibrium Computation [52.73824786627612]
本稿では,テクスト幾何学的強単調ゲームに対する新たな収束結果を確立する。
我々のキーとなる結果は、RGDがテクスト幾何学的手法で最終定位線形収束を実現することを示しています。
全体として、ユークリッド設定を超えるゲームに対して、幾何学的に非依存な最終点収束解析を初めて提示する。
論文 参考訳（メタデータ） (2023-06-29T01:20:44Z) - Convergence of Adam Under Relaxed Assumptions [72.24779199744954]
我々は、アダムがより現実的な条件下で、$O(epsilon-4)$勾配複雑性で$epsilon$-定常点に収束することを示している。
また、Adamの分散還元版を$O(epsilon-3)$の加速勾配複雑性で提案する。
論文 参考訳（メタデータ） (2023-04-27T06:27:37Z) - Efficient Methods for Structured Nonconvex-Nonconcave Min-Max
Optimization [98.0595480384208]
定常点に収束する一般化外空間を提案する。
このアルゴリズムは一般の$p$ノルド空間だけでなく、一般の$p$次元ベクトル空間にも適用される。
論文 参考訳（メタデータ） (2020-10-31T21:35:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。