論文の概要: Karush-Kuhn-Tucker conditions for non-commutative optimization problems
- arxiv url: http://arxiv.org/abs/2311.18707v1
- Date: Thu, 30 Nov 2023 17:00:06 GMT
- ステータス: 処理完了
- システム内更新日: 2023-12-01 15:47:54.076296
- Title: Karush-Kuhn-Tucker conditions for non-commutative optimization problems
- Title(参考訳): 非可換最適化問題に対するKarush-Kuhn-Tucker条件
- Authors: Mateus Ara\'ujo, Igor Klep, Tam\'as V\'ertesi, Andrew J. P. Garner and
Miguel Navascues
- Abstract要約: 多くの古典的最適化問題で満たされるKa-Kuhn-Tucker最適条件の非可換な類似を導入する。
我々は、多体スピン系の基底状態の局所的性質を計算し、非可換KKT条件のパワーをテストする。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We consider the problem of optimizing the state average of a polynomial of
non-commuting variables, over all states and operators satisfying a number of
polynomial constraints, and over all Hilbert spaces where such states and
operators are defined. Such non-commutative polynomial optimization (NPO)
problems are routinely solved through hierarchies of semidefinite programming
(SDP) relaxations. In this work, we introduce a non-commutative analog of the
Karush-Kuhn-Tucker (KKT) optimality conditions, which are satisfied by many
classical optimization problems. In the non-commutative setting, the KKT
conditions amount to adding new SDP constraints to standard SDP hierarchies,
with the effect of boosting their speed of convergence. The new optimality
conditions also allow enforcing a new type of constraints in NPO problems:
namely, restricting the optimization over states to the set of common ground
states of an arbitrary number of operators. Like in the classical case, some
necessary conditions or constraint qualifications are needed to ensure that the
KKT conditions hold in an NPO problem. We provide three: the existence of a sum
of weighted squares resolution of the problem and the non-commutative analogs
of Linear Independence Constraint Qualification and Mangasarian-Fromovitz
Constraint Qualification. We also present sufficient conditions to justify
enforcing the KKT conditions partially. We test the power of the
non-commutative KKT conditions by computing local properties of ground states
of many-body spin systems and the maximum quantum violation of Bell
inequalities.
- Abstract(参考訳): 我々は、非可換変数の多項式の状態平均、多くの多項式制約を満たすすべての状態と作用素、およびそのような状態と作用素が定義されるすべてのヒルベルト空間の状態平均を最適化する問題を考える。
このような非可換多項式最適化(NPO)問題は、半定値プログラミング(SDP)緩和の階層によって日常的に解決される。
本研究では,多くの古典的最適化問題で満たされるKKT最適化条件の非可換類似性を導入する。
非可換な設定では、KKT条件は標準SDP階層に新しいSDP制約を加えることとなり、収束速度を向上する効果がある。
新しい最適条件はまた、NPO問題における新しいタイプの制約、すなわち任意の数の演算子の共通基底状態の集合に対する状態に対する最適化を強制することができる。
古典的な場合と同様に、KKT条件がNPO問題に収まるためには、いくつかの必要条件や制約条件が必要である。
問題に対する重み付き二乗分解の和の存在と、線形独立制約条件とマンガサリアン・フロモヴィッツ制約条件の非可換アナログの存在について述べる。
また、KKT条件を部分的に適用するための十分な条件も提示する。
多体スピン系の基底状態の局所的性質とベルの不等式最大量子違反を計算し、非可換kkt条件のパワーをテストする。
関連論文リスト
- QSlack: A slack-variable approach for variational quantum semi-definite
programming [5.0579795245991495]
量子コンピュータは、最もよく知られた古典的アルゴリズムのスピードアップを提供することができる。
半定値および線形プログラムを含む最適化問題の解法を示す。
これらの問題に対する予備問題と双対問題の両方の実装が、基礎的真理に近づいていることが示される。
論文 参考訳(メタデータ) (2023-12-06T19:00:01Z) - Multiobjective variational quantum optimization for constrained
problems: an application to Cash Management [45.82374977939355]
本稿では,変分量子アルゴリズムを用いた制約付き最適化問題の解法を提案する。
我々は、キャッシュマネジメント問題という、金融の極めて関連性の高い現実世界の問題について、我々の提案を検証した。
実験の結果, 実現したソリューションのコスト, 特に局所最小値の回避に関して, 大幅な改善が見られた。
論文 参考訳(メタデータ) (2023-02-08T17:09:20Z) - 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) - Symmetric Tensor Networks for Generative Modeling and Constrained
Combinatorial Optimization [72.41480594026815]
ポートフォリオ最適化からロジスティクスに至るまで、制約付き最適化問題は業界に多い。
これらの問題の解決における主要な障害の1つは、有効な検索空間を制限する非自明なハード制約の存在である。
本研究では、Ax=bという形の任意の整数値等式制約をU(1)対称ネットワーク(TN)に直接エンコードし、それらの適用性を量子に着想を得た生成モデルとして活用する。
論文 参考訳(メタデータ) (2022-11-16T18:59:54Z) - A Quantum Optimal Control Problem with State Constrained Preserving
Coherence [68.8204255655161]
非単体脱コヒーレンスチャネルを特徴とするマルコフ脱コヒーレンスを受ける3レベル$Lambda$型原子を考える。
我々は、デコヒーレンスレベルが予め定義された境界内にある状態制約で量子最適制御問題を定式化する。
論文 参考訳(メタデータ) (2022-03-24T21:31:34Z) - Constrained Optimization Involving Nonconvex $\ell_p$ Norms: Optimality
Conditions, Algorithm and Convergence [4.886985244621422]
我々は $ell_p$ ノルムの次数と $ell_p$ 球の正規錐の次数を計算する。
逐次最適性条件は反復的に重み付けされたアルゴリズムに対して容易に満足できることを示す。
論文 参考訳(メタデータ) (2021-10-27T02:17:42Z) - 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) - Recent Theoretical Advances in Non-Convex Optimization [56.88981258425256]
近年、深層ネットワークにおける非最適化アルゴリズムの解析やデータ問題への関心が高まっており、非最適化のための理論的最適化アルゴリズムの最近の結果の概要を概説する。
論文 参考訳(メタデータ) (2020-12-11T08:28:51Z) - Efficient Methods for Structured Nonconvex-Nonconcave Min-Max
Optimization [98.0595480384208]
定常点に収束する一般化外空間を提案する。
このアルゴリズムは一般の$p$ノルド空間だけでなく、一般の$p$次元ベクトル空間にも適用される。
論文 参考訳(メタデータ) (2020-10-31T21:35:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。