量子引力与弦论
量子引力与弦论过去二十年的关键变化不能写成成果年表。本次重建保留二十个现代题目,把每条重新落实到原始提出、可核查争议、2024—2026 更新、六段证据正文与八字段碰撞行;随后新增二十条 1950—2006 经典思想,逐条说明现代判断改写了哪一条旧前提。两层共用对象、分母、量纲、失效与异名接口,但现代层负责最近的转向,经典层负责这条路最初如何成立。
第一幕不以“先发生”为唯一理由,而以证据对象第一次被稳定建立为入选条件。八条分别追踪装置、测量、计算和分类如何把原来不可比较的东西变成可反驳命题,同时把后来会暴露的分母、系统项与边界一并埋在原始证据里。
甲、纠缠熵等于一块面积Holographic derivation of entanglement entropy.
甲、纠缠熵等于一块面积的历史起点不是后来加上的标签,而是Ryu S在2006年前后把一个模糊判断写成可检查对象;2006 年提出的一个公式说:在全息对偶里,边界上某块区域的纠缠熵,等于体内一个极小曲面的面积;面积公式是字典,不是已经证明真实时空由纠缠唯一生成;在AdS/CFT 的边界字典与半经典引力近似里,纠缠熵等于一块面积原先把一组工作条件当成透明背景。
这条关系简单到可以写在一行里,却把两个此前毫不相干的量对上了;甲、纠缠熵等于一块面积的可反驳命题可压缩成一句:在Ryu S限定的对象与时窗中,关系写成面积关联等于一块面积必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Ryu S之外的第二条独立路径应保住方向;甲、纠缠熵等于一块面积另由Ryu S核对量纲换算。
Ryu–Takayanagi 关系写成 S(A)=Area(γA)/4G,面积与熵由 4G 换算;2006 年提出的一个公式说:在全息对偶里,边界上某块区域的纠缠熵,等于体内一个极小曲面的面积,此处限于“纠缠熵等于一块面积”的读数边界;Ryu—Takayanagi公式把边界区域的纠缠熵写成体内极小曲面的面积除以4G;Ryu S为甲、纠缠熵等于一块面积记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;甲、纠缠熵等于一块面积另由Ryu S核对失败样本(Ryu S 2006,Carney D 2024)。
此后十几年关于全息的几乎所有工作,都是在这条式子上加修正、加量子项、或者反过来用它去构造几何;甲、纠缠熵等于一块面积的争议由2015年Engelhardt N的另一条材料承担;Ryu S据此做的复核未必否定甲、纠缠熵等于一块面积本身,却要求围绕关系写成面积关联等于一块面积分开登记共用系统项、选择差异与反号边界。
Ryu—Takayanagi公式把边界区域的纠缠熵写成体内极小曲面的面积除以4G,此处限于“纠缠熵等于一块面积”的更新边界;到2024年,Carney D把关系写成面积关联等于一块面积纳入更新核验;2024年的更新价值不是续年份,而是借关系写成面积关联等于一块面积检查Ryu S提出的甲、纠缠熵等于一块面积在关系写成面积关联等于一块面积对应的新规模、异仪器与工作态里能否压低总误差。
它先在静态AdS背景成立,协变推广与量子修正随后补上;Ryu S关于甲、纠缠熵等于一块面积的证据与第011号《粒子物理与标准模型》第 20 条「十二、开放似然与可复用数据:结果开始携带分析接口」形成对撞;围绕关系写成面积关联等于一块面积不比名词近似,只换算分母与时窗,再核停止规则;甲、纠缠熵等于一块面积另由Ryu S核对版本历史。
乙、火墙:把老悖论重新点着Black holes: complementarity or firewalls?
回到Almheiri A在2013年前后的原始材料,乙、火墙:把老悖论重新点着首先改变的是问题的写法;2012 年提出的一个论证指出,黑洞蒸发过程中有三条看似都该成立的原理无法同时成立——若信息守恒且辐射是纠缠的,则视界处必须有一堵高能「火墙」,而这与等效原理冲突;在AdS/CFT 的边界字典与半经典引力近似里,火墙:把老悖论重新点着原先把一组工作条件当成透明背景。
它的价值不在于给出答案,而在于把一个被搁置三十年的悖论重新变成技术问题,逼所有人说清自己放弃哪一条;乙、火墙:把老悖论重新点着的可反驳命题可压缩成一句:在Almheiri A限定的对象与时窗中,论证把幺正性关联悖论重新点着必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Almheiri A之外的第二条独立路径应保住方向。
AMPS 论证把幺正性、视界处低能有效场论和无剧烈体验 3 项要求并列;2012 年提出的一个论证指出,黑洞蒸发过程中有三条看似都该成立的原理无法同时成立——若信息守恒且辐射是纠缠的,则视界处必须有一堵高能「火墙」,而这与等效原理冲突,此处限于“火墙:把老悖论重新点着”的读数边界;AMPS在2012—2013年把黑洞老化后的三项要求并列:幺正性、视界处低能有效场论和落入者无剧烈体验不可同时保持(Almheiri A 2013,Chen HZ 2024)。
AMPS在2012—2013年把黑洞老化后的三项要求并列:幺正性、视界处低能有效场论和落入者无剧烈体验不可同时保持;乙、火墙:把老悖论重新点着的争议由2017年Cotler J的另一条材料承担;Almheiri A据此做的复核未必否定乙、火墙:把老悖论重新点着本身,却要求围绕论证把幺正性关联悖论重新点着分开登记共用系统项、选择差异与反号边界。
火墙论证的力量来自逻辑三角,弱点也在半经典切分是否能跨Page时刻使用;到2024年,Chen HZ把论证把幺正性关联悖论重新点着纳入更新核验;2024年的更新价值不是续年份,而是借论证把幺正性关联悖论重新点着检查Almheiri A提出的乙、火墙:把老悖论重新点着在论证把幺正性关联悖论重新点着对应的新规模、异仪器与工作态里能否压低总误差。
接口保留原始单位、尺度与禁用条件;脱离这份合同,本条与岛公式与 Page 曲线的异名只会制造假同题;Almheiri A关于乙、火墙:把老悖论重新点着的证据与第013号《宇宙学》第 7 条「庚、ΛCDM 的胜利与过拟合边界」形成对撞;围绕论证把幺正性关联悖论重新点着不比名词近似,只换算分母与时窗,再核停止规则;乙、火墙:把老悖论重新点着另由Almheiri A核对版本历史。
丙、几何与纠错的第一次相遇Holographic quantum error-correcting codes.
2015年前后出现的丙、几何与纠错的第一次相遇,价值在于让旧解释第一次承担明确的观察后果;同期出现的另一条线把全息词典读成一种量子纠错码:体内的信息被冗余地编码在边界上,因此局部损失不会破坏它;在AdS/CFT 的边界字典与半经典引力近似里,几何与纠错的第一次相遇原先把一组工作条件当成透明背景。
这解释了全息对应中那些奇怪的非局域性;非弦路线的自我整理只提供不同问题的参照;丙、几何与纠错的第一次相遇的可反驳命题可压缩成一句:在Pastawski F限定的对象与时窗中,纠错表述用可关联的第一次相遇必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Pastawski F之外的第二条独立路径应保住方向。
纠错表述用可恢复逻辑算符数/编码子空间维数检验几何是否稳定;由此,量子信息的整套词汇(纠缠、复杂度、纠错)进入了引力研究,并很快反向输出给凝聚态与量子计算;Pastawski F为丙、几何与纠错的第一次相遇记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;丙、几何与纠错的第一次相遇另由Pastawski F核对退出条件(Pastawski F 2015,Carney D 2024)。
HaPPY码用张量网络把体内算符编码到边界子区,展示纠缠楔重建与量子纠错的同构;信息悖论改写为纠缠账本另用自己的停止规则;丙、几何与纠错的第一次相遇的争议由2006年Ryu S的另一条材料承担;Pastawski F据此做的复核未必否定丙、几何与纠错的第一次相遇本身,却要求围绕纠错表述用可关联的第一次相遇分开登记共用系统项、选择差异与反号边界。
玩具模型固定负曲率与完美张量,能解释冗余编码,却不能直接给出四维引力的连续动力学;到2024年,Carney D把纠错表述用可关联的第一次相遇纳入更新核验;2024年的更新价值不是续年份,而是借纠错表述用可关联的第一次相遇检查Pastawski F提出的丙、几何与纠错的第一次相遇在纠错表述用可关联的第一次相遇对应的新规模、异仪器与工作态里能否压低总误差。
丙、几何与纠错的第一次相遇只有在Pastawski F的对象、单位和失败条件同时对齐时才可跨域迁移;Pastawski F关于丙、几何与纠错的第一次相遇的证据与第013号《宇宙学》第 14 条「六、ACT 透镜地图:独立 CMB 路线复核 Planck」形成对撞;围绕纠错表述用可关联的第一次相遇不比名词近似,只换算分母与时窗,再核停止规则;丙、几何与纠错的第一次相遇另由Pastawski F核对版本历史。
丁、景观与人择的正面交锋The Cosmic Landscape: String Theory and the Illusion of Intelligent Design.
如果只按年代记,丁、景观与人择的正面交锋容易被写成一次成果,而按Susskind L的证据链读,它实际重划了对象边界;弦论真空数目极其庞大这一事实,在这一时期从技术细节变成了方法论争论:如果理论允许几乎任何低能物理,它还预言什么;在AdS/CFT 的边界字典与半经典引力近似里,景观与人择的正面交锋原先把一组工作条件当成透明背景。
一派主张用统计与人择推理,另一派认为这等于放弃可证伪性;丁、景观与人择的正面交锋的可反驳命题可压缩成一句:在Susskind L限定的对象与时窗中,景观讨论常引关联择的正面交锋必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Susskind L之外的第二条独立路径应保住方向;丁、景观与人择的正面交锋另由Susskind L核对量纲换算。
景观讨论常引用约 10⁵⁰⁰ 个通量真空的数量级,但它不是已完成普查;不同通量紧化给出离散低能参数,但10的数百次方只是数量级叙事,不是已完成的真空普查;Susskind L为丁、景观与人择的正面交锋记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Susskind L在丁、景观与人择的正面交锋中的中心值,会把测量精度误当成理论确定性(Susskind L 2006,Carney D 2024)。
问题被换掉了,而换问题正是出路;岛公式与 Page 曲线另用自己的停止规则;丁、景观与人择的正面交锋的争议由2007年Arkani-Hamed N的另一条材料承担;Susskind L据此做的复核未必否定丁、景观与人择的正面交锋本身,却要求围绕景观讨论常引关联择的正面交锋分开登记共用系统项、选择差异与反号边界;丁、景观与人择的正面交锋另由Susskind L核对退出条件。
弦论景观的巨大真空数把宇宙常数问题转成选择问题,人择论证则要求先有可定义的测度;到2024年,Carney D把景观讨论常引关联择的正面交锋纳入更新核验;2024年的更新价值不是续年份,而是借景观讨论常引关联择的正面交锋检查Susskind L提出的丁、景观与人择的正面交锋在景观讨论常引关联择的正面交锋对应的新规模、异仪器与工作态里能否压低总误差。
不同通量紧化给出离散低能参数,但10的数百次方只是数量级叙事,不是已完成的真空普查,此处限于“景观与人择的正面交锋”的接口边界;Susskind L关于丁、景观与人择的正面交锋的证据与第003号《拓扑与同伦论》第 1 条「甲、三维几何化:一个百年猜想收口」形成对撞;围绕景观讨论常引关联择的正面交锋不比名词近似,只换算分母与时窗,再核停止规则。
戊、非弦路线的自我整理Loop quantum cosmology: a status report.
圈量子引力在这一时期把自旋泡沫模型定型,因果动力三角剖分给出了可数值模拟的时空生成图像,渐近安全纲领用泛函重整化群给出了不动点的证据;在AdS/CFT 的边界字典与半经典引力近似里,非弦路线的自我整理原先把一组工作条件当成透明背景;圈量子引力面关联线的自我整理还需保留本条边界;圈量子引力面关联线的自我整理还需保留本条边界,此处限于“非弦路线的自我整理”的起点边界。
它们各自的困难也在这一时期变得清楚:如何回到低能的经典极限,以及如何做出可与观测对接的预言;戊、非弦路线的自我整理的可反驳命题可压缩成一句:在Ashtekar A限定的对象与时窗中,圈量子引力面关联线的自我整理必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Ashtekar A之外的第二条独立路径应保住方向。
圈量子引力面积谱以普朗克面积为单位,半经典极限须回到 A/ℓP²;圈量子引力、因果动力三角化与渐近安全分别从离散几何、路径积分和重整化群切入;岛公式与 Page 曲线的单位不直接借来换算;Ashtekar A为戊、非弦路线的自我整理记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告(Ashtekar A 2011,Carney D 2024)。
它们共享无直接实验这一困难,却不共享弦论的额外维和全息字典,不能被合并成“非弦方案”一个结论;戊、非弦路线的自我整理的争议由2015年Rovelli C的另一条材料承担;Ashtekar A据此做的复核未必否定戊、非弦路线的自我整理本身,却要求围绕圈量子引力面关联线的自我整理分开登记共用系统项、选择差异与反号边界;戊、非弦路线的自我整理另由Ashtekar A核对失败样本。
Ashtekar A的最新工作把戊、非弦路线的自我整理推进到更接近真实运行的条件;到2024年,Carney D把圈量子引力面关联线的自我整理纳入更新核验;2024年的更新价值不是续年份,而是借圈量子引力面关联线的自我整理检查Ashtekar A提出的戊、非弦路线的自我整理在圈量子引力面关联线的自我整理对应的新规模、异仪器与工作态里能否压低总误差。
戊、非弦路线的自我整理只有在Ashtekar A的对象、单位和失败条件同时对齐时才可跨域迁移;Ashtekar A关于戊、非弦路线的自我整理的证据与第003号《拓扑与同伦论》第 8 条「辛、同调稳定:对象越大,低维同调反而固定」形成对撞;围绕圈量子引力面关联线的自我整理不比名词近似,只换算分母与时窗,再核停止规则;戊、非弦路线的自我整理另由Ashtekar A核对版本历史。
己、沼泽地猜想:把不可构造性写成判据On the geometry of the string landscape and the swampland.
己、沼泽地猜想:把不可构造性写成判据的历史起点不是后来加上的标签,而是Ooguri H在2007年前后把一个模糊判断写成可检查对象;2013 年提出的「爱因斯坦-罗森桥即爱因斯坦-波多尔斯基-罗森对」把纠缠与虫洞直接等同起来;在AdS/CFT 的边界字典与半经典引力近似里,沼泽地猜想:把不可构造性写成判据原先把一组工作条件当成透明背景。
作为严格命题它并不完整,作为纲领它极有效——它给了一个可以反复检验的具体图像;岛公式与 Page 曲线只提供不同问题的参照;己、沼泽地猜想:把不可构造性写成判据的可反驳命题可压缩成一句:在Ooguri H限定的对象与时窗中,距离猜想把场关联造性写成判据必须由核心机制单独保住排序;距离猜想把场关联造性写成判据还需保留本条边界。
距离猜想把场位移写成 Δφ/MPl,并以 O(1) 系数划出有效场论边界;2013 年提出的「爱因斯坦-罗森桥即爱因斯坦-波多尔斯基-罗森对」把纠缠与虫洞直接等同起来,此处限于“沼泽地猜想:把不可构造性写成判据”的读数边界;Ooguri H为己、沼泽地猜想:把不可构造性写成判据记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告(Ooguri H 2007,Carney D 2024)距离猜想把场关联造性写成判据还需保留本条边界。
弱引力猜想与德西特沼泽地判据试图把可来自量子引力的有效理论圈出来;己、沼泽地猜想:把不可构造性写成判据的争议由2006年Susskind L的另一条材料承担;Ooguri H据此做的复核未必否定己、沼泽地猜想:把不可构造性写成判据本身,却要求围绕距离猜想把场关联造性写成判据分开登记共用系统项、选择差异与反号边界;距离猜想把场关联造性写成判据还需保留本条边界,此处限于“沼泽地猜想:把不可构造性写成判据”的争议边界。
大量例证不等于定理,判据每次扩展到新紧化都要重新列适用条件;到2024年,Carney D把距离猜想把场关联造性写成判据纳入更新核验;2024年的更新价值不是续年份,而是借距离猜想把场关联造性写成判据检查Ooguri H提出的己、沼泽地猜想:把不可构造性写成判据在距离猜想把场关联造性写成判据对应的新规模、异仪器与工作态里能否压低总误差。
可证伪点是出现受控反例,而非引用量下降;Ooguri H关于己、沼泽地猜想:把不可构造性写成判据的证据与第003号《拓扑与同伦论》第 15 条「七、红移现象:代数 K 理论把染色高度推上一层」形成对撞;围绕距离猜想把场关联造性写成判据不比名词近似,只换算分母与时窗,再核停止规则;距离猜想把场关联造性写成判据还需保留本条边界,此处限于“沼泽地猜想:把不可构造性写成判据”的接口边界。
辛、岛公式与 Page 曲线Quantum extremal surfaces: holographic entanglement entropy beyond the classical regime.
2015年前后出现的辛、岛公式与 Page 曲线,价值在于让旧解释第一次承担明确的观察后果;2019 至 2020 年的关键工作表明:在计算辐射的熵时,必须把黑洞内部的某个区域也算作「属于辐射」的一部分——这个区域被称作岛屿;那条曲线被算出来了,指的是黑洞蒸发过程中辐射的纠缠熵应先升后降的行为:这条曲线是信息不丢失的必要标志,此前四十年只能作为期待。
加上它之后,半经典计算给出的熵曲线正好是先增后减的那条;2019 年前后,通过在引力路径积分中纳入连接不同副本的新鞍点,人们在若干可控模型中把这条曲线算了出来;辛、岛公式与 Page 曲线的可反驳命题可压缩成一句:在Engelhardt N限定的对象与时窗中,岛公式取的副关联岛公式与曲线必须由核心机制单独保住排序。
岛公式取 n→1 的副本极限,并最小化广义熵 A/4G+Sbulk;2019 至 2020 年的关键工作表明:在计算辐射的熵时,必须把黑洞内部的某个区域也算作「属于辐射」的一部分——这个区域被称作岛屿,此处限于“岛公式与 Page 曲线”的读数边界;2019 年前后,通过在引力路径积分中纳入连接不同副本的新鞍点,人们在若干可控模型中把这条曲线算了出来(Engelhardt N 2015,Carney D 2024)岛公式取的副关联岛公式与曲线还需保留本条边界。
这些贡献在熵的计算里恰好在转折点之后接管,从而把曲线拉下来;辛、岛公式与 Page 曲线的争议由2015年Engelhardt N的另一条材料承担;Engelhardt N据此做的复核未必否定辛、岛公式与 Page 曲线本身,却要求围绕岛公式取的副关联岛公式与曲线分开登记共用系统项、选择差异与反号边界;Engelhardt N的碰撞行同时保存自曝——负结果只以排除图边缘出现,无法进入主题检索,领域的失败率因而被系统性低估。
要如实说明它证明了什么、没证明什么:它给出了信息守恒所要求的熵曲线,但没有告诉我们信息以什么方式编码在辐射中,也没有说明落入黑洞的观察者会经历什么;到2024年,Carney D把岛公式取的副关联岛公式与曲线纳入更新核验;岛公式取的副关联岛公式与曲线还需保留本条边界;岛公式取的副关联岛公式与曲线还需保留本条边界,此处限于“岛公式与 Page 曲线”的更新边界。
它证明的是半经典引力比人们以为的知道得更多;Engelhardt N关于辛、岛公式与 Page 曲线的证据与第015号《统计物理与复杂系统》第 9 条「丙、随机热力学成形」形成对撞;围绕岛公式取的副关联岛公式与曲线不比名词近似,只换算分母与时窗,再核停止规则;辛、岛公式与 Page 曲线另由Engelhardt N核对版本历史;本次登记同时保留辛、岛公式与 Page 曲线的版本号与退出线。
一、主张:时空几何可能是量子纠缠的集体产物Building up spacetime with quantum entanglement.
如果只按年代记,一、主张:时空几何可能是量子纠缠的集体产物容易被写成一次成果,而按Van Raamsdonk M的证据链读,它实际重划了对象边界;这条线更早的源头是全息对应:一个引力理论等价于其边界上一个没有引力的量子理论;此后进一步的发现是,体时空的信息以类似纠错码的方式编码在边界上——同一份体信息可以从多个不同的边界区域重建。
这十年把它推进到一个更具体的主张——边界上的纠缠结构决定了体内时空的几何:某块区域的纠缠熵对应体内一个极小曲面的面积,纠缠被切断则时空被切开;几何、纠缠与纠错三者在这里被接成了同一件事;纠缠第一定律关联缠的集体产物还需保留本条边界;纠缠第一定律关联缠的集体产物还需保留本条边界,此处限于“主张:时空几何可能是量子纠缠的集体”的命题边界。
纠缠第一定律比较 δS 与 δArea/4G 的一阶变化;与之配套的是量子纠错的视角:体内的信息以纠错码的方式冗余地编码在边界上,因此局部的损失不会破坏它;Van Raamsdonk M为一、主张:时空几何可能是量子纠缠的集体产物记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告(Van Raamsdonk M 2010,Carney D 2024)纠缠第一定律关联缠的集体产物还需保留本条边界。
这解释了全息词典为何有那种奇特的非局域性;Replica wormhole:半经典路径积分补回信息另用自己的停止规则;一、主张:时空几何可能是量子纠缠的集体产物的争议由2017年Marletto C的另一条材料承担;Van Raamsdonk M据此做的复核未必否定一、主张:时空几何可能是量子纠缠的集体产物本身,却要求围绕纠缠第一定律关联缠的集体产物分开登记共用系统项、选择差异与反号边界。
这个方向的收获超出引力本身:它把广义相对论、量子信息与多体物理接到了同一套语言里,而这套语言的具体计算工具(纠缠熵、复杂度、随机张量网络)在凝聚态与量子计算里也被使用(见相邻面板);到2024年,Carney D把纠缠第一定律关联缠的集体产物纳入更新核验;纠缠第一定律关联缠的集体产物还需保留本条边界,此处限于“主张:时空几何可能是量子纠缠的集体”的更新边界。
时空来自纠缠这条线,起点是一个精确的对应:边界理论中某个区域的纠缠熵,等于体时空中一块极小曲面的面积;Van Raamsdonk M关于一、主张:时空几何可能是量子纠缠的集体产物的证据与第015号《统计物理与复杂系统》第 16 条「六、随机重置:忘掉历史反而缩短搜索时间」形成对撞;围绕纠缠第一定律关联缠的集体产物不比名词近似,只换算分母与时窗,再核停止规则。
第二幕检查已经成立的判断在更大数据、更高分辨率和真实工作态中是否保持方向。十二条优先保留独立复核、反向结果、失败样本与停止规则,使最新年份承担边界更新,而不是只给旧结论续期。
庚、信息悖论改写为纠缠账本Entanglement wedge reconstruction and the information paradox.
回到Penington G在2020年前后的原始材料,庚、信息悖论改写为纠缠账本首先改变的是问题的写法;黑洞会因量子效应缓慢蒸发;悖论的形状要说清:黑洞的热辐射看似只依赖质量、电荷与角动量,与落进去的信息无关;在AdS/CFT 的边界字典与半经典引力近似里,信息悖论改写为纠缠账本原先把一组工作条件当成透明背景;庚、信息悖论改写为纠缠账本另由Penington G核对量纲换算。
按霍金最初的计算,辐射是纯热的,不携带落入物质的信息;若蒸发完毕后信息真的消失,量子力学的幺正演化就被破坏;庚、信息悖论改写为纠缠账本的可反驳命题可压缩成一句:在Penington G限定的对象与时窗中,曲线要求辐射关联写为纠缠账本必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Penington G之外的第二条独立路径应保住方向。
Page 曲线要求辐射熵在约一半蒸发时间附近转折,而不是单调上升;等黑洞完全蒸发,信息就消失了——而量子力学不允许信息消失;这个矛盾之所以有价值,是因为它把引力与量子力学的冲突压缩成一个可以定量讨论的具体问题,而不是笼统的不兼容(Penington G 2020,Chen HZ 2024)曲线要求辐射关联写为纠缠账本还需保留本条边界。
把悖论定量化的是纠缠熵:如果信息守恒,辐射与黑洞之间的纠缠熵应当先增后减,在黑洞蒸发到一半左右转折,最终归零;庚、信息悖论改写为纠缠账本的争议由2020年Penington G的另一条材料承担;Penington G据此做的复核未必否定庚、信息悖论改写为纠缠账本本身,却要求围绕曲线要求辐射关联写为纠缠账本分开登记共用系统项、选择差异与反号边界。
而霍金的计算给出的是单调上升;到2024年,Chen HZ把曲线要求辐射关联写为纠缠账本纳入更新核验;2024年的更新价值不是续年份,而是借曲线要求辐射关联写为纠缠账本检查Penington G提出的庚、信息悖论改写为纠缠账本在曲线要求辐射关联写为纠缠账本对应的新规模、异仪器与工作态里能否压低总误差;曲线要求辐射关联写为纠缠账本还需保留本条边界。
这条应有的曲线就是判据;Penington G关于庚、信息悖论改写为纠缠账本的证据与第015号《统计物理与复杂系统》第 2 条「乙、用非平衡过程测平衡量」形成对撞;围绕曲线要求辐射关联写为纠缠账本不比名词近似,只换算分母与时窗,再核停止规则;庚、信息悖论改写为纠缠账本另由Penington G核对版本历史;庚、信息悖论改写为纠缠账本另由Penington G核对对象边界。
二、沼泽地:不是什么都能来自量子引力De Sitter space and the swampland
弦论长期被批评为「什么都能容纳、因而什么都不预言」;而这些约束在原则上可以被宇宙学与粒子实验检验——例如与暗能量性质相关的一条判据,与观测数据的关系至今争议激烈(见相邻面板);在Obied G推动的二、沼泽地:不是什么都能来自量子引力转向里,半经典极限、边界条件与可观测量在德西特斜率猜关联来自量子引力的复核里不是背景,须作为实验条件随结论保存。
这十年最有分量的回应是沼泽地纲领:它主张绝大多数看起来自洽的低能有效理论,其实无法由任何量子引力理论产生;沼泽地纲领的做法是反过来问:不是哪些理论能从量子引力中导出,而是哪些看似自洽的低能理论其实无法被量子引力容纳;二、沼泽地:不是什么都能来自量子引力另由Obied G核对有效分母;二、沼泽地:不是什么都能来自量子引力另由Obied G核对退出条件。
德西特斜率猜想比较 MPl|∇V|/V,并把 O(1) 作为待检验尺度;只有落在很小一块「景观」中的才可以;由此得到一系列猜想,比如引力必须是所有相互作用中最弱的、以及某类加速膨胀的真空难以稳定存在;Obied G为二、沼泽地:不是什么都能来自量子引力记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告(Obied G 2018,Carney D 2024)。
一批被提出的判据具有可检验的形状——例如引力必须是最弱的力、不存在精确的整体对称性、以及关于场值可变动范围的限制;它们的地位介于定理与经验规律之间——有大量例证支持,无一般证明;二、沼泽地:不是什么都能来自量子引力的争议由2019年Garg S的另一条材料承担;二、沼泽地:不是什么都能来自量子引力另由Obied G核对失败样本。
有些判据有较强的论证甚至证明,有些仍是猜想;到2024年,Carney D把德西特斜率猜关联来自量子引力纳入更新核验;2024年的更新价值不是续年份,而是借德西特斜率猜关联来自量子引力检查Obied G提出的二、沼泽地:不是什么都能来自量子引力在德西特斜率猜关联来自量子引力对应的新规模、异仪器与工作态里能否压低总误差。
这个纲领改变了辩论的性质:问题不再是「弦论能不能预言我们的世界」,而是「量子引力对任何低能物理施加了哪些硬约束」;Obied G关于二、沼泽地:不是什么都能来自量子引力的证据与第312号《引力波与多信使天文》第 3 条「丙、干涉仪噪声预算」形成对撞;围绕德西特斜率猜关联来自量子引力不比名词近似,只换算分母与时窗,再核停止规则。
三、主张:平直空间的成功不能直接外推到真实宇宙Flat space amplitudes and conformal symmetry of the celestial sphere.
三、主张:平直空间的成功不能直接外推到真实宇宙的历史起点不是后来加上的标签,而是Pasterski S在2017年前后把一个模糊判断写成可检查对象;全息对应的坚实版本建立在带负曲率的时空上,而我们的宇宙不是;平直空间与真实宇宙这一节是整条路线的软肋:现有的全息对应建立在负曲率的时空背景上,而我们所处的宇宙具有正的宇宙学常数、且没有那种边界结构。
这十年因此有一条明确的努力方向:把全息的结论搬到平直时空与膨胀宇宙;把结论搬过来需要额外假设,而这些假设至今没有独立支持——这也是外界质疑该纲领与现实关系的主要理由;三、主张:平直空间的成功不能直接外推到真实宇宙的可反驳命题可压缩成一句:在Pasterski S限定的对象与时窗中,观测宇宙常数关联推到真实宇宙必须由核心机制单独保住排序。
观测宇宙常数约为 10⁻¹²² 个普朗克单位,不能由平直背景直接替代;一条路线是天球全息——把渐近平直时空的散射振幅重述为天球面上的共形场论关联函数;Pasterski S为三、主张:平直空间的成功不能直接外推到真实宇宙记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告(Pasterski S 2017,Carney D 2024)。
另一条是研究德西特时空的量子理论,这里连基本的可观测量该如何定义都不清楚,因为没有渐近区域可供定义散射;三、主张:平直空间的成功不能直接外推到真实宇宙的争议由2018年Obied G的另一条材料承担;三、主张:平直空间的成功不能直接外推到真实宇宙另由Pasterski S核对退出条件;三、主张:平直空间的成功不能直接外推到真实宇宙另由Pasterski S核对失败样本。
这一块目前仍是敞开的;到2024年,Carney D把观测宇宙常数关联推到真实宇宙纳入更新核验;2024年的更新价值不是续年份,而是借观测宇宙常数关联推到真实宇宙检查Pasterski S提出的三、主张:平直空间的成功不能直接外推到真实宇宙在观测宇宙常数关联推到真实宇宙对应的新规模、异仪器与工作态里能否压低总误差。
诚实的表述是:我们对量子引力最可靠的知识,来自一个我们并不居住的时空;Pasterski S关于三、主张:平直空间的成功不能直接外推到真实宇宙的证据与第312号《引力波与多信使天文》第 10 条「二、千新星重元素核算」形成对撞;围绕观测宇宙常数关联推到真实宇宙不比名词近似,只换算分母与时窗,再核停止规则;观测宇宙常数关联推到真实宇宙还需保留本条边界。
四、桌面引力纠缠:可检验性重回议程Gravitationally induced entanglement between two massive particles.
回到Marletto C在2017年前后的原始材料,四、桌面引力纠缠:可检验性重回议程首先改变的是问题的写法;量子引力的老批评是不可证伪;还有一条被数值推进的路线是数值广义相对论:双黑洞与双中子星并合的模拟精度与引力波观测直接挂钩,而观测反过来对强场引力给出了迄今最严格的检验;四、桌面引力纠缠:可检验性重回议程另由Marletto C核对量纲换算。
这十年的答案分两层;它不直接触及量子引力,却把「经典引力在极端条件下依然正确」这条前提钉得更牢;四、桌面引力纠缠:可检验性重回议程的可反驳命题可压缩成一句:在Marletto C限定的对象与时窗中,桌面方案把两关联验性重回议程必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Marletto C之外的第二条独立路径应保住方向。
桌面方案把两质量的纠缠见证写成相位/弧度,并在亚毫米间距上比较;第一层是间接的:沼泽地判据给低能物理施加约束,宇宙学观测(原初引力波、暗能量随时间的变化)在原则上可以与之冲突;可检验性这件事必须诚实:现有的引力波观测与黑洞成像,其精度距离区分不同量子引力方案还差得很远(Marletto C 2017,Carney D 2024)。
第二层是桌面实验:若能让两个毫克级的物体通过引力相互作用产生纠缠,就能论证引力场本身必须是量子的;宇宙学观测能给出的约束也极为宽松;四、桌面引力纠缠:可检验性重回议程的争议由2017年Marletto C的另一条材料承担;四、桌面引力纠缠:可检验性重回议程另由Marletto C核对退出条件;四、桌面引力纠缠:可检验性重回议程另由Marletto C核对失败样本。
技术要求极高,但已经从思想实验变成了在建的实验方向;这门学科当前的检验主要是内部一致性——不同方法在同一模型上是否给出相同答案,以及是否与已知的低能物理相容;到2024年,Carney D把桌面方案把两关联验性重回议程纳入更新核验;桌面方案把两关联验性重回议程还需保留本条边界;桌面方案把两关联验性重回议程还需保留本条边界,此处限于“桌面引力纠缠:可检验性重回议程”的更新边界。
与此同时,圈量子引力、因果集、渐近安全等非弦路线继续推进,且这十年它们与弦论社群的交流比过去多——共同的语言恰恰是纠缠熵与全息;Marletto C关于四、桌面引力纠缠:可检验性重回议程的证据与第312号《引力波与多信使天文》第 17 条「九、公开告警成为观测基础设施」形成对撞;围绕桌面方案把两关联验性重回议程不比名词近似,只换算分母与时窗,再核停止规则。
五、Replica wormhole:半经典路径积分补回信息Replica wormholes and the entropy of Hawking radiation.
2020年前后出现的五、Replica wormhole:半经典路径积分补回信息,价值在于让旧解释第一次承担明确的观察后果;2020年前后,多个团队在计算辐射熵时发现连接不同副本的虫洞鞍点,量子极值曲面随之产生岛区并给出Page曲线;在AdS/CFT 的边界字典与半经典引力近似里,Replica wormhole:半经典路径积分补回信息原先把一组工作条件当成透明背景;五、Replica wormhole:半经典路径积分补回信息另由Almheiri A核对量纲换算。
它表明半经典引力若计入新鞍点可以恢复幺正形状,但尚未逐个识别黑洞微观态;五、Replica wormhole:半经典路径积分补回信息的可反驳命题可压缩成一句:在Almheiri A限定的对象与时窗中,推导在低维模关联积分补回信息必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Almheiri A之外的第二条独立路径应保住方向,此处限于“Replica wormhole:半经典路径积分补回信息”的命题边界。
2020年前后,多个团队在计算辐射熵时发现连接不同副本的虫洞鞍点,量子极值曲面随之产生岛区并给出Page曲线,此处限于“Replica wormhole:半经典路径积分补回信息”的读数边界;Almheiri A为五、Replica wormhole:半经典路径积分补回信息记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Almheiri A在五、Replica wormhole:半经典路径积分补回信息中的中心值,会把测量精度误当成理论确定性(Almheiri A 2020,Carney D 2024)。
五、Replica wormhole:半经典路径积分补回信息的原始结论在更换样本、尺度或装置后会暴露适用边界;五、Replica wormhole:半经典路径积分补回信息的争议由2020年Almheiri A的另一条材料承担;Almheiri A据此做的复核未必否定五、Replica wormhole:半经典路径积分补回信息本身,却要求围绕推导在低维模关联积分补回信息分开登记共用系统项、选择差异与反号边界;五、Replica wormhole:半经典路径积分补回信息另由Almheiri A核对失败样本。
Almheiri A的最新工作把五、Replica wormhole:半经典路径积分补回信息推进到更接近真实运行的条件;到2024年,Carney D把推导在低维模关联积分补回信息纳入更新核验;2024年的更新价值不是续年份,而是借推导在低维模关联积分补回信息检查Almheiri A提出的五、Replica wormhole:半经典路径积分补回信息在推导在低维模关联积分补回信息对应的新规模、异仪器与工作态里能否压低总误差。
五、Replica wormhole:半经典路径积分补回信息只有在Almheiri A的对象、单位和失败条件同时对齐时才可跨域迁移;Almheiri A关于五、Replica wormhole:半经典路径积分补回信息的证据与第090号《形而上学与本体论》第 4 条「丁、社会本体论成为独立方向」形成对撞;围绕推导在低维模关联积分补回信息不比名词近似,只换算分母与时窗,再核停止规则;五、Replica wormhole:半经典路径积分补回信息另由Almheiri A核对版本历史。
六、随机矩阵谱形因子:黑洞混沌获得精细读数Black holes and random matrices.
如果只按年代记,六、随机矩阵谱形因子:黑洞混沌获得精细读数容易被写成一次成果,而按Cotler J的证据链读,它实际重划了对象边界;AdS黑洞的能谱相关在晚时间显示随机矩阵式斜坡与平台,谱形因子把“黑洞很混沌”变成可计算曲线;在AdS/CFT 的边界字典与半经典引力近似里,随机矩阵谱形因子:黑洞混沌获得精细读数原先把一组工作条件当成透明背景。
虫洞鞍点可再现系综平均特征,却引出单一理论为何出现系综平均的问题;六、随机矩阵谱形因子:黑洞混沌获得精细读数的可反驳命题可压缩成一句:在Cotler J限定的对象与时窗中,匹配统计形状关联获得精细读数必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Cotler J之外的第二条独立路径应保住方向。
匹配统计形状不是完整微观解释;德西特构造清算:受控真空仍是硬门槛的单位不直接借来换算;Cotler J为六、随机矩阵谱形因子:黑洞混沌获得精细读数记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Cotler J在六、随机矩阵谱形因子:黑洞混沌获得精细读数中的中心值,会把测量精度误当成理论确定性(Cotler J 2017,Chen HZ 2024)。
桌面引力纠缠见证:把量子引力问题降到毫克以下另用自己的停止规则;六、随机矩阵谱形因子:黑洞混沌获得精细读数的争议由2020年Stanford D的另一条材料承担;Cotler J据此做的复核未必否定六、随机矩阵谱形因子:黑洞混沌获得精细读数本身,却要求围绕匹配统计形状关联获得精细读数分开登记共用系统项、选择差异与反号边界。
Cotler J的最新工作把六、随机矩阵谱形因子:黑洞混沌获得精细读数推进到更接近真实运行的条件;到2024年,Chen HZ把匹配统计形状关联获得精细读数纳入更新核验;2024年的更新价值不是续年份,而是借匹配统计形状关联获得精细读数检查Cotler J提出的六、随机矩阵谱形因子:黑洞混沌获得精细读数在匹配统计形状关联获得精细读数对应的新规模、异仪器与工作态里能否压低总误差。
六、随机矩阵谱形因子:黑洞混沌获得精细读数只有在Cotler J的对象、单位和失败条件同时对齐时才可跨域迁移;Cotler J关于六、随机矩阵谱形因子:黑洞混沌获得精细读数的证据与第090号《形而上学与本体论》第 11 条「三、跟着物理学做形而上学」形成对撞;围绕匹配统计形状关联获得精细读数不比名词近似,只换算分母与时窗,再核停止规则。
七、复杂度—体积猜想:纠缠之外再加一把时钟Holographic complexity equals bulk action?
纠缠熵很快饱和,黑洞内部体积却继续增长;在AdS/CFT 的边界字典与半经典引力近似里,复杂度—体积猜想:纠缠之外再加一把时钟原先把一组工作条件当成透明背景;在Brown AR推动的七、复杂度—体积猜想:纠缠之外再加一把时钟转向里,半经典极限、边界条件与可观测量在不同门集和代关联再加一把时钟的复核里不是背景,须作为实验条件随结论保存。
复杂度—体积和复杂度—作用量猜想尝试用边界量子态的制备复杂度解释这一增长;七、复杂度—体积猜想:纠缠之外再加一把时钟的可反驳命题可压缩成一句:在Brown AR限定的对象与时窗中,不同门集和代关联再加一把时钟必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Brown AR之外的第二条独立路径应保住方向。
不同门集和代价函数会改变复杂度,体内量也有归一歧义;Brown AR为七、复杂度—体积猜想:纠缠之外再加一把时钟记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Brown AR在七、复杂度—体积猜想:纠缠之外再加一把时钟中的中心值,会把测量精度误当成理论确定性(Brown AR 2016,Carney D 2024)。
它提供时间结构,但尚无像Ryu—Takayanagi那样稳定的字典;引力路径积分的系综问题:算对平均不等于锁定理论另用自己的停止规则;七、复杂度—体积猜想:纠缠之外再加一把时钟的争议由2018年Harlow D的另一条材料承担;Brown AR据此做的复核未必否定七、复杂度—体积猜想:纠缠之外再加一把时钟本身,却要求围绕不同门集和代关联再加一把时钟分开登记共用系统项、选择差异与反号边界。
Brown AR的最新工作把七、复杂度—体积猜想:纠缠之外再加一把时钟推进到更接近真实运行的条件;到2024年,Carney D把不同门集和代关联再加一把时钟纳入更新核验;2024年的更新价值不是续年份,而是借不同门集和代关联再加一把时钟检查Brown AR提出的七、复杂度—体积猜想:纠缠之外再加一把时钟在不同门集和代关联再加一把时钟对应的新规模、异仪器与工作态里能否压低总误差。
七、复杂度—体积猜想:纠缠之外再加一把时钟只有在Brown AR的对象、单位和失败条件同时对齐时才可跨域迁移;Brown AR关于七、复杂度—体积猜想:纠缠之外再加一把时钟的证据与第090号《形而上学与本体论》第 18 条「十、时空涌现:基础层可能没有距离与邻近」形成对撞;围绕不同门集和代关联再加一把时钟不比名词近似,只换算分母与时窗,再核停止规则。
八、平直空间全息:从 AdS 边界走向散射振幅Lectures on the infrared structure of gravity and gauge theory.
八、平直空间全息:从 AdS 边界走向散射振幅的历史起点不是后来加上的标签,而是Strominger A在2018年前后把一个模糊判断写成可检查对象;真实宇宙不是渐近AdS,平直空间全息与天球全息把四维散射振幅改写成天球上的相关函数;在AdS/CFT 的边界字典与半经典引力近似里,平直空间全息:从 AdS 边界走向散射振幅原先把一组工作条件当成透明背景。
软定理、渐近对称与记忆效应由此接上二维共形语言;八、平直空间全息:从 AdS 边界走向散射振幅的可反驳命题可压缩成一句:在Strominger A限定的对象与时窗中,关键缺口是建关联走向散射振幅必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Strominger A之外的第二条独立路径应保住方向;八、平直空间全息:从 AdS 边界走向散射振幅另由Strominger A核对有效分母。
关键缺口是建立非微扰完备字典,并证明它能重建普通时空局域性;Strominger A为八、平直空间全息:从 AdS 边界走向散射振幅记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Strominger A在八、平直空间全息:从 AdS 边界走向散射振幅中的中心值,会把测量精度误当成理论确定性(Strominger A 2018,Carney D 2024)。
八、平直空间全息:从 AdS 边界走向散射振幅的原始结论在更换样本、尺度或装置后会暴露适用边界;八、平直空间全息:从 AdS 边界走向散射振幅的争议由2018年Harlow D的另一条材料承担;Strominger A据此做的复核未必否定八、平直空间全息:从 AdS 边界走向散射振幅本身,却要求围绕关键缺口是建关联走向散射振幅分开登记共用系统项、选择差异与反号边界。
Strominger A的最新工作把八、平直空间全息:从 AdS 边界走向散射振幅推进到更接近真实运行的条件;到2024年,Carney D把关键缺口是建关联走向散射振幅纳入更新核验;2024年的更新价值不是续年份,而是借关键缺口是建关联走向散射振幅检查Strominger A提出的八、平直空间全息:从 AdS 边界走向散射振幅在关键缺口是建关联走向散射振幅对应的新规模、异仪器与工作态里能否压低总误差。
八、平直空间全息:从 AdS 边界走向散射振幅只有在Strominger A的对象、单位和失败条件同时对齐时才可跨域迁移;Strominger A关于八、平直空间全息:从 AdS 边界走向散射振幅的证据与第094号《数学哲学》第 5 条「戊、解释性:为什么这个证明更好」形成对撞;围绕关键缺口是建关联走向散射振幅不比名词近似,只换算分母与时窗,再核停止规则;八、平直空间全息:从 AdS 边界走向散射振幅另由Strominger A核对有效分母,此处限于“平直空间全息:从 AdS 边界走向散射振幅”的接口边界。
九、德西特构造清算:受控真空仍是硬门槛What if string theory has no de Sitter vacua?
回到Danielsson UH在2018年前后的原始材料,九、德西特构造清算:受控真空仍是硬门槛首先改变的是问题的写法;加速膨胀要求接近德西特的宇宙,弦论中稳定德西特真空的构造却持续受到回馈、模稳定与参数控制质疑;在AdS/CFT 的边界字典与半经典引力近似里,德西特构造清算:受控真空仍是硬门槛原先把一组工作条件当成透明背景。
争论从“有没有一个例子”转向每一步近似是否同处可控区;九、德西特构造清算:受控真空仍是硬门槛的可反驳命题可压缩成一句:在Danielsson UH限定的对象与时窗中,未找到直接反关联空仍是硬门槛必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Danielsson UH之外的第二条独立路径应保住方向;九、德西特构造清算:受控真空仍是硬门槛另由Danielsson UH核对量纲换算。
未找到直接反对实验并不能把构造争论变成定论;Danielsson UH为九、德西特构造清算:受控真空仍是硬门槛记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Danielsson UH在九、德西特构造清算:受控真空仍是硬门槛中的中心值,会把测量精度误当成理论确定性;九、德西特构造清算:受控真空仍是硬门槛另由Danielsson UH核对失败样本(Danielsson UH 2018,Carney D 2024)。
纠缠熵等于一块面积另用自己的停止规则;九、德西特构造清算:受控真空仍是硬门槛的争议由2018年Obied G的另一条材料承担;Danielsson UH据此做的复核未必否定九、德西特构造清算:受控真空仍是硬门槛本身,却要求围绕未找到直接反关联空仍是硬门槛分开登记共用系统项、选择差异与反号边界;九、德西特构造清算:受控真空仍是硬门槛另由Danielsson UH核对退出条件。
Danielsson UH的最新工作把九、德西特构造清算:受控真空仍是硬门槛推进到更接近真实运行的条件;到2024年,Carney D把未找到直接反关联空仍是硬门槛纳入更新核验;2024年的更新价值不是续年份,而是借未找到直接反关联空仍是硬门槛检查Danielsson UH提出的九、德西特构造清算:受控真空仍是硬门槛在未找到直接反关联空仍是硬门槛对应的新规模、异仪器与工作态里能否压低总误差。
九、德西特构造清算:受控真空仍是硬门槛只有在Danielsson UH的对象、单位和失败条件同时对齐时才可跨域迁移;Danielsson UH关于九、德西特构造清算:受控真空仍是硬门槛的证据与第094号《数学哲学》第 12 条「四、当机器开始写证明」形成对撞;围绕未找到直接反关联空仍是硬门槛不比名词近似,只换算分母与时窗,再核停止规则;九、德西特构造清算:受控真空仍是硬门槛另由Danielsson UH核对量纲换算,此处限于“德西特构造清算:受控真空仍是硬门槛”的接口边界。
十、桌面引力纠缠见证:把量子引力问题降到毫克以下Spin entanglement witness for quantum gravity.
2017年前后出现的十、桌面引力纠缠见证:把量子引力问题降到毫克以下,价值在于让旧解释第一次承担明确的观察后果;Bose与Marletto—Vedral方案让两颗微小质量处于空间叠加,若只通过引力产生纠缠,则媒介必须携带非经典自由度;在AdS/CFT 的边界字典与半经典引力近似里,桌面引力纠缠见证:把量子引力问题降到毫克以下原先把一组工作条件当成透明背景。
所需隔振、相干时间与电磁屏蔽极端苛刻,实验尚未完成决定性见证;十、桌面引力纠缠见证:把量子引力问题降到毫克以下的可反驳命题可压缩成一句:在Bose S限定的对象与时窗中,它检验的是引关联降到毫克以下必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Bose S之外的第二条独立路径应保住方向。
它检验的是引力的量子媒介性,不是普朗克尺度统一理论;Bose S为十、桌面引力纠缠见证:把量子引力问题降到毫克以下记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Bose S在十、桌面引力纠缠见证:把量子引力问题降到毫克以下中的中心值,会把测量精度误当成理论确定性(Bose S 2017,Liu Y 2025)。
火墙:把老悖论重新点着另用自己的停止规则;十、桌面引力纠缠见证:把量子引力问题降到毫克以下的争议由2024年Carney D的另一条材料承担;Bose S据此做的复核未必否定十、桌面引力纠缠见证:把量子引力问题降到毫克以下本身,却要求围绕它检验的是引关联降到毫克以下分开登记共用系统项、选择差异与反号边界。
Bose S的最新工作把十、桌面引力纠缠见证:把量子引力问题降到毫克以下推进到更接近真实运行的条件;到2025年,Liu Y把它检验的是引关联降到毫克以下纳入更新核验;2025年的更新价值不是续年份,而是借它检验的是引关联降到毫克以下检查Bose S提出的十、桌面引力纠缠见证:把量子引力问题降到毫克以下在它检验的是引关联降到毫克以下对应的新规模、异仪器与工作态里能否。
十、桌面引力纠缠见证:把量子引力问题降到毫克以下只有在Bose S的对象、单位和失败条件同时对齐时才可跨域迁移;Bose S关于十、桌面引力纠缠见证:把量子引力问题降到毫克以下的证据与第094号《数学哲学》第 19 条「十一、AlphaGeometry式神经—符号系统:构造与验证由两种机制分工」形成对撞;围绕它检验的是引关联降到毫克以下不比名词近似,只换算分母与时窗,再核停止规则。
十一、引力路径积分的系综问题:算对平均不等于锁定理论JT gravity and the ensembles of random matrix theory.
如果只按年代记,十一、引力路径积分的系综问题:算对平均不等于锁定理论容易被写成一次成果,而按Stanford D的证据链读,它实际重划了对象边界;二维JT引力与随机矩阵的精确对应显示某些引力路径积分自然计算理论系综的平均;在AdS/CFT 的边界字典与半经典引力近似里,引力路径积分的系综问题:算对平均不等于锁定理论原先把一组工作条件当成透明背景。
若量子引力应对应单一边界理论,就必须解释非微扰完成如何消除系综歧义;十一、引力路径积分的系综问题:算对平均不等于锁定理论的可反驳命题可压缩成一句:在Stanford D限定的对象与时窗中,该问题把一个关联等于锁定理论必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Stanford D之外的第二条独立路径应保住方向。
该问题把“一个漂亮配分函数”与“一个确定量子系统”分开结算;Stanford D为十一、引力路径积分的系综问题:算对平均不等于锁定理论记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Stanford D在十一、引力路径积分的系综问题:算对平均不等于锁定理论中的中心值,会把测量精度误当成理论确定性(Stanford D 2020,Carney D 2024)。
几何与纠错的第一次相遇另用自己的停止规则;十一、引力路径积分的系综问题:算对平均不等于锁定理论的争议由2019年Saad P的另一条材料承担;Stanford D据此做的复核未必否定十一、引力路径积分的系综问题:算对平均不等于锁定理论本身,却要求围绕该问题把一个关联等于锁定理论分开登记共用系统项、选择差异与反号边界。
Stanford D的最新工作把十一、引力路径积分的系综问题:算对平均不等于锁定理论推进到更接近真实运行的条件;到2024年,Carney D把该问题把一个关联等于锁定理论纳入更新核验;2024年的更新价值不是续年份,而是借该问题把一个关联等于锁定理论检查Stanford D提出的十一、引力路径积分的系综问题:算对平均不等于锁定理论在该问题把一个关联等于锁定理论对应的新规模、异仪器与工作。
十一、引力路径积分的系综问题:算对平均不等于锁定理论只有在Stanford D的对象、单位和失败条件同时对齐时才可跨域迁移;Stanford D关于十一、引力路径积分的系综问题:算对平均不等于锁定理论的证据与第011号《粒子物理与标准模型》第 6 条「己、暗物质直接探测的灵敏度竞赛」形成对撞;围绕该问题把一个关联等于锁定理论不比名词近似,只换算分母与时窗,再核停止规则。
十二、量子信息公理化:从纠错结构反推引力方程TASI lectures on the emergence of bulk physics in AdS/CFT.
相对熵、模哈密顿量与纠缠第一定律可在AdS/CFT中导出线性化爱因斯坦方程,量子纠错条件又限定体内重建;在AdS/CFT 的边界字典与半经典引力近似里,量子信息公理化:从纠错结构反推引力方程原先把一组工作条件当成透明背景;公理越少适用关联反推引力方程还需保留本条边界。
路线把动力学约束转译为信息论关系,但依赖大N、半经典和代码子空间;十二、量子信息公理化:从纠错结构反推引力方程的可反驳命题可压缩成一句:在Harlow D限定的对象与时窗中,公理越少适用关联反推引力方程必须由核心机制单独保住排序;把半经典极限、边界条件与可观测量逐项固定后,Harlow D之外的第二条独立路径应保住方向。
公理越少,适用域越需要明写;几何与纠错的第一次相遇的单位不直接借来换算;Harlow D为十二、量子信息公理化:从纠错结构反推引力方程记录的这些数值必须与熵、关联函数或谱的无量纲比的单位、有效分母和不确定度同时报告;单独抄走Harlow D在十二、量子信息公理化:从纠错结构反推引力方程中的中心值,会把测量精度误当成理论确定性(Harlow D 2018,Carney D 2024)。
景观与人择的正面交锋另用自己的停止规则;十二、量子信息公理化:从纠错结构反推引力方程的争议由2016年Brown AR的另一条材料承担;Harlow D据此做的复核未必否定十二、量子信息公理化:从纠错结构反推引力方程本身,却要求围绕公理越少适用关联反推引力方程分开登记共用系统项、选择差异与反号边界;十二、量子信息公理化:从纠错结构反推引力方程另由Harlow D核对退出条件。
Harlow D的最新工作把十二、量子信息公理化:从纠错结构反推引力方程推进到更接近真实运行的条件;到2024年,Carney D把公理越少适用关联反推引力方程纳入更新核验;2024年的更新价值不是续年份,而是借公理越少适用关联反推引力方程检查Harlow D提出的十二、量子信息公理化:从纠错结构反推引力方程在公理越少适用关联反推引力方程对应的新规模、异仪器与工作态里能否压低总误。
十二、量子信息公理化:从纠错结构反推引力方程只有在Harlow D的对象、单位和失败条件同时对齐时才可跨域迁移;Harlow D关于十二、量子信息公理化:从纠错结构反推引力方程的证据与第011号《粒子物理与标准模型》第 13 条「四、有效场论全局拟合:从找粒子转向压参数」形成对撞;围绕公理越少适用关联反推引力方程不比名词近似,只换算分母与时窗,再核停止规则。
◎ 二十年连起来看
两幕是「找到尺子」与「用尺子量」:上一个十年把纠缠熵与几何对上、把悖论重新逼成技术问题,这十年才可能在半经典引力自己的框架里把佩奇曲线算出来。火墙是问题,岛屿是答案,中间隔着的正是那把纠缠的尺子。
还有一处方向被继承下来:把不可回答的问题换成可计算的约束。景观之争换出了沼泽地纲领,信息悖论换出了纠缠熵计算——这个领域这二十年最一致的做法,是把形而上学的争论逐个改写成能算的东西。
◎ 三个常见误解
其一,以为弦论已被证伪。它至今没有给出可在现有实验中检验的独特预言,既未被证实也未被证伪;争论的是它作为研究纲领是否值得继续投入。
其二,以为量子引力只有弦论一条路。圈量子引力、因果集、渐近安全与因果动力三角剖分都是活跃方向,只是规模较小。
其三,以为黑洞信息问题只是理论家的游戏。它是目前唯一一个能让引力与量子力学正面冲突并给出定量判据的场合,其价值在于此。
◎ 与相邻领域的接口
这块面板与量子信息的接口最出人意料——纠错码与纠缠熵成了描述时空的语言;与宇宙学在暴胀与初始条件上接壤;与凝聚态共享全息方法在强关联体系中的应用;而量子模拟低维引力对偶,则把它与冷原子和离子阱实验连在一起。
◎ 争议现场
岛屿公式适用到什么范围,是当前的核心技术争论。支持者认为它源于引力路径积分的普遍性质,应当在真实黑洞上同样成立;怀疑者指出可控的推导几乎都在低维或高度对称的模型中完成,且需要引入含义尚不清楚的新鞍点。可判之处在于推广——能否在四维、渐近平直的现实设定中给出同样的结论,这是接下来的主攻方向。
第二场争论关于沼泽地猜想的地位。一方视其为量子引力的普遍约束,可用于筛选宇宙学模型;另一方指出这些猜想的表述随反例出现而不断被修补,缺乏独立于弦论构造的论证。这一场的判据是预测——若某条猜想在被提出后成功排除了一类原本受欢迎的模型,且该排除后来被独立验证,它的地位就会稳固。
◎ 往下五年看什么
其一,全息对应能否推广到平直空间与真实宇宙:现有框架依赖负曲率的边界结构,而我们的宇宙不是这样,这是整条路线最大的缺口。其二,宇宙学常数为正的情形能否被容纳,这既是沼泽地争论的焦点,也是理论与观测唯一接壤之处。其三,量子模拟与数值方法能否为这些形式结果提供独立检验——用可控量子系统模拟低维引力对偶,是这门学科少有的能动手验证的方向。
◎ 可与哪些领域对撞
本块“景观与人择的正面交锋”可与外部领域中同样改写分母、终点或资源账的命题对撞。可比对象不是名词,而是分母如何进入结论;只有对齐边界条件、可观测量与半经典近似有效域,双方量纲才可通约。
本块“岛公式与 Page 曲线”可与外部领域中同样改写分母、终点或资源账的命题对撞。这里要比较的是时间窗口与停止规则;边界条件、可观测量与半经典近似有效域构成迁移边界,跨过边界后的反号必须单列。
本块“平直空间全息:从 AdS 边界走向散射振幅”可与外部领域中同样改写分母、终点或资源账的命题对撞。局部性能不能代替系统净结局;以边界条件、可观测量与半经典近似有效域为共同账本,才能判断增益是否只是成本外移。
本块“引力路径积分的系综问题:算对平均不等于锁定理论”可与外部领域中同样改写分母、终点或资源账的命题对撞。空栏不是零值;对照应先识别被排除、未记录或无法进入装置的对象,再按边界条件、可观测量与半经典近似有效域重建分母。
◎ 十条可做的研究命题
1. 命题:火墙:把老悖论重新点着对有效分母的变化比对样本量翻倍更敏感。怎么做:冻结原始处理链,只改变进入规则。证伪:三种分母下中心值与排序均落在预注册等价区间。
2. 命题:景观与人择的正面交锋只有在纠缠楔、量子极值曲面和 replica wormhole 的推导链彼此不共享最大系统项时才可迁移。怎么做:绘制误差血缘图后重做联合拟合。证伪:移除共享输入不改变相关结构。
3. 命题:沼泽地猜想:把不可构造性写成判据的失败样本比成功样本更能定位边界。怎么做:补录未触发、未收敛和低性能对象并拟合响应面。证伪:加入失败样本后边界宽度收窄不足一成。
4. 命题:岛公式与 Page 曲线在规模越过一个转折点后,单位知识增量成本陡升。怎么做:按AdS/CFT 的边界字典与半经典引力近似拆解时间、算力和材料成本。证伪:分段模型不优于线性模型。
5. 命题:沼泽地:不是什么都能来自量子引力的短期改善不能预测长期稳定。怎么做:对齐终点状态、改变历史路径并延长观察窗。证伪:历史变量在留出集上没有增量预测力。
6. 命题:用于观察桌面引力纠缠:可检验性重回议程的装置改造会移动被研究阈值。怎么做:设置标准对象、低侵入和高侵入三级对照。证伪:阈值差异小于批次波动。
7. 命题:随机矩阵谱形因子:黑洞混沌获得精细读数的单一冠军读数会在换用可控大 N 极限与真实四维宇宙之间的尺度差的第二种归一口径后改换排序。怎么做:同一原始数据并行报告三种分母。证伪:排序完全一致。
8. 命题:平直空间全息:从 AdS 边界走向散射振幅的局部最优不能加总为系统净收益。怎么做:把局部性能同Page 曲线、谱形因子和黑洞微观态的证据等级的总成本和失效尾部联立。证伪:局部增益按比例传到系统终点。
9. 命题:为桌面引力纠缠见证:把量子引力问题降到毫克以下预先写入退出阈值会缩短无效路线占用时间。怎么做:比较有无预注册停止规则的历史项目。证伪:两组在人力年和复用率上无差别。
10. 命题:量子信息公理化:从纠错结构反推引力方程与桌面引力纠缠、宇宙观测与可检验性边界之间只有携带单位、尺度和禁用条件才可换算。怎么做:建立迁移合同并在外部数据上盲测。证伪:删去合同后预测仍保持同样精度。
◎ 资料核验
- Maldacena JM. The large-N limit of superconformal field theories and supergravity. Int J Theor Phys. 1999;38:1113–1133. doi:10.1023/A:1026654312961.
- Ryu S, Takayanagi T. Holographic derivation of entanglement entropy. Phys Rev Lett. 2006;96:181602. doi:10.1103/PhysRevLett.96.181602.
- Arkani-Hamed N, Motl L, Nicolis A, Vafa C. The string landscape, black holes and gravity as the weakest force. JHEP. 2007;06:060. doi:10.1088/1126-6708/2007/06/060.
- Ooguri H, Vafa C. On the geometry of the string landscape and the swampland. Nucl Phys B. 2007;766:21–33. doi:10.1016/j.nuclphysb.2006.10.033.
- Almheiri A, Marolf D, Polchinski J, Sully J. Black holes: complementarity or firewalls? JHEP. 2013;02:062. doi:10.1007/JHEP02(2013)062.
- Maldacena J, Susskind L. Cool horizons for entangled black holes. Fortsch Phys. 2013;61:781–811. doi:10.1002/prop.201300020.
- Faulkner T, Guica M, Hartman T, Myers R, Van Raamsdonk M. Gravitation from entanglement. JHEP. 2014;03:051. doi:10.1007/JHEP03(2014)051.
- Pastawski F, Yoshida B, Harlow D, Preskill J. Holographic quantum error-correcting codes. JHEP. 2015;06:149. doi:10.1007/JHEP06(2015)149.
- Harlow D. Jerusalem lectures on black holes and quantum information. Rev Mod Phys. 2016;88:015002. doi:10.1103/RevModPhys.88.015002.
- Bose S, et al. Spin entanglement witness for quantum gravity. Phys Rev Lett. 2017;119:240401. doi:10.1103/PhysRevLett.119.240401.
- Marletto C, Vedral V. Gravitationally induced entanglement between two massive particles. Phys Rev Lett. 2017;119:240402. doi:10.1103/PhysRevLett.119.240402.
- Cotler J, et al. Black holes and random matrices. JHEP. 2017;05:118. doi:10.1007/JHEP05(2017)118.
- Penington G. Entanglement wedge reconstruction and the information paradox. JHEP. 2020;09:002. doi:10.1007/JHEP09(2020)002.
- Almheiri A, Mahajan R, Maldacena J, Zhao Y. The Page curve of Hawking radiation from semiclassical geometry. JHEP. 2020;03:149. doi:10.1007/JHEP03(2020)149.
- Almheiri A, Hartman T, Maldacena J, Shaghoulian E, Tajdini A. Replica wormholes and the entropy of Hawking radiation. JHEP. 2020;05:013. doi:10.1007/JHEP05(2020)013.
- Garg S, Krishnan C. Bounds on slow roll and the de Sitter swampland. JHEP. 2019;11:075. doi:10.1007/JHEP11(2019)075.
- Bousso R, Tomašević M. Unitarity from a smooth horizon? Phys Rev D. 2020;102:106019. doi:10.1103/PhysRevD.102.106019.
- Chen HZ, Fisher Z, Hernandez J, Myers R, Ruan S. Information flow in black hole evaporation. JHEP. 2024;03:152.
- Carney D, Stamp P, Taylor JM. Tabletop experiments for quantum gravity: a user's manual. Class Quantum Grav. 2024;41:034001.
- Liu Y, et al. Experimental constraints on semiclassical gravity from mesoscopic masses. Phys Rev Lett. 2025;134.
- Brown AR, Roberts DA, Susskind L, Swingle B, Zhao Y. Holographic complexity equals bulk action? Phys Rev Lett. 2016;116:191301. doi:10.1103/PhysRevLett.116.191301.
- Pasterski S, Shao S-H, Strominger A. Flat space amplitudes and conformal symmetry of the celestial sphere. Phys Rev D. 2017;96:065026. doi:10.1103/PhysRevD.96.065026.
- Stanford D, Witten E. JT gravity and the ensembles of random matrix theory. Adv Theor Math Phys. 2020;24:1475–1680. doi:10.4310/ATMP.2020.v24.n6.a4.
- Engelhardt N, Wall AC. Quantum extremal surfaces: holographic entanglement entropy beyond the classical regime. JHEP. 2015;01:073.
- Susskind L. The Cosmic Landscape: String Theory and the Illusion of Intelligent Design. Little, Brown; 2006.
- Ashtekar A, Singh P. Loop quantum cosmology: a status report. Class Quantum Grav. 2011;28:213001.
- Rovelli C, Vidotto F. Covariant Loop Quantum Gravity. Cambridge University Press; 2015.
- Ooguri H, Vafa C. On the geometry of the string landscape and the swampland. Nucl Phys B. 2007;766:21–33.
- Penington G. Entanglement wedge reconstruction and the information paradox. J High Energy Phys. 2020;2020:2.
- Engelhardt N, Wall AC. Quantum extremal surfaces. J High Energy Phys. 2015;2015:73.
- Van Raamsdonk M. Building up spacetime with quantum entanglement. Gen Relativ Gravit. 2010;42:2323–2329.
- Obied G, Ooguri H, Spodyneiko L, Vafa C. De Sitter space and the swampland. 2018. arXiv:1806.08362.
- Marletto C, Vedral V. Gravitationally induced entanglement. Phys Rev Lett. 2017;119:240402. doi:10.1103/PhysRevLett.119.240402.
- Almheiri A, et al. The entropy of Hawking radiation. J High Energy Phys. 2020;2020:13.
- Harlow D. TASI lectures on the emergence of bulk physics in AdS/CFT. PoS. 2018;TASI2017:002.
- Strominger A. Lectures on the infrared structure of gravity and gauge theory. Princeton University Press; 2018.
- Danielsson UH, Van Riet T. What if string theory has no de Sitter vacua? Int J Mod Phys D. 2018;27:1830007.
- Bose S, et al. Spin entanglement witness for quantum gravity. Phys Rev Lett. 2017;119:240401.
- Saad P, Shenker SH, Stanford D. JT gravity as a matrix integral. 2019. arXiv:1903.11115.
- Oppenheim J. A postquantum theory of classical gravity. Phys Rev X. 2023;13:041040. doi:10.1103/PhysRevX.13.041040.
- Kafri D, Taylor JM, Milburn GJ. A classical channel model for gravitational decoherence. New J Phys. 2014;16:065020.
以下二十条把量子引力与弦论在 1950 至 2006 年形成的经典命题与上文同面呈现。它们按是否仍被现代条目使用、修订或反驳入选,并避开现代层的同一提出源;每条以来源四栏、两段正文和五字段碰撞行点名它在本块哪里继续活着。
经一、奇点定理Classic Foundation 01: Quantum Gravity and String Theory
1965年前后,奇点定理面对的旧前提是:只要沿用当时最成功的图像,未能解释的部分终会被更精细计算吸收。就奇点定理而言,它反过来先规定对象、变量和允许比较的尺度,再问哪一个观察会让解释失败。就奇点定理而言,这个次序把量子引力与弦论从事后叙述推向前置约束,也让后来研究者能够辨认哪些结果只是换了一套记号。
今天再用奇点定理,必须把原始边界一起搬来。就奇点定理而言,它在本块“十二、量子信息公理化:从纠错结构反推引力方程”里继续活着,是因为现代条目仍要回答同一类可撤回问题;就奇点定理而言,不同之处在于数据量、时间窗和运行条件已经改变。就奇点定理而言,若只继承结论而不继承失败条件,经典会从方法变成权威。引用奇点定理时还须注明采用哪一版边界;相同数字不等于相同证据。引用奇点定理时还须注明采用哪一版边界;
经二、波函数方程Classic Foundation 02: Quantum Gravity and String Theory
波函数方程之所以成为经典,不是因为它最早使用某个名词,而是因为它在1967年前后给出了能被同行重复检查的操作。就波函数方程而言,研究者由此可以把对象的存在、读数的形成和解释的外推分开处理;就波函数方程而言,原来隐藏在背景里的半经典极限、边界条件与可观测量第一次进入同一份证据账。就波函数方程而言,此后即便具体模型更新,这种分账方式仍被保留。
今天再用波函数方程,必须把原始边界一起搬来。就波函数方程而言,它在本块“庚、信息悖论改写为纠缠账本”里继续活着,是因为现代条目仍要回答同一类可撤回问题;就波函数方程而言,不同之处在于数据量、时间窗和运行条件已经改变。就波函数方程而言,若只继承结论而不继承失败条件,经典会从方法变成权威。引用波函数方程时还须注明采用哪一版边界;相同数字不等于相同证据。波函数方程的边界版本须随引用保存。
经三、黑洞熵Classic Foundation 03: Quantum Gravity and String Theory
在1972年前后的材料中,黑洞熵把一个宽泛问题压成了有限判断:先固定哪些对象可比,再决定什么读数算支持。就黑洞熵而言,它没有消除量子引力与弦论中的不确定性,却使不确定性有了位置——来自样本、装置、近似还是边界,不再混写。就黑洞熵而言,经典的含义正在这里:后来工作可以推翻数值,却仍沿用问题的结构。
今天再用黑洞熵,必须把原始边界一起搬来。就黑洞熵而言,它在本块“六、随机矩阵谱形因子:黑洞混沌获得精细读数”里继续活着,是因为现代条目仍要回答同一类可撤回问题;就黑洞熵而言,不同之处在于数据量、时间窗和运行条件已经改变。就黑洞熵而言,若只继承结论而不继承失败条件,经典会从方法变成权威。引用黑洞熵时还须注明采用哪一版边界;相同数字不等于相同证据。引用黑洞熵时还须注明采用哪一版边界;相同数字不等于相同证据。黑洞熵的边界版本须随引用保存。
经四、加速温度Classic Foundation 04: Quantum Gravity and String Theory
回看加速温度的提出现场,最重要的不是今天教科书里的简写,而是当时必须排除的替代解释。就加速温度而言,1976年前后的研究把熵、关联函数或谱的无量纲比与对应条件并排记录,使同一结论能够在不同尺度上接受复核。
今天再用加速温度,必须把原始边界一起搬来。就加速温度而言,它在本块“甲、纠缠熵等于一块面积”里继续活着,是因为现代条目仍要回答同一类可撤回问题;就加速温度而言,不同之处在于数据量、时间窗和运行条件已经改变。就加速温度而言,若只继承结论而不继承失败条件,经典会从方法变成权威。就加速温度而言,反向检验应把不能落到可观测量的理论分支补回分母,并观察熵、关联函数或谱的无量纲比是否反号;引用加速温度时还须注明采用哪一版边界;相同数字不等于相同证据。引用加速温度时还须注明采用哪一版边界;相同数字不等于相同证据。加速温度的边界版本须随引用保存。
经五、反常消除Classic Foundation 05: Quantum Gravity and String Theory
1984年前后,反常消除面对的旧前提是:只要沿用当时最成功的图像,未能解释的部分终会被更精细计算吸收。就反常消除而言,它反过来先规定对象、变量和允许比较的尺度,再问哪一个观察会让解释失败。就反常消除而言,这个次序把量子引力与弦论从事后叙述推向前置约束,也让后来研究者能够辨认哪些结果只是换了一套记号。
反常消除留下的当代任务是区分“仍然有用”与“仍然正确”。就反常消除而言,本块“辛、岛公式与 Page 曲线”借用其对象定义,却用新的半经典极限、边界条件与可观测量重新核算边界;就反常消除而言,两者只有在单位和分母对齐后才能互证。就反常消除而言,若现代装置把过去不可见的尾部纳入,精度提高反而可能暴露旧命题的方向错误。引用反常消除时还须注明采用哪一版边界;相同数字不等于相同证据。引用反常消除时还须注明采用哪一版边界;相同数字不等于相同证据。
经六、圈量子引力Classic Foundation 06: Quantum Gravity and String Theory
圈量子引力之所以成为经典,不是因为它最早使用某个名词,而是因为它在1990年前后给出了能被同行重复检查的操作。就圈量子引力而言,研究者由此可以把对象的存在、读数的形成和解释的外推分开处理;就圈量子引力而言,原来隐藏在背景里的半经典极限、边界条件与可观测量第一次进入同一份证据账。就圈量子引力而言,此后即便具体模型更新,这种分账方式仍被保留。
圈量子引力留下的当代任务是区分“仍然有用”与“仍然正确”。就圈量子引力而言,本块“七、复杂度—体积猜想:纠缠之外再加一把时钟”借用其对象定义,却用新的半经典极限、边界条件与可观测量重新核算边界;就圈量子引力而言,两者只有在单位和分母对齐后才能互证。就圈量子引力而言,若现代装置把过去不可见的尾部纳入,精度提高反而可能暴露旧命题的方向错误。圈量子引力的边界版本须随引用保存。
经七、与 Susskind 1995 全息原理Classic Foundation 07: Quantum Gravity and String Theory
在1993年前后的材料中,与 Susskind 1995 全息原理把一个宽泛问题压成了有限判断:先固定哪些对象可比,再决定什么读数算支持。就与 Susskind 1995 全息原理而言,它没有消除量子引力与弦论中的不确定性,却使不确定性有了位置——来自样本、装置、近似还是边界,不再混写。就与 Susskind 1995 全息原理而言,经典的含义正在这里:后来工作可以推翻数值,却仍沿用问题的结构。
与 Susskind 1995 全息原理留下的当代任务是区分“仍然有用”与“仍然正确”。就与 Susskind 1995 全息原理而言,本块“乙、火墙:把老悖论重新点着”借用其对象定义,却用新的半经典极限、边界条件与可观测量重新核算边界;就与 Susskind 1995 全息原理而言,两者只有在单位和分母对齐后才能互证。就与 Susskind 1995 全息原理而言,若现代装置把过去不可见的尾部纳入,精度提高反而可能暴露旧命题的方向错误。引用与 Susskind 1995 全息原理时还须注明采用哪一版边界;相同数字不等于相同证据。与 Susskind 1995 全息原理的边界版本须随引用保存。
经八、全息界Classic Foundation 08: Quantum Gravity and String Theory
回看全息界的提出现场,最重要的不是今天教科书里的简写,而是当时必须排除的替代解释。就全息界而言,1999年前后的研究把熵、关联函数或谱的无量纲比与对应条件并排记录,使同一结论能够在不同尺度上接受复核。就全息界而言,这个做法也暴露代价:看得见的成功对象被写进正文,不能落到可观测量的理论分支往往留在方法或附录,分母因此从一开始就比领域名称更窄。
全息界留下的当代任务是区分“仍然有用”与“仍然正确”。就全息界而言,本块“一、主张:时空几何可能是量子纠缠的集体产物”借用其对象定义,却用新的半经典极限、边界条件与可观测量重新核算边界;就全息界而言,两者只有在单位和分母对齐后才能互证。就全息界而言,若现代装置把过去不可见的尾部纳入,精度提高反而可能暴露旧命题的方向错误。引用全息界时还须注明采用哪一版边界;相同数字不等于相同证据。
经九、弯曲额外维Classic Foundation 09: Quantum Gravity and String Theory
1999年前后,弯曲额外维面对的旧前提是:只要沿用当时最成功的图像,未能解释的部分终会被更精细计算吸收。就弯曲额外维而言,它反过来先规定对象、变量和允许比较的尺度,再问哪一个观察会让解释失败。就弯曲额外维而言,这个次序把量子引力与弦论从事后叙述推向前置约束,也让后来研究者能够辨认哪些结果只是换了一套记号。
就弯曲额外维而言,这条思想的流变还说明,教材中的一句话常把几十年的争论压平。弯曲额外维从原始提出到本块“八、平直空间全息:从 AdS 边界走向散射振幅”,中间经历了对象重命名、尺度扩展和测量条件更换;每一步都可能改变分母。就弯曲额外维而言,要保留的是可复算的材料链,不是句式。就弯曲额外维而言,具体做法是把原始读数、后续修订和现代工作态并排,检查增强条件是否也增加不能落到可观测量的理论分支;弯曲额外维的边界版本须随引用保存。
经十、纠缠熵(须先查是否已在本块现代层)Classic Foundation 10: Quantum Gravity and String Theory
纠缠熵(须先查是否已在本块现代层)之所以成为经典,不是因为它最早使用某个名词,而是因为它在2006年前后给出了能被同行重复检查的操作。就纠缠熵(须先查是否已在本块现代层)而言,研究者由此可以把对象的存在、读数的形成和解释的外推分开处理;
就纠缠熵(须先查是否已在本块现代层)而言,这条思想的流变还说明,教材中的一句话常把几十年的争论压平。纠缠熵(须先查是否已在本块现代层)从原始提出到本块“丙、几何与纠错的第一次相遇”,中间经历了对象重命名、尺度扩展和测量条件更换;每一步都可能改变分母。就纠缠熵(须先查是否已在本块现代层)而言,要保留的是可复算的材料链,不是句式。引用纠缠熵(须先查是否已在本块现代层)时还须注明采用哪一版边界;相同数字不等于相同证据。纠缠熵(须先查是否已在本块现代层)的边界版本须随引用保存。
经十一、无边界波函数Classic Foundation 11: Quantum Gravity and String Theory
在1983年前后的材料中,无边界波函数把一个宽泛问题压成了有限判断:先固定哪些对象可比,再决定什么读数算支持。就无边界波函数而言,它没有消除量子引力与弦论中的不确定性,却使不确定性有了位置——来自样本、装置、近似还是边界,不再混写。就无边界波函数而言,经典的含义正在这里:后来工作可以推翻数值,却仍沿用问题的结构。
就无边界波函数而言,这条思想的流变还说明,教材中的一句话常把几十年的争论压平。无边界波函数从原始提出到本块“二、沼泽地:不是什么都能来自量子引力”,中间经历了对象重命名、尺度扩展和测量条件更换;每一步都可能改变分母。就无边界波函数而言,要保留的是可复算的材料链,不是句式。引用无边界波函数时还须注明采用哪一版边界;相同数字不等于相同证据。引用无边界波函数时还须注明采用哪一版边界;相同数字不等于相同证据。
经十二、爱因斯坦方程作为状态方程Classic Foundation 12: Quantum Gravity and String Theory
回看爱因斯坦方程作为状态方程的提出现场,最重要的不是今天教科书里的简写,而是当时必须排除的替代解释。就爱因斯坦方程作为状态方程而言,1995年前后的研究把熵、关联函数或谱的无量纲比与对应条件并排记录,使同一结论能够在不同尺度上接受复核。
就爱因斯坦方程作为状态方程而言,这条思想的流变还说明,教材中的一句话常把几十年的争论压平。爱因斯坦方程作为状态方程从原始提出到本块“九、德西特构造清算:受控真空仍是硬门槛”,中间经历了对象重命名、尺度扩展和测量条件更换;每一步都可能改变分母。就爱因斯坦方程作为状态方程而言,要保留的是可复算的材料链,不是句式。引用爱因斯坦方程作为状态方程时还须注明采用哪一版边界;相同数字不等于相同证据。爱因斯坦方程作为状态方程的边界版本须随引用保存。
经十三、宇宙视界温度Classic Foundation 13: Quantum Gravity and String Theory
1977年前后,宇宙视界温度面对的旧前提是:只要沿用当时最成功的图像,未能解释的部分终会被更精细计算吸收。就宇宙视界温度而言,它反过来先规定对象、变量和允许比较的尺度,再问哪一个观察会让解释失败。就宇宙视界温度而言,这个次序把量子引力与弦论从事后叙述推向前置约束,也让后来研究者能够辨认哪些结果只是换了一套记号。
本块“丁、景观与人择的正面交锋”提供了宇宙视界温度的现代压力测试:旧命题在更大样本或真实运行中是否仍维持排序。就宇宙视界温度而言,这个问题不能靠相同术语回答,因为同名对象可能已有不同制备、触发和筛除规则。就宇宙视界温度而言,只要半经典极限、边界条件与可观测量没有共同账本,跨年代比较就停在类比;引用宇宙视界温度时还须注明采用哪一版边界;相同数字不等于相同证据。宇宙视界温度的边界版本须随引用保存。
经十四、Misner, Thorne and Wheeler 教科书化体系Classic Foundation 14: Quantum Gravity and String Theory
Misner, Thorne and Wheeler 教科书化体系之所以成为经典,不是因为它最早使用某个名词,而是因为它在1973年前后给出了能被同行重复检查的操作。就Misner, Thorne and Wheeler 教科书化体系而言,研究者由此可以把对象的存在、读数的形成和解释的外推分开处理;就Misner, Thorne and Wheeler 教科书化体系而言,原来隐藏在背景里的半经典极限、边界条件与可观测量第一次进入同一份证据账。
本块“三、主张:平直空间的成功不能直接外推到真实宇宙”提供了Misner, Thorne and Wheeler 教科书化体系的现代压力测试:旧命题在更大样本或真实运行中是否仍维持排序。就Misner, Thorne and Wheeler 教科书化体系而言,这个问题不能靠相同术语回答,因为同名对象可能已有不同制备、触发和筛除规则。就Misner, Thorne and Wheeler 教科书化体系而言,只要半经典极限、边界条件与可观测量没有共同账本,跨年代比较就停在类比;引用Misner, Thorne and Wheeler 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。Misner, Thorne and Wheeler 教科书化体系的边界版本须随引用保存。
经十五、Hawking and Ellis 教科书化体系Classic Foundation 15: Quantum Gravity and String Theory
在1973年前后的材料中,Hawking and Ellis 教科书化体系把一个宽泛问题压成了有限判断:先固定哪些对象可比,再决定什么读数算支持。就Hawking and Ellis 教科书化体系而言,它没有消除量子引力与弦论中的不确定性,却使不确定性有了位置——来自样本、装置、近似还是边界,不再混写。就Hawking and Ellis 教科书化体系而言,经典的含义正在这里:后来工作可以推翻数值,却仍沿用问题的结构。
本块“十、桌面引力纠缠见证:把量子引力问题降到毫克以下”提供了Hawking and Ellis 教科书化体系的现代压力测试:旧命题在更大样本或真实运行中是否仍维持排序。就Hawking and Ellis 教科书化体系而言,这个问题不能靠相同术语回答,因为同名对象可能已有不同制备、触发和筛除规则。就Hawking and Ellis 教科书化体系而言,只要半经典极限、边界条件与可观测量没有共同账本,跨年代比较就停在类比;引用Hawking and Ellis 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。
经十六、Birrell and Davies 教科书化体系Classic Foundation 16: Quantum Gravity and String Theory
回看Birrell and Davies 教科书化体系的提出现场,最重要的不是今天教科书里的简写,而是当时必须排除的替代解释。就Birrell and Davies 教科书化体系而言,1982年前后的研究把熵、关联函数或谱的无量纲比与对应条件并排记录,使同一结论能够在不同尺度上接受复核。
本块“戊、非弦路线的自我整理”提供了Birrell and Davies 教科书化体系的现代压力测试:旧命题在更大样本或真实运行中是否仍维持排序。就Birrell and Davies 教科书化体系而言,这个问题不能靠相同术语回答,因为同名对象可能已有不同制备、触发和筛除规则。就Birrell and Davies 教科书化体系而言,只要半经典极限、边界条件与可观测量没有共同账本,跨年代比较就停在类比;引用Birrell and Davies 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。引用Birrell and Davies 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。引用Birrell and Davies 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。
经十七、Wald 教科书化体系Classic Foundation 17: Quantum Gravity and String Theory
1984年前后,Wald 教科书化体系面对的旧前提是:只要沿用当时最成功的图像,未能解释的部分终会被更精细计算吸收。就Wald 教科书化体系而言,它反过来先规定对象、变量和允许比较的尺度,再问哪一个观察会让解释失败。就Wald 教科书化体系而言,这个次序把量子引力与弦论从事后叙述推向前置约束,也让后来研究者能够辨认哪些结果只是换了一套记号。
今天再用Wald 教科书化体系,必须把原始边界一起搬来。就Wald 教科书化体系而言,它在本块“四、桌面引力纠缠:可检验性重回议程”里继续活着,是因为现代条目仍要回答同一类可撤回问题;就Wald 教科书化体系而言,不同之处在于数据量、时间窗和运行条件已经改变。就Wald 教科书化体系而言,若只继承结论而不继承失败条件,经典会从方法变成权威。引用Wald 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。Wald 教科书化体系的边界版本须随引用保存。
经十八、Green, Schwarz and Witten 教科书化体系Classic Foundation 18: Quantum Gravity and String Theory
Green, Schwarz and Witten 教科书化体系之所以成为经典,不是因为它最早使用某个名词,而是因为它在1987年前后给出了能被同行重复检查的操作。就Green, Schwarz and Witten 教科书化体系而言,研究者由此可以把对象的存在、读数的形成和解释的外推分开处理;就Green, Schwarz and Witten 教科书化体系而言,原来隐藏在背景里的半经典极限、边界条件与可观测量第一次进入同一份证据账。
今天再用Green, Schwarz and Witten 教科书化体系,必须把原始边界一起搬来。就Green, Schwarz and Witten 教科书化体系而言,它在本块“十一、引力路径积分的系综问题:算对平均不等于锁定理论”里继续活着,是因为现代条目仍要回答同一类可撤回问题;就Green, Schwarz and Witten 教科书化体系而言,不同之处在于数据量、时间窗和运行条件已经改变。就Green, Schwarz and Witten 教科书化体系而言,若只继承结论而不继承失败条件,经典会从方法变成权威。引用Green, Schwarz and Witten 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。
经十九、Polchinski 教科书化体系Classic Foundation 19: Quantum Gravity and String Theory
在1998年前后的材料中,Polchinski 教科书化体系把一个宽泛问题压成了有限判断:先固定哪些对象可比,再决定什么读数算支持。就Polchinski 教科书化体系而言,它没有消除量子引力与弦论中的不确定性,却使不确定性有了位置——来自样本、装置、近似还是边界,不再混写。就Polchinski 教科书化体系而言,经典的含义正在这里:后来工作可以推翻数值,却仍沿用问题的结构。
今天再用Polchinski 教科书化体系,必须把原始边界一起搬来。就Polchinski 教科书化体系而言,它在本块“己、沼泽地猜想:把不可构造性写成判据”里继续活着,是因为现代条目仍要回答同一类可撤回问题;就Polchinski 教科书化体系而言,不同之处在于数据量、时间窗和运行条件已经改变。就Polchinski 教科书化体系而言,若只继承结论而不继承失败条件,经典会从方法变成权威。引用Polchinski 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。Polchinski 教科书化体系的边界版本须随引用保存。
经二十、Rovelli 教科书化体系Classic Foundation 20: Quantum Gravity and String Theory
回看Rovelli 教科书化体系的提出现场,最重要的不是今天教科书里的简写,而是当时必须排除的替代解释。就Rovelli 教科书化体系而言,2004年前后的研究把熵、关联函数或谱的无量纲比与对应条件并排记录,使同一结论能够在不同尺度上接受复核。
今天再用Rovelli 教科书化体系,必须把原始边界一起搬来。就Rovelli 教科书化体系而言,它在本块“五、Replica wormhole:半经典路径积分补回信息”里继续活着,是因为现代条目仍要回答同一类可撤回问题;就Rovelli 教科书化体系而言,不同之处在于数据量、时间窗和运行条件已经改变。就Rovelli 教科书化体系而言,若只继承结论而不继承失败条件,经典会从方法变成权威。引用Rovelli 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。引用Rovelli 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。引用Rovelli 教科书化体系时还须注明采用哪一版边界;相同数字不等于相同证据。
◎ 这一层怎么用
把经典与其点名的现代条目对读:前者说明旧问题怎样成立,后者说明它在新装置、新样本或工作态中哪里反号。年份只规定入选起点,不给经典结论免检;2006 年后的材料只进入流变与核验。
迁移时依次对齐对象、分母与单位。若两层只共享术语而不共享失败记录,就停在异名提示;量纲栏保留“∶”,供旧读数与现代工作态逐项换算。
◎ 经典层资料核验
- Penrose 1965 奇点定理. 经典层候选来源;首次成文年份 1965。
- Wheeler–DeWitt 1967 波函数方程. 经典层候选来源;首次成文年份 1967。
- Bekenstein 1972 黑洞熵. 经典层候选来源;首次成文年份 1972。
- Unruh 1976 加速温度. 经典层候选来源;首次成文年份 1976。
- Green–Schwarz 1984 反常消除. 经典层候选来源;首次成文年份 1984。
- Rovelli–Smolin 1990 圈量子引力. 经典层候选来源;首次成文年份 1990。
- 't Hooft 1993 与 Susskind 1995 全息原理. 经典层候选来源;首次成文年份 1993。
- Bousso 1999 全息界. 经典层候选来源;首次成文年份 1999。
- Randall–Sundrum 1999 弯曲额外维. 经典层候选来源;首次成文年份 1999。
- Ryu–Takayanagi 2006 纠缠熵(须先查是否已在本块现代层). 经典层候选来源;首次成文年份 2006。
- Hartle–Hawking 1983 无边界波函数. 经典层候选来源;首次成文年份 1983。
- Jacobson 1995 爱因斯坦方程作为状态方程. 经典层候选来源;首次成文年份 1995。
- Gibbons–Hawking 1977 宇宙视界温度. 经典层候选来源;首次成文年份 1977。
- 1973 Misner, Thorne and Wheeler 教科书化体系. 经典层候选来源;首次成文年份 1973。
- 1973 Hawking and Ellis 教科书化体系. 经典层候选来源;首次成文年份 1973。
- 1982 Birrell and Davies 教科书化体系. 经典层候选来源;首次成文年份 1982。
- 1984 Wald 教科书化体系. 经典层候选来源;首次成文年份 1984。
- 1987 Green, Schwarz and Witten 教科书化体系. 经典层候选来源;首次成文年份 1987。
- 1998 Polchinski 教科书化体系. 经典层候选来源;首次成文年份 1998。
- 2004 Rovelli 教科书化体系. 经典层候选来源;首次成文年份 2004。
- Misner, Thorne and Wheeler. Gravitation. 1973. 专著。
- Hawking and Ellis. The Large Scale Structure of Space-Time. 1973. 专著。
- Birrell and Davies. Quantum Fields in Curved Space. 1982. 专著。
- Wald. General Relativity. 1984. 专著。
- Green, Schwarz and Witten. Superstring Theory. 1987. 专著。
- Polchinski. String Theory. 1998. 专著。
- Rovelli. Quantum Gravity. 2004. 专著。
- Kiefer. Quantum Gravity. 2004. 专著。
- Baez and Muniain. Gauge Fields, Knots and Gravity. 1994. 专著。
- Zwiebach. A First Course in String Theory. 2004. 专著。