结果族 261：Localization and delocalization in the Anderson model · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
电子在晶格里传播，像声音在大厅里回荡。大厅里乱扔许多吸音枕头（杂质多、无序强），声音很快就闷掉，这叫”局域化”；把枕头几乎搬空（无序很弱），三维大厅里总该有些音调还能传遍全场，这叫”延展”。物理学家六十多年前就画好了这张相图，数学证明却迟迟不来。本文补上关键一格：维数不低于三、无序足够弱时，谱里确实存在一段波能传遍全空间的能量窗口，而且窗口位置固定、不随无序减弱而消失。
关键词卡片
看个具体例子
数字版：@@M@@d=3@@ 时窗口为 @@M@@(-6+e_2/2,\,-6+e_2)@@，其中 @@M@@e_2\lt 1/100@@——一段贴着谱底的窄带。
为什么值得关心
三维弱无序延展态（Simon 问题 1 的纯绝对连续能段）是数学物理最著名的公开难题之一，本文首次在欧氏格点上给出正面回答。
暂无形式化证明（AI 结果待核验）
结果族 261：Absolutely Continuous Spectrum for Weak-Disorder Anderson Models in Dimensions at Least Three
第一级台阶
导读里”大厅与枕头”的比喻，翻译过来是：对象是晶格上的一个量子行走者——它站在一张每个格点高度随机起伏的”地面”上，只能在相邻格点间跳动；关心的问题是，把这张随机地面完整对角化之后，哪些能量上的波能传遍整座晶格、哪些被钉死在局部。枕头多（无序强）时声音闷掉，对应波被钉死；枕头几乎搬空（无序弱）时，三维大厅里应剩下一些还能传遍全场的音调。
第二级台阶
用精确语言说，Anderson 算子是 @@M@@\ell^2(\mathbb Z^d)@@ 上的自伴算子 @@M@@H_{\lambda,\omega}=-\Delta_{\rm disc}+\lambda V@@：最近邻跳跃加上独立、均匀分布于 @@M@@[-1,1]@@ 的随机格点势，@@M@@\lambda@@ 是无序强度。谱类型二分：纯点谱指谱由特征值组成、波函数指数衰减（局域态）；绝对连续谱指谱测度关于 Lebesgue 测度绝对连续（延展态）。遍历性保证谱与谱类型几乎必然不依赖样本。
第三级台阶
定理在这样的语境下陈述：对每个固定维数 @@M@@d\ge3@@，存在阈值 @@M@@\lambda_d>0@@，使得固定 @@M@@0<\lambda<\lambda_d@@ 时，几乎必然地，谱限制到一个只依赖 @@M@@d@@、不依赖 @@M@@\lambda@@ 的开区间 @@M@@I_d@@（如 @@M@@d=3@@ 时 @@M@@I_d=(-6+e_2/2,-6+e_2)@@，@@M@@e_2<1/100@@）上是纯绝对连续的且谱投影非零。假设各有分工：均匀单点分布提供把势拆成独立二进符号的展开与谱平均所需的乘积结构；@@M@@\lambda@@ 充分小保证对自由算子的扰动控制；@@M@@d\ge3@@ 则通过傅里叶插值增益进入三条关键估计。结合 Elgart–Klein 的固定无序谱边局域化，同一算子在谱下端纯点、在 @@M@@I_d@@ 上绝对连续——局域与延展并存。
对格点 Anderson 模型，本文证明：在每个固定维数 @@M@@d\ge3@@、无序强度 @@M@@\lambda@@ 充分小且固定时，几乎必然存在一个不依赖 @@M@@\lambda@@ 的开能量区间，谱在其上纯绝对连续且质量非零——正面解决了 Simon 问题 1 的纯绝对连续能段部分。
1958 年 Anderson 提出随机格点模型，解释杂质如何抑制量子输运：无序足够强时波函数局域化，材料表现为绝缘体。物理相图预期三维及以上在弱无序时仍有延展态（金属相），但如何在 @@M@@\mathbb{Z}^d@@ 上严格证明”延展”是最著名的公开难题之一——谱论语言中，延展对应绝对连续谱（absolutely continuous spectrum），局域对应纯点谱（pure-point spectrum）。此前的严格结果都在别处：强无序与谱边端的局域化由 Fröhlich–Spencer 的多尺度分析（multiscale analysis）与 Aizenman–Molchanov 的分数矩方法（fractional moment method）建立；绝对连续谱只在 Bethe 树等分叉几何上可得（Klein、Aizenman–Warzel、Aggarwal–Lopatto），Euclidean 格点上一直没有。Simon 在 2000 年的问题 1 中明确要求：对 @@M@@d\ge3@@、独立均匀格点势、适当的无序宽度，证明存在纯绝对连续的能量区间。本文补上了这块拼图。
模型是 @@M@@\ell^2(\mathbb{Z}^d)@@ 上的最近邻跳跃加随机对角势：
@@M@@D(H_{\lambda,\omega}\psi)(x)=-\sum_{j=1}^d\bigl(\psi(x+\mathbf e_j)+\psi(x-\mathbf e_j)\bigr)+\lambda V_x(\omega)\psi(x),@@
其中 @@M@@V_x@@ 独立、均匀分布于 @@M@@[-1,1]@@。
主定理：存在固定小常数 @@M@@e_2\in(0,1/100)@@，使得对每个固定维数 @@M@@d\ge3@@ 都存在阈值 @@M@@\lambda_d>0@@：只要固定 @@M@@0<\lambda<\lambda_d@@，几乎必然地，区间
@@M@@DI_d=\begin{cases}(-6+e_2/2,\,-6+e_2),&d=3,\\ (-2d+1/200,\,-2d+1/100),&d\ge4\end{cases}@@
含于谱中，且 @@M@@H_{\lambda,\omega}@@ 在 @@M@@I_d@@ 上的谱限制是纯绝对连续的、谱投影非零。关键在于 @@M@@I_d@@ 只依赖 @@M@@d@@、不依赖 @@M@@\lambda@@。@@M@@d\ge4@@ 时阈值可写成 @@M@@\lambda_d=\sqrt3\,2^{-n_*(d)}@@，但 @@M@@n_*(d)@@ 由有限矩阵的条件族隐式给出、无有效数值界；@@M@@d=3@@ 时仅证明阈值存在。
谱共存推论：结合 Elgart–Klein 的固定无序谱边局域化定理，在同一耦合下，谱下端某小区间上几乎必然是纯点谱且特征函数指数衰减，而 @@M@@I_d@@ 上是纯绝对连续谱——同一算子内局域与延展并存，正是迁移率边（mobility edge）的严格实例。
整个证明围绕一个”有限体积预解式（resolvent）证书”展开：在边长 @@M@@L=4^{20m}@@ 的大环面上，以趋于 1 的概率构造出一个至少占一半格点的集合 @@M@@A@@ 与带小虚部的阻尼系数 @@M@@r_i@@，使阻尼预解式 @@M@@\widehat G=(H_m-E-\eta\,\diag_A r)^{-1}@@ 存在且对角虚部 @@M@@\Im\widehat G_{ii}\ge c>0@@，而 @@M@@H_m@@ 的势全部是真实随机势。
构造从自由算子出发。先每个均匀势按二进制展开成一串独立随机符号，再一比特一比特地”揭示”真随机性，用真随机性替换人工阻尼：活跃格点保留阻尼，看全了真实势的终端格点经 Schur 补（Schur complement）永久消元。为控制演化中的矩阵，全程维护三个量：预解式元素的复平方（用于线性化对角自洽方程的更新）、行四阶矩（防止一行的质量集中于少数格点，限制单次更新的影响）、以及把 Ward 恒等式（Ward identity）作用于模方得到的精确拉普拉斯方程——其逆形式提供累加局部修改所需的空间能量范数。初始界由自由预解式的傅里叶估计给出。普通更新只在有限”瓷砖”上做测试，失败即回滚数值并保守地把整块格点标记为 pending；随后用酉散射矩阵交叉块的投影范数清理小块 pending 集。一条确定性归纳合并所有已承诺的局部修改、保持至少半数格点活跃并闭合自洽重置；一条概率归纳追踪保留的信息，按确定性排序的标签逐次条件化压住失败概率。最后一次扫描把剩余真实比特完整装入，活跃格点只剩极小的最终阻尼。
最后一步把证书转成谱论结论：先用窄谱投影截断与”本点平均”（own-site averaging，Simon–Wolff 型秩一谱平均）控制近特征值的影响并界定期望秩，再取无穷体积边界值；遍历性与单点势的秩一扰动把对角虚部的正性传播到每个格点；对”挖掉一个格点”后的算子条件化，使例外能量集不依赖该格点的剩余变量，在余集上得绝对连续，再用谱平均抹去例外集上的质量——纯性由此而来。维数 @@M@@d\ge3@@ 通过三处估计进入：故意减弱的傅里叶界保留三维插值增益、pending 分量的尺度指数取为与 @@M@@1/d@@ 成比例、历史递归按维度分离尺度。
本文与姊妹篇（二维任意正无序的纯点谱）同日发布，互补地印证 Anderson 相图的维度对比：二维全无序局域，三维以上弱无序存在延展能段。两篇主结果目前均无 Lean 形式化证明，且证明依赖大量精细构造（如 @@M@@n_*(d)@@ 无有效数值界），按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。结论限于独立均匀单点分布，不涉及 Simon 问题 3 的扩散问题。
结果族 261：Absolutely Continuous Spectrum for Weak-Disorder Anderson Models in Dimensions at Least Three
问 1：证明的核心机制是什么？最脆弱的一环在哪里？
答：核心是”有限体积预解式证书”：在大环面上构造占至少一半格点的集合，只在其上加小虚部阻尼，使阻尼预解式的对角虚部有一致下界，而所有格点的最终势都是真实随机势——实现靠把均匀势展开成独立二进符号、逐比特用真随机性替换人工阻尼。最脆弱处是自适应揭示与回滚的记账：普通更新只在有限瓷砖上测试，失败即回滚并保守标记 pending，再用酉散射矩阵交叉块范数清理；双轨归纳中一处标签排序出错，串联估计就崩溃。
问 2：为什么”独立均匀分布”不能随便换成别的分布？
答：均匀律用在两处引擎：一是把 @@M@@[-1,1]@@ 均匀变量拆成独立二进符号作揭示载体；二是谱转化阶段的”本点平均”依赖乘积结构与有界支撑浓度函数。换一般分布则两处都要重做，论文未展开其他单点律。
问 3：为什么必须 @@M@@d\ge3@@？二维差在哪？
答：引言明确维数经三处估计进入：故意减弱的傅里叶界保留三维插值增益、pending 分量尺度指数取与 @@M@@1/d@@ 成比例以压住空间堆积损失、历史递归按维度分离尺度。@@M@@d=2@@ 时增益不足，而姊妹篇证明二维任意正无序均纯点——@@M@@d\ge3@@ 是相图的真实分界，非技术偷懒。
问 4：与已有工作相比，真正新意在哪里？
答：此前绝对连续谱只在 Bethe 树等分叉几何上可得（Klein、Aizenman–Warzel、Aggarwal–Lopatto），分叉提供指数多逃逸路径；欧氏格点一直无果。Jakšić–Last–Warzel 给的是条件判据，所需下界未被建立；Erdős–Salmhofer–Yau 的弱耦合扩散发生在无序趋于零的时间尺度，而本文在固定小耦合下取无穷体积边界值并同时排除奇异谱质量——质的差别。
问 5：AI 生成证明最可能在哪里出错？
答：最可疑的是有效性类错误：@@M@@d\ge4@@ 的阈值 @@M@@\lambda_d=\sqrt3\,2^{-n_*(d)}@@ 中 @@M@@n_*(d)@@ 由有限矩阵上的无穷概率条件族隐式给出，论文自认”存在但无有效数值界”；@@M@@d=3@@ 阈值仅存在性。这类”证明存在但算不出”的构造配上巨大的回滚—重试机制，正是 AI 证明”看似闭合实则漏掉一条分支”的高发区。
问 6：这个结果到底解决了 Simon 问题 1 的多少？
答：只解决”纯绝对连续能段”部分：论文明确不定位完整迁移率边，也不碰作为问题 3 单列的扩散问题。窗口极窄（宽度不足 @@M@@1/200@@，贴着自由谱底）。读成”三维延展态完全解决”是过度解读。
问 7：谁会用到它？
答：随机场 Schrödinger 社区是直接用户：与 Elgart–Klein 谱边局域化结合的共存推论给出欧氏格点上严格的迁移率边实例；证书—比特揭示方法对随机带状矩阵等问题也可能有方法论价值。
总评
这是欧氏格点弱无序延展态的首个正面严格结果，”阻尼替换—真随机揭示”机制全新；最大风险在证明庞杂、关键阈值无有效界且未形式化，任何一处归纳分支遗漏都足以推翻全局。