論文の概要: Variational analysis of determinantal varieties
- arxiv url: http://arxiv.org/abs/2511.22613v1
- Date: Thu, 27 Nov 2025 16:48:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-01 19:47:55.652679
- Title: Variational analysis of determinantal varieties
- Title(参考訳): 行列多様体の変分解析
- Authors: Yan Yang, Bin Gao, Ya-xiang Yuan,
- Abstract要約: 我々は、一階および二階の接集合を様々なローランク集合に明示的な公式を導出する統一的な枠組みを開発する。
低ランク最適化のための最適条件を特徴付けるために,タンジェントセットを利用する。
- 参考スコア(独自算出の注目度): 8.902244235284229
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Determinantal varieties -- the sets of bounded-rank matrices or tensors -- have attracted growing interest in low-rank optimization. The tangent cone to low-rank sets is widely studied and underpins a range of geometric methods. The second-order geometry, which encodes curvature information, is more intricate. In this work, we develop a unified framework to derive explicit formulas for both first- and second-order tangent sets to various low-rank sets, including low-rank matrices, tensors, symmetric matrices, and positive semidefinite matrices. The framework also accommodates the intersection of a low-rank set and another set satisfying mild assumptions, thereby yielding a tangent intersection rule. Through the lens of tangent sets, we establish a necessary and sufficient condition under which a nonsmooth problem and its smooth parameterization share equivalent second-order stationary points. Moreover, we exploit tangent sets to characterize optimality conditions for low-rank optimization and prove that verifying second-order optimality is NP-hard. In a separate line of analysis, we investigate variational geometry of the graph of the normal cone to matrix varieties, deriving the explicit Bouligand tangent cone, Fréchet and Mordukhovich normal cones to the graph. These results are further applied to develop optimality conditions for low-rank bilevel programs.
- Abstract(参考訳): 有界ランク行列やテンソルの集合である行列多様体は、低ランク最適化への関心が高まっている。
接円錐からローランク集合は広く研究され、様々な幾何学的手法の基盤となっている。
曲率情報をエンコードする二階幾何学はより複雑である。
本研究では,低ランク行列,テンソル,対称行列,正半定値行列など,一階接点集合と二階接点集合の明示的な公式を多種多様な低ランク集合に導出する統一的枠組みを開発する。
このフレームワークはまた、低階集合と穏やかな仮定を満たす他の集合の交叉を許容し、したがって接交叉規則を生成する。
接集合のレンズを通して、非滑らかな問題とその滑らかなパラメータ化が等価な2階定常点を共有する必要十分条件を確立する。
さらに、タンジェント集合を利用して、低ランク最適化のための最適条件を特徴づけ、二階最適性を検証することはNPハードであることを証明する。
解析の別系統において、正規錐のグラフの行列多様体への変分幾何学を考察し、明示的なボリガンド接錐、フレシェ、モルドゥホーヴィチ正規錐をグラフに導出する。
これらの結果は、低ランク2レベルプログラムの最適条件の開発にさらに応用される。
関連論文リスト
- Generalized Gradient Norm Clipping & Non-Euclidean $(L_0,L_1)$-Smoothness [51.302674884611335]
本研究は、急勾配と条件勾配のアプローチを組み合わせることでノルムクリッピングを一般化するハイブリッド非ユークリッド最適化手法を提案する。
本稿では、ディープラーニングのためのアルゴリズムのインスタンス化について論じ、画像分類と言語モデリングにおけるそれらの特性を実証する。
論文 参考訳(メタデータ) (2025-06-02T17:34:29Z) - Stochastic Hessian Fittings with Lie Groups [1.6425841685973381]
プレコンディショニング勾配降下法(PSGD)に基づくヘシアンフィッティング基準
本分析により, 幅広いプレコンドレッサーフィッティング法の有効性と相違が明らかとなった。
ヘッセンフィッティング問題は、ある種の一般リー群において穏やかな条件下では強く凸である。
論文 参考訳(メタデータ) (2024-02-19T06:00:35Z) - Semi-Supervised Subspace Clustering via Tensor Low-Rank Representation [64.49871502193477]
本稿では,初期監視情報を同時に拡張し,識別親和性行列を構築することのできる,新しい半教師付きサブスペースクラスタリング手法を提案する。
6つの一般的なベンチマークデータセットの総合的な実験結果から,本手法が最先端手法よりも優れていることを示す。
論文 参考訳(メタデータ) (2022-05-21T01:47:17Z) - Sparse Quadratic Optimisation over the Stiefel Manifold with Application
to Permutation Synchronisation [71.27989298860481]
二次目的関数を最大化するスティーフェル多様体上の行列を求める非最適化問題に対処する。
そこで本研究では,支配的固有空間行列を求めるための,単純かつ効果的なスパーシティプロモーティングアルゴリズムを提案する。
論文 参考訳(メタデータ) (2021-09-30T19:17:35Z) - Leveraging Non-uniformity in First-order Non-convex Optimization [93.6817946818977]
目的関数の非一様洗練は、emphNon-uniform Smoothness(NS)とemphNon-uniform Lojasiewicz inequality(NL)につながる
新しい定義は、古典的な$Omega (1/t2)$下界よりも早く大域的最適性に収束する新しい幾何学的一階法を刺激する。
論文 参考訳(メタデータ) (2021-05-13T04:23:07Z) - Convergence of adaptive algorithms for weakly convex constrained
optimization [59.36386973876765]
モローエンベロープの勾配のノルムに対して$mathcaltilde O(t-1/4)$収束率を証明する。
我々の分析では、最小バッチサイズが1ドル、定数が1位と2位のモーメントパラメータが1ドル、そしておそらくスムーズな最適化ドメインで機能する。
論文 参考訳(メタデータ) (2020-06-11T17:43:19Z) - Convex Geometry and Duality of Over-parameterized Neural Networks [70.15611146583068]
有限幅2層ReLUネットワークの解析のための凸解析手法を開発した。
正規化学習問題に対する最適解が凸集合の極点として特徴づけられることを示す。
高次元では、トレーニング問題は無限に多くの制約を持つ有限次元凸問題としてキャストできることが示される。
論文 参考訳(メタデータ) (2020-02-25T23:05:33Z) - Geometry, Computation, and Optimality in Stochastic Optimization [24.154336772159745]
問題幾何学の計算および統計的結果とオンライン最適化について検討する。
制約集合と勾配幾何学に焦点をあてて、どの次法と適応次法が最適(minimax)であるかという問題族を特徴づける。
論文 参考訳(メタデータ) (2019-09-23T16:14:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。