[논문 리뷰] A discretised projection theorem in the plane

Tuomas Orponen|arXiv (Cornell University)|2014. 07. 24.

Advanced Topology and Set Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 평면에서 이산화된 사영 정리(Projection Theorem)를 확립하며, 임의의 $1/2 \ leq s < 2 - sqrt{2}$에 대해 $\sigma(s) < s$가 존재하여, $A \subset [0,1]$이 크기 $\sim \delta^{-1/2}$인 $(\delta,1/2)$-집합이고, $E \subset [0,1]$이 $\gtrsim \delta^{-\sigma}$개의 $\delta^s$-분리된 점을 포함하면, 어떤 이동 $t \in E$에 대해 $A + tA$가 $\gtrsim \delta^{-s}$개의 $\delta$-분리된 점을 포함함을 보여준다. 증명은 카프만의 사영 경계에 대해 최적에 가까운 집합의 구조적 분석과 소림오시의 합-곱 주장법을 변형한 것을 결합한다.

ABSTRACT

The main result of this paper is that for any $1/2 \leq s &lt; 2 - \sqrt{2} \approx 0.5858$, there is a number $σ= σ(s) &lt; s$ with the following property. Let $δ&gt; 0$ be small, assume that $A \subset [0,1]$ is a $(δ,1/2)$-set, and that $E \subset [0,1]$ contains $\gtrsim δ^{-σ}$ roughly $δ^{s}$-separated points. Then there exists a number $t \in E$ such that $A + tA$ contains $\gtrsim δ^{-s}$ $δ$-separated points. For $σ= s$, this is essentially a consequence of Kaufman's well-known bound for exceptional sets of projections. Our proof consists of a structural observation concerning sets, for which Kaufman's bound is near-optimal, combined with (an adaptation of) Solymosi's argument for his "$4/3$" sum-product theorem.

연구 동기 및 목표

• 카프만의 사영 경계에 대한 예외 집합 경계의 정량적 강화를 이산화된 설정에서 확립하기 위해.
• 연속적인 사영 문제에서 아직 증명되지 않은 최적 추측 $\dim\{e : \dim\pi_e(K) < s\} \leq 2s - 1$의 갭을 메우기 위해.
• 카프만의 경계를 효과적으로 개선하기 위해, 집합 $E$의 크기에 대해 더 작은 지수 $\sigma(s) < s$를 도입함으로써 구체적이고 효과적인 개선을 제공하기 위해.
• 카프만의 경계에 대해 거의 최적인 집합의 구조적 성질이, 적응된 이산형 교차 기하학을 통해 더 강력한 합-곱 유형의 결론을 이끌어낼 수 있음을 보여주기 위해.

제안 방법

• $(\delta,s)$-집합을 $\delta$-분리된 집합으로 정의하며, 구의 이중성 조건이 제어됨: $|A \cap B(x,r)| \lesssim (r/\delta)^s$.
• 집합 $A$가 크기 $\sim \delta^{-1/2}$인 $(\delta,1/2)$-집합이라는 가정을 통해 하우스도르프 차원 $1/2$를 갖는 집합을 모델링한다.
• 모순에 기초해, $|A + tA| \gtrsim \delta^{-s}$를 만족하는 $t \in E$가 존재하지 않는다고 가정하며, 이는 $A \times A$가 카프만의 경계에 대해 거의 최적임을 의미한다.
• 카프만의 경계가 거의 최적임에 기반해, 공통 원점에서 출발하는 몇몇 $\delta$-튜브 위에 많은 점이 놓여 있는 '팬(fan)' 구조를 $A \times A$에서 식별한다.
• 소림오시의 합-곱 주장법을 변형하여, 이러한 팬 구조가 $|A + A| \gtrsim \delta^{-1/2 - c}$를 유도함을 보여, $s < 1/2 + c$일 경우 $1 \in E$의 존재와 모순됨을 입증한다.
• 팬 구조 내에서 선과 점 사이의 교차 수를 제한하기 위해 셰메레디-트로터 교차 정리를 사용하며, 이는 $s < 2 - \sqrt{2}$일 때 모순을 유도한다.

실험 결과

연구 질문

• RQ1 이산화된 설정에서 $s < 2 - \sqrt{2}$일 때, 카프만의 예외 집합 경계에 대한 정량적 개선이 달성될 수 있는가?
• RQ2 카프만의 경계가 거의 최적일 때, 집합 $A$에서 어떤 구조적 성질이 나타나는가?
• RQ3 소림오시의 합-곱 방법이 이산화된 사영 설정에 적응되어, $A + tA$의 크기 추정치를 더 강력하게 유도할 수 있는가?
• RQ4 $\sigma(s) < s$를 만족하는 $E$의 크기가 $\delta^{-\sigma}$이면, 어떤 $t \in E$에 대해 $A + tA$가 $\delta^{-s}$개의 $\delta$-분리된 점을 포함하는가?
• RQ5 이산화된 설정에서의 비집합성 가정은 셰메레디-트로터와 같은 교차 기하 도구의 적용에 어떤 영향을 미치는가?

주요 결과

• 모든 $s \in [1/2, 2 - \sqrt{2})$에 대해 $\sigma(s) < s$가 존재하여, $A$가 크기 $\sim \delta^{-1/2}$인 $(\delta,1/2)$-집합이고, $E$가 $\gtrsim \delta^{-\sigma}$개의 $\delta^s$-분리된 점을 포함하면, 어떤 $t \in E$에 대해 $A + tA$가 $\gtrsim \delta^{-s}$개의 $\delta$-분리된 점을 포함한다.
• $\sigma(s)$의 값은 $s$보다 엄밀히 작으며, 이는 표준적인 카프만의 경계 적용 방식에서의 로그 손실만을 포함하는 $\sigma = s$에 비해 비트리비얼한 개선을 제공한다.
• 카프만의 경계에 대해 거의 최적일 때, $A \times A$ 내에 많은 점들이 공통 원점에서 출발하는 몇몇 $\delta$-튜브 위에 놓여 있는 '팬' 구조가 식별된다.
• 이러한 팬 구조에 대해 소림오시의 합-곱 주장법을 적응하여, 어떤 $c > 0$에 대해 $|A + A| \gtrsim \delta^{-1/2 - c}$임을 보여, $s < 1/2 + c$일 경우 $1 \in E$의 존재와 모순된다.
• 모순은 셰메레디-트로터 교차 정리를 통해 유도되며, 팬 구조 내에서 선과 점 사이의 교차 수를 제한함으로써, $|A + A|$에 대한 하한을 도출하고 이는 $s < 2 - \sqrt{2}$를 강제한다.
• 결과는 $2 - \sqrt{2} \approx 0.5858$가 이론이 실패하는 임계점임을 보여주는 예제(부록 참조)에 의해 날카롭게 성립한다.