論文の概要: Sums of squares certificates for polynomial moment inequalities
- arxiv url: http://arxiv.org/abs/2306.05761v2
- Date: Fri, 10 May 2024 20:00:42 GMT
- ステータス: 処理完了
- システム内更新日: 2024-05-15 01:42:01.260150
- Title: Sums of squares certificates for polynomial moment inequalities
- Title(参考訳): 多項式モーメントの不等式に対する二乗証明の和
- Authors: Igor Klep, Victor Magron, Jurij Volčič,
- Abstract要約: 本稿では,通勤変数とその形式的混合モーメントの表現であるモーメント表現の枠組みを紹介し,開発する。
応用として、量子物理学からの2つの開放非線形ベル不等式が解決される。
- 参考スコア(独自算出の注目度): 1.6385815610837167
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper introduces and develops the algebraic framework of moment polynomials, which are polynomial expressions in commuting variables and their formal mixed moments. Their positivity and optimization over probability measures supported on semialgebraic sets and subject to moment polynomial constraints is investigated. A positive solution to Hilbert's 17th problem for pseudo-moments is given. On the other hand, moment polynomials positive on actual measures are shown to be sums of squares and formal moments of squares up to arbitrarily small perturbation of their coefficients. When only measures supported on a bounded semialgebraic set are considered, a stronger algebraic certificate for moment polynomial positivity is derived. This result gives rise to a converging hierarchy of semidefinite programs for moment polynomial optimization. Finally, as an application, two open nonlinear Bell inequalities from quantum physics are settled.
- Abstract(参考訳): 本稿では、可換変数とその形式的混合モーメントにおける多項式表現であるモーメント多項式の代数的枠組みを導入・開発する。
半代数集合上で支持され、モーメント多項式制約を受ける確率測度に対するそれらの肯定性と最適化について検討した。
擬モーメントに対するヒルベルトの17番目の問題に対する正の解が与えられる。
一方、実測度に正のモーメント多項式は、その係数を任意に小さな摂動に向ける正方形の和と正方形のモーメントである。
有界半代数集合で支持される測度のみを考慮すると、モーメント多項式正の強い代数的証明が導出される。
この結果から、モーメント多項式最適化のための半定値プログラムの収束階層が生まれる。
最後に、応用として、量子物理学からの2つの開放非線形ベル不等式が解決される。
関連論文リスト
- Spectral quantization of discrete random walks on half-line, and orthogonal polynomials on the unit circle [0.0]
我々は、単位円上のバーブの観点で量子ウォークのユニタリ進化作用素を表す。
マルコフ系とそれらの測度の両方が古典的なSzegHo写像によって連結されていることを示す。
論文 参考訳(メタデータ) (2023-06-21T13:41:51Z) - State polynomials: positivity, optimization and nonlinear Bell
inequalities [3.9692590090301683]
本稿では,非可換変数の状態とそれらの積の形式状態を紹介する。
これは、すべての正の状態と正の状態が、分母を持つ正方形の和であることを示している。
また、Avinetengle Kritivsatzが状態設定で保持できないことも確認されている。
論文 参考訳(メタデータ) (2023-01-29T18:52:21Z) - A Direct Reduction from the Polynomial to the Adversary Method [92.54311953850168]
逆法に(双対の形で)方法から単純かつ直接的に還元する。
これは、双対形式におけるどんな下界も、特定の形式の逆下界であることを示している。
論文 参考訳(メタデータ) (2023-01-24T21:37:20Z) - An Exponential Separation Between Quantum Query Complexity and the
Polynomial Degree [79.43134049617873]
本稿では,部分関数に対する完全次数と近似量子クエリの指数関数的分離を実証する。
アルファベットのサイズについては、定値対分離の複雑さがある。
論文 参考訳(メタデータ) (2023-01-22T22:08:28Z) - Approximation of optimization problems with constraints through kernel
Sum-Of-Squares [77.27820145069515]
我々は、点的不等式が非負の kSoS 関数のクラス内で等式となることを示す。
また, 等式制約に焦点をあてることで, 散乱不等式を用いることで, 制約のサンプリングにおける次元性の呪いを軽減することができることを示す。
論文 参考訳(メタデータ) (2023-01-16T10:30:04Z) - Grothendieck inequalities characterize converses to the polynomial method [1.137457877869062]
アーロンソンらによる驚くべき「方法への反論」。
(CCC16) は、任意の有界二次体はグロタンディーク定数に関連する普遍乗法因子まで1-クエリで正確に計算できることを示した。
論文 参考訳(メタデータ) (2022-12-16T16:26:04Z) - Growth of entanglement of generic states under dual-unitary dynamics [77.34726150561087]
デュアルユニタリ回路(英: Dual-unitary circuits)は、局所的に相互作用する量子多体系のクラスである。
特に、それらは「可解」な初期状態のクラスを認めており、熱力学の極限では、完全な非平衡力学にアクセスできる。
この場合、時間段階における絡み合いの増大は有限時間に対して極大であるが、無限時間極限における極大値に近付く。
論文 参考訳(メタデータ) (2022-07-29T18:20:09Z) - Progressive approximation of bound states by finite series of
square-integrable functions [0.0]
有限サイズの基底集合において、有界状態に対する時間非依存的なシュリンガー方程式を解くために「三対角表現法」を用いる。
論文 参考訳(メタデータ) (2022-02-20T00:25:35Z) - Dimension-free entanglement detection in multipartite Werner states [1.5771347525430772]
ワーナー状態(英: Werner state)は、ユニタリ群の対角共役作用の下で不変な多部量子状態である。
本稿では,基礎となる局所空間に依存しない絡み合いの完全な特徴付けを与える。
すべての絡み合ったヴェルナー状態には、次元のない絡み合いの証人が存在する。
論文 参考訳(メタデータ) (2021-08-19T14:41:09Z) - Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable
Approach for Continuous Markov Random Fields [53.31927549039624]
断片的な離散化は既存の離散化問題と矛盾しないことを示す。
この理論を2つの画像のマッチング問題に適用する。
論文 参考訳(メタデータ) (2021-07-13T12:31:06Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。