論文の概要: Quantum and classical registers
- arxiv url: http://arxiv.org/abs/2105.10914v2
- Date: Thu, 11 Nov 2021 18:11:06 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-30 01:19:53.220294
- Title: Quantum and classical registers
- Title(参考訳): 量子レジスタと古典レジスタ
- Authors: Dominique Unruh
- Abstract要約: 命令型プログラムに「登録」の一般的な理論を示す。
古典的および量子的な設定でインスタンス化する。
我々の定式化は定理証明器の定式化に適することを意図している。
- 参考スコア(独自算出の注目度): 0.609170287691728
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present a generic theory of "registers" in imperative programs and
instantiate it in the classical and quantum setting. Roughly speaking, a
register is some mutable part of the program state. Mutable classical variables
and quantum registers and wires in quantum circuits are examples of this.
However, registers in our setting can also refer to subparts of other
registers, or combinations of parts from different registers, or quantum
registers seen in a different basis, etc. Our formalization is intended to be
well suited for formalization in theorem provers and as a foundation for
modeling quantum/classical variables in imperative programs.
We study the quantum registers in greater detail and cover the
infinite-dimensional case as well.
We implemented a large part of our results (including a minimal quantum Hoare
logic and an analysis of quantum teleportation) in the Isabelle/HOL theorem
prover.
- Abstract(参考訳): 命令型プログラムで「登録」の一般的な理論を提示し、古典的および量子的設定でインスタンス化する。
大まかに言えば、レジスタはプログラム状態の可変部分である。
ミュータブルな古典変数や量子レジスタ、量子回路のワイヤなどがその例である。
しかし、我々の設定のレジスタは、他のレジスタのサブパート、異なるレジスタの部品の組み合わせ、異なるベースで見られる量子レジスタなどを参照することもできる。
我々の形式化は、定理プローバーの形式化や命令型プログラムにおける量子/古典変数のモデル化の基盤として適当である。
我々は量子レジスタをより詳細に研究し、無限次元の場合もカバーする。
我々はIsabelle/HOL定理証明器に結果の大部分(最小量子ホア論理と量子テレポーテーションの解析を含む)を実装した。
関連論文リスト
- 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) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳(メタデータ) (2022-05-26T20:32:36Z) - Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum
Programs [1.1878820609988696]
量子変数を持つ一階述語論理は、量子プログラムの様々な性質を特定し、推論するためのアサーション言語として必要とされる。
本稿では,Birkhoff-von Neumann量子論理を量子変数上の普遍的および存在的量子化器を用いて一階拡張する。
論文 参考訳(メタデータ) (2022-05-04T08:57:44Z) - Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene
Algebra [11.078562853984211]
クリーネ代数に基づく古典的プログラム解析の成功に触発された量子プログラムの推論について検討する。
等等法則や古典的テストの優れた性質を含むKATの重要な特徴は、量子プログラムの文脈において保持されない。
本論文は,NKAの完全・音声意味モデルを特定するための自然な代替案として,NKA(Non-idempotent Kleene Algebra)を提案する。
論文 参考訳(メタデータ) (2021-10-13T20:27:01Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。
本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。
アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文 参考訳(メタデータ) (2021-10-04T12:20:23Z) - The Logic of Quantum Programs [77.34726150561087]
本稿では,量子プログラムにおける情報フローの論理計算について述べる。
特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
論文 参考訳(メタデータ) (2021-09-14T16:08:37Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Quantum walk processes in quantum devices [55.41644538483948]
グラフ上の量子ウォークを量子回路として表現する方法を研究する。
提案手法は,量子ウォークアルゴリズムを量子コンピュータ上で効率的に実装する方法である。
論文 参考訳(メタデータ) (2020-12-28T18:04:16Z) - Quantum Hoare logic with classical variables [3.1181601933418897]
古典変数と量子変数の両方を含む簡単な時相言語に対して量子ホア論理を提案する。
古典量子状態とそれに対応するアサーションの新たな定義により、論理体系は非常に単純であり、古典的プログラムの伝統的なホア論理と類似している。
論文 参考訳(メタデータ) (2020-08-15T23:56:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。