論文の概要: Conjugate Logic
- arxiv url: http://arxiv.org/abs/2102.06572v4
- Date: Thu, 16 Dec 2021 19:55:55 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-11 08:08:37.220444
- Title: Conjugate Logic
- Title（参考訳）: 共役論理
- Authors: Niklas Johansson, Felix Huber, Jan-{\AA}ke Larsson
- Abstract要約: 本稿では,量子および量子様系の挙動を捉える共役論理を提案する。
提案された論理は、命題と接続を含むそれらの関係を含む。
重要なポイントは、単一システムに関する命題をシステム間の相関に関する命題に変換する変換を追加することである。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We propose a conjugate logic that can capture the behavior of quantum and
quantum-like systems. The proposal is similar to the more generic concept of
epistemic logic: it encodes knowledge or perhaps more correctly, predictions
about outcomes of future observations on some systems. For a quantum system,
these predictions are statements about future outcomes of measurements
performed on specific degrees of freedom of the system. The proposed logic will
include propositions and their relations including connectives, but importantly
also transformations between propositions on conjugate degrees of freedom of
the systems. A key point is the addition of a transformation that allows to
convert propositions about single systems into propositions about correlations
between systems. We will see that subtle choices of the properties of the
transformations lead to drastically different underlying mathematical models;
one choice gives stabilizer quantum mechanics, while another choice gives
Spekkens' toy theory. This points to a crucial basic property of quantum and
quantum-like systems that can be handled within the present conjugate logic by
adjusting the mentioned choice. It also enables a discussion on what behaviors
are properly quantum or only quantum-like, relating to that choice and how it
manifests in the system under scrutiny.
- Abstract（参考訳）: 本稿では,量子および量子様系の挙動を捉える共役論理を提案する。
この提案は、いくつかのシステムにおける将来の観察結果に関する知識またはより正確に予測を符号化する、より一般的な認識論理の概念と似ている。
量子系では、これらの予測は、システムの特定の自由度で行われた測定の将来の結果に関する記述である。
提案された論理は、命題と結合を含む関係を含むが、システムの自由度を共役する命題間の変換も重要である。
重要なポイントは、単一システムに関する命題をシステム間の相関に関する命題に変換する変換を追加することである。
変換の性質の微妙な選択は、基礎となる数学的モデルと大きく異なるものへとつながり、ある選択は安定化量子力学を与え、別の選択はスペケンズのおもちゃ理論を与える。
これは、上記の選択を調整して現在の共役論理内で処理できる量子系および量子系の基本特性を示す。
また、振る舞いが適切に量子的であるか、あるいは量子的だけであるのか、その選択と、それが監視下でシステムでどのように現れるのかを議論することができる。
関連論文リスト
- A new indeterminacy-based quantum theory [0.0]
環境決定性に基づく量子理論(EnDQT)の新たな解釈を提案する。
自然崩壊理論のような理論とは異なり、量子論の基本方程式の修正は、決定的な値が生じる際には必要とされない。
EnDQTは、物理学の他の分野や宇宙論などの基礎への支払いを提供することができる。
論文 参考訳（メタデータ） (2023-10-06T04:05:38Z) - Variational Embeddings for Many Body Quantum Systems [0.0]
我々は、量子デバイスを高精度の解法として、関連する自由度に組み込む方法を示す。
スピン鎖および小分子に対するプロトコルの有効性を実証する。
論文 参考訳（メタデータ） (2023-09-15T18:00:05Z) - Universality of critical dynamics with finite entanglement [68.8204255655161]
臨界近傍の量子系の低エネルギー力学が有限絡みによってどのように変化するかを研究する。
その結果、時間依存的臨界現象における絡み合いによる正確な役割が確立された。
論文 参考訳（メタデータ） (2023-01-23T19:23:54Z) - Quantum Mechanics as a Theory of Incompatible Symmetries [77.34726150561087]
古典確率論が非互換変数を持つ任意の系を含むように拡張可能であることを示す。
非互換な変数を持つ確率的システム(古典的あるいは量子的)が不確実性だけでなく、その確率パターンにも干渉することを示す。
論文 参考訳（メタデータ） (2022-05-31T16:04:59Z) - A free energy principle for generic quantum systems [0.0]
本稿では、一般的な量子系を観察者と見なす方法を示し、選択の自由度を基準として、意味論を観察結果に割り当てることのできるエージェントとなる。
生体系は計算資源として量子コヒーレンスを用い, 暗黙的に通信資源として利用することが示唆された。
論文 参考訳（メタデータ） (2021-12-30T23:34:04Z) - 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) - Quantum indistinguishability through exchangeable desirable gambles [69.62715388742298]
2つの粒子は、スピンや電荷のような固有の性質がすべて同じである場合、同一である。
量子力学は、エージェントが主観的信念を(一貫性のある)ギャンブルの集合として表すように導く規範的かつアルゴリズム的な理論と見なされる。
測定結果から交換可能な可観測物(ギャンブル)の集合をどのように更新するかを示し、不明瞭な粒子系の絡み合いを定義する問題について論じる。
論文 参考訳（メタデータ） (2021-05-10T13:11:59Z) - Sensing quantum chaos through the non-unitary geometric phase [62.997667081978825]
量子カオスを検知するデコヒーレント機構を提案する。
多体量子系のカオス的性質は、それが結合したプローブの長時間の力学においてシステムが生成する意味を研究することによって知覚される。
論文 参考訳（メタデータ） (2021-04-13T17:24:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。