XiaoMi-AI文件搜索系统
World File Search Systemtheorem
Tarski的不确定定理对...
发现一切理论（脚趾）可能会对科学真理的定义和科学方法产生重要的影响。科学真理通常与经验证据和可重复性有关，强调观察，实验以及可以测试并可能伪造的理论的提出[1]。这种经验方法已经进一步发展，科学方法非常重视假设检验和严格的验证过程。因此，鉴于可用的证据，科学的真理越来越少了绝对的确定性，而更多地涉及最好的解释。这一观点是卡尔·波普（Karl Popper）的科学哲学表现的，该哲学认为科学真理是临时的，应始终对伪造持开放态度[2]。但是，如果将理论测试是正确的，则其后果也被视为科学真理（即使无法直接测试它们）。例如，由于已经测试了一般相对论是一种正确的自然理论，因此其所有后果（例如黑洞，黑洞中的物理等）也成为科学。现在，理论可以被伪造或与更正确的理论近似，在这种情况下，该理论的某些后果可能是不正确的。但是，如果我们确实有一个代表宇宙/多元宇宙的所有基本物理方面的脚趾（甚至引起了宇宙/多元宇宙），那么科学真理将是从这种理论中得出的后果。因此，在该框架内，脚趾内的真相应该在内部保持一致和独立。在这种情况下，科学真理将直接源自构成S脚趾的公理。这将暗示一种完整的形式，其中所有物理现象都可以在单个连贯的理论中解释。但是，这也意味着科学真理将在内部定义，而真理主张的有效性取决于其与S脚趾的一致性，而不是仅经验验证[3]。
1 零和量子博弈的最小最大定理
博弈论研究独立实体之间的竞争与合作。一种非常简单的博弈类型是标准形式博弈，其中两个玩家 P 0 ， P 1 分别从一组离散策略（通常是有限策略）中选择一个策略 s 0 ， s 1 ，并分别获得奖励 v 0 ( s 0 , s 1 ) ，v 1 ( s 0 , s 1 )。这种博弈可以用两个矩阵 V 0 ， V 1 来表示，矩阵的行和列由玩家所有可能的策略 s 0 ， s 1 索引，矩阵的条目是与这些策略相关的奖励。
ψ-ontic 模型的不成立定理？ - PhilSci-Archive
自量子力学诞生之初，量子态的实在性就一直是争论的热门话题。量子态是真实的，直接代表物理系统的本体状态，还是认识论的，仅仅代表对底层本体状态的不完全知识的状态？近年来，Harrigan 和 Spekkens (HS) 提出了一种称为本体模型框架的严格方法来区分 ψ -本体论和 ψ -认识论观点 [1]。此外，该框架还证明了几个重要的 ψ -本体论定理，这些定理确立了量子态的实在性，其中两个是 Pusey-Barrett-Rudolph (PBR) 定理 [2] 和 Hardy 定理 [3, 4]。在此背景下，Carcassi、Oldofredi 和 Aidala (COA) 最近提出的 ψ -本体模型的不可行定理 [5] 出乎意料，令人惊讶。如果它是正确的，那将是一个非常重要的新成果。在本文中，我将研究 COA 定理并论证其错误。1
单向量子通信的直接乘积定理
其中 Q1ε(f)表示最坏情况误差为ε的f的单向纠缠辅助量子通信复杂度，fk表示f的k个并行实例。据我们所知，这是第一个用于一般关系量子通信复杂度的直接积定理——直接和定理以前仅用于一般关系的单向量子协议，而直接积定理仅在特殊情况下为人所知。我们的技术受到Jain、Pereszlényi 和Yao [ 24 ]提出的乘积分布下的双人非局部博弈中纠缠值的并行重复定理，以及Bavarian、Vidick 和Yuen [ 4 ]提出的锚定分布下的并行重复定理，以及Jain、Radhakrishnan 和Sen [ 29 ]提出的量子协议消息压缩的启发。具体来说，我们证明了对于 X × Y 上任意锚定在一侧的分布 q 下，f 的分布单向量子通信复杂度的直积定理成立，即存在 ay ∗ 使得 q(y ∗) 为常数，且对于所有 x ，q(x|y ∗)=q(x)。这使我们能够证明一般分布的直积定理，因为对于任何关系 f 及其输入上的任何分布 p，我们可以定义一个修改的关系 ˜ f ，它具有接近于 p 的锚定分布 q，使得对于 ˜ f 在 q 下失败的概率最多为 ε 的协议可以用来给出对于 f 在 p 下失败的概率最多为 ε + ζ 的协议。我们的技术也适用于纠缠的非局部博弈，这些博弈的输入分布锚定在任意一侧，即，要么存在前面指定的 ay∗，要么存在一个 x∗，使得 q(x∗) 为常数，且对所有 y 都有 q(y|x∗)=q(y)。具体来说，我们表明，对于任何博弈 G=(q,X×Y,A×B,V)，其中 q 是 X×Y 上的分布，锚定概率为常数，锚定在任意一侧，则
有效的量子并行重复定理和应用程序
我们证明了3台计算量子量子交互协议与有效的挑战者和有效对手之间的紧密平行重复定理。我们还证明，在合理的假设下，在并行重复下，4台式计算协议的安全性通常不会降低。这些反映了Bellare，Impagliazzo和Naor的经典结果[BIN97]。最后，我们证明所有量子参数系统都可以一致地编译到等效的3-序列参数系统，从而反映了量子证明系统的转换[KW00，KKMV07]。As immediate applications, we show how to derive hardness amplification theorems for quantum bit commitment schemes (answering a question of Yan [ Yan22 ]), EFI pairs (answering a question of Brakerski, Canetti, and Qian [ BCQ23 ]), public-key quantum money schemes (answering a question of Aaronson and Christiano [ AC13 ]), and quantum零知识参数系统。我们还为量子谓词推导了XOR引理[YAO82]作为推论。
扩展编码定理及其在量子复杂性中的应用
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]中找到。
惯性定理控制方案的实验验证
1 CAS量子信息信息实验室，中国科学技术大学，Hefei 230026，中华人民共和国2 CAS量子信息与量子物理学卓越卓越中心，中国科学技术大学，230026，Hefei 230026，中国人民共和国3，化学研究所3，耶路撒冷大学，耶路撒大学，耶路撒大学。加利福尼亚大学的物理学，圣塔芭芭拉，加利福尼亚州93106，美利坚合众国5菲西卡学院gal。Milton Tavares de Souza s/n，Gragoatá，24210-346 Niter´Oi，Rio de Janeiro，巴西，巴西6 DepratimentodeFísica，联邦联邦政府De s〜ao Carlos，Rodovia WashingtonLuís，spsp-sp-35-sp-sp-310，135565-955-9565-95-95-95-95-95-95-95-95-95-95-95-95-95-95-95-905-905-905-905 SO.任何信件应被解决。7这些作者对这项工作也同样贡献。
Lorentzian分裂定理而没有完整的假设
已经发表了许多论文（[6]，[3]，[4]，[2]），该论文解决了Yau [10]在Riemannian几何形状的Cheeger-Gromoll拆分定理中提出的问题。Eschenburg最近获得了一个非常满意的Lorentzian类似物。在[4]中，他证明了一个全球双曲线，及时的测量时空完整的时空满足“强能量状况”，RIC（x，x）> 0，x Timelike，其中包含（完整的）时间表线，在下面有意义地制作出“拆分”。在埃申堡（Eschenburg）的工作之前，Beem等人。[3]证明了洛伦兹分裂定理，假设截面曲率更严格（类似于Riemannian情况下的非负分段曲率）。他们的结果的一个有趣特征是，不需要定时完成的完整假设。仅要求给定的时间表线完成。及时的大地测量完整性是由于全局双波利度，截面曲率条件和线路的完整性而得出的。这表明Eschenburg定理的假设可能有一些冗余。
巴拿赫不动点定理及其应用
先验误差界限 (4) 可用于计算开始时估计获得给定精度所需的步骤数。后验界限 (5) 可用于中间阶段，以检查我们是否可能比 (4) 建议的收敛速度更快。我们看到，如果两个连续迭代 xm 和 xm +1 = T ( xm ) 几乎相等，那么这保证我们非常接近真正的不动点 x 。