结果族 261：Localization and delocalization in the Anderson model · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
把水泼在撒了细沙的桌面上：沙粒再细，水总会陷进某个小坑里摊不平。二维材料里的电子波就像这滩水——方格每个格点的高度随机抖动一点点，无论抖动多么微弱，波最终都会各自陷进坑里。本文严格证明：二维方格、任意小但为正的无序，几乎必然整条谱都是”纯点谱”——所有量子态都是钉在局部的驻波，二维没有金属相。
关键词卡片
看个具体例子
数字版：取 @@M@@h=0.01@@，谱区间 @@M@@=[-4-h,\,4+h]=[-4.01,\,4.01]@@，特征值在其中稠密分布。
为什么值得关心
1979 年标度理论预言”二维任意无序都局域、没有金属相”；本文对均匀分布势给出完整证明（Simon 问题 2 的纯点部分），并与姊妹篇”三维弱无序有延展”合成完整的维度对比。
暂无形式化证明（AI 结果待核验）
结果族 261：Pure-Point Spectrum for the Two-Dimensional Anderson Model at Every Positive Disorder
第一级台阶
导读里”泼水进沙坑”的比喻，翻译过来是：对象是二维方格上的量子波——它在一个每个格点高度都随机微动的”地面”上行走，只能在相邻格点间跳动；要判断的事情是，无论起伏多么微弱，这滩”波”是否总会各自陷进某个小坑，成为钉死在局部的驻波，而永远摊不平、传不远。
第二级台阶
用精确语言说，算子是 @@M@@\ell^2(\mathbb Z^2)@@ 上的 @@M@@(H_vu)(x)=\sum_{|y-x|_1=1}u(y)+v_xu(x)@@：最近邻跳跃加上独立、均匀分布于 @@M@@[-h,h]@@ 的随机势，@@M@@h>0@@ 是无序强度。纯点谱型指特征向量的闭张成等于全空间——注意这不等于”谱中每点都是特征值”；它等价于存在完备正交特征基。独立性保证谱与谱型是几乎必然的事件，谱区间为 @@M@@[-4-h,4+h]@@。
第三级台阶
定理陈述：对每个固定 @@M@@h>0@@，几乎必然 @@M@@H_v@@ 具有纯点谱型、有完备正交特征基、特征值在 @@M@@[-4-h,4+h]@@ 中稠密。假设各有分工：均匀单点分布既支撑”稀有共振胞经接受似然嵌回原乘积测度”的构造，也支撑柯西型闭合的截断替代；固定 @@M@@h@@ 则允许概率一事件依赖 @@M@@h@@。二维性在”迫使散射能量密度 @@M@@d=0@@“一步起决定作用——对数电压剖面在二维以任意小容量代价隔开端口，这是三维不具备的几何。论文明确不主张：对所有 @@M@@h@@ 统一的事件、关于能量一致的界、特征函数衰减速率或动力学局域化。
本文证明：二维方格上带独立均匀格点势的最近邻 Anderson 算子，对每个固定正无序强度，几乎必然整条谱都是纯点谱型并具有完备正交特征基——解决了 Simon 问题 2 中二维 Anderson 局域化猜想的纯点谱部分（均匀单点分布情形）。
1979 年的标度理论（Abrahams、Anderson、Licciardello 与 Ramakrishnan）预言二维系统没有真正的金属行为：无论无序多弱都会局域化。但物理预言不等于数学定理，几乎必然的谱型断言需要严格证明。既有的严格局域化结果都带着”强无序或谱边端”的枷锁：Fröhlich–Spencer 的多尺度分析、FMSS 的纯点谱定理、Aizenman–Molchanov 的分数矩方法覆盖大无序与极端能量；Ding–Smart 与 Hurtado 的近期结果也限于谱端区间。Simon 在 2000 年的问题 2 中把”均匀分布势、任意非零宽度、全谱纯点”列为公开问题。本文对均匀单点分布解决之。
模型为 @@M@@\ell^2(\mathbb{Z}^2)@@ 上 @@M@@(H_v u)(x)=\sum_{|y-x|_1=1}u(y)+v_xu(x)@@，其中 @@M@@v_x@@ 独立、均匀分布于 @@M@@[-h,h]@@，@@M@@h>0@@ 固定。
主定理：对每个固定 @@M@@h>0@@，几乎必然 @@M@@H_v@@ 具有纯点谱型（pure-point spectral type，指特征向量的闭张成是全空间——这不同于”谱中每点都是特征值”），有完备正交特征基，谱为 @@M@@\sigma(H_v)=[-4-h,4+h]@@，特征值在该区间稠密。概率一事件可以依赖 @@M@@h@@。论文明确不主张：对所有无序强度统一的事件、关于能量一致的界、或动力学局域化。
证明固定 @@M@@h>0@@ 与一个内部能量 @@M@@E\in(-4-h,4+h)@@，逐层搭建。先在有限环面上引入带吸收对角项的散射装置，其输入输出通道称为端口（port）；散射振幅的模方 @@M@@|S_{ja}|^2@@ 在端口数据上定义一个狄利克雷型能量 @@M@@\mathcal Q_S(f)=\frac12\sum_{a,j}|S_{ja}|^2|f_j-f_a|^2@@。理想情形下，用柯西分布的实数值”闭合”一个端口可获得有利的平均能量比较；物理分布有界，只能用截断版本并证明相对误差可控。接着构造稀有的共振胞（resonant cell）：通过接受似然把条件律嵌回原乘积测度——真实势在条件化前仍是独立均匀变量——由此得到对任意被动外部数据一致的边界阻抗（impedance）估计，以及让闭合误差相对传输量很小的传输下界。再沿越来越稀疏的端口层级做比较，配以局部筛选（screening），定义散射能量的仿射部分密度 @@M@@d_n@@，先令环面边长趋于无穷、再令层级趋于无穷，得到极限 @@M@@d\ge0@@。
二维性在强迫 @@M@@d=0@@ 时起决定作用。反设 @@M@@d>0@@：先用对数电压剖面（logarithmic voltage profile）以任意小的二维容量（capacity）代价把内部端口与一圈极弱探测分开，使散射矩阵的一个解析检验函数在圆盘中心取非零值；再对真实势做保支撑平移并配合稀疏化比较，使该函数的边界矩任意小，这与次均值（submean，即次调和性）矛盾，故 @@M@@d=0@@。然后把仿射能量的消失升级为固定能量下格林函数的分数矩估计：存在 @@M@@q<1@@ 使 @@M@@\mathbb E|G_N(E)_{yx}|^q\le C e^{-c|y-x|_\infty}@@。最后用谱定理、Fubini 与 Simon–Wolff 的秩一谱平均（rank-one spectral averaging）去掉固定能量的限制：对几乎所有 @@M@@E@@，方程 @@M@@(H_v-E)u=\delta_x@@ 有 @@M@@\ell^2@@ 解，逆平方谱积分有限，从而谱测度集中在特征值上。Fubini 作用的性质属于真实算子，不需要对能量可测的公共辅助构造。
本篇与同族姊妹篇（@@M@@d\ge3@@ 弱无序的纯绝对连续谱）互补，合成 Anderson 相图预言的完整维度对比：二维任意正无序局域，三维以上弱无序存在延展能段。两篇均无 Lean 形式化证明，按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。结论限于均匀单点分布，且”纯点谱型”不蕴含特征函数指数衰减或动力学局域化。
结果族 261：Pure-Point Spectrum for the Two-Dimensional Anderson Model at Every Positive Disorder
问 1：证明里最脆弱的一步是哪里？
答：是”迫使 @@M@@d=0@@“的次调和论证：沿稀疏端口层级定义散射能量的仿射密度 @@M@@d_n@@，先令环面边长趋于无穷、再令层级趋于无穷得 @@M@@d\ge0@@；反设 @@M@@d>0@@，用对数电压剖面以任意小的二维容量代价隔开内部端口与弱探测环，使散射矩阵的一个解析检验函数在圆盘中心非零，而保支撑平移加稀疏化比较又使其边界矩任意小，与次均值性矛盾。一处容量估计失守，@@M@@d=0@@ 就推不出来。
问 2：为什么”均匀分布”这个假设去不掉？
答：分布用在三处：柯西分布实数值”闭合”端口是理想情形，物理分布有界只能用截断版本并证相对误差可控；稀有共振胞经接受似然嵌回原乘积测度，前提是条件化前真实势仍是独立均匀变量；秩一谱平均也依赖乘积结构。换分布则三处都要重做，论文未展开。
问 3：二维性到底在哪里不可替换？
答：容量论证是二维专属：对数电压剖面在二维能以任意小容量代价隔开内部与外围，三维中外围球容量行为不同，论证不移植。姊妹篇证明三维以上弱无序有延展段——二维正是分界维数，方法上的分界就在这里。
问 4：与已有局域化结果相比，真正新意是什么？
答：既有结果都带枷锁：多尺度分析与分数矩方法覆盖大无序或极端能量；Ding–Smart 与 Hurtado 只在谱端区间。本文首次对均匀律做到”任意正无序 × 全谱”。Simon–Wolff 秩一机制只是最后一步的现成骨架，新工作在于在真实均匀乘积律、任意无序下拿到它所需的固定能量平方可和预解式列输入。
问 5：这篇论文到底没证明什么？
答：定理明说：不断言对所有无序强度统一的事件、不断言能量一致的界、不断言动力学局域化，也不给特征函数衰减速率——”纯点谱型”甚至不蕴含每点谱都是特征值。读成”二维 Anderson 动力学局域化已解决”是错的；Simon 的扩散问题仍未决。
问 6：AI 生成证明最可能在哪里出错？
答：最可疑的是”罕见构造 + 多级极限”的组合：共振胞的接受似然嵌入要求条件化前后测度关系精确，传输权重下的条件估计、不相交区域重采样要闭合成对一切允许掩模一致的收缩——AI 容易在”上包络对自适应构型一致”这类陈述上乐观。
问 7：谁会用到它？
答：与姊妹篇合成标度理论预言的维度对比（二维无金属相、三维弱无序有延展段），首次在均匀律下两侧同时严格化；端口散射—狄利克雷型能量框架对其他二维随机算子或可移植。
总评
这是二维 Anderson 局域化猜想（均匀律、纯点部分）的完整解决，方法全新且与三维姊妹篇互补；最大风险在证明层级极深、罕见构造与容量论证均无形式化核验，”谱型弱于动力学局域化”的缺口也提示它不是终点。