结果族 022：The weak inhomogeneous Duffin–Schaeffer conjecture · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
固定一个实数 x，让”分母时钟” q 一格格转动，看 qx 离某个固定目标 γ（的最近整数倍）有多近。Duffin–Schaeffer 型定理说：只要各分母发放的”接近券”总量（按欧拉函数加权）发散，几乎所有 x 都能无穷多次兑现奖券。这篇论文把它推广到带任意偏移 γ、且发放完全无规律的情形——弱非齐次猜想就此证毕。
关键词卡片
看个具体例子
概念画不出来，看”数字版定理”。取只取两个值的容差：q 是 2 的幂时 ψ(q)=1/1000，否则 ψ(q)=0。于是
@@M@@\sum_q\frac{\phi(q)\psi(q)}{q}=\sum_{j\ge1}\frac{\phi(2^j)}{2^j}\cdot\frac1{1000}=\sum_{j\ge1}\frac1{2000}=\infty@@
定理遂断言：对几乎所有 x 与任意固定 γ，不等式 @@M@@\|2^j x-\gamma\|<1/1000@@ 对无穷多个 j 成立——哪怕奖券只在稀疏的 2 的幂处发放、哪怕偏移 γ 再刁钻。
为什么值得关心
这是 2020 年齐次版（Koukoulopoulos–Maynard）解决之后，度规丢番图逼近的又一座里程碑；”弱”（分子不要求互素）恰好是与已知反例不冲突、普遍成立的那一层。论文还借质量转移原理给出 Hausdorff 测度版本：同样条件下，逼近集在每个有界区间里都满测度。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”分母时钟 + 接近券”换成半数学语言：对象是一个待定的实数 x、一个固定的目标偏移 γ，和一列逐格转动的分母 q；操作是查看乘积 qx 离”γ 加某个整数”有多近，每个分母按自己的面额 ψ(q) 发放一张接近券。定理说：只要所有券按既约程度加权后的总量发散，那么除一个零测集外，每个 x 都能无穷多次把券兑现——券的发放节奏可以完全无规律，目标 γ 可以任意刁钻。
第二级台阶
用本科术语：记 ‖y‖ 为 y 到最近整数的距离，ψ 是取有限多个值的非负容差函数，φ 为欧拉函数（不超过 q 且与 q 互素的个数）。判据级数是 Σ φ(q)ψ(q)/q；”几乎处处”指 Lebesgue 零测集之外。弱非齐次猜想断言：级数发散时，对几乎处处的 x，不等式 ‖qx−γ‖<ψ(q) 有无穷多个解 q，其中分子不要求与 q 互素（”弱”之所在），γ 无需任何丢番图条件。
第三级台阶
定理的语境：它是 Khintchine–Szüsz 单调理论的完全去单调化，也是 2020 年 Koukoulopoulos–Maynard 齐次定理的非齐次推广。两处假设各挡一种已知反例：无权判据不够（Ramírez、Chow–Hauke–Pollington–Ramírez 的反例），强版本（要求互素）对一切非零有理位移不成立（2026 年两 independent 反例），故”弱”恰是普遍成立的一层。证明走”构造加二阶矩”的反证法：假设正测度集从某项起避开所有逼近行，则在分母块上构造非负权函数 F——支在被避开的区间内、一阶质量与块的欧拉加权质量可比、二阶范数一致有界；三者的张力经 Cauchy–Schwarz 与正下界相撞，导出矛盾。核心机械是”投影表”：把每行的中心按素因子逐级曝光、在更细网格上投影，一阶质量在平移轨道平均下精确守恒，全程不假设独立性。
证明了弱非齐次 Duffin–Schaeffer 猜想：对任意固定实位移 @@M@@\gamma@@ 与取有限值的 @@M@@\psi@@，只要 @@M@@\sum_q\phi(q)\psi(q)/q@@ 发散，则对几乎处处的 @@M@@x@@，@@M@@\|qx-\gamma\|<\psi(q)@@ 对无穷多个 @@M@@q@@ 成立。这是齐次情形（Koukoulopoulos–Maynard，2020）解决之后，非齐次度规丢番图逼近的又一完整突破。
度规丢番图逼近（metric Diophantine approximation）研究”典型”实数 @@M@@x@@ 能被容差 @@M@@\psi(q)@@ 容忍到什么程度。Khintchine 定理（1924）在 @@M@@\psi@@ 单调时给出完整判据；Szüsz（1958）把单调理论推广到固定位移的非齐次不等式 @@M@@\|qx-\gamma\|<\psi(q)@@。去掉单调性后，许多分母的逼近区间会大量重叠，区间长度之和不复等于并集测度：Duffin 与 Schaeffer（1941）据此提出用既约分母加权 @@M@@\sum_q\phi(q)\psi(q)/q@@ 作判据，这一齐次猜想在 2020 年被 Koukoulopoulos 与 Maynard 证明。非齐次的加权版本此后仍悬置，先后被 Yu（2021）、Chow–Technau（2024）、Beresnevich–Hauke–Velani（2024）列为公开猜想，其中”弱”指分子 @@M@@a@@ 不要求与 @@M@@q@@ 互素。难点是双面的：无权重判据不够（Ramírez 2017 与 Chow–Hauke–Pollington–Ramírez 2025 给出反例），而要求互素的”强”版本一般又不成立（Hauke-Treuer–Maynard–Pollington 2026 与 He–Liao 2026 的反例覆盖所有非零有理位移）；已知的有理位移定理（BHV 2024）对无理位移则需附加块条件。
主定理（弱非齐次 Duffin–Schaeffer）：设 @@M@@\gamma\in\mathbb R@@ 固定，@@M@@\psi:\mathbb N\to[0,\infty)@@ 只取有限多个值。若 @@M@@\sum_{q\ge1}\frac{\phi(q)}q\psi(q)=\infty@@（@@M@@\phi@@ 为欧拉函数），则对 Lebesgue 几乎处处的 @@M@@x@@，@@M@@\|qx-\gamma\|<\psi(q)@@（@@M@@\|\cdot\|@@ 表示到最近整数的距离）对无穷多个正整数 @@M@@q@@ 成立。分子不受任何互素限制，位移 @@M@@\gamma@@ 无需单调性或任何丢番图（Diophantine）条件——任意无理位移、任意稀疏非单调的容差函数都被覆盖。推论借助 Beresnevich–Velani 质量转移原理（mass transference principle）给出 Hausdorff 测度版本：若尺寸函数 @@M@@f@@ 单调且 @@M@@\sum_q\phi(q)f(\psi(q)/q)=\infty@@，则极限集 @@M@@W_\gamma(\psi)@@ 在每个有界区间上具有满的 Hausdorff @@M@@f@@-测度。
全文是”构造加二阶矩”的反证法。先做归约：记 @@M@@r(q)=\psi(q)/q@@，一个”行”是点列 @@M@@(z+\gamma)/q@@ 配半宽 @@M@@r(q)@@。若 @@M@@qr(q)@@ 不趋于零，一个直接的平均论证已给出满测度；否则利用级数发散，把任意靠后的行切成两两不交的有限块，使每块的欧拉加权质量 @@M@@W=\sum\phi(v)r(v)@@ 落在固定小区间内。假设正测度集 @@M@@A@@ 从某项起避开一切行，目标就是在每块上构造非负加权和 @@M@@F@@：它支在原逼近区间内、一阶质量与 @@M@@W@@ 可比、@@M@@\|F\|_2@@ 一致有界——三者的张力即是矛盾之源。
核心构造是投影表（projected table）。每行被指派一个分母的整数倍作中心（centre），中心的素因子按尺度从小到大逐级曝光；在部分素数未读出时，行先用更细的投影网格 @@M@@(z+a\gamma)/(L_i/d)@@ 表示，标签携带原始行与剩余掩码（mask）信息，权重按亏值概率律 @@M@@\pi_I(a)@@ 折算。每个素数步执行”加/减列表”匹配：加号标签当且仅当其分子被 @@M@@p@@ 整除时”成功”并落到下一投影，配对的减号部分恰在失败时保留。妙处在于，在 @@M@@1/p^\nu@@ 平移轨道上取平均后一阶质量精确守恒——成功指标的均值 @@M@@1/p@@ 与掩码律的转移概率相消，全程不假设独立性，也不随机化位移。
二阶矩控制面对两个障碍。其一，两点靠近会把分子的整系数组合压进一个过短的区间，直接平均失效；小尺度抽取（small-scale extraction）命题证明，若强估计失效，两族分母的素指数必围绕一个公共支点（common pivot）集中成 @@M@@v=NU_0a/b@@ 型结构——这是 Green–Walker 简化的 Koukoulopoulos–Maynard 方法的加权移植——随后变更允许因子，或由旋转二择一引理（rotation alternative）用有理逼近压低计数，或把精确的有理模型重合线性地计入块质量。其二，大素数会使不同块的行反复对齐：文中用会计类（accounting classes）记录历史对齐，配以胞腔剖分与负载截断，剩余相关性由方差预算支付——能量增量恰好等于轨道平均下的方差。最后引入虚拟权重（virtual weights）：它控制实际最终权重，一阶质量保持在 @@M@@c_{\rm hard}\phi(v)r(v)@@ 与 @@M@@\phi(v)r(v)@@ 之间，所有丢弃损失可精确望远镜求和，且周期结构保证它在固定区间上均匀分布。用它近似 @@M@@A@@ 并配合 Cauchy–Schwarz，@@M@@\int_U F@@ 的正下界与”@@M@@F@@ 支在被 @@M@@A@@ 避开的区间内”正面相撞，矛盾完成证明。
本文暂无形式化证明，按 OpenAI 官方声明”未经形式化的结果可能有问题”，最终可靠性有待社区逐条核验；不过论文自成体系，明确声明所有构造与转移估计均在文内证明，并把引用的方法论先例（Koukoulopoulos–Maynard、Green–Walker、Beresnevich–Hauke–Velani 等）与本文新证分开陈述。本结果族在本批任务中仅含这一篇手稿；它与 BHV 2024 的有理位移定理互补（这里去掉了所有位移与块限制），又与”强版本”反例（HMP2026、He–Liao 2026）一起划出边界：无互素要求的弱公式恰好是普遍成立的那一层。
问 1：证明最脆弱的一环在哪里？
（答：投影表的一阶质量守恒。素数逐级曝光时，”加号标签当且仅当分子被 p 整除时成功”的配对转移，要在 1/p^ν 平移轨道上取平均后精确守恒——成功指标的均值 1/p 与掩码概率律的转移概率相消。这一消去不假设独立性、不随机化位移，是全文构造的灵魂；若消去只对特殊 γ 成立，主定理立即缩水。二阶矩一侧的方差预算（能量增量恰等于轨道平均下的方差）同样需逐行核对。）
问 2：为什么”弱”不能再加强成要求分子互素的”强”版本？
（答：边界已被反例划死：Hauke-Treuer–Maynard–Pollington 与 He–Liao 的 2026 年反例表明强版本对一切非零有理位移不成立；另一侧，无权判据（不加 φ(q) 权）也有 Ramírez 2017 与 Chow–Hauke–Pollington–Ramírez 2025 的反例。所以”既约加权 + 不要求互素”恰好是不与任何已知反例冲突的普遍层——定理的表述已是维度上限。）
问 3：与已有工作相比真正的新意是什么？
（答：齐次猜想 2020 年由 Koukoulopoulos–Maynard 解决后，非齐次加权版先后被 Yu、Chow–Technau、Beresnevich–Hauke–Velani 列为公开问题；已知最好的 BHV 2024 只处理有理位移且附加块条件。本文对任意位移（无任何丢番图限制）、任意稀疏非单调容差一步到位。论文还自陈把引用的 Green–Walker 简化 KM 方法作加权移植，其余构造与转移估计均在文内独立证明。）
问 4：AI 生成证明在这篇上最可能的出错模式？
（答：簿记型错误。会计类记录跨块历史对齐、胞腔剖分与负载截断、虚拟权重的望远镜求和、精确有理模型重合的线性计入——这些机制共同支付”剩余相关性由方差预算”的账，任何一处把同一个亏损记两次或漏记，矛盾就不再闭合。小尺度抽取中”两族分母素指数围绕公共支点集中成 v=NU₀a/b”的结构断言也是易错点。本文未经形式化。）
问 5：ψ 只取有限多个值，这个限制能去掉吗？
（答：论文的定理陈述即为 finite-valued ψ，一般可测容差函数的情形论文未展开讨论。有限值假设的技术作用在于切块与质量归约的确定性控制；去掉它需要新的可测性论证，属后续工作。）
问 6：谁会用到它？
（答：度规丢番图逼近的判据库——非齐次 Khintchine 型定理的无单调、无位移限制版本；经 Beresnevich–Velani 质量转移原理立即给出 Hausdorff 测度版（W_γ(ψ) 在有界区间上满 f-测度），即非齐次 Jarník 型定理；后续任何带固定位移的逼近问题（非齐次 Duffin–Schaeffer 的细化、混合目标版本）都以此为基准。）
总评
（KM 2020 之后度规丢番图逼近的又一块里程碑，”弱”的定位精准地嵌在两组反例之间；但构造—簿记链条极长且未经形式化，核验成本高，宜按模块分派专家复核。）