ユークリッド球を半正定値計画で表す最小規模を求める
Bounds on the Semidefinite Programming Complexity of the Euclidean Ball
この論文をやさしく読む
ひとことで言うと
丸い球を行列の不等式で表すとき、どれだけ小さい行列まで縮められるか、その限界を求める研究です。
何に役立つ？
半正定値計画への定式化で、表現の規模をこれ以上減らせるかを判断する理論的な基準になります。
この研究の面白いところ
直接表現ではn、拡張表現では2√(n−1)という異なる下界を示し、既知の構成と一致させています。面の集合の次元という幾何学的な情報が証明の道具です。
どこまで分かった？
評価しているのは表現に必要な行列サイズです。ソルバーの実行時間を直接測った結果ではなく、拡張先の凸集合には端点集合が半代数的という条件があります。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
ユークリッド球を表す任意の線形行列不等式の大きさ、および球の半正定値拡張複雑度について、鋭い下界を与える。具体的には、ユークリッド球を表す線形行列不等式には少なくとも大きさnの行列が必要であり、ユークリッド球の任意のスペクトラヘドロン拡張には少なくとも大きさ2√(n−1)の行列が必要であることを示す。これらは既存の明示的な構成が与える界と一致する。証明はスペクトラヘドロンの面の集合の次元に関する初等的な事実に基づき、実際、端点全体が半代数集合をなす任意の凸集合へ拡張される。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We present tight lower bounds for the size of any linear matrix inequality representation of the Euclidean ball, and on the semidefinite extension complexity of the ball. Specifically, we show that any linear matrix inequality representing the Euclidean ball must involve matrices of size at least $n$, and any spectrahedral extension of the Euclidean ball must involve matrices of size at least $2\sqrt{n-1}$. These match the bounds given by existing explicit constructions. Our proofs rely on elementary facts about the dimension of the set of faces of spectrahedra, and indeed extend to any convex set whose extreme points form a semialgebraic set.
arXiv ID: 2609.21089 ／ 要約の誤りについて