结果族 100：Cylinder coverings below the half-area bound · 学科：Convex and metric geometry · 验证状态：暂无形式化证明，请以社区核验为准
想用几根无限长的管子把一座正四面体”帐篷”完全罩住，租金按横截面积计算。大家一直以为斜穿对棱方向的两根粗管最划算，租金恰好是影子面积的一半；这篇论文却演示：让每根管子的轴线随位置微微”扭动”，再换成一族细管，总租金能严格低于一半——半面积问题与方向化猜想就此被推翻。
关键词卡片
@@M@@A_{\min}@@）：从最省的方向给立体拍”正面照”，得到的最小影子面积。看个具体例子
正四面体的 @@M@@A_{\min}=4\sqrt2@@，经典两管方案的费用恰为 @@M@@2\sqrt2@@（一半）。本文按光滑斜率场把轴线倾斜微小角度 @@M@@\varepsilon@@，费用展开里：倾斜省下的投影收益约 @@M@@16/15360@@，相邻管补缝多付的膨胀代价约 @@M@@17/15360@@，差为负，净省约 @@M@@\varepsilon^2/15360@@。数字虽小，但符号为负就足以打破”一半是极限”的直觉。
为什么值得关心
它同时否定半面积问题与一维余维圆柱覆盖猜想，把四面体的最优相对成本夹进 @@M@@[1/3,1/2)@@ 区间，并给出可逐步复算的显式构造。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里把圆柱覆盖说成”租管子罩帐篷”：管子是无限长的柱筒，帐篷是正四面体，租金按每根管子垂直于自身轴线的截面面积计算。论文做的事，就是允许同一族管子的轴线随位置逐点改变倾斜方向，然后严格算清总租金能否比”两根直管”的经典方案更省。
第二级台阶
换成几何语言：一根圆柱指集合 B+Ru，其中 u 是单位方向向量，B 是垂直于 u 的平面内面积有限的截面；覆盖立体 K 的费用是各截面面积之和。K 的最小投影面积 A_min(K) 定义为 K 在所有单位方向上正交投影面积的最小值。斜率场是一个连续的”方向施工图”，给每个位置指定轴线的倾斜向量；方向化相对成本 R 则把每根管的费用除以该方向的投影面积后求和，是比总费用更苛刻的记账。
第三级台阶
主定理在此语境陈述：每个正四面体都容许一个有限圆柱覆盖，截面取紧的平行四边形，使总费用严格小于 A_min 的一半，且相对成本 R 也严格小于 1/2。有限性挡住了”用无穷多根无穷细的管子作弊”；正四面体假设保证经典两管覆盖恰好取等，是扰动出发的基准点；紧截面假设避开可测集的技术麻烦。再由相对成本在可逆仿射映射下的不变性（分子分母同乘一个平面 Jacobi 行列式），方向化结论推广到一切非退化四面体——这就站在了半面积问题与 Bezdek–Khan 猜想的否定结论门口。
本文用三种斜率场（光滑有理场、奇异幂律场、平方零角度场）扰动正四面体的两圆柱等式覆盖，并借助姊妹篇的有限逼近定理得到垂直底总面积与方向化相对成本都严格小于 @@M@@\tfrac12A_{\min}@@ 的有限覆盖，同时否定半面积问题与 1-余维圆柱覆盖猜想。
正四面体的两圆柱覆盖恰好平衡在自然阈值上：总底面积等于最小正交投影面积的一半。要让成本降下去，必须让两族内的轴线随位置变化；但倾斜降低一块截面的垂直面积时，相邻线需要更大的标签补丁才能不留缝——两个效应相互竞争，此前无人构造出第一个严格胜过第二个的场。另一困难是连续场只给出积分成本的预言，须真正变成有限个圆柱。Bezdek–Litvak 的方向化下界 @@M@@\mathcal R\ge\tfrac13@@ 与 Bezdek–Khan 猜想的 @@M@@\tfrac12@@ 之间留有空隙；Verreault 2026 年综述把半面积问题列为未决。
主定理：每个正四面体 @@M@@K@@ 都容许有限圆柱覆盖，垂直底为紧的非退化平行四边形，使 @@M@@\sum_i|B_i|<\tfrac12A_{\min}(K)@@ 且方向化相对成本（directionwise relative cost）@@M@@\mathcal R(\mathcal C;K)=\sum_i|B_i|/|\pi_{u_i^\perp}K|<\tfrac12@@；也给出有界开底版本。由相对成本在可逆仿射映射下的不变性（分子分母乘同一平面 Jacobi 行列式），推论：每个非退化四面体 @@M@@T@@ 都有 @@M@@\mathcal R(\mathcal C;T)<\tfrac12@@，1-余维圆柱覆盖猜想不成立；结合 Bezdek–Litvak 下界，四面体的相对成本下确界落在 @@M@@[\tfrac13,\tfrac12)@@。论文给出三个独立构造：由在楔形两墙上取常值的流函数（stream function）生成的有理场（光滑、与墙相切）；带齐次奇性的幂律场（@@M@@1<p<(\sqrt{51}-5)/2@@，尖端区域另用两个三角底圆柱覆盖）；以及 @@M@@p\to1@@ 的极限角度场，其微分平方零且剪切无界，顶点段用有限速度网覆盖。
公共框架是：标签 @@M@@p@@ 指定线段 @@M@@(s,p_1+sV_1(p),h(p_2+sV_2(p)))@@，@@M@@|s|\le L@@；把斜率冻结在参数面积 @@M@@A@@ 的补丁上，垂直面积为 @@M@@hA/\sqrt{1+V_1^2+h^2V_2^2}@@。连续场只预言积分成本，有限化由姊妹篇定理（条件 @@M@@\tr DV=0@@、@@M@@-L^{-2}<\det DV\le0@@）补足。有理场构造最完整：取在楔形两墙上为常值的流函数 @@M@@\psi=(Y^2-r^2/4)/(4(r+d))@@，其场 @@M@@W_d=(-\psi_T,\psi_Y)@@ 无散度且与墙相切，分母 @@M@@r+d@@ 磨光公共尖点；直接验证 @@M@@\tr DW_d=0@@、@@M@@\det DW_d=-d^2/(16(r+d)^4)<0@@。覆盖分两步：先证倾斜映射 @@M@@F_x=\mathrm{id}+\eps xW_d@@ 把闭楔形满射到自身（墙函数在对应墙上有零点且一阶消失，配合行列式恒正与开闭集论证）；再证两族之间不留缝——若两族标签都越界，其和为 @@M@@T+R=-\eps^2\alpha(x^2c(y)+y^2c(x))+O(\eps^3)@@，而四次填充多项式 @@M@@P@@ 满足精确恒等式 @@M@@P(x)+P(y)-\alpha(x^2c(y)+y^2c(x))=\alpha c_2(x^2-y^2)^2\ge0@@，故取 @@M@@q=O(\eps^2)@@ 且 @@M@@\eps^3=o(q)@@（如 @@M@@q=\eps^{5/2}@@）即得矛盾；关键机制仍是两族标签一阶反向移动（@@M@@\mp\eps\alpha xy@@）使和只剩二阶项。成本展开 @@M@@C_d/h=\tfrac18+\eps^2(J_d-I_d)+q/2+O(\eps^4)@@，令 @@M@@d\downarrow0@@ 得 @@M@@J_d\to16/15360@@、@@M@@I_d\to17/15360@@，差为负：投影收益胜过膨胀代价。幂律场换成 @@M@@\psi=\tfrac12(r/a)^{p-2}(b^2-r^2)@@：导出双曲场，去掉 @@M@@r<d=c^\gamma@@ 的尖端后用两个三角底圆柱（成本 @@M@@\sqrt2(2d)^2=o(c^2)@@）补齐；精确二次系数 @@M@@\kappa_p=a^4(2p^2+10p-13)/(30p)@@ 恰在 @@M@@1<p<(\sqrt{51}-5)/2@@ 上为负。@@M@@p\to1@@ 的极限场只依赖角度斜率，微分平方零（秩一）但无法连续延拓到尖点：先截断 @@M@@t\le\rho@@，用至多 @@M@@\lceil2/\rho\rceil+1@@ 个方形砖的速度网盖住顶点段，剩余紧标签集套用平方零情形；覆盖由精确恒等式 @@M@@(1-kcrq)(t-c)+(1+kcrq)(t'-c)=k^2c(xqv(r)+yrv(q))@@ 与 @@M@@6c^3<2-c^4@@ 的矛盾保证，两族合计成本 @@M@@\tfrac12-k^2/240+O(k^3)@@。全文参数次序严格：先定场及其正则化，再定倾角，最后才做有限逼近，无需对 @@M@@\eps@@ 一致的网格；附录还用法向标架二阶矩与平移重叠体积导数独立重算投影面积。
本文未形式化，三个构造及所依赖的有限逼近定理均应以社区核验为准。它与姊妹篇《Finite cylinder approximation of ruled sets》（其定理 1.2 被本文当黑盒使用）以及自足的显式扇形构造文构成结果族 100 的三条独立路径；本文平方零构造的二次系数 @@M@@-1/240@@ 与显式构造文零余量极限一致，互为印证。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：整个证明最脆弱的一环在哪里？
答：有限化。论文的连续斜率场只预言积分成本（第 1 节的投影因子 hA/√(1+V₁²+h²V₂²)），把它变成真正有限个圆柱，靠的是姊妹文《Finite cylinder approximation of ruled sets》的定理 1.2 黑盒，其条件是场在标签集邻域 C¹ 且 tr DV=0、-L⁻²<det DV≤0。若有理场磨光后某处违反这些条件，覆盖存在性论证整体失效。
问 2：不引入变方向的斜率场、只用固定方向的更细管子行不行？
答：不行。第 1 节明确指出两个竞争效应：倾斜降低单块截面的垂直面积，但相邻线需要更大补丁才能不留缝。正文利用两族标签一阶反向移动（∓εαxy 项）使重叠盈余只剩二阶项——这是”方向随位置变化”独有的机制，固定方向下无法触发。
问 3：为什么绝对不等式只对正四面体陈述，推论却只推广方向化版本？
| 答：推论的证明里，可逆线性映射对每个方向的比值 | B | / | π_{u⊥}K | 的分子分母乘同一个平面 Jacobi 行列式，故比值不变；但 Σ | Bᵢ | <½A_min 这类绝对量在仿射变换下不保持，所以只有方向化结论对一切非退化四面体成立，绝对半面积不等式仍限于正四面体。 |
问 4：与已有工作相比，真正的新意是什么？
答：Bezdek–Litvak 证明了任意三维凸体 R≥1/3，Bezdek–Khan 的 1-余维圆柱覆盖猜想主张 R≥1/2；本文给出第一个 R<1/2 的反例，同时否定 Bang 记录的半面积问题，把四面体的最优相对成本夹进 [1/3,1/2)。
问 5：这个结果最可能以什么方式出错？
答：最典型的风险在二阶系数的手工计算：成本展开 C_d/h=1/8+ε²(J_d−I_d)+q/2+O(ε⁴) 中 J_d→16/15360、I_d→17/15360，两者仅差 1/15360，任何一处符号或系数错误都会翻转”省”与”亏”；无缝论证所依赖的精确四次恒等式 P(x)+P(y)−α(x²c(y)+y²c(x))=αc₂(x²−y²)²≥0 同样承重。论文未形式化，这些常数未经机器核验。
问 6：给出三个独立构造是否冗余？
答：不冗余。有理场已足以给出绝对不等式；奇异幂律场（1<p<(√51−5)/2，系数 a⁴(2p²+10p−13)/(30p)<0）与 p→1 的平方零角度场提供了局部几何与顶点行为不同的独立路径，平方零构造的二次系数 −1/240 与显式扇形构造文的零余量极限一致，互为印证。
问 7：谁会用到这个结果？
答：圆柱覆盖与 plank 问题的凸几何研究者（Bezdek–Litvak–Khan 一脉）；它同时把”四面体最优相对成本的确切值”立为新的开放问题；对形式化社区而言，这是一篇依赖姊妹文黑盒的高价值验证标的。
总评
这项工作以显式可复算的构造一举否定两个自然猜想，分量扎实；最大风险是结论悬挂在仅差 1/15360 的二阶展开和一篇未经核验的姊妹文定理之上，且本身未形式化。