論文の概要: Graphical Language with Delayed Trace: Picturing Quantum Computing with
Finite Memory
- arxiv url: http://arxiv.org/abs/2102.03133v2
- Date: Wed, 28 Apr 2021 16:03:54 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-12 11:48:25.586306
- Title: Graphical Language with Delayed Trace: Picturing Quantum Computing with
Finite Memory
- Title（参考訳）: 遅延トレースを持つグラフィカル言語:有限メモリによる量子コンピューティング
- Authors: Titouan Carette, Marc de Visme and Simon Perdrix
- Abstract要約: 本稿では,任意のグラフィカル言語を拡張し,捨てという概念を有限メモリ計算のグラフィカル言語に拡張する一般的な構成について述べる。
選択後の量子力学のために完備なZX計算のようなケースを扱うために、遅延トレース形式を因果的ケースを超えて拡張する。
我々は、ステートフルな射列に基づくストリームセマンティクスを設計し、いくつかの仮定の下で普遍性と完全性を示す。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Graphical languages, like quantum circuits or ZX-calculus, have been
successfully designed to represent (memoryless) quantum computations acting on
a finite number of qubits. Meanwhile, delayed traces have been used as a
graphical way to represent finite-memory computations on streams, in a
classical setting (cartesian data types). We merge those two approaches and
describe a general construction that extends any graphical language, equipped
with a notion of discarding, to a graphical language of finite memory
computations. In order to handle cases like the ZX-calculus, which is complete
for post-selected quantum mechanics, we extend the delayed trace formalism
beyond the causal case, refining the notion of causality for stream
transformers. We design a stream semantics based on stateful morphism sequences
and, under some assumptions, show universality and completeness results.
Finally, we investigate the links of our framework with previous works on
cartesian data types, signal flow graphs, and quantum channels with memories.
- Abstract（参考訳）: 量子回路やZX計算のようなグラフィカル言語は、有限個の量子ビットに作用する(メモリレス)量子計算を表現するように設計されている。
一方、遅延トレースは、ストリーム上の有限メモリ計算を古典的な設定(カルテ的データ型)で表現するためのグラフィカルな方法として使われてきた。
これら2つのアプローチをマージして,破棄の概念を備えたグラフィカル言語を有限メモリ計算のグラフィカル言語に拡張する一般的な構成を記述する。
選択後の量子力学のために完備なZX計算のようなケースを扱うために、遅延トレース形式を因果的ケースを超えて拡張し、ストリームトランスフォーマーの因果性の概念を洗練する。
ストリームセマンティクスをステートフルな射列に基づいて設計し,いくつかの仮定の下で普遍性と完全性を示す。
最後に,先行研究であるデカルト型データ型,信号フローグラフ,記憶付き量子チャネルとのリンクについて検討した。
関連論文リスト
- Fast classical simulation of quantum circuits via parametric rewriting in the ZX-calculus [0.0]
ZX-計算(ZX-calculus)は、数個の簡単な書き換え規則によって量子計算を単純化する代数形式である。
高速なGPU並列性を利用して古典シミュレーションの最終段階を迅速に行うことが可能であることを示す。
論文 参考訳（メタデータ） (2024-03-11T14:44:59Z) - Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of
Quantum Computing [0.0]
ここでは、フォーマリズム「Sum-Over-Paths」の新たな書き直し規則について述べる。
量子力学の最も単純な普遍的な断片である "Toffoli-Hadamard" に対して完備であることを示す。
また、任意の項の和と連結を行う方法を示す。
論文 参考訳（メタデータ） (2023-07-26T14:40:21Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳（メタデータ） (2022-09-15T14:52:31Z) - Encoding High-level Quantum Programs as SZX-diagrams [0.0]
本稿では,線形依存型であるProto-Quipper-D言語のフラグメントに実装された量子プログラムを,SZX-ダイアグラムの族として符号化する手法を提案する。
翻訳可能なProto-Quipper-Dプログラムのサブセットを定義し,プログラムのサイズに応じて線形に成長するダイアグラムとして非自明なアルゴリズムを符号化可能であることを示す。
論文 参考訳（メタデータ） (2022-06-19T10:52:19Z) - From Quantum Graph Computing to Quantum Graph Learning: A Survey [86.8206129053725]
まず、量子力学とグラフ理論の相関関係について、量子コンピュータが有用な解を生成できることを示す。
本稿では,その実践性と適用性について,一般的なグラフ学習手法について概説する。
今後の研究の触媒として期待される量子グラフ学習のスナップショットを提供する。
論文 参考訳（メタデータ） (2022-02-19T02:56:47Z) - GNNAutoScale: Scalable and Expressive Graph Neural Networks via
Historical Embeddings [51.82434518719011]
GNNAutoScale(GAS)は、任意のメッセージパスGNNを大規模グラフにスケールするためのフレームワークである。
ガスは、前回のトレーニングの繰り返しから過去の埋め込みを利用して計算グラフのサブツリー全体を掘り起こします。
ガスは大規模グラフ上で最先端のパフォーマンスに達する。
論文 参考訳（メタデータ） (2021-06-10T09:26:56Z) - High-performance symbolic-numerics via multiple dispatch [52.77024349608834]
Symbolics.jlは拡張可能なシンボルシステムで、動的多重ディスパッチを使用してドメインのニーズに応じて振る舞いを変更する。
実装に依存しないアクションでジェネリックapiを形式化することで、システムに最適化されたデータ構造を遡及的に追加できることを示します。
従来の用語書き換えシンプリファイアと電子グラフベースの用語書き換えシンプリファイアをスワップする機能を実証する。
論文 参考訳（メタデータ） (2021-05-09T14:22:43Z) - Quantum Algorithms and Oracles with the Scalable ZX-calculus [0.0]
スケーラブルなZX計算は、量子アルゴリズムを記述・証明するための形式的で直感的でコンパクトなフレームワークを提供する。
Deutsch-Jozsa、Bernstein-Vazirani、Simon、Groverアルゴリズム。
論文 参考訳（メタデータ） (2021-04-02T13:27:48Z) - Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。
適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文 参考訳（メタデータ） (2021-02-09T13:48:00Z) - Graphical Calculi and their Conjecture Synthesis [0.0]
この論文は、図形学と代数幾何学やガロア理論のような分野の間の新しいリンクを鍛える際に、そのような推論と検証の枠組みを導入している。
計算 RING は環をベースとした四角形電卓の中では初期であり、相準同型ペアの導入と分類にもインスピレーションを与えている。
2つ目は、ZX の (EU) のような非線形規則の必要性を排除し、任意の量子ビット回転を自然に表現するエッジデコレーションされた電卓 ZQ である。
論文 参考訳（メタデータ） (2020-10-08T11:54:44Z) - PBS-Calculus: A Graphical Language for Coherent Control of Quantum
Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。
我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。
我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文 参考訳（メタデータ） (2020-02-21T16:15:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。