論文の概要: A substructural logic for quantum measurements
- arxiv url: http://arxiv.org/abs/2212.02833v2
- Date: Tue, 18 Jul 2023 13:21:50 GMT
- ステータス: 処理完了
- システム内更新日: 2023-07-19 19:26:18.105150
- Title: A substructural logic for quantum measurements
- Title(参考訳): 量子計測のための構造論理
- Authors: Daniel Lehmann
- Abstract要約: 本稿では、非常に制限された交換規則と弱化規則を持つシーケントのサブ構造論理について述べる。
量子系の測定のシーケンスに関して、これは健全である。
- 参考スコア(独自算出の注目度): 1.8782750537161614
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper presents a substructural logic of sequents with very restricted
exchange and weakening rules. It is sound with respect to sequences of
measurements of a quantic system. A sound and complete semantics is provided.
The semantic structures include a binary relation that expresses orthogonality
between elements and enables the definition of an operation that generalizes
the projection operation in Hilbert spaces. The language has a unitary
connective, a sort of negation, and two dual binary connectives that are
neither commutative nor associative, sorts of conjunction and disjunction. This
provides a logic for quantum measurements whose proof theory is aesthetically
pleasing.
- Abstract(参考訳): 本稿では,非常に制限された交換規則と弱化規則を持つシークエントのサブストラクショナル論理を提案する。
量子系の測定のシーケンスに関して、これは健全である。
音と完全な意味論が提供されている。
意味構造は、要素間の直交を表現し、ヒルベルト空間における射影演算を一般化する演算の定義を可能にする二項関係を含む。
この言語はユニタリ接続、一種の否定、2つの双対結合を持ち、可換的でも連想的でも、ある種の結合と解離でもない。
これは、証明理論が美学的に喜ばしい量子測定の論理を提供する。
関連論文リスト
- Quantum and Reality [0.0]
等変ホモトピー理論の原理に根ざしたエルミティシティの自然発生について述べる。
このエルミート形式の構成は、周囲線型型理論をテンソル単位型の負の単位項以上に必要としない。
LHoTTに埋め込まれた量子言語における量子ゲートと量子チャネルのユニタリティの符号化(および検証)を可能にする方法を示す。
論文 参考訳(メタデータ) (2023-11-18T11:00:12Z) - Quantum Bayesian Inference in Quasiprobability Representations [0.0]
ベイズの法則は情報や物理科学においても重要な論理的推論を担っている。
ベイズの規則の量子バージョンはヒルベルト空間の言語で表現されている。
論文 参考訳(メタデータ) (2023-01-05T08:16:50Z) - Unifying different notions of quantum incompatibility into a strict
hierarchy of resource theories of communication [60.18814584837969]
我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。
我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
論文 参考訳(メタデータ) (2022-11-16T21:33:31Z) - Quantum networks theory [0.0]
離散系上の量子論の定式化は、2つの重要な方法で拡張される。
テンソルとトレースアウトは一般化され、ほぼ任意の論理述語に従ってシステムを分割できる。
量子進化はネットワークの構成に 乗り越えるために一般化されます
論文 参考訳(メタデータ) (2021-10-20T14:29:47Z) - 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) - A natural deduction system for orthomodular logic [0.0]
オルトモジュラ論理(オルトモジュラりょう、英: Orthomodular logic)は、バーコフとフォン・ノイマンの意味での量子論理の弱化である。
非線形非可換論理である。
これは述語論理の2つの系に拡張される: 1つはタケウティの量子集合論のための音、もう1つはウィーバーの量子論理の変種に対する音である。
論文 参考訳(メタデータ) (2021-09-11T22:28:17Z) - Comment on "Strong Quantum Darwinism and Strong Independence are
Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。
我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
論文 参考訳(メタデータ) (2021-01-21T16:06:25Z) - Quantum logics close to Boolean algebras [0.0]
対称的な相違が与えられた正方形ポゼットを考える。
我々は、XOR型接続型量子論理を考える。
ここで追求された直交的なポーズは、任意に高い非可逆性を持つ可能性を持っていることに留意する。
論文 参考訳(メタデータ) (2021-01-14T08:48:44Z) - Sub-bosonic (deformed) ladder operators [62.997667081978825]
ファジィネスという厳密な概念から派生した変形生成および消滅作用素のクラスを提示する。
これにより変形し、ボゾン準可換関係は、修正された退化エネルギーとフォック状態を持つ単純な代数構造を誘導する。
さらに、量子論において導入された形式論がもたらす可能性について、例えば、自由準ボソンの分散関係における線型性からの偏差について検討する。
論文 参考訳(メタデータ) (2020-09-10T20:53:58Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。
プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文 参考訳(メタデータ) (2020-06-03T17:54:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。