論文の概要: Subspace Correction for Constraints
- arxiv url: http://arxiv.org/abs/2310.20191v1
- Date: Tue, 31 Oct 2023 05:23:50 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-01 16:20:57.934863
- Title: Subspace Correction for Constraints
- Title(参考訳): 制約に対する部分空間補正
- Authors: Kelly Ann Pawlak, Jeffrey M. Epstein, Daniel Crow, Srilekha Gandhari,
Ming Li, Thomas C. Bohdanowicz, Jonathan King
- Abstract要約: 本研究では,Ising表現における計算問題の制約を満たす部分空間を安定化させることが可能であることを示す。
このような制約に対して、ユニタリと関連する測定値を構築するための明確なレシピを提供する。
安定化器の測定は制約違反の検出を可能にし、制約された部分空間への回復経路を提供する。
- 参考スコア(独自算出の注目度): 3.977810072874835
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We demonstrate that it is possible to construct operators that stabilize the
constraint-satisfying subspaces of computational problems in their Ising
representations. We provide an explicit recipe to construct unitaries and
associated measurements for some such constraints. The stabilizer measurements
allow the detection of constraint violations, and provide a route to recovery
back into the constrained subspace. We call this technique ``subspace
correction". As an example, we explicitly investigate the stabilizers using the
simplest local constraint subspace: Independent Set. We find an algorithm that
is guaranteed to produce a perfect uniform or weighted distribution over all
constraint-satisfying states when paired with a stopping condition: a quantum
analogue of partial rejection sampling. The stopping condition can be modified
for sub-graph approximations. We show that it can prepare exact Gibbs
distributions on $d-$regular graphs below a critical hardness $\lambda_d^*$ in
sub-linear time. Finally, we look at a potential use of subspace correction for
fault-tolerant depth-reduction. In particular we investigate how the technique
detects and recovers errors induced by Trotterization in preparing maximum
independent set using an adiabatic state preparation algorithm.
- Abstract(参考訳): 我々は、イジング表現における計算問題の制約を満たす部分空間を安定化する演算子を構築できることを実証する。
このような制約に対してユニタリと関連する測定値を構築するための明示的なレシピを提供する。
安定化器の測定は制約違反の検出を可能にし、制約された部分空間への回復経路を提供する。
この手法を「サブスペース補正」と呼ぶ。
例えば、最も単純な局所制約部分空間:独立集合を用いて安定化器を明示的に検討する。
停止状態とペアを組むとき, 完全均一あるいは重み付き分布を全制約条件で生成することが保証されるアルゴリズムが, 部分的拒絶サンプリングの量子アナログであることがわかった。
停止条件は、サブグラフ近似のために変更することができる。
臨界硬度$\lambda_d^*$以下の$d-$regularグラフ上の正確なギブス分布をサブ線形時間で作成できることが示される。
最後に, 耐故障深度低減のための部分空間補正の可能性を検討する。
特に, 断熱状態生成アルゴリズムを用いて, 最大独立セットの作成において, トロタライズによって引き起こされる誤差を検出し, 回復する方法について検討する。
関連論文リスト
- Controllable Generation via Locally Constrained Resampling [77.48624621592523]
本研究では, ベイズ条件付けを行い, 制約条件下でサンプルを描画する, トラクタブルな確率的手法を提案する。
提案手法はシーケンス全体を考慮し,現行のグリード法よりも大域的に最適に制約された生成を導出する。
提案手法は, 有害な世代からモデル出力を分離し, 脱毒化に対する同様のアプローチより優れていることを示す。
論文 参考訳(メタデータ) (2024-10-17T00:49:53Z) - Single-copy stabilizer testing [0.0]
未知の$n$-qubit量子状態 $|psirangle$ が安定化状態であるかどうかをテストする問題を考える。
我々は、$O(n)$コピーを用いてこの問題を解決するアルゴリズムを与え、逆に、$Omega(sqrtn)$コピーがどのアルゴリズムにも必要であることを示す。
論文 参考訳(メタデータ) (2024-10-10T14:39:47Z) - A TVD neural network closure and application to turbulent combustion [1.374949083138427]
トレーニングニューラルネットワーク(NN)は、支配方程式を閉じるための魅力的な特徴を持っている。
NNの定式化は、溶液の有界性や陽性性に反する刺激発振を防止するために導入される。
離散化方程式に機械学習のクロージャとして組み込まれ、厳格に制約されている。
論文 参考訳(メタデータ) (2024-08-06T19:22:13Z) - Uniformly Decaying Subspaces for Error Mitigated Quantum Computation [2.434659102843556]
リンドブラッドマスター方程式が支配する系において一様に崩壊する部分空間を得るための一般的な条件を示す。
このような部分空間に符号化されたダイナミクスの期待値は、ノイズフリー期待値の偏りのない推定値である。
このような部分空間は、ノイズの完全な知識を必要とせずに、崩壊率の1次変動を排除できることを示す。
論文 参考訳(メタデータ) (2024-02-29T22:25:19Z) - Constrained Optimization via Exact Augmented Lagrangian and Randomized
Iterative Sketching [55.28394191394675]
等式制約付き非線形非IBS最適化問題に対する適応的不正確なニュートン法を開発した。
ベンチマーク非線形問題,LVMのデータによる制約付きロジスティック回帰,PDE制約問題において,本手法の優れた性能を示す。
論文 参考訳(メタデータ) (2023-05-28T06:33:37Z) - Convex Hulls of Reachable Sets [18.03395556436054]
到達可能な集合は制御において重要な役割を果たすが、計算が困難であることで知られる。
到達可能な集合の凸殻を、球面上の初期条件を持つ常微分方程式の解の凸殻として特徴づける。
この有限次元キャラクタリゼーションは、効率的なサンプリングベース推定アルゴリズムを解き放ち、精度良く到達可能な集合をオーバー近似する。
論文 参考訳(メタデータ) (2023-03-30T19:31:41Z) - Fully Stochastic Trust-Region Sequential Quadratic Programming for
Equality-Constrained Optimization Problems [62.83783246648714]
目的と決定論的等式制約による非線形最適化問題を解くために,逐次2次プログラミングアルゴリズム(TR-StoSQP)を提案する。
アルゴリズムは信頼領域半径を適応的に選択し、既存の直線探索StoSQP方式と比較して不確定なヘッセン行列を利用することができる。
論文 参考訳(メタデータ) (2022-11-29T05:52:17Z) - Simulating scalar field theories on quantum computers with limited
resources [62.997667081978825]
量子ビットコンピュータ上での格子スカラー場理論を実装するための量子アルゴリズムを提案する。
このアルゴリズムは、通常の対称性相と壊れた対称性相の両方において、幅広い入力パラメータの効率的な$phi4$状態の準備を可能にする。
論文 参考訳(メタデータ) (2022-10-14T17:28:15Z) - Constrained mixers for the quantum approximate optimization algorithm [55.41644538483948]
ヒルベルト空間全体の部分空間への発展を制限する混合作用素を構築するための枠組みを提案する。
我々は,「ワンホット」状態の部分空間を保存するために設計された「XY」ミキサーを,多くの計算基底状態によって与えられる部分空間の一般の場合に一般化する。
我々の分析は、現在知られているよりもCXゲートが少ない"XY"ミキサーのトロタライズも有効である。
論文 参考訳(メタデータ) (2022-03-11T17:19:26Z) - Optimal policy evaluation using kernel-based temporal difference methods [78.83926562536791]
カーネルヒルベルト空間を用いて、無限水平割引マルコフ報酬過程の値関数を推定する。
我々は、関連するカーネル演算子の固有値に明示的に依存した誤差の非漸近上界を導出する。
MRP のサブクラスに対する minimax の下位境界を証明する。
論文 参考訳(メタデータ) (2021-09-24T14:48:20Z) - Robust Uncertainty Bounds in Reproducing Kernel Hilbert Spaces: A Convex
Optimization Approach [9.462535418331615]
サンプル外境界は、見当たらない入力位置で確立できることが知られている。
有限サンプルの不確実性境界の密接な計算は、パラメトリック制約付き線形プログラムを解くのにどのように役立つかを示す。
論文 参考訳(メタデータ) (2021-04-19T19:27:52Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。