論文の概要: Quantum Set Theory: Transfer Principle and De Morgan's Laws
- arxiv url: http://arxiv.org/abs/2002.06692v4
- Date: Sat, 13 Feb 2021 02:08:53 GMT
- ステータス: 処理完了
- システム内更新日: 2023-06-03 13:09:53.049340
- Title: Quantum Set Theory: Transfer Principle and De Morgan's Laws
- Title(参考訳): 量子集合論:転送原理とド・モーガンの法則
- Authors: Masanao Ozawa
- Abstract要約: タケウティの量子集合論は、デ・モーガンの法則が普遍的および存在的有界な量子化器の間を保たないという問題を持っている。
ド・モーガンの法則を満たす有界量子化器に対する新しい真理値代入を導入する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws
play an important role in the projection-valued truth value assignment of
observational propositions in quantum mechanics. Takeuti's quantum set theory
extends this assignment to all the set-theoretical statements on the universe
of quantum sets. However, Takeuti's quantum set theory has a problem in that De
Morgan's Laws do not hold between universal and existential bounded
quantifiers. Here, we solve this problem by introducing a new truth value
assignment for bounded quantifiers that satisfies De Morgan's Laws. To justify
the new assignment, we prove the Transfer Principle, showing that this
assignment of a truth value to every bounded ZFC theorem has a lower bound
determined by the commutator, a projection-valued degree of commutativity, of
constants in the formula. We study the most general class of truth value
assignments and obtain necessary and sufficient conditions for them to satisfy
the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For
the class of assignments with polynomially definable logical operations, we
determine exactly 36 assignments that satisfy the Transfer Principle and
exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's
Laws.
- Abstract(参考訳): バーコフとフォン・ノイマンによって導入された量子論理学において、ド・モーガンの法則は量子力学における観測命題の射影値真理値割当てにおいて重要な役割を果たす。
タクーティの量子集合論は、この割り当てを量子集合の宇宙上のすべての集合論的ステートメントに拡張する。
しかし、タケウティの量子集合論は、デ・モーガンの法則が普遍的および存在的有界な量子化器の間を保たないという問題を持っている。
ここでは、ド・モーガンの法則を満たす有界量化器に対する新しい真理値代入を導入することで、この問題を解決する。
新しい割り当てを正当化するために、転送原理を証明し、任意の有界なzfc定理に対する真理値の割り当ては、その公式における定数の射影値の次数である可換子によって決定される下限を持つことを示す。
我々は、真理値割り当ての最も一般的なクラスを研究し、転送原理を満たし、ド・モーガンの法則を満たし、両方の条件を満たすために必要な十分な条件を得る。
多項式で定義可能な論理演算を持つ代入のクラスに対して、転送原理を満たす36個の代入と、転送原理とド・モーガンの法則の両方を満たす6個の代入を決定する。
関連論文リスト
- Quantum set theory: Equality and order of internal reals defined through different quantum conditionals [0.0]
量子論における実験的な概念の分析から条件の形式がどのように従うかを示す。
上記の条件のそれぞれについて、我々は以前に量子集合論の解釈を紹介した。
上述の3つの条件の中で、内部実数の外部的に定義された集合がそれぞれの選択に同一であることを示す。
論文 参考訳(メタデータ) (2024-10-24T00:56:43Z) - Generalized Quantum Stein's Lemma and Second Law of Quantum Resource Theories [47.02222405817297]
量子情報理論の基本的な問題は、量子情報処理のためのリソースの変換性を単一の関数で特徴づけるために、類似の第2法則を定式化できるかどうかである。
2008年、有望な定式化が提案され、仮説テストの量子バージョンの変種における最適性能とリソース変換可能性のリンクが提案された。
2023年、この補題の元々の証明に論理的ギャップが発見され、そのような第二法則の定式化の可能性に疑問が投げかけられた。
論文 参考訳(メタデータ) (2024-08-05T18:00:00Z) - Minimal Equational Theories for Quantum Circuits [44.99833362998488]
量子回路上の真の方程式は、単純な規則から導出できることが示される。
私たちの主な貢献の1つは、方程式理論の最小性を証明することである。
論文 参考訳(メタデータ) (2023-11-13T17:11:25Z) - Connecting classical finite exchangeability to quantum theory [69.62715388742298]
交換性は確率論と統計学の基本的な概念である。
有限交換可能な列に対するデ・フィネッティのような表現定理は、量子論と正式に等価な数学的表現を必要とすることを示す。
論文 参考訳(メタデータ) (2023-06-06T17:15:19Z) - Theorems motivated by foundations of quantum mechanics and some of their
applications [0.0]
本稿では,量子力学の基礎となる問題に光を当てることを目的とした定理を提案する。
定理は理論に新しい解釈を提案したり、あるいは現在の解釈をよりよく理解し、評価し、改善するために用いられる。
論文 参考訳(メタデータ) (2022-02-02T21:55:57Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
我々は、量子リアリズムの公理化(量子論と相容れないリアリズムの概念)を構築する。
提案された公理のほとんどすべてを満たすことを示すエントロピー量化器のクラスを明示的に構成する。
論文 参考訳(メタデータ) (2021-10-10T18:08:42Z) - Experimental Validation of Fully Quantum Fluctuation Theorems Using
Dynamic Bayesian Networks [48.7576911714538]
ゆらぎ定理は、小系に対する熱力学の第2法則の基本的な拡張である。
核磁気共鳴装置における2つの量子相関熱スピン-1/2を用いた熱交換の詳細な完全量子ゆらぎ定理を実験的に検証した。
論文 参考訳(メタデータ) (2020-12-11T12:55:17Z) - Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws [0.0]
タケウティは1981年に量子論理に基づく集合論を導入した。
等式公理は成り立たないが、ZFC集合論の公理は可換作用素の概念で適切に修正された場合に成り立つ。
論文 参考訳(メタデータ) (2020-12-05T02:38:37Z) - No purification ontology, no quantum paradoxes [0.0]
1) すべての変換はユニタリ相互作用によって達成され、次にフォン・ノイマン測度によって達成される。
私はこの教義を、オントロジーの教義と名付けます。教義の源は、この理論のオリジナルのフォン・ノイマン公理化です。
論文 参考訳(メタデータ) (2020-11-08T16:20:06Z) - Operational Resource Theory of Imaginarity [48.7576911714538]
量子状態は、実際の要素しか持たなければ、生成や操作が容易であることを示す。
応用として、想像力は国家の差別にとって重要な役割を担っていることを示す。
論文 参考訳(メタデータ) (2020-07-29T14:03:38Z) - Symmetries in Foundation of Quantum Theory and Mathematics [0.0]
有限量子論(有限量子論)(FQT)では、状態は有限環や標数$p$の体上の空間の要素であり、物理量の作用素はこの空間で作用する。
我々は、対称性に対する同じアプローチで、FQTと有限数学は標準量子論や古典数学よりも一般化されていることを証明した。
論文 参考訳(メタデータ) (2020-03-05T04:46:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。