Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
Researchers Map the Hidden 3D Geometry of a Quantum Wavefunction
哥廷根大学的物理学家使用桌面软 X 射线激光器对三维波函数进行成像。分子内的电子不占据一个固定点。相反，量子力学通过“波函数”来描述它，这是一种给出位置和动量等属性的概率的数学图。在分子内，这些电子波函数被称为 [...]
GH-ESD: Grounded Hypothesis-Driven Error Slice Discovery for Instance-Level Vision Tasks
视觉模型在语义相干子集上的系统性失败（称为错误切片）揭示了鲁棒性和评估的局限性。现有的切片发现方法主要将切片建模为表示空间中的簇或预定义属性的组合。虽然对于图像级分类有效，但这种公式对于对象检测和分割等实例级任务来说是不够的，在这些任务中，失败通常是由上下文关系和空间基础的视觉模式引起的。我们提出 GH-ESD（扎根假设驱动的误差切片发现），...
Two Ways To Think About Fixed Capital
1.0 简介本文介绍了固定资本的两种方法。第一种方法强调权力和惯例。正如梅森和贾亚德夫（2026）所说，它强调“货币世界”并不是生产物理属性的直接反映。第二个更接近于一个确定的模型，具有一定的自由度。我之前至少有一篇文章，更抽象地讨论了这些主题2.0折旧作为会计惯例和权力行使的调解罗伯特·保罗·沃尔夫指出，如何分配间接费用在许多公司中是一种政治活动。同一级别的两名经理可能各自负责特定产品的生产。假设这些产品是在工厂生产的。每个经理都希望高层管理人员看到他们正在为公司赚取最大的利润。为了每个人的利益，将尽可能多的设备运行费用分配给竞争对手的部门。一台给定的机器可能用于多个生产过程，从而生产不同的
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
