[논문 리뷰] Sets of large dimension not containing polynomial configurations

András Máthé|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2012. 01. 02.

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

한 줄 요약

이 논문은 유리수 계수를 가진 다변수 다항식으로 정의된 유한한 점 구성(configuration)을 피하는 $ℝ^n$ 내의 컴팩트 집합을 구성하는 일반적인 방법을 제시한다. 이 다항식들의 최대 차수는 $d$이며, 이러한 집합의 하우스도르프 차원은 $n/d$가 된다. 주요 기여는 특정 기하적 구성(예: 각도, 거리, 공선점)을 피하면서도 최적의 차원 한계를 확보하는 구조적 프레임워크를 제공하는 것이다. 이는 오른쪽 각도 $\pi/2$를 피하는 차원 $n/2$의 집합과, 임의의 각도를 피하는 차원 $n/8$의 집합을 포함한다.

ABSTRACT

The main result of this paper is the following. Given countably many multivariate polynomials with rational coefficients and maximum degree $d$, we construct a compact set $E\subset \R^n$ of Hausdorff dimension $n/d$ which does not contain finite point configurations corresponding to the zero sets of the given polynomials. Given a set $E\subset \R^n$, we study the angles determined by three points of $E$. The main result implies the existence of a compact set in $\R^n$ of Hausdorff dimension $n/2$ which does not contain the angle $π/2$. (This is known to be sharp if $n$ is even.) We show that there is a compact set of Hausdorff dimension $n/8$ which does not contain an angle in any given countable set. We also construct a compact set $E\subset \R^n$ of Hausdorff dimension $n/6$ for which the set of angles determined by $E$ is Lebesgue null. In the other direction, we present a result that every set of sufficiently large dimension contains an angle $ε$ close to any given angle.

연구 동기 및 목표

• 유리수 계수를 가진 다변수 다항식으로 정의된 유한한 점 구성 요건을 피하는 제어 가능한 하우스도르프 차원을 가진 $ℝ^n$ 내 컴팩트 집합을 구성하는 일반적인 방법을 개발하는 것.
• 특정 각도나 거리 구성 요건을 포함하기 위해 필요한 최소 차원에 관한 열린 문제를 다루는 것.
• 피얼커의 거리 집합 추측을 강화하기 위해, 르베그 측도가 0인 거리 집합을 가지며 추가적으로 제외 조건(예: 유리수 거리 없음, 공선점 없음)을 만족하는 차원 $n/2$의 집합을 구성하는 것.
• 특정 각도(예: $\pi/2$, $\pi/3$, $2\pi/3$)를 피하는 데 있어 날카운 차원 한계를 제공하고, 이러한 제외 조건이 무리수 각도에 대해서도 가능함을 보여주는 것.

제안 방법

• 다항식의 차수 $d$에 따라, 이차 구역과 질량 분포 원리에 기반한 측도 이론적 재귀적 구성 방법을 통해 감소하는 컴팩트 집합 $F^k$의 수열을 구성한다.
• 매개변수 $b_j$, $h_j$, $r_j$를 가진 매개변수화된 집합 $E_j''$와 이를 활용한 내재된 구성 구조를 통해 최종 집합의 조밀도와 차원을 제어한다.
• 각 단계에서 주어진 다항식 $P_j$의 차수 $d$에 대해, 최종 집합 $F$ 내의 $m_j$-중점 조합이 $P_j = 0$을 만족하지 않도록 구성하여 이러한 구성 요건을 배제한다.
• 핵심 단계로, 반지름 $r$인 구 안에 현재 집합과 교차하는 점의 수를 $h_j$, $b_j$, $r$에 기반한 추정치로 제한함으로써 질량 분포 원리를 통해 차원 상한을 도출한다.
• 특정 각도를 정의하는 다항식(예: $\pi/2$에 대해 $\langle y-x,z-x\rangle = 0$)은 $3n$개 변수를 포함하며, 이는 유리수余弦값 및 대체로 대수적 근사법을 통해 무리수 각도로도 확장 가능하다.
• 최종 집합 $F$의 하우스도르프 차원이 $n/d$ 이상임을 보이기 위해, 관련 확률 측도 $\mu$가 $\mu(B(x,r)) \leq C r^{n/d} (\log r^{-1})^{n+1}$를 만족함을 증명함으로써, 이는 차원 하한을 의미한다.

실험 결과

연구 질문

• RQ1 주어진 각도 $\alpha$를 피하는 $\mathbb{R}^n$ 내 컴팩트 집합의 최소 하우스도르프 차원은 얼마인가?
• RQ2 차원 $n/2$의 집합이 오른쪽 각도 $\pi/2$를 피할 수 있으며, 이 차원은 최적인가?
• RQ3 임의의 주어진 각도 $\alpha \in [0,\pi]$를 피하는 차원 $n/8$의 집합을 구성할 수 있는가?
• RQ4 각도 집합의 르베그 측도가 0이 되는 차원 $n/6$의 집합을 구성할 수 있는가?
• RQ5 모든 유리수 거리와 공선점이 없는 Borel 집합의 최대 가능한 차원은 얼마인가?

주요 결과

• 하우스도르프 차원이 $n/2$인 컴팩트 집합 $E \subset \mathbb{R}^n$이 존재하며, 이는 오른쪽 각도 $\pi/2$를 포함하지 않으며, $n$ 이외의 경우 이 차원은 날카로운 상한이다.
• 모든 각도의 가 countable 집합에 대해, 하우스도르프 차원 $n/8$의 컴팩트 집합이 존재하며, 이는 그 집합 내 모든 각도를 피한다.
• 하우스도르프 차원이 $n/6$인 컴팩트 집합 $E \subset \mathbb{R}^n$이 존재하며, 이 집합이 결정하는 각도 집합의 르베그 측도는 0이다.
• 하우스도르프 차원 $n/2$의 컴팩트 집합 $E \subset \mathbb{R}^n$을 구성할 수 있으며, 이 집합의 거리 집합 $D(E)$는 르베그 측도가 0이며, 유리수 거리도 없고, 공선점도 없으며, 모든 거리와 방향은 최대 한 번씩만 나타난다.
• 이 방법은 최대 차수 $d$를 가진 유리수 계수를 가진 다항식으로 정의된 구성 요건을 가진 수가 무한히 많은 경우에도 적용 가능하며, 이러한 모든 구성 요건을 피하는 차원 $n/d$의 집합을 생성한다.
• 특정 각도 $\alpha$에 대해, 여론 코사인 값의 유리수 근사법을 활용하여, 무리수 각도일 경우에도 차원 $n/8$의 컴팩트 집합이 존재하며, 이는 $\alpha$를 피할 수 있음을 보여준다.