[논문 리뷰] Equilateral triangles in subsets of ${\Bbb R}^d$ of large Hausdorff dimension

Alex Iosevich, Bochen Liu|arXiv (Cornell University)|2016. 03. 07.

Mathematical Dynamics and Fractals참고 문헌 5인용 수 4

한 줄 요약

이 논문은 $d \geq 4$ 인 $ℝ^d$ 의 컴팩트 부분집합 중 허스트로프 차원이 충분히 큰 경우 반드시 정삼각형의 꼭짓점을 포함함을 증명한다. 등변삼각형 구성에 대해 지정된 측도 위에서 푸리에 제약 이론과 정적 위상 분석을 적용함으로써, 제약 연산자의 $L^2$-노름이 감쇠하는 속도를 확보하여, 차원이 $d - 1/2$ 를 초과할 경우 이러한 삼각형의 존재를 보장한다. 이 결과는 차원 4 이상에서 추가적인 구조적 가정이 필요로 하지 않는다는 점에서 이론의 빈자리 문제를 해결한다.

ABSTRACT

We prove that subsets of ${\Bbb R}^d$, $d \ge 4$ of large enough Hausdorff dimensions contain vertices of an equilateral triangle. It is known that additional hypotheses are needed to assure the existence of equilateral triangles in two dimensions (see \cite{CLP14}). We show that no extra conditions are needed in dimensions four and higher. The three dimensional case remains open. Some interesting parallels exist between the triangle problem in Euclidean space and its counter-part in vector spaces over finite fields. We shall outline these similarities in hopes of eventually achieving a comprehensive understanding of this phenomenon in the setting of locally compact abelian groups.

연구 동기 및 목표

• 컴팩트 집합에서 등변삼각형 구성이 보장되는 $ℝ^d$ 에서의 최소 허스트로프 차원 임계값을 규명하는 것.
• 차원 $d \geq 4$ 에서 큰 허스트로프 차원을 가진 집합에 등변삼각형이 존재하는지에 대한 열린 문제를 추가적인 구조적 가정 없이 해결하는 것.
• 유클리드 공간에서의 등변삼각형 구성과 유한체 위의 벡터 공간에서의 구성 간 유사성에 대해, 산술적 장벽과 거리적 장벽의 관계를 확장하는 것.
• 관련 측도의 감쇠 성질과 함께, 등변삼각형 존재의 날카운 임계값을 치수와 연관지어 설정하는 것.
• 정적 위상 방법을 적용하여 기하측도론과 조화해석학을 연결함으로써, 등변삼각형 구성에 대한 제약 추정에 응용하는 것.

제안 방법

• 모든 등변삼각형을 포함하는 표면 측도 $σ$ 를 기하학적 변수 $u_1, u', v'$ 를 통해 매개변수화하여 정의한다.
• 위상 함수의 임계점을 분석함으로써, 이 표면에 제약된 푸리에 변환의 $L^2$-연산자 노름을 추정하기 위해 정적 위상 방법을 적용한다.
• 위상 함수 $σ(ξ, \eta)$ 의 헤시안 행렬식을 분석하여, $|\xi + g_{\pi/3}\eta|$ 에 따라 감쇠 추정을 유도한다. 여기서 $g_{\pi/3}$ 는 $\pi/3$ 라디안 만큼의 회전을 의미한다.
• 극좌표와 각도 적분을 사용하여 $\langle \xi, \eta \rangle$ 가 작거나 $|\xi + g_{\pi/3}\eta|$ 가 작은 영역의 기여를 유계화한다.
• 정적 위상 점근 해석을 통해 핵심 추정식 $|\hat{\sigma}(\xi, \eta)| \lesssim |\xi + g_{\pi/3}\eta|^{-1/2} |\xi|^{-(d-2)/2} |\eta|^{-(d-2)/2} |\sin \langle \xi, \eta \rangle|^{-(d-2)/2}$ 을 유도한다.
• 제약 추정과 $L^2$-분할 기법을 결합하여, 허스트로프 차원이 $d - 1/2$ 를 초과하는 집합 $E \subset \u211d^d$ 는 반드시 등변삼각형을 포함해야 한다는 것을 보인다.

실험 결과

연구 질문

• RQ1 차원 $d \geq 4$ 에서 모든 컴팩트 집합이 등변삼각형의 꼭짓점을 포함하기 위한 최소 허스트로프 차원 $s$ 는 무엇인가?
• RQ2 차원 $d \geq 4$ 에서 큰 허스트로프 차원을 가진 집합에 등변삼각형이 존재함을 보장할 수 있는가? 이 경우 추가적인 구조적 가정이 필요할까?
• RQ3 등변삼각형 구성에 대한 푸리에 제약 이론이 유한체 위의 벡터 공간 문제와 비교할 때, 특히 산술적 장벽 측면에서 어떻게 다를까?
• RQ4 등변삼각형 구성에 대해 지정된 표면 측도 $\sigma$ 의 푸리에 변환의 정확한 감쇠 속도는 무엇인가?
• RQ5 정적 위상 방법을 통해 고차원에서 등변삼각형 구성에 대한 $L^2$-제약 추정이 날카로운가?

주요 결과

• 모든 $d \geq 4$ 에 대해, 허스트로프 차원이 $d - 1/2$ 를 초과하는 $ℝ^d$ 의 컴팩트 부분집합은 반드시 정삼각형의 꼭짓점을 포함한다.
• 핵심 추정식 $|\hat{\sigma}(\xi, \eta)| \lesssim |\xi + g_{\pi/3}\eta|^{-1/2} |\xi|^{-(d-2)/2} |\eta|^{-(d-2)/2} |\sin \langle \xi, \eta \rangle|^{-(d-2)/2}$ 은 등변삼각형 구성의 위상 함수에 대한 정적 위상 분석을 통해 도출된다.
• 표면 측도 $\sigma$ 의 푸리에 변환 감쇠는 $\xi + g_{\pi/3}\eta = 0$ 인 임계집합으로부터의 거리에 의해 제어되며, 이는 필요한 $L^2$-제약 추정을 이끈다.
• $L^2$-제약 추정은, 집합 $E \subset \u211d^d$ 의 허스트로프 차원이 $d - 1/2$ 를 초과할 경우 반드시 등변삼각형을 포함해야 한다는 것을 의미하며, 추가적인 구조적 가정이 없이도 성립한다.
• 3차원의 경우는 여전히 열려 있으며, 헤시안 행렬식이 위상 함수를 동일한 방식으로 제어하지 못함으로써 이 방법이 비효율적이므로 비자명한 감쇠 추정을 도출할 수 없다.
• 이 결과는 2차원의 경우와 대조되며, 팔코너와 마가는 허스트로프 차원 2를 가진 집합에서 어떤 등변삼각형도 포함하지 않는 예를 구성하여, $d \geq 4$ 에서 차원 $> d - 1/2$ 가 날카로운 상한임을 보여준다.