論文の概要: Global Convergence of Multiplicative Updates for the Matrix Mechanism: A Collaborative Proof with Gemini 3
- arxiv url: http://arxiv.org/abs/2603.19465v2
- Date: Mon, 23 Mar 2026 19:13:27 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-25 12:42:17.5759
- Title: Global Convergence of Multiplicative Updates for the Matrix Mechanism: A Collaborative Proof with Gemini 3
- Title(参考訳): マトリックス機構のための乗算的更新のグローバル収束:Gemini 3との協調的証明
- Authors: Keith Rush,
- Abstract要約: 本研究では,アダマール積構造を含む正則化核目標の最適化において,固定点イデアルvv左辺(v)$(v)を解析する。
我々は、反復がポテンシャル函数 $J(v) = 2 の唯一の大域ノルムに収束することを証明した。
このノートは、数学におけるAIの実践的利用に関する注釈であり、文学における小さなギャップの閉鎖を表している。
- 参考スコア(独自算出の注目度): 1.5730556072127406
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We analyze a fixed-point iteration $v \leftarrow φ(v)$ arising in the optimization of a regularized nuclear norm objective involving the Hadamard product structure, posed in DMR+22 in the context of an optimization problem over the space of algorithms in private machine learning. We prove that the iteration $v^{(k+1)} = \text{diag}((D_{v^{(k)}}^{1/2} M D_{v^{(k)}}^{1/2})^{1/2})$ converges monotonically to the unique global optimizer of the potential function $J(v) = 2 \text{Tr}((D_v^{1/2} M D_v^{1/2})^{1/2}) - \sum v_i$, closing a problem left open there. The bulk of this proof was provided by Gemini 3, subject to some corrections and interventions. Gemini 3 also sketched the initial version of this note. Thus, it represents as much a commentary on the practical use of AI in mathematics as it represents the closure of a small gap in the literature. As such, we include a small narrative description of the prompting process, and some resulting principles for working with AI to prove mathematics.
- Abstract(参考訳): 本研究では,Adamard の積構造を含む正規化核ノルム目標の最適化において生じる固定点反復 $v \leftarrow φ(v)$ を,プライベート機械学習におけるアルゴリズム空間上の最適化問題として DMR+22 を用いて解析する。
反復 $v^{(k+1)} = \text{diag}((D_{v^{(k)}}^{1/2} M D_{v^{(k)}}^{1/2})^{1/2})$ は、ポテンシャル函数 $J(v) = 2 \text{Tr}((D_v^{1/2} M D_v^{1/2})^{1/2})- \sum v_i$ に単調に収束し、そこで残された問題を閉じる。
この証明の大部分は、幾らかの修正と介入を受け、ジェミニ3によって提供された。
Gemini 3はこのノートの初期バージョンもスケッチした。
したがって、これは数学におけるAIの実践的利用に関する注釈であり、文学における小さなギャップの閉鎖を表している。
その中では、プロンプトプロセスの小さな記述と、AIと協働して数学を証明するためのいくつかの原則を含む。
関連論文リスト
- Optimal Scalar Quantization for Matrix Multiplication: Closed-Form Density and Phase Transition [50.36362492608702]
乗算前の2つの行列のエントリーワイズスカラー量子化について検討した。
我々は、閉形式の最適点密度 [ star(u) propto exp!left(-fracu26right)bigl( (1-2)+2u22bigr), qquad u=fracx_X を求め、相関駆動相転移を証明した。
論文 参考訳(メタデータ) (2026-03-20T01:53:44Z) - Obtaining Lower Query Complexities through Lightweight Zeroth-Order Proximal Gradient Algorithms [65.42376001308064]
複素勾配問題に対する2つの分散化ZO推定器を提案する。
我々は、現在最先端の機能複雑性を$mathcalOleft(minfracdn1/2epsilon2, fracdepsilon3right)$から$tildecalOleft(fracdepsilon2right)$に改善する。
論文 参考訳(メタデータ) (2024-10-03T15:04:01Z) - Two-Timescale Gradient Descent Ascent Algorithms for Nonconvex Minimax Optimization [77.3396841985172]
我々は、構造化された非極小最適化問題の解法として、2時間勾配上昇(TTGDA)を統一的に解析する。
我々の貢献はTTGDAアルゴリズムを設計することであり、設定を超えて効果的です。
論文 参考訳(メタデータ) (2024-08-21T20:14:54Z) - Variance-Reduced Fast Krasnoselkii-Mann Methods for Finite-Sum Root-Finding Problems [8.0153031008486]
有限和共役方程式 $Gx = 0$ を解くために, 分散還元を伴う高速クラスクラスKrasnoselkii-Mann 法を提案する。
我々のアルゴリズムは単一ループであり、より広範なルートフィンディングアルゴリズムのために特別に設計された、偏りのない分散還元推定器の新たなファミリーを利用する。
数値実験は我々のアルゴリズムを検証し、最先端の手法と比較して有望な性能を示す。
論文 参考訳(メタデータ) (2024-06-04T15:23:29Z) - Provably learning a multi-head attention layer [55.2904547651831]
マルチヘッドアテンション層は、従来のフィードフォワードモデルとは分離したトランスフォーマーアーキテクチャの重要な構成要素の1つである。
本研究では,ランダムな例から多面的注意層を実証的に学習する研究を開始する。
最悪の場合、$m$に対する指数的依存は避けられないことを示す。
論文 参考訳(メタデータ) (2024-02-06T15:39:09Z) - Oblivious Stochastic Composite Optimization [47.48197617884748]
我々のアルゴリズムは問題のパラメータに関する事前の知識なしで収束することを示す。
3つのアルゴリズムは全て、実現可能な集合の直径、リプシッツ定数、あるいは目的関数の滑らかさについて事前の知識なしに機能する。
我々は,フレームワークを比較的大規模に拡張し,大規模半確定プログラム上での手法の効率性と堅牢性を実証する。
論文 参考訳(メタデータ) (2023-06-30T08:34:29Z) - Universality in the tripartite information after global quenches:
(generalised) quantum XY models [0.0]
我々は、R'enyi-$alpha$ tripartite information $I_3(alpha)$ 定常状態における3つの隣接部分系が、等質状態と二成分状態の両方からの非相互作用スピン鎖における大域的クエンチの後に現れると考える。
我々は、$I_3(alpha)$が無限長の極限においてもゼロではないような設定を特定し、はしご上の自由フェルミオン場の記述を効果的に量子場理論で記述する。
論文 参考訳(メタデータ) (2023-02-02T18:50:42Z) - On the Complexity of Decentralized Smooth Nonconvex Finite-Sum Optimization [21.334985032433778]
分散最適化問題 $min_bf xinmathbb Rd f(bf x)triq frac1msum_i=1m f_i(bf x)triq frac1nsum_j=1n。
論文 参考訳(メタデータ) (2022-10-25T11:37:11Z) - The Complexity of Dynamic Least-Squares Regression [11.815510373329337]
動的最小二乗回帰の複雑さ。
ゴールは、$min_mathbfx(t)| mathbfA(t) mathbfb(t) |$ for all $tin に対する $epsilon-approximate ソリューションを維持することである。
論文 参考訳(メタデータ) (2022-01-01T18:36:17Z) - Global Convergence of Gradient Descent for Asymmetric Low-Rank Matrix
Factorization [49.090785356633695]
非対称な低ランク分解問題: [mathbbRm min d , mathbfU$ および MathV$ について検討する。
論文 参考訳(メタデータ) (2021-06-27T17:25:24Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。