[논문 리뷰] Differentiating maps into L^1 and the geometry of BV functions

Jeff Cheeger, Bruce Kleiner|ArXiv.org|2006. 11. 30.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 33

한 줄 요약

이 논문은 $\mathbb{R}^n$ 및 헤이젠베르크 군 $\mathbb{H}$와 같은 특정 거리측도공간에서 $L^1$으로의 리프시츠 함수에 대해 고전적 미분 가능성에 실패하는 상황에서도 새로운 형태의 미분 가능성을 확립한다. 주요 결과로는 헤이젠베르크 군이 $L^1$에 이중리프시츠 임베딩을 갖지 못함을 증명하여, 리와 나오르의 추측을 확인하고 이론적 컴퓨터 과학 분야에서 고엠안스-린갈 추측에 대한 자연스러운 반례를 제공한다.

ABSTRACT

This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps, X-->V, and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V=L^1 where differentiability fails. We establish another kind of differentiability for certain X, including R^n and H, the Heisenberg group with its Carnot-Cartheodory metric. It follows that H does not bi-Lipschitz embed into L^1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counter example to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L^1 and functions of bounded variation, which permits us to exploit recent work on the structure of BV functions on the Heisenberg group.

연구 동기 및 목표

• 고전적 미분 가능성에 실패하는 상황에서 $L^1$으로의 리프시츠 함수에 대해 새로운 형태의 미분 가능성을 확립하기.
• 헤이젠베르크 군이 $L^1$에 이중리프시츠 임베딩을 갖지 못한다는 리와 나오르의 추측을 해결하기.
• 이론적 컴퓨터 과학 분야에서 고엠안스-린갈 추측에 대한 자연스러운 반례를 제공하기.
• 컷 측도를 통해 $L^1$-값을 갖는 리프시츠 함수와 유계변동함수(BV)를 연결하고, 헤이젠베르크 군에서의 최신 BV 구조 이론을 활용하기.
• 반복 스케일링 하에서 컷 측도의 점근적 행동을 분석하기 위한 프레임워크를 개발하기.

제안 방법

• 관련된 컷 측도의 스케일링 극한을 분석하여 $L^1$-값 함수에 대한 새로운 미분 가능성 개념을 도입하기.
• 특히 FP (Følner–Poincaré) 컷 측도를 통해 $L^1$-값 함수와 컷 측도 간의 대응을 이용해, 미분 가능성을 거리 수렴으로 번역하기.
• 포incare 부등식과 체적 성장 추정을 통해 총 나쁜 경계 측도를 통제하여 컷 거리 간의 이질성이 작아지도록 보장하기.
• 스케일링 하에서 원래 컷 측도와 점근적으로 일치하는 반공간에 지지된 근사 컷 측도를 구성하기.
• 헤이젠베르크 군에서 BV 함수의 구조 이론 [FSSC01]을 적용하여 $L^1$-값 함수의 수준집합의 경계를 통제하기.
• 삼각부등식과 $L^1$-노름 추정을 사용하여 작은 구에서 원래 및 근사 컷 거리 간의 이질성을 유계하기.

실험 결과

연구 질문

• RQ1 고전적 미분 가능성에 실패하는 상황에서 $L^1$으로의 리프시츠 함수에 대해 새로운 형태의 미분 가능성을 확립할 수 있는가?
• RQ2 카르노-카라테오도리 거리 구조를 갖는 헤이젠베르크 군은 $L^1$에 이중리프시츠 임베딩을 갖는가?
• RQ3 헤이젠베르크 군에서 BV 함수의 구조를 활용하여 $L^1$-값 함수의 점근적 행동을 분석할 수 있는가?
• RQ4 $L^1$-값 함수와 컷 측도 사이에 연결 고리가 존재하여 반공간에 의한 거리 근사가 가능한가?
• RQ5 $L^1$-대상에 대한 비임베딩 정리의 실패는 새로운 미분 가능성 구조의 등장에 의해 설명될 수 있는가?

주요 결과

• 고전적 미분 가능성에 실패하는 상황에서도 $\mathbb{R}^n$ 및 헤이젠베르크 군 $\mathbb{H}$에서 $L^1$으로의 리프시츠 함수에 대해 새로운 형태의 미분 가능성이 성립한다.
• 헤이젠베르크 군은 $L^1$에 이중리프시츠 임베딩을 갖지 못하며, 이는 리와 나오르의 추측을 확인하는 바이다.
• 증명 과정에서 관련된 FP 컷 측도의 붓업(블로우업)이 거의 모든 점에서 반공간에 지지된 이동 불변 컷 측도로 수렴함을 보였다.
• 스케일이 작아질수록 스케일링된 컷 거리와 그 반공간 근사 간의 $L^1$-거리가 0으로 수렴하며, 이 수렴 속도는 $r \cdot \epsilon \delta^{-1}$ 및 $r \cdot \tau \delta$로 통제된다.
• 포incare 부등식과 체적 두배 성질을 통해 총 나쁜 경계 측도를 통제하여 컷 거리 간의 이질성이 작게 유지됨을 보장하였다.
• 이 방법은 이론적 컴퓨터 과학 분야에서 고엠안스-린갈 추측에 대한 반례를 제공하며, 특정 거리측도공간의 $L^1$-임베딩에 대한 자연스러운 기하학적 장벽을 제시한다.