[논문 리뷰] A Non-Linear Roth Theorem for Fractals of Sufficiently Large Dimension

Ben Krause|arXiv (Cornell University)|2019. 04. 23.

Mathematical Dynamics and Fractals참고 문헌 3인용 수 5

한 줄 요약

이 논문은 1차원에서 균형형 집합에 대해 비선형 Roth 유형 정리를 확립하며, 하우스도르프 차원이 $1 - \epsilon_d$를 초과하는 $[0,1]$의 모든 부분집합이 상수항이 없는 $d$차 다항식 $P$와 $t \approx_P 1$에 대해 다항형 구성 $\{x, x-t, x-P(t)\}$을 포함함을 보여준다. 이 결과는 이전의 푸리에 차원에 의존하는 조건을 하우스도르프 차원 조건으로 대체하며, 구성 수를 세는 적분을 제어하기 위해 푸리에 제한 이론과 소볼레프 추정을 사용한다.

ABSTRACT

Suppose that $d \geq 2$, and that $A \subset [0,1]$ has sufficiently large dimension, $1 - ε_d < \dim_H(A) < 1$. Then for any polynomial $P$ of degree $d$ with no constant term, there exists a point configuration $\{ x, x-t,x-P(t) \} \subset A$ with $t \approx_P 1$.

연구 동기 및 목표

• 하우스도르프 차원이 충분히 큰 균형형 집합 내에서 다항형 구성 $\{x, x-t, x-P(t)\}$의 존재를 확립하는 것.
• 비선형 Roth 유형 정리의 맥락에서 이전의 푸리에 차원에 의존하는 조건을 하우스도르프 차원 조건으로 완전히 대체하는 것.
• 모든 상수항이 없는 $d$차 다항식 $P$에 대해, 집합의 차원이 $> 1 - \epsilon_d$이면 이러한 구성이 존재함을 보여주는 것.
• 구성의 수를 세는 적분을 제어하기 위해 제한 이론과 $L^1$ 추정을 활용한 푸리에 해석적 프레임워크를 개발하는 것.

제안 방법

• 균형형 집합 $A$에 지지된 확률측도 $\mu$에 대해 스무스한 푸리에 제한 연산자 $f_J = \mu * \phi_J$를 사용한다.
• 레마 2.1을 적용하여 다중 적분 $\int\!\int f(x)f(x-t)f(x-P(t))\rho(t)\,dt\,dx$에 대해 Roth 유형 밀도 추정을 통해 하한을 구한다.
• 레마 2.2를 활용하여 왜곡된 콘볼루션의 $L^1$ 노름을 추정하여 주파수 국소화된 함수에 대해 감쇠 $N^{-\delta_0}$를 도출한다.
• 주요 적분을 저주파 및 고주파 부분으로 분해하며, 기준값 $B$를 사용해 기여도를 분리한다.
• 저주파 성분을 $\|f_{\lesssim A}\|_\infty \lesssim A^{1-d_E}$로 추정하고, $\epsilon \sim A^{d_E-1}$인 Roth 하한 $\delta_{\text{Roth}}(\epsilon)$을 적용한다.
• 비정상적 위상과 자명한 $L^1$ 추정을 통해 오차 항을 제어하여 각각 감쇠 $A^{-C}$ 및 $B^{-\delta_0}$를 얻는다.

실험 결과

연구 질문

• RQ1 균형형 집합 내 다항형 구성 $\{x, x-t, x-P(t)\}$의 존재는 푸리에 차원 조건이 아닌 하우스도르프 차원 조건 하에서 확보될 수 있는가?
• RQ2 이러한 구성이 상수항이 없는 $d$차 다항식에 대해 보장되는 데 필요한 최소 하우스도르프 차원 임계값 $d_E$는 무엇인가?
• RQ3 왜곡된 콘볼루션의 $L^1$-노름 감쇠 속도는 구성 적분의 하한에 어떤 영향을 미치는가?
• RQ4 이전 결과에서 푸리에 차원에 의존하는 조건은 비선형 Roth 설정에서 하우스도르프 차원 조건으로 완전히 대체될 수 있는가?

주요 결과

• 모든 $d \geq 2$에 대해, $A \subset [0,1]$의 하우스도르프 차원 $d_E > 1 - \epsilon_d$이면, $t \approx_P 1$인 구성 $\{x, x-t, x-P(t)\}$을 포함한다.
• 임계값 $\epsilon_d$는 $d$에만 의존하며, 상수항이 없는 모든 $d$차 다항식 $P$에 대해 균일하게 성립한다.
• 적분 $\int\!\int f(x)f(x-t)f(x-P(t))\rho(t)\,dt\,dx$에 대한 하한은 어떤 $c > 0$가 0에서 멀리 떨어져 있을 때 $\delta_{\text{Roth}}(c)$보다 크다.
• 오차 항은 $B^{-\delta_0}$ 및 $A^{-C}$로 감쇠하며, $A$와 $B$를 충분히 크게 선택함으로써 Roth 하한보다 작아질 수 있다.
• 결과는 푸리에 제한 이론, 왜곡된 콘볼루션에 대한 $L^1$ 추정, 소볼레프 포함 추론의 조합을 통해 확립된다.
• 핵심적 혁신은 푸리에 차원 가정을 하우스도르프 차원 조건으로 대체하여, 1차원 설정에서 이 현상이 푸리에 감쇠와 독립적임을 보여준다.