1997年11月，一个没有证明的等式
1997年11月，马尔达西那（Juan Maldacena）提交了一篇题为《超共形场论的大N极限与超引力》的论文。核心断言是：五维反德西特空间 AdS₅×S⁵ 上的IIB型弦理论，与它边界上的四维 N=4 超对称杨-米尔斯理论，是同一个物理体系的两种描述。这篇文章要处理的论点可以用一句话说清：AdS/CFT对应今天被当作演算工具日复一日地使用，但它的证据结构是失衡的——间接证据的密度极高，直接检验为零；同行几乎无人怀疑它正确，却也无人能证明它。
这不是在质疑结论，而是在指出一个方法论事实：理论物理对“知道”一词有两套用法。我们接受一个从未被实验触及的等式，却对证据强度相近的若干宇宙学假说保持审慎。这种不对称本身值得检查。
等式两端，以及它为什么可能成立
源头有两处。1974年，特霍夫特（Gerard ‘t Hooft）提出规范理论的“大N展开”，指出当色数N趋于无穷时，费曼图按拓扑分类，行为接近弦的微扰展开。1993年，他在此基础上提出全息原理的雏形；1995年苏斯金德（Leonard Susskind）将其推广为“空间维度可被编码在边界上”。马尔达西那的贡献是把这些线索对应起来，给出了一个具体的几何与耦合关系：R⁴/l_s⁴ = 4πg_s N = λ。
关键在于这个等式两端各有“容易算”的区域，却互不重叠。当λ≫1、N≫1时，弦论一侧退化为经典超引力，计算可行；当λ≪1时，场论一侧是微扰的，也可行。中间那段两者都难的区域，恰恰是对偶真正主张成立的地方。这会形成一种特殊处境——对偶之所以有用，正因为它连接的是两个各自都算不动的极限；而这同时使它的检验变得异常困难。
做过哪些检验，没做过什么
已完成的检验全部是数学内部的一致性检验。2006年，Ryu与Takayanagi提出纠缠熵等于体内极小曲面面积，该公式在二维共形场论中被独立验证；2007年前后，Beisert、Eden、Staudacher等人利用 N=4 杨-米尔斯理论的可积性，把尖点反常维度写成积分方程，其强耦合展开与弦论一侧的计算逐阶吻合；2001年，Policastro、Son与Starinets算出强耦合等离子体的剪切黏度下界 η/s = ħ/(4πk_B)。
这里必须做证据分级。“可积性给出的逐阶吻合”属于理论自洽要求——它证明两套数学结构相容，但两套结构本身都未被独立定义，因此不构成观测证据。真正接触数据的只有 η/s：RHIC与LHC的重离子碰撞数据，经贝叶斯分析得到 η/s 大致落在 0.08 到 0.2 之间（以 ħ/4π 为单位，Bernhard、Moreland与Bass，《自然·物理》2019），接近那个下界。但这是间接推断，且高度依赖模型：夸克-胶子等离子体不是 N=4 超对称杨-米尔斯理论；它没有超对称，耦合也不是无穷大。这个对比成立的唯一理由，是“强耦合流体行为对微观细节不敏感”这一假设——而这正是类比的失效边界所在，它不能被反过来当作对 AdS/CFT对应 的验证。
真正的分歧在哪里
最值得注意的学术分歧并不发生在“信不信对偶”这一层面，而发生在“对偶意味着什么”上。2012年，Almheiri、Marolf、Polchinski与Sully（AMPS）从三个方面提出了一个论证：如果假定 AdS/CFT对应 成立，即边界理论是幺正的、信息守恒，那么落入黑洞的观察者会在视界处遇到高能粒子，即“防火墙”；而防火墙与等效原理——自由落体者不应感到异常——直接冲突。2013年，马尔达西那与苏斯金德以 ER=EPR 回应，主张纠缠与虫洞几何等价，防火墙并不存在。
双方都接受 AdS/CFT对应，分歧在于半经典图像与全息图像哪个可以牺牲。这不是虚假的平衡，而是真实存在的、至今未解的裂缝。另一类分歧更根本：对偶是一个被发现的等价关系，还是一个定义？一部分人认为，边界共形场论就是体内量子引力的定义，等式无需再证；另一部分人坚持，只有当两套独立定义的数学结构被证明严格相等，才算证明，而这一点在有限N、有限λ处从未做到。
边界：我们不在AdS里
AdS 空間有一个类时边界，这是整套全息构造能够成立的前提。我们的宇宙 Λ>0，是渐近的德西特空间，没有边界，也没有同样成熟的 dS/CFT 版本。斯特罗明格（Andrew Strominger）2001年提出的德西特对应，二十余年来始终停留在形式探索阶段，远未达到可计算、可比较的水平。这意味着把 AdS/CFT对应 直接用于宇宙学——暗能量、宇宙起点、原初扰动——目前全部处于纯假说层级，而不是“应用”。
卡住的地方因此很明确：其一，缺少有限N、有限λ下的非微扰定义，使对偶在严格意义上无法被证明；其二，缺少一个可用的德西特对应，使它与我们的宇宙之间横着一道无人跨过的缺口；其三，没有任何一个预言可以被设计成实验去否证它。已知的边界就停在这里。若要推进，需要的不是更多一致性检验，而是一个能被观测否证的推论——比如极早期宇宙中某种全息特征可能留下的引力波谱，或者对偶在某个可测量体系上的定量偏离。
一个从未被观测触及的等式，正在被用来定义什么是量子引力。这件事本身所暴露的，可能不是物理学的不严谨，而是我们对“证明”的期待与理论物理实际运作方式之间的落差。
关键数据框
- N=4 超对称杨-米尔斯理论：16个超荷，共形群 SO(4,2)，规范群 SU(N)，’t Hooft 耦合 λ=g²N
- 几何与耦合的对应：R⁴/l_s⁴ = 4πg_s N = λ
- 经典超引力描述的有效条件：N≫1，λ≫1，g_s≪1
- KSS 下界：η/s = ħ/(4πk_B) ≈ 0.08（自然单位）
- 重离子碰撞拟合值：η/s ≈ 0.08–0.2（贝叶斯分析，含模型先验依赖，《自然·物理》2019）
- 直接观测证据：无
参考文献
- Maldacena, J. 1998. The Large N Limit of Superconformal Field Theories and Supergravity. Adv. Theor. Math. Phys. 2, 231.
- Ryu, S. & Takayanagi, T. 2006. Holographic Derivation of Entanglement Entropy from AdS/CFT. Phys. Rev. Lett. 96, 181602.
- Almheiri, A., Marolf, D., Polchinski, J. & Sully, J. 2013. Black Holes: Complementarity or Firewalls? JHEP 02, 062.
- Bernhard, J. E., Moreland, J. S. & Bass, S. A. 2019. Bayesian estimation of the specific shear and bulk viscosity of quark-gluon plasma. Nature Physics 15, 1113.
- Policastro, G., Son, D. T. & Starinets, A. O. 2001. The shear viscosity of strongly coupled N=4 supersymmetric Yang-Mills plasma. Phys. Rev. Lett. 87, 081601.
标题备选（编辑用）
- 判断句：AdS/CFT对应没有被证明，但没人怀疑它
- 概念张力：AdS/CFT对应：最成功的猜想，最陌生的证明
- 历史切口：从特霍夫特的大N极限到马尔达西那的等式