arXivDaily arXiv每日学术速递 周一至周五更新
arXiv quant-ph/0107037quant-phgr-qc
收藏

简化一致的历史

Sheafifying Consistent Histories

Ioannis Raptis

摘要:

伊沙姆的拓扑理论的一致性历史理论的逻辑观点是在两个方面扩展。首先,赋予Isham提出的拓扑中的历史命题的相容集的预层Vietoris型拓扑,然后将它们关于Vietoris型拓扑进行层化,由此得到的范畴是量子历史命题的泛正代数的布尔子代数的Vietoris拓扑化的基偏序集范畴上的连续变化集的层的拓扑.伊沙姆的拓扑的第二个扩展包括赋予上述层的茎,这些茎最初是由无结构集居住的,具有进一步的代数结构,也享有量子因果解释,从而达到量子因果集的一致历史的拓扑。由此产生的量子因果历史topos与Markopoulou的量子因果历史相比,与Mallios和这位作者的有限时空层的量子因果集,以及与巴特菲尔德和Isham的topos的角度对量子逻辑的Kochen-Specker定理。

英文摘要:

Isham's topos-theoretic perspective on the logic of the consistent-histories theory is extended in two ways. First, the presheaves of consistent sets of history propositions in the topos proposed by Isham are endowed with a Vietoris-type of topology and subsequently they are sheafified with respect to it. The category resulting from this sheafification procedure is the topos of sheaves of sets varying continuously over the Vietoris-topologized base poset category of Boolean subalgebras of the universal orthoalgebra of quantum history propositions. The second extension of Isham's topos consists in endowing the stalks of the aforementioned sheaves, which were originally inhabited by structureless sets, with further algebraic structure, that also enjoys a quantum causal interpretation, so as to arrive at the topos of consistent-histories of quantum causal sets. The resulting quantum causal histories topos is compared with Markopoulou's quantum causal histories, with Mallios and this author's finitary spacetime sheaves of quantum causal sets, as well as with Butterfield and Isham's topos perspective on the Kochen-Specker theorem of quantum logic.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑