[논문 리뷰] On Falconer's distance set problem in the plane

Larry Guth, Alex Iosevich외 2명|arXiv (Cornell University)|2018. 08. 28.

Mathematical Dynamics and Fractals참고 문헌 22인용 수 19

한 줄 요약

이 논문은 $ \mathbb{R}^2 $ 내의 컴act 집합 $ E \subset \mathbb{R}^2 $ 가 하우스도르프 차원이 $ 5/4 $ 초과일 경우, $ \Delta_x(E) = \{ |x - y| : y \in E \} $ 가 양의 르베그 측도를 가진 핀너드 거리 집합을 가지는 점 $ x \in E $ 가 존재함을 증명한다. 증명은 조화 분석의 분리 기법과 기하 측도 이론을 결합하며, 워프의 이전 결과인 $ 4/3 $ 기준을 향상시키고 평면에서 팔코너의 거리 집합 추측을 발전시킨다.

ABSTRACT

If $E \subset \mathbb{R}^2$ is a compact set of Hausdorff dimension greater than $5/4$, we prove that there is a point $x \in E$ so that the set of distances $\{ |x-y| \}_{y \in E}$ has positive Lebesgue measure.

연구 동기 및 목표

• 평면에서 팔코너의 거리 집합 추측의 임계값을 $ 4/3 $ 에서 $ 5/4 $ 로 낮추는 것.
• 하우스도르프 차원이 $ 5/4 $ 초과일 경우, $ x \in E $ 가 존재하여 $ \Delta_x(E) $ 가 양의 르베그 측도를 가짐을 보이는 것.
• 무한 차수의 미분 가능하고 엄밀히 볼록인 단위 구를 가진 일반 노름으로 결과를 확장하여, 동일한 차원 기준에서 핀너드 거리 집합이 양의 측도를 가짐을 보이는 것.
• 차원이 $ s > 1 $ 인 집합에 대해 $ \Delta_{x,K}(E) $ 의 상부 민코프스키 차원에 대한 하한을 제시하며, 거리 집합의 덮개 구조에 대한 정교한 분석을 사용하는 것.

제안 방법

• 거리 함수에 대한 $ L^2 $-제약 추정을 제어하기 위해 부르간과 데메터의 분리 정리를 활용한다.
• 오르포넨과 케리티-슈머킨의 방법을 변형 적용하여, $ E $ 에 지지된 측도의 에너지와 그 커플라션에 초점을 맞춘다.
• 에너지 적분을 '좋은' 부분과 '나쁜' 부분으로 분해하며, '좋은' 부분은 $ L^2 $-분리와 $ L^1 $-추정을 통해 제어한다.
• 이중 주파수 분해와 주파수 국소화를 사용하여, 거리 측도의 푸리에 변환을 분석하고 주파수 공간에서 $ \ell^2 $-분리를 적용한다.
• 르베그 측도와 $ \delta $-근접 거리 집합의 $ L^2 $-노름 사이의 관계를 연결하기 위해 덮개 추론을 적용한다.
• 미분 가능하고 엄밀히 볼록한 노름을 갖는 일반 노름으로의 적용을 위해, 곡률을 유지하면서 $ C^\infty $-스무스한 노름을 변형하여 동일한 분리 기반 기법을 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 평면에서 팔코너의 거리 집합 추측의 임계값을 $ 4/3 $ 에서 $ 5/4 $ 로 향상시킬 수 있는가?
• RQ2 하우스도르프 차원이 $ 5/4 $ 초과일 경우, $ x \in E $ 가 존재하여 $ \Delta_x(E) $ 가 양의 르베그 측도를 가짐이 보장되는가?
• RQ3 결과를 $ C^\infty $-스무스하고 엄밀히 볼록한 단위 구를 가진 일반 노름으로 확장할 수 있는가?
• RQ4 차원이 $ s > 1 $ 인 집합에 대해 $ \Delta_{x,K}(E) $ 의 상부 민코프스키 차원에 대한 하한은 무엇인가?
• RQ5 상부 민코프스키 차원의 상한을 하우스도르프 차원의 하한으로 향상시킬 수 있는가?

주요 결과

• 하우스도르프 차원이 $ 5/4 $ 초과일 경우, $ \mathcal{L}(\Delta_x(E)) > 0 $ 를 만족하는 $ x \in E $ 가 존재하며, 워프의 $ 4/3 $ 기준을 향상시킨다.
• 모든 대칭 볼록체 $ K \subset \mathbb{R}^2 $ 가 $ C^\infty $ 경계와 양의 곡률을 가질 경우, 하우스도르프 차원이 $ 5/4 $ 초과일 경우 어떤 $ x \in E $ 에 대해 $ \mathcal{L}(\Delta_{K,x}(E)) > 0 $ 이다.
• 하우스도르프 차원이 $ s > 1 $ 인 컴팩트 집합 $ E \subset \mathbb{R}^2 $ 에 대해, 어떤 $ x \in E $ 에 대해 $ \Delta_{K,x}(E) $ 의 상부 민코프스키 차원은 최소 $ \frac{4s}{3} - \frac{2}{3} $ 이상이다.
• 메소드는 핀너드 집합 내 $ \delta $-분리된 거리의 수에 대한 하한을 제공한다: $ s $-적응 가능한 점 집합 $ P $ 의 크기가 $ N $ 일 경우 $ |\Delta_{K,x}(P)| \gtrapprox N^{4/5} $ 이다.
• 증명은 $ \delta $-근접 거리 집합 $ \Delta_{x,K}(E) $ 의 르베그 측도가 $ c \delta^{5/3 - 4\alpha/3 + \epsilon} $ 이하로 바운드됨을 보여주며, 이는 차원 기준을 이끌어낸다.
• 복소수 측도 $ \mu_{1,\text{good}} $ 의 성격으로 인해 표준 에너지 추정이 불가능하여, 방법이 직접적으로 $ \Delta_{x,K}(E) $ 의 하우스도르프 차원에 대한 하한을 도출하지 못한다.