[논문 리뷰] On three point configurations determined by subsets of the Euclidean plane, the associated bilinear operator and applications to discrete geometry

Allan Greenleaf, Alex Iosevich|arXiv (Cornell University)|2010. 09. 13.

Mathematical Approximation and Integration참고 문헌 15인용 수 4

한 줄 요약

이 논문은 평면의 컴acts부분집합의 하우스도르프 차원이 7/4보다 크면, 그가 결정하는 삼점 구성요소의 집합이 양의 3차원 르베그 측도를 가짐을 증명한다. 결과는 단위 등변 삼각형과 관련된 이항 연산자의 분석을 통해 도출되며, 이로 인해 개선된 이산 경계를 얻는다: s-적응 가능한 집합에 대해서는 고정된 삼각형 구성이 나타나는 횟수는 O(n^{9/7+ε})로, 이는 이전의 O(n^{4/3}) 경계를 향상시킨다.

ABSTRACT

We prove that if the Hausdorff dimension of a compact set $E \subset {\Bbb R}^2$ is greater than 7/4, then the set of {\ag three-point configurations determined by $E$ has positive three-dimensional measure}. We establish this by showing that {\ag a} natural measure on the set of {\ag such configurations} has {\ag Radon-Nikodym derivative} in $L^{\infty}$ if $\dH(E)> 7/4$, and the index 7/4 in this last result cannot, in general, be improved. This problem naturally leads to the study of a bilinear convolution operator, $$ B(f,g)(x)=\int \int f(x-u) g(x-v)\, dK(u,v),$$ where $K$ is surface measure on the set $ \{(u, v) \in\R^2 imes \R^2: |u|=|v|=|u-v|=1\}$, and we prove a scale of estimates that includes $B:L^2_{-1/2}({\Bbb R}^2) imes L^2({\Bbb R}^2) o L^1({\Bbb R}^2)$ on positive functions. As an application of our main result, it follows that {\ag for finite sets of cardinality $n$ and belonging to a natural class of discrete sets in the plane}, the maximum number of times a given three-point configuration arises is $O(n^{9/7+ε})$ (up to congruence), improving upon the known bound of $O(n^{4/3})$ in this context.

연구 동기 및 목표

• 평면의 컴acts 집합에서 삼점 구성요소의 집합이 양의 3차원 르베그 측도를 가지기 위한 하우스도르프 차원의 최소 임계값을 결정하는 것.
• R^2 내 단위 등변 삼각형과 관련된 이항 컨볼루션 연산자 분석.
• 유한 점 집합 내 삼각형 구성요소에 대한 개선된 이산 교차 경계 설정.
• 구성요소 측도의 라돈-니코다임 도함수의 L^∞ 정규성에 대해 7/4 임계값이 날카로운지 보여주는 것.
• 플레인에서 팔코너의 거리 문제를 삼점 구성요소로 확장하고, 평면 내 비자명한 지수를 제공하는 것.

제안 방법

• 저자들은 단위 등변 삼각형에 대응하는 쌍 (u,v) 에서의 표면 측도 K 를 갖는 이항 연산자 $ B(f,g)(x) = \iint f(x-u)g(x-v)\,dK(u,v) $ 를 분석한다.
• 양의 함수에 대해 $ B: L^2_{-1/2}(\mathbb{R}^2) \times L^2(\mathbb{R}^2) \to L^1(\mathbb{R}^2) $ 를 포함하는 일련의 추정치를 증명하며, 이는 구성요소 측도의 정규성 제어에 기여한다.
• 푸리에 제한 이론과 분할 기법을 사용하여 삼각형 구성요소와 관련된 이항 형식의 $ L^1 $-노름을 제어한다.
• 구성요소의 에너지를 삼중 곱 $ \mu \times \mu \times \mu $ 를 통해 분석하기 위해 집합 $ E \subset \mathbb{R}^2 $ 에서의 프로스트만 측도 $ \mu $ 를 사용한다.
• 이산 적용에서는 $ s $-적응 가능성에 기반한다: 유한 집합 $ P \subset [0,1]^2 $ 가 $ s $-적응 가능하다는 것은 그의 $ s $-차수 에너지 적분이 유한하다는 것을 의미한다.
• 핵심 단계는 구성요소 측도의 $ L^\infty $ 정규성과 이산 수 $ u^{\delta}_{2,2}(n) $ 를 연결하는 것으로, scaling $ \delta = n^{-1/s} $ 를 사용한다.

실험 결과

연구 질문

• RQ1 하우스도르프 차원이 7/4를 초과하는 평면의 컴acts 집합 $ E $ 에 대해, 그가 결정하는 삼점 구성요소의 집합이 양의 3차원 르베그 측도를 가지는 최소 하우스도르프 차원의 하한은 무엇인가?
• RQ2 단위 등변 삼각형과 관련된 이항 연산자가 $ L^p $-공간의 스케일에서 유계임을 증명할 수 있는가? 이를 통해 구성요소 측도를 제어할 수 있는가?
• RQ3 구성요소 측도의 라돈-니코다임 도함수의 $ L^\infty $ 정규성에 대해 7/4 임계값이 날카로운가?
• RQ4 자연적인 기하 조건 하에서, 평면 내 유한 점 집합에서 고정된 삼각형 구성이 반복되는 횟수는 $ n $ 과 어떻게 스케일링되는가?
• RQ5 s > 7/4 인 $ s $-적응 가능 조건 하에서, 삼각형 반복 수에 대한 기존의 $ O(n^{4/3}) $ 경계를 향상시킬 수 있는가?

주요 결과

• 컴팩트 집합 $ E \subset \mathbb{R}^2 $ 의 하우스도르프 차원이 7/4를 초과하면, 그가 결정하는 삼점 구성요소의 집합은 양의 3차원 르베그 측도를 가진다.
• 구성요소 측도의 라돈-니코다임 도함수가 $ L^\infty $ 에 속해 있음이 $ \dim_{\mathcal{H}}(E) > 7/4 $ 일 때 성립하며, 이 임계값은 날카롭다.
• 이항 연산자 $ B(f,g)(x) = \iint f(x-u)g(x-v)\,dK(u,v) $ 는 양의 함수에 대해 $ B: L^2_{-1/2}(\mathbb{R}^2) \times L^2(\mathbb{R}^2) \to L^1(\mathbb{R}^2) $ 를 만족한다.
• s = \frac{7}{4} + a 인 $ s $-적응 가능한 집합에 대해, 고정된 삼각형 구성이 나타나는 횟수는 임의의 $ b > 0 $ 에 대해 $ O(n^{9/7 + b}) $ 로 유계이며, 이는 이전의 $ O(n^{4/3}) $ 경계를 향상시킨다.
• 결과는 집합의 집중을 막고 균일한 $ s $-차원 두께를 보장하는 $ s $-적응 가능성 조건 하에서 성립한다.
• 스케일링 $ \epsilon = n^{-1/s} $ 를 통해 이항 형식의 $ L^1 $-노름과 이산 수를 연결함으로써, $ u^{n^{-4/7 - b}}_{2,2}(n) \leq C_b n^{9/7 + b} $ 를 도출한다.