[논문 리뷰] L_1 embeddings of the Heisenberg group and fast estimation of graph isoperimetry

Assaf Naor|arXiv (Cornell University)|2010. 03. 22.

Point processes and geometric inequalities참고 문헌 38인용 수 17

한 줄 요약

이 논문은 메트릭 기하학과 헤이젠베르크 군 위의 해석학에서의 새로운 기법을 사용하여 이산 헤이젠베르크 군이 $L_1$ 공간으로의 임베딩의 왜곡에 대한 날카운 양적 하한을 확립한다. 헤이젠베르크 군 내의 $n \times n \times n$ 격자에서의 워드 메트릭은 $L_1$에서 최소 $\gtrsim (\log n)^c$의 왜곡을 요구하며, $L_1$로의 1-립시츠 사상은 압축률 $\omega_f(t) \lesssim t / (\log t)^c$를 가진다. 이는 스퍼스티 캐트 문제와 비-립시츠 임베딩 이론에서 핵심적인 질문들을 해결한다.

ABSTRACT

We survey connections between the theory of bi-Lipschitz embeddings and the Sparsest Cut Problem in combinatorial optimization. The story of the Sparsest Cut Problem is a striking example of the deep interplay between analysis, geometry, and probability on the one hand, and computational issues in discrete mathematics on the other. We explain how the key ideas evolved over the past 20 years, emphasizing the interactions with Banach space theory, geometric measure theory, and geometric group theory. As an important illustrative example, we shall examine recently established connections to the the structure of the Heisenberg group, and the incompatibility of its Carnot-Carathéodory geometry with the geometry of the Lebesgue space $L_1$.

연구 동기 및 목표

• 비원자 측도를 가진 $L_1(\mu)$ 공간으로의 이산 헤이젠베르크 군 $\mathbb{H}(\mathbb{Z})$의 정량적 비임베딩 결과를 확립하기 위해.
• 조합 최적화에서 $L_1$ 비임베딩과 스퍼스티 캐트 문제 사이의 연결 고리를 해결하기 위해.
• 유한한 설정에서는 존재하지 않는 문제를 해결하기 위해 헤이젠베르크 군에서의 메트릭 미분과 컷 측도에 대한 정량 이론을 개발하기 위해.
• 헤이젠베르크 군의 카르노-카라테오도리 메트릭 기하학이 $L_1$ 기하학과 조화를 이룰 수 없음을 증명하기 위해, 비록 비유한 설정에서는 미분 정리가 실패하더라도 마찬가지로 성립한다.

제안 방법

• 체거와 클레인어가 개발한, 헤이젠베르크 군에서 $L_1(\mu)$로의 리프시츠 함수에 대한 새로운 미분 개념을 사용하여 비임베딩을 증명하기 위해.
• 헤이젠베르크 군에서의 둘레 한계와 등면적 부등식을 적용하여 $L_1$-값 함수의 수준 집합의 측도론적 구조를 제어하기 위해.
• 공간에서 반평면과 얼마나 멀리 떨어져 있는지를 측정하기 위해 정량적 비단조화 기능 $\mathrm{NM}_{B(x,r)}(E)$를 도입하기 위해.
• 비단조화가 작은 집합은 제어 가능한 오차 범위 내에서 측도론적으로 반평면에 가까운, 안정성 결과(정리 5.3)를 증명하기 위해.
• 거의 단조인 집합의 분류를 사용하여 문제를 거의 반평면에 지지되는 컷 측도로 분석으로 환원하기 위해.
• 수직 선 메트릭이 $L_1$-값 함수에 대해 컷 측도가 반평면에 지지될 경우 요구되는 덧셈 조건 $\|f(x_1)-f(x_3)\|_1 = \|f(x_1)-f(x_2)\|_1 + \|f(x_2)-f(x_3)\|_1$를 만족하는 메트릭과 비-이sovolumetric equivalent임을 보여주는 기하적 추론을 사용하기 위해.

실험 결과

연구 질문

• RQ1 헤이젠베르크 군 내의 $n \times n \times n$ 격자에서의 $L_1$ 임베딩 하에 최적의 왜곡은 무엇이며, $n$에 따라 어떻게 척도가 변하는가?
• RQ2 $\mathbb{H}(\mathbb{Z})$에서 $L_1(\mu)$로의 1-립시츠 사상 $f$의 압축률 $\omega_f(t)$는 정량적으로 유계일 수 있는가?
• RQ3 측도와 비단조화 측면에서 헤이젠베르크 군 내의 집합들이 반평면으로 얼마나 잘 근사될 수 있는가?
• RQ4 비유한 설정에서 미분 정리가 실패하더라도, 카르노-카라테오도리 기하학이 왜 $L_1$ 임베딩을 방해하는가?
• RQ5 둘레 한계와 메트릭 미분은 어떻게 결합되어 유한한 비임베딩 결과를 도출하는가?

주요 결과

• 모든 $L_1(\mu)$ 임베딩 하에서 헤이젠베르크 군 내의 $n \times n \times n$ 격자의 왜곡은 어떤 universal $c > 0$에 대해 최소 $\gtrsim (\log n)^c$이며, 이는 강력한 정량적 하한을 확립한다.
• 모든 1-립시츠 사상 $f: \mathbb{H}(\mathbb{Z}) \to L_1(\mu)$에 대해, 모든 $t \geq 2$에 대해 압축률은 $\omega_f(t) \lesssim t / (\log t)^c$를 만족하며, $c > 0$는 universal이다.
• 비단조화 $\mathrm{NM}_{B(x,r)}(E) \leq \varepsilon^a$를 가진 집합은 반경 $\varepsilon r$의 더 작은 공 안에서 측도론적으로 $\varepsilon^{1/3}$-근접한 반평면이므로, 거의 단조 집합에 대한 안정성 결과를 증명한다.
• 최종 단계에서 둘레 한계에 의존하지 않기 위해, 거의 단조 집합이 반평면에 가까운 것으로 분류함으로써 모순을 이끌어내며, 이는 수직선의 내재 기하학과 충돌한다.
• 헤이젠베르크 군 내 수직선의 내재 메트릭은 $L_1$-값 함수에 대해 컷 측도가 반평면에 지지될 경우 요구되는 덧셈 조건을 만족하는 어떤 메트릭과도 비-이sovolumetric equivalent이다.
• 결과적으로 헤이젠베르크 군의 기하학은 $L_1$ 기하학과 본질적으로 불일치하며, 비원자 측도 $\mu$를 가진 $L_1(\mu)$ 설정에서도 마찬가지로 성립함을 보여주며, 메트릭 임베딩 및 최적화 분야에서 오랫동안 미해결이었던 문제를 해결한다.