論文の概要: Symbolic Reasoning about Quantum Circuits in Coq
- arxiv url: http://arxiv.org/abs/2005.11023v4
- Date: Tue, 21 Dec 2021 08:13:19 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-19 01:43:32.229121
- Title: Symbolic Reasoning about Quantum Circuits in Coq
- Title(参考訳): Coqにおける量子回路のシンボリック推論
- Authors: Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang and Yuan Feng
- Abstract要約: 量子回路 (quantum circuit) は、入力量子状態を出力状態に変換する計算単位である。
本稿では,量子回路の推論に対するシンボリックアプローチを提案する。
- 参考スコア(独自算出の注目度): 2.065777667168023
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A quantum circuit is a computational unit that transforms an input quantum
state to an output one. A natural way to reason about its behavior is to
compute explicitly the unitary matrix implemented by it. However, when the
number of qubits increases, the matrix dimension grows exponentially and the
computation becomes intractable.
In this paper, we propose a symbolic approach to reasoning about quantum
circuits. It is based on a small set of laws involving some basic manipulations
on vectors and matrices. This symbolic reasoning scales better than the
explicit one and is well suited to be automated in Coq, as demonstrated with
some typical examples.
- Abstract(参考訳): 量子回路(quantum circuit)は、入力量子状態から出力状態に変換する計算単位である。
振る舞いを推論する自然な方法は、それによって実装されたユニタリ行列を明示的に計算することである。
しかし、量子ビット数が増加すると行列次元は指数関数的に増大し、計算は難解になる。
本稿では,量子回路を推論するシンボリックアプローチを提案する。
これはベクトルや行列の基本的な操作を含む小さな法則の集合に基づいている。
このシンボリック推論は、明示的な推論よりもスケールが良く、典型的な例で示されるように、coqで自動化されるのに適している。
関連論文リスト
- Polynomial-depth quantum algorithm for computing matrix determinant [49.494595696663524]
正方行列の行列式を計算するアルゴリズムを提案し,それを実現する量子回路を構築する。
行列の各行は、ある量子系の純粋な状態として符号化される。
したがって、認められた行列はこれらの系の量子状態の正規化まで任意である。
論文 参考訳(メタデータ) (2024-01-29T23:23:27Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳(メタデータ) (2022-09-15T14:52:31Z) - A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。
2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文 参考訳(メタデータ) (2022-06-21T17:56:31Z) - FABLE: Fast Approximate Quantum Circuits for Block-Encodings [0.0]
行列のブロック符号化のための近似量子回路を高速に生成するFABLEを提案する。
FABLE回路は単純な構造であり、1ビットと2ビットのゲートで直接定式化されている。
FABLE回路は圧縮・スパシファイド可能であることを示す。
論文 参考訳(メタデータ) (2022-04-29T21:06:07Z) - Quantum Circuits in Additive Hilbert Space [0.0]
従来の回路を加法空間でどのように表現し、どのように回収するかを示す。
特にフォーマリズムでは、低レベル回路分解から高レベルな多重制御プリミティブを合成することができる。
我々の定式化はまた、回路のような図式表現を受け入れ、量子計算の斬新でシンプルな解釈を提案する。
論文 参考訳(メタデータ) (2021-11-01T19:05:41Z) - The Logic of Quantum Programs [77.34726150561087]
本稿では,量子プログラムにおける情報フローの論理計算について述べる。
特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
論文 参考訳(メタデータ) (2021-09-14T16:08:37Z) - Quantum walk processes in quantum devices [55.41644538483948]
グラフ上の量子ウォークを量子回路として表現する方法を研究する。
提案手法は,量子ウォークアルゴリズムを量子コンピュータ上で効率的に実装する方法である。
論文 参考訳(メタデータ) (2020-12-28T18:04:16Z) - Quantum Garbled Circuits [9.937090317971313]
我々は、与えられた量子回路と量子入力のエンコーディングの計算方法を示し、そこから計算の出力を導出することができる。
我々のプロトコルは、いわゆる$Sigma$フォーマットで、シングルビットチャレンジがあり、入力を最終ラウンドまで遅らせることができる。
論文 参考訳(メタデータ) (2020-06-01T17:07:01Z) - Quantum Gram-Schmidt Processes and Their Application to Efficient State
Read-out for Quantum Algorithms [87.04438831673063]
本稿では、生成した状態の古典的ベクトル形式を生成する効率的な読み出しプロトコルを提案する。
我々のプロトコルは、出力状態が入力行列の行空間にある場合に適合する。
我々の技術ツールの1つは、Gram-Schmidt正則手順を実行するための効率的な量子アルゴリズムである。
論文 参考訳(メタデータ) (2020-04-14T11:05:26Z) - Parallel Quantum Simulation of Large Systems on Small Quantum Computers [0.2348805691644085]
NISQネットワークは計算と絡み合いの資源をヒルベルト空間の興味深い領域に集中させる。
無限の変換不変行列積状態(iMPS)アルゴリズムを有限深度量子回路マシンに変換するCirqおよびQiskit符号を提供する。
達成可能な回路サイズに対するこれらの符号の図示的シミュレート出力を与える。
論文 参考訳(メタデータ) (2020-03-26T18:05:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。