[논문 리뷰] Long progressions in sets of fractional dimension

Marc Carnovale|arXiv (Cornell University)|2013. 08. 13.

Limits and Structures in Graph Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 Gowers 균일성 노름에 기반한 고차원 푸리에 차원을 사용하여 실수선의 부분집합에서 긴 등차수열의 존재를 위한 충분조건을 설정한다. 이는 토러스 위의 측도가 충분히 높은 k차 푸리에 차원을 가질 경우, 그 지지집합이 비자명한 k+1항 등차수열을 포함함을 증명한다. 이때 공차의 집합은 양의 르베그 측도를 가진다.

ABSTRACT

We demonstrate $k+1$-term arithmetic progressions in certain subsets of the real line whose "higher-order Fourier dimension" is sufficiently close to 1. This Fourier dimension, introduced in previous work, is a higher-order (in the sense of Additive Combinatorics and uniformity norms) extension of the Fourier dimension of Geometric Measure Theory, and can be understood as asking that the uniformity norm of a measure, restricted to a given scale, decay as the scale increases. We further obtain quantitative information about the size and $L^p$ regularity of the set of common distances of the artihmetic progressions contained in the subsets of $\mathbb{R}$ under consideration.

연구 동기 및 목표

• 분수 차원을 가진 R의 희박한 부분집합이 긴 등차수열을 포함할 수 있는 충분조건을 규명하는 것.
• 3항 수열에 대한 푸리에 제약 접근법을 k+1항 구성으로 확장하는 것.
• 이러한 수열의 공차 집합의 크기와 정규성의 정량적 측정.
• 프락터 거리 추측을 k+1항 구성으로 일반화하여 문제와 연결하는 것.
• 고차원 푸리에 차원과 Gowers 균일성 노름을 사용하여 분수 차원 집합에서 유한한 점 구성의 탐지 프레임워크를 개발하는 것.

제안 방법

• 토러스 위의 특이 측도 μ로부터 유도된 k+1차원 측도 Δ^kμ를 도입하여 Gowers의 균일성 노름을 일반화한다.
• 스케일에 따라 변하는 주파수에서 Δ^kμ의 푸리에 변환의 감쇠 속도를 통해 k차 푸리에 차원을 정의한다.
• 특이 측도에 대해 Gowers 균일성 노름의 변형을 적용하여 변환의 감쇠와 등차수열 존재 간의 연결을 맺는다.
• 초그래프 정규성 및 제거 보조정리(예: Gowers의 초그래프 제거)를 사용하여 조밀한 집합에서 점 구성의 애핀 상사의 존재를 탐지한다.
• 유한 아벨 군에서의 결과를 측도의 근사에 의해 연속 설정으로 이전하기 위해 이산화 방법을 적용한다.
• k중 카르테시안 곱의 구조와 Δ^kμ와 관련된 다중선형 형식을 제어함으로써 구성의 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 측도의 고차원 푸리에 차원이 어떤 조건을 만족할 경우 그 지지집합이 k+1항 등차수열을 포함하는가?
• RQ2 프락터 거리 추측은 분수 차원 집합에서 k+1항 구성으로 어떻게 일반화될 수 있는가?
• RQ3 어떤 k+1점 구성의 애핀 상사가 측도의 지지집합에 포함되는 스케일링 매개변수 r의 집합의 크기와 정규성은 무엇인가?
• RQ4 3항 수열에 사용된 방법을 고차원 균일성 노름을 사용하여 더 긴 등차수열로 확장할 수 있는가?
• RQ5 Gowers 균일성 노름은 분수 차원 집합에서 유한한 점 구성의 탐지에 어떤 역할을 하는가?

주요 결과

• 토러스 위의 측도 μ가 충분히 높은 k차 푸리에 차원(1에 가까운 값)을 가질 경우, 그 지지집합은 비자명한 k+1항 등차수열을 포함한다.
• 이러한 수열의 공차(스케일링 매개변수 r) 집합은 양의 르베그 측도를 가지며, 이는 프락터 거리 추측의 자명한 경우를 일반화한 것이다.
• 이산화 방법과 초그래프 정규성에 기반하여 이러한 수열의 수를 정량적으로 하한을 설정한다.
• 주요 결과는 3항 수열에 대한 연속적인 로트 타입 정리를 고차원 푸리에 분석을 사용하여 더 긴 구성으로 확장한다.
• 이 프레임워크는 균일성 노름 감쇠 조건을 만족할 경우, 분수 차원 집합에서 임의의 유한한 점 구성(예: 등차수열)의 탐지를 가능하게 한다.
• 증명은 조합론적 결과를 특이 측도 분석으로 이전하기 위해 고차원 Gowers 초그래프 제거 보조정리를 연속 설정에 신규로 적용한다.