論文の概要: Quantum Algorithms and Oracles with the Scalable ZX-calculus
- arxiv url: http://arxiv.org/abs/2104.01043v2
- Date: Mon, 13 Sep 2021 02:08:00 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-05 19:49:55.798970
- Title: Quantum Algorithms and Oracles with the Scalable ZX-calculus
- Title（参考訳）: スケーラブルZX計算による量子アルゴリズムとオラクル
- Authors: Titouan Carette, Yohann D'Anello and Simon Perdrix
- Abstract要約: スケーラブルなZX計算は、量子アルゴリズムを記述・証明するための形式的で直感的でコンパクトなフレームワークを提供する。
Deutsch-Jozsa、Bernstein-Vazirani、Simon、Groverアルゴリズム。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The ZX-calculus was introduced as a graphical language able to represent
specific quantum primitives in an intuitive way. The recent completeness
results have shown the theoretical possibility of a purely graphical
description of quantum processes. However, in practice, such approaches are
limited by the intrinsic low level nature of ZX calculus. The scalable
notations have been proposed as an attempt to recover an higher level point of
view while maintaining the topological rewriting rules of a graphical language.
We demonstrate that the scalable ZX-calculus provides a formal, intuitive, and
compact framework to describe and prove quantum algorithms. As a proof of
concept, we consider the standard oracle-based quantum algorithms:
Deutsch-Jozsa, Bernstein-Vazirani, Simon, and Grover algorithms, and we show
they can be described and proved graphically.
- Abstract（参考訳）: ZX計算は、直感的に特定の量子プリミティブを表現できるグラフィカル言語として導入された。
最近の完全性の結果は、純粋にグラフィカルな量子過程の記述の可能性を示している。
しかし実際には、そのようなアプローチはZX計算の本質的な低レベルの性質によって制限される。
スケーラブルな表記法は、グラフィカル言語のトポロジカルな書き換え規則を維持しながら、より高いレベルの視点を回復する試みとして提案されている。
スケーラブルなZX計算は、量子アルゴリズムを記述・証明するための形式的で直感的でコンパクトなフレームワークを提供する。
概念の証明として、私たちは標準的なoracleベースの量子アルゴリズムであるdeutsch-jozsa、bernstein-vazirani、simon、groverを考察し、それらをグラフィカルに記述し証明できることを示した。
関連論文リスト
- ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces [0.09831489366502298]
ZX計算(ZX-calculus)は、量子コンピューティングと量子情報理論のためのグラフィカル言語である。
有限次元ZX-計算の完全性を証明し、混合次元Z-スパイダーとqudit X-スパイダーのみをジェネレータとして組み込む。
我々のアプローチは、他のグラフィカル言語である有限次元ZW-計算の完全性に基づいており、これら2つの計算間の直接変換が可能である。
論文 参考訳（メタデータ） (2024-05-17T16:35:07Z) - Completeness of qufinite ZXW calculus, a graphical language for
finite-dimensional quantum theory [0.11049608786515838]
有限次元量子論を推論するためのグラフィカル言語ZXW法則を導入する。
この計算の完全性は、任意の定値なZXWダイアグラムが正規形式に書き換えられることを示すことで証明する。
我々の研究は、量子物理学の包括的な図式記述の道を開き、この分野の扉を広く一般に開放する。
論文 参考訳（メタデータ） (2023-09-22T17:23:58Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳（メタデータ） (2022-09-15T14:52:31Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳（メタデータ） (2022-05-26T20:32:36Z) - From Quantum Graph Computing to Quantum Graph Learning: A Survey [86.8206129053725]
まず、量子力学とグラフ理論の相関関係について、量子コンピュータが有用な解を生成できることを示す。
本稿では,その実践性と適用性について,一般的なグラフ学習手法について概説する。
今後の研究の触媒として期待される量子グラフ学習のスナップショットを提供する。
論文 参考訳（メタデータ） (2022-02-19T02:56:47Z) - Resource Optimisation of Coherently Controlled Quantum Computations with
the PBS-calculus [55.2480439325792]
量子計算のコヒーレント制御は、いくつかの量子プロトコルやアルゴリズムを改善するために使用できる。
我々は、量子光学にインスパイアされたコヒーレント制御のためのグラフィカル言語PBS計算を洗練する。
論文 参考訳（メタデータ） (2022-02-10T18:59:52Z) - Qufinite ZX-calculus: a unified framework of qudit ZX-calculi [0.3655021726150367]
任意の有限次元において、qubit ZX-計算をqudit ZX-計算に一般化する。
我々は、全てのqudit ZX-calculiに対する統一的なフレームワークとして、qufinite ZX-calculusと呼ばれるグラフィカルフォーマリズムを提案する。
論文 参考訳（メタデータ） (2021-04-13T18:10:13Z) - Simplification Strategies for the Qutrit ZX-Calculus [0.0]
ZX-calculusは、ZX-diagramと呼ばれるテンソルネットワークを適切に表現するためのグラフィカル言語である。
ZX計算は、量子回路、凝縮物質系、量子アルゴリズム、量子エラー符号、および数え上げ問題に関する推論に応用を見出した。
論文 参考訳（メタデータ） (2021-03-11T19:17:28Z) - Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。
適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文 参考訳（メタデータ） (2021-02-09T13:48:00Z) - ZX-calculus for the working quantum computer scientist [0.0]
ZX-計算(ZX-calculus)は、量子計算を推論するためのグラフィカル言語である。
このレビューでは、量子コンピューティングの基礎に精通した人々に適したZX計算について、穏やかに紹介する。
後者のセクションでは、ZX-計算に関する文献の概要がまとめられている。
論文 参考訳（メタデータ） (2020-12-27T15:54:25Z) - PBS-Calculus: A Graphical Language for Coherent Control of Quantum
Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。
我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。
我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文 参考訳（メタデータ） (2020-02-21T16:15:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。