論文の概要: Finite de Finetti for convex bodies and Polynomial Optimization
- arxiv url: http://arxiv.org/abs/2601.15184v1
- Date: Wed, 21 Jan 2026 17:04:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-01-22 21:27:50.469251
- Title: Finite de Finetti for convex bodies and Polynomial Optimization
- Title(参考訳): 凸体に対する有限要素法と多項式最適化
- Authors: Julius A. Zeiss, Gereon Koßmann, René Schwonnek, Martin Plávala,
- Abstract要約: 一般凸体に対する有限デ・フィネッティ表現定理を証明する。
我々の戦略は、量子論から任意の凸体への定量的な一夫一婦制の議論を一般化する。
アプリケーションとして、最適化問題として2人プレイヤ非ローカルゲームの最適GPT値を示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Leveraging a recently proposed notion of relative entropy in general probabilistic theories (GPT), we prove a finite de Finetti representation theorem for general convex bodies. We apply this result to address a fundamental question in polynomial optimization: the existence of a convergent outer hierarchy for problems with inequality constraints and analytical convergence guarantees. Our strategy generalizes a quantitative monogamy-of-entanglement argument from quantum theory to arbitrary convex bodies, establishing a uniform upper bound on mutual information in multipartite extensions. This leads to a finite de Finetti theorem and, subsequently, a convergent conic hierarchy for a wide class of polynomial optimization problems subject to both equality and inequality constraints. We further provide a constructive rounding scheme that yields certified interior points with controlled approximation error. As an application, we express the optimal GPT value of a two-player non-local game as a polynomial optimization problem, allowing our techniques to produce approximation schemes with finite convergence guarantees.
- Abstract(参考訳): 一般確率論(GPT)において最近提案された相対エントロピーの概念を利用して、一般凸体に対する有限デ・フィネッティ表現定理を証明する。
この結果を用いて多項式最適化の基本的な問題、すなわち不等式制約や解析収束保証のある問題に対する収束外階層の存在に対処する。
我々の戦略は、量子論から任意の凸体への定量的な一夫一婦制の議論を一般化し、多部展開における相互情報の均一な上限を確立する。
これにより有限デ・フィネッティの定理が導かれ、その後、等式と不等式の両方の制約を受けるような多項式最適化問題の幅広いクラスに対する収束円錐階層が導かれる。
さらに、制御された近似誤差で認証内点を得る構成的丸め方式を提案する。
応用として, 2人プレイヤ非ローカルゲームの最適GPT値を多項式最適化問題として表現し, 有限収束保証付き近似スキームを作成できる。
関連論文リスト
- The polarization hierarchy for polynomial optimization over convex bodies, with applications to nonnegative matrix rank [0.6963971634605796]
我々は、凸体上の関数を制約に最適化する問題に対して、外部近似の収束族を構築する。
階層の3段階の数値的な実装は、この問題に対して非常に厳密な近似をもたらすことが示されている。
論文 参考訳(メタデータ) (2024-06-13T18:00:09Z) - State polynomials: positivity, optimization and nonlinear Bell
inequalities [3.9692590090301683]
本稿では,非可換変数の状態とそれらの積の形式状態を紹介する。
これは、すべての正の状態と正の状態が、分母を持つ正方形の和であることを示している。
また、Avinetengle Kritivsatzが状態設定で保持できないことも確認されている。
論文 参考訳(メタデータ) (2023-01-29T18:52:21Z) - Approximation of optimization problems with constraints through kernel
Sum-Of-Squares [77.27820145069515]
我々は、点的不等式が非負の kSoS 関数のクラス内で等式となることを示す。
また, 等式制約に焦点をあてることで, 散乱不等式を用いることで, 制約のサンプリングにおける次元性の呪いを軽減することができることを示す。
論文 参考訳(メタデータ) (2023-01-16T10:30:04Z) - Faster Algorithm and Sharper Analysis for Constrained Markov Decision
Process [56.55075925645864]
制約付き意思決定プロセス (CMDP) の問題点について検討し, エージェントは, 複数の制約を条件として, 期待される累積割引報酬を最大化することを目的とする。
新しいユーティリティ・デュアル凸法は、正規化ポリシー、双対正則化、ネステロフの勾配降下双対という3つの要素の新たな統合によって提案される。
これは、凸制約を受ける全ての複雑性最適化に対して、非凸CMDP問題が$mathcal O (1/epsilon)$の低い境界に達する最初の実演である。
論文 参考訳(メタデータ) (2021-10-20T02:57:21Z) - The Geometry of Memoryless Stochastic Policy Optimization in
Infinite-Horizon POMDPs [0.0]
我々は、無限水平部分観測可能な決定プロセスにおいて、最高のメモリレスポリシーを見つけるという問題を考察する。
本研究では, 減算された状態-作用周波数と予測累積報酬が政策の関数であり, その度合いは部分観測可能性の度合いによって決定されることを示す。
論文 参考訳(メタデータ) (2021-10-14T14:42:09Z) - Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable
Approach for Continuous Markov Random Fields [53.31927549039624]
断片的な離散化は既存の離散化問題と矛盾しないことを示す。
この理論を2つの画像のマッチング問題に適用する。
論文 参考訳(メタデータ) (2021-07-13T12:31:06Z) - Recent Theoretical Advances in Non-Convex Optimization [56.88981258425256]
近年、深層ネットワークにおける非最適化アルゴリズムの解析やデータ問題への関心が高まっており、非最適化のための理論的最適化アルゴリズムの最近の結果の概要を概説する。
論文 参考訳(メタデータ) (2020-12-11T08:28:51Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。