Fugu-MT 論文翻訳(概要): A substructural logic for quantum measurements

論文の概要: 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つの双対結合を持ち、可換的でも連想的でも、ある種の結合と解離でもない。これは、証明理論が美学的に喜ばしい量子測定の論理を提供する。

関連論文リスト

Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
本稿では,量子リード・ミュラー符号(RM)のゲートを,古典的特性を利用して特徴付けることを目的とする。 RM符号のための安定化器生成器のセットは、特定の次元のサブキューブに作用する$X$と$Z$演算子によって記述することができる。
論文参考訳（メタデータ） (2024-10-10T04:07:24Z)
Quantum information recast via multiresolution in $L_2(0,1]$ [0.0]
本稿では,量子情報理論に対する多分解能アプローチを提案する。これは、無限個の量子ビットの配列を解析するための体系的な数学的アプローチを開発する努力から生まれた。
論文参考訳（メタデータ） (2024-07-10T20:05:51Z)
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)
Sub-bosonic (deformed) ladder operators [62.997667081978825]
ファジィネスという厳密な概念から派生した変形生成および消滅作用素のクラスを提示する。これにより変形し、ボゾン準可換関係は、修正された退化エネルギーとフォック状態を持つ単純な代数構造を誘導する。さらに、量子論において導入された形式論がもたらす可能性について、例えば、自由準ボソンの分散関係における線型性からの偏差について検討する。
論文参考訳（メタデータ） (2020-09-10T20:53:58Z)

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