[논문 리뷰] An elementary approach to simplexes in thin subsets of Euclidean space

Allan Greenleaf, Alex Iosevich외 2명|arXiv (Cornell University)|2016. 08. 16.

Mathematics and Applications참고 문헌 10인용 수 6

한 줄 요약

이 논문은 $ℝ^d$ 내의 희박한 부분집합에서 비퇴화한 $k$-차원 단체의 존재에 대한 새로운 차원 임계값을 설정한다. 만약 컴팩트한 집합 $E \subset \mathbb{R}^d$의 하우스도르프 차원이 $\frac{d+k}{2}$를 초과한다면, $E$의 점들을 꼭짓점으로 가지는 $k$-단체의 동형류 집합은 $\binom{k+1}{2}$-차원 르베그 측도를 가진다. 저자들은 프로스트만 측도, 표면 측도, 복소 해석적 보간법을 기반으로 하는 간단한 방법을 통해 이 결과를 도출하여 이전의 임계값 $\frac{d+k+1}{2}$를 향상시켰다.

ABSTRACT

We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 3$, is greater than $\min \left\{ \frac{dk+1}{k+1}, \frac{d+k}{2} ight\},$ then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$, the set of congruence classes of $k$-dimensional simplexes with vertices in $E$, is positive. This improves the best bounds previously known, decreasing the $\frac{d+k+1}{2}$ threshold obtained in Erdoğan-Hart-Iosevich (2012) to $\frac{d+k}{2}$ via a different and conceptually simpler method. We also give a simpler proof of the $d-\frac{d-1}{2d}$ threshold for $d$-dimensional simplexes obtained in Greenleaf-Iosevich (2012), Grafakos-Greenleaf-Iosevich-Palsson (2015).

연구 동기 및 목표

• 컴 pact 집합 $E \subset \mathbb{R}^d$ 내에서 $k$-차원 단체의 동형류 집합의 $\binom{k+1}{2}$-차원 르베그 측도가 양이 되게 하는 최적의 하우스도르프 차원 임계값을 결정하는 것.
• 이전에 알려진 임계값 $\frac{d+k+1}{2}$를 더 단순하고 간단한 접근 방식으로 $\frac{d+k}{2}$로 향상시키는 것.
• 이전에 [10, 9]에서 확립된 $d$-차원 단체에 대한 $d - \frac{d-1}{2d}$ 임계값에 대해 간결한 증명을 제공하는 것.
• 단체 구성과 관련된 다중선형 형식에 대한 균일한 교차 수치를 확립하여, 동형류 집합의 측도가 양이 되는 것을 암시하는 것.
• 기하 측도 이론에서 프로스트만 측도와 표면 측도를 포함한 기법들을 통합하고 단순화하여 더 강력하고 명확한 결과를 도출하는 것.

제안 방법

• 저자들은 $\dim_{\mathcal{H}}(E) > s$ 조건을 만족하는 $E$ 위에 지지된 프로스트만 측도 $\mu$를 사용하여 푸리에 변환의 감쇠와 $L^p$-상한을 제어한다.
• 그들은 거리가 $t_{ij}$인 구 위의 근사 표면 측도 $\sigma_t^\epsilon$의 컨볼루션을 포함하는 다중선형 형식 $\Lambda^\epsilon_k(\mu)$를 정의한다. 이는 $k+1$개의 점 간의 거리를 나타낸다.
• 핵심 추정식 $|\Lambda^\epsilon_k(\mu)| \lesssim 1$ 은 균일한 $L^1$-노름과 리프스 잠재력의 상한에 기반한 복소 해석적 보간을 통해 증명된다.
• 조건 $\dim_{\mathcal{H}}(E) > d - \operatorname{Re}(z)$ 하에서 리프스 잠재력 유형의 연산자 $\mu_z^\delta(x) = (\mu^\delta * |\cdot|^{-d+z})(x)$에 대한 $L^\infty$ 상한을 확립한다.
• 전이성과 차원 제약 조건 하에서, 모든 쌍 중 하나를 제외한 $d+1$개의 점에 대한 거리 쌍에 대한 적분을 볼륨 패킹 추정으로 제한하여 $\lesssim 1$을 얻는다.
• 최종 상한은 $L^1$-노름에 대한 거리 커널의 추정과 $L^\infty$ 상한에 대한 리프스 잠재력의 추정을 복소 매개수의 해석적 보간을 통해 결합하여 도출된다. 이때 실수 부분의 합이 0이 되도록 한다.

실험 결과

연구 질문

• RQ1 하우스도르프 차원이 $s_0(k,d)$ 이상이면 $\mathcal{L}^{\binom{k+1}{2}}(T_k(E)) > 0$ 가 보장되는 최적의 임계값 $s_0(k,d)$ 는 무엇인가?
• RQ2 이전에 [6]에서 알려진 $\frac{d+k+1}{2}$의 임계값을 더 간단한 방법으로 $\frac{d+k}{2}$로 향상시킬 수 있는가?
• RQ3 향상된 차원 임계값 $\frac{d+k}{2}$ 하에서 $|\Lambda^\epsilon_k(\mu)| \lesssim 1$ 이 성립하는가?
• RQ4 이전에 [10, 9]에서 확립된 $d - \frac{d-1}{2d}$의 임계값에 대해 더 단순하고 명확한 증명을 재구성할 수 있는가?
• RQ5 복소 해석적 보간과 리프스 잠재력은 기하 측도 이론에서 다중선형 형식에 대한 균일한 상한을 확립하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $\dim_{\mathcal{H}}(E) > \frac{d+k}{2}$ 이면 $k$-차원 단체의 동형류 집합 $T_k(E)$ 가 $\binom{k+1}{2}$-차원 르베그 측도를 양성으로 가짐을 증명한다. 이는 이전의 임계값 $\frac{d+k+1}{2}$ 보다 향상된 결과이다.
• 저자들은 이 결과를 프로스트만 측도, 표면 측도의 컨볼루션, 복소 해석적 보간법을 기반으로 하는 간단한 방법으로 도출하여 이전 연구에서 사용된 더 복잡한 기법을 피했다.
• 임계값 $\dim_{\mathcal{H}}(E) > \frac{d+k}{2}$ 하에서 새로운 균일한 교차 수치 $|\Lambda^\epsilon_k(\mu)| \lesssim 1$ 이 증명되었으며, 이는 동형류 집합의 측도가 양이 되는 것을 암시한다.
• $d$-차원 단체에 대한 $d - \frac{d-1}{2d}$ 임계값은 볼륨 패킹과 리프스 잠재력의 $L^\infty$ 추정에 기반한 더 단순한 증명으로 재구성되었다.
• 조건 $\dim_{\mathcal{H}}(E) > d - \operatorname{Re}(z)$ 하에서 $|\mu_z^\delta(x)| \leq C$ 의 상한은 이중 분할과 프로스트만 보조정리를 통해 확립되었으며, 잠재력 유형의 연산자에 대한 균일한 제어를 보장한다.
• 최종 결과는 $\binom{d+1}{2}$ 개의 관계 $\operatorname{Re}(\alpha_j) = -\frac{(d-1)^2}{4d} + \frac{\epsilon}{2}$ 또는 $\frac{d-1}{2d} - \frac{\epsilon}{d-1}$ 에 대해 복소 매개수의 해석적 보간을 통해 도출되며, 실수 부분의 합이 0이 되도록 하여 볼록 hull 이 $\vec{0}$ 을 포함함을 보장한다.