结果族 331：Reflexive midpoint convexity and diamond distortion · 学科：Functional analysis · 验证状态：主结果已 Lean 形式化
想象一场”自下而上打分”的比赛：树上每个位置放一个数，两个非负的分数从叶子往根逐层汇报——兄弟的分数先按勾股定理合并，再与本位置的数比大小，一个向量有多长，就看根处读出的总分。这套递归计分造出的空间有个惊人属性：中点意义下凸，却无论怎么换等价尺子都得不到强凸，而且空间还是最规矩的自反空间。
关键词卡片
@@M@@\sqrt{P_1^2+P_2^2+\cdots}@@ 汇总，像直角三角形求斜边@@M@@t^3/128@@ 的立方下界看个具体例子
计分规则：叶子上放数 @@M@@v@@，则两个势为 @@M@@(v^+,v^-)@@；往上一层，先把子节点的势各自勾股合并成 @@M@@A,B@@，再取 @@M@@P=\max\{A,\,v+B\}@@、@@M@@Q=\max\{B,\,-v+A\}@@。比如两个叶子放 @@M@@3@@ 和 @@M@@4@@：合并 @@M@@A=\sqrt{3^2+4^2}=5@@，根处（@@M@@v=0@@）读出长度 @@M@@N=P+Q=5+5=10@@。
把主定理代入数字：当 @@M@@N(x)=N(z)=1@@ 时，齐次三次不等式给出 @@M@@\frac{N(x+z)+N(x-z)}{2}\ge 1+\frac{1}{8\cdot3^2}=1+\frac1{72}@@——两端点的平均至少比中心长这些。
为什么值得关心
它把”中点凸却不可再赋范成强凸”的反例做进自反空间，范数显式且带多项式定量下界，正面回应了 2016 年提出的公开重赋范问题。
已 Lean 形式化
第一级台阶
导读里的”自下而上打分”落到实处：对象是树上有限个位置各自放一个数；操作是让两套非负分数从叶子往根逐层汇报——兄弟的分数先按勾股定理合并成斜边，再与本地这个数比较取大，最后在根处把两套分数加起来读作向量的长度。
第二级台阶
精确化成本科语言：设有根、可数分支的树，向量 v 在每个结点 s 给出数 v_s。定义两个非负场：先把子结点的两套场各自按平方和开根合并，记 A_s、B_s，再令 P_s = max{A_s, v_s + B_s}、Q_s = max{B_s, −v_s + A_s}。归纳可证 (P_s, Q_s) 是满足 P_s − Q_s = v_s 且控制子结点欧氏尺寸的最小非负对，且每个结点至少一个取等。范数在根处读出 N = P_o + Q_o，取完备化得 Banach 空间；凸性强弱仍用渐近模 δ̂(t) 与单侧模是否恒正（AUC）来分级。
第三级台阶
定理在三种根正规化下陈述：无限树上直接求和的空间、把所有有限高度树在公共零根处并联的联根空间、以及根坐标自由的版本。结论是：前两者的平均渐近中点模有立方下界 δ̂(t) ≥ t³/128，零根空间满足一条齐次三次不等式；联根空间与零根空间还自反——因为高度 n 的分量范数与 ℓ₂ 等价，整个空间是各分量的 ℓ₂ 直和再添一维。最小性假设与勾股合并挡住的麻烦是：取等让”能量”逐层向上求和时不损失任何常数，估计才能对树高与分支度一致；而路径指示向量范数一致有界、相邻增量弱零，又封死了任何等价范数的 AUC 之路。
本文用两个递归定义的非负”势”之差在树上构造出显式 Banach 范数：联根空间自反、平均渐近中点模有立方下界 @@M@@t^3/128@@，却不容许任何等价的渐近一致凸范数，把 Baudier 的非自反分离反例推进到自反空间。
能否重赋范（renorming）以获得更好的凸性，是 Banach 空间几何的经典问题。渐近一致凸（asymptotically uniformly convex, AUC）要求沿有限余维（finite-codimensional）子空间方向的单侧扰动使范数严格上升；渐近中点一致凸（asymptotically midpoint uniformly convex, AMUC）只要求 @@M@@x+ty@@ 与 @@M@@x-ty@@ 两端范数的平均值上升，条件更弱，由 Dilworth 等五人于 2016 年引入。他们在 @@M@@\ell_2@@ 上分离了两者，并提出重赋范问题：容许 AMUC 范数的空间是否也容许 AUC 范数？Baudier 借助 Kadets–Werner 对 Bourgain–Rosenthal 构造的改造给出否定答案，但该例非自反（nonreflexive）。本文的联根构造补上自反情形，且范数显式、带多项式下界。
在允许可数分支的有根树上，对有限支集向量 @@M@@v@@ 自叶向上计算两个非负场：记 @@M@@A_s=(\sum_c P_c^2)^{1/2}@@、@@M@@B_s=(\sum_c Q_c^2)^{1/2}@@（@@M@@c@@ 取遍子节点），令 @@M@@P_s=\max\{A_s,\ v_s+B_s\}@@、@@M@@Q_s=\max\{B_s,\ -v_s+A_s\}@@。归纳可知 @@M@@(P,Q)@@ 是满足 @@M@@P_s-Q_s=v_s@@ 且控制子节点欧氏范数的最小非负对，且每个节点至少一个子不等式取等。范数在根部读出：无限树上取 @@M@@N_\Sigma=P_o+Q_o@@ 得 @@M@@X_\Sigma@@；所有有限高度树在公共根 @@M@@\rho@@ 并联后得联根空间 @@M@@X_0@@（固定 @@M@@v_\rho=0@@，此时 @@M@@P_\rho=Q_\rho@@，取 @@M@@N_0=P_\rho@@）与 @@M@@X_J@@（根坐标自由，取 @@M@@N_J=P_\rho+Q_\rho@@）。
主定理（Theorem 2.1）断言：@@M@@X_\Sigma@@ 与 @@M@@X_J@@ 的平均渐近中点模（averaged asymptotic midpoint modulus）@@M@@\widehat\delta_N(t)\ge t^3/128@@（@@M@@0<t<1@@，由此即得 AMUC）；@@M@@X_0@@ 满足齐次三次不等式 @@M@@\frac{N_0(x+z)+N_0(x-z)}{2}\ge N_0(x)+\frac{N_0(z)^3}{8(2N_0(x)+N_0(z))^2}@@，其中 @@M@@z@@ 属于含 @@M@@x@@ 支集的有限初始集的核；@@M@@X_0@@ 与 @@M@@X_J@@ 都自反；三者都不容许等价的 AUC 范数。末节把高度 @@M@@h@@ 分量内的聚合换成 @@M@@\ell_{1+1/h}@@，所得空间 @@M@@X_{\mathrm v}@@ 仍自反、仍无 AUC 重赋范，并给出六次方与三次估计，进而 @@M@@\widehat\delta(t)\ge\frac{c_3}{24\sqrt2}t^3@@（@@M@@c_3=(6\mathrm e)^{-3}@@）。@@M@@X_J@@ 上还有分离中点族缝隙：若 @@M@@N_J(x\pm z_j)\le1@@ 且 @@M@@N_J(z_i-z_j)\ge\varepsilon@@（@@M@@i\ne j@@），则 @@M@@N_J(x)\le1-\eta(\varepsilon)@@。
定量核心是双场能量论证。先取中心 @@M@@x@@（有限支集）与尾向量 @@M@@z@@（在含支集的有限初始集 @@M@@H@@ 上为零）。由凸性与坐标差恒等式，@@M@@x\pm z@@ 的场取平均，恰好把 @@M@@x@@ 的两个场同时抬高同一缺陷 @@M@@d_s\ge0@@。再定义能量 @@M@@E_s=[d_s(2P_s+d_s)(2Q_s+d_s)]^{2/3}@@，在取等节点上配合 Hölder 不等式可证 @@M@@E_s\ge\sum_c E_c@@。这使能量逐层向上求和无任何常数损失，估计因此对树高与分支度一致。迭代到 @@M@@H@@ 的首出边界（first-exit boundary）：那里 @@M@@x@@ 的场全为零，@@M@@d_b=\frac12(P_b(z)+Q_b(z))@@，边界平方和被根部量 @@M@@[d_o(2P_o+d_o)(2Q_o+d_o)]^{2/3}@@ 控制，换算成尾范数得 @@M@@N(z)^3\le64d(1+d)^2@@，而平均端点增益为 @@M@@2d@@，故 @@M@@N(z)\ge t@@（@@M@@0<t<1@@）时增益 @@M@@2d\ge t^3/128@@；对一般中心用有限逼近过渡。自反性另走一条路：高度 @@M@@n@@ 的分量空间与 @@M@@\ell_2@@ 等价（@@M@@\frac{\|v\|_2}{2\sqrt{n+1}}\le M_n(v)\le\sqrt{n+1}\|v\|_2@@），联根空间是各分量的 @@M@@\ell_2@@ 直和（@@M@@X_J@@ 再添一维），故自反。
排除 AUC 重赋范用有界路径论证。路径指示向量的范数一致有界且下有界（场沿途为 @@M@@P=1,Q=0@@），相邻增量是兄弟坐标向量，经一个从 @@M@@\ell_2@@ 出发的有界线性映射成为弱零（weakly null）序列。若等价范数 @@M@@\alpha\|\cdot\|\le N\le\beta\|\cdot\|@@ 是 AUC 的，凸性迫使沿路径每走一步范数至少放大 @@M@@1+\gamma/2@@ 倍，而路径可任意长、范数又被上下界夹住，矛盾——自反性对此无能为力。论文另给两种机制：停时（stopping time）规则配合 Burkholder 的可料鞅变换（martingale transform）证明序列式一致分离；对联根空间则用有界上鞅（supermartingale）的对数变换控制乘积比，导出分离中点族缝隙。变指数一节取 @@M@@p_h=1+1/h@@，使 @@M@@p^h\le\mathrm e@@ 一致有界：归一化迭代给出六次方估计，累积出逃能量给出三次估计；其余技术性较强，此处从略。
本文主结果已有 Lean 形式化证明，属最高验证层级。结果族 331 的姊妹篇在同一空间中证明：深度 @@M@@k@@ 的可数分支菱形（diamond）失真至少 @@M@@\sqrt{1+k/12}@@，即中点一致凸加上自反性也不强制菱形失真一致有界。按 OpenAI 官方声明，未经形式化的结果可能有问题，文中各显式常数宜以形式化文档与社区核验为准。
问 1：证明里最关键、也最脆弱的一步是什么？
（答：是能量场的上推不等式。把 x±z 两端场的平均与 x 的场比较，两者同时抬高同一缺陷 d_s ≥ 0；定义能量 E_s = [d_s(2P_s+d_s)(2Q_s+d_s)]^{2/3}，在”每个结点至少一个子不等式取等”的节点上配合 Hölder 不等式证 E_s ≥ Σ_c E_c（第 3 节）。正因无逐层常数损失，估计才对树高与分支度一致；若取等性论证或 Hölder 指数有误，t³/128 立即失效。）
问 2：为什么一定要”最小非负对”，取更大的场不行吗？
（答：最小性保证每个结点处两个不等式至少一个取等，这正是能量上推的支点；若允许冗余的场，取等性破坏，能量不等式就要带逐层因子，对任意高的树无法收尾。此外最小性使 (P,Q) 由向量唯一确定，范数的良定义与坐标投影的压缩性都依赖它。）
问 3：与已有树范数相比真正的新意是什么？
（答：与 James 树空间、Ghoussoub–Maurey–Schachermayer 的正锥（单场、经对称凸包与插值）不同，本文用两个最小场的差直接编码向量，范数是根处的显式成本，无需凸包插值（引言对比段落）。相对 Baudier 的非自反 Kadets–Werner 反例，联根空间自反且带多项式定量下界 t³/128，而非仅存在性。）
问 4：自反性会不会来得太便宜？
（答：来源确实朴素：高度 n 分量与 ℓ₂ 等价（‖v‖₂/(2√(n+1)) ≤ M_n(v) ≤ √(n+1)‖v‖₂），联根空间是分量的 ℓ₂ 直和加一维，自反性继承自 ℓ₂。但便宜不等于平淡——ℓ₂ 直和本可赋一致凸范数，本文恰恰证明这些空间任何等价范数都非 AUC，反例的锋利处正在”本可凸却换不出”。）
问 5：AI 生成证明最可能出错的模式是什么？
（答：一是显式常数链：128、64、8(2N(x)+N(z))²、(6e)^{-3}、c₃/24√2 等经多次换算，任何一步损失控制就断；二是机制繁多的辅助章节：停时 + Burkholder 鞅变换、有界上鞅对数变换、变指数 p_h = 1+1/h 的六次方/三次估计，各成体系，边角情形（有限头、弱零尾的精确陈述）易漏。主定理声明已 Lean 形式化，但变指数节与鞅节是否在形式化覆盖内，文中未逐一说明。）
问 6：为什么要把根正规化分三种（X_Σ、X_0、X_J）？
（答：引言明言”区分根正规化对常数至关重要”。无限树求和版常數最直接；零根并联版 X_0 能证齐次三次不等式（可代具体数字，如 N(x)=N(z)=1 时增益 ≥ 1/72）；自由根版 X_J 兼具自反与 t³/128 下界，并承载分离中点族缝隙。三种版本各取所需，不是冗余。）
问 7：谁会用到它？
（答：Banach 空间几何与非线性泛函分析的研究者：它给 AMUC/AUC 重赋范问题提供自反、显式、带多项式下界的模型；姊妹篇在同一空间上证明深度 k 菱形失真至少 √(1+k/12)，说明”中点一致凸 + 自反”仍不强制菱形失真有界，本文构造因此成为该方向的基准反例。）
总评
这项工作用双最小场的显式递归把分离反例做进自反空间，定量下界与多种一致化机制令人信服；最大风险在常数链与鞅、变指数等辅助机制的组合细节，其可信度取决于形式化覆盖的边界在哪里。