論文の概要: Pauli Flow on Open Graphs with Unknown Measurement Labels
- arxiv url: http://arxiv.org/abs/2408.06059v1
- Date: Mon, 12 Aug 2024 11:19:27 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-13 14:25:27.679507
- Title: Pauli Flow on Open Graphs with Unknown Measurement Labels
- Title(参考訳): 未知の測定ラベルを持つオープングラフ上のパウリフロー
- Authors: Piotr Mitosek,
- Abstract要約: ワンウェイ量子計算(英: One-way quantum computing)は、回路モデルに代わる量子計算の普遍的なモデルである。
開グラフが与えられたパウリフローの存在を測定ラベルとともに効率的に決定する方法が知られている。
X と Z の測定のみの場合、フローの存在は、隣接行列から導出される行列の右可逆性に対応する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: One-way quantum computation, or measurement-based quantum computation, is a universal model of quantum computation alternative to the circuit model. The computation progresses by measurements of a pre-prepared resource state together with corrections of undesired outcomes via applications of Pauli gates to yet unmeasured qubits. The fundamental question of this model is determining whether computation can be implemented deterministically. Pauli flow is one of the most general structures guaranteeing determinism. It is also essential for polynomial time ancilla-free circuit extraction. It is known how to efficiently determine the existence of Pauli flow given an open graph together with a measurement labelling (a choice of measurements to be performed). In this work, we focus on the problem of deciding the existence of Pauli flow for a given open graph when the measurement labelling is unknown. We show that this problem is in RP by providing a random polynomial time algorithm. To do it, we extend previous algebraic interpretations of Pauli flow, by showing that, in the case of X and Z measurements only, flow existence corresponds to the right-invertibility of a matrix derived from the adjacency matrix. We also use this interpretation to show that the number of output qubits can always be reduced to match the number of input qubits while preserving the existence of flow.
- Abstract(参考訳): ワンウェイ量子計算(英: One-way quantum computing)は、回路モデルに代わる量子計算の普遍的なモデルである。
計算は準備済みの資源状態の測定と、まだ測定されていない量子ビットへのパウリゲートの適用による望ましくない結果の補正によって進行する。
このモデルの基本的問題は、計算を決定論的に実装できるかどうかを決定することである。
パウリフローは決定性を保証する最も一般的な構造の1つである。
多項式時間アンシラフリー回路抽出にも必須である。
開グラフが与えられたパウリフローの存在を測定ラベリングと共に効率的に決定する方法が知られている。
本研究では,測定ラベリングが未知のとき,与えられた開グラフに対するパウリフローの存在を決定する問題に焦点をあてる。
確率多項式時間アルゴリズムを提供することにより,この問題が RP に含まれることを示す。
そのために、X と Z の測定のみの場合、フローの存在は、隣接行列から導かれる行列の右可逆性に対応することを示すことによって、パウリフローの以前の代数的解釈を拡張する。
また、この解釈を用いて出力量子ビットの数を常に減少させ、フローの存在を保ちながら入力量子ビットの数に一致することを示す。
関連論文リスト
- 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) - On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
任意の指数を$mathcalO(n)$ ancillae と 2体 XX と ZZ の相互作用を用いて一定深さの回路に分解する。
クビットリサイクルの恩恵を受ける回路の書き直し規則を導入し,本手法の正しさを実証する。
論文 参考訳(メタデータ) (2024-08-15T17:09:08Z) - Flow-preserving ZX-calculus Rewrite Rules for Optimisation and
Obfuscation [0.0]
量子ビットの数を増やし、パウリフローの存在を保ったZX-計算書換え規則をいくつか導入する。
また、計測角度を任意に変更できる最初のフロー保存リライトルールも提供する。
論文 参考訳(メタデータ) (2023-04-17T11:28:47Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳(メタデータ) (2022-09-15T14:52:31Z) - Characterising Determinism in MBQCs involving Pauli Measurements [0.8192907805418583]
本稿では,測定に基づく量子コンピューティングにおける決定論の新たな特徴付けについて紹介する。
全体的な決定論的計算を行うには、各測定の非決定性のために補正戦略が必要である。
より弱い意味での堅牢な決定論には,パウリ流が実際に必要であることを示す。
論文 参考訳(メタデータ) (2022-07-19T16:12:29Z) - Near-term quantum algorithm for computing molecular and materials
properties based on recursive variational series methods [44.99833362998488]
本稿では,分子の特性を短期量子デバイスを用いて推定する量子アルゴリズムを提案する。
エネルギー領域における一粒子グリーン関数と時間領域における自己相関関数を計算し,本手法を検証した。
論文 参考訳(メタデータ) (2022-06-20T16:33:23Z) - Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli
Measurements [0.0]
既存の量子ビットの任意の部分集合に接続された新しいZ測度量子ビットの導入は、パウリフローの存在を保っていることを示す。
パウリフローを持つMBQC型安定化器ZX-ダイアグラムは、この標準形式に書き換えることができることを証明した。
論文 参考訳(メタデータ) (2022-05-04T11:42:20Z) - Resource Optimisation of Coherently Controlled Quantum Computations with
the PBS-calculus [55.2480439325792]
量子計算のコヒーレント制御は、いくつかの量子プロトコルやアルゴリズムを改善するために使用できる。
我々は、量子光学にインスパイアされたコヒーレント制御のためのグラフィカル言語PBS計算を洗練する。
論文 参考訳(メタデータ) (2022-02-10T18:59:52Z) - Learnability of the output distributions of local quantum circuits [53.17490581210575]
2つの異なるオラクルモデルにおいて、量子回路Bornマシンの学習可能性について検討する。
我々はまず,超対数深度クリフォード回路の出力分布がサンプル効率良く学習できないという負の結果を示した。
より強力なオラクルモデル、すなわちサンプルに直接アクセスすると、局所的なクリフォード回路の出力分布は計算効率よくPACを学習可能であることを示す。
論文 参考訳(メタデータ) (2021-10-11T18:00:20Z) - Relating Measurement Patterns to Circuits via Pauli Flow [0.0]
パウリ流を効率的に同定し,ゲート型量子回路に変換できることを示す。
次に、この関係を利用して、ZX-計算におけるグラフ理論の書き換えの効果をシミュレーション結果から導出する。
論文 参考訳(メタデータ) (2021-09-13T00:48:24Z) - Q-Match: Iterative Shape Matching via Quantum Annealing [64.74942589569596]
形状対応を見つけることは、NP-hard quadratic assignment problem (QAP)として定式化できる。
本稿では,アルファ拡大アルゴリズムに触発されたQAPの反復量子法Q-Matchを提案する。
Q-Match は、実世界の問題にスケールできるような長文対応のサブセットにおいて、反復的に形状マッチング問題に適用できる。
論文 参考訳(メタデータ) (2021-05-06T17:59:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。