Fugu-MT 論文翻訳(概要): Symbolic Reasoning about Quantum Circuits in Coq

論文の概要: 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で自動化されるのに適している。

関連論文リスト

Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
本稿では,量子リード・ミュラー符号(RM)のゲートを,古典的特性を利用して特徴付けることを目的とする。 RM符号のための安定化器生成器のセットは、特定の次元のサブキューブに作用する$X$と$Z$演算子によって記述することができる。
論文参考訳（メタデータ） (2024-10-10T04:07:24Z)
Efficient conversion from fermionic Gaussian states to matrix product states [48.225436651971805]
フェミオンガウス状態から行列積状態に変換する高効率なアルゴリズムを提案する。翻訳不変性のない有限サイズ系に対しては定式化できるが、無限系に適用すると特に魅力的になる。この手法のポテンシャルは、2つのキラルスピン液体の数値計算によって示される。
論文参考訳（メタデータ） (2024-08-02T10:15:26Z)
Quantum sampling algorithms for quantum state preparation and matrix block-encoding [0.0]
まず、量子状態 $|psi_frangle propto sumN_x=1 f(x)|xrangle$ を作成するQRSに基づくアルゴリズムを提案する。次に、QRSの手法を行列ブロック符号化問題に適用し、与えられた行列をブロック符号化するためのQRSベースのアルゴリズムを、与えられた行列の和 A = sum_ij A_ij |irangle langle j|$ で導入する。
論文参考訳（メタデータ） (2024-05-19T03:46:11Z)
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)
Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文参考訳（メタデータ） (2021-06-06T13:15:25Z)
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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。