arXivDaily arXiv每日学术速递 周一至周五更新
arXiv quant-ph/0212065quant-phgr-qcmath-phmath.LOmath.MPmath.PR
收藏

逻辑中的熵几何

Entropic Geometry from Logic

Bob Coecke

摘要:

我们从逻辑中产生一个概率空间,包括经典的和量子的,它是另外部分有序的,以这样一种方式,熵是单调的。特别是我们建立了以下等式:定量概率=逻辑+知识的偏好性+熵。即:1.有限概率空间Δ^n(={1,.,n})可以由偏序集(Δ^n,\sqsubseteq)的抽象D^n(=直到同构的对象)和香农熵组成的对完全且忠实地表示; 2. D^n本身可以通过(代数)逻辑上的系统的纯序论过程(体现了知识的引入)来获得。这个过程适用于任何偏序集A;当A是n元幂集时,D_A \cong(Δ^n,\sqsubseteq);当A是希尔伯特空间的子空间格时,D_A \cong(Ω^n,\sqsubseteq),混合量子态的域。(We请参考http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-02-07.html以获得提供近似和内容概念的域理论上下文。

英文摘要:

We produce a probabilistic space from logic, both classical and quantum, which is in addition partially ordered in such a way that entropy is monotone. In particular do we establish the following equation: Quantitative Probability = Logic + Partiality of Knowledge + Entropy. That is: 1. A finitary probability space Δ^n (=all probability measures on {1,...,n}) can be fully and faithfully represented by the pair consisting of the abstraction D^n (=the object up to isomorphism) of a partially ordered set (Δ^n,\sqsubseteq), and, Shannon entropy; 2. D^n itself can be obtained via a systematic purely order-theoretic procedure (which embodies introduction of partiality of knowledge) on an (algebraic) logic. This procedure applies to any poset A; D_A\cong(Δ^n,\sqsubseteq) when A is the n-element powerset and D_A\cong(Ω^n,\sqsubseteq), the domain of mixed quantum states, when A is the lattice of subspaces of a Hilbert space. (We refer to http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-02-07.html for a domain-theoretic context providing the notions of approximation and content.)

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

↑