論文の概要: Encoding High-level Quantum Programs as SZX-diagrams
- arxiv url: http://arxiv.org/abs/2206.09376v1
- Date: Sun, 19 Jun 2022 10:52:19 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-08 21:15:05.305913
- Title: Encoding High-level Quantum Programs as SZX-diagrams
- Title(参考訳): SZXダイアグラムによる高レベル量子プログラムの符号化
- Authors: Agust\'in Borgna, Rafael Romero
- Abstract要約: 本稿では,線形依存型であるProto-Quipper-D言語のフラグメントに実装された量子プログラムを,SZX-ダイアグラムの族として符号化する手法を提案する。
翻訳可能なProto-Quipper-Dプログラムのサブセットを定義し,プログラムのサイズに応じて線形に成長するダイアグラムとして非自明なアルゴリズムを符号化可能であることを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The Scalable ZX-calculus is a compact graphical language used to reason about
linear maps between quantum states. These diagrams have multiple applications,
but they frequently have to be constructed in a case-by-case basis. In this
work we present a method to encode quantum programs implemented in a fragment
of the linear dependently typed Proto-Quipper-D language as families of
SZX-diagrams. We define a subset of translatable Proto-Quipper-D programs and
show that our procedure is able to encode non-trivial algorithms as diagrams
that grow linearly on the size of the program.
- Abstract(参考訳): スケーラブルなZX計算は、量子状態間の線形写像を推論するために使われるコンパクトなグラフィカル言語である。
これらの図には複数のアプリケーションがありますが、ケースバイケースで構築する必要があります。
本稿では,線形依存型プロトキッパーd言語の断片として実装された量子プログラムをszxダイアグラムの族としてエンコードする手法を提案する。
我々は、変換可能なproto-quipper-dプログラムのサブセットを定義し、プログラムのサイズで線形に成長するダイアグラムとして非自明なアルゴリズムをエンコードできることを示す。
関連論文リスト
- A ZX-Calculus Approach to Concatenated Graph Codes [0.6606745253604263]
本稿では,ZX-calculusの強力なグラフィカル言語を用いて,グラフコードの連結について検討する。
解析の結果,同じ内部符号の符号化量子ビットが直接接続されていない場合にのみ,得られたコードはグラフコードのままであることが判明した。
本研究は, 量子誤差補正の分野を前進させるZX計算の可能性を示すものである。
論文 参考訳(メタデータ) (2023-04-17T15:24:28Z) - The Basis of Design Tools for Quantum Computing: Arrays, Decision
Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
量子コンピュータは、古典的コンピュータが決して起こらない重要な問題を効率的に解決することを約束する。
完全に自動化された量子ソフトウェアスタックを開発する必要がある。
この研究は、今日のツールの"内部"の外観を提供し、量子回路のシミュレーション、コンパイル、検証などにおいてこれらの手段がどのように利用されるかを示す。
論文 参考訳(メタデータ) (2023-01-10T19:00:00Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳(メタデータ) (2022-09-15T14:52:31Z) - From Quantum Graph Computing to Quantum Graph Learning: A Survey [86.8206129053725]
まず、量子力学とグラフ理論の相関関係について、量子コンピュータが有用な解を生成できることを示す。
本稿では,その実践性と適用性について,一般的なグラフ学習手法について概説する。
今後の研究の触媒として期待される量子グラフ学習のスナップショットを提供する。
論文 参考訳(メタデータ) (2022-02-19T02:56:47Z) - Circuit Extraction for ZX-diagrams can be #P-hard [0.0]
ZX-計算のいくつかの応用は、ZX-ダイアグラムを同等の大きさの量子回路に効率的に変換できることに依存している。
本稿では、回路抽出問題は#P-hardであり、量子回路の強いシミュレーションのように、それ自体が困難であることを示す。
論文 参考訳(メタデータ) (2022-02-18T13:50:24Z) - Resource Optimisation of Coherently Controlled Quantum Computations with
the PBS-calculus [55.2480439325792]
量子計算のコヒーレント制御は、いくつかの量子プロトコルやアルゴリズムを改善するために使用できる。
我々は、量子光学にインスパイアされたコヒーレント制御のためのグラフィカル言語PBS計算を洗練する。
論文 参考訳(メタデータ) (2022-02-10T18:59:52Z) - Benchmarking Small-Scale Quantum Devices on Computing Graph Edit
Distance [52.77024349608834]
グラフ編集距離(GED: Graph Edit Distance)は、2つのグラフ間の(異なる)相似性の度合いを測定する。
本稿では、GED計算における2つの量子アプローチの比較研究について述べる。
論文 参考訳(メタデータ) (2021-11-19T12:35:26Z) - Diagrammatic Differentiation for Quantum Machine Learning [0.19336815376402716]
位相パラメータに関して線形写像の勾配を図式的に計算する方法を示す。
パラメトリス量子回路の図では、よく知られたパラメータシフト規則が得られる。
次に,本手法をハイブリッド古典量子回路の自動微分に拡張する。
論文 参考訳(メタデータ) (2021-03-14T16:04:56Z) - Graphical Language with Delayed Trace: Picturing Quantum Computing with
Finite Memory [0.0]
本稿では,任意のグラフィカル言語を拡張し,捨てという概念を有限メモリ計算のグラフィカル言語に拡張する一般的な構成について述べる。
選択後の量子力学のために完備なZX計算のようなケースを扱うために、遅延トレース形式を因果的ケースを超えて拡張する。
我々は、ステートフルな射列に基づくストリームセマンティクスを設計し、いくつかの仮定の下で普遍性と完全性を示す。
論文 参考訳(メタデータ) (2021-02-05T12:23:11Z) - PBS-Calculus: A Graphical Language for Coherent Control of Quantum
Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。
我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。
我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文 参考訳(メタデータ) (2020-02-21T16:15:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。