宏观领域中的量子不确定性
Quantum uncertainty in a macroscopic domain
AI总结：
该研究通过经典模型论表示部分布尔代数，在保留经典命题逻辑的同时构建类量子不确定性，证明了不同规模部分布尔代数的KS可着色性差异，揭示相关现象源于命题与模型的组织而非非经典演绎。
AI中文摘要：
我们开发了部分布尔代数的经典模型论表示，并利用它在不放弃经典命题逻辑的前提下构建类量子不确定性。给定从命题语言的初始公式到部分布尔代数$(\nabla,\nabla)$的满射，我们构造一个一致理论$\nabla_g$，其核心——初始公式的等价类有序集——与$(\nabla,\nabla)$同构。该理论的模型被表征为向上闭簇，由此得到KS可着色性的模型论表述：$n$维部分布尔代数是KS可着色的，当且仅当诱导理论存在一个模型，在每个预框架中都满足一个原始公式。对于有限谱可观测量，不确定性由局部可允许原子结果的数量定义。无弥散模型由单元素预框架条件表征。结合额外的测量更新公设，一个有限示例展示了不相容可观测量的测量如何破坏锐度，提供了一种模型论形式的反作用。一个12顶点的部分布尔代数是KS可着色的，而一个严格构造的140顶点、四维部分布尔代数则不是，这由奇偶性论证证明；其关联结构与$\nabla^4$中的Peres 24射线、24基构型同构。宏观解释表明，这些现象源于命题和模型的组织，而非非经典演绎。最后，我们将某些模型与纯态和密度算子的概率1命题关联，同时强调此类确定性模型并不确定完整量子态。
英文摘要：
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.
