结果族 100：Cylinder coverings below the half-area bound · 学科：Convex and metric geometry · 验证状态：暂无形式化证明，请以社区核验为准
铁屑撒在磁场里，排成一条条方向随位置连续变化的线段。想用有限根方向固定的管子（圆柱）把它们全盖住，会不会付出多得多的截面面积？本文定理回答：几乎不会——有限根圆柱的总成本可以任意逼近连续变向的理论下限”积分投影成本”。它是本结果族推翻半面积猜想的”有限化机器”。
关键词卡片
@@M@@p@@ 配一条方向由 @@M@@V(p)@@ 决定、半长 @@M@@L@@ 的线段，全体线段扫出的集合。@@M@@C^1@@ 矢量场。@@M@@(DV)^2=0@@ 的场，允许任意大的剪切。@@M@@\int_DJ_h(V)\,dp@@，方向连续变化时的理想最低成本。看个具体例子
数字版定理：@@M@@E(D,V,L)\subset\bigcup_i\Cyl(T_i,g_i)@@ 且 @@M@@\sum_i|T_i|J_h(g_i)\le\int_DJ_h(V)\,dp+\varepsilon@@，@@M@@\varepsilon@@ 任意小。条件是 @@M@@\operatorname{tr}DV=0@@、@@M@@\det DV\le0@@ 且特征值 @@M@@\pm\lambda@@ 满足 @@M@@0\le L\lambda<1@@。例如场 @@M@@V=(p_2,\ p_1^3/3)@@ 在 @@M@@p_1=0@@ 处平方零、其余处双曲，两类区域共存也照样适用。定理不要求边界面积零、不要求 @@M@@\lVert DV\rVert@@ 小，甚至允许标签集面积为零；关键引理是”变形方格覆盖”——方砖永不变形、面积不变，动的只是中心。
为什么值得关心
它把”连续变化的线段族”到”有限根圆柱”的最后一步补齐成带精确面积因子的黑盒定理；姊妹篇的正四面体反例正是拿它当工具实现的。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的画面是磁场里的铁屑：线段的方向随位置连续变化。想用有限根方向固定的管子把它们全盖住，直觉担心要付出多得多的截面面积；定理回答几乎不会——有限根圆柱的总成本可以任意逼近”方向连续变化”的理想下限。对象是”一族随标签连续变向的线段”，操作是”逐片冻结方向、盖住、算面积”。
第二级台阶
用本科术语定形。直纹集指形如 E(D,V,L) 的集合：每个标签 p 配一条方向由速度场 V(p) 决定、半长 L 的线段，全体扫出的三维点集；圆柱则是方形砖 T 沿常速度方向平移扫出的管子，各高度截面只是 T 的平移而非变形。成本带投影因子 J_h(g)=(1+g₁²+h²g₂²)^{−1/2}；积分投影成本 ∫_D J_h(V)dp 是连续变向时的理想值。谱条件说微分 DV 特征值为 ±λ 且 0≤Lλ<1——平方零微分（DV²=0）也合格且不设剪切上限。
第三级台阶
主定理的语境与假设：V 在紧标签集邻域上 C¹，逐点迹零、行列式介于 −L⁻² 与 0。结论是对任意正误差，存在有限个方向各异的紧方形砖与常速度，使直纹集被覆盖，且加权和不超过积分投影成本加误差——不要求边界正则、不要求 ‖DV‖ 小、允许标签集面积为零，双曲与平方零两种体制可在同一场中混存。证明分两层：先在仿射场上证”变形方格覆盖”——方砖永不变形、只平移中心，用取整不动点论证覆盖全平面；再以粗网格冻结、细网格加密，用一致逆估计控制额外的领圈面积，经测度上连续性收口到积分。
本文证明一个”直纹集有限圆柱逼近”定理：由迹零、行列式非正的 @@M@@C^1@@ 速度场（特征值 @@M@@\pm\lambda@@ 且 @@M@@0\le L\lambda<1@@，含无剪切上限的平方零微分）导出的紧线段连续族，可用有限个方形砖圆柱覆盖，垂直底面积至多为其积分投影成本加任意正误差——它是本族推翻半面积猜想的”有限化机器”。
覆盖凸体的圆柱成本问题（见本族背景）提示一个自然的省钱策略：让覆盖直线的方向随交点标签连续变化，在每个小标签片上”冻结”一个方向。但朴素地逐片冻结会在相邻片之间开缝，或产生不随网格加细而消失的面积损失；而连续变化族的积分成本 @@M@@\int_D J_h(V)\,dp@@ 本身又并不自动给出有限个圆柱。本文把这个”从连续到有限”的最后一步提炼成带精确假设与精确面积因子的定理，供同族其他构造当作黑盒使用：先扰动一个简单线构型、比较新增标签面积与垂直投影的节省、最后才做有限化。
对紧标签集 @@M@@D\subset\mathbb{R}^2@@、速度场（velocity field）@@M@@V@@ 与半长 @@M@@L>0@@，记直纹集（ruled set）@@M@@E(D,V,L)=\{(s,p+sV(p)):p\in D,\ |s|\le L\}@@。主定理：若 @@M@@V@@ 在 @@M@@D@@ 的邻域上 @@M@@C^1@@ 且逐点满足 @@M@@\tr DV=0@@、@@M@@-L^{-2}<\det DV\le0@@，则对任意 @@M@@\varepsilon>0@@ 存在有限个紧的非退化方形砖 @@M@@T_i@@（方向可各异）与常速度 @@M@@g_i@@，使 @@M@@E(D,V,L)\subset\bigcup_i\Cyl(T_i,g_i)@@ 且 @@M@@\sum_i|T_i|J_h(g_i)\le\int_D J_h(V(p))\,dp+\varepsilon@@；经物理伸缩 @@M@@F_h@@ 后各垂直底是紧的非退化平行四边形，总面积为 @@M@@h\sum_i|T_i|J_h(g_i)@@。谱条件即特征值为 @@M@@\pm\lambda_p@@（@@M@@\lambda_p=\sqrt{-\det DV}@@）且 @@M@@0\le L\lambda_p<1@@：既允许非零双曲对逼近严格长度界，也允许平方零微分（square-zero differential，@@M@@(DV)^2=0@@）而完全不限制剪切系数，两类可在同一场中并存（例 @@M@@V=(p_2,p_1^3/3)@@）。定理不要求 @@M@@\partial D@@ 面积为零、不要求 @@M@@\|DV\|@@ 小，甚至允许 @@M@@|D|=0@@。
证明分两层。先解决冻结的仿射场：迹零矩阵必有一个使对角线为零的正交基（在四分之一圆上用连续性找 @@M@@q(e)=0@@ 的单位向量），于是 @@M@@A=\bigl(\begin{smallmatrix}0&b\\ c&0\end{smallmatrix}\bigr)@@，高度 @@M@@s@@ 处单位方格中心移到 @@M@@(i+sbj,\,sci+j)@@。关键引理（变形方格覆盖）：只要 @@M@@0\le\alpha\beta<1@@，这些中心上的闭单位方格仍覆盖全平面。证明是对目标点解取整不动点方程 @@M@@i=R(u_1-\alpha j)@@、@@M@@j=R(u_2-\beta i)@@：该映射单调、在无穷远处斜率 @@M@@\alpha\beta<1@@，单调有界迭代必达不动点——这是 Tarski 单调不动点原理的有限链实例，且把零乘积情形与方格边界一并处理（正乘积情形也可由 Kolountzakis 的符号瓷砖恒等式得到，Stein 的缺角方砖为其特例）。砖本身永不变形、面积不变，动的只是中心；再由 Cayley–Hamilton（@@M@@A^2=-(\det A)I@@）得一致逆界 @@M@@\|(I+sA)^{-1}\|\le(1+L\|A\|)/(1+L^2\det A)@@。第二层把 @@M@@C^1@@ 场有限化：先取边长 @@M@@\delta@@ 的粗方格网覆盖 @@M@@D@@，在每个粗方格上把场冻结为仿射逼近 @@M@@V_S@@，并在其正交坐标里用细网格 @@M@@\tau=\delta^2@@。无穷的仿射覆盖先抓住真实的非线性目标点；一致逆估计给出 @@M@@|l-p|\le R_\delta=C(\tau+L\eta_\delta\delta)=o(\delta)@@，故只需保留距粗方格 @@M@@R_\delta@@ 以内的中心——这是一个与 @@M@@p,s@@ 均无关的有限清单。保留砖的总面积至多 @@M@@(\delta+2R_\delta+2\tau)^2=\delta^2(1+o(1))@@，每格加权成本 @@M@@\delta^2J_h(V(b_S))+o(\delta^2)@@，且双曲、平方零、零微分之间的切换不损失界。最后对 @@M@@O(\delta^{-2})@@ 个粗格求和：粗格并 @@M@@U_\delta@@ 夹在 @@M@@D@@ 与其 @@M@@\sqrt2\delta@@ 邻域之间，Lebesgue 测度的上连续性给出 @@M@@|U_\delta\setminus D|\to0@@，无需 @@M@@\partial D@@ 的任何正则性假设，成本收敛到 @@M@@\int_DJ_h(V)\,dp@@。文中另给出以双曲线为边界的开胞元构造（长臂吸收一个特征方向的膨胀与另一方向的收缩，但需面积零边界），并讨论应用：谱条件严格弱于算子范数小（例 @@M@@\bigl(\begin{smallmatrix}0&2\\ 1/8&0\end{smallmatrix}\bigr)@@ 特征值 @@M@@\pm1/2@@ 而范数为 @@M@@2@@），奇异端点应先截断到紧标签集、单独覆盖省略线段、再在剩余严格间隙内分配逼近误差。
本文未形式化，定理与证明应以社区核验为准。它是结果族 100 的方法支柱：姊妹篇《Slope-field perturbations of the two-cylinder covering》把本文定理 1.2 当作黑盒，对正四面体的两圆柱等式覆盖做斜率场扰动并实现严格节省；与自足的显式构造文一起，三篇从不同路径印证同一否定结论。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：证明里最关键、最脆弱的一步是什么？
| 答：变形方格覆盖引理及其向非线性场的移植。引理断言迹零仿射场下方砖中心移到 (i+sbj, sci+j) 后，只要 s²bc<1，闭单位方格仍覆盖全平面——证明靠取整不动点方程的单调迭代收敛，还要零乘积与方格边界一并处理。移植层的一致逆估计 | l−p | ≤R_δ=o(δ)（经 Cayley–Hamilton 得 ‖(I+sA)^{−1}‖ 的界）决定”领圈”面积是否可忽略。任一处失守，面积因子就不精确。 |
问 2：谱条件 0≤Lλ<1 为什么不能去掉？
| 答：λ 为 DV 的特征值时，I+sA 在 | s | ≤L 内取到 1+sλ；当 Lλ≥1 它可为零，映射退化、线段族折叠，”每个高度的截面仍是平移”的前提崩塌。平方零微分是唯一豁免：A²=0 时 I+sA 永可逆，剪切再大无妨——例 (0,2;1/8,0) 特征值 ±1/2 而范数为 2，说明谱条件严格弱于算子范数小。 |
问 3：与 Kolountzakis、Stein 的已有工作相比新意是什么？
答：仿射层的正乘积情形可由 Kolountzakis 的符号函数恒等式得到（Stein 缺角方砖是特例），本文另给含零乘积与边界的初等证明，并组织成 Tarski 单调不动点原理的有限链实例。真正新的是非线性有限化构造与精确面积因子：从 C¹ 场到有限圆柱、成本收敛到积分、不要求边界正则——这一步此前没有。
问 4：AI 生成、暂无形式化的证明最可能错在哪？
答：格子簿记：取整迭代的单调收敛条件、方格边界归属、O(δ⁻²) 个粗格求和时采样权的误差累积、外邻域 U_δ 夹在 D 与其 √2δ 邻域之间的测度收敛。离散-连续接口是生成模型的高发错区；无形式化，宜数值抽查覆盖与成本。
问 5：为什么选方形砖而不是圆盘或任意形状？
答：方砖在切变下保持形状与面积——动的只是中心，成本核算才可能逐格精确。第五节的双曲边界开胞元替代构造（长臂吸收一个特征方向的膨胀）要求标签集边界面积零；对任意紧标签集，方砖路线是唯一不附加正则性的。
问 6：g_i 不必等于场在砖心的值，这有什么讲究？
答：定理明确速度取自局部仿射逼近而非原场取值——这给了使用者微调空间：先扰动简单线构型、比较新增标签面积与投影节省、再有限化。姊妹篇斜率场构造正是把定理 1.2 当黑盒这样用，最终实现严格低于半面积的覆盖。
问 7：谁会用到它，奇异端点怎么处理？
答：结果族 100 的三篇依赖或互证它：显式构造文独立实现同一结论，斜率场文直接引用；做 Bang 型覆盖问题、投影不等式的人也可用。奇异端点（λ 逼近 1/L）论文建议先截断到紧标签集、单独覆盖省略线段、再在剩余间隙分配逼近误差，以此安全接入参数极限。
总评
把”连续变向省面积”的直觉铸成带精确面积因子的黑盒定理，是推翻半面积猜想的方法支柱，假设弱而结论干净。最大风险在格子覆盖与求和收敛的离散簿记且无形式化，同族两条独立路径可部分互证。