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

技術要約：$\ell^d_1$ のユング定数の上界

問題設定
本論文は、$d$ 次元の実空間において $\ell_1$ ノルム（マンハッタン距離）を付与された場合のユング定数 $J(\ell^d_1)$ の決定に取り組んでいる。空でない有界集合 $A \subset \mathbb{R}^d$ に対して、ユング定数は、すべてのそのような集合に対して、チェビシェフ半径 ($rad\, A$) と直径 ($diam\, A$) の比の上限として定義される。具体的には、著者は $d$ が整数 $k \ge 1$ に対して $d = 4k+1$ の形をとる場合の $J(\ell^d_1)$ に対するタイトな上界を確立することを目的としている。

これまでの先行研究では、古典的な境界（例：$J(\ell^d_1) \le d/(d+1)$ および $J(\ell^{2m}_1) \le (2m-1)/(2m)$）が存在していたが、2019年の Alimov と Tsar'kov による調査では、次元 $d=5$ （すなわち $k=1$）における正確な値は未知であった。さらに、Ivanov の予想では、もし位数 $h=4k$ のアダマール行列が存在するならば、$J(\ell^h_1) = J(\ell^{h+1}_1) = J(\ell^{h+2}_1) = (h-1)/h$ となることが提唱されていた。

手法
証明戦略は、幾何学的簡約技術とカット計量に関する組合せ論的推定を組み合わせたものである：

1. 接触簡約と次元境界：
   著者は補題 2.1 を用いて、問題を有限個の「接触点」$y_i$ と、最小包含球を定義する関連する符号 $\sigma_i$ へと簡約する。半径 $R$ が特定の閾値を超える場合、補題 2.2 は、接触点の数が必ず $2p$ 個（ここで $d=2p-1$）であり、かつ符号の和がゼロになることを確立する。これにより、任意の点 $z$ からこれらの接触点までの距離の和に関する不等式が導かれる。

2. カットに関する二次形式の推定：
   核心となる技術的革新は、幾何学的な距離制約を、カット半計量の重み付き和に関する問題へと翻訳することにある。

   • 一般の場合 ($k \ge 2$)： 次元 $d = 4k+1$ （ここで $p = 2k+1 \ge 5$）の場合、著者は補題 3.1 を用いる。この補題は、ペアごとの距離と「バランスの取れた」カットの数に関する制約の下で、カットサイズ（$\Phi$）の重み付き和の上界 $B_p$ を提供する。補題 3.1 の証明は、距離行列と特定のベクトル構成を用いた二次形式の解析に基づいている。
   • 5次元の場合 ($k=1$)： 一般的な二次形式による境界は $p=3$ （次元 5）においては不十分である。セクション 5 では、特殊な「6ラベル容量推定」（命題 5.1）を導入する。これには、6つのラベル上のカットに関する組合せ論的解析が含まれ、カットをグラフ表現（$K_5$ のエッジ）によって分類し、境界 $\Phi \le 9/2$ を証明するための明示的な重み証跡を構築するプロセスが含まれる。

3. 座標ギャップと任意の集合：
   補成立点間の距離を保存するカット計量を構築するために、座標ごとの中央値を利用することで、有限な接触集合と任意の有界集合の間のギャップを補題 4.1 が埋める。補題 4.2 は、コンパクト性論法を通じて、有限の結果を任意の空でない有界集合へと拡張する。

4. 鋭さとアダマール行列：
   境界が鋭いことを証明するために、著者は特定の点集合を構成する。下界については、アダマール行列の性質（命題 7.1）を利用している。次元 5 の特定の場合には、半径が直径の $3/4$ より小さくならないことを示すために、4点集合が明示的に構成されている。

主要な貢献と結果

• 主定理 (Theorem 1.1)： すべての整数 $k \ge 1$ について、次元 $4k+1$ のユング定数は、次の方程式による無条件の上界を満たす：
  $$J(\ell^{4k+1}_1) \le \frac{4k-1}{4k}$$
  これは、$\mathbb{R}^{4k+1}$ におけるすべての空でない有界集合が、その直径の最大 $\frac{4k-1}{4k}$ 倍の周囲包含球を持つことを確立している。

• 5次元ケースの解決： 本論文は、$J(\ell^5_1) = 3/4$ であることを証明した。これにより、Alimov と Tsar'kov の調査で未解決とされていた問題が、この特定の次元における上界と一致する下界の両方を確立することによって解決された。

• Ivanov の予想の確認（条件付き）： 系 1.2 は、もし 位数 $4k$ のアダマール行列が存在するならば、以下の 3 つの連続する次元について正確な値が決定されることを述べている：
  $$J(\ell^{4k-1}_1) = J(\ell^{4k}_1) = J(\ell^{4k+1}_1) = \frac{4k-1}{4k}$$
  これは、$h=4k$ としたときの次元 $h+1$ に関する予想された値を裏付け、次元 $h-1, h, h+1$ の値をアダマール行列の存在の下で統一するものである。アダマール行列の仮定がない場合、本論文は $4k+1$ 次元のための上界を提供し、アダマール例による下界を提供するが、すべての $4k+1$ 次元に対して無条件に正確な値を主張するものではない。

• 形式化： すべての $k \ge 1$ に対する上界および次元 5 の鋭さの結果は、Lean 定理証明器を用いて形式的に検証された。コードは公開リポジトリで利用可能であり、依存関係は標準的な古典的公理に限定されている。

意義と主張
本論文は、次元 $4k+1$ の形のユング定数に対して、無条件のタイトな上界を提供し、アダマール行列が存在するという仮定の下で、これらの次元（および $4k-1$ と $4k$）に対する正確な値を提供することを主張している。特に、次元 5 の長年の未解決問題を解決している。本研究は、高次元における $\ell_1$ 空間の幾何学がどのように振る舞うか、特に直径と包含半径の関係に関して、理解を深めるものである。

著者は、補題 3.1 で導出された境界は、半径が閾値を超えることで強制される「接触構成」に特有のものであり、ユング定数自体の無条件の上界ではないことに注意している。本研究の意義は、古典的な計量幾何学の問題、特に組合せ論的構造（アダマール行列、カット計量）と幾何学的定数の相互作用という文脈において位置づけられている。複雑な組合せ論的推定の厳密な正当性を検証するものとして、Lean による形式化が強調されている。