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

기술 요약: $\ell^d_1$의 융 상수(Jung Constant)에 대한 상한

문제 정의
본 논문은 $d$차원 실수 공간($\ell_1$ 노름을 가진 맨해튼 거리)에 대한 융 상수 $J(\ell^d_1)$를 결정하는 문제를 다룬다. 공집합이 아닌 유계 집합 $A \subset \mathbb{R}^d$에 대해, 융 상수는 모든 그러한 집합에 대하여 체비쇼프 반지름($rad\, A$)과 지름($diam\, A$)의 비율의 상한(supremum)으로 정의된다. 구체적으로, 저자는 정수 $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$인 하다마르 행렬(Hadamard matrix)이 존재한다면, $J(\ell^h_1) = J(\ell^{h+1}_1) = J(\ell^{h+2}_1) = (h-1)/h$라고 제안했다.

방법론
증명 전략은 기하학적 축소 기법과 컷 메트릭(cut metrics)에 대한 조합론적 추정치를 결합한다:

1. 접촉 축소 및 차원 경계 (Contact Reduction and Dimension Bounds):
   저자는 보조정리 2.1을 사용하여 문제를 최소 포함 구(minimal enclosing ball)를 정의하는 접점 $y_i$와 연관된 부호 $\sigma_i$들의 유한 집합으로 축소한다. 만약 반지름 $R$이 특정 임계값을 초과하면, 보조정리 2.2는 접점의 수가 반드시 $2p$ (여기서 $d=2p-1$)여야 하며 부호의 합이 0이어야 함을 확립한다. 이는 임의의 점 $z$로부터 접점들까지의 거리의 합에 관한 부등식으로 이어진다.

2. 컷에 대한 이차 형식 추정 (Quadratic-Form Estimates for Cuts):
   핵심적인 기술적 혁신은 기하학적 거리 제약 조건을 가중치가 있는 컷 세미메트릭(weighted sums of cut semimetrics)의 문제로 변환하는 데 있다.

• 일반적인 경우 ($k \ge 2$): 차원이 $d = 4k+1$ ($p = 2k+1 \ge 5$)인 경우, 저자는 보조정리 3.1을 사용한다. 이 보조정리는 쌍별 거리와 "균형 잡힌(balanced)" 컷의 수에 대한 제약 조건이 주어졌을 때, 컷 크기의 가중 합($\Phi$)에 대한 상한 $B_p$를 제공한다. 보조정리 3.1의 증명은 거리 행렬과 특정 벡터 구조를 이용한 이차 형식 분석에 기초한다.
• 5차원 케이스 ($k=1$): 일반적인 이차 형식 상한은 $p=3$ (5차원)인 경우에 불충분하다. 섹션 5에서는 특화된 "6-라벨 용량 추정(six-label capacity estimate)" (명제 5.1)을 도입한다. 이는 6개의 라벨에 대한 컷의 조합론적 분석을 포함하며, 균형 잡힌 컷을 그래프 표현(그래프 $K_5$의 에지)으로 분류하고, 상한 $\Phi \le 9/2$를 증명하기 위해 명시적인 가중치 증명(weight certificates)을 구성하는 과정을 포함한다.

3. 좌표 간극 및 임의의 집합 (Coordinate Gaps and Arbitrary Sets):
   보조정리 4.1은 좌표별 중앙값(coordinate-wise medians)을 사용하여 쌍별 거리를 보존하는 컷 메트릭을 구성함으로써, 유한한 접점 집합과 임의의 유계 집합 사이의 간극을 메운다. 보조정리 4.2는 컴팩트성 논증(compactness argument)을 통해 유한한 결과를 임의의 공집합이 아닌 유계 집합으로 확장한다.

4. 샤프니스(Sharpness) 및 하다마르 행렬:
   상한이 타이트함을 증명하기 위해 저자는 특정 점 집합들을 구성한다. 하한을 위해서는 하다마르 행렬의 성질을 활용한다(명제 7.1). $d=5$인 특정 사례의 경우, 반지름이 지름의 $3/4$보다 작을 수 없음을 보여주는 4점 집합을 명시적으로 구성한다.

주요 기여 및 결과

• 주요 정리 (정리 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}$인 주변 포함 구(ambient enclosing ball)를 가짐을 확립한다.

• 5차원 케이스의 해결: 본 논문은 $J(\ell^5_1) = 3/4$임을 증명한다. 이는 5차원에 대한 상한과 일치하는 하한을 모두 확립함으로써 알리모프와 차르코프의 조사에서 제기되었던 미해결 문제를 해결한다.

• 이바노프의 추측 확인 (조건부): 결론 1.2는 만약 차수가 $4k$인 하다마르 행렬이 존재한다면, 다음의 세 연속된 차원에 대해 정확한 값이 결정됨을 명시한다:
  $$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$ 차원의 값들을 통합한다. 이 가정이 없는 경우, 본 논문은 $4k+1$ 차원에 대한 상한을 제공하고 하다마르 예시를 통해 하한을 제공하지만, 모든 $4k+1$ 차원에 대해 무조건적으로 정확한 값을 주장하지는 않는다.

• 정형화 (Formalization): 모든 $k \ge 1$에 대한 상한과 차원 5에 대한 샤프니스 결과는 Lean 정리 증명기(theorem prover)를 사용하여 공식적으로 검증되었다. 코드는 공개 저장소에 있으며, 의존성은 표준 고전 공리들로 제한된다.

의의 및 주장
본 논문은 차원이 $4k+1$ 형태인 경우에 대한 융 상수의 타이트한 상한을 무조건적으로 제공하며, 하다마르 행렬의 존재를 가정할 때 이 차원들(및 $4k-1, 4k$)에 대한 정확한 값을 제공한다고 주장한다. 특히, 5차원에 대한 오래된 미해결 문제를 해결한다. 본 연구는 고차원 $\ell_1$ 공간의 기하학적 거동, 특히 지름과 포함 반지름 사이의 관계에 대한 이해를 정교화한다. 저자는 보조정리 3.1에서 도출된 상한이 반지름이 임계값을 초과할 때 강제되는 "접점 구성"에 특화된 것이며, 융 상수 자체에 대한 무조건적인 상한은 아니라는 점을 언급한다. 결과의 의의는 고전적 메트릭 기하학 문제, 특히 조합론적 구조(하다마르 행렬, 컷 메트릭)와 기하학적 상수 사이의 상호작용의 맥락 내에서 서술된다. Lean을 통한 정형화는 복잡한 조합론적 추정치의 엄밀한 정확성을 검증하는 것으로 강조된다.