XiaoMi-AI文件搜索系统
World File Search System定理
greene-kleitman定理的算法力量
对于给定的n -vertex dag g =（v，e），带有透射率关闭的tc（g），链是tc（g）中的一个定向路径，而抗抗小节是TC（g）中的独立集。最大k-抗问题问题要求计算传递闭合的最大k色子图。相关的最大h-链问题要求计算最大总长度的H脱节链（即TC（G）中的集团。著名的Greene-Kleitman（GK）定理[J.梳子。理论，1976年]证明了这两个问题之间的（组合）连接。在这项工作中，我们将GK定理所隐含的组合特性转化为及时的覆盖算法。与先前的结果相反，我们的算法直接应用于g上，并且不需要其及其传递闭合的先例。让αk（g）为可以被k敌生覆盖的最大顶点数量。我们显示：
定理球形kirigami tessellations
我们介绍了一个定理，该定理限制在球形表面上的kirigami tessellations时，带有图案性缝隙形成了自由形式的四边形网格。我们表明，球形kirigami镶嵌具有一个或两个兼容状态，即，最多有两个沿部署路径的隔离菌株配置。该定理进一步揭示了从球形到平面kirigami tessellations的刚性到扁平的过渡，并且仅当狭缝形成平行四边形空隙以及消失的高斯曲率时，这也通过能量分析和模拟来证实。在应用方面，我们显示了基于定理的Bistable球形圆顶结构的设计。我们的研究为基于欧几里得和非欧几里得几何形状的可变形结构的合理设计提供了新的见解。
协变的stinespring定理-Bristol
使得f（x）= tr e（τxτ†）（在这里tr e：b（k⊗e）→b（e）是环境上的部分跟踪）。cp映射f是轨迹保留的，扩张τ是一个等轴测图。不同的扩张τ1：H→K⊗E1，τ2：H→K⊗E2与部分等距α：E 1→E 2相关。
ψ-ontic 模型的不成立定理？ - PhilSci-Archive
自量子力学诞生之初，量子态的实在性就一直是争论的热门话题。量子态是真实的，直接代表物理系统的本体状态，还是认识论的，仅仅代表对底层本体状态的不完全知识的状态？近年来，Harrigan 和 Spekkens (HS) 提出了一种称为本体模型框架的严格方法来区分 ψ -本体论和 ψ -认识论观点 [1]。此外，该框架还证明了几个重要的 ψ -本体论定理，这些定理确立了量子态的实在性，其中两个是 Pusey-Barrett-Rudolph (PBR) 定理 [2] 和 Hardy 定理 [3, 4]。在此背景下，Carcassi、Oldofredi 和 Aidala (COA) 最近提出的 ψ -本体模型的不可行定理 [5] 出乎意料，令人惊讶。如果它是正确的，那将是一个非常重要的新成果。在本文中，我将研究 COA 定理并论证其错误。1
再次低软量定理
摘要表明，与Lebiedow-Icz等人的主张相反。（Phys Rev D 105（1）：014022，2022）在适当的物理变量中配制的较低定理（Phys Rev 110（4）：974–977，1958）用于软光子发射不需要任何模拟。我们还拒绝Lebiedowicz等人的批评。（2022）论文（Phys。Burnett和Kroll。修订版Lett。 20：86–88，1968; Nucl Phys B 307：705–720，1988年的Lipatov。 同时，我们确定了Burnett and Kroll（1968）中的一些不准确性，以呈现软孔定理的旋转一半属性。 我们还指出了经典教科书中低定理的缺点（Berestetskii等人 量子电动力学。 Pergamon Press，牛津，1982年； Lifshitz和Pitaevsky在相对论量子理论中，第2部分，Fizmatlit，2002）。Lett。20：86–88，1968; Nucl Phys B 307：705–720，1988年的Lipatov。同时，我们确定了Burnett and Kroll（1968）中的一些不准确性，以呈现软孔定理的旋转一半属性。我们还指出了经典教科书中低定理的缺点（Berestetskii等人量子电动力学。Pergamon Press，牛津，1982年； Lifshitz和Pitaevsky在相对论量子理论中，第2部分，Fizmatlit，2002）。
有效的量子并行重复定理和...
𝑓𝑓！𝑥，，…，𝑥！≔∏ -𝑓𝑥-是𝜀！- 预测𝐷𝐷！[levin'87]等效于平行重复，直至一定损失：•XOR引理⇒平行重复 - 直觉上容易[Viola，widgerson'08]•XOR引理⇐平行重复 - Goldreich -Levin
哥德尔不完备定理及其对计算的启示
哥德尔的两个不完备性定理中的第一个指出“任何一致的形式系统 F，只要其中可以执行一定数量的基本算术，都是不完备的”6。这意味着 F 中存在既不能证明也不能反驳的陈述（F 中的“哥德尔句”可以称为 GF）。每个系统都有自己的哥德尔句。虽然可以定义一个新的、“更具包容性”的系统 F'，并由整个 F 以及之前的哥德尔句 GF 作为公理组成，但这不会产生一个现在完整的系统，因为该定理也适用于修改后的 F 版本，因此 F' 也不完整。因此，GF 将成为 F' 中的一个定理，这并不与哥德尔第一定理相矛盾，因为 GF 在 F 中无法证明，而不是在 F' 中。然而，由于第一定理适用于F'，因此存在一个新的哥德尔句子GF'，证明F'也是不完整的。
因果序叠加的不成立定理
事件的因果顺序不必固定：在某个站点，一辆公交车是先于另一辆公交车到达还是晚于另一辆公交车到达可能取决于其他变量，比如交通状况。因果顺序的相干量子控制也是可能的，而且是多种任务的有用资源。然而，量子控制意味着控制系统携带着哪种顺序的信息——如果控制被追踪，事件的顺序将保持概率混合。两个事件的顺序可以是纯叠加，与任何其他系统不相关吗？这里我们表明，对于一类广泛的过程来说，这是不可能的：任何一对具有相同局部维度和不同因果顺序的马尔可夫幺正过程的纯叠加都不是有效过程，即当用某些操作探测时，它会导致非正则化概率。这一结果对量子信息处理的新资源和量子引力理论中的可能过程施加了限制。
同构性算法元素定理
两个图G和H是图形F家族的同态性，如果对于所有图F∈F，则从F到G的同态数量等于从F到H的同构数量。比较图形，例如（量子）同构，合适和逻辑等价的许多自然对等关系可以被视为各种图类别的同态性关系。对于固定的图类F，决策问题（F）要求确定两个输入图G和H是否在F上无法区分。众所周知，该问题仅在少数图类别f中可以决定。我们表明，Hom I nd（f）允许每个有界树宽的图类F类随机多项式算法，这在计数Monadic二阶逻辑CMSO 2中是可以定义的。因此，我们给出了第一个一般算法，以确定同态性不可分性。此结果延伸到h om i nd的一个版本，其中图形F类由CMSO 2句子指定，而在树顶上绑定了一个绑定的k，将其作为输入给出。对于固定k，此问题是可随机固定参数的。如果k是输入的一部分，则它是conp-和cow [1] -hard。解决Berkholz（2012）提出的问题时，我们通过确定在k维weisfeiler-Leman算法下确定在k是输入的一部分时确定不可区分性的情况。