論文の概要: Gottesman Types for Quantum Programs
- arxiv url: http://arxiv.org/abs/2109.02197v1
- Date: Mon, 6 Sep 2021 01:02:01 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-16 01:07:06.415863
- Title: Gottesman Types for Quantum Programs
- Title(参考訳): 量子プログラムのためのgottesman型
- Authors: Robert Rand (University of Chicago), Aarthi Sundaram (Microsoft
Quantum), Kartik Singhal (University of Chicago), Brad Lackey (Microsoft
Quantum and University of Maryland)
- Abstract要約: 量子プログラムに対するゴッテスマンの意味論は型システムとして扱うことができることを示す。
また、Clifford集合を超えて拡張して、幅広いプログラムを部分的に特徴付けることも示している。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The Heisenberg representation of quantum operators provides a powerful
technique for reasoning about quantum circuits, albeit those restricted to the
common (non-universal) Clifford set H, S and CNOT. The Gottesman-Knill theorem
showed that we can use this representation to efficiently simulate Clifford
circuits. We show that Gottesman's semantics for quantum programs can be
treated as a type system, allowing us to efficiently characterize a common
subset of quantum programs. We also show that it can be extended beyond the
Clifford set to partially characterize a broad range of programs. We apply
these types to reason about separable states and the superdense coding
algorithm.
- Abstract(参考訳): 量子作用素のハイゼンベルク表現は、共通(ユニバーサルでない)クリフォード集合 H, S, CNOT に制限されるものの、量子回路について推論する強力な技術を提供する。
Gottesman-Knillの定理は、この表現を使ってクリフォード回路を効率的にシミュレートできることを示した。
量子プログラムのセマンティクスは型システムとして扱うことができ、量子プログラムの共通部分集合を効率的に特徴づけることができることを示す。
また、clifford セットを超えて拡張でき、幅広いプログラムを部分的に特徴付けることができることを示した。
これらの型を分離可能な状態とスーパーデンス符号化アルゴリズムの推論に適用する。
関連論文リスト
- Quantum Recursive Programming with Quantum Case Statements [8.320147245667124]
このような量子再帰をサポートするための単純なプログラミング言語が定義される。
いくつかの量子アルゴリズムがエレガントに量子再帰プログラムとして書けることを示す一連の例を示す。
論文 参考訳(メタデータ) (2023-11-03T05:44:52Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Iterative Qubit Coupled Cluster using only Clifford circuits [52.77024349608834]
クリフォード回路のみを用いる反復量子結合クラスタ (iQCC) の変種に着目した。
この方法は、優れた初期パラメータを生成するため、短期変動量子アルゴリズムの応用に有用である。
NISQ時代を超えて、短い深さのクリフォード事前最適化回路を作るのにも有用かもしれない。
論文 参考訳(メタデータ) (2022-11-18T20:31:10Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳(メタデータ) (2022-05-26T20:32:36Z) - Towards a SAT Encoding for Quantum Circuits: A Journey From Classical
Circuits to Clifford Circuits and Beyond [3.610459670994051]
任意の量子回路に適用可能な命題SAT符号化を提案する。
量子状態を表現することの本質的な複雑さのため、そのようなエンコーディングを構築することは一般には不可能である。
提案手法がClifford回路のクラスにどのように適用できるかを明確に示す。
論文 参考訳(メタデータ) (2022-03-01T19:00:02Z) - Quantum Hoare Type Theory: Extended Abstract [0.0]
量子コンピューティングでは、フォーマルな検証と音質の静的型システムによって、いくつかのバグが導入されるのを防ぐ。
プログラム仕様として機能する事前条件と後条件をインデックス化してQuantum IO Monadを拡張することで、Quantum Hoare Typesを提案する。
QHTTは、量子プログラムのプログラミング、特定、推論のための統一されたシステムになる可能性を持っている。
論文 参考訳(メタデータ) (2021-09-06T01:02:20Z) - Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
大規模部分量子コヒーレント系の基本パラメータの無次元結合について論じる。
解析的および数値計算に基づいて、断熱進化中の量子ビット系に対して、そのような数を提案する。
論文 参考訳(メタデータ) (2021-08-30T23:50:05Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Imaginary Time Propagation on a Quantum Chip [50.591267188664666]
想像時間における進化は、量子多体系の基底状態を見つけるための顕著な技術である。
本稿では,量子コンピュータ上での仮想時間伝搬を実現するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2021-02-24T12:48:00Z) - Quantum Simulation of Light-Front Parton Correlators [0.0]
高エネルギー衝突子の物理学は、非摂動パルトン相関子の知識に依存している。
本稿では,これらの種類の相関器の量子シミュレーションを行う量子アルゴリズムを提案する。
論文 参考訳(メタデータ) (2020-11-02T19:38:33Z) - Classical Coding Approaches to Quantum Applications [2.5382095320488665]
深宇宙光通信では、純状態量子チャネルの電流受信機がまず各キュービットチャネルの出力を測定し、古典的にその測定を後処理する。
本論文では, 古典的信念伝達アルゴリズムに触発された近年提案された量子アルゴリズムについて考察する。
提案アルゴリズムは各ビットに対して最適であり,全送信メッセージを決定する際に最適な性能が得られることを示す。
論文 参考訳(メタデータ) (2020-04-14T23:31:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。