[논문 리뷰] Improving Kaufman's exceptional set estimate for packing dimension

Tuomas Orponen|arXiv (Cornell University)|2016. 10. 21.

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

한 줄 요약

이 논문은 평면 상의 수직 투영에 대한 예외적인 방향의 하우스도르프 차원에 대한 코플러의 1968년 결과를 개선하며, 임의의 보렐 집합 $K \subset \mathbb{R}^2$에 대해 $\mathcal{H}^1(K) > 0$ 이고 $0 < s < 1$ 이면, $\pi_e(K)$의 패킹 차원이 $s$ 이하인 방향 $e \in S^1$ 의 집합은 하우스도르프 차원이 $s - \epsilon(s)$ 이하임을 증명한다. 여기서 $\epsilon(s) > 0$ 이다. 이 결과는 이산화된 투영과 $\delta$-네트를 기반으로 한 새로운 기하학적 및 분석적 방법을 도입하여 코플러의 원래 추정치에 대한 정량적 개선을 실현한다.

ABSTRACT

Given $0 &lt; s &lt; 1$, I prove that there exists a constant $ε= ε(s) &gt; 0$ such that the following holds. Let $K \subset \mathbb{R}^{2}$ be a Borel set with $\mathcal{H}^{1}(K) &gt; 0$, and let $E_{s}(K) \subset S^{1}$ be the collection of unit vectors $e$ such that $$\dim_{\mathrm{p}} π_{e}(K) \leq s.$$ Then $\dim_{\mathrm{H}} E_{s}(K) \leq s - ε$.

연구 동기 및 목표

• 코플러의 1968년 결과인 $\dim_H\{e \in S^1 : \dim_H \pi_e(K) < s\} \leq s$ 를 $\dim_H K \geq s$ 조건 하에 개선하여, 예외 집합의 차원에 엄격한 개선을 이끌어내는 것.
• 보렐 집합 $K \subset \mathbb{R}^2$ 에 대해 $\mathcal{H}^1$-측도가 양이면, $\dim_H E_s(K) \leq s - \epsilon(s)$ 를 만족하는 정량적 간극 $\epsilon(s) > 0$ 을 확립하는 것.
• 기존의 프랙탈 기하학에서의 투영 정리 범위를 확장하기 위해 패킹 차원 설정에 적용 가능한 새로운 방법을 제공하는 것.
• 코플러의 결과를 일반화한 추측, 즉 $\dim_H\{e : \dim_H \pi_e(K) < s\} \leq 2s - t$ 가 $\dim_H K \geq t > s$ 일 때 성립함을 증명함으로써, $t = 1$ 인 경우에 비로소 비어 있지 않은 개선을 이끌어내는 것.

제안 방법

• 집합 $F^\prime$ 의 투영 크기를 분석하기 위해 $\delta$-네트와 $\delta$-분리된 집합을 사용하여 투영 문제의 $\delta$-이산화된 형태를 구성한다.
• $F^\prime$ 를 수평 확대를 통해 새로운 집합 $F$ 로 재스케일링하여, 스케일 $\delta^{1/2}$ 에서의 투영 행동이 제3.1조의 적용에 적합해지도록 한다.
• 투영을 기울기 매개변수 $t$ 로 재표현하기 위해 $\pi_t(x,y) = x + ty$ 를 사용하여, 각도 간격을 기울기 값 간격으로 변환한다.
• 기울기 값의 $\delta^{1/2}$-간격 내에서 $N(\pi_t(F), \delta^{1/2}) \lesssim \delta^{-s/2}$ 라는 핵심 추정을 적용하여, 투영의 수가 작게 유지됨을 보인다.
• $\tilde{E}_{\delta^{1/2}}$ 라는 기울기 집합이 크기가 $\sim \delta^{-s/2}$ 인 $(\delta^{1/2}, s)$-집합임을 증명하여 제3.1조의 가정을 만족함을 보인다.
• 제3.1조의 결론이 위반됨을 보여, 이는 모순을 이끌어내어 주요 결과를 모순에 기반해 증명한다.

실험 결과

연구 질문

• RQ1 코플러의 예외 집합 추정치 $\dim_H\{e : \dim_H \pi_e(K) < s\} \leq s$ 는 $\dim_H K \geq 1$ 일 때 $\dim_H E_s(K) \leq s - \epsilon(s)$ 로 개선될 수 있는가?
• RQ2 모든 $s$ 에 대해 일관된 간극 $\epsilon(s) > 0$ 이 존재하여, 작은 패킹 차원 투영을 가진 방향 집합의 하우스도르프 차원이 $s$ 보다 엄격히 작아지는가?
• RQ3 이산화된 투영 방법을 $\delta$-네트와 $\delta$-분리된 집합 설정에서 사용하여, 투영 정리의 정량적 개선을 도출할 수 있는가?
• RQ4 작은 투영을 갖는 방향이 많은 집합 $F^\prime$ 을 구성한 후 확대를 수행하면, 제3.1조의 가정 하에 모순이 발생하는가?

주요 결과

• 모든 $0 < s < 1$ 에 대해, $\epsilon(s) > 0$ 이 존재하여, $\mathcal{H}^1(K) > 0$ 인 모든 보렐 집합 $K \subset \mathbb{R}^2$ 에 대해 $\dim_H E_s(K) \leq s - \epsilon(s)$ 를 만족한다. 여기서 $E_s(K)$ 는 $\dim_p \pi_e(K) \leq s$ 인 방향 $e$ 의 집합이다.
• 개선은 엄격하다: 코플러의 원래 추정치에서의 $\leq s$ 와 달리, 예외 집합의 하우스도르프 차원은 $s$ 보다 엄격히 작다.
• 이 증명은 이산화된 투영 설정을 기반으로 한 모순 증명에 의존하며, 많은 방향에서 작은 투영을 갖는 집합 $F^\prime$ 을 구성한 후 확대하여 알려진 투영 추정치를 위반한다.
• 핵심 추정 $N(\pi_t(F), \delta^{1/2}) \lesssim \delta^{-s/2}$ 는 기울기 $t$ 가 $\delta^{1/2}$-간격 내에서 성립하며, 이는 제3.1조의 가정과 호환되지 않아 모순을 이끌어낸다.
• 결과는 모든 $s \in (0,1)$ 에 대해 균일하게 성립하며, $\epsilon(s)$-간극은 양이지만, 논문은 $\epsilon(s)$ 의 명시적 공식을 제공하지 않는다.