[논문 리뷰] Hausdorff dimension of pinned distance sets and the $L^2$-method

Bochen Liu|arXiv (Cornell University)|2018. 10. 18.

Limits and Structures in Graph Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 고도로 발전된 $L^2$-방법과 주파수 분해, 푸리에 제약 추정을 조합하여 평면에서 고정된 거리 집합의 하우스도르프 차원에 대한 날카로운 하한을 확립한다. 임의의 컴팩트 집합 $E \subset \mathbb{R}^2$에 대해 $\dim_{\mathcal{H}}(E) > 1$이면, $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$를 만족하는 $x \in E$가 존재함을 증명하며, 구트, 이오세비치, 옌, 왕이 제기한 질문을 해결하고, 케레티와 셰르킨의 이전 결과를 향상시킨다.

ABSTRACT

We prove that for any $E\subset{\Bbb R}^2$, $\dim_{\mathcal{H}}(E)>1$, there exists $x\in E$ such that the Hausdorff dimension of the pinned distance set $$Δ_x(E)=\{|x-y|: y \in E\}$$ is no less than $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}, 1 ight\}$. This answers a question recently raised by Guth, Iosevich, Ou and Wang, as well as improves results of Keleti and Shmerkin. (This version is already published on Proceeding AMS so I would like to leave it unchanged. However the statement in the abstract, which is the second part of Theorem 1.1, should be weakened a bit to: for any $ε>0$ there exists $x\in E$ such that the Hausdorff dimension of $Δ_x(E)$ is at least $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}-ε, 1 ight\}$, and it implies the Hausdorff dimension of the distance set, $Δ(E)=\{|x-y|:x,y\in E\}$, is at least $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E)-\frac{2}{3}, 1 ight\}$. There is no problem in the proof and the first part of Theorem 1.1. I apologize for being sloppy and would like to thank Yumeng Ou for pointing it out.)

연구 동기 및 목표

• 평면에서 $\mathbb{R}^2$의 고정된 거리 집합 차원에 관한 구트, 이오세비치, 옌, 왕이 최근 제기한 열린 문제를 해결하기 위해.
• 모든 $x \in E$에 대해 $\dim_{\mathcal{H}}(\Delta_x(E)) > 0$가 성립하는 점의 존재에 대한 이전에 알려진 차원 임계값을 향상시키기 위해.
• $L^2$-방법을 거리 집합 문제에 적용할 때, 르베그 측도의 양성뿐만 아니라, 차원 추정으로까지 확장하기 위해.
• $\dim_{\mathcal{H}}(E) > 1$인 경우에 대해 $\dim_{\mathcal{H}}(E)$와 $\dim_{\mathcal{H}}(\Delta_x(E))$ 사이의 날카로운 정량적 관계를 확립하기 위해.

제안 방법

• 푸시포워드 측도 $\nu_x = d^x_* (\mu_E)$의 $L^2$-노름과 푸리에 제약 추정을 연결하기 위해, 항등식 $\int_0^\infty |f * \omega_t(x)|^2 t^{d-1} dt = \int_0^\infty |f * \widehat{\omega_r}(x)|^2 r^{d-1} dr$ 를 통한 $L^2$-방법을 적용한다.
• 에너지 적분의 주요 기여를 분리하기 위해 $\mu_E = \mu_{E,\text{good}} + \mu_{E,\text{bad}}$의 분해를 사용하며, $\mu_{E,\text{bad}}$는 급속 감쇠 추정을 통해 무시 가능하게 간주한다.
• 자기 유사성 주파수 국소화를 위해 컷오프 함수 $\phi(2^{-k}\xi)$를 사용하는 주파수 분해와 이분법 주파수 국소화를 통해 $\mu_E$의 푸리에 변환을 스케일 $2^k$에서 제어한다.
• 코시-슈바르츠 부등식과 $L^2$-기반 에너지 적분 추정을 적용하여 $\nu_x$의 $\tau$-에너지의 상한을 구하며, 이는 $\widehat{\mu_E}$의 $L^2$-노름과 가중치 $|\xi|^{-\frac{s_F+1}{3}+O(\delta)}$와 연결된다.
• 보렐-칸텔리 보조정리를 사용하여, $\mu_F$-거의 모든 $x \in F$에 대해 $\nu_x$의 $\tau$-에너지가 유한함을 보이며, 이는 $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \tau$를 의미한다.
• 감쇠율을 균형 있게 맞추기 위해 파rameter $\beta, \delta$를 최적화하여 합 $\sum_k \mu_F(F_k)$의 수렴성을 확보하고, 최종적인 차원 하한을 도출한다.

실험 결과

연구 질문

• RQ1 컴팩트 집합 $E \subset \mathbb{R}^2$에 대해 $\dim_{\mathcal{H}}(E) > 1$이면, $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}$를 만족하는 $x \in E$가 존재하는가?
• RQ2 $L^2$-방법이 고정된 거리 집합의 차원 추정으로 일반화될 수 있는가, 르베그 측도의 양성 외에도?
• RQ3 $\min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$의 하한이 고정된 거리 집합의 차원에 대해 날카로운가?
• RQ4 $\mu_{E,\text{good}}$만으로 에너지 적분을 제어할 수 없는 문제를 정교한 주파수 및 측도 분해를 통해 극복할 수 있는가?

주요 결과

• 임의의 컴팩트 집합 $E \subset \mathbb{R}^2$에 대해 $\dim_{\mathcal{H}}(E) > 1$이면, $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \min\left\{\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}, 1\right\}$를 만족하는 $x \in E$가 존재한다.
• 이 결과는 구트, 이오세비치, 옌, 왕이 제기한 추측을 확인하며, 케레티와 셰르킨이 이전에 확보한 $\min\left\{\frac{2}{3}\dim_{\mathcal{H}}(E), 1\right\}$의 이전 하한을 향상시킨다.
• $\frac{4}{3}\dim_{\mathcal{H}}(E) - \frac{2}{3}$의 하한은, 문헌에 있는 예시들을 통해 $L^2$-방법으로는 더 나은 지수를 얻을 수 없음을 보여, 날카로운 것으로 간주된다.
• 증명은 $\nu_x$의 $L^2$-노름과 $\mu_E$의 푸리에 제약 성질 사이의 정량적 연결을 주파수 국소화와 에너지 적분 추정을 통해 확립한다.
• 에너지 적분에서 $\nu_{x,\text{good}}$가 전체 $\nu_x$를 제어하지 못하는 문제를 정교한 분해와 급속 감쇠 추정을 통해 성공적으로 극복하였다.
• 최종적인 차원 하한은 집합의 수열 $F_k$에 대한 보렐-칸텔리 추론을 통해 확보되며, 이는 $\mu_F$-거의 모든 $x$에 대해 $\nu_x$의 $\tau$-에너지가 유한함을 보여주며, 이는 $\dim_{\mathcal{H}}(\Delta_x(E)) \geq \tau$를 의미한다.