論文の概要: 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 セットを超えて拡張でき、幅広いプログラムを部分的に特徴付けることができることを示した。 これらの型を分離可能な状態とスーパーデンス符号化アルゴリズムの推論に適用する。

関連論文リスト

• An explicit tensor notation for quantum computing [0.0]
  本稿では,量子計算の複雑さを記述することを目的としたフォーマリズムを紹介する。 焦点は、複数の量子ビットとそれらを操作する量子ゲートに対して、量子状態の包括的な表現を提供することである。
  論文  参考訳（メタデータ） (2024-09-16T17:21:17Z)
• Quantum channels, complex Stiefel manifolds, and optimization [45.9982965995401]
  我々は、量子チャネルの位相空間と複素スティーフェル多様体の商の間の連続性関係を確立する。 確立された関係は、様々な量子最適化問題に適用できる。
  論文  参考訳（メタデータ） (2024-08-19T09:15:54Z)
• Hybrid Quantum-Classical Machine Learning with String Diagrams [49.1574468325115]
  本稿では,文字列ダイアグラムの観点からハイブリッドアルゴリズムを記述するための公式なフレームワークを開発する。 弦図の特筆すべき特徴は、量子古典的インタフェースに対応する関手ボックスの使用である。
  論文  参考訳（メタデータ） (2024-07-04T06:37:16Z)
• On Classical Simulation of Quantum Circuits Composed of Clifford Gates [0.0]
  ゴッテマン・クニルの定理は、クリフォードゲートのみからなる量子回路は古典的に効率的にシミュレートできると主張している。 本研究では、ゴッテマン・クニルの定理のステップバイステップの手順を初心者フレンドリーな方法で分解する。
  論文  参考訳（メタデータ） (2024-05-22T12:36:15Z)
• Quantum Recursive Programming with Quantum Case Statements [8.320147245667124]
  このような量子再帰をサポートするための単純なプログラミング言語が定義される。 いくつかの量子アルゴリズムがエレガントに量子再帰プログラムとして書けることを示す一連の例を示す。
  論文  参考訳（メタデータ） (2023-11-03T05:44:52Z)
• 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)
• Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
  証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。 イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
  論文  参考訳（メタデータ） (2021-12-09T19:00:00Z)
• Quantum Hoare Type Theory: Extended Abstract [0.0]
  量子コンピューティングでは、フォーマルな検証と音質の静的型システムによって、いくつかのバグが導入されるのを防ぐ。 プログラム仕様として機能する事前条件と後条件をインデックス化してQuantum IO Monadを拡張することで、Quantum Hoare Typesを提案する。 QHTTは、量子プログラムのプログラミング、特定、推論のための統一されたシステムになる可能性を持っている。
  論文  参考訳（メタデータ） (2021-09-06T01:02:20Z)
• 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)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。