論文の概要: Shadow Pauli Flow: Characterising Determinism in MBQCs involving Pauli Measurements
- arxiv url: http://arxiv.org/abs/2207.09368v4
- Date: Tue, 14 Jan 2025 10:28:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-01-15 13:25:07.820209
- Title: Shadow Pauli Flow: Characterising Determinism in MBQCs involving Pauli Measurements
- Title(参考訳): シャドーパウリフロー:パウリ測定を含むMBQCにおける決定性の特徴
- Authors: Mehdi Mhalla, Simon Perdrix, Luc Sanselme,
- Abstract要約: 測定ベース量子コンピューティング(MBQC)における決定性の新しい特徴付けについて紹介する。
片方向モデルは、グラフで表される大きな絡み合った状態に対して局所的な測定を行う。
全体的な決定論的計算を行うには、各測定の非決定性のために補正戦略が必要である。
- 参考スコア(独自算出の注目度): 0.8192907805418583
- License:
- Abstract: We introduce a new characterisation of determinism in Measurement-Based Quantum Computing (MBQC). The one-way model consists in performing local measurements over a large entangled state represented by a graph. The ability to perform an overall deterministic computation requires a correction strategy because of the non-determinism of each measurement. The existence of such a correction strategy depends on the underlying open graph, which is a description of the resource state together with the basis of the performed measurements. GFlow is a well-known graphical characterisation of robust determinism in MBQC when every measurement is performed in some specific planes of the Bloch sphere. While Pauli measurements are ubiquitous in MBQC, GFlow fails to be necessary for determinism when a measurement-based quantum computation involves Pauli measurements. Pauli Flow was designed as a generalisation of GFlow to handle MBQC with Pauli measurements, and guarantees robust determinism, however, it has been shown more recently that it fails to be a necessary condition. Our contribution is twofold. First, we demonstrate that Pauli flow is actually necessary for robust determinism in a weaker sense: given an open graph, i.e. a resource state, a deterministic computation can be driven iff it has a Pauli flow. However, the Pauli flows do not reflect all the possible correction strategies over a particular resource state, and properties like measurement order or computational depth are not necessarily reflected by a Pauli flow. Thus, to characterise determinism in full generality, we introduce a further extension called Shadow Pauli Flow that we prove necessary and sufficient for robust determinism: An MBQC is robustly deterministic if and only if its correction strategy is consistent with a Shadow Pauli flow. Furthermore, we show that Shadow Pauli flow can be computed in polynomial time.
- Abstract(参考訳): 本稿では,測定ベース量子コンピューティング(MBQC)における決定性の新しい特徴について紹介する。
片方向モデルは、グラフで表される大きな絡み合った状態に対して局所的な測定を行う。
全体的な決定論的計算を行うには、各測定の非決定性のために補正戦略が必要である。
このような補正戦略の存在は、リソース状態の説明である基礎となるオープングラフと、実行された測定値のベースに依存する。
GFlowは、ブロッホ球の特定の平面ですべての測定が行われるとき、MBQCで頑健な決定性のグラフィカルな特徴付けとしてよく知られている。
パウリ測度はMBQCではユビキタスであるが、測定ベースの量子計算がパウリ測度を含む場合、GFlowは決定論に必要ではない。
パウリフローは、MBQCをパウリの測定で扱うためのGFlowの一般化として設計され、堅牢な決定性を保証するが、近年では必要条件ではないことが示されている。
私たちの貢献は2倍です。
まず、より弱い意味でのロバストな決定論において、パウリフローが実際に必要であることを示す: 開グラフ、すなわち、資源状態が与えられた場合、決定論的計算は、パウリフローを持つと断定できる。
しかし、パウリ流は特定の資源状態に対して可能な全ての補正戦略を反映しておらず、測定順序や計算深さのような性質は必ずしもパウリ流によって反映されない。
MBQCは、その補正戦略がシャドウ・パウリフローと整合である場合に限り、堅牢な決定論的である。
さらに,シャドウパウリ流は多項式時間で計算可能であることを示す。
関連論文リスト
- An algebraic interpretation of Pauli flow, leading to faster flow-finding algorithms [1.4732811715354455]
パウリフローの存在は、積 $NC が有向非巡回グラフの隣接行列を形成するような正逆の$C$ of$M$が存在するときのみである。
我々は、パウリフローを見つけるために$mathcalO(n3)$アルゴリズムを取得し、一般化フローを見つけるために以前の$mathcalO(n4)$バウンドを改良した。
論文 参考訳(メタデータ) (2024-10-30T20:30:01Z) - Pauli Flow on Open Graphs with Unknown Measurement Labels [0.0]
ワンウェイ量子計算(英: One-way quantum computing)は、回路モデルに代わる量子計算の普遍的なモデルである。
開グラフが与えられたパウリフローの存在を測定ラベルとともに効率的に決定する方法が知られている。
X と Z の測定のみの場合、フローの存在は、隣接行列から導出される行列の右可逆性に対応する。
論文 参考訳(メタデータ) (2024-08-12T11:19:27Z) - Robust and efficient verification of graph states in blind
measurement-based quantum computation [52.70359447203418]
Blind Quantum Computing (BQC) は、クライアントのプライバシを保護するセキュアな量子計算手法である。
資源グラフ状態が敵のシナリオで正確に準備されているかどうかを検証することは重要である。
本稿では,任意の局所次元を持つ任意のグラフ状態を検証するための,堅牢で効率的なプロトコルを提案する。
論文 参考訳(メタデータ) (2023-05-18T06:24:45Z) - End-to-end resource analysis for quantum interior point methods and portfolio optimization [63.4863637315163]
問題入力から問題出力までの完全な量子回路レベルのアルゴリズム記述を提供する。
アルゴリズムの実行に必要な論理量子ビットの数と非クリフォードTゲートの量/深さを報告する。
論文 参考訳(メタデータ) (2022-11-22T18:54:48Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳(メタデータ) (2022-09-15T14:52:31Z) - Computationally Efficient PAC RL in POMDPs with Latent Determinism and
Conditional Embeddings [97.12538243736705]
大規模部分観測可能決定プロセス(POMDP)の関数近似を用いた強化学習に関する研究
我々のアルゴリズムは、大規模POMDPに確実にスケールする。
論文 参考訳(メタデータ) (2022-06-24T05:13:35Z) - Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli
Measurements [0.0]
既存の量子ビットの任意の部分集合に接続された新しいZ測度量子ビットの導入は、パウリフローの存在を保っていることを示す。
パウリフローを持つMBQC型安定化器ZX-ダイアグラムは、この標準形式に書き換えることができることを証明した。
論文 参考訳(メタデータ) (2022-05-04T11:42:20Z) - GFlowNet Foundations [66.69854262276391]
Generative Flow Networks (GFlowNets) は、多様な候補をアクティブな学習コンテキストでサンプリングする方法として導入された。
GFlowNetのさらなる理論的性質について述べる。
論文 参考訳(メタデータ) (2021-11-17T17:59:54Z) - Outcome determinism in measurement-based quantum computation with qudits [0.0]
測定ベースの量子コンピューティングでは、計算は絡み合った状態の一連の測定と補正によって行われる。
局所次元が奇素数であるときにZd-flowと呼ぶようなquditグラフ状態を持つMBQCのフローベース手法を導入する。
我々の主な成果は、Zd-flowが強力な結果決定論のための必要十分条件であるということである。
論文 参考訳(メタデータ) (2021-09-28T15:36:36Z) - Relating Measurement Patterns to Circuits via Pauli Flow [0.0]
パウリ流を効率的に同定し,ゲート型量子回路に変換できることを示す。
次に、この関係を利用して、ZX-計算におけるグラフ理論の書き換えの効果をシミュレーション結果から導出する。
論文 参考訳(メタデータ) (2021-09-13T00:48:24Z) - Doubly Robust Off-Policy Value and Gradient Estimation for Deterministic
Policies [80.42316902296832]
本研究では,行動継続時の非政治データから決定論的政策の政策値と勾配を推定する。
この設定では、密度比が存在しないため、標準重要度サンプリングとポリシー値と勾配の2倍の頑健な推定が失敗する。
異なるカーネル化アプローチに基づく2つの新しい頑健な推定器を提案する。
論文 参考訳(メタデータ) (2020-06-06T15:52:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。