[논문 리뷰] On $k$-point configuration sets with nonempty interior

Allan Greenleaf, Alex Iosevich외 1명|arXiv (Cornell University)|2020. 05. 21.

Mathematical Approximation and Integration참고 문헌 28인용 수 7

한 줄 요약

이 논문은 유클리드 공간에서 두꺼운 집합의 $k$-점 구성 집합이 내부를 가질 충분조건을 도출한다. 이는 $k$개 점을 두 부분집합으로 나누는 모든 비자명한 분할에 대해 일반화된 라돈 변환의 최적화된 $L^2$-소볼레프 추정치를 사용한다. 핵심 기여는 이러한 분할들 중에서 최악의 정규성 조건을 갖는 분할에 따라 결정되는 일반적인 차원 임계값을 제시하는 것으로, 이는 삼각형 면적, 외접원 반지름, 평행육면체 부피와 같은 다양한 기하 구성에 적용 가능하다.

ABSTRACT

We give conditions for $k$-point configuration sets of thin sets to have nonempty interior, applicable to a wide variety of configurations. This is a continuation of our earlier work \cite{GIT19} on 2-point configurations, extending a theorem of Mattila and Sjölin \cite{MS99} for distance sets in Euclidean spaces. We show that for a general class of $k$-point configurations, the configuration set of a $k$-tuple of sets, $E_1,\,\dots,\, E_k$, has nonempty interior provided that the sum of their Hausdorff dimensions satisfies a lower bound, dictated by optimizing $L^2$-Sobolev estimates of associated generalized Radon transforms over all nontrivial partitions of the $k$ points into two subsets. We illustrate the general theorems with numerous specific examples. Applications to 3-point configurations include areas of triangles in $\mathbb R^2$ or the radii of their circumscribing circles; volumes of pinned parallelepipeds in $\mathbb R^3$; and ratios of pinned distances in $\mathbb R^2$ and $\mathbb R^3$. Results for 4-point configurations include cross-ratios on $\mathbb R$, triangle area pairs determined by quadrilaterals in $\mathbb R^2$, and dot products of differences in $\mathbb R^d$.

연구 동기 및 목표

• 2점 구성 집합이 비어 있지 않은 내부를 갖는 이전 결과를 $k \geq 3$인 일반적인 $k$-점 구성으로 확장한다.
• 모든 $k$개의 집합의 하우스도르프 차원의 합에 대한 일반적인 충분조건을 규명하여, 그 $k$-점 구성 집합이 비어 있지 않은 내부를 가짐을 보장한다.
• 모든 비자명한 분할에 대해 $k$개 점을 두 부분집합으로 나누는 데 최적화된 $L^2$-소볼레프 추정치를 사용한 푸리에 적분 연산자(FIO)의 방법을 적용한다.
• 일반적인 프레임워크가 삼각형 면적, 외접원 반지름, 고정된 점을 갖는 평행육면체 부피와 같은 구체적인 기하 구성에 어떻게 적용 가능한지 보여준다.
• 유도된 차원 기준이 특정 극한에서 점점 최적화됨을 보이며, 이는 최적 경계로서의 타당성을 시사한다.

제안 방법

• 일반화된 라돈 변환을 사용하여 $k$-점 구성에 대응하는 조화적 적분을 모델링한다.
• 푸리에 적분 연산자(FIO)의 $L^2$-소볼레프 추정치를 사용하여 구성 사상에 의한 측도의 역상의 $L^2$-노름을 제어한다.
• 핵심 혁신은 $k$개 점을 두 부분집합으로 나누는 모든 비자명한 분할에 대해 이러한 $L^2$-소볼레프 추정치를 최적화하는 것으로, 이는 정규성 조건이 가장 열악한 분할에 따라 결정되는 차원 기준을 도출한다.
• FIO의 이중 피브레이션 조건과 캐논리컬 관계 구조를 이용하여, $L^2$-유계성에 필요한 비퇴화 조건을 확인한다.
• 특정 구성에 대해 구성 사상의 미분이 0이 아니며, 관련 초표면이 사영 방향과 부드럽고 교차함을 확인함으로써 방법을 적용한다.
• 기저점 근처에 국소화된 프로스트만 측도와 유한한 $s_i$-에너지의 조합을 통해 문제를 국소적 $L^2$-추정치로의 축소하고, FIO 기계장치의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 집합 $E_1, \dots, E_k$의 하우스도르프 차원에 대해 어떤 조건이 $k$-점 구성 집합이 비어 있지 않은 내부를 갖는가?
• RQ2 모든 비자명한 분할에 대해 $k$개 점을 두 부분집합으로 나누는 데 최적화된 일반화된 라돈 변환의 $L^2$-소볼레프 추정치를 통해 최적의 차원 기준을 도출할 수 있는가?
• RQ3 특정 기하 구성, 예를 들어 $\mathbb{R}^2$에서의 삼각형 면적이나 외접원 반지름에 대해, 구성 집합이 열린 구간을 포함하기 위해 필요한 최소 하우스도르프 차원은 무엇인가?
• RQ4 고정된 점이나 이차형식을 포함하는 이동 불변이 아닌 구성에 대해 이 방법은 어떻게 다루는가?
• RQ5 유도된 차원 기준은 고차원 또는 고차 구성 설정에서 점점 최적화되는가?

주요 결과

• 삼각형 면적에 대해 $\mathbb{R}^2$에서 $\dim_{\mathcal{H}}(E) > 5/3$ 이면, $E$의 점들로 이루어진 삼각형의 면적 집합이 비어 있지 않은 내부를 가진다.
• 삼각형의 외접원 반지름에 대해 $\mathbb{R}^2$에서 동일한 차원 기준 $\dim_{\mathcal{H}}(E) > 5/3$ 이면, 외접원 반지름 집합이 열린 구간을 포함한다.
• $\mathbb{R}^d$, $d \geq 3$에서, $\dim_{\mathcal{H}}(E) > d - 1 + 1/d$ 이면, 고정된 점 $x^0$에 고정된 평행육면체 부피 집합이 비어 있지 않은 내부를 가진다.
• $2l$개의 집합 $E_1, \dots, E_{2l}$와 구성 사상 $\Phi = \sum_{j=1}^l Q_j(x^{2j-1}, x^{2j})$에 대해, $\sum_{i=1}^{2l} \dim_{\mathcal{H}}(E_i) > 1 + \frac{1}{2} \sum_{j=1}^l d_j$ 이면 구성 집합이 비어 있지 않은 내부를 가진다. 여기서 $d_j = \dim(E_{2j-1}) = \dim(E_{2j})$이다.
• 유도된 차원 기준은 점점 최적화된다: 예를 들어, 고정된 부피의 경우 기준 $d - 1 + 1/d$는 점들이 한 평면 위에 있을 경우 기하학적 장애로 인해 $1/d$ 이내로 향상될 수 없다.