Fugu-MT 論文翻訳(概要): Quantum circuits with classical channels and the principle of deferred measurements

論文の概要: Quantum circuits with classical channels and the principle of deferred measurements

arxiv url: http://arxiv.org/abs/2107.08324v1
Date: Sat, 17 Jul 2021 23:45:28 GMT
ステータス: 処理完了
システム内更新日: 2023-03-22 01:07:19.994951
Title: Quantum circuits with classical channels and the principle of deferred measurements
Title（参考訳）: 古典的チャネルを持つ量子回路と遅延測定の原理
Authors: Yuri Gurevich and Andreas Blass
Abstract要約: 回路ベースの量子アルゴリズムを定義し、意味論的に、そのようなアルゴリズムは基礎となる量子回路にのみ依存する単一の測定値と等価であることを示す。我々は、量子回路の形式化を利用して、正確に計算し、遅延測定の原理を証明する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We define syntax and semantics of quantum circuits, allowing measurement gates and classical channels. We define circuit-based quantum algorithms and prove that, semantically, any such algorithm is equivalent to a single measurement that depends only on the underlying quantum circuit. Finally, we use our formalization of quantum circuits to state precisely and prove the principle of deferred measurements.
Abstract（参考訳）: 量子回路の構文とセマンティクスを定義し、測定ゲートと古典チャネルを許容する。回路ベースの量子アルゴリズムを定義し、意味論的に、そのようなアルゴリズムは基礎となる量子回路にのみ依存する単一の測定値と等価であることを示す。最後に、量子回路の形式化を用いて、正確に計算し、遅延測定の原理を証明する。

関連論文リスト

Mapping quantum circuits to shallow-depth measurement patterns based on graph states [0.0]
我々は,測定に基づく量子コンピューティングのためのハイブリッドシミュレーション手法を開発した。完全可換作用素の群は完全並列、すなわち非適応的測定を用いて実装可能であることを示す。量子テレポーテーションを用いることで、そのような回路を一定の量子深さで実装する方法について議論する。
論文参考訳（メタデータ） (2023-11-27T19:00:00Z)
Symmetry-Based Quantum Circuit Mapping [2.51705778594846]
本稿では,量子プロセッサの固有対称性を利用する量子回路再マッピングアルゴリズムを提案する。このアルゴリズムは、対称性を用いて探索空間を制約し、全ての位相的に等価な回路マッピングを同定し、ベクトル計算を用いて各マッピングのスコアリングを高速化する。
論文参考訳（メタデータ） (2023-10-27T10:04:34Z)
Anticipative measurements in hybrid quantum-classical computation [68.8204255655161]
量子計算を古典的な結果によって補う手法を提案する。予測の利点を生かして、新しいタイプの量子測度がもたらされる。予測量子測定では、古典計算と量子計算の結果の組み合わせは最後にのみ起こる。
論文参考訳（メタデータ） (2022-09-12T15:47:44Z)
A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。 2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文参考訳（メタデータ） (2022-06-21T17:56:31Z)
Entanglement and Quantum Correlation Measures from a Minimum Distance Principle [0.0]
絡み合いと量子相関は、量子情報科学に基づく量子技術の実装のための重要な資源である。純粋あるいは混合多粒子状態の量子相関の度合いを定量化できる明示的な測度を導出する。我々の絡み合い尺度は、分離可能な状態の集合でのみ消滅するという意味では、テキストに忠実であることを証明する。
論文参考訳（メタデータ） (2022-05-14T22:18:48Z)
Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文参考訳（メタデータ） (2021-12-27T21:15:35Z)
Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文参考訳（メタデータ） (2021-07-05T17:45:41Z)
Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文参考訳（メタデータ） (2021-06-06T13:15:25Z)
Model Checking for Verification of Quantum Circuits [1.1878820609988696]
本稿では,量子回路のアサーションに基づく検証のためのフレームワークについて述べる。量子アサーションはバーホフ=ヴォン・ノイマン量子論理の時間拡張によって定義される。テンソルネットワークの縮約に基づいて,量子回路の到達可能性解析とモデル検査を行うアルゴリズムを開発した。
論文参考訳（メタデータ） (2021-04-23T00:43:37Z)
Algorithmic Primitives for Quantum-Assisted Quantum Control [1.52292571922932]
重なり合いと遷移行列時系列を評価するための2つの原始的アルゴリズムについて論じる。 NISQデバイスで実装可能な様々な量子支援量子制御アルゴリズムを構築するために使用される。
論文参考訳（メタデータ） (2020-11-27T15:20:29Z)
Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文参考訳（メタデータ） (2020-04-24T17:58:10Z)

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