SDE Universes·新思想前沿数学与逻辑
新思想前沿 · 随机曲线、粗糙对象与普适性

概率与随机分析

近二十年与经典层 · 两幕 20 个新思想 + 20 个经典思想 · 约 36,521 字 · 王德生 亲撰 · 2026 年 8 月

概率论的近二十年转向与 1950—2006 年经典思想在同一页对读:现代层说明新证据怎样改写问题,经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口;经典二十条逐一回指上文,不把年代久远误当成结论仍然有效。

【第一幕】上一个十年 · 约 2006–2016 · 八条奠基转向

甲、SLE:把随机曲线写成一个方程

提出Lawler, Schramm & Werner, Conformal invariance of planar loop-erased random walks and uniform spanning trees, Annals of Probability 32 (2004): 939–995。 争议与 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 的对象边界或反例路线对读。 最新Bauerschmidt et al., Recent progress on universality in random matrices and log-correlated fields, 2024 survey。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

围绕本条,旧账的堵点是:上世纪末提出、并在此后十年被系统展开的随机勒夫纳演化,用一个由布朗运动驱动的常微分方程刻画了二维临界模型中的随机界面。一族此前只有物理直觉的曲线,第一次有了严格的数学定义与可计算的维数。 早期论证常把成功对象当成全体,让本条的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释;若第三方只能复述本条结果却不能重做变换,所谓迁移就尚未发生。第 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 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。

位置D——它把“SLE的定义、变换与边界”当成单独够用的那一样 单因决定SLE能否迁移的只有结论是否在公开边界内可复算 预设〔02 单一读数代表复杂对象〕SLE在已发表样本上的方向可以代表全部候选对象 量纲在SLE的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,SLE的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝本条在 2004 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在SLE中产生阴性结果的对象 异名第 587 号《网络科学》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

乙、共形不变性被证明,不再只是假设

提出Smirnov, Conformal invariance in random cluster models I, Annals of Mathematics 172 (2010): 1435–1467。 争议与 Duplantier & Sheffield, Liouville quantum gravity and KPZ, Inventiones Mathematicae 185 (2011): 333–393 的对象边界或反例路线对读。 最新Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

本条改变的不是术语外壳,而是旧问题的入账方式: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 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。

位置E——它把“共形不变性被证明,不再只是假设的定义、变换与边界”当成单独够用的那一样 单因决定共形不变性被证明,不再只是假设能否迁移的只有结论是否在公开边界内可复算 预设〔02 单一读数代表复杂对象〕共形不变性被证明,不再只是假设在已发表样本上的方向可以代表全部候选对象 量纲在共形不变性被证明,不再只是假设的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,共形不变性被证明,不再只是假设的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝本条在 2010 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在共形不变性被证明,不再只是假设中产生阴性结果的对象 异名第 590 号《不确定性量化》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

丙、随机矩阵的普适性

提出Tao & Vu, Random matrices: universality of local eigenvalue statistics, Acta Mathematica 206 (2011): 127–204。 争议与 Miller & Sheffield, Liouville quantum gravity and the Brownian map I, Inventiones Mathematicae 219 (2020): 75–152 的对象边界或反例路线对读。 最新Hairer et al., Singular SPDEs beyond subcriticality, 2025 research update (preprint)。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

在本条这条线上,过去卡住的是:同一时期,随机矩阵特征值的局部统计被证明与矩阵元的具体分布无关——普适性从数值现象变成定理。 ‘已经解决’往往只描述中心情形,边缘对象、阴性读数和不收敛步骤没有共同分母;重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置;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 号《不确定性量化》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。

位置S——它把“随机矩阵的普适性的定义、变换与边界”当成单独够用的那一样 单因决定随机矩阵的普适性能否迁移的只有结论是否在公开边界内可复算 预设〔02 单一读数代表复杂对象〕随机矩阵的普适性在已发表样本上的方向可以代表全部候选对象 量纲在随机矩阵的普适性的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,随机矩阵的普适性的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝本条在 2011 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在随机矩阵的普适性中产生阴性结果的对象 异名第 600 号《风险、安全与可靠性工程》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

丁、精确可解与正则结构的登场

提出Hairer, A theory of regularity structures, Inventiones Mathematicae 198 (2014): 269–504。 争议与 Duminil-Copin, Raoufi & Tassion, Sharp phase transition for the random-cluster and Potts models, Annals of Mathematics 189 (2019): 75–99 的对象边界或反例路线对读。 最新Bauerschmidt et al., Recent progress on universality in random matrices and log-correlated fields, 2024 survey。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量:一批 KPZ 类模型被发现是精确可解的,涨落分布可以写成显式行列式;紧接着 2013 年前后出现的正则结构,给奇异随机偏微分方程立了通用规矩(这十年的起点)。 原体例把发现、证明与推广写在同一行,导致本条究竟强化结论、放宽范围还是降低成本无法区分;本条把三种方向拆开核算。

本条只把‘边界内可复算’视为单独够用的条件,不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建,本条即按未完成处理。本条再核一次:2014 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。本条定义更精细若伴随复核人数下降,就不能把本条层级增加写成可靠性增加;两条趋势分开画线。

本条的硬证据由 2014 年前后的原始工作给出:两者的分工在当时就已清楚:精确解告诉你极限是什么,正则结构告诉你方程凭什么有解。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Hairer, A theory of regularity structures, Inventiones Mathematicae 198 (2014): 269–504。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。

对本条的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条还应公开最小复算材料;材料不足时,本条的引用增长只测传播,不测正确性或可迁移性。

本条要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少;2025 年更新不因更晚就自动更强。第 53 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。

本条在 2026 年与第 53 号《现代密码学》的证据边界、又与第 600 号《风险、安全与可靠性工程》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。

位置D——它把“精确可解与正则结构的登场的定义、变换与边界”当成单独够用的那一样 单因决定精确可解与正则结构的登场能否迁移的只有结论是否在公开边界内可复算 预设〔03 有限近似控制无限对象〕精确可解与正则结构的登场在已发表样本上的方向可以代表全部候选对象 量纲在精确可解与正则结构的登场的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,精确可解与正则结构的登场的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝本条在 2014 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在精确可解与正则结构的登场中产生阴性结果的对象 异名第 53 号《现代密码学》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

戊、粗糙路径与随机 PDE 的前奏

提出Friz & Victoir, Multidimensional Stochastic Processes as Rough Paths, Cambridge University Press (2010)。 争议与 Erdős, Yau & Yin, Bulk universality for generalized Wigner matrices, Probability Theory and Related Fields 154 (2012): 341–407 的对象边界或反例路线对读。 最新Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

围绕本条,旧账的堵点是:在正则结构之前,另一条路线已经在处理同一类困难:粗糙路径理论把「用不可微的路径去积分」这件事做成了确定性的分析,从而绕开了随机积分对适应性的要求。 早期论证常把成功对象当成全体,让本条的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释;若第三方只能复述本条结果却不能重做变换,所谓迁移就尚未发生。第 297 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。

本条的硬证据由 2010 年前后的原始工作给出:它给出的关键洞见后来被正则结构继承——要给一个没有意义的表达式赋予意义,办法不是更小心地取极限,而是先把它要用到的那些「基本积分」当作额外数据一并给出。这条思路是两代理论之间真正的连线。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Friz & Victoir, Multidimensional Stochastic Processes as Rough Paths, Cambridge University Press (2010)。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。

本条最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满本条分母,新障碍就会迟到。反例对本条可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。本条再核一次:2010 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。

让本条成为公共工艺,需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。

本条在 2026 年与第 297 号《科技政策与科研管理》的证据边界、又与第 53 号《现代密码学》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。

位置E——它把“粗糙路径与随机 PDE 的前奏的定义、变换与边界”当成单独够用的那一样 单因决定粗糙路径与随机 PDE 的前奏能否迁移的只有结论是否在公开边界内可复算 预设〔03 有限近似控制无限对象〕粗糙路径与随机 PDE 的前奏在已发表样本上的方向可以代表全部候选对象 量纲在粗糙路径与随机 PDE 的前奏的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,粗糙路径与随机 PDE 的前奏的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝本条在 2010 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在粗糙路径与随机 PDE 的前奏中产生阴性结果的对象 异名第 297 号《科技政策与科研管理》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

己、离散概率与算法的合流

提出Bourgain, Gamburd & Sarnak, Affine linear sieve, Inventiones Mathematicae 179 (2010): 559–644。 争议与 Bauerschmidt, Knowles, Yau & Yin, Local circular law for random matrices, Probability Theory and Related Fields 159 (2014): 545–595 的对象边界或反例路线对读。 最新Hairer et al., Singular SPDEs beyond subcriticality, 2025 research update (preprint)。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

本条改变的不是术语外壳,而是旧问题的入账方式:同一时期,随机图的相变、马尔可夫链的混合时间、以及统计物理模型的算法可解性被系统研究:什么时候能高效采样、什么时候被指数级卡住,开始有了统一的判据。 若仍用单个定理、单台器件或单批数据结算,本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张:公开边界内可以独立复算,才允许把本条方法搬到下一类对象。声望与经费只作环境量;如果本条离开原作者补充就不能运行,结论仍是一次性工艺。本条与 2024–2026 年更新分开登记;晚近材料不能覆盖本条旧边界,本条来源层级也不能混写。本条反例库保留失败参数与停止位置;2025 年结果因此可回查,后续本条路线也知道哪里走不通。

本条的硬证据由 2010 年前后的原始工作给出:这条线在这十年长成了统计—计算差距那条界线——某些问题在信息上可解、在算法上不可解,而这条界线本身呈现锐利的相变。上一个十年把工具备齐,这十年才看清那道界线的形状。 对本条的复核分别记录对象规模、结构层级和误差分母;来源是 Bourgain, Gamburd & Sarnak, Affine linear sieve, Inventiones Mathematicae 179 (2010): 559–644。本条这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。本条再核一次:2010 年分母若换成本条全部候选对象,方向必须重算;未满足本条条件的对象逐项留下。

本条要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少;2025 年更新不因更晚就自动更强。第 301 号批外证据提醒:本条缺失对象不是零值;它未进入本条账本,遗漏率须随主结果发表。

本条在 2026 年与第 301 号《泛函分析与算子代数》的证据边界、又与第 297 号《科技政策与科研管理》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。

位置S——它把“离散概率与算法的合流的定义、变换与边界”当成单独够用的那一样 单因决定离散概率与算法的合流能否迁移的只有结论是否在公开边界内可复算 预设〔03 有限近似控制无限对象〕离散概率与算法的合流在已发表样本上的方向可以代表全部候选对象 量纲在离散概率与算法的合流的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,离散概率与算法的合流的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝本条在 2010 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在离散概率与算法的合流中产生阴性结果的对象 异名第 301 号《泛函分析与算子代数》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

庚、随机同质化:微观无序在大尺度产生确定系数Stochastic Homogenization

提出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 的对象边界或反例路线对读。 最新Bauerschmidt et al., Recent progress on universality in random matrices and log-correlated fields, 2024 survey。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

在本条这条线上,过去卡住的是:定量同质化把随机介质中的椭圆方程与随机游走接到有效扩散矩阵,并给出有限尺度误差。 ‘已经解决’往往只描述中心情形,边缘对象、阴性读数和不收敛步骤没有共同分母;重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置;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 号《泛函分析与算子代数》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。

位置D——它把“随机同质化的定义、变换与边界”当成单独够用的那一样 单因决定随机同质化能否迁移的只有结论是否在公开边界内可复算 预设〔05 平均值代表个体〕随机同质化在已发表样本上的方向可以代表全部候选对象 量纲在随机同质化的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,随机同质化的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝本条在 2014 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在随机同质化中产生阴性结果的对象 异名第 302 号《调和分析》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

辛、最优运输与梯度流:概率分布空间也有动力学Optimal Transport and Gradient Flows

提出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 的对象边界或反例路线对读。 最新Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量: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 号《调和分析》的尺度转换相撞。两边共享‘表示越精细越可靠’,本条却警告核验者会随层级上升而减少;应比较本条可复算对象/全部候选对象。本条外推要报告复算成功对象/全部尝试对象;只列成功会把本条失败分母压零,方向随即失真。

位置E——它把“最优运输与梯度流的定义、变换与边界”当成单独够用的那一样 单因决定最优运输与梯度流能否迁移的只有结论是否在公开边界内可复算 预设〔05 平均值代表个体〕最优运输与梯度流在已发表样本上的方向可以代表全部候选对象 量纲在最优运输与梯度流的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,最优运输与梯度流的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝本条在 2012 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在最优运输与梯度流中产生阴性结果的对象 异名第 303 号《复分析与复几何》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目
【第二幕】这十年 · 约 2016–2026 · 十二条重构与清算

一、没有意义的方程

提出Corwin, The Kardar–Parisi–Zhang equation and universality class, Random Matrices: Theory and Applications 1 (2012): 1130001。 争议与 Boucheron, Lugosi & Massart, Concentration Inequalities, Oxford University Press (2013) 的对象边界或反例路线对读。 最新Hairer et al., Singular SPDEs beyond subcriticality, 2025 research update (preprint)。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

围绕随机壬项,旧账的堵点是:许多描述随机现象的方程包含非线性项与时空白噪声。白噪声不是函数而是分布,而分布之间不能相乘——于是方程的每一项单独看都合理,合起来却没有定义。 早期论证常把成功对象当成全体,让随机壬项的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。

随机壬项这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进随机壬项的同一解释;若第三方只能复述随机壬项结果却不能重做变换,所谓迁移就尚未发生。第 304 号批外证据提醒:随机壬项缺失对象不是零值;它未进入随机壬项账本,遗漏率须随主结果发表。

随机壬项的硬证据由 2012 年前后的原始工作给出:过去的处理办法是各种巧妙的变换与近似,只对特定方程有效。这十年的突破是给出了一套通用的框架:把解的局部行为按一族预先构造好的随机对象展开,从而在扩展的意义上定义乘积,再证明所得的解是逼近格式的极限且不依赖于逼近方式。 这套理论使一整族此前无法处理的奇异随机偏微分方程有了严格解,并因此获得菲尔兹奖级别的认可。

随机壬项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机壬项分母,新障碍就会迟到。反例对随机壬项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机壬项再核一次:2012 年分母若换成随机壬项全部候选对象,方向必须重算;未满足随机壬项条件的对象逐项留下。

让随机壬项成为公共工艺,需要样例留版本、随机壬项依赖树可追踪、计算带证书、参数保留原始记录。随机壬项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。随机壬项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机壬项旧边界,随机壬项来源层级也不能混写。随机壬项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机壬项路线也知道哪里走不通。

随机壬项在 2026 年与第 304 号《可计算性与递归论》的证据边界、又与第 303 号《复分析与复几何》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机壬项却警告核验者会随层级上升而减少;应比较随机壬项可复算对象/全部候选对象。随机壬项外推要报告复算成功对象/全部尝试对象;只列成功会把随机壬项失败分母压零,方向随即失真。

位置S——它把“没有意义的方程的定义、变换与边界”当成单独够用的那一样 单因决定没有意义的方程能否迁移的只有结论是否在公开边界内可复算 预设〔05 平均值代表个体〕没有意义的方程在已发表样本上的方向可以代表全部候选对象 量纲在没有意义的方程的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,没有意义的方程的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机壬项在 2012 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在没有意义的方程中产生阴性结果的对象 异名第 304 号《可计算性与递归论》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

二、KPZ 普适类

提出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。 争议与 Eldan, A stochastic localization proof of the KLS conjecture, Annals of Mathematics 194 (2021): 595–642 的对象边界或反例路线对读。 最新Bauerschmidt et al., Recent progress on universality in random matrices and log-correlated fields, 2024 survey。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

随机癸项改变的不是术语外壳,而是旧问题的入账方式:这一族问题的中心是随机界面生长:细菌菌落的边界、燃烧前沿、结晶表面、排队系统的积压。它们的微观规则完全不同,涨落的标度指数却一致——这就是一个普适类。 若仍用单个定理、单台器件或单批数据结算,随机癸项之外的反例会被成功叙事自动删去。这里把随机癸项的对象范围、操作步骤和例外集合分别立账。

对随机癸项只提出一条单因主张:公开边界内可以独立复算,才允许把随机癸项方法搬到下一类对象。声望与经费只作环境量;如果随机癸项离开原作者补充就不能运行,结论仍是一次性工艺。随机癸项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机癸项旧边界,随机癸项来源层级也不能混写。随机癸项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机癸项路线也知道哪里走不通。

随机癸项的硬证据由 2011 年前后的原始工作给出:这十年最漂亮的成果,是把这个类所收敛到的极限对象直接构造出来:一个随机的时空场,任何属于该类的模型在适当标度下都收敛到它。有了这个对象,普适性从一句断言变成了一个可以陈述与验证的定理。 同时被揭示的是它与随机矩阵的深刻联系:界面高度的涨落分布,与大随机矩阵最大特征值的分布是同一个。

对随机癸项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机癸项效果。若随机癸项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机癸项再核一次:2011 年分母若换成随机癸项全部候选对象,方向必须重算;未满足随机癸项条件的对象逐项留下。

随机癸项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机癸项要询问谁进入分母、谁能独立重跑、随机癸项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 306 号批外证据提醒:随机癸项缺失对象不是零值;它未进入随机癸项账本,遗漏率须随主结果发表。

随机癸项在 2026 年与第 306 号《生物统计学》的证据边界、又与第 304 号《可计算性与递归论》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机癸项却警告核验者会随层级上升而减少;应比较随机癸项可复算对象/全部候选对象。随机癸项外推要报告复算成功对象/全部尝试对象;只列成功会把随机癸项失败分母压零,方向随即失真。

位置D——它把“KPZ 普适类的定义、变换与边界”当成单独够用的那一样 单因决定KPZ 普适类能否迁移的只有结论是否在公开边界内可复算 预设〔09 边界一次划定后保持稳定〕KPZ 普适类在已发表样本上的方向可以代表全部候选对象 量纲在KPZ 普适类的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,KPZ 普适类的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机癸项在 2011 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在KPZ 普适类中产生阴性结果的对象 异名第 306 号《生物统计学》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

三、随机几何:随机曲面被定义了

提出Duplantier & Sheffield, Liouville quantum gravity and KPZ, Inventiones Mathematicae 185 (2011): 333–393。 争议与 Villani, Optimal Transport: Old and New, Springer (2009) 的对象边界或反例路线对读。 最新Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

在随机子项这条线上,过去卡住的是:另一条主线是二维随机几何。物理学家早就有一幅图像:把随机三角剖分的曲面取连续极限,得到一个「随机的度量空间」,它是二维量子引力的模型。困难在于这个极限是什么,长期无人能说清。 ‘已经解决’往往只描述中心情形,边缘对象、阴性读数和不收敛步骤没有共同分母;重写后的随机子项必须让三类记录同时可见。

随机子项的决定变量被压到一项:对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释随机子项的正确性;若随机子项增加抽象层级却减少可重做者,接口扩张就没有被证成。随机子项再核一次:2011 年分母若换成随机子项全部候选对象,方向必须重算;未满足随机子项条件的对象逐项留下。

随机子项的硬证据由 2011 年前后的原始工作给出:这十年它被系统地建立起来:随机曲面上的面积测度、距离与布朗运动都被严格定义,并被证明是随机三角剖分的标度极限;它与描述随机曲线的共形不变过程之间的关系也被精确刻画——后者恰好是前者上的自然「切割线」。 这条线把统计物理里的共形不变性、随机曲线、随机曲面与量子引力串成了一个数学上自洽的整体。

随机子项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机子项分母,新障碍就会迟到。反例对随机子项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机子项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机子项旧边界,随机子项来源层级也不能混写。随机子项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机子项路线也知道哪里走不通。

让随机子项成为公共工艺,需要样例留版本、随机子项依赖树可追踪、计算带证书、参数保留原始记录。随机子项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。第 307 号批外证据提醒:随机子项缺失对象不是零值;它未进入随机子项账本,遗漏率须随主结果发表。

随机子项在 2026 年与第 307 号《贝叶斯统计与计算》的证据边界、又与第 306 号《生物统计学》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机子项却警告核验者会随层级上升而减少;应比较随机子项可复算对象/全部候选对象。随机子项外推要报告复算成功对象/全部尝试对象;只列成功会把随机子项失败分母压零,方向随即失真。

位置E——它把“随机几何的定义、变换与边界”当成单独够用的那一样 单因决定随机几何能否迁移的只有结论是否在公开边界内可复算 预设〔09 边界一次划定后保持稳定〕随机几何在已发表样本上的方向可以代表全部候选对象 量纲在随机几何的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,随机几何的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机子项在 2011 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在随机几何中产生阴性结果的对象 异名第 307 号《贝叶斯统计与计算》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

四、相变的严格化

提出Miller & Sheffield, Liouville quantum gravity and the Brownian map I, Inventiones Mathematicae 219 (2020): 75–152。 争议与 Armstrong & Mourrat, Quantitative Stochastic Homogenization, Springer (2019) 的对象边界或反例路线对读。 最新Hairer et al., Singular SPDEs beyond subcriticality, 2025 research update (preprint)。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

理解随机丑项要先拆一个旧混合量:第三条线更经典:临界现象。渗流、伊辛模型这类格点模型在临界点附近的行为,物理学用重整化群给出了极精确的预言,而数学上长期只在特殊维数或特殊模型上可证。 原体例把发现、证明与推广写在同一行,导致随机丑项究竟强化结论、放宽范围还是降低成本无法区分;本条把三种方向拆开核算。

随机丑项只把‘边界内可复算’视为单独够用的条件,不让规模、作者数或期刊级别代替随机丑项。只要随机丑项的定义域和失败域不能由外部研究者重建,本条即按未完成处理。随机丑项再核一次:2020 年分母若换成随机丑项全部候选对象,方向必须重算;未满足随机丑项条件的对象逐项留下。随机丑项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机丑项路线也知道哪里走不通。

随机丑项的硬证据由 2020 年前后的原始工作给出:这十年在若干经典模型上取得了实质进展:相变的尖锐性、临界指数的确定、以及某些模型在临界点的共形不变性。相关工作同样获得了菲尔兹奖级别的认可。 需要如实说明的是边界:三维伊辛模型的严格处理仍未完成,而物理学那边用另一套方法(自举)已经把它算到极高精度。这是一个数学落后于物理的、罕见而诚实的例子。

对随机丑项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机丑项效果。若随机丑项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机丑项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机丑项旧边界,随机丑项来源层级也不能混写。

随机丑项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机丑项要询问谁进入分母、谁能独立重跑、随机丑项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 308 号批外证据提醒:随机丑项缺失对象不是零值;它未进入随机丑项账本,遗漏率须随主结果发表。

随机丑项在 2026 年与第 308 号《实验设计与抽样调查》的证据边界、又与第 307 号《贝叶斯统计与计算》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机丑项却警告核验者会随层级上升而减少;应比较随机丑项可复算对象/全部候选对象。随机丑项外推要报告复算成功对象/全部尝试对象;只列成功会把随机丑项失败分母压零,方向随即失真。

位置S——它把“相变的严格化的定义、变换与边界”当成单独够用的那一样 单因决定相变的严格化能否迁移的只有结论是否在公开边界内可复算 预设〔09 边界一次划定后保持稳定〕相变的严格化在已发表样本上的方向可以代表全部候选对象 量纲在相变的严格化的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,相变的严格化的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机丑项在 2020 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在相变的严格化中产生阴性结果的对象 异名第 308 号《实验设计与抽样调查》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

五、高维与算法的接口

提出Duminil-Copin, Raoufi & Tassion, Sharp phase transition for the random-cluster and Potts models, Annals of Mathematics 189 (2019): 75–99。 争议与 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。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

围绕随机寅项,旧账的堵点是:概率论这十年还有一条更靠近计算的支线:高维概率与随机算法。测度集中、随机矩阵的普适性、以及关于「什么时候能从含噪数据中恢复信号」的相变结果,把统计推断的可能性边界变成了概率论问题。 早期论证常把成功对象当成全体,让随机寅项的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。

随机寅项这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进随机寅项的同一解释;若第三方只能复述随机寅项结果却不能重做变换,所谓迁移就尚未发生。第 309 号批外证据提醒:随机寅项缺失对象不是零值;它未进入随机寅项账本,遗漏率须随主结果发表。

随机寅项的硬证据由 2019 年前后的原始工作给出:一个反复出现的现象是统计—计算差距:某些问题在信息上可解,但没有已知的多项式时间算法,而这条界线本身呈现出锐利的相变。它把概率论与计算复杂性接到了一起。 这条线也是机器学习理论的直接上游(见相邻面板)——那边关于过参数化与随机矩阵的分析,用的正是这里的工具。 对随机寅项的复核分别记录对象规模、结构层级和误差分母;

随机寅项最锋利的争议在外推:理想对象、低维近似或低噪声样本若占满随机寅项分母,新障碍就会迟到。反例对随机寅项可能只否定一种聚合次序,因此阴性参数区要保留,不能抹成空白。随机寅项再核一次:2019 年分母若换成随机寅项全部候选对象,方向必须重算;未满足随机寅项条件的对象逐项留下。

让随机寅项成为公共工艺,需要样例留版本、随机寅项依赖树可追踪、计算带证书、参数保留原始记录。随机寅项进入课程和数据库后,还应登记进入者、复核者与修正工时;2024 年更新才能同表比较。随机寅项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机寅项旧边界,随机寅项来源层级也不能混写。随机寅项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机寅项路线也知道哪里走不通。

随机寅项在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 308 号《实验设计与抽样调查》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机寅项却警告核验者会随层级上升而减少;应比较随机寅项可复算对象/全部候选对象。随机寅项外推要报告复算成功对象/全部尝试对象;只列成功会把随机寅项失败分母压零,方向随即失真。

位置D——它把“高维与算法的接口的定义、变换与边界”当成单独够用的那一样 单因决定高维与算法的接口能否迁移的只有结论是否在公开边界内可复算 预设〔16 稀有与常见服从同一机制〕高维与算法的接口在已发表样本上的方向可以代表全部候选对象 量纲在高维与算法的接口的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,高维与算法的接口的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机寅项在 2019 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在高维与算法的接口中产生阴性结果的对象 异名第 309 号《时间序列与预测方法》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

六、这十年的方法论

提出Erdős, Yau & Yin, Bulk universality for generalized Wigner matrices, Probability Theory and Related Fields 154 (2012): 341–407。 争议与 Lawler, Schramm & Werner, Conformal invariance of planar loop-erased random walks and uniform spanning trees, Annals of Probability 32 (2004): 939–995 的对象边界或反例路线对读。 最新Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

随机卯项改变的不是术语外壳,而是旧问题的入账方式:把上面几条合起来,可以看到一个共同的姿态:不满足于证明极限存在,而是要把极限对象本身构造出来并研究它的性质。 若仍用单个定理、单台器件或单批数据结算,随机卯项之外的反例会被成功叙事自动删去。这里把随机卯项的对象范围、操作步骤和例外集合分别立账。

对随机卯项只提出一条单因主张:公开边界内可以独立复算,才允许把随机卯项方法搬到下一类对象。声望与经费只作环境量;如果随机卯项离开原作者补充就不能运行,结论仍是一次性工艺。随机卯项与 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 号《时间序列与预测方法》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机卯项却警告核验者会随层级上升而减少;应比较随机卯项可复算对象/全部候选对象。随机卯项外推要报告复算成功对象/全部尝试对象;只列成功会把随机卯项失败分母压零,方向随即失真。

位置E——它把“这十年的方法论的定义、变换与边界”当成单独够用的那一样 单因决定这十年的方法论能否迁移的只有结论是否在公开边界内可复算 预设〔16 稀有与常见服从同一机制〕这十年的方法论在已发表样本上的方向可以代表全部候选对象 量纲在这十年的方法论的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,这十年的方法论的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机卯项在 2012 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在这十年的方法论中产生阴性结果的对象 异名第 310 号《空间统计与地理统计》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

七、Malliavin–Stein 方法:依赖随机量也能定量逼近正态Malliavin–Stein Normal Approximation

提出Bhamidi, van der Hofstad & van Leeuwaarden, Scaling limits for critical inhomogeneous random graphs, Electronic Journal of Probability 15 (2010): 1682–1702。 争议与 Smirnov, Conformal invariance in random cluster models I, Annals of Mathematics 172 (2010): 1435–1467 的对象边界或反例路线对读。 最新Hairer et al., Singular SPDEs beyond subcriticality, 2025 research update (preprint)。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

在随机辰项这条线上,过去卡住的是: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 年结果因此可回查,后续随机辰项路线也知道哪里走不通。

位置S——它把“Malliavin–Stein 方法的定义、变换与边界”当成单独够用的那一样 单因决定Malliavin–Stein 方法能否迁移的只有结论是否在公开边界内可复算 预设〔16 稀有与常见服从同一机制〕Malliavin–Stein 方法在已发表样本上的方向可以代表全部候选对象 量纲在Malliavin–Stein 方法的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,Malliavin–Stein 方法的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机辰项在 2010 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在Malliavin–Stein 方法中产生阴性结果的对象 异名第 311 号《原子分子与光物理》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

八、高斯乘法混沌:指数化粗糙场仍能定义随机测度Gaussian Multiplicative Chaos

提出Boucheron, Lugosi & Massart, Concentration Inequalities, Oxford University Press (2013)。 争议与 Tao & Vu, Random matrices: universality of local eigenvalue statistics, Acta Mathematica 206 (2011): 127–204 的对象边界或反例路线对读。 最新Bauerschmidt et al., Recent progress on universality in random matrices and log-correlated fields, 2024 survey。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

理解随机巳项要先拆一个旧混合量:对数相关高斯场经减去方差并取指数形成非平凡极限,临界参数处需改用导数鞅。 原体例把发现、证明与推广写在同一行,导致随机巳项究竟强化结论、放宽范围还是降低成本无法区分;本条把三种方向拆开核算。随机巳项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机巳项路线也知道哪里走不通。

随机巳项只把‘边界内可复算’视为单独够用的条件,不让规模、作者数或期刊级别代替随机巳项。只要随机巳项的定义域和失败域不能由外部研究者重建,本条即按未完成处理。随机巳项再核一次:2013 年分母若换成随机巳项全部候选对象,方向必须重算;未满足随机巳项条件的对象逐项留下。随机巳项还应公开最小复算材料;材料不足时,随机巳项的引用增长只测传播,不测正确性或可迁移性。

随机巳项的硬证据由 2013 年前后的原始工作给出:参数 γ/临界值、总质量矩阶数与截断尺度误差定义亚临界、临界与冻结区。 对随机巳项的复核分别记录对象规模、结构层级和误差分母;来源是 Boucheron, Lugosi & Massart, Concentration Inequalities, Oxford University Press (2013)。随机巳项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。随机巳项定义更精细若伴随复核人数下降,就不能把随机巳项层级增加写成可靠性增加;两条趋势分开画线。

对随机巳项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机巳项效果。若随机巳项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机巳项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机巳项旧边界,随机巳项来源层级也不能混写。

随机巳项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机巳项要询问谁进入分母、谁能独立重跑、随机巳项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 315 号批外证据提醒:随机巳项缺失对象不是零值;它未进入随机巳项账本,遗漏率须随主结果发表。

随机巳项在 2026 年与第 315 号《表面与界面物理》的证据边界、又与第 311 号《原子分子与光物理》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机巳项却警告核验者会随层级上升而减少;应比较随机巳项可复算对象/全部候选对象。随机巳项外推要报告复算成功对象/全部尝试对象;只列成功会把随机巳项失败分母压零,方向随即失真。

位置D——它把“高斯乘法混沌的定义、变换与边界”当成单独够用的那一样 单因决定高斯乘法混沌能否迁移的只有结论是否在公开边界内可复算 预设〔17 局部最优可加总为整体最优〕高斯乘法混沌在已发表样本上的方向可以代表全部候选对象 量纲在高斯乘法混沌的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,高斯乘法混沌的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机巳项在 2013 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在高斯乘法混沌中产生阴性结果的对象 异名第 315 号《表面与界面物理》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

九、临界渗流的锐阈值:相变宽度可以定量Sharp Thresholds in Percolation

提出Eldan, A stochastic localization proof of the KLS conjecture, Annals of Mathematics 194 (2021): 595–642。 争议与 Hairer, A theory of regularity structures, Inventiones Mathematicae 198 (2014): 269–504 的对象边界或反例路线对读。 最新Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

围绕随机午项,旧账的堵点是:影响函数、差分不等式与随机簇方法把‘有相变’推进为临界点唯一、关联长度可估。 早期论证常把成功对象当成全体,让随机午项的例外留在定义之外;本条先把纳入对象、关键变换与失败对象分开,避免用一个漂亮案例替整个问题族作证。随机午项定义更精细若伴随复核人数下降,就不能把随机午项层级增加写成可靠性增加;两条趋势分开画线。

随机午项这里只锁定一个因素:结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进随机午项的同一解释;若第三方只能复述随机午项结果却不能重做变换,所谓迁移就尚未发生。第 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 号《表面与界面物理》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机午项却警告核验者会随层级上升而减少;应比较随机午项可复算对象/全部候选对象。随机午项外推要报告复算成功对象/全部尝试对象;只列成功会把随机午项失败分母压零,方向随即失真。

位置E——它把“临界渗流的锐阈值的定义、变换与边界”当成单独够用的那一样 单因决定临界渗流的锐阈值能否迁移的只有结论是否在公开边界内可复算 预设〔17 局部最优可加总为整体最优〕临界渗流的锐阈值在已发表样本上的方向可以代表全部候选对象 量纲在临界渗流的锐阈值的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,临界渗流的锐阈值的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机午项在 2021 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在临界渗流的锐阈值中产生阴性结果的对象 异名第 316 号《磁学与自旋电子学》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

十、McKean–Vlasov 极限:相互作用粒子汇成非线性分布方程Mean-Field Interacting Particle Limits

提出Villani, Optimal Transport: Old and New, Springer (2009)。 争议与 Friz & Victoir, Multidimensional Stochastic Processes as Rough Paths, Cambridge University Press (2010) 的对象边界或反例路线对读。 最新Hairer et al., Singular SPDEs beyond subcriticality, 2025 research update (preprint)。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

随机未项改变的不是术语外壳,而是旧问题的入账方式:传播混沌把 N 粒子交换系统接到非线性 Fokker–Planck 方程,个体相关在大 N 下获得定量界。 若仍用单个定理、单台器件或单批数据结算,随机未项之外的反例会被成功叙事自动删去。这里把随机未项的对象范围、操作步骤和例外集合分别立账。随机未项定义更精细若伴随复核人数下降,就不能把随机未项层级增加写成可靠性增加;两条趋势分开画线。

对随机未项只提出一条单因主张:公开边界内可以独立复算,才允许把随机未项方法搬到下一类对象。声望与经费只作环境量;如果随机未项离开原作者补充就不能运行,结论仍是一次性工艺。随机未项与 2024–2026 年更新分开登记;晚近材料不能覆盖随机未项旧边界,随机未项来源层级也不能混写。随机未项还应公开最小复算材料;材料不足时,随机未项的引用增长只测传播,不测正确性或可迁移性。

随机未项的硬证据由 2009 年前后的原始工作给出:有限粒子边缘分布/极限乘积测度的距离、误差随 N 的衰减率是平均场成立的分母。 对随机未项的复核分别记录对象规模、结构层级和误差分母;来源是 Villani, Optimal Transport: Old and New, Springer (2009)。随机未项这些数字回答覆盖、强度或成本,不能合成无量纲的‘突破值’。随机未项反例库保留失败参数与停止位置;2025 年结果因此可回查,后续随机未项路线也知道哪里走不通。

对随机未项的反对意见主要质疑边界偷换:有限尺寸、精选样本或特殊正则性可能撑起随机未项效果。若随机未项越过条件后方向翻转,受损的是外推而非全部局部结论;反例应按条件归档。随机未项再核一次:2009 年分母若换成随机未项全部候选对象,方向必须重算;未满足随机未项条件的对象逐项留下。

随机未项要离开个人技艺,必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审随机未项要询问谁进入分母、谁能独立重跑、随机未项一次修订耗时多少;2025 年更新不因更晚就自动更强。第 319 号批外证据提醒:随机未项缺失对象不是零值;它未进入随机未项账本,遗漏率须随主结果发表。

随机未项在 2026 年与第 319 号《计算物理与多尺度模拟》的证据边界、又与第 316 号《磁学与自旋电子学》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机未项却警告核验者会随层级上升而减少;应比较随机未项可复算对象/全部候选对象。随机未项外推要报告复算成功对象/全部尝试对象;只列成功会把随机未项失败分母压零,方向随即失真。

位置S——它把“McKean–Vlasov 极限的定义、变换与边界”当成单独够用的那一样 单因决定McKean–Vlasov 极限能否迁移的只有结论是否在公开边界内可复算 预设〔17 局部最优可加总为整体最优〕McKean–Vlasov 极限在已发表样本上的方向可以代表全部候选对象 量纲在McKean–Vlasov 极限的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,McKean–Vlasov 极限的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机未项在 2009 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在McKean–Vlasov 极限中产生阴性结果的对象 异名第 319 号《计算物理与多尺度模拟》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

十一、随机图临界窗口:巨分量不是突然出现而是有缩放过程Critical Random Graphs

提出Armstrong & Mourrat, Quantitative Stochastic Homogenization, Springer (2019)。 争议与 Bourgain, Gamburd & Sarnak, Affine linear sieve, Inventiones Mathematicae 179 (2010): 559–644 的对象边界或反例路线对读。 最新Bauerschmidt et al., Recent progress on universality in random matrices and log-correlated fields, 2024 survey。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

在随机申项这条线上,过去卡住的是: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 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机申项却警告核验者会随层级上升而减少;应比较随机申项可复算对象/全部候选对象。随机申项外推要报告复算成功对象/全部尝试对象;只列成功会把随机申项失败分母压零,方向随即失真。

位置D——它把“随机图临界窗口的定义、变换与边界”当成单独够用的那一样 单因决定随机图临界窗口能否迁移的只有结论是否在公开边界内可复算 预设〔25 失败样本不含信息〕随机图临界窗口在已发表样本上的方向可以代表全部候选对象 量纲在随机图临界窗口的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,随机图临界窗口的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机申项在 2019 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在随机图临界窗口中产生阴性结果的对象 异名第 587 号《网络科学》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

十二、浓缩不等式进入高维算法:平均不再等于稳定Concentration in High Dimensions

提出Chatterjee, A new method of normal approximation, Annals of Probability 36 (2008): 1584–1610。 争议与 Corwin, The Kardar–Parisi–Zhang equation and universality class, Random Matrices: Theory and Applications 1 (2012): 1130001 的对象边界或反例路线对读。 最新Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers。 关键主证据、争议边界与近年更新为三笔互异来源;任何一笔都不能代替另外两笔。

理解随机酉项要先拆一个旧混合量: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 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’,随机酉项却警告核验者会随层级上升而减少;应比较随机酉项可复算对象/全部候选对象。随机酉项外推要报告复算成功对象/全部尝试对象;只列成功会把随机酉项失败分母压零,方向随即失真。

位置E——它把“浓缩不等式进入高维算法的定义、变换与边界”当成单独够用的那一样 单因决定浓缩不等式进入高维算法能否迁移的只有结论是否在公开边界内可复算 预设〔25 失败样本不含信息〕浓缩不等式进入高维算法在已发表样本上的方向可以代表全部候选对象 量纲在浓缩不等式进入高维算法的有效边界内可复算结论数/全部被声称覆盖的结论数 失效当边界对象被系统排除时,浓缩不等式进入高维算法的成功记录越多,未覆盖区域占真实问题的比例反而越高 自曝随机酉项在 2008 年原始工作中把适用条件写进定理、样本或器件参数;去掉该条件,核心推断没有被证明 空栏没有被定义、无法进入计算、未通过纳入条件或在浓缩不等式进入高维算法中产生阴性结果的对象 异名第 590 号《不确定性量化》称为“边界与分母错位”;另见该面板第二幕关于可迁移证据的条目

二十年连起来看

概率与随机分析的中心转向,是不再把随机性只当误差,而把奇异曲线、粗糙噪声、临界曲面和大系统共同极限当作可定义对象;普适性必须和尺度、正则性及例外事件一起写。 第一幕的八条主要改造问题、证明或实验的入口;第二幕十二条把入口连接到更高层结构、数据基础设施与公开核验。真正连续的不是术语,而是分母越来越明确、失败越来越能被定位。

这条时间线也说明“新”不能只按年份判断:早期思想若在 2016 年后才获得可计算对象、公开数据或实验阈值,它在第二幕仍然是新的工作方式;反之,2025 年出现而没有独立复核的结果,只能记为候选。

三个常见误解

第一,把一个著名定理或器件当成全领域;本页用二十条是为了显示方法、边界和基础设施同样构成转向。第二,把计算规模当可靠性;规模不修复选择偏差、定义漂移与样品差异。第三,把尚未解决解释为没有进步;许多最重要的进展是把错误路线排除、把失败区画清。

与相邻领域的接口

与第 310 号《空间统计与地理统计》的接口在可计算表示:同一个对象换表示后,能否保留结构与误差。与第 587 号《网络科学》的接口在证据聚合:局部读数怎样进入整体判断而不抹平异常。两处都要求先公开分母,再谈统一。

争议现场

概率与随机分析当前最实质的争议不是“传统还是创新”,而是超长证明、复杂计算或高门槛实验怎样获得共同体信任。一方强调专家链式核验足够,另一方要求机器证书、原始数据和独立复制。可判标准是关键结论能否在不依赖原作者口头补充的情况下重做。

第二个争议围绕边界:统一语言提高迁移速度,却可能把不适配对象排出可见范围。每一条因此都保留“空栏”和“自曝”;若异常只在论文之外出现,统一就只是整理成功案例。

往下五年看什么

观察三件事:第一,2024–2026 年的候选结果能否形成第二个独立证明或复现实验;第二,数据库、软件和样品链能否保存阴性记录;第三,年轻研究者是否能在更短依赖路径上进入前沿。若三项只增长论文数而不降低复核成本,基础设施仍未成熟。

可与哪些领域对撞

概率与随机分析与第 600 号《风险、安全与可靠性工程》共享“通过检查即可信”的前提;前者用证明、计算或样品链,后者用失效模式。相反方向是:形式检查越密,未建模的共同原因失效反而可能越隐蔽。新矛盾是如何为数学与物理结果建立类似事故调查的阴性档案。

它还可撞第 297 号《科技政策与科研管理》:一个领域追求真值,另一个领域分配注意、经费和声誉。两者都默认高影响结果值得优先复核;相反方向是越抢先的结果可供核验的时间越短。可测问题是撤回或重大修订之前的扩散速度/完成独立复核所需时间。

第三处跨类对撞是第 306 号《生物统计学》:那里担心样本进入分母,这里担心对象、定理或器件进入分母。共同前提是已记录对象代表候选总体;相反方向是可计算对象越多,难以表示的对象越可能永久缺席。

十条可做的研究命题

一,统计二十年内关键结果从预印本到独立核验的中位时间。二,把失败参数区公开与否作为解释后续复用率的变量。三,比较单人证明与团队证明的依赖树深度。四,测数据库扩容前后新猜想的类型是否收窄。五,建立来源三笔互异与重大修订率的前瞻登记。

六,用随机抽样复核软件、证明或样品链中的一条中间步骤。七,比较更高层抽象引入前后的新人训练年限。八,给“不可复算但被广泛引用”的结果建退出机制。九,测试跨领域迁移是否增加反例发现率。十,把阴性结果进入公共库的比例设为领域健康指标,并预先规定何时否定该指标。

资料核验

  1. Lawler, Schramm & Werner, Conformal invariance of planar loop-erased random walks and uniform spanning trees, Annals of Probability 32 (2004): 939–995
  2. Smirnov, Conformal invariance in random cluster models I, Annals of Mathematics 172 (2010): 1435–1467
  3. Tao & Vu, Random matrices: universality of local eigenvalue statistics, Acta Mathematica 206 (2011): 127–204
  4. Hairer, A theory of regularity structures, Inventiones Mathematicae 198 (2014): 269–504
  5. Friz & Victoir, Multidimensional Stochastic Processes as Rough Paths, Cambridge University Press (2010)
  6. Bourgain, Gamburd & Sarnak, Affine linear sieve, Inventiones Mathematicae 179 (2010): 559–644
  7. Corwin, The Kardar–Parisi–Zhang equation and universality class, Random Matrices: Theory and Applications 1 (2012): 1130001
  8. 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
  9. Duplantier & Sheffield, Liouville quantum gravity and KPZ, Inventiones Mathematicae 185 (2011): 333–393
  10. Miller & Sheffield, Liouville quantum gravity and the Brownian map I, Inventiones Mathematicae 219 (2020): 75–152
  11. Duminil-Copin, Raoufi & Tassion, Sharp phase transition for the random-cluster and Potts models, Annals of Mathematics 189 (2019): 75–99
  12. Erdős, Yau & Yin, Bulk universality for generalized Wigner matrices, Probability Theory and Related Fields 154 (2012): 341–407
  13. Bauerschmidt, Knowles, Yau & Yin, Local circular law for random matrices, Probability Theory and Related Fields 159 (2014): 545–595
  14. Addario-Berry, Broutin & Goldschmidt, The continuum limit of critical random graphs, Probability Theory and Related Fields 152 (2012): 367–406
  15. Bhamidi, van der Hofstad & van Leeuwaarden, Scaling limits for critical inhomogeneous random graphs, Electronic Journal of Probability 15 (2010): 1682–1702
  16. Boucheron, Lugosi & Massart, Concentration Inequalities, Oxford University Press (2013)
  17. Eldan, A stochastic localization proof of the KLS conjecture, Annals of Mathematics 194 (2021): 595–642
  18. Villani, Optimal Transport: Old and New, Springer (2009)
  19. Armstrong & Mourrat, Quantitative Stochastic Homogenization, Springer (2019)
  20. Chatterjee, A new method of normal approximation, Annals of Probability 36 (2008): 1584–1610
  21. Bauerschmidt et al., Recent progress on universality in random matrices and log-correlated fields, 2024 survey
  22. Duminil-Copin and collaborators, New sharpness results for dependent percolation, 2024 papers
  23. Hairer et al., Singular SPDEs beyond subcriticality, 2025 research update (preprint)

核验说明:文献表优先列原始论文、正式专著与同行评议综述;标注 preprint 或 manuscript 的条目尚未完成同行评议,只用于“最新”定位,不与已刊定理或实验同权。正文的数值与适用边界以所列来源为准。

【学科经典思想汇集部分】1950–2006 · 20 条经典学科思想

以下二十条是概率与随机分析在 1950 至 2006 年之间立起来的经典思想,与上文近二十年的二十条合成一块面板的两层。它们回答的是另一个问题:上面每一条新结果所推翻的,究竟是哪一条老前提,而那条老前提当年又是被谁、用什么材料立起来的。经典层因此不做名人榜,只收至今仍被现代二十条正面使用或正面反对的命题——伊藤规定了在哪一点取值才算积分,Donsker 宣布微观细节不进极限,Metropolis 把「跑得够久就对了」写成算法,Kardar 等三位物理学家用两页纸给出一个数学界二十年够不着的指数,而 Doeblin 那份 1940 年封存、2000 年才被打开的手稿,则给出了这门学科对「谁被记住」最不客气的一次表态。每条一行来源、两段正文、一行五栏碰撞行,末尾点名它在上文哪一条里继续活着。

经一、随机积分:在哪一点取值决定了结果Classic 01 · Probability

提出伊藤清,1951 年《美国数学会论文集》第 4 卷《论随机微分方程》。 流变Stratonovich 1966 年给出另一种取值约定,两者相差一个漂移项;粗糙路径后来把这类选择重新组织。 今用本块一「没有意义的方程」处理的仍是同一件事:一个形式上写得出的随机方程,先要说明它按什么约定成立。 关键布朗运动路径不可导,积分须按左端点取值定义,由此得到伊藤公式。

1951 年之前,「白噪声驱动的方程」只是物理文献里的写法:布朗运动的路径几乎处处不可导,通常的积分定义全部失效。伊藤清的处理是规定取值点:被积函数在小区间的左端点取值,由此得到的积分是鞅,并给出比经典链式法则多一项二阶项的伊藤公式。「随机微分方程」从此有了确切所指,而不再是一句形式记法。

它的边界正在那条规定上:换成中点取值(Stratonovich)得到的是另一个积分,两者相差一个漂移项,且哪一种「对」取决于所建模的物理过程如何逼近。这条经典留下的教训反复出现:随机对象的定义里往往藏着一次约定,不写出来方程就没有意义。本块一面对的是同一处困难的更难版本:奇异随机偏微分方程要先说明重整化怎么做,才能谈解。

位置D——它把「一条取值约定」当成单独够用的那一样 预设〔26 顺序无关〕默认积分的定义与在小区间上取哪一点无关 量纲两种约定给出同一答案的方程类数∶所考虑的方程类总数 失效当被建模的过程以不同方式逼近连续极限时,不同约定给出不同的解,形式记法不足以定义对象 异名数值分析称「离散格式的一致性」,计量经济学称「设定依赖」;另见本块一

经二、不变原理:微观细节不进极限Classic 02 · Probability

提出Monroe Donsker,1951 年《美国数学会论文集》第 6 卷《若干概率极限定理的一个不变原理》。 流变Skorokhod 1956 年给出跳跃过程的收敛拓扑,弱收敛此后成为标准框架;普适性的严格证明在多数模型中至今仍是难题。 今用本块二「KPZ 普适类」问的正是这条原理在一个新标度下是否还成立。 关键任意有限方差的随机游走,按标准标度收敛到同一个布朗运动。

1951 年之前,中心极限定理说的是一个数:和的分布趋于正态。Donsker 把它提升为一条路径的收敛——整条随机游走轨道按标度收敛到布朗运动,而与步长分布的具体形状无关。由此,凡是关于布朗运动的泛函结论,都自动成为关于一大类随机游走的结论。「普适性」这个词从此在概率论里有了可证的含义。

边界是那句「有限方差」:重尾情形收敛到的是稳定过程而非布朗运动,同名的极限对象在不同条件下不是同一个。更要紧的是这条原理只解决了最简单的一类标度——一旦模型带相互作用,极限对象与标度指数都要另行确定,且证明极为困难。本块二报告的 KPZ 普适类正是这样一类:极限对象被找到了,而「哪些模型收敛到它」这份名单至今很短。

位置S——它把「同一个极限对象」当成单独够用的那一样 预设〔15 同名即同物〕默认收敛到同名极限的不同模型在极限层面是同一个对象 量纲已被证明收敛到该极限的模型数∶预期属于同一普适类的模型总数 失效当方差不有限或模型带强相互作用时,极限对象改变,同一标度下的结论不迁移 异名物理学称「普适类」,测量学称「校准曲线的适用范围」;另见本块二

经三、蒙特卡洛:把「跑得够久」写成算法Classic 03 · Probability

提出Nicholas Metropolis、Arianna Rosenbluth、Marshall Rosenbluth、Augusta Teller 与 Edward Teller,1953 年《化学物理杂志》21:1087–1092。 流变Hastings 1970 年给出一般形式;混合时间的严格估计到 1980 年代才成为独立课题,Propp–Wilson 1996 年给出可判定停机的精确采样。 今用本块五「高维与算法的接口」里的采样问题,判据仍是这条算法留下的那个:跑多久才算够。 关键按接受概率构造马氏链,其平稳分布即目标分布,采样问题变为模拟问题。

1953 年之前,从一个复杂分布里抽样几乎无从下手,因为归一化常数往往算不出来。这篇论文给出的办法是造一条马氏链:只用分布的比值决定是否接受一步移动,平稳分布就是目标分布。归一化常数被绕过,统计物理、化学与后来的贝叶斯统计因此都获得了可执行的计算方式。

边界是收敛速度:算法保证「跑得够久就对」,却不说明够久是多久,而在多模态或低温情形,混合时间可以指数地长——使用者看到的链已经平稳,实际上仍困在一个局部区域。混合时间的严格估计因此成了一门独立学问,Propp–Wilson 的精确采样则给出了一种可判定停机的路线。本块五今天在高维算法里遇到的困难,多数仍是这条边界的变形。

位置E——它把「跑得够久」当成单独够用的那一样 预设〔20 窗口内稳定=长期稳定〕默认观察窗口内不再变化即已达到平稳分布 量纲实际运行步数∶该链的混合时间 失效当分布多模态或温度低时混合时间指数增长,链看似平稳而实际只覆盖了一个局部区域 异名统计学称「收敛诊断」,工程学称「稳态判据」;另见本块五

经四、鞅:一门学科被写成严格的样子Classic 04 · Probability

提出Joseph Doob,1953 年《随机过程》,Wiley(鞅收敛定理与可选停止定理的系统处理)。 流变法国学派在 1960 至 1970 年代把它发展成一般理论(可料过程、半鞅、随机积分的一般框架);测度论语言此后是这门学科的默认底座。 今用本块六「这十年的方法论」所盘点的工具箱,底层仍是这一套。 关键条件期望不变的过程有收敛定理与停时定理,随机现象的论证由此可以严格进行。

1953 年之前,概率论的严格化只完成了一半:Kolmogorov 1933 年给了公理,但过程层面的论证仍大量依赖直觉。Doob 把鞅——赌博的公平性条件——做成中心工具,证明收敛定理与可选停止定理,并把整套过程理论写进一本可教学的书。此后「概率论是不是数学」这个问题不再被问,而工具的统一也让它可以向外输出。

边界是这套语言的成本:可测性、可料性、右连左极这些条件在直觉上不产生任何内容,却必须逐条交代,入门代价因此长期偏高。另一处是它塑造的默认——「随机过程」这个词的所指在此被一次定死,后来处理粗糙路径、随机场与不可分离的情形时,都要先松开这条边界。本块六盘点方法论时,这本书是最深的一层。

位置S——它把「一套严格的定义」当成单独够用的那一样 预设〔9 边界一次划定后保持稳定〕默认「什么算一个随机过程」一经划定即可长期沿用 量纲可纳入该框架的随机对象类数∶实际需要处理的随机对象类总数 失效当对象不可分离或路径过于粗糙时,框架的条件本身要松开,严格性由新的定义承担 异名法学称「构成要件」,软件工程称「类型系统的表达力边界」;另见本块六

经五、半圆律:谱由对称性而不是细节决定Classic 05 · Probability

提出Eugene Wigner,1955 年《数学年刊》62:548–564;半圆律的完整形式见同刊 67 (1958):325–327。 流变Dyson 1962 年按对称性分出三个系综;边缘分布由 Tracy 与 Widom 在 1994 年给出,普适性的严格证明迟至 2010 年前后。 今用本块丙「随机矩阵的普适性」检验的正是这条命题能推广到多远。 关键大型随机对称矩阵的特征值密度趋于半圆分布,与元素分布的具体形状无关。

Wigner 面对的是重原子核的能级:哈密顿量写不出来,但能级的统计规律可以问。他的做法是用随机矩阵代替真实矩阵,只保留对称性,并证明特征值密度收敛到半圆分布——具体元素的分布形状不进入答案。这是物理直觉先行、数学随后跟上的典型样本,也是普适性在谱层面的第一个例子。

边界是「与细节无关」到底能推多远:体部密度的普适性容易,边缘与间距的普适性难得多,严格证明比 Wigner 的原始工作晚了半个世纪。另一处是它的适用前提——独立同分布的元素,而真实系统的矩阵往往带结构,此时半圆律不成立。本块丙今天报告的普适性推进,逐条推的正是这两处边界。

位置S——它把「对称性类」当成单独够用的那一样 预设〔2 单一读数代表复杂对象〕默认一条谱密度足以代表一个复杂系统的全部统计行为 量纲谱统计与预测吻合的矩阵族数∶所考察的矩阵族总数 失效当矩阵元素带结构或强相关时,半圆律不成立,对称性不再单独决定谱 异名统计物理称「系综假设」,工程学称「按对称性简化模型」;另见本块丙

经六、渗流:一个来自防毒面具的问题Classic 06 · Probability

提出Simon Broadbent 与 John Hammersley,1957 年《剑桥哲学学会论文集》53:629–641《渗流过程 I:晶体与迷宫》。 流变Kesten 1980 年证明二维方格上的临界概率为二分之一;锐阈值的一般结论由 Menshikov 与 Aizenman–Barsky 在 1986 至 1987 年给出。 今用本块九「临界渗流的锐阈值:相变宽度可以定量」把这条老问题问到了定量的一层。 关键随机开闭的格点网络中存在临界概率,超过它才出现无穷连通簇。

这个模型的来处很具体:Broadbent 在英国煤炭利用研究协会研究防毒面具的吸附材料,问的是气体能不能穿过随机的多孔介质。Hammersley 把它抽象成格点上的随机开闭问题,并证明存在一个临界概率——低于它只有有限簇,高于它出现无穷簇。一个工程问题因此变成了相变的最简数学模型,而相变第一次可以被严格讨论。

边界在这次抽象本身:真实多孔介质有几何关联、有各向异性,而模型假定每条边独立开闭;由它得到的临界值不能直接用于原来的工程问题。这条经典的价值恰在于此——一个被彻底简化的模型能问出真问题,但它给出的数只属于模型。本块九今天把相变的宽度定量化,问的仍是这个模型内部的事。

位置D——它把「一个抽象出来的最简模型」当成单独够用的那一样 预设〔30 未被计价的东西不影响结算〕默认原问题中未被写进模型的约束不影响结论 量纲模型预测与真实介质吻合的情形数∶所比对的情形总数 失效当真实介质存在几何关联或各向异性时,模型算出的临界值不能迁移回原问题 异名建模学称「抽象损失」,工程学称「样机与工况的差距」;另见本块九

经七、位势论与马氏过程:两套语言被证明是一套Classic 07 · Probability

提出Gilbert Hunt,1957 至 1958 年《伊利诺伊数学杂志》1:44–93、316–369 与 2:151–213《马氏过程与位势》。 流变Dirichlet 形式(Fukushima 1971 年起)给出更便于构造的等价框架;边界行为与不规则区域的对应至今仍在推进。 今用本块三「随机几何:随机曲面被定义了」所需的那类构造,工具仍出自这条线。 关键马氏过程的击中概率与经典位势论的调和函数一一对应。

1957 年之前,位势论是分析学的一支,马氏过程是概率论的一支,两边关于同一个拉普拉斯算子各说各话,偶有类比。Hunt 用三篇长文证明二者的字典是逐项的:调和函数对应鞅、容量对应击中概率、格林函数对应占据时间密度。此后分析学的整套工具可以合法地用来处理概率对象,反之亦然。

边界在正则性上:字典的两侧都要求足够好的空间与足够好的边界,换到分形边界或无限维空间就要重建。更要紧的是「对应」不等于「可替代」——概率侧知道路径的具体形态,分析侧读不出来;反过来分析侧的估计常常概率侧无从下手。本块三今天定义随机曲面时,用的正是这条对应的现代版本,也仍受这两条边界约束。

位置E——它把「两套语言之间的逐项对应」当成单独够用的那一样 预设〔14 因与果的方向是给定的〕默认分析侧的算子单向决定概率侧的过程行为 量纲字典中已被建立的对应条目数∶两侧各自的基本概念总数 失效当区域边界不规则或空间无限维时,对应须逐条重建,整体迁移不成立 异名物理学称「对偶描述」,翻译学称「术语对照表的适用域」;另见本块三

经八、随机图:一个参数扫过整段演化Classic 08 · Probability

提出Paul Erdős 与 Alfréd Rényi,1960 年《匈牙利科学院数学研究所论文集》5:17–61《随机图的演化》。 流变临界窗口的精细结构由 Bollobás 1984 年与 Łuczak 1990 年给出;此后随机图成为算法分析与网络科学的共同基线模型。 今用本块十一「随机图临界窗口:巨分量不是突然出现而是有缩放过程」做的正是这段演化的显微版本。 关键随机图随边数增加经历一系列突变,巨分量在平均度为一处出现。

1960 年之前,图论问的是某个具体图有什么性质。Erdős 与 Rényi 把边随机放进来,问的是「典型的图」随着边数增加会经历什么——答案是一连串突变:孤立点消失、圈出现、巨分量在平均度为一处诞生、图变连通。一个参数扫过去,整段演化被排成一条清单,而每个性质都有自己的阈值。

边界是「典型」这个词的模型依赖:均匀随机图上的结论,在带度分布约束或几何约束的模型上大多不成立,而现实网络恰恰不均匀——这一点在 1999 年之后被反复指出。另一处是巨分量出现的那一刻究竟发生了什么,原始工作只给了阈值。本块十一今天把那一刻拉开成一个有标度的窗口,回答的正是这条经典留下的空白。

位置S——它把「一个参数」当成单独够用的那一样 预设〔23 中位个案代表分布〕默认均匀随机模型下的典型图可以代表实际关心的图 量纲该模型预测正确的网络性质数∶所考察的网络性质总数 失效当图带度分布或几何约束时,均匀模型的阈值结论不迁移,「典型」随模型改变 异名社会科学称「代表性样本之争」,工程学称「基线模型的适用范围」;另见本块十一

经九、大偏差:稀有事件也有自己的规律Classic 09 · Probability

提出S. R. Srinivasa Varadhan,1966 年《纯粹与应用数学通讯》19:261–286《渐近概率与微分方程》。 流变Donsker–Varadhan 在 1975 至 1983 年把它推到马氏过程的占据测度;此后成为统计物理、信息论与排队论的共同工具。 今用本块十二「浓缩不等式进入高维算法:平均不再等于稳定」处理的是同一类指数估计的另一侧。 关键稀有事件的概率按指数衰减,衰减速率由一个变分问题给出的速率函数决定。

1966 年之前,极限定理关心的是典型行为:大数律与中心极限定理都说「多数情况怎么样」。Varadhan 把提问反过来——偏离典型值的概率有多小,并证明它按指数衰减,指数由一个可以写出来的速率函数给出。稀有事件因此不再是「几乎不发生」这句定性判断,而是一个可计算的量,且不同的稀有方式各有各的代价。

边界在速率函数的可及性:理论保证它存在,实际算出来往往要解一个变分问题,而在多数复杂模型里解不出。另一处更微妙:指数律只给出主阶,前因子与有限规模修正常常主导实际数值,把渐近结论直接当作有限样本的估计是最常见的误用。本块十二今天用的浓缩不等式给的是非渐近界,两者互补——一个给速率,一个给在有限维度上就能用的保证。

位置E——它把「一个速率函数」当成单独够用的那一样 预设〔16 稀有与常见服从同一机制〕默认所有偏离方式由同一个速率函数统一支配 量纲速率函数可显式求解的模型数∶适用该原理的模型总数 失效当前因子或有限规模修正主导数值时,指数律的渐近结论不能直接用作有限样本估计 异名保险精算称「尾部风险定价」,可靠性工程称「极值外推」;另见本块十二

经十、混沌传播:粒子多了就只剩平均场Classic 10 · Probability

提出Henry McKean,1966 年《美国国家科学院院刊》56:1907–1911《与非线性抛物方程相联系的一类马氏过程》。 流变Sznitman 1991 年的讲义把它系统化;带奇异相互作用的情形(如二维涡旋、Coulomb 气体)到 2010 年之后才被逐步解决。 今用本块十「McKean–Vlasov 极限:相互作用粒子汇成非线性分布方程」正是这条命题今天的主战场。 关键弱相互作用粒子系统的经验分布收敛到一个非线性方程的解,粒子之间渐近独立。

1966 年之前,多体相互作用系统的分析几乎无从下手:粒子两两相关,维数随数目增长。McKean 证明在弱相互作用下,粒子数趋于无穷时任意有限个粒子渐近独立,经验分布收敛到一个非线性方程的解——每个粒子只感受到「平均的其他人」。复杂的相互作用因此被压成一个自洽方程,这条思路后来在群体动力学、神经网络与训练算法分析里被反复使用。

边界是「弱」与「光滑」这两条:相互作用一旦奇异(如库仑或涡旋核),或系统处在临界标度上,粒子之间的相关不消失,平均场极限不成立。另一处是有限粒子数的误差——极限干净,收敛速度往往很慢,而实际系统的粒子数并不大。本块十今天推进的正是这两处:奇异相互作用与定量收敛速度。

位置D——它把「一个平均场」当成单独够用的那一样 预设〔5 平均值代表个体〕默认单个粒子只需感受群体的平均行为 量纲平均场预测与有限粒子模拟吻合的情形数∶所比对的情形总数 失效当相互作用奇异或系统处于临界标度时,粒子间相关不消失,平均场极限失效 异名经济学称「代表性个体假设」,控制论称「集总参数近似」;另见本块十

经十一、次可加遍历定理:一条通用的极限存在性Classic 11 · Probability

提出John Kingman,1968 年《皇家统计学会杂志 B 辑》30:499–510《次可加随机过程的遍历理论》。 流变它成为首达渗流、最长公共子序列、随机矩阵乘积等一大批问题中「常数存在」的统一依据;常数的具体数值大多至今未知。 今用本块二「KPZ 普适类」里那些标度常数,存在性靠的正是这条定理,数值则至今大多算不出。 关键次可加的随机过程除以时间必收敛,极限常数存在但不由定理给出。

1968 年之前,「随着规模增大,某个量除以规模趋于一个常数」这类结论要逐例证明。Kingman 抽出共同条件——次可加性,即两段拼起来不会比分开更长——并证明只要满足它,极限必然存在。首达渗流的时间常数、最长公共子序列的比例、随机矩阵乘积的 Lyapunov 指数,都由这一条定理一次性获得存在性。

边界写在「存在但不给出」这句话里:定理保证常数存在,却不提供任何计算它的办法,多数这类常数至今只有数值估计与上下界。这在概率论里形成了一种特殊的状态——一个被普遍使用、却谁也不知道其数值的量。本块二报告的 KPZ 普适类正是典型:标度指数被算出来了,而那些依赖模型细节的常数仍然只有存在性。

位置D——它把「一条次可加性」当成单独够用的那一样 预设〔6 聚合次序不影响结论〕默认把过程切开再拼起来不改变极限 量纲已知数值的极限常数数∶由该定理保证存在的极限常数总数 失效当只需要常数的数值时,存在性定理不提供任何信息,问题原样保留 异名优化理论称「非构造性存在证明」,工程学称「有解但无解法」;另见本块二

经十二、Gibbs 测度:局部条件分布定义整体Classic 12 · Probability

提出Roland Dobrushin,1968 年《概率论及其应用》13:197–224;Oscar Lanford 与 David Ruelle,1969 年《数学物理通讯》13:194–215。 流变相变被重新表述为「同一组局部条件分布容许多个整体测度」;二维 Ising 的完整刻画到 1980 年代才完成。 今用本块四「相变的严格化」用的正是这条定义。 关键无穷体积的平衡态由一族相容的局部条件分布指定,多解即相变。

1968 年之前,无穷系统的平衡态没有定义:有限体积下的 Gibbs 分布依赖边界条件,取极限时依赖不消失。Dobrushin 与 Lanford–Ruelle 反过来做——不取极限,而是直接规定:整体测度的每一个局部条件分布必须是给定的 Gibbs 形式。满足这组条件的测度可能不止一个,而这恰好是相变的严格含义:同一套局部规则,容许多个整体状态。

边界在从局部到整体这一步:局部条件相容不保证唯一,而判定唯一与否往往极难,Dobrushin 的唯一性判据只覆盖高温一侧。另一处是这套定义把相变说清楚了,却不提供构造多解的方法,具体模型仍要逐个动手。本块四报告的严格化进展,做的正是逐个模型把这两件事补上。

位置E——它把「一族局部条件分布」当成单独够用的那一样 预设〔17 局部最优可加总为整体最优〕默认局部处处相容即可唯一确定整体状态 量纲局部条件唯一确定整体测度的参数区间∶该模型的全部参数区间 失效当参数落在低温一侧时同一组局部条件容许多个整体测度,局部相容不给出整体唯一 异名分布式系统称「局部一致不蕴含全局一致」,法学称「同一条文的多种解释并存」;另见本块四

经十三、Stein 方法:不靠独立性也能定量逼近Classic 13 · Probability

提出Charles Stein,1972 年《第六届伯克利数理统计与概率研讨会论文集》第 2 卷:583–602。 流变Chen 1975 年给出泊松版本;与 Malliavin 计算的结合(Nourdin–Peccati 2009 年)把它推广到高斯泛函,成为本块七的主线。 今用本块七「Malliavin–Stein 方法:依赖随机量也能定量逼近正态」正是这条方法与本块经十四的合流。 关键用一个特征方程刻画正态分布,逼近误差由该方程的解直接给出上界。

1972 年之前,中心极限定理的误差估计几乎都依赖独立性与特征函数,相依情形只能个案处理。Stein 换了路线:不看特征函数,而用一个微分方程刻画正态分布——一个随机变量近似正态,当且仅当它近似满足这个方程;误差界由方程解的性质给出。独立性不再是必需的输入,定量的逼近误差第一次在相依情形下可得。

边界在方程解的可控性:这套方法把概率问题换成了分析问题,而对每一类目标分布都要重新研究对应方程的解,并非所有分布都有好用的版本。另一处是它给出的界通常不是最优的,常数往往偏大。本块七报告的正是它与 Malliavin 计算合流之后的形态——两套工具各补对方一处短板:一个给出方程,一个给出可微结构。

位置D——它把「一个特征方程」当成单独够用的那一样 预设〔10 更多数据必然减少偏倚〕默认样本增多本身就把分布推向正态 量纲可给出定量误差界的相依结构类数∶实际出现的相依结构类总数 失效当目标分布对应的方程解不可控时,方法给不出可用的界,问题回到个案处理 异名数值分析称「误差界的可计算性」,统计学称「渐近与有限样本之分」;另见本块七

经十四、随机变分法:在路径空间上做微分Classic 14 · Probability

提出Paul Malliavin,1978 年《随机微分方程国际研讨会(京都 1976)论文集》,Wiley:195–263《变分随机计算与亚椭圆算子》。 流变Bismut、Stroock 与 Watanabe 在 1980 年代给出多种等价处理;金融中的敏感度计算与本块七的定量极限定理都以它为工具。 今用本块戊「粗糙路径与随机 PDE 的前奏」所指的那一段准备工作,这条是其中最重的一件。 关键在维纳空间上定义微分与分部积分,据此证明解的密度光滑。

1978 年之前,随机微分方程解的分布是否有光滑密度,只能借助 Hörmander 的亚椭圆性定理从偏微分方程一侧回答。Malliavin 建立了另一条路:在无穷维的路径空间上直接定义微分算子与分部积分公式,用概率手段证明同一结论,并给出了原来分析方法给不出的信息。概率论第一次拥有了自己的无穷维微分学。

边界是计算成本:这套工具的技术门槛高,Malliavin 矩阵的可逆性验证在具体模型上常常极其繁重,以致很多问题理论上可解而实际不做。另一处是它高度依赖高斯结构——换成跳跃噪声或更粗糙的驱动信号要另起框架。本块戊今天说的前奏,指的正是这条线与粗糙路径合起来,才把随机偏微分方程的解的意义问题推到可解的位置。

位置S——它把「路径空间上的微分结构」当成单独够用的那一样 预设〔29 越精细越接近真实〕默认把结构做到无穷维层面就能换来相应的可解性 量纲可实际完成可逆性验证的模型数∶理论上适用该方法的模型总数 失效当驱动噪声不是高斯或路径过于粗糙时,这套微分结构须整体重建 异名数值分析称「方法的实现成本」,工程学称「可用性与可行性之分」;另见本块戊

经十五、同质化:微观无序在大尺度变成一个常数Classic 15 · Probability

提出George Papanicolaou 与 S. R. S. Varadhan,1979 年埃斯泰尔戈姆随机场会议报告(论文集 1981 年,János Bolyai 数学会丛书 27:835–873);Sergei Kozlov 同年在《苏联数学汇刊》37:167–180 给出平行结果。 流变定量同质化(误差率与涨落)在 2010 年之后才成型,成为本块庚的主体;非线性与退化系数情形至今未完。 今用本块庚「随机同质化:微观无序在大尺度产生确定系数」把这条定性结论推到了带误差率的一层。 关键随机快速振荡系数的方程在大尺度上等价于一个确定系数的方程。

1979 年之前,介质的随机不均匀性被当作必须逐点处理的麻烦。Papanicolaou–Varadhan 与 Kozlov 各自证明:只要随机系数是平稳遍历的,解在大尺度上收敛到一个确定系数方程的解,那个有效系数由一个辅助问题给出。工程上长期凭经验使用的「等效材料参数」,第一次有了严格依据。

边界是这条结论只是定性的:它说收敛,不说多快,而实际材料的尺度分离远没有极限那么彻底,误差率与有限尺寸涨落恰恰是应用中最要紧的量。另一处是遍历性假设——真实介质常有长程关联,此时有效系数未必存在。本块庚今天报告的定量同质化,补的正是速率这一半。

位置E——它把「一个有效系数」当成单独够用的那一样 预设〔13 时间尺度可自由压缩〕默认微观尺度上的读数可以外推为宏观尺度的系数 量纲有效系数预测与实测吻合的尺度范围∶实际关心的尺度范围 失效当尺度分离不充分或介质存在长程关联时,极限结论不给出有限尺寸下的误差 异名材料科学称「等效介质近似」,经济学称「加总偏误」;另见本块庚

经十六、圈擦除随机游走:把擦掉的部分声明为无关Classic 16 · Probability

提出Gregory Lawler,1980 年《杜克数学杂志》47:655–693《一种自回避随机游走》。 流变它的标度极限由 Lawler–Schramm–Werner 在 2004 年前后确定为 SLE(2);真正的自回避游走至今没有同等结果。 今用本块甲「SLE:把随机曲线写成一个方程」所描述的那套框架,最早的检验对象正是这条曲线。 关键把随机游走中的圈按出现顺序擦掉,得到一条可精确分析的自回避曲线。

1980 年之前,自回避随机游走是一个人人想要、无人能算的对象:它的定义简单,分析上却几乎无从下手。Lawler 的处理是换一个对象——先走普通随机游走,再按顺序把圈擦掉,得到的曲线同样自回避,却保留了原游走的可计算结构。一个难对象被一个可算的近亲替代,而这个近亲后来被证明本身就有深刻的标度极限。

边界是替代的代价:擦圈得到的曲线与真正的自回避游走不是同一个对象,两者在二维的标度极限被认为不同,而后者至今没有严格结果。把「擦掉的部分不含信息」当作理所当然,是这条经典最容易被误读的地方——它是一次有意的声明,不是一个定理。本块甲今天的框架能精确处理前者,也正好照出后者仍然开着。

位置S——它把「擦圈之后的那条曲线」当成单独够用的那一样 预设〔25 失败样本不含信息〕默认被擦掉的圈不携带要紧的结构信息 量纲该曲线可精确分析的性质数∶自回避游走所关心的性质总数 失效当所问的性质依赖被擦掉的部分时,替代对象的结论不迁移回原对象 异名统计学称「代理变量」,工程学称「可解模型替代」;另见本块甲

经十七、两页纸的指数:物理学家先到了二十年Classic 17 · Probability

提出Mehran Kardar、Giorgio Parisi 与 Zhang Yi-Cheng,1986 年《物理评论快报》56:889–892《生长界面的动力学标度》。 流变Baik–Deift–Johansson 1999 年在一个可解模型上算出极限分布;方程本身的适定性到 2013 年前后才由正则结构与粗糙路径解决。 今用本块二「KPZ 普适类」与本块丁「精确可解与正则结构的登场」处理的都是这条预言留下的账。 关键随机生长界面的涨落按三分之一次幂标度,属于同一个普适类。

1986 年的这篇短文写下一个非线性随机偏微分方程,并用标度论证给出涨落指数三分之一。方程本身在数学上没有意义——非线性项与白噪声相乘无法定义;标度论证也不是证明。但预言被大量数值与实验支持,此后二十多年,数学界的工作基本是在追赶这两页纸给出的判断。

这条经典留下的是一个关于证据标准的样本:物理侧认为已经解决,数学侧认为尚未开始,双方对同一件事的完成度判断相差二十年。而追赶的结果并非简单确认——严格化过程中发现方程的解依赖重整化的选择,这一点在原始论证里根本没有出现。本块二与本块丁分别报告普适类与可解结构这两条追赶路线的进度。

位置E——它把「一次标度论证」当成单独够用的那一样 预设〔7 效果可由参与者自己评定〕默认一个推导在其原学科内被接受即可当作已解决 量纲已被严格证明的普适类成员数∶数值与实验支持属于该类的模型总数 失效当方程本身缺乏数学意义时,预言正确不等于论证成立,严格化可能改写原命题 异名科学哲学称「跨学科证据标准差异」,工程学称「经验公式先于理论」;另见本块二

经十八、最优运输:把「怎么搬」变成一个映射Classic 18 · Probability

提出Yann Brenier,1991 年《纯粹与应用数学通讯》44:375–417《向量值函数的极分解与单调重排》。 流变Jordan–Kinderlehrer–Otto 1998 年把扩散方程写成 Wasserstein 空间上的梯度流;Villani 的两部专著(2003、2009 年)把它整理成通用工具。 今用本块辛「最优运输与梯度流:概率分布空间也有动力学」正是这条线的当代形态。 关键二次代价下的最优运输由一个凸函数的梯度给出,且唯一。

最优运输问题从 1781 年就有,长期停在存在性层面:知道有最优方案,不知道它长什么样,也不知道是不是映射而只是一个联合分布。Brenier 证明在二次代价与温和条件下,最优方案就是某个凸函数的梯度,且唯一。一个变分问题因此有了显式的结构,分布之间第一次有了可微分几何式的处理方式。

边界是代价函数:结论对二次代价成立,换成别的代价,最优映射的结构与唯一性都要重新论证,有些情形根本不成立。另一处是计算成本——理论上的唯一映射在高维上求解极贵,实际使用的多是熵正则化后的近似,而近似解不再具有那条结构。本块辛今天在分布空间上做动力学,用的正是这条经典的几何,也继承了这两处边界。

位置S——它把「一个最优映射」当成单独够用的那一样 预设〔12 成本可外置而不改变结论〕默认代价函数的具体形式不影响所得结构 量纲最优映射存在且唯一的代价函数类数∶实际使用的代价函数类总数 失效当代价函数非二次或需熵正则化近似时,唯一映射的结构不再成立 异名运筹学称「指派问题的结构」,经济学称「匹配的稳定性」;另见本块辛

经十九、浓缩不等式:高维里几乎一切都是常数Classic 19 · Probability

提出Michel Talagrand,1995 年《高等科学研究所数学出版》81:73–205《乘积空间中的测度浓缩与等周不等式》。 流变Ledoux 2001 年的专著把它整理成跨领域工具书;此后成为随机算法、高维统计与学习理论的默认工具。 今用本块十二「浓缩不等式进入高维算法:平均不再等于稳定」检验的正是它被用过头的地方。 关键乘积空间上不太依赖单个坐标的函数,其取值以指数速度集中在中位数附近。

1995 年之前,控制一个复杂随机量的波动通常要算方差、再用切比雪夫不等式,而在高维上这类界往往太松。Talagrand 给出的是几何式的结论:只要函数对每个坐标的依赖都不大,它的取值就以指数速度集中——与函数的具体形式几乎无关。组合优化、随机图与经验过程中大量的波动问题因此一次性解决。

边界写在「不太依赖单个坐标」这句话里:一旦存在少数主导坐标,浓缩失效,而高维数据里恰恰常有这种结构。更常见的误用是把「集中在中位数附近」读成「稳定」——中位数本身可能随维数漂移,集中并不保证结果有意义。本块十二今天在高维算法里指出的,正是这一点:平均不再等于稳定。

位置D——它把「一条浓缩不等式」当成单独够用的那一样 预设〔24 冗余是浪费〕默认高维中大量坐标之间的差别可以被整体压缩掉而无代价 量纲满足有界差分条件的函数数∶所要控制的高维函数总数 失效当存在少数主导坐标时浓缩失效;即便浓缩成立,中位数随维数漂移仍使结论不稳定 异名统计学称「维数灾难的另一面」,工程学称「冗余带来的鲁棒性」;另见本块十二

经二十、一封 1940 年的密封信,2000 年才被打开Classic 20 · Probability

提出Wolfgang Doeblin,1940 年寄存于法国科学院的密封件,2000 年经家属同意启封,同年刊于《法国科学院通报》331 卷。 流变文中已包含随时间变换的布朗运动表示,与伊藤此后独立发展的随机计算有实质重叠;作者 1940 年阵亡,年二十五。 今用本块六「这十年的方法论」在盘点工具来源时,这份手稿是最尖锐的一个提醒。 关键1940 年即已给出扩散过程的时间变换表示,实质接近后来的随机计算。

Doeblin 在 1940 年把研究笔记封入信件寄给法国科学院,随即在战场上死去,年二十五岁。封件按当时规定可长期保存,直到 2000 年才被启封。文中处理的是扩散过程可否表示为时间变换后的布朗运动——这条结果在此后由别人独立重新得到,而学科史上没有它的位置,因为没有人看过。

这条经典留下的是一个可检验的读数:一门学科的历史由被看到的文本构成,而不是由被写下的思想构成。它的边界同样清楚——不能因为封件重要,就推断大量同等重要的工作被埋没;幸存下来并被启封的本身是极小概率事件,样本没有代表性。本块六在盘点方法论来源时,这份手稿的作用不是补一位作者,而是提醒这份来源清单本身有系统性的缺口。

位置S——它把「已发表的文献」当成单独够用的那一样 预设〔8 缺失即不存在〕默认没有进入公开记录的工作对学科没有作用、也不必计入 量纲进入学科史的独立发现数∶实际发生过的独立发现数 失效当保存与启封本身是极小概率事件时,据幸存文本重建的历史系统性偏向被看到的那一部分 异名历史学称「档案幸存偏差」,科研评价称「优先权归属」;另见本块六

◎ 这一层怎么用

先按「今用」栏或碰撞行的「异名」栏找到上文对应的现代条,再把两条的对象、判据与失效条件并排读。两条若只共享名词而不共享失败情形,只登记为异名;量纲若能逐项换算,再判断现代条究竟继承、修正还是反转了这条老命题。本层二十条指向上文十六个不同位置,合起来构成一条可倒查的时间轴,而不是某一条的背景介绍。

三条使用纪律。其一,年份边界与两幕严格不重叠,提出年份落在 1950 至 2006 年之间,更早的奠基工作(Kolmogorov 1933 年的公理、Wiener 的构造)只在正文里被点名。其二,经典身份不提供豁免——蒙特卡洛不说明要跑多久,次可加定理不给出常数的数值,同质化只给定性收敛,KPZ 的原始论证在数学上并不成立,这些边界正是这一层最值钱的信息。其三,两层不比高下:只读现代层判断不出新在哪里,只读经典层看不出哪一条已经被换掉。

◎ 经典层资料核验

  1. 伊藤清. On stochastic differential equations. Memoirs of the American Mathematical Society 4 (1951)。
  2. 伊藤清 and McKean, H. Diffusion Processes and Their Sample Paths. Springer, 1965(专著)。
  3. Stratonovich, R. A new representation for stochastic integrals and equations. SIAM Journal on Control 4 (1966): 362–371。
  4. Donsker, M. An invariance principle for certain probability limit theorems. Memoirs of the American Mathematical Society 6 (1951)。
  5. Skorokhod, A. Limit theorems for stochastic processes. Theory of Probability and Its Applications 1 (1956): 261–290。
  6. Billingsley, P. Convergence of Probability Measures. Wiley, 1968(专著)。
  7. 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。
  8. Hastings, W. Monte Carlo sampling methods using Markov chains and their applications. Biometrika 57 (1970): 97–109。
  9. Propp, J. and Wilson, D. Exact sampling with coupled Markov chains. Random Structures and Algorithms 9 (1996): 223–252。
  10. Doob, J. Stochastic Processes. Wiley, 1953(专著)。
  11. Kolmogorov, A. Grundbegriffe der Wahrscheinlichkeitsrechnung. Springer, 1933(专著)。
  12. Dellacherie, C. and Meyer, P.-A. Probabilités et potentiel. Hermann, 1975–1987(专著)。
  13. Wigner, E. Characteristic vectors of bordered matrices with infinite dimensions. Annals of Mathematics 62 (1955): 548–564。
  14. Wigner, E. On the distribution of the roots of certain symmetric matrices. Annals of Mathematics 67 (1958): 325–327。
  15. Dyson, F. The threefold way. Journal of Mathematical Physics 3 (1962): 1199–1215。
  16. Tracy, C. and Widom, H. Level-spacing distributions and the Airy kernel. Communications in Mathematical Physics 159 (1994): 151–174。
  17. Broadbent, S. and Hammersley, J. Percolation processes I. Crystals and mazes. Proceedings of the Cambridge Philosophical Society 53 (1957): 629–641。
  18. Kesten, H. The critical probability of bond percolation on the square lattice equals 1/2. Communications in Mathematical Physics 74 (1980): 41–59。
  19. Grimmett, G. Percolation. Springer, 1989; 2nd ed. 1999(专著)。
  20. Hunt, G. Markoff processes and potentials I, II, III. Illinois Journal of Mathematics 1 (1957): 44–93, 316–369; 2 (1958): 151–213。
  21. Fukushima, M., Oshima, Y. and Takeda, M. Dirichlet Forms and Symmetric Markov Processes. de Gruyter, 1994(专著)。
  22. 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。
  23. Bollobás, B. The evolution of random graphs. Transactions of the AMS 286 (1984): 257–274。
  24. Janson, S., Łuczak, T. and Ruciński, A. Random Graphs. Wiley, 2000(专著)。
  25. Varadhan, S. R. S. Asymptotic probabilities and differential equations. Communications on Pure and Applied Mathematics 19 (1966): 261–286。
  26. Dembo, A. and Zeitouni, O. Large Deviations Techniques and Applications. Springer, 1998(专著)。
  27. McKean, H. A class of Markov processes associated with nonlinear parabolic equations. Proceedings of the National Academy of Sciences 56 (1966): 1907–1911。
  28. Sznitman, A.-S. Topics in propagation of chaos. Lecture Notes in Mathematics 1464. Springer, 1991: 165–251(专著)。
  29. Kingman, J. The ergodic theory of subadditive stochastic processes. Journal of the Royal Statistical Society B 30 (1968): 499–510。
  30. 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。
  31. 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。
  32. Georgii, H.-O. Gibbs Measures and Phase Transitions. de Gruyter, 1988(专著)。
  33. 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。
  34. Chen, L. Poisson approximation for dependent trials. Annals of Probability 3 (1975): 534–545。
  35. Nourdin, I. and Peccati, G. Stein's method on Wiener chaos. Probability Theory and Related Fields 145 (2009): 75–118。
  36. Malliavin, P. Stochastic calculus of variation and hypoelliptic operators. Proceedings of the International Symposium on SDE (Kyoto 1976). Wiley, 1978: 195–263。
  37. Nualart, D. The Malliavin Calculus and Related Topics. Springer, 1995; 2nd ed. 2006(专著)。
  38. 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。
  39. Kozlov, S. Averaging of random operators. Mathematics of the USSR Sbornik 37 (1980): 167–180。
  40. Lawler, G. A self-avoiding random walk. Duke Mathematical Journal 47 (1980): 655–693。
  41. Kardar, M., Parisi, G. and Zhang, Y.-C. Dynamic scaling of growing interfaces. Physical Review Letters 56 (1986): 889–892。
  42. 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。
  43. Brenier, Y. Polar factorization and monotone rearrangement of vector-valued functions. Communications on Pure and Applied Mathematics 44 (1991): 375–417。
  44. Jordan, R., Kinderlehrer, D. and Otto, F. The variational formulation of the Fokker-Planck equation. SIAM Journal on Mathematical Analysis 29 (1998): 1–17。
  45. Villani, C. Topics in Optimal Transportation. American Mathematical Society, 2003(专著)。
  46. Talagrand, M. Concentration of measure and isoperimetric inequalities in product spaces. Publications Mathématiques de l'IHÉS 81 (1995): 73–205。
  47. Ledoux, M. The Concentration of Measure Phenomenon. American Mathematical Society, 2001(专著)。
  48. Doeblin, W. Sur l'équation de Kolmogoroff. Comptes Rendus de l'Académie des Sciences Paris, Série I, 331 (2000)(1940 年密封件,2000 年启封)。
  49. 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 年之后的文献只用于说明流变,不改变经典条的入选年份。

新思想前沿 · 第 5 号《概率论》· 20 条现代思想 + 20 条 1950–2006 经典思想 · 双层资料核验 · 王德生 亲撰 · ← 回到 626 个领域总览