Upper bounds for Jung constants of $\ell_1^d$

技术摘要：$\ell^d_1$ Jung 常数的上界

问题陈述
本文旨在确定实数空间在 $\ell_1$ 范数（曼哈顿距离）下 $d$ 维 Jung 常数 $J(\ell^d_1)$ 的值。对于 $\mathbb{R}^d$ 中的非空有界集合 $A$，Jung 常数定义为所有此类集合的切比雪夫半径（$rad\, A$）与直径（$diam\, A$）之比的上确界。具体而言，作者试图为当维度 $d$ 取形式为 $4k+1$（其中 $k \ge 1$ 为整数）时，建立 $J(\ell^d_1)$ 的紧致上界。

在此之前，虽然存在经典的界限（例如 $J(\ell^d_1) \le d/(d+1)$ 以及 $J(\ell^{2m}_1) \le (2m-1)/(2m)$），但 Alimov 和 Tsar'kov 在 2019 年的一项调查中指出，维度 $d=5$（即 $k=1$）时的精确值仍是未知的。此外，Ivanov 的猜想认为，如果阶数为 $h=4k$ 的 Hadamard 矩阵存在，则 $J(\ell^h_1) = J(\ell^{h+1}_1) = J(\ell^{h+2}_1) = (h-1)/h$。

研究方法
证明策略结合了几何归约技术与对割度度量（cut metrics）的组合估计：

1. 接触归约与维度界限：
   作者利用引理 2.1 将问题归约为有限个“接触点” $y_i$ 以及定义最小包围球的相关符号 $\sigma_i$。如果半径 $R$ 超过特定阈值，引理 2.2 确定接触点的数量必须恰好为 $2p$（其中 $d=2p-1$），且符号之和为零。这导致了一个涉及任意点 $z$ 到这些接触点距离之和的不等式。

2. 割度的二次型估计：
   核心技术创新在于将几何距离约束转化为关于加权割度半度量（weighted sums of cut semimetrics）的问题。

   • 一般情况 ($k \ge 2$)： 对于维度 $d = 4k+1$（其中 $p = 2k+1 \ge 5$），作者采用了引理 3.1。该引理在给定关于成对距离和“平衡”割数量的约束下，提供了割大小加权和 ($\Phi$) 的上界。引理 3.1 的证明依赖于涉及距离矩阵和特定向量构造的二次型分析。
   • 五维情况 ($k=1$)： 通用的二次型界限对于 $p=3$（维度 5）是不充分的。第 5 节引入了一种专门的“六标签容量估计”（命题 5.1）。这涉及对六个标签上的割进行组合分析，通过分类具有图表示（$K_5$ 的边）的平衡割，并构造显式的权重证书来证明界限 $\Phi \le 9/2$。

3. 坐标间隙与任意集合：
   引理 4.1 通过利用坐标中位数构造能够保持成对距离的割度度量，填补了有限接触集与任意有界集之间的间隙。引理 4.2 通过紧致性论证将有限结果扩展到任意非空有界集合。

4. 锐度与 Hadamard 矩阵：
   为了证明界限是锐利的，论文构造了特定的点集。对于下界，它利用了 Hadamard 矩阵的性质（命题 7.1）。对于特定的 $d=5$ 情况，构造了一个四点集，以证明半径不可能小于其直径的 $3/4$。

主要贡献与结果

• 主定理 (定理 1.1)： 对于每个整数 $k \ge 1$，维度 $4k+1$ 的 Jung 常数满足以下无条件上界：
  $$J(\ell^{4k+1}_1) \le \frac{4k-1}{4k}$$
  这确定了 $\mathbb{R}^{4k+1}$ 中每个非空有界集合的包围球半径至多为其直径的 $\frac{4k-1}{4k}$ 倍。

• 五维情况的解决： 本文证明了 $J(\ell^5_1) = 3/4$。这解决了 Alimov 和 Tsar'kov 调查中提到的开放性问题，通过为这一特定维度建立上界和匹配的下界来解决该问题。

• Ivanov 猜想的确认（有条件）： 推论 1.2 指出，如果阶数为 $4k$ 的 Hadamard 矩阵存在，则连续三个维度的精确值由下式确定：
  $$J(\ell^{4k-1}_1) = J(\ell^{4k}_1) = J(\ell^{4k+1}_1) = \frac{4k-1}{4k}$$
  这证实了对于维度 $h+1$（其中 $h=4k$）的猜想值，并将维度 $h-1, h, h+1$ 的值在 Hadamard 矩阵存在的条件下统一起来。在没有此假设的情况下，本文提供了 $4k+1$ 的上界以及通过 Hadamard 示例得到的下界，但并未声称对所有 $4k+1$ 维度的无条件精确值。

• 形式化： 每个 $k \ge 1$ 的上界以及维度 5 的锐度结果已使用 Lean 定理证明器进行了形式化验证。代码可在公共仓库中获取，其依赖项仅限于标准经典公理。

意义与主张
本文声称，在无条件情况下，为维度 $4k+1$ 形式的 Jung 常数提供了一个紧致上界，并且在假设 Hadamard 矩阵存在的条件下，确定了这些维度（以及 $4k-1$ 和 $4k$）的精确值。它特别解决了维度 5 这一长期悬而未决的问题。这项工作深化了对高维 $\ell_1$ 空间几何行为的理解，特别是关于直径与包围半径之间关系的理解。

作者指出，引理 3.1 中导出的界限是针对由超过阈值的半径所强制产生的“接触配置”而言的，而非 Jung 常数本身的无条件上界。其结果的意义被置于经典度量几何问题的背景下，特别是组合结构（Hadamod 矩阵、割度度量）与几何常数之间的相互作用。通过 Lean 进行的形式化工作，强调了对涉及复杂组合估计的严谨正确性的验证。