Weaverの不一致度を決定論的に計算する
A Walk From Free Probability to Matrix Discrepancy II: Weaver's Problem and the Kadison-Singer Conjecture
この論文をやさしく読む
ひとことで言うと
存在は知られていた良い符号の割り当てを、決定論的な多項式時間の手順で見つけるとする研究です。
何に役立つ？
Weaverの不一致度定理を計算可能な手法へ結びつける、アルゴリズム理論上の貢献です。
この研究の面白いところ
共分散が端点で消える摂動を使い、移動方向を選ぶたびに不一致度と進行度を同時に制御します。境界は35√εです。
どこまで分かった？
結果は実数算術モデルで述べられています。高ランク問題とスペクトル的に細い木は今後の研究であり、Lean形式化の公開や内容もここでは独立確認していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
MSS15はWeaverの不一致度の結果を存在定理として証明し、カディソン＝シンガー予想を解決した。しかし、一般の入力に対してそのような符号を効率よく見つけることは、未解決のアルゴリズム的問題として残っていた。本研究では、実数算術モデルで多項式時間で動作し、不一致度が高々35√εとなる決定論的アルゴリズムを与える。アルゴリズムは超立方体の原点から頂点へ歩行し、座標が面に達すると固定する。そのポテンシャルは、作用素値自由半円要素で摂動した不一致度行列の滑らかなスペクトル端を測る。摂動の共分散は、係数が端点に達すると消える。 Bandeira、Boedihardjo、van Handelの自由補間手法に着想を得て、Lehnerの変分公式と、先行研究で用いられたスペクトル的なTsallisの1/2正則化を組み合わせる。得られるポテンシャルには有限次元の半正定値計画（SDP）定式化があり、不一致度と残る共分散を一緒に解析できる。正則化されたミニマックス問題の線形化Karush–Kuhn–Tucker（KKT）系を通じて最適化解の安定性を解析する。その停留条件は行列Dyson方程式に関連する。これにより、次の移動規則が得られる。ある座標を小さなスペクトルコストで近い端点へ動かせるか、そうでなければ現在の係数ベクトルに直交する低曲率の方向を使って進める。その方向のより良い符号を選ぶことで、原点からの距離の二乗を増やしつつ不一致度を制御する。今後の研究では、高ランクのカディソン＝シンガー問題とスペクトル的に細い木を扱う。主な不一致度定理のLean形式化は完了しており、近く公開する予定である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
\cite{mss2015} proved Weaver's discrepancy result existentially, resolving the Kadison--Singer conjecture . Finding such signs efficiently for general inputs remained an open algorithmic question. In the real-arithmetic model, we give a deterministic algorithm running in polynomial time with discrepancy at most $35\sqrt\varepsilon$. The algorithm walks from the origin of the hypercube to a vertex, fixing coordinates as they hit a face. Its potential measures a soft spectral edge of the discrepancy matrix perturbed by an operator-valued free semicircular element. The perturbation's covariance vanishes as the coefficients reach their endpoints. Inspired by the free interpolation approach of Bandeira, Boedihardjo, and van Handel \cite{bbvh2023}, we combine Lehner's variational formula \cite{lehner1999} with spectral Tsallis--$1/2$ regularization used in \cite{allenZhuLiaoOrecchia2015} and \cite{pesentivladu2026}. The resulting potential has a finite-dimensional SDP formulation, allowing the discrepancy and remaining covariance to be analyzed together. We analyze the optimizer's stability through the linearized Karush--Kuhn--Tucker (KKT) system of a regularized min--max problem, whose stationarity equations are related to the matrix Dyson equation \cite{erdos2019}. This gives the movement rule: either a coordinate can move toward its nearer endpoint at small spectral cost, or a low-curvature direction orthogonal to the current coefficient vector allows further progress. Choosing the better sign of this direction controls discrepancy while increasing the squared distance from the origin. Upcoming work \cite{kathuria2026higherRank} will address higher-rank Kadison-Singer and spectrally thin trees. Lean formalizations of our main discrepancy theorems have been completed and will be released shortly.
著者のコメント
The author explicitly reserve all rights in this work. No permission is granted for the reproduction, storage, or use of this document for the purpose of training artificial intelligence systems or for text and data mining (TDM), including but not limited to the generation of embeddings, summaries, or synthetic derivatives
arXiv ID: 2609.18913 ／ 要約の誤りについて