• 复合系统的状态空间是各个希尔伯特空间的张量积 H = H 1 ⊗H 2 。 • 如果复合系统的状态不能写成 | Ψ ⟩ 12 = | ψ ⟩ 1 ⊗| φ ⟩ 2 ,则为纠缠态。 • 一般纠缠态 | Ψ ⟩ 12 = P NM nm =1 C nm | ψ n ⟩ 1 ⊗| φ m ⟩ 2 。
结果................................................................................................................................................ 20
哥德尔的两个不完备性定理中的第一个指出“任何一致的形式系统 F,只要其中可以执行一定数量的基本算术,都是不完备的”6。这意味着 F 中存在既不能证明也不能反驳的陈述(F 中的“哥德尔句”可以称为 GF)。每个系统都有自己的哥德尔句。虽然可以定义一个新的、“更具包容性”的系统 F',并由整个 F 以及之前的哥德尔句 GF 作为公理组成,但这不会产生一个现在完整的系统,因为该定理也适用于修改后的 F 版本,因此 F' 也不完整。因此,GF 将成为 F' 中的一个定理,这并不与哥德尔第一定理相矛盾,因为 GF 在 F 中无法证明,而不是在 F' 中。然而,由于第一定理适用于F',因此存在一个新的哥德尔句子GF',证明F'也是不完整的。
摘要。本文的前两个部分(相应地,https://philpapers.org/rec/rec/penflt-2和https://philpapers.org/rec/rec/rec/penflt-3)表明,在希尔伯特(Hilbert)的范围内,对Fermat的最后一个概念的解释表明,在Hilthment的范围内,对Fermat的最后一段迹象表明,在范围内,这一迹象表明了一段范围的含义,并且在一个范围内都可以在一个范围内进行。 Kochen-第二部分中的Specker定理。相同的解释也可以用于基于格里森定理的证明FLT,并且与第二部分相似。(概率)衡量希尔伯特空间子空间的概念,尤其是其独特性的概念可以与部分代数或不可妥协的概念联系起来,或者将其解释为希尔伯特·阿里斯(Hilbert Arithmetic)两个双重分支的关系。对最后一个关系的调查允许FLT和Gleason定理在某种意义上等同于两个双对应物,而前者则可以从后者中推断出来,并且在与Gödel不完整相关的额外条件下,副副主义是对算术算术理论的额外条件。Qubit Hilbert Space本身可以通过FLT和Gleason定理的统一来解释。在广义上,通过希尔伯特算术在数字理论中的这种基本结果的证明可以推广到有关“量子数理论”的想法。它能够通过对希尔伯特算术的Peano算术的来源进行数学研究,通过调解“非标准双眼”及其两个双重分支,将其固有地与信息理论联系起来。然后,在更广泛的背景下,也可以重新实现无限分析及其在物理学上的革命性应用,例如,作为对时间量的方式(分别在物理学中被认为的时间派生过程中的时间衍生物)的探索,以便出现。最后,结果承认,仅由于其双重和愿意的对应物,对任何层次结构的产生或改变自身的变化方式。关键字:完整性,格里森定理,Fermat的最后一个定理,Hilbert Arithmetic,Idempotency and Eranchary,Kochen and Specker Therorem,Nonistard Biftion,Peano Arithmetic,Quantum Information
摘要:黑洞信息之谜源于广义相对论与量子理论对黑洞辐射性质的结论存在差异。根据霍金最初的论证,辐射是热的,因此其熵会随着黑洞的蒸发而单调增加。相反,由于量子理论中时间演化的可逆性,辐射熵应该在一定时间后开始减小,正如佩奇曲线所预测的那样。基于复制技巧的新计算证实了这种减小,并揭示了其几何起源:复制品之间形成的时空虫洞。在这里,我们从量子信息论的角度分析了这些结论与霍金最初结论之间的差异,特别是使用了量子德菲内蒂定理。该定理意味着存在额外的信息 W,它既不是黑洞的一部分,也不是辐射的一部分,而是起着参考的作用。通过复制技巧获得的熵可以被识别为以参考 W 为条件的辐射的熵 S ( R | W ),而霍金的原始结果对应于非条件熵 S ( R )。熵 S ( R | W ) 在数学上是集合平均值,在对 N 个独立准备的黑洞进行实验时,它获得了操作意义:对于较大的 N ,它等于它们联合辐射的归一化熵 S ( R 1 · · · RN ) / N 。这个熵和 S ( R ) 之间的差异意味着黑洞是相关的。因此,复制虫洞可以被解释为这种相关性的几何表示。我们的结果还表明广泛使用的随机幺正模型可以扩展到多黑洞,我们通过非平凡检验支持了这一点。
本文始于对传统因果关系和地区概念的调查。本文介绍了特殊相对论和计算机科学的第一个非平凡综合,详细介绍了[EPS]中包含三个定理的工作,证明了古典物理学本身是非本地的。因此,第2和第3节中详细介绍的局部因果关系的概念不再适用于古典物理学。再次,这是有经过验证的定理,而不是假设或猜想的。具有动力学非局部性,我们将详细介绍算法熵是非局部性的半度性定义的算法。所有闭合和孤立的系统随着时间的流逝而在整个宇宙中演变而来,具有未同步的算法熵。具有统一的非局部性,存在算法时,如果可以访问停止序列,则可以推断出具有类似空间分离的系统的算法熵分数。具有相关性非局部性,我们表明,在宇宙中的所有系统中,熵的第二种算法定义是粗粒熵的。
数学领域中的学术文章通常包括定理(和其他类似定理的环境)及其证明。本文建立在我们以前的作品[11]的基础上,该论文旨在将科学文献从PDF文章的集合转变为以定理为中心的开放知识基础(KB)。在本文中,我们主要集中于[11]中引入的管道的提取方面。我们深入探索了多种模式方法,并评估了模型的长期段落序列的影响。要澄清,在本文中,我们使用定理的意义与L a t e X中使用的定理相同(例如,按\ new Theorem命令):一个定理的环境是一种结构化的陈述,可能是以特定方式进行编号的,用于以特定的方式进行编号,用于正式(通常是数学)的陈述:也可以代表一个正式的陈述:也可以是empormem,emporm a remem,一个定义,一个定义,一个定义,一个定义,一个定义,一个定义,等等,等等,等等,等等。定理,我们的意思是任何此类陈述。 通过证明,我们的意思是在证明环境中通常在L A T E X中呈现的内容:结果的证明或证明草图。 我们通过根据多模式机器学习来签署一种方法来解决定理 - 防护识别问题,该方法将文章的每个每个款分类为基于科学语言的基本,定理和证明标签,以印刷信息和PDF文档的视觉渲染为基础。 此外,定理,我们的意思是任何此类陈述。通过证明,我们的意思是在证明环境中通常在L A T E X中呈现的内容:结果的证明或证明草图。我们通过根据多模式机器学习来签署一种方法来解决定理 - 防护识别问题,该方法将文章的每个每个款分类为基于科学语言的基本,定理和证明标签,以印刷信息和PDF文档的视觉渲染为基础。此外,
定理 1.1 为已知条件,即形式 a : V × V → R ,由 a ( u, v ) = ⟨A u, v ⟩ V ∗ ,V 给出,但是这里给出的非对称情况的估计更加苛刻。在定理 1.1 中,不仅解的适定性而且最大规律性都是显著的:发展方程的所有三个项 u ′ 、A u 和 f 都在空间 L 2 (0 , T ; U ′ ) 中(有关此类规律性的更多信息,请参阅 [6])。本文中发展的导子理论可应用于完全不同的主题。如果我们根据 Riesz 定理识别 V 和 V ′,则 V 上的稠密定义算子 S 是对称的当且仅当 iS 是导子。事实证明,我们关于边界算子的结果也允许描述对称算子 S 的所有自联合扩展。事实上,我们完善了文献中已知的边界三元组理论的一个版本。这些思想的循环在 [5] 中介绍。
摘要 。本文的前两部分(分别是 https://philpapers.org/rec/PENFLT-2 和 https://philpapers.org/rec/PENFLT-3)表明,费马最后定理 (FLT) 在希尔伯特算术中的狭义和广义解释可以在第一部分中通过归纳法提出证明,在第二部分中通过 Kochen-Specker 定理提出证明。同样的解释也适用于基于格里森定理的 FLT 证明,部分类似于第二部分中的证明。希尔伯特空间子空间的 (概率) 测度的概念,尤其是其唯一性,可以明确地与偏代数或不可通约性联系起来,或者在广义上解释为希尔伯特算术的两个对偶分支的关系。对最后一个关系的研究使得 FLT 和格里森定理在某种意义上等同于两个对偶对应物,前者可以从后者推出,反之亦然,但需要附加条件,即算术对集合论的哥德尔不完备性。反过来,量子比特希尔伯特空间本身也可以通过 FLT 和格里森定理的统一来解释。利用广义的希尔伯特算术证明 FLT 这样的数论基本结果可以推广到“量子数论”的概念。通过“非标准双射”及其两个与信息论内在关联的对偶分支,可以从数学上研究皮亚诺算术从希尔伯特算术的起源。然后,无穷小分析及其革命性的物理学应用也可以在更广泛的背景下重新实现,例如,作为对时间物理量(分别是物理学中考虑的任何时间过程中的时间导数)出现方式的探索。最后,结果允许对任何层次结构如何产生或改变自身进行哲学反思,这仅归功于其对偶和幂等对应物。关键词:完备性、格里森定理、费马最后定理、希尔伯特算术、幂等性和层次结构、科亨和斯佩克定理、非标准双射、皮亚诺算术、量子信息
Kolmogorov 复杂度的研究起源于 [Kolmogorov 1965] 的工作。[Levin 1974] 和 [Chaitin 1975] 引入了 Kolmogorov 复杂度的规范自界定形式。[Solomonoffi1964] 引入了通用概率 m。有关本文中使用的概念的历史的更多信息,请参阅教科书 [Li and Vit´anyi 2008]。本文的主要定理是一个不等式,它具有字符串与停机序列的互信息。有关该术语的更多背景知识,请参阅 [Vereshchagin and Vit´anyi 2004b]。引理 4.1 使用了随机性的概念。如果字符串是简单概率分布的典型,则它是随机的。[Shen 1983, 1999; V'Yugin 1987]。随机性是算法统计的一个研究领域,可以在[Vereshchagin and Vit´anyi 2004a;Vereshchagin and Vit´anyi 2010;Vereshchagin 2013;Vereshchagin and Shen 2016]中找到。