論文の概要: Encoding High-level Quantum Programs as SZX-diagrams
- arxiv url: http://arxiv.org/abs/2206.09376v2
- Date: Thu, 16 Nov 2023 11:40:34 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-18 01:17:03.566916
- Title: Encoding High-level Quantum Programs as SZX-diagrams
- Title（参考訳）: SZXダイアグラムによる高レベル量子プログラムの符号化
- Authors: Augustin Borgna (Universit\'e de Lorraine, Universit\'e Paris-Saclay),
Rafael Romero (Universidad de Buenos Aires, Universidad de la
Rep\'ublica-MEC)
- 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プログラムのサブセットを定義し、プログラムのサイズで線形に成長するダイアグラムとして非自明なアルゴリズムをエンコードできることを示す。
関連論文リスト
- Hybrid Quantum-Classical Machine Learning with String Diagrams [49.1574468325115]
本稿では,文字列ダイアグラムの観点からハイブリッドアルゴリズムを記述するための公式なフレームワークを開発する。
弦図の特筆すべき特徴は、量子古典的インタフェースに対応する関手ボックスの使用である。
論文 参考訳（メタデータ） (2024-07-04T06:37:16Z) - Optimizing ZX-Diagrams with Deep Reinforcement Learning [0.0]
我々は、ZX-ダイアグラムと強化学習を組み合わせ、意思決定問題において最適な行動列を求める。
エージェントのポリシを符号化するグラフニューラルネットワークを使用することで、トレーニングフェーズで見られるよりもはるかに大きなダイアグラムへの一般化が可能になる。
論文 参考訳（メタデータ） (2023-11-30T14:29:18Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。