히젠베르크 군의 L₁ 임베딩과 그래프 등변성 빠른 추정

본 논문은 히젠베르크 군 H(ℤ)의 구조와 L₁ 공간 사이의 관계를 탐구하고, 이를 통해 그래프 이론에서 핵심적인 스파시스트 컷 문제의 근사 한계를 제시한다. 1. **히젠베르크 군의 기하학** - H는 ℝ³에 군 연산 (a,b,c)·(a′,b′,c′) = (a+a′, b+b′, c+c′+ab′−ba′) 로 정의되며, 정수 격자 H(ℤ)는 유한 생성 집합 {±e₁,±e₂,±e₃} 로 생성되는 워드 메트릭 d_W 를 갖는다. - Pansu와 Pauls의 미분가능성 이론에 따르면 (H(ℤ), d_W)는 어떤 유한 차원 리만 공간에도 비리프시즘 임베딩이 불가능하다. 이는 군의 비아벨리안 구조와 Carnot‑Carathéodory 거리의 비선형성에 기인한다. 2. **L₁ 공간에 대한 비임베딩** - L₁(μ) (μ는 비원자 측도)에서는 기존 미분가능성 도구가 무용지물이다. Cheeger와 Kleiner는 “측정 가능한 차별가능성”이라는 새로운 개념을 도입해, 모든 Lipschitz 사상 f: H(ℤ) → L₁(μ)가 거의 everywhere에서 선형화될 수 있음을 보였다. - 이를 이용해 H(ℤ)는 L₁(μ)에 비리프시즘 임베딩이 불가능함을 증명한다. 이 결과는 L₁이 부정형(metric of negative type)임을 이용한 절단 표현(cut cone)과도 연결된다. 3. **정량적 비임베딩 정리** - **정리 1.1**: n×n×n 격자 G_n = {1,…,n}³에 대한 워드 메트릭 제한을 L₁에 임베딩할 경우, 왜곡 D(G_n) ≥ c·(log n)^c₁ (c₁>0, c는 보편 상수)이다. - **정리 1.2**: 모든 1‑리프시츠 매핑 f: H(ℤ) → L₁(μ)에 대해 압축 함수 ω_f(t) ≤ t/(log t)^c₂ (c₂>0) 가 성립한다. 이는 “압축률”이 로그 차수만큼 감소함을 의미한다. 4. **스파시스트 컷 문제와 연결** - 스파시스트 컷은 두 대칭 함수 C, D :