論文の概要: On the gradient conjecture at infinity: Finite spherical length for gradient trajectories of definable potentials
- arxiv url: http://arxiv.org/abs/2610.29211v1
- Date: Wed, 21 Oct 2026 05:06:29 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-23 00:40:06.211145
- Title: On the gradient conjecture at infinity: Finite spherical length for gradient trajectories of definable potentials
- Title(参考訳): 無限大における勾配予想について:定義可能なポテンシャルの勾配軌跡に対する有限球長について
- Abstract要約: すべての開 $ U の部分集合 mathbb Rn $ に対して、すべての勾配 trajectory $(t)$, $t geq 0$, of a definable $C1$-potential $F colon U to mathbb R$ は有限長で、特に収束する(方向収束)。
- 参考スコア(独自算出の注目度): 2.077357290218356
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We prove that for every open $ U \subseteq \mathbb R^n $ the spherical projection of every gradient trajectory $θ(t)$, $t \geq 0$, of a definable $C^1$-potential $F \colon U \to \mathbb R$ has finite length and, in particular, converges (directional convergence). In other words, every gradient trajectory of a definable $C^1$-potential has finite total angular motion. Here, definable means definable in an arbitrary o-minimal structure expanding the real field. Notably, the gradient trajectory in this result is an arbitrary solution of the gradient flow differential equation (whose solutions may not be unique) with no further assumptions: The gradient trajectory may be unbounded and diverge to infinity or it may be convergent. The established theorem therefore provides affirmative answers to both the gradient conjecture at infinity for definable potentials and the definable Thom gradient conjecture. We apply our theorem to the training of deep neural networks (DNNs) to conclude that, in the case of definable and continuously differentiable activation and loss functions, the spherical projection of the DNN training flow must always converge (directional convergence).
- Abstract(参考訳): すべての開 $ U \subseteq \mathbb R^n $ に対して、すべての勾配 trajectory $θ(t)$, $t \geq 0$, of a definable $C^1$-potential $F \colon U \to \mathbb R$ は有限長で、特に収束する(方向収束)。
言い換えれば、定義可能な$C^1$-ポテンシャルのすべての勾配軌道は有限全角運動を持つ。
ここで、定義可能な手段は、実場を拡大する任意の O-極小構造で定義できる。
特に、この結果の勾配軌跡は(解が一意ではないかもしれない)勾配流微分方程式の任意の解であり、さらなる仮定は存在しない: 勾配軌跡は非有界で無限大に発散するかもしれないし、収束するかもしれない。
したがって、確立された定理は、定義可能なポテンシャルに対する無限遠の勾配予想と定義可能なトム勾配予想の両方に対して肯定的な答えを与える。
この定理をディープニューラルネットワーク(DNN)のトレーニングに適用し、定義可能で連続的に微分可能なアクティベーションと損失関数の場合、DNNトレーニングフローの球面投影は常に収束(方向収束)しなければならないと結論付ける。
関連論文リスト
- Wasserstein gradient flows of Maximum Mean Discrepancy with energy kernels [1.1593327400723945]
非滑らかなエネルギー核が生み出す正方形平均離散子(MMD)の流れについて検討する。
我々は、$mathRd 上にデータ非依存の乗法則が存在し、その大域収束性を示す。
well-posedness (複数形 well-posednesss)
論文 参考訳(メタデータ) (2026-08-02T11:59:43Z) - On the Convergence of Gradient Descent for Large Learning Rates [55.33626480243135]
固定ステップサイズを使用すると収束が不可能であることを示す。
正方形損失を持つ線形ニューラルネットワークの場合,これを証明した。
また、勾配に対するリプシッツ連続性のような強い仮定を必要とせず、より一般的な損失に対する収束の不可能性も証明する。
論文 参考訳(メタデータ) (2024-02-20T16:01:42Z) - A qualitative difference between gradient flows of convex functions in
finite- and infinite-dimensional Hilbert spaces [2.7195102129095003]
凸対象関数に対する勾配流/勾配降下とボール/加速勾配降下の最適化について検討する。
ヒルベルト空間において、これは最適である:$f(x_t) - inf f$ は、モノトンが減少し$infty$で可積分である任意の関数と同じくらいゆっくりと$0$に崩壊することができる。
論文 参考訳(メタデータ) (2023-10-26T17:33:52Z) - Revisiting Subgradient Method: Complexity and Convergence Beyond Lipschitz Continuity [24.45688490844496]
次進法は非滑らかな最適化のための最も基本的なアルゴリズムスキームの1つである。
本研究では、まず、非Lipschitz凸と弱凸最小化をカバーするために、下次法の典型的な反復複雑性結果を拡張する。
論文 参考訳(メタデータ) (2023-05-23T15:26:36Z) - Convergence of Adam Under Relaxed Assumptions [72.24779199744954]
我々は、アダムがより現実的な条件下で、$O(epsilon-4)$勾配複雑性で$epsilon$-定常点に収束することを示している。
また、Adamの分散還元版を$O(epsilon-3)$の加速勾配複雑性で提案する。
論文 参考訳(メタデータ) (2023-04-27T06:27:37Z) - An Explicit Expansion of the Kullback-Leibler Divergence along its
Fisher-Rao Gradient Flow [8.052709336750823]
$pirhollback$が複数のモードを示すとき、$pirhollback$は、潜在的な関数とは無関係であることを示す。
私たちは$textKLの明示的な拡張を提供します。
KL。
KL。
KL。
KL。
KL。
KL。
KL。
KL。
KL。
KL。
KL。
KL。
論文 参考訳(メタデータ) (2023-02-23T18:47:54Z) - On the Convergence of Gradient Descent in GANs: MMD GAN As a Gradient
Flow [26.725412498545385]
パラメトリックカーネル化勾配流は、勾配正規化$mathrmMMD$GANにおけるmin-maxゲームに類似していることを示す。
次に、正規化$mathrmMMD$GANにおける生成元の空間上の勾配降下が、対象分布に大域的に収束することを保証する明示的な条件を導出する。
論文 参考訳(メタデータ) (2020-11-04T16:55:00Z) - Complexity of Finding Stationary Points of Nonsmooth Nonconvex Functions [84.49087114959872]
非滑らかで非滑らかな関数の定常点を見つけるための最初の非漸近解析を提供する。
特に、アダマール半微分可能函数(おそらく非滑らか関数の最大のクラス)について研究する。
論文 参考訳(メタデータ) (2020-02-10T23:23:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。