[논문 리뷰] Sharp dimension bounds for Furstenberg-type sets

Ursula Molter, Ezequiel Rela|arXiv (Cornell University)|2010. 06. 24.

Mathematical Approximation and Integration참고 문헌 18인용 수 3

한 줄 요약

이 논문은 $F_\alpha$에 속하는 집합을 구성함으로써 푸르스텐베르크 유형 집합의 날카운 차원 경계를 확립한다. 이는 정확한 하우스도르프 측도 감쇠를 보이며, 이는 이전의 경계를 향상시키고, $\log^{-\gamma}(1/x)$ 형태의 영차원 측도 함수 $\gamma > 0$와 관련된 푸르스텐베르크 집합의 하우스도르프 차원에 대해 $1/2$가 날카운 하한임을 증명한다. 이 구성은 이전 방법을 정교화하여 최적의 차원 추정치를 달성한다.

ABSTRACT

For $\alpha$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $\alpha$ or $F_\alpha$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $\alpha$. In this paper we show that if $\alpha > 0$, there exists a set $E\in F_\alpha$ such that $\HH{g}(E)=0$ for $g(x)=x^{1/2+3/2\alpha}\log^{- heta}(\frac{1}{x})$, $ heta>\frac{1+3\alpha}{2}$, which improves on the the previously known bound, that $H^{\beta}(E) = 0$ for $\beta>1/2+3/2\alpha$. Further, by refining the argument in a subtle way, we are able to obtain a sharp dimension estimate for a whole class of zero-dimensional Furstenberg type sets. Namely, for $\h_\gamma(x)=\log^{-\gamma}(\frac{1}{x})$, $\gamma>0$, we construct a set $E_\gamma\in F_{\h_\gamma}$ of Hausdorff dimension not greater than 1/2. Since in a previous work we showed that 1/2 is a lower bound for the Hausdorff dimension of any $E\in F_{\h_\gamma}$, with the present construction, the value 1/2 is sharp for the whole class of Furstenberg sets associated to the zero dimensional functions $\h_\gamma$.

연구 동기 및 목표

• 푸르스텐베르크 집합의 하우스도르프 측도 감쇠에 대한 기존 상한 경계를 향상시키는 것.
• 영차원 측도 함수 $\log^{-\gamma}(1/x)$와 관련된 푸르스텐베르크 집합의 하우스도르프 차원에 대한 날카운 하한을 결정하는 것.
• 이러한 측도 함수에 대해 최적의 차원 경계인 $1/2$를 달성하는 $F_\alpha$-집합의 명시적 예를 구성하는 것.
• 기존 기하 측도 이론 기법을 정교화하여 푸르스텐베르크 유형 집합의 맥락에서 날카운 차원 추정치를 도출하는 것.

제안 방법

• $\theta > (1 + 3\alpha)/2$ 인 $g(x) = x^{1/2 + 3/2\alpha} \log^{-\theta}(1/x)$ 에 대해 $\HH{g}(E) = 0$ 인 $E \in F_\alpha$ 인 집합의 구성으로, 이는 이전 경계를 향상시킨다.
• $\h_\gamma(x) = \log^{-\gamma}(1/x)$ 형태의 영차원 측도 함수의 임계 경우를 다룰 수 있도록 기하학적 및 측도론적 추론을 정교화한다.
• 모든 방향에서 선분과의 교차가 하우스도르프 차원 최소 $\alpha$ 이상이 되도록 보장하면서도 전체 집합의 차원을 통제하기 위해 새로운 반복적 또는 평균화 구성 기법을 사용한다.
• 정밀한 측도 함수 추정치를 적용하여 구성된 집합 $E_\gamma$ 가 하우스도르프 차원 최대 $1/2$ 이라는 것을 보여주며, 이는 알려진 하한과 일치한다.
• 모든 그러한 집합이 $1/2$ 미만의 차원을 가질 수 없음을 증명함으로써 날카움을 입증함으로써, 차원 추정의 격차를 완전히 해결한다.

실험 결과

연구 질문

• RQ1 푸르스텐베르크 집합의 하우스도르프 측도 감쇠에 대해 최적의 감쇠 속도는 무엇인가?
• RQ2 기존에 알려진 $F_\alpha$-집합의 차원에 대한 상한 $1/2 + 3/2\alpha$ 는 향상시킬 수 있는가?
• RQ3 $1/2$ 는 $\log^{-\gamma}(1/x)$ 와 관련된 푸르스텐베르크 집합의 하우스도르프 차원에 대해 날카운 하한인가?
• RQ4 영차원 측도 함수에 대해 $F_\alpha$-집합의 구성 방법을 어떻게 정교화하여 차원을 정확히 $1/2$ 로 만들 수 있는가?
• RQ5 $\h_\gamma$ 와 $F_{\h_\gamma}$-집합의 최소 가능한 차원 사이의 정밀한 관계는 무엇인가?

주요 결과

• $\theta > (1 + 3\alpha)/2$ 인 $g(x) = x^{1/2 + 3/2\alpha} \log^{-\theta}(1/x)$ 에 대해 $\HH{g}(E) = 0$ 인 집합 $E \in F_\alpha$ 를 구성함으로써, 이는 이전의 $H^\beta(E) = 0$ 이며 $\beta > 1/2 + 3/2\alpha$ 인 경계를 향상시킨다.
• $\gamma > 0$ 인 $\h_\gamma(x) = \log^{-\gamma}(1/x)$ 에 대해, 하우스도르프 차원 최대 $1/2$ 인 집합 $E_\gamma \in F_{\h_\gamma}$ 가 구성된다.
• $1/2$ 가 임의의 $E \in F_{\h_\gamma}$ 의 하우스도르프 차원에 대해 날카운 하한임을 증명함으로써, 구성된 집합이 최소 가능한 차원을 달성한다.
• 정교화된 구성 방법은 모든 방향에서 선분과의 교차에 대한 차원을 정밀하게 제어할 수 있게 하여, $F_{\h_\gamma}$-집합 조건을 충족시킨다.
• 결과적으로, 영차원 측도 함수 $\h_\gamma$ 와 관련된 전체 푸르스텐베르크 집합 클래스에 대해 $1/2$ 가 날카운 차원 경계임을 입증하며, 이 분야에서 오랫동안 남아있던 질문을 해결한다.