结果族 015：Torus-packet equidistribution in prime, quartic, and sextic degrees · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
把数域里的理想格丢进”所有单位体积格组成的大厅”，单位群像看不见的手推它沿对角方向滚动，滚出若干封闭轨道，捆成一束”packet”。这篇论文证明：当域的判别式（复杂度指标）趋于无穷，这束轨道像滴进水里的墨水，最终均匀染遍整个大厅，一滴也不流失。
关键词卡片
@@M@@n\ge 5@@看个具体例子
设 @@M@@n=5@@。任取局部类型随意的全格 @@M@@M@@，其判别式 @@M@@D(M)=|\mathrm{Disc}(K)|\,[\mathcal O_K:\mathcal O(M)]^2@@。定理的数字版：@@M@@D(M_i)\to\infty@@ 蕴含束测度 @@M@@\mu_{K_i,M_i,\sigma_i}@@ 弱收敛到 Haar 概率测度 @@M@@m_5@@，且无质量逃逸；连”固定域、只让序指数增大”的极端情形也被覆盖。注意”任意局部类型”意味着每个素数处的格形状可以千差万别、非极大序指数可以无界增长，定理对每种类型单独成立。
为什么值得关心
这是 ELMV 2011 年提出的高维 Duke 均分布问题（束形式）在素数次的正面解，而且全程不依赖悬置的子凸性猜想。
暂无形式化证明（AI 结果待核验）
承接《Equidistribution of Prime-Degree Torus Packets with Arbitrary Local Type》入门导读，通往”一句话结论 / 问题背景”
第一级台阶
导读的图景是”墨水滴进大厅”：对象是把一个数域中的理想嵌成”单位体积的格”，全体这样的格构成一个大空间；数域的单位群按各坐标位不同比例地伸缩格，滚出若干条封闭轨迹，同类的轨迹捆成一束。定理断言：当域（连带其上格的序）的复杂度指标趋于无穷，按轨迹体积加权的一束轨迹在这个空间中分布得越来越均匀，且概率不向”格退化”的边缘地带流失。
第二级台阶
术语化：固定素数次数 n ≥ 5 的全实域 K 经其 n 个实嵌入放进 R^n；全格 M 是张成 K 的秩 n 自由整数子模，其乘子序由”乘 M 保持 M”的元素组成，序的非极大程度进入判别式 D(M)。舞台取幺模格空间 X_n = SL_n(Z)\SL_n(R)，对角群 A_n 右作用；束是有限条紧 A_n-轨道按轨道体积加权的概率平均，Haar 测度则是”绝对均匀”的参照。
第三级台阶
定理的语境与假设分工：次数取素数（奇次排除 Stark 例外零点机制所需的二次子域，使零点估计无条件成立），n ≥ 5 保证对角群维数 n−1 严格小于球指数 n，多出一维压迫出正熵进入测度分类；局部类型任意，意味着允许非极大序指数无界增长。结论用这些话说：凡 D(M_i)→∞，束测度弱收敛到 Haar 概率测度，无质量逃入尖端；定理对每个局部同位类型单独成立，连固定域、仅序指数增长的情形也覆盖，但不涉及单条轨道的均分布与收敛速率。
对固定素数次数 @@M@@n\ge5@@ 的全实域，本文无条件证明：任意局部同位类型的环面束（torus packet）按轨道体积加权后，随乘子序判别式趋于无穷而弱收敛到 Haar 概率测度，且无质量逃逸。这正面解决了 ELMV 遗留的高维 Duke 均分布问题的束形式，全程不用子凸性界。
幺模格空间 @@M@@X_n=\SL_n(\mathbb{Z})\backslash\SL_n(\mathbb{R})@@ 带对角群 @@M@@A_n@@ 的右作用，是齐性动力学的经典舞台。全实数域 @@M@@K@@ 经其 @@M@@n@@ 个实嵌入映入 @@M@@\mathbb{R}^n@@ 后，其分数理想与单位群给出 @@M@@X_n@@ 中紧的 @@M@@A_n@@-轨道，编码了理想类与单位的信息。Linnik 的遍历方法与 Duke 1988 年关于模曲面上实二次域闭测地线均分布的定理开创了这一方向；Einsiedler–Lindenstrauss–Michel–Venkatesh（ELMV）2011 年证明了三次域的环面束均分布，但其向更高素数次数的推广（其文 1.6.3 节）依赖尚未解决的子凸性（subconvexity）猜想。此后 Khayutin 需要极大序与二重传递假设，Lemke Oliver–Thorner–Zaman 则须排除一小族例外域。卡点有二：高次数下子凸性缺失；非极大序带来任意的局部模类型。
固定素数 @@M@@n\ge5@@。设 @@M@@K@@ 为 @@M@@n@@ 次全实域，@@M@@M\subset K@@ 为张成 @@M@@K@@ 的秩 @@M@@n@@ 自由 @@M@@\mathbb{Z}@@-子模（full lattice，全格）。其乘子序（multiplier order）定义为 @@M@@\cO(M)=\{\alpha\in K:\alpha M\subset M\}@@，判别式为 @@M@@D(M)=|\Disc(K)|[\cO_K:\cO(M)]^2@@。两个全格称为局部同位（locally homothetic），若对每个有理素数 @@M@@\ell@@ 有 @@M@@M'_\ell=c_\ell M_\ell@@。在 @@M@@M@@ 的局部同位类中取 @@M@@K^\times@@-同位代表、嵌入后归一化协体积为 1，再连同全部坐标符号平移 @@M@@w@@，得到有限多条紧对角轨道，构成束 @@M@@\cP_{K,M,\sigma}@@。按轨道体积加权平均各轨道的不变概率，即得束概率测度 @@M@@\mu_{K,M,\sigma}@@。
主定理：凡 @@M@@D(M_i)\to\infty@@，必有 @@M@@\mu_{K_i,M_i,\sigma_i}@@ 弱收敛到 @@M@@X_n@@ 的 Haar 概率测度 @@M@@m_n@@，且没有质量逃入尖端（cusp）。定理对每个局部类型单独成立，允许非极大序指数无界增长，也允许在固定域中让序指数增长（此时域判别式保持有界）。取 @@M@@M=\cO_K@@ 即得极大序理想类束的经典特款。
全文遵循 ELMV 的”计数到刚性”（counting-to-rigidity）策略：先展开束测度，再做局部与解析两层估计，继而由计数导出几何界，最后经熵进入测度分类。
第一步把束测度精确写成带权理想和。记 @@M@@R=\cO_K@@、饱和指数 @@M@@q=[RM:M]@@、计数尺度 @@M@@Q=q\sqrt D@@。束概率等于对极大序各理想类一致平均、对每个理想 @@M@@I@@ 上的有限局部标号集 @@M@@\cN(I)@@ 一致平均、再沿单位群基本域积分；类数公式给出总体积 @@M@@h_K\vol(F)=\sqrt D\,\kappa_K@@，其中 @@M@@\kappa_K@@ 是 @@M@@\zeta_K@@ 在 @@M@@s=1@@ 处的留数。于是格向量计数的束平均经 Hecke 式展开（unfolding）化为 @@M@@\int E_f\,d\mu_*=\frac{1}{\sqrt D\,\kappa_K}\sum_{\mathfrak a}P(\mathfrak a)\,\cV_f(\mathbb{N}\mathfrak a/Q)@@，权重 @@M@@P(\mathfrak a)@@ 是”随机局部标号包含给定元素”的局部概率之积。
第二步一致控制局部权重，这是覆盖任意局部类型的核心。先证精确恒等式 @@M@@\sum_{\mathbf k}P(\mathbf k)/d(\mathbf k)=Z_S/q@@：单位随机平移下落入指定模的概率总和恰为 @@M@@1/q@@；再配一个方幂衰减的矩估计与尾估计。其证明只用到全生成条件 @@M@@R_\ell L_\ell=R_\ell@@ 迫使每个分量投影含单位，从而赋值呈指数尾——既不需要各分量独立，也不需要模可逆。
第三步解析计数：不求子凸性，而是保留留数。Stark 例外零点下降断言过近于 @@M@@1@@ 的实零点迫使 @@M@@K@@ 含二次子域，奇数次数排除之，故一切零点满足 @@M@@|1-\rho|\gg_n1/\log D@@，得 @@M@@h\zeta_K(1+h)\asymp_n\kappa_K@@。结合 Pollack 一致化形式的 Shiu 短区间定理，得 @@M@@\sum_{x-y<\mathbb{N}\mathfrak a\le x}P(\mathfrak a)\ll_n\kappa_K y/q@@；剔除 @@M@@q@@ 的素因子处的 Euler 因子，恰好补出抵消归一化 @@M@@1/q@@ 的因子。
第四步几何转译：取原点立方体的示性函数控制尖端质量于 @@M@@C_n\theta^n@@（Mahler 紧性判据给出紧性，无质量逃逸由此而来）；取坐标全非零向量附近的小方体，配合逐点选取无零坐标的格向量，给出极限测度的普通球界 @@M@@\mu(xB(r))\le C_\Omega r^n@@。
最后熵与分类收尾。@@M@@A_n@@ 维数为 @@M@@n-1@@ 而球指数为 @@M@@n@@，多出的一维压迫出正熵：双侧管道邻域可被 @@M@@O(r^{-(n-1)})@@ 个 @@M@@r@@-球覆盖，故管道质量为 @@M@@O(e^{-\lambda t})@@，由 ELMV 熵判据得 @@M@@h_\xi(a(1))\ge\lambda/3@@。关键强化在于对被极限有限倍控制的每个不变概率都给出正熵，经遍历分解即可排除正权重的零熵分量族；再用 Einsiedler–Katok–Lindenstrauss 的素数维测度分类——正熵的 @@M@@A_n@@-遍历概率必为 Haar。于是所有子序列极限同为 @@M@@m_n@@，紧性保证整列收敛且无质量逃逸。
本文主结果暂无形式化证明，请以社区核验为准；OpenAI 官方声明，未经形式化的结果可能有问题。技术亮点在于各估计对固定 @@M@@n@@ 与任意序指数一致，并用 Stark 零点下降替代子凸性。同族两篇姊妹篇分别处理本原四次域的任意序环面束与本原六次域的极大序理想类束；偶数次数须另避二次子域，方法上与本文互补。
针对《Equidistribution of Prime-Degree Torus Packets with Arbitrary Local Type》，基于论文原文 (Theorem 1.1 与各节纲要)
问 1：ELMV 推广到高次素数次要依赖子凸性，本文凭什么绕开？
| 答：思路是”不求渐近、保留留数”：不证子凸性，而是把 Dedekind zeta 在 s=1 的留数 κ_K 留在计数界里；Stark 例外零点下降断言过近 1 的实零点迫使 K 含二次子域，奇数次数恰好排除这一情形，于是所有零点满足 | 1−ρ | ≫_n 1/log D；再配 Pollack 一致化形式的 Shiu 短区间定理，得到所需上界（引言 “The arithmetic ingredient” 一节）。 |
问 2：”任意局部类型”这句承诺的技术核心是什么？
答：局部权重的一致估计。对每个素数，权重记录”随机单位平移下向量落入指定模”的概率；关键是一个精确总质量恒等式（总和恰为 1/q）加方幂衰减矩估计，其证明只用”极大序张成全环迫使每个分量投影含单位”，既不要求各分量独立、也不要求模可逆——这正是一致于任意非极大序的关键。
问 3：证明中最脆弱的一步？
答：熵环节的强化。仅对极限测度证正熵不够——必须对”被极限的有限倍控制的每个不变概率”都给出正熵，再经遍历分解排除带正权重的零熵分量族；否则一束轨道可以分化成”一半熵正、一半零熵”而不被察觉。这一步依赖球指数 n 严格大于维数 n−1 的差，n=3 时余量勉强，也解释了为何 ELMV 三次情形要另付子凸性的代价。
问 4：素数、且 ≥5 的限制为什么去不掉？
答：奇性用于 Stark 论证（排除二次子域）；维数余量用于熵；合数次（尤其偶次）二次子域可能出现，论文明说不处理合数次——同族四次、六次两篇须另配（如三次预解式估计）绕开，方法互补而非本文直接覆盖。
问 5：与 Khayutin、LOTZ 相比真正的新意？
答：Khayutin 要极大序加二重传递假设；LOTZ 须排除一小族例外域。本文对每个域、每个全格局部类型无条件成立，且覆盖”固定域、序指数增大”的极端序列——这是范围上的实质推进，而非方法改良。
问 6：AI 生成证明最可能出错的模式？
答：局部因子的记账。Euler 因子剔除须”恰好补出抵消归一化 1/q 的因子”，精确恒等式 Σ P(k)/d(k) = Z_S/q 的壳归一化也是逐素数的细致计算；此类乘法卷积与归一化抵消极易在某个壳层或素数集上差一个常数因子，AI 证明的典型病灶。
问 7：谁会用到、能推什么？
答：无条件的束均分布直接服务于算术统计与格点分布问题（如理想类的几何分布）；”留数替代子凸性”的计数方案可移植到其他缺子凸性的场合，同族四次/六次篇即其变体。
总评
这是对 ELMV 高维 Duke 问题束形式的无条件正面解，范围（任意域、任意局部类型）实打实超越了已有条件性结果；最大风险在局部权重恒等式与熵强化环节的一致性细节，未经形式化前宜逐节核对。