論文の概要: Quantum uncertainty in a macroscopic domain
- arxiv url: http://arxiv.org/abs/2608.09262v1
- Date: Mon, 10 Aug 2026 08:18:45 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-11 19:16:37.144551
- Title: Quantum uncertainty in a macroscopic domain
- Title（参考訳）: マクロ領域における量子不確実性
- Abstract要約: 我々は、部分ブール代数の古典的モデル理論的表現を開発する。
古典的な命題論理を捨てることなく、量子的不確実性を定式化する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We develop a classical model-theoretic representation of partial Boolean algebras and use it to formulate quantum-like uncertainty without abandoning classical propositional logic. Given a surjection from the initial formulæ of a propositional language onto a partial Boolean algebra $(\mathcal V,Π)$, we construct a consistent theory $\mathcal T_g$ whose core---the ordered set of equivalence classes of initial formulæ---is isomorphic to $(\mathcal V,Π)$. Its models are characterized as upward-closed clusters, yielding a model-theoretic formulation of KS-colourability: an $n$-dimensional partial Boolean algebra is KS-colourable exactly when the induced theory has a model meeting every pre-frame in one primitive formula. For finite-spectrum observables, uncertainty is defined by the number of locally admissible atomic outcomes. Dispersion-free models are characterized by the singleton pre-frame condition. With an additional measurement-update postulate, a finite example shows how measurement of an incompatible observable can destroy sharpness, providing a model-theoretic form of back-action. A $12$-vertex partial Boolean algebra is KS-colourable, whereas a rigorously constructed $140$-vertex, four-dimensional partial Boolean algebra is not, as shown by a parity argument; its incidence structure is isomorphic to the Peres $24$-ray, $24$-basis configuration in $\mathbb R^4$. Macroscopic interpretations show that these phenomena arise from the organization of propositions and models rather than from nonclassical deduction. Finally, we relate certain models to the probability-one propositions of pure states and density operators, while emphasizing that such certainty models do not determine the full quantum state.
- Abstract（参考訳）: 部分ブール代数の古典的モデル論的表現を開発し、古典命題論理を放棄することなく量子的不確かさを定式化する。
命題言語の初期 formulæ から部分ブール代数 $(\mathcal V, )$ への全射が与えられたとき、その中心となる一貫した理論 $\mathcal T_g$---- 初期 formulæ------- は $(\mathcal V, )$ に同型である。
モデルが上向き閉集合として特徴づけられ、KS-カラー可能性のモデル理論の定式化が得られる:$n$-次元部分ブール代数は、誘導理論がすべてのプレフレームを満たすモデルを1つのプリミティブ式で満たすときに正確にKS-カラー化可能である。
有限スペクトルオブザーバブルに対しては、不確実性は局所許容可能な原子結果の数によって定義される。
分散フリーモデルはシングルトンプレフレーム条件によって特徴づけられる。
追加の測度更新仮定により、有限例は、不整合可観測物の測定がシャープネスを損なうことを示し、モデル理論的なバックアクションの形式を提供する。
12$-頂点部分ブール代数は KS-彩色可能であるが、厳密に構成された1,40$-頂点であるのに対し、4次元部分ブール代数はパリティの議論で示されるように、パリティの議論ではそうではない;その入射構造は、$\mathbb R^4$のペレス 2,4$-線、2,4$-基底構成に同型である。
マクロ的な解釈は、これらの現象は非古典的推論からではなく、命題やモデルの編成から生じていることを示している。
最後に、あるモデルと純粋状態と密度作用素の確率 1 命題を関連付け、そのような確実性モデルは完全な量子状態を決定するものではないことを強調する。
関連論文リスト
- A homotopy-type-theoretic generalization of neurosymbolic inference [46.36639624013224]
ニューロシンボリック(NeSy)システムは1つの機能を計算する:$$-structuresの空間上の論理量の信念重み付け和。
我々は、NeSy系のスクラッチからフレームワークを開発し、対称性が自明なときに古典関数を復元する保守性定理を証明し、我々のフレームワークが提示する対称性が、まさにショートカットの推論の背後にあるものであることを示す。
論文 参考訳（メタデータ） (2026-06-16T12:22:12Z) - Quantum simulation of massive Thirring and Gross--Neveu models for arbitrary number of flavors [40.72140849821964]
我々は、任意の数のフェルミオンフレーバーを持つ巨大なThiringとGross-Neveuモデルを、大きさ$L$の空間1次元格子上で離散化した$N_f$と考えている。
我々は、N_f = 1,2,3,4$の20キュービットまでのシステムサイズに優れた忠実度を持つ両モデルの基底状態を作成する。
我々の研究は、大規模なN_f$フェルミオン量子場理論モデルのリアルタイムダイナミクスの量子シミュレーションに向けた具体的なステップである。
論文 参考訳（メタデータ） (2026-02-25T19:00:01Z) - A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems [2.362412515574206]
大規模あるいは連続的な状態空間は、正確に解析しやすくし、原理化された量的抽象を要求する。
この研究は、圏論、コレージュブラ、量論理、最適輸送を統合することで、そのような抽象の統一理論を発展させる。
論文 参考訳（メタデータ） (2025-10-22T10:16:24Z) - Trading Mathematical for Physical Simplicity: Bialgebraic Structures in Matrix Product Operator Symmetries [20.76275069383104]
物理的興味を持つ単純な量子スピン鎖は、融合圏や弱いホップ代数の厳密な枠組みには含まれないことを示す。
我々の研究は、よく理解されたトポロジカルな欠陥対称性と、より現実的なモデルで生じるものとの間に橋渡しを提供することを示している。
論文 参考訳（メタデータ） (2025-09-03T18:01:22Z) - Bridging conformal field theory and parton approaches to SU(n)_k chiral spin liquids [21.876059213677966]
共形場理論では、$mathrmSU(n)_k$ Wess-Zumino-Witten (WZW) モデルを用いて、格子波動関数を1次元と2次元の両方で構成する。
すべての格子上のスピンは、ヤング・テーブルーの$mathrmSU(n)$既約表現の下で、単一の行と$k$ボックスで変換される。
論文 参考訳（メタデータ） (2025-01-16T14:42:00Z) - Polynomially restricted operator growth in dynamically integrable models [0.0]
各ハミルトニアンが同値関係を定義することを示し、作用素空間を同値類に分割する。
本稿では,同値クラスの次元を判定し,木上のXY$チェインやキタエフモデルなど,様々なモデルに対して評価する手法を提案する。
我々の手法は、自由フェルミオンに還元できない$XY$-$ZZ$モデルを含む、シミュラブル量子力学の新しいケースを明らかにするために用いられる。
論文 参考訳（メタデータ） (2024-06-18T19:37:47Z) - A statistical model for quantum spin and photon number states [0.0]
量子論で生じる確率は、より基本的なオンティック状態のカウントに還元できることを示す。
完全に自己包含された形式主義は、これらのオンティックな状態を整理し、数えることを目的として開発されている。
この形式は、2つの回転するスターン・ゲラッハ検出器のシーケンスと相互作用する任意のスピンの粒子の確率分布を計算するために用いられる。
論文 参考訳（メタデータ） (2023-04-21T20:30:33Z) - The unstable formula theorem revisited via algorithms [18.557423328068122]
既存の学習モデルのギャップに対応するために,確率的最終補正(PEC)と呼ばれる新しい統計学習モデルを導入する。
このモデルの観点からLittlestone(stable)クラスを特徴付けます。
頻繁な定義の観点からリトルストーンクラスの特徴づけを得るため、多くの既存近似アルゴリズムに共通する点を強調する同値定理を構築した。
論文 参考訳（メタデータ） (2022-12-09T18:53:34Z) - On the reality of the quantum state once again: A no-go theorem for
$\psi$-ontic models [0.0]
我々は、Harrigan and Spekkens (HS)によって定義された$psi$-onticモデルが量子論を再現できないことを示す。
HS分類自体は問題であり、量子論を再現できるモデルのための空間は残っていない。
論文 参考訳（メタデータ） (2022-01-27T22:55:23Z) - The classical limit of Schr\"{o}dinger operators in the framework of
Berezin quantization and spontaneous symmetry breaking as emergent phenomenon [0.0]
厳密な変形量子化は古典位相空間$bR2n$で解析される。
この古典的極限の存在は、特に広いクラスのシュリンガー作用素の基底状態に対して証明される。
古典状態の支持は、ポテンシャルの対称性によっては$bR2n$の軌道に含まれる。
論文 参考訳（メタデータ） (2021-03-22T14:55:57Z) - Proof of the Contiguity Conjecture and Lognormal Limit for the Symmetric
Perceptron [21.356438315715888]
我々は、ニューラルネットワークの単純なモデルである対称バイナリパーセプトロンモデルを検討する。
このモデルのためのいくつかの予想を確立する。
この証明手法は,小さなグラフ条件付け手法の密な反部分に依存する。
論文 参考訳（メタデータ） (2021-02-25T18:39:08Z) - Sub-bosonic (deformed) ladder operators [62.997667081978825]
ファジィネスという厳密な概念から派生した変形生成および消滅作用素のクラスを提示する。
これにより変形し、ボゾン準可換関係は、修正された退化エネルギーとフォック状態を持つ単純な代数構造を誘導する。
さらに、量子論において導入された形式論がもたらす可能性について、例えば、自由準ボソンの分散関係における線型性からの偏差について検討する。
論文 参考訳（メタデータ） (2020-09-10T20:53:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。