概率与随机分析
概率论的近二十年转向与 1950—2006 年经典思想在同一页对读:现代层说明新证据怎样改写问题,经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口;经典二十条逐一回指上文,不把年代久远误当成结论仍然有效。
甲、SLE:把随机曲线写成一个方程
围绕本条,旧账的堵点是:上世纪末提出、并在此后十年被系统展开的随机勒夫纳演化,用一个由布朗运动驱动的常微分方程刻画了二维临界模型中的随机界面。一族此前只有物理直觉的曲线,第一次有了严格的数学定义与可计算的维数。 早期论证常把成功对象当成全体,让本条的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。
本条这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释;若第三方只能复述本条结果却不能重做变换,所谓迁移就尚未发生。第 587 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。
本条的硬证据由 2004 年前后的原始工作给出:它带来的不只是工具,而是一个判据:二维临界现象的极限是共形不变的,因而可以用复分析的语言处理。相关工作在 2006 年获菲尔兹奖。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Lawler, Schramm & Werner, Conformal invariance of planar loop-erased random walks and uniform spanning trees, Annals of Probability 32 (2004): 939–995。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。
本条最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满本条分母,新障碍就会迟到。反例对本条可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。本条再核一次:2004 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。
让本条成为公共工艺,需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。
本条在 2026 年与第 587 号《网络科学》的证据边界、又与第 319 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。
乙、共形不变性被证明,不再只是假设
本条改变的不是术语外壳,而是旧问题的入账方式:2010 年前后,临界渗流与二维伊辛模型的共形不变性被严格证明——物理学用重整化群假定了三十年的东西,第一次成为定理。相关工作同样获菲尔兹奖。 若仍用单个定理、单台器件或单批数据结算,本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。
对本条只提出一条单因主张:公开边界内可以独立复算,才允许把本条方法搬到下一类对象。声望与经费只作环境量;如果本条离开原作者补充就不能运行,结论仍是一次性工艺。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条定义更精细若伴随复核人数下降,就不能把本条层级增加写成可靠性增加;两条趋势分开画线。
本条的硬证据由 2010 年前后的原始工作给出:这一步把上一条从「框架」变成「事实」:既然极限确实共形不变,SLE 就不是一个方便的模型,而是唯一可能的极限。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Smirnov, Conformal invariance in random cluster models I, Annals of Mathematics 172 (2010): 1435–1467。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。
对本条的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。本条再核一次:2010 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。
本条要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少;2025 年更新不因更晚就自动更强。第 590 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。
本条在 2026 年与第 590 号《不确定性量化》的证据边界、又与第 587 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。
丙、随机矩阵的普适性
在本条这条线上,过去卡住的是:同一时期,随机矩阵特征值的局部统计被证明与矩阵元的具体分布无关——普适性从数值现象变成定理。 ‘已经解决’往往只描述中心情形,边缘对象、阴性读数和不收敛步骤没有共同分母;重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。
本条的决定变量被压到一项:对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性;若本条增加抽象层级却减少可重做者,接口扩张就没有被证成。本条再核一次:2011 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。
本条的硬证据由 2011 年前后的原始工作给出:这条线与界面涨落在这十年合流:KPZ 界面高度的分布与大随机矩阵最大特征值的分布是同一个。上一个十年分别把两边做实,这十年才看得出它们是同一件事。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Tao & Vu, Random matrices: universality of local eigenvalue statistics, Acta Mathematica 206 (2011): 127–204。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。
本条最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满本条分母,新障碍就会迟到。反例对本条可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条定义更精细若伴随复核人数下降,就不能把本条层级增加写成可靠性增加;两条趋势分开画线。
让本条成为公共工艺,需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。第 600 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。
本条在 2026 年与第 600 号《风险、安全与可靠性工程》的证据边界、又与第 590 号《不确定性量化》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。
丁、精确可解与正则结构的登场
理解本条要先拆一个旧混合量:一批 KPZ 类模型被发现是精确可解的,涨落分布可以写成显式行列式;紧接着 2013 年前后出现的正则结构,给奇异随机偏微分方程立了通用规矩(这十年的起点)。 原体例把发现、证明与推广写在同一行,导致本条究竟强化结论、放宽范围还是降低成本无法区分;本条把三种方向拆开核算。
本条只把‘边界内可复算’视为单独够用的条件,不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建,本条即按未完成处理。本条再核一次:2014 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。本条定义更精细若伴随复核人数下降,就不能把本条层级增加写成可靠性增加;两条趋势分开画线。
本条的硬证据由 2014 年前后的原始工作给出:两者的分工在当时就已清楚:精确解告诉你极限是什么,正则结构告诉你方程凭什么有解。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Hairer, A theory of regularity structures, Inventiones Mathematicae 198 (2014): 269–504。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。
对本条的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条还应公开最小复算材料;材料不足时,本条的引用增长只测传播,不测正确性或可迁移性。
本条要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少;2025 年更新不因更晚就自动更强。第 53 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。
本条在 2026 年与第 53 号《现代密码学》的证据边界、又与第 600 号《风险、安全与可靠性工程》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。
戊、粗糙路径与随机 PDE 的前奏
围绕本条,旧账的堵点是:在正则结构之前,另一条路线已经在处理同一类困难:粗糙路径理论把「用不可微的路径去积分」这件事做成了确定性的分析,从而绕开了随机积分对适应性的要求。 早期论证常把成功对象当成全体,让本条的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。
本条这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释;若第三方只能复述本条结果却不能重做变换,所谓迁移就尚未发生。第 297 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。
本条的硬证据由 2010 年前后的原始工作给出:它给出的关键洞见后来被正则结构继承——要给一个没有意义的表达式赋予意义,办法不是更小心地取极限,而是先把它要用到的那些「基本积分」当作额外数据一并给出。这条思路是两代理论之间真正的连线。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Friz & Victoir, Multidimensional Stochastic Processes as Rough Paths, Cambridge University Press (2010)。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。
本条最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满本条分母,新障碍就会迟到。反例对本条可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。本条再核一次:2010 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。
让本条成为公共工艺,需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。
本条在 2026 年与第 297 号《科技政策与科研管理》的证据边界、又与第 53 号《现代密码学》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。
己、离散概率与算法的合流
本条改变的不是术语外壳,而是旧问题的入账方式:同一时期,随机图的相变、马尔可夫链的混合时间、以及统计物理模型的算法可解性被系统研究:什么时候能高效采样、什么时候被指数级卡住,开始有了统一的判据。 若仍用单个定理、单台器件或单批数据结算,本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。
对本条只提出一条单因主张:公开边界内可以独立复算,才允许把本条方法搬到下一类对象。声望与经费只作环境量;如果本条离开原作者补充就不能运行,结论仍是一次性工艺。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。
本条的硬证据由 2010 年前后的原始工作给出:这条线在这十年长成了统计—计算差距那条界线——某些问题在信息上可解、在算法上不可解,而这条界线本身呈现锐利的相变。上一个十年把工具备齐,这十年才看清那道界线的形状。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Bourgain, Gamburd & Sarnak, Affine linear sieve, Inventiones Mathematicae 179 (2010): 559–644。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。
对本条的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。本条再核一次:2010 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。
本条要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少;2025 年更新不因更晚就自动更强。第 301 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。
本条在 2026 年与第 301 号《泛函分析与算子代数》的证据边界、又与第 297 号《科技政策与科研管理》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。
庚、随机同质化:微观无序在大尺度产生确定系数Stochastic Homogenization
在本条这条线上,过去卡住的是:定量同质化把随机介质中的椭圆方程与随机游走接到有效扩散矩阵,并给出有限尺度误差。 ‘已经解决’往往只描述中心情形,边缘对象、阴性读数和不收敛步骤没有共同分母;重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。
本条的决定变量被压到一项:对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性;若本条增加抽象层级却减少可重做者,接口扩张就没有被证成。本条再核一次:2014 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。
本条的硬证据由 2014 年前后的原始工作给出:相关长度/观测尺度、有效系数偏差/极限系数与异常环境占比共同决定何时可均匀化。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Bauerschmidt, Knowles, Yau & Yin, Local circular law for random matrices, Probability Theory and Related Fields 159 (2014): 545–595。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降,就不能把本条层级增加写成可靠性增加;两条趋势分开画线。
本条最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满本条分母,新障碍就会迟到。反例对本条可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条还应公开最小复算材料;材料不足时,本条的引用增长只测传播,不测正确性或可迁移性。
让本条成为公共工艺,需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。第 302 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。
本条在 2026 年与第 302 号《调和分析》的证据边界、又与第 301 号《泛函分析与算子代数》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。
辛、最优运输与梯度流:概率分布空间也有动力学Optimal Transport and Gradient Flows
理解本条要先拆一个旧混合量:Wasserstein 几何把 Fokker–Planck 方程写成熵的梯度流,随机演化可用距离、曲率与耗散统一表达。 原体例把发现、证明与推广写在同一行,导致本条究竟强化结论、放宽范围还是降低成本无法区分;本条把三种方向拆开核算。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。
本条只把‘边界内可复算’视为单独够用的条件,不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建,本条即按未完成处理。本条再核一次:2012 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。本条还应公开最小复算材料;材料不足时,本条的引用增长只测传播,不测正确性或可迁移性。
本条的硬证据由 2012 年前后的原始工作给出:W₂ 距离下降率、熵耗散/初始熵与时间离散步长共同决定收敛,而非只看终点分布。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Addario-Berry, Broutin & Goldschmidt, The continuum limit of critical random graphs, Probability Theory and Related Fields 152 (2012): 367–406。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降,就不能把本条层级增加写成可靠性增加;两条趋势分开画线。
对本条的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。把本条放回全部对象族后,要比较中心情形与尾部情形;若两端反号,本条结论只保留局部版本。
本条要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少;2025 年更新不因更晚就自动更强。第 303 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。
本条在 2026 年与第 303 号《复分析与复几何》的证据边界、又与第 302 号《调和分析》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。
一、没有意义的方程
围绕随机壬项,旧账的堵点是:许多描述随机现象的方程包含非线性项与时空白噪声。白噪声不是函数而是分布,而分布之间不能相乘——于是方程的每一项单独看都合理,合起来却没有定义。 早期论证常把成功对象当成全体,让随机壬项的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。
随机壬项这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进随机壬项的同一解释;若第三方只能复述随机壬项结果却不能重做变换,所谓迁移就尚未发生。第 304 号批外证据提醒:随机壬项缺失对象不是零值;它未进入随机壬项账本,遗漏率须随主结果发表。
随机壬项的硬证据由 2012 年前后的原始工作给出:过去的处理办法是各种巧妙的变换与近似,只对特定方程有效。这十年的突破是给出了一套通用的框架:把解的局部行为按一族预先构造好的随机对象展开,从而在扩展的意义上定义乘积,再证明所得的解是逼近格式的极限且不依赖于逼近方式。 这套理论使一整族此前无法处理的奇异随机偏微分方程有了严格解,并因此获得菲尔兹奖级别的认可。
随机壬项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机壬项分母,新障碍就会迟到。反例对随机壬项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机壬项再核一次:2012 年分母若换成随机壬项全部候选对象,方向必须重算;未满足随机壬项条件的对象逐项留下。
让随机壬项成为公共工艺,需要样例留版本、随机壬项依赖树可追踪、计算带证书、参数保留原始记录。随机壬项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。随机壬项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机壬项旧边界,随机壬项来源层级也不能混写。随机壬项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机壬项路线也知道哪里走不通。
随机壬项在 2026 年与第 304 号《可计算性与递归论》的证据边界、又与第 303 号《复分析与复几何》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机壬项却警告核验者会随层级上升而减少;应比较随机壬项可复算对象/全部候选对象。随机壬项外推要报告复算成功对象/全部尝试对象;只列成功会把随机壬项失败分母压零,方向随即失真。
二、KPZ 普适类
随机癸项改变的不是术语外壳,而是旧问题的入账方式:这一族问题的中心是随机界面生长:细菌菌落的边界、燃烧前沿、结晶表面、排队系统的积压。它们的微观规则完全不同,涨落的标度指数却一致——这就是一个普适类。 若仍用单个定理、单台器件或单批数据结算,随机癸项之外的反例会被成功叙事自动删去。这里把随机癸项的对象范围、操作步骤和例外集合分别立账。
对随机癸项只提出一条单因主张:公开边界内可以独立复算,才允许把随机癸项方法搬到下一类对象。声望与经费只作环境量;如果随机癸项离开原作者补充就不能运行,结论仍是一次性工艺。随机癸项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机癸项旧边界,随机癸项来源层级也不能混写。随机癸项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机癸项路线也知道哪里走不通。
随机癸项的硬证据由 2011 年前后的原始工作给出:这十年最漂亮的成果,是把这个类所收敛到的极限对象直接构造出来:一个随机的时空场,任何属于该类的模型在适当标度下都收敛到它。有了这个对象,普适性从一句断言变成了一个可以陈述与验证的定理。 同时被揭示的是它与随机矩阵的深刻联系:界面高度的涨落分布,与大随机矩阵最大特征值的分布是同一个。
对随机癸项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机癸项效果。若随机癸项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机癸项再核一次:2011 年分母若换成随机癸项全部候选对象,方向必须重算;未满足随机癸项条件的对象逐项留下。
随机癸项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机癸项要询问谁进入分母、谁能独立重跑、随机癸项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 306 号批外证据提醒:随机癸项缺失对象不是零值;它未进入随机癸项账本,遗漏率须随主结果发表。
随机癸项在 2026 年与第 306 号《生物统计学》的证据边界、又与第 304 号《可计算性与递归论》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机癸项却警告核验者会随层级上升而减少;应比较随机癸项可复算对象/全部候选对象。随机癸项外推要报告复算成功对象/全部尝试对象;只列成功会把随机癸项失败分母压零,方向随即失真。
三、随机几何:随机曲面被定义了
在随机子项这条线上,过去卡住的是:另一条主线是二维随机几何。物理学家早就有一幅图像:把随机三角剖分的曲面取连续极限,得到一个「随机的度量空间」,它是二维量子引力的模型。困难在于这个极限是什么,长期无人能说清。 ‘已经解决’往往只描述中心情形,边缘对象、阴性读数和不收敛步骤没有共同分母;重写后的随机子项必须让三类记录同时可见。
随机子项的决定变量被压到一项:对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释随机子项的正确性;若随机子项增加抽象层级却减少可重做者,接口扩张就没有被证成。随机子项再核一次:2011 年分母若换成随机子项全部候选对象,方向必须重算;未满足随机子项条件的对象逐项留下。
随机子项的硬证据由 2011 年前后的原始工作给出:这十年它被系统地建立起来:随机曲面上的面积测度、距离与布朗运动都被严格定义,并被证明是随机三角剖分的标度极限;它与描述随机曲线的共形不变过程之间的关系也被精确刻画——后者恰好是前者上的自然「切割线」。 这条线把统计物理里的共形不变性、随机曲线、随机曲面与量子引力串成了一个数学上自洽的整体。
随机子项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机子项分母,新障碍就会迟到。反例对随机子项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机子项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机子项旧边界,随机子项来源层级也不能混写。随机子项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机子项路线也知道哪里走不通。
让随机子项成为公共工艺,需要样例留版本、随机子项依赖树可追踪、计算带证书、参数保留原始记录。随机子项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。第 307 号批外证据提醒:随机子项缺失对象不是零值;它未进入随机子项账本,遗漏率须随主结果发表。
随机子项在 2026 年与第 307 号《贝叶斯统计与计算》的证据边界、又与第 306 号《生物统计学》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机子项却警告核验者会随层级上升而减少;应比较随机子项可复算对象/全部候选对象。随机子项外推要报告复算成功对象/全部尝试对象;只列成功会把随机子项失败分母压零,方向随即失真。
四、相变的严格化
理解随机丑项要先拆一个旧混合量:第三条线更经典:临界现象。渗流、伊辛模型这类格点模型在临界点附近的行为,物理学用重整化群给出了极精确的预言,而数学上长期只在特殊维数或特殊模型上可证。 原体例把发现、证明与推广写在同一行,导致随机丑项究竟强化结论、放宽范围还是降低成本无法区分;本条把三种方向拆开核算。
随机丑项只把‘边界内可复算’视为单独够用的条件,不让规模、作者数或期刊级别代替随机丑项。只要随机丑项的定义域和失败域不能由外部研究者重建,本条即按未完成处理。随机丑项再核一次:2020 年分母若换成随机丑项全部候选对象,方向必须重算;未满足随机丑项条件的对象逐项留下。随机丑项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机丑项路线也知道哪里走不通。
随机丑项的硬证据由 2020 年前后的原始工作给出:这十年在若干经典模型上取得了实质进展:相变的尖锐性、临界指数的确定、以及某些模型在临界点的共形不变性。相关工作同样获得了菲尔兹奖级别的认可。 需要如实说明的是边界:三维伊辛模型的严格处理仍未完成,而物理学那边用另一套方法(自举)已经把它算到极高精度。这是一个数学落后于物理的、罕见而诚实的例子。
对随机丑项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机丑项效果。若随机丑项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机丑项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机丑项旧边界,随机丑项来源层级也不能混写。
随机丑项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机丑项要询问谁进入分母、谁能独立重跑、随机丑项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 308 号批外证据提醒:随机丑项缺失对象不是零值;它未进入随机丑项账本,遗漏率须随主结果发表。
随机丑项在 2026 年与第 308 号《实验设计与抽样调查》的证据边界、又与第 307 号《贝叶斯统计与计算》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机丑项却警告核验者会随层级上升而减少;应比较随机丑项可复算对象/全部候选对象。随机丑项外推要报告复算成功对象/全部尝试对象;只列成功会把随机丑项失败分母压零,方向随即失真。
五、高维与算法的接口
围绕随机寅项,旧账的堵点是:概率论这十年还有一条更靠近计算的支线:高维概率与随机算法。测度集中、随机矩阵的普适性、以及关于「什么时候能从含噪数据中恢复信号」的相变结果,把统计推断的可能性边界变成了概率论问题。 早期论证常把成功对象当成全体,让随机寅项的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。
随机寅项这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进随机寅项的同一解释;若第三方只能复述随机寅项结果却不能重做变换,所谓迁移就尚未发生。第 309 号批外证据提醒:随机寅项缺失对象不是零值;它未进入随机寅项账本,遗漏率须随主结果发表。
随机寅项的硬证据由 2019 年前后的原始工作给出:一个反复出现的现象是统计—计算差距:某些问题在信息上可解,但没有已知的多项式时间算法,而这条界线本身呈现出锐利的相变。它把概率论与计算复杂性接到了一起。 这条线也是机器学习理论的直接上游(见相邻面板)——那边关于过参数化与随机矩阵的分析,用的正是这里的工具。 对随机寅项的复核分别记录对象规模、结构层级和误差分母;
随机寅项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机寅项分母,新障碍就会迟到。反例对随机寅项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机寅项再核一次:2019 年分母若换成随机寅项全部候选对象,方向必须重算;未满足随机寅项条件的对象逐项留下。
让随机寅项成为公共工艺,需要样例留版本、随机寅项依赖树可追踪、计算带证书、参数保留原始记录。随机寅项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。随机寅项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机寅项旧边界,随机寅项来源层级也不能混写。随机寅项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机寅项路线也知道哪里走不通。
随机寅项在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 308 号《实验设计与抽样调查》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机寅项却警告核验者会随层级上升而减少;应比较随机寅项可复算对象/全部候选对象。随机寅项外推要报告复算成功对象/全部尝试对象;只列成功会把随机寅项失败分母压零,方向随即失真。
六、这十年的方法论
随机卯项改变的不是术语外壳,而是旧问题的入账方式:把上面几条合起来,可以看到一个共同的姿态:不满足于证明极限存在,而是要把极限对象本身构造出来并研究它的性质。 若仍用单个定理、单台器件或单批数据结算,随机卯项之外的反例会被成功叙事自动删去。这里把随机卯项的对象范围、操作步骤和例外集合分别立账。
对随机卯项只提出一条单因主张:公开边界内可以独立复算,才允许把随机卯项方法搬到下一类对象。声望与经费只作环境量;如果随机卯项离开原作者补充就不能运行,结论仍是一次性工艺。随机卯项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机卯项旧边界,随机卯项来源层级也不能混写。随机卯项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机卯项路线也知道哪里走不通。
随机卯项的硬证据由 2012 年前后的原始工作给出:这个转变有实际后果。一旦极限对象被构造,就可以问它自己的问题——它的分形维数、它上面的随机游动、它与其他对象的关系;而这些问题往往比原来的离散模型更清晰。 这与其他数学分支这十年的走向一致:进步来自把此前只是图像的东西变成可操作的对象。 对随机卯项的复核分别记录对象规模、结构层级和误差分母;来源是 Erdős, Yau & Yin, Bulk universality for generalized Wigner matrices, Probability Theory and Related Fields 154 (2012): 341–407。随机卯项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。
对随机卯项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机卯项效果。若随机卯项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机卯项再核一次:2012 年分母若换成随机卯项全部候选对象,方向必须重算;未满足随机卯项条件的对象逐项留下。
随机卯项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机卯项要询问谁进入分母、谁能独立重跑、随机卯项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 310 号批外证据提醒:随机卯项缺失对象不是零值;它未进入随机卯项账本,遗漏率须随主结果发表。
随机卯项在 2026 年与第 310 号《空间统计与地理统计》的证据边界、又与第 309 号《时间序列与预测方法》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机卯项却警告核验者会随层级上升而减少;应比较随机卯项可复算对象/全部候选对象。随机卯项外推要报告复算成功对象/全部尝试对象;只列成功会把随机卯项失败分母压零,方向随即失真。
七、Malliavin–Stein 方法:依赖随机量也能定量逼近正态Malliavin–Stein Normal Approximation
在随机辰项这条线上,过去卡住的是:Malliavin 微分与 Stein 方程结合,为 Wiener chaos、随机几何和网络统计给出显式距离界。 ‘已经解决’往往只描述中心情形,边缘对象、阴性读数和不收敛步骤没有共同分母;重写后的随机辰项必须让三类记录同时可见。随机辰项外推要报告复算成功对象/全部尝试对象;只列成功会把随机辰项失败分母压零,方向随即失真。
随机辰项的决定变量被压到一项:对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释随机辰项的正确性;若随机辰项增加抽象层级却减少可重做者,接口扩张就没有被证成。随机辰项再核一次:2010 年分母若换成随机辰项全部候选对象,方向必须重算;未满足随机辰项条件的对象逐项留下。
随机辰项的硬证据由 2010 年前后的原始工作给出:Wasserstein 或 total variation 距离/目标精度、收缩范数与 chaos 阶数共同控制误差。 对随机辰项的复核分别记录对象规模、结构层级和误差分母;来源是 Bhamidi, van der Hofstad & van Leeuwaarden, Scaling limits for critical inhomogeneous random graphs, Electronic Journal of Probability 15 (2010): 1682–1702。随机辰项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。随机辰项定义更精细若伴随复核人数下降,就不能把随机辰项层级增加写成可靠性增加;两条趋势分开画线。
随机辰项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机辰项分母,新障碍就会迟到。反例对随机辰项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机辰项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机辰项旧边界,随机辰项来源层级也不能混写。随机辰项还应公开最小复算材料;材料不足时,随机辰项的引用增长只测传播,不测正确性或可迁移性。
让随机辰项成为公共工艺,需要样例留版本、随机辰项依赖树可追踪、计算带证书、参数保留原始记录。随机辰项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。第 311 号批外证据提醒:随机辰项缺失对象不是零值;它未进入随机辰项账本,遗漏率须随主结果发表。把随机辰项放回全部对象族后,要比较中心情形与尾部情形;若两端反号,随机辰项结论只保留局部版本。
随机辰项在 2026 年与第 311 号《原子分子与光物理》的证据边界、又与第 310 号《空间统计与地理统计》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机辰项却警告核验者会随层级上升而减少;应比较随机辰项可复算对象/全部候选对象。随机辰项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机辰项路线也知道哪里走不通。
八、高斯乘法混沌:指数化粗糙场仍能定义随机测度Gaussian Multiplicative Chaos
理解随机巳项要先拆一个旧混合量:对数相关高斯场经减去方差并取指数形成非平凡极限,临界参数处需改用导数鞅。 原体例把发现、证明与推广写在同一行,导致随机巳项究竟强化结论、放宽范围还是降低成本无法区分;本条把三种方向拆开核算。随机巳项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机巳项路线也知道哪里走不通。
随机巳项只把‘边界内可复算’视为单独够用的条件,不让规模、作者数或期刊级别代替随机巳项。只要随机巳项的定义域和失败域不能由外部研究者重建,本条即按未完成处理。随机巳项再核一次:2013 年分母若换成随机巳项全部候选对象,方向必须重算;未满足随机巳项条件的对象逐项留下。随机巳项还应公开最小复算材料;材料不足时,随机巳项的引用增长只测传播,不测正确性或可迁移性。
随机巳项的硬证据由 2013 年前后的原始工作给出:参数 γ/临界值、总质量矩阶数与截断尺度误差定义亚临界、临界与冻结区。 对随机巳项的复核分别记录对象规模、结构层级和误差分母;来源是 Boucheron, Lugosi & Massart, Concentration Inequalities, Oxford University Press (2013)。随机巳项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。随机巳项定义更精细若伴随复核人数下降,就不能把随机巳项层级增加写成可靠性增加;两条趋势分开画线。
对随机巳项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机巳项效果。若随机巳项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机巳项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机巳项旧边界,随机巳项来源层级也不能混写。
随机巳项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机巳项要询问谁进入分母、谁能独立重跑、随机巳项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 315 号批外证据提醒:随机巳项缺失对象不是零值;它未进入随机巳项账本,遗漏率须随主结果发表。
随机巳项在 2026 年与第 315 号《表面与界面物理》的证据边界、又与第 311 号《原子分子与光物理》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机巳项却警告核验者会随层级上升而减少;应比较随机巳项可复算对象/全部候选对象。随机巳项外推要报告复算成功对象/全部尝试对象;只列成功会把随机巳项失败分母压零,方向随即失真。
九、临界渗流的锐阈值:相变宽度可以定量Sharp Thresholds in Percolation
围绕随机午项,旧账的堵点是:影响函数、差分不等式与随机簇方法把‘有相变’推进为临界点唯一、关联长度可估。 早期论证常把成功对象当成全体,让随机午项的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。随机午项定义更精细若伴随复核人数下降,就不能把随机午项层级增加写成可靠性增加;两条趋势分开画线。
随机午项这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进随机午项的同一解释;若第三方只能复述随机午项结果却不能重做变换,所谓迁移就尚未发生。第 316 号批外证据提醒:随机午项缺失对象不是零值;它未进入随机午项账本,遗漏率须随主结果发表。
随机午项的硬证据由 2021 年前后的原始工作给出:穿越概率从 ε 到 1-ε 所需参数窗口/系统尺度,是锐不锐的直接分母。 对随机午项的复核分别记录对象规模、结构层级和误差分母;来源是 Eldan, A stochastic localization proof of the KLS conjecture, Annals of Mathematics 194 (2021): 595–642。随机午项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。随机午项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机午项路线也知道哪里走不通。
随机午项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机午项分母,新障碍就会迟到。反例对随机午项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机午项再核一次:2021 年分母若换成随机午项全部候选对象,方向必须重算;未满足随机午项条件的对象逐项留下。
让随机午项成为公共工艺,需要样例留版本、随机午项依赖树可追踪、计算带证书、参数保留原始记录。随机午项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。随机午项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机午项旧边界,随机午项来源层级也不能混写。随机午项还应公开最小复算材料;材料不足时,随机午项的引用增长只测传播,不测正确性或可迁移性。
随机午项在 2026 年与第 316 号《磁学与自旋电子学》的证据边界、又与第 315 号《表面与界面物理》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机午项却警告核验者会随层级上升而减少;应比较随机午项可复算对象/全部候选对象。随机午项外推要报告复算成功对象/全部尝试对象;只列成功会把随机午项失败分母压零,方向随即失真。
十、McKean–Vlasov 极限:相互作用粒子汇成非线性分布方程Mean-Field Interacting Particle Limits
随机未项改变的不是术语外壳,而是旧问题的入账方式:传播混沌把 N 粒子交换系统接到非线性 Fokker–Planck 方程,个体相关在大 N 下获得定量界。 若仍用单个定理、单台器件或单批数据结算,随机未项之外的反例会被成功叙事自动删去。这里把随机未项的对象范围、操作步骤和例外集合分别立账。随机未项定义更精细若伴随复核人数下降,就不能把随机未项层级增加写成可靠性增加;两条趋势分开画线。
对随机未项只提出一条单因主张:公开边界内可以独立复算,才允许把随机未项方法搬到下一类对象。声望与经费只作环境量;如果随机未项离开原作者补充就不能运行,结论仍是一次性工艺。随机未项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机未项旧边界,随机未项来源层级也不能混写。随机未项还应公开最小复算材料;材料不足时,随机未项的引用增长只测传播,不测正确性或可迁移性。
随机未项的硬证据由 2009 年前后的原始工作给出:有限粒子边缘分布/极限乘积测度的距离、误差随 N 的衰减率是平均场成立的分母。 对随机未项的复核分别记录对象规模、结构层级和误差分母;来源是 Villani, Optimal Transport: Old and New, Springer (2009)。随机未项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。随机未项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机未项路线也知道哪里走不通。
对随机未项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机未项效果。若随机未项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机未项再核一次:2009 年分母若换成随机未项全部候选对象,方向必须重算;未满足随机未项条件的对象逐项留下。
随机未项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机未项要询问谁进入分母、谁能独立重跑、随机未项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 319 号批外证据提醒:随机未项缺失对象不是零值;它未进入随机未项账本,遗漏率须随主结果发表。
随机未项在 2026 年与第 319 号《计算物理与多尺度模拟》的证据边界、又与第 316 号《磁学与自旋电子学》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机未项却警告核验者会随层级上升而减少;应比较随机未项可复算对象/全部候选对象。随机未项外推要报告复算成功对象/全部尝试对象;只列成功会把随机未项失败分母压零,方向随即失真。
十一、随机图临界窗口:巨分量不是突然出现而是有缩放过程Critical Random Graphs
在随机申项这条线上,过去卡住的是:Erdős–Rényi 在 p=1/n 附近的分量大小、盈余边与度量极限形成共同过程。 ‘已经解决’往往只描述中心情形,边缘对象、阴性读数和不收敛步骤没有共同分母;重写后的随机申项必须让三类记录同时可见。随机申项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机申项路线也知道哪里走不通。
随机申项的决定变量被压到一项:对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释随机申项的正确性;若随机申项增加抽象层级却减少可重做者,接口扩张就没有被证成。随机申项再核一次:2019 年分母若换成随机申项全部候选对象,方向必须重算;未满足随机申项条件的对象逐项留下。
随机申项的硬证据由 2019 年前后的原始工作给出:窗口宽 N^(-1/3)、最大分量 N^(2/3)、环数 O(1) 三读数定义临界而非任意选点。 对随机申项的复核分别记录对象规模、结构层级和误差分母;来源是 Armstrong & Mourrat, Quantitative Stochastic Homogenization, Springer (2019)。随机申项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。随机申项定义更精细若伴随复核人数下降,就不能把随机申项层级增加写成可靠性增加;两条趋势分开画线。
随机申项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机申项分母,新障碍就会迟到。反例对随机申项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机申项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机申项旧边界,随机申项来源层级也不能混写。随机申项还应公开最小复算材料;材料不足时,随机申项的引用增长只测传播,不测正确性或可迁移性。
让随机申项成为公共工艺,需要样例留版本、随机申项依赖树可追踪、计算带证书、参数保留原始记录。随机申项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。第 587 号批外证据提醒:随机申项缺失对象不是零值;它未进入随机申项账本,遗漏率须随主结果发表。把随机申项放回全部对象族后,要比较中心情形与尾部情形;若两端反号,随机申项结论只保留局部版本。
随机申项在 2026 年与第 587 号《网络科学》的证据边界、又与第 319 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机申项却警告核验者会随层级上升而减少;应比较随机申项可复算对象/全部候选对象。随机申项外推要报告复算成功对象/全部尝试对象;只列成功会把随机申项失败分母压零,方向随即失真。
十二、浓缩不等式进入高维算法:平均不再等于稳定Concentration in High Dimensions
理解随机酉项要先拆一个旧混合量:Talagrand、运输不等式与 log-Sobolev 工具量化函数对独立或弱依赖输入的涨落。 原体例把发现、证明与推广写在同一行,导致随机酉项究竟强化结论、放宽范围还是降低成本无法区分;本条把三种方向拆开核算。随机酉项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机酉项路线也知道哪里走不通。
随机酉项只把‘边界内可复算’视为单独够用的条件,不让规模、作者数或期刊级别代替随机酉项。只要随机酉项的定义域和失败域不能由外部研究者重建,本条即按未完成处理。随机酉项再核一次:2008 年分母若换成随机酉项全部候选对象,方向必须重算;未满足随机酉项条件的对象逐项留下。随机酉项还应公开最小复算材料;材料不足时,随机酉项的引用增长只测传播,不测正确性或可迁移性。
随机酉项的硬证据由 2008 年前后的原始工作给出:偏差阈值/Lipschitz 常数、有效维数/环境维数与尾概率对数斜率构成稳定性账本。 对随机酉项的复核分别记录对象规模、结构层级和误差分母;来源是 Chatterjee, A new method of normal approximation, Annals of Probability 36 (2008): 1584–1610。随机酉项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。随机酉项定义更精细若伴随复核人数下降,就不能把随机酉项层级增加写成可靠性增加;两条趋势分开画线。
对随机酉项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机酉项效果。若随机酉项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机酉项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机酉项旧边界,随机酉项来源层级也不能混写。把随机酉项放回全部对象族后,要比较中心情形与尾部情形;若两端反号,随机酉项结论只保留局部版本。
随机酉项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机酉项要询问谁进入分母、谁能独立重跑、随机酉项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 590 号批外证据提醒:随机酉项缺失对象不是零值;它未进入随机酉项账本,遗漏率须随主结果发表。
随机酉项在 2026 年与第 590 号《不确定性量化》的证据边界、又与第 587 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机酉项却警告核验者会随层级上升而减少;应比较随机酉项可复算对象/全部候选对象。随机酉项外推要报告复算成功对象/全部尝试对象;只列成功会把随机酉项失败分母压零,方向随即失真。
二十年连起来看
概率与随机分析的中心转向,是不再把随机性只当误差,而把奇异曲线、粗糙噪声、临界曲面和大系统共同极限当作可定义对象;普适性必须和尺度、正则性及例外事件一起写。 第一幕的八条主要改造问题、证明或实验的入口;第二幕十二条把入口连接到更高层结构、数据基础设施与公开核验。真正连续的不是术语,而是分母越来越明确、失败越来越能被定位。
这条时间线也说明“新”不能只按年份判断:早期思想若在 2016 年后才获得可计算对象、公开数据或实验阈值,它在第二幕仍然是新的工作方式;反之,2025 年出现而没有独立复核的结果,只能记为候选。
三个常见误解
第一,把一个著名定理或器件当成全领域;本页用二十条是为了显示方法、边界和基础设施同样构成转向。第二,把计算规模当可靠性;规模不修复选择偏差、定义漂移与样品差异。第三,把尚未解决解释为没有进步;许多最重要的进展是把错误路线排除、把失败区画清。
与相邻领域的接口
与第 310 号《空间统计与地理统计》的接口在可计算表示:同一个对象换表示后,能否保留结构与误差。与第 587 号《网络科学》的接口在证据聚合:局部读数怎样进入整体判断而不抹平异常。两处都要求先公开分母,再谈统一。
争议现场
概率与随机分析当前最实质的争议不是“传统还是创新”,而是超长证明、复杂计算或高门槛实验怎样获得共同体信任。一方强调专家链式核验足够,另一方要求机器证书、原始数据和独立复制。可判标准是关键结论能否在不依赖原作者口头补充的情况下重做。
第二个争议围绕边界:统一语言提高迁移速度,却可能把不适配对象排出可见范围。每一条因此都保留“空栏”和“自曝”;若异常只在论文之外出现,统一就只是整理成功案例。
往下五年看什么
观察三件事:第一,2024–2026 年的候选结果能否形成第二个独立证明或复现实验;第二,数据库、软件和样品链能否保存阴性记录;第三,年轻研究者是否能在更短依赖路径上进入前沿。若三项只增长论文数而不降低复核成本,基础设施仍未成熟。
可与哪些领域对撞
概率与随机分析与第 600 号《风险、安全与可靠性工程》共享“通过检查即可信”的前提;前者用证明、计算或样品链,后者用失效模式。相反方向是:形式检查越密,未建模的共同原因失效反而可能越隐蔽。新矛盾是如何为数学与物理结果建立类似事故调查的阴性档案。
它还可撞第 297 号《科技政策与科研管理》:一个领域追求真值,另一个领域分配注意、经费和声誉。两者都默认高影响结果值得优先复核;相反方向是越抢先的结果可供核验的时间越短。可测问题是撤回或重大修订之前的扩散速度/完成独立复核所需时间。
第三处跨类对撞是第 306 号《生物统计学》:那里担心样本进入分母,这里担心对象、定理或器件进入分母。共同前提是已记录对象代表候选总体;相反方向是可计算对象越多,难以表示的对象越可能永久缺席。
十条可做的研究命题
一,统计二十年内关键结果从预印本到独立核验的中位时间。二,把失败参数区公开与否作为解释后续复用率的变量。三,比较单人证明与团队证明的依赖树深度。四,测数据库扩容前后新猜想的类型是否收窄。五,建立来源三笔互异与重大修订率的前瞻登记。
六,用随机抽样复核软件、证明或样品链中的一条中间步骤。七,比较更高层抽象引入前后的新人训练年限。八,给“不可复算但被广泛引用”的结果建退出机制。九,测试跨领域迁移是否增加反例发现率。十,把阴性结果进入公共库的比例设为领域健康指标,并预先规定何时否定该指标。
资料核验
- Lawler, Schramm & Werner, Conformal invariance of planar loop-erased random walks and uniform spanning trees, Annals of Probability 32 (2004): 939–995
- Smirnov, Conformal invariance in random cluster models I, Annals of Mathematics 172 (2010): 1435–1467
- Tao & Vu, Random matrices: universality of local eigenvalue statistics, Acta Mathematica 206 (2011): 127–204
- Hairer, A theory of regularity structures, Inventiones Mathematicae 198 (2014): 269–504
- Friz & Victoir, Multidimensional Stochastic Processes as Rough Paths, Cambridge University Press (2010)
- Bourgain, Gamburd & Sarnak, Affine linear sieve, Inventiones Mathematicae 179 (2010): 559–644
- Corwin, The Kardar–Parisi–Zhang equation and universality class, Random Matrices: Theory and Applications 1 (2012): 1130001
- Amir, Corwin & Quastel, Probability distribution of the free energy of the continuum directed random polymer, Communications on Pure and Applied Mathematics 64 (2011): 466–537
- Duplantier & Sheffield, Liouville quantum gravity and KPZ, Inventiones Mathematicae 185 (2011): 333–393
- Miller & Sheffield, Liouville quantum gravity and the Brownian map I, Inventiones Mathematicae 219 (2020): 75–152
- Duminil-Copin, Raoufi & Tassion, Sharp phase transition for the random-cluster and Potts models, Annals of Mathematics 189 (2019): 75–99
- Erdős, Yau & Yin, Bulk universality for generalized Wigner matrices, Probability Theory and Related Fields 154 (2012): 341–407
- Bauerschmidt, Knowles, Yau & Yin, Local circular law for random matrices, Probability Theory and Related Fields 159 (2014): 545–595
- Addario-Berry, Broutin & Goldschmidt, The continuum limit of critical random graphs, Probability Theory and Related Fields 152 (2012): 367–406
- Bhamidi, van der Hofstad & van Leeuwaarden, Scaling limits for critical inhomogeneous random graphs, Electronic Journal of Probability 15 (2010): 1682–1702
- Boucheron, Lugosi & Massart, Concentration Inequalities, Oxford University Press (2013)
- Eldan, A stochastic localization proof of the KLS conjecture, Annals of Mathematics 194 (2021): 595–642
- Villani, Optimal Transport: Old and New, Springer (2009)
- Armstrong & Mourrat, Quantitative Stochastic Homogenization, Springer (2019)
- Chatterjee, A new method of normal approximation, Annals of Probability 36 (2008): 1584–1610
- Bauerschmidt et al., Recent progress on universality in random matrices and log-correlated fields, 2024 survey
- Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers
- Hairer et al., Singular SPDEs beyond subcriticality, 2025 research update (preprint)
核验说明:文献表优先列原始论文、正式专著与同行评议综述;标注 preprint 或 manuscript 的条目尚未完成同行评议,只用于“最新”定位,不与已刊定理或实验同权。正文的数值与适用边界以所列来源为准。
以下二十条是概率与随机分析在 1950 至 2006 年之间立起来的经典思想,与上文近二十年的二十条合成一块面板的两层。它们回答的是另一个问题:上面每一条新结果所推翻的,究竟是哪一条老前提,而那条老前提当年又是被谁、用什么材料立起来的。经典层因此不做名人榜,只收至今仍被现代二十条正面使用或正面反对的命题——伊藤规定了在哪一点取值才算积分,Donsker 宣布微观细节不进极限,Metropolis 把「跑得够久就对了」写成算法,Kardar 等三位物理学家用两页纸给出一个数学界二十年够不着的指数,而 Doeblin 那份 1940 年封存、2000 年才被打开的手稿,则给出了这门学科对「谁被记住」最不客气的一次表态。每条一行来源、两段正文、一行五栏碰撞行,末尾点名它在上文哪一条里继续活着。
经一、随机积分:在哪一点取值决定了结果Classic 01 · Probability
1951 年之前,「白噪声驱动的方程」只是物理文献里的写法:布朗运动的路径几乎处处不可导,通常的积分定义全部失效。伊藤清的处理是规定取值点:被积函数在小区间的左端点取值,由此得到的积分是鞅,并给出比经典链式法则多一项二阶项的伊藤公式。「随机微分方程」从此有了确切所指,而不再是一句形式记法。
它的边界正在那条规定上:换成中点取值(Stratonovich)得到的是另一个积分,两者相差一个漂移项,且哪一种「对」取决于所建模的物理过程如何逼近。这条经典留下的教训反复出现:随机对象的定义里往往藏着一次约定,不写出来方程就没有意义。本块一面对的是同一处困难的更难版本:奇异随机偏微分方程要先说明重整化怎么做,才能谈解。
经二、不变原理:微观细节不进极限Classic 02 · Probability
1951 年之前,中心极限定理说的是一个数:和的分布趋于正态。Donsker 把它提升为一条路径的收敛——整条随机游走轨道按标度收敛到布朗运动,而与步长分布的具体形状无关。由此,凡是关于布朗运动的泛函结论,都自动成为关于一大类随机游走的结论。「普适性」这个词从此在概率论里有了可证的含义。
边界是那句「有限方差」:重尾情形收敛到的是稳定过程而非布朗运动,同名的极限对象在不同条件下不是同一个。更要紧的是这条原理只解决了最简单的一类标度——一旦模型带相互作用,极限对象与标度指数都要另行确定,且证明极为困难。本块二报告的 KPZ 普适类正是这样一类:极限对象被找到了,而「哪些模型收敛到它」这份名单至今很短。
经三、蒙特卡洛:把「跑得够久」写成算法Classic 03 · Probability
1953 年之前,从一个复杂分布里抽样几乎无从下手,因为归一化常数往往算不出来。这篇论文给出的办法是造一条马氏链:只用分布的比值决定是否接受一步移动,平稳分布就是目标分布。归一化常数被绕过,统计物理、化学与后来的贝叶斯统计因此都获得了可执行的计算方式。
边界是收敛速度:算法保证「跑得够久就对」,却不说明够久是多久,而在多模态或低温情形,混合时间可以指数地长——使用者看到的链已经平稳,实际上仍困在一个局部区域。混合时间的严格估计因此成了一门独立学问,Propp–Wilson 的精确采样则给出了一种可判定停机的路线。本块五今天在高维算法里遇到的困难,多数仍是这条边界的变形。
经四、鞅:一门学科被写成严格的样子Classic 04 · Probability
1953 年之前,概率论的严格化只完成了一半:Kolmogorov 1933 年给了公理,但过程层面的论证仍大量依赖直觉。Doob 把鞅——赌博的公平性条件——做成中心工具,证明收敛定理与可选停止定理,并把整套过程理论写进一本可教学的书。此后「概率论是不是数学」这个问题不再被问,而工具的统一也让它可以向外输出。
边界是这套语言的成本:可测性、可料性、右连左极这些条件在直觉上不产生任何内容,却必须逐条交代,入门代价因此长期偏高。另一处是它塑造的默认——「随机过程」这个词的所指在此被一次定死,后来处理粗糙路径、随机场与不可分离的情形时,都要先松开这条边界。本块六盘点方法论时,这本书是最深的一层。
经五、半圆律:谱由对称性而不是细节决定Classic 05 · Probability
Wigner 面对的是重原子核的能级:哈密顿量写不出来,但能级的统计规律可以问。他的做法是用随机矩阵代替真实矩阵,只保留对称性,并证明特征值密度收敛到半圆分布——具体元素的分布形状不进入答案。这是物理直觉先行、数学随后跟上的典型样本,也是普适性在谱层面的第一个例子。
边界是「与细节无关」到底能推多远:体部密度的普适性容易,边缘与间距的普适性难得多,严格证明比 Wigner 的原始工作晚了半个世纪。另一处是它的适用前提——独立同分布的元素,而真实系统的矩阵往往带结构,此时半圆律不成立。本块丙今天报告的普适性推进,逐条推的正是这两处边界。
经六、渗流:一个来自防毒面具的问题Classic 06 · Probability
这个模型的来处很具体:Broadbent 在英国煤炭利用研究协会研究防毒面具的吸附材料,问的是气体能不能穿过随机的多孔介质。Hammersley 把它抽象成格点上的随机开闭问题,并证明存在一个临界概率——低于它只有有限簇,高于它出现无穷簇。一个工程问题因此变成了相变的最简数学模型,而相变第一次可以被严格讨论。
边界在这次抽象本身:真实多孔介质有几何关联、有各向异性,而模型假定每条边独立开闭;由它得到的临界值不能直接用于原来的工程问题。这条经典的价值恰在于此——一个被彻底简化的模型能问出真问题,但它给出的数只属于模型。本块九今天把相变的宽度定量化,问的仍是这个模型内部的事。
经七、位势论与马氏过程:两套语言被证明是一套Classic 07 · Probability
1957 年之前,位势论是分析学的一支,马氏过程是概率论的一支,两边关于同一个拉普拉斯算子各说各话,偶有类比。Hunt 用三篇长文证明二者的字典是逐项的:调和函数对应鞅、容量对应击中概率、格林函数对应占据时间密度。此后分析学的整套工具可以合法地用来处理概率对象,反之亦然。
边界在正则性上:字典的两侧都要求足够好的空间与足够好的边界,换到分形边界或无限维空间就要重建。更要紧的是「对应」不等于「可替代」——概率侧知道路径的具体形态,分析侧读不出来;反过来分析侧的估计常常概率侧无从下手。本块三今天定义随机曲面时,用的正是这条对应的现代版本,也仍受这两条边界约束。
经八、随机图:一个参数扫过整段演化Classic 08 · Probability
1960 年之前,图论问的是某个具体图有什么性质。Erdős 与 Rényi 把边随机放进来,问的是「典型的图」随着边数增加会经历什么——答案是一连串突变:孤立点消失、圈出现、巨分量在平均度为一处诞生、图变连通。一个参数扫过去,整段演化被排成一条清单,而每个性质都有自己的阈值。
边界是「典型」这个词的模型依赖:均匀随机图上的结论,在带度分布约束或几何约束的模型上大多不成立,而现实网络恰恰不均匀——这一点在 1999 年之后被反复指出。另一处是巨分量出现的那一刻究竟发生了什么,原始工作只给了阈值。本块十一今天把那一刻拉开成一个有标度的窗口,回答的正是这条经典留下的空白。
经九、大偏差:稀有事件也有自己的规律Classic 09 · Probability
1966 年之前,极限定理关心的是典型行为:大数律与中心极限定理都说「多数情况怎么样」。Varadhan 把提问反过来——偏离典型值的概率有多小,并证明它按指数衰减,指数由一个可以写出来的速率函数给出。稀有事件因此不再是「几乎不发生」这句定性判断,而是一个可计算的量,且不同的稀有方式各有各的代价。
边界在速率函数的可及性:理论保证它存在,实际算出来往往要解一个变分问题,而在多数复杂模型里解不出。另一处更微妙:指数律只给出主阶,前因子与有限规模修正常常主导实际数值,把渐近结论直接当作有限样本的估计是最常见的误用。本块十二今天用的浓缩不等式给的是非渐近界,两者互补——一个给速率,一个给在有限维度上就能用的保证。
经十、混沌传播:粒子多了就只剩平均场Classic 10 · Probability
1966 年之前,多体相互作用系统的分析几乎无从下手:粒子两两相关,维数随数目增长。McKean 证明在弱相互作用下,粒子数趋于无穷时任意有限个粒子渐近独立,经验分布收敛到一个非线性方程的解——每个粒子只感受到「平均的其他人」。复杂的相互作用因此被压成一个自洽方程,这条思路后来在群体动力学、神经网络与训练算法分析里被反复使用。
边界是「弱」与「光滑」这两条:相互作用一旦奇异(如库仑或涡旋核),或系统处在临界标度上,粒子之间的相关不消失,平均场极限不成立。另一处是有限粒子数的误差——极限干净,收敛速度往往很慢,而实际系统的粒子数并不大。本块十今天推进的正是这两处:奇异相互作用与定量收敛速度。
经十一、次可加遍历定理:一条通用的极限存在性Classic 11 · Probability
1968 年之前,「随着规模增大,某个量除以规模趋于一个常数」这类结论要逐例证明。Kingman 抽出共同条件——次可加性,即两段拼起来不会比分开更长——并证明只要满足它,极限必然存在。首达渗流的时间常数、最长公共子序列的比例、随机矩阵乘积的 Lyapunov 指数,都由这一条定理一次性获得存在性。
边界写在「存在但不给出」这句话里:定理保证常数存在,却不提供任何计算它的办法,多数这类常数至今只有数值估计与上下界。这在概率论里形成了一种特殊的状态——一个被普遍使用、却谁也不知道其数值的量。本块二报告的 KPZ 普适类正是典型:标度指数被算出来了,而那些依赖模型细节的常数仍然只有存在性。
经十二、Gibbs 测度:局部条件分布定义整体Classic 12 · Probability
1968 年之前,无穷系统的平衡态没有定义:有限体积下的 Gibbs 分布依赖边界条件,取极限时依赖不消失。Dobrushin 与 Lanford–Ruelle 反过来做——不取极限,而是直接规定:整体测度的每一个局部条件分布必须是给定的 Gibbs 形式。满足这组条件的测度可能不止一个,而这恰好是相变的严格含义:同一套局部规则,容许多个整体状态。
边界在从局部到整体这一步:局部条件相容不保证唯一,而判定唯一与否往往极难,Dobrushin 的唯一性判据只覆盖高温一侧。另一处是这套定义把相变说清楚了,却不提供构造多解的方法,具体模型仍要逐个动手。本块四报告的严格化进展,做的正是逐个模型把这两件事补上。
经十三、Stein 方法:不靠独立性也能定量逼近Classic 13 · Probability
1972 年之前,中心极限定理的误差估计几乎都依赖独立性与特征函数,相依情形只能个案处理。Stein 换了路线:不看特征函数,而用一个微分方程刻画正态分布——一个随机变量近似正态,当且仅当它近似满足这个方程;误差界由方程解的性质给出。独立性不再是必需的输入,定量的逼近误差第一次在相依情形下可得。
边界在方程解的可控性:这套方法把概率问题换成了分析问题,而对每一类目标分布都要重新研究对应方程的解,并非所有分布都有好用的版本。另一处是它给出的界通常不是最优的,常数往往偏大。本块七报告的正是它与 Malliavin 计算合流之后的形态——两套工具各补对方一处短板:一个给出方程,一个给出可微结构。
经十四、随机变分法:在路径空间上做微分Classic 14 · Probability
1978 年之前,随机微分方程解的分布是否有光滑密度,只能借助 Hörmander 的亚椭圆性定理从偏微分方程一侧回答。Malliavin 建立了另一条路:在无穷维的路径空间上直接定义微分算子与分部积分公式,用概率手段证明同一结论,并给出了原来分析方法给不出的信息。概率论第一次拥有了自己的无穷维微分学。
边界是计算成本:这套工具的技术门槛高,Malliavin 矩阵的可逆性验证在具体模型上常常极其繁重,以致很多问题理论上可解而实际不做。另一处是它高度依赖高斯结构——换成跳跃噪声或更粗糙的驱动信号要另起框架。本块戊今天说的前奏,指的正是这条线与粗糙路径合起来,才把随机偏微分方程的解的意义问题推到可解的位置。
经十五、同质化:微观无序在大尺度变成一个常数Classic 15 · Probability
1979 年之前,介质的随机不均匀性被当作必须逐点处理的麻烦。Papanicolaou–Varadhan 与 Kozlov 各自证明:只要随机系数是平稳遍历的,解在大尺度上收敛到一个确定系数方程的解,那个有效系数由一个辅助问题给出。工程上长期凭经验使用的「等效材料参数」,第一次有了严格依据。
边界是这条结论只是定性的:它说收敛,不说多快,而实际材料的尺度分离远没有极限那么彻底,误差率与有限尺寸涨落恰恰是应用中最要紧的量。另一处是遍历性假设——真实介质常有长程关联,此时有效系数未必存在。本块庚今天报告的定量同质化,补的正是速率这一半。
经十六、圈擦除随机游走:把擦掉的部分声明为无关Classic 16 · Probability
1980 年之前,自回避随机游走是一个人人想要、无人能算的对象:它的定义简单,分析上却几乎无从下手。Lawler 的处理是换一个对象——先走普通随机游走,再按顺序把圈擦掉,得到的曲线同样自回避,却保留了原游走的可计算结构。一个难对象被一个可算的近亲替代,而这个近亲后来被证明本身就有深刻的标度极限。
边界是替代的代价:擦圈得到的曲线与真正的自回避游走不是同一个对象,两者在二维的标度极限被认为不同,而后者至今没有严格结果。把「擦掉的部分不含信息」当作理所当然,是这条经典最容易被误读的地方——它是一次有意的声明,不是一个定理。本块甲今天的框架能精确处理前者,也正好照出后者仍然开着。
经十七、两页纸的指数:物理学家先到了二十年Classic 17 · Probability
1986 年的这篇短文写下一个非线性随机偏微分方程,并用标度论证给出涨落指数三分之一。方程本身在数学上没有意义——非线性项与白噪声相乘无法定义;标度论证也不是证明。但预言被大量数值与实验支持,此后二十多年,数学界的工作基本是在追赶这两页纸给出的判断。
这条经典留下的是一个关于证据标准的样本:物理侧认为已经解决,数学侧认为尚未开始,双方对同一件事的完成度判断相差二十年。而追赶的结果并非简单确认——严格化过程中发现方程的解依赖重整化的选择,这一点在原始论证里根本没有出现。本块二与本块丁分别报告普适类与可解结构这两条追赶路线的进度。
经十八、最优运输:把「怎么搬」变成一个映射Classic 18 · Probability
最优运输问题从 1781 年就有,长期停在存在性层面:知道有最优方案,不知道它长什么样,也不知道是不是映射而只是一个联合分布。Brenier 证明在二次代价与温和条件下,最优方案就是某个凸函数的梯度,且唯一。一个变分问题因此有了显式的结构,分布之间第一次有了可微分几何式的处理方式。
边界是代价函数:结论对二次代价成立,换成别的代价,最优映射的结构与唯一性都要重新论证,有些情形根本不成立。另一处是计算成本——理论上的唯一映射在高维上求解极贵,实际使用的多是熵正则化后的近似,而近似解不再具有那条结构。本块辛今天在分布空间上做动力学,用的正是这条经典的几何,也继承了这两处边界。
经十九、浓缩不等式:高维里几乎一切都是常数Classic 19 · Probability
1995 年之前,控制一个复杂随机量的波动通常要算方差、再用切比雪夫不等式,而在高维上这类界往往太松。Talagrand 给出的是几何式的结论:只要函数对每个坐标的依赖都不大,它的取值就以指数速度集中——与函数的具体形式几乎无关。组合优化、随机图与经验过程中大量的波动问题因此一次性解决。
边界写在「不太依赖单个坐标」这句话里:一旦存在少数主导坐标,浓缩失效,而高维数据里恰恰常有这种结构。更常见的误用是把「集中在中位数附近」读成「稳定」——中位数本身可能随维数漂移,集中并不保证结果有意义。本块十二今天在高维算法里指出的,正是这一点:平均不再等于稳定。
经二十、一封 1940 年的密封信,2000 年才被打开Classic 20 · Probability
Doeblin 在 1940 年把研究笔记封入信件寄给法国科学院,随即在战场上死去,年二十五岁。封件按当时规定可长期保存,直到 2000 年才被启封。文中处理的是扩散过程可否表示为时间变换后的布朗运动——这条结果在此后由别人独立重新得到,而学科史上没有它的位置,因为没有人看过。
这条经典留下的是一个可检验的读数:一门学科的历史由被看到的文本构成,而不是由被写下的思想构成。它的边界同样清楚——不能因为封件重要,就推断大量同等重要的工作被埋没;幸存下来并被启封的本身是极小概率事件,样本没有代表性。本块六在盘点方法论来源时,这份手稿的作用不是补一位作者,而是提醒这份来源清单本身有系统性的缺口。
◎ 这一层怎么用
先按「今用」栏或碰撞行的「异名」栏找到上文对应的现代条,再把两条的对象、判据与失效条件并排读。两条若只共享名词而不共享失败情形,只登记为异名;量纲若能逐项换算,再判断现代条究竟继承、修正还是反转了这条老命题。本层二十条指向上文十六个不同位置,合起来构成一条可倒查的时间轴,而不是某一条的背景介绍。
三条使用纪律。其一,年份边界与两幕严格不重叠,提出年份落在 1950 至 2006 年之间,更早的奠基工作(Kolmogorov 1933 年的公理、Wiener 的构造)只在正文里被点名。其二,经典身份不提供豁免——蒙特卡洛不说明要跑多久,次可加定理不给出常数的数值,同质化只给定性收敛,KPZ 的原始论证在数学上并不成立,这些边界正是这一层最值钱的信息。其三,两层不比高下:只读现代层判断不出新在哪里,只读经典层看不出哪一条已经被换掉。
◎ 经典层资料核验
- 伊藤清. On stochastic differential equations. Memoirs of the American Mathematical Society 4 (1951)。
- 伊藤清 and McKean, H. Diffusion Processes and Their Sample Paths. Springer, 1965(专著)。
- Stratonovich, R. A new representation for stochastic integrals and equations. SIAM Journal on Control 4 (1966): 362–371。
- Donsker, M. An invariance principle for certain probability limit theorems. Memoirs of the American Mathematical Society 6 (1951)。
- Skorokhod, A. Limit theorems for stochastic processes. Theory of Probability and Its Applications 1 (1956): 261–290。
- Billingsley, P. Convergence of Probability Measures. Wiley, 1968(专著)。
- Metropolis, N., Rosenbluth, A., Rosenbluth, M., Teller, A. and Teller, E. Equation of state calculations by fast computing machines. Journal of Chemical Physics 21 (1953): 1087–1092。
- Hastings, W. Monte Carlo sampling methods using Markov chains and their applications. Biometrika 57 (1970): 97–109。
- Propp, J. and Wilson, D. Exact sampling with coupled Markov chains. Random Structures and Algorithms 9 (1996): 223–252。
- Doob, J. Stochastic Processes. Wiley, 1953(专著)。
- Kolmogorov, A. Grundbegriffe der Wahrscheinlichkeitsrechnung. Springer, 1933(专著)。
- Dellacherie, C. and Meyer, P.-A. Probabilités et potentiel. Hermann, 1975–1987(专著)。
- Wigner, E. Characteristic vectors of bordered matrices with infinite dimensions. Annals of Mathematics 62 (1955): 548–564。
- Wigner, E. On the distribution of the roots of certain symmetric matrices. Annals of Mathematics 67 (1958): 325–327。
- Dyson, F. The threefold way. Journal of Mathematical Physics 3 (1962): 1199–1215。
- Tracy, C. and Widom, H. Level-spacing distributions and the Airy kernel. Communications in Mathematical Physics 159 (1994): 151–174。
- Broadbent, S. and Hammersley, J. Percolation processes I. Crystals and mazes. Proceedings of the Cambridge Philosophical Society 53 (1957): 629–641。
- Kesten, H. The critical probability of bond percolation on the square lattice equals 1/2. Communications in Mathematical Physics 74 (1980): 41–59。
- Grimmett, G. Percolation. Springer, 1989; 2nd ed. 1999(专著)。
- Hunt, G. Markoff processes and potentials I, II, III. Illinois Journal of Mathematics 1 (1957): 44–93, 316–369; 2 (1958): 151–213。
- Fukushima, M., Oshima, Y. and Takeda, M. Dirichlet Forms and Symmetric Markov Processes. de Gruyter, 1994(专著)。
- Erdős, P. and Rényi, A. On the evolution of random graphs. Publications of the Mathematical Institute of the Hungarian Academy of Sciences 5 (1960): 17–61。
- Bollobás, B. The evolution of random graphs. Transactions of the AMS 286 (1984): 257–274。
- Janson, S., Łuczak, T. and Ruciński, A. Random Graphs. Wiley, 2000(专著)。
- Varadhan, S. R. S. Asymptotic probabilities and differential equations. Communications on Pure and Applied Mathematics 19 (1966): 261–286。
- Dembo, A. and Zeitouni, O. Large Deviations Techniques and Applications. Springer, 1998(专著)。
- McKean, H. A class of Markov processes associated with nonlinear parabolic equations. Proceedings of the National Academy of Sciences 56 (1966): 1907–1911。
- Sznitman, A.-S. Topics in propagation of chaos. Lecture Notes in Mathematics 1464. Springer, 1991: 165–251(专著)。
- Kingman, J. The ergodic theory of subadditive stochastic processes. Journal of the Royal Statistical Society B 30 (1968): 499–510。
- Dobrushin, R. The description of a random field by means of conditional probabilities and conditions of its regularity. Theory of Probability and Its Applications 13 (1968): 197–224。
- Lanford, O. and Ruelle, D. Observables at infinity and states with short range correlations in statistical mechanics. Communications in Mathematical Physics 13 (1969): 194–215。
- Georgii, H.-O. Gibbs Measures and Phase Transitions. de Gruyter, 1988(专著)。
- Stein, C. A bound for the error in the normal approximation to the distribution of a sum of dependent random variables. Proceedings of the Sixth Berkeley Symposium 2 (1972): 583–602。
- Chen, L. Poisson approximation for dependent trials. Annals of Probability 3 (1975): 534–545。
- Nourdin, I. and Peccati, G. Stein's method on Wiener chaos. Probability Theory and Related Fields 145 (2009): 75–118。
- Malliavin, P. Stochastic calculus of variation and hypoelliptic operators. Proceedings of the International Symposium on SDE (Kyoto 1976). Wiley, 1978: 195–263。
- Nualart, D. The Malliavin Calculus and Related Topics. Springer, 1995; 2nd ed. 2006(专著)。
- Papanicolaou, G. and Varadhan, S. R. S. Boundary value problems with rapidly oscillating random coefficients. In: Random Fields (Esztergom 1979), Colloquia Mathematica Societatis János Bolyai 27. North-Holland, 1981: 835–873。
- Kozlov, S. Averaging of random operators. Mathematics of the USSR Sbornik 37 (1980): 167–180。
- Lawler, G. A self-avoiding random walk. Duke Mathematical Journal 47 (1980): 655–693。
- Kardar, M., Parisi, G. and Zhang, Y.-C. Dynamic scaling of growing interfaces. Physical Review Letters 56 (1986): 889–892。
- Baik, J., Deift, P. and Johansson, K. On the distribution of the length of the longest increasing subsequence of random permutations. Journal of the AMS 12 (1999): 1119–1178。
- Brenier, Y. Polar factorization and monotone rearrangement of vector-valued functions. Communications on Pure and Applied Mathematics 44 (1991): 375–417。
- Jordan, R., Kinderlehrer, D. and Otto, F. The variational formulation of the Fokker-Planck equation. SIAM Journal on Mathematical Analysis 29 (1998): 1–17。
- Villani, C. Topics in Optimal Transportation. American Mathematical Society, 2003(专著)。
- Talagrand, M. Concentration of measure and isoperimetric inequalities in product spaces. Publications Mathématiques de l'IHÉS 81 (1995): 73–205。
- Ledoux, M. The Concentration of Measure Phenomenon. American Mathematical Society, 2001(专著)。
- Doeblin, W. Sur l'équation de Kolmogoroff. Comptes Rendus de l'Académie des Sciences Paris, Série I, 331 (2000)(1940 年密封件,2000 年启封)。
- Bru, B. and Yor, M. Comments on the life and mathematical legacy of Wolfgang Doeblin. Finance and Stochastics 6 (2002): 3–47。
本表只列经典层(1950–2006)所依据的出处,不并入上文现代层的资料核验。专著、讲义集与机构文件按原始形态著录:这一段年代的正主本来就有相当比例不是期刊论文,改引一篇后世综述反而失真。2006 年之后的文献只用于说明流变,不改变经典条的入选年份。