[논문 리뷰] On angles determined by fractal subsets of the Euclidean space via Sobolev bounds for bi-linear operators

Alex Iosevich, Mihalis Mourgoglou외 1명|arXiv (Cornell University)|2011. 10. 31.

Digital Image Processing Techniques참고 문헌 7인용 수 10

한 줄 요약

이 논문은 $ℝ^d$ 의 컴팩트 부분집합이 하우스도르프 차원이 $(d+1)/2$ 를 초과할 경우, 그 집합의 점들로 이루어진 삼중조합이 만드는 각들의 집합이 양의 르베그 측도를 가짐을 증명한다. 증명은 이차형 연산자에 대한 소볼레프 추정과 일반화된 라돈 변환에 적용된 정적위상 방법에 기반하며, 각들이 등분포함과 차원 임계값의 날카로움을 보여준다.

ABSTRACT

We prove that if the Hausdorff dimension of a compact subset of ${\mathbb R}^d$ is greater than $\frac{d+1}{2}$, then the set of angles determined by triples of points from this set has positive Lebesgue measure. Sobolev bounds for bi-linear analogs of generalized Radon transforms and the method of stationary phase play a key role. These results complement those of V. Harangi, T. Keleti, G. Kiss, P. Maga, P. Mattila and B. Stenner in (\cite{HKKMMS10}). We also obtain new upper bounds for the number of times an angle can occur among $N$ points in ${\mathbb R}^d$, $d \ge 4$, motivated by the results of Apfelbaum and Sharir (\cite{AS05}) and Pach and Sharir (\cite{PS92}). We then use this result to establish sharpness results in the continuous setting. Another sharpness result relies on the distribution of lattice points on large spheres in higher dimensions.

연구 동기 및 목표

• 컴팩트 부분집합 $ℝ^d$ 에서 삼중조합이 만드는 각들의 집합이 양의 르베그 측도를 가지기 위한 하우스도르프 차원의 최소 임계값을 규명하는 것.
• 각들이 극한에서 균일하게 분포되어 있는지, 즉 특정 각이 과도하게 빈도가 높지 않은지 조사하는 것.
• 차원 임계값 $(d+1)/2$ 가 날카로운지, 즉 이 값 이하일 경우 각의 집합이 작게 되는 예를 구성함으로써 이를 입증하는 것.
• $ℝ^d$ 에서 $d \geq 4$ 인 $N$ 개의 점들 사이에서 한 각이 반복되는 최대 횟수에 대한 새로운 상한 추정을 유도하고, 이를 연속적 상황에서의 날카로움을 증명하는 데 활용하는 것.

제안 방법

• 고정된 각을 가진 벡터 쌍에 대한 적분을 통해 각의 분포를 모델링하기 위해 일반화된 라돈 변환의 이차형 유사체를 사용하는 것.
• 음수 차수의 소볼레프 공간 추정, 특히 $L^2_{-α}$ 노름을 사용하여 이차형 연산자의 $L^1$-노름을 제어하는 것.
• 각의 분포 측도에서 발생하는 진동적 적분을 분석하기 위해 정적위상 방법을 적용하는 것.
• 표면 측도 $\mu_t$ 의 푸리에 변환에 대한 감쇠 추정을 사용하여 연산자 $T_{μ_t}$ 와 $χ_{μ_t}$ 에 대한 $L^1$-추정을 유도하는 것.
• 프로스트만 측도 $\mu$ 를 집합 $E$ 에 정의하여 $\mu(B_\delta) \lesssim \delta^s$ 를 만족시키며, 여기서 $s = \dim_{\mathcal{H}}(E)$ 이므로 프랙탈 차원을 반영하도록 하는 것.
• 고차원에서의 구 위의 격자점 분포를 이용하여 날카로운 예를 구성하는 것. 특히 $\u211d^d$ 에서 반지름 $R$ 인 구 위의 정수점의 수에 의존하는 것.

실험 결과

연구 질문

• RQ1 컴팩트 부분집합 $E \subset \u211d^d$ 의 하우스도르프 차원의 하한은 무엇인가, 이때 각의 집합 $\mathcal{A}(E)$ 는 양의 르베그 측도를 가짐이 보장되는가?
• RQ2 각들이 $\mathcal{A}(E)$ 에서 균일하게 분포되어 있는지, 즉 특정 각이 과도하게 빈도가 높지 않은지 보장할 수 있는가?
• RQ3 각의 집합 $\mathcal{A}(E)$ 가 양의 측도를 가지기 위한 임계값 $\frac{d+1}{2}$ 는 날카로운가, 아니면 더 낮출 수 있는가?
• RQ4 $ℝ^d$ 에서 $d \geq 4$ 인 $N$ 개의 점들 사이에서 한 각이 반복되는 최대 횟수는 얼마이며, 이는 연속적 상황과 어떻게 관련이 있는가?

주요 결과

• $\dim_{\mathcal{H}}(E) > \frac{d+1}{2}$ 이면, 모든 각 $\alpha \in [0, \pi]$ 는 $\mathcal{A}(E)$ 에서 균일하게 분포되어 있으며, $[\alpha - \epsilon, \alpha + \epsilon]$ 에서 각을 이루는 삼중조합의 측도가 $O(\epsilon)$ 이다.
• $\dim_{\mathcal{H}}(E) > \frac{d+1}{2}$ 이면 각의 집합 $\mathcal{A}(E)$ 의 르베그 측도는 양이며, 이는 날카로운 임계값이다.
• 정리 1.6 에서의 이차형 연산자 추정은 $\alpha + \beta = d-1$ 인 경우 $\|T_{\mu_t}(f,g)\|_{L^1} \lesssim \|f\|_{L^2_{-\alpha}} \|g\|_{L^2_{-\beta}}$ 를 만족하며, 암묵적인 상수는 $d$ 와 $I_s(\mu)$ 에만 의존한다.
• $ℝ^d$ 에서 $d \geq 4$ 인 $N$ 개의 점들 사이에서 한 각이 반복되는 횟수는 $s < \frac{d-2}{2}$ 인 경우 $O(N^{3 - \frac{1}{s}})$ 이며, 이는 연속적 상황의 날카로운 결과와 일치한다.
• $E_n$ 을 반지름 $R$ 인 구 위의 격자점들의 $n^{-1/s}$-근접집합으로 구성함으로써, $|\mathcal{A}(E_n)| \lesssim n^{-1/s} \cdot n^{2/(d-2)}$ 를 도출할 수 있으며, 이는 $s < \frac{d-2}{2}$ 이면 $n \to \infty$ 일 때 0으로 수렴함을 보여, 임계값의 날카로움을 증명한다.
• 날카로움의 증명은 고차원 $\u211d^d$ 의 큰 구 위에서 격자점의 분포에 기반하며, $d \geq 5$ 에서는 $\#\{k \in \mathbb{Z}^d : |k| = R\} \approx R^{d-2}$ 이고, $d=4$ 에서는 약간의 조건 하에 성립한다.