論文の概要: Axioms of Quantum Mechanics in light of Continuous Model Theory

• arxiv url: http://arxiv.org/abs/2506.02029v1
• Date: Fri, 30 May 2025 10:33:56 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-04 21:47:34.791848
• Title: Axioms of Quantum Mechanics in light of Continuous Model Theory
• Title（参考訳）: 連続モデル理論を考慮した量子力学の公理
• Authors: Boris Zilber,
• Abstract要約: このノートの目的は、物理学者 (Dirac calculus) によって使われる量子力学の非公式な公理系を連続論理の言語で再放送することである。 我々は、一階述語論理の代数化の道具としてのタルスキのシリンド代数の概念と、物理学の連続論理の同じ目的を果たすことができるヒルベルト空間との類似性に注目した。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The aim of this note is to recast somewhat informal axiom system of quantum mechanics used by physicists (Dirac calculus) in the language of Continuous Logic. We note an analogy between Tarski's notion of cylindric algebras, as a tool of algebraisation of first order logic, and Hilbert spaces which can serve the same purpose for continuous logic of physics. The aim of this note is to recast somewhat informal axiom system of quantum mechanics used by physicists (Dirac calculus) in the language of Continuous Logic. We note an analogy between Tarski's notion of cylindric algebras, as a tool of algebraisation of first order logic, and Hilbert spaces which can serve the same purpose for continuous logic of physics.
• Abstract（参考訳）: このノートの目的は、物理学者 (Dirac calculus) によって使われる量子力学の非公式な公理系を連続論理の言語で再放送することである。 我々は、一階述語論理の代数化の道具としてのタルスキのシリンド代数の概念と、物理学の連続論理の同じ目的を果たすことができるヒルベルト空間との類似性に注目した。 このノートの目的は、物理学者 (Dirac calculus) によって使われる量子力学の非公式な公理系を連続論理の言語で再放送することである。 我々は、一階述語論理の代数化の道具としてのタルスキのシリンド代数の概念と、物理学の連続論理の同じ目的を果たすことができるヒルベルト空間との類似性に注目した。

関連論文リスト

• Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability [0.0]
  この研究は「量子計算」を特殊機能量子接続と量子量子化器を導入して表現することを目的としている。 量子一階述語論理は有界誤り量子対数時間計算能力を持つことを示した。
  論文  参考訳（メタデータ） (2025-01-21T09:58:59Z)
• Graph structure of quantum mechanics [3.9474648943255937]
  量子力学は1960年代に隠れ変数を認めないことが証明されており、これは量子系が文脈的であることを意味する。 局所的な一貫性と排他性を持つ文脈性理論を特徴付ける部分ブール代数のアプローチを開発する。 我々の結論は、量子力学が複数の隠れ変数理論のグラフ構造の組み合わせであることを示し、量子テクスチュアリティの正確な数学的枠組みを提供する。
  論文  参考訳（メタデータ） (2024-11-27T08:49:12Z)
• Stochastic Processes: From Classical to Quantum [7.034466417392574]
  古典的プロセスの理論からいくつかのリマインダーから始めます。 次に、量子力学と場の量子論を概観する。 ボソンフォック空間とその計算に量子過程を導入する。
  論文  参考訳（メタデータ） (2024-07-04T15:26:35Z)
• Revisiting Quantum Contextuality in an Algebraic Framework [0.0]
  我々は、コシェン=スペーカーの定理とグリーソンの定理を関連付けることができるような、文脈外性(extracontextuality)と外部値(extravalence)の考えについて議論する。 「我々の文脈外アプローチは、しかしながらハイゼンベルク切断を記述する方法を必要とする。」
  論文  参考訳（メタデータ） (2023-04-16T12:06:44Z)
• Groupoid and algebra of the infinite quantum spin chain [0.0]
  これらの代数が自然に無限スピン鎖の量子力学のシュヴィンガーの記述に現れることを示す。 特に、最近の研究で開発されたディラック・ファインマン・シュウィンガー状態の機械を用いて、富田竹崎のモジュラー理論に基づく力学を導入する。
  論文  参考訳（メタデータ） (2023-02-02T12:24:23Z)
• Contextual unification of classical and quantum physics [0.0]
  量子力学の通常の定式化は、粒子の可算無限大に遭遇したとき、機能しなくなるという考え方を発展させる。 これは、対応するヒルベルト空間の次元が数えきれないほど無限となり、ユニタリ同値が失われるからである。 これは「ハイゼンベルクカット」を記述する自然な方法であり、量子物理学と古典物理学の両方を含む統一された数学的モデルを提供する。
  論文  参考訳（メタデータ） (2022-09-03T16:51:19Z)
• 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)
• A Quantum Interpretation of Bunched Logic for Quantum Separation Logic [22.507329566323982]
  プリコンディションとポストコンディションは、量子状態を記述するBI式である。 量子ワンタイムパッドとシークレット共有のセキュリティを証明するロジックを実践する。
  論文  参考訳（メタデータ） (2021-01-30T22:24:36Z)
• Fundamentals of Quantum Mechanics in Liouville Space [0.0]
  本稿では、任意の有限次元のリウヴィル空間で量子力学を行うコヒーレントで理解しやすい方法について述べる。 ここでの形式主義の強みの1つは、ディラックのブラケット表記との顕著な類似点である。 フォーマリズムを効果的に活用する方法を説明するために、2レベル量子系に対する量子光学マスター方程式を解く。
  論文  参考訳（メタデータ） (2020-03-25T16:08:46Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。