[논문 리뷰] Arithmetic progressions in middle Nth cantor sets

Jon Chaika|arXiv (Cornell University)|2017. 03. 27.

Limits and Structures in Graph Theory인용 수 3

한 줄 요약

이 논문은 $k$-좋은 구간에 대한 재귀적 귀납적 추론을 통해, 이동된 복사본들의 교차가 비어 있지 않음을 보여주는 방식으로, 중간 $\frac{1}{N}^\text{th}$ 칸토어 집합이 $\frac{N}{\log N}$ 비례하는 길이의 등차수열을 포함함을 증명한다. 핵심 결과는 충분히 큰 모든 $N$에 대해 이러한 구성이 존재함을 보이며, 수열의 길이에 대한 정량적 한계를 설정한다.

ABSTRACT

We show the middle Nth cantor set contains arithmetic progressions of length at least proportional to N/log_2(N).

연구 동기 및 목표

• 큰 $N$에 대해 중간 $\frac{1}{N}^\text{th}$ 칸토어 집합 내에서 긴 등차수열의 존재를 확립하기 위해.
• 그러한 칸토어 집합에 임bed할 수 있는 등차수열의 최대 길이를 결정하기 위해.
• 구간 구조와 이동 불변성에 기반한 재귀적 방법을 개발하여, 이동된 칸토어 집합들의 교차가 비어 있지 않음을 증명하기 위해.
• 구성의 각 단계에서 중간 $\frac{1}{N}^\text{th}$ 구간을 제거함으로써 유도되는 기하학적 및 측도론적 제약 조건을 분석하기 위해.
• 결과가 이중리프시츠 사상 하에서 얼마나 견고한지 평가하고 유도된 한계의 날카러움을 평가하기 위해.

제안 방법

• 각 단계에서 $C_k$의 각 구간으로부터 중간 $\frac{1}{N}^\text{th}$를 반복 제거하여 $X$를 중간 $\frac{1}{N}^\text{th}$ 칸토어 집합으로 정의한다.
• 크기가 $\frac{1}{N^k}$인 $k$-좋은 구간 $J$의 개념을 도입하며, 이는 이동된 집합 $X_{\frac{1}{N^{k+1}}} + a_i$의 크기가 $\frac{1}{N^{k+1}}$인 $\frac{N}{2}$개의 서로소 구간과 교차함을 의미한다.
• $k$에 대한 귀납법을 사용하여, $J$가 $k$-좋은 경우, $J$ 안에 $k+1$-좋은 부분구간 $J'$가 존재함을 증명한다.
• 레마 4를 적용하여, 각 단계에서 주어진 구간 $J$와 교차할 수 있는 제거된 구간의 수를 유계로 제한하며, $L > k$일 때 최대 $2^{L-k-1}$임을 보인다.
• 코로나리 5를 사용하여, $X_{\frac{1}{N^{k+1}}}$에서 $X_{\frac{1}{N^{k+2}}}$로 넘어갈 때 파괴될 수 있는 크기가 $\frac{1}{N^{k+2}}$인 구간의 수를 추정하며, 이는 $9N\log_2 N$ 이하로 유계로 제한된다.
• 고위상 원리(피그홀)를 적용하여, $k$-좋은 구조 내에서 $N$개의 연속된 구간 블록이 전이 과정을 거쳐도 생존함을 보이며, 이는 $k+1$-좋음의 유지 보장을 한다.

실험 결과

연구 질문

• RQ1 중간 $\frac{1}{N}^\text{th}$ 칸토어 집합에 임베드할 수 있는 등차수열의 최대 길이는 얼마인가?
• RQ2 이러한 수열의 길이에 대한 $\frac{N}{100\log_2 N}$의 한계가 날카로운가, 아니면 향상시킬 수 있는가?
• RQ3 결과는 등차수열 이외의 구성, 예를 들어 더 일반적인 패턴이나 이중리프시츠 영상으로까지 확장될 수 있는가?
• RQ4 모든 이중리프시츠 영상이 중간 $\frac{1}{N}^\text{th}$ 칸토어 집합의 3항 등차수열을 포함하는 $N$이 존재하는가?
• RQ5 칸토어 집합의 구조는 이동과 스케일링 하에서 긴 등차수열의 존재에 어떻게 影향을 미치는가?

주요 결과

• 논문은 임의의 $N$에 대해 중간 $\frac{1}{N}^\text{th}$ 칸토어 집합이 길이 $\frac{N}{100\log_2 N}$의 등차수열을 포함함을 증명하며, 이 길이는 $N$이 증가함에 따라 증가한다.
• 비어 있지 않은 이동된 칸토어 집합의 교차가 모든 수준에서 유지됨을 보여주는 $k$-좋은 구간에 대한 귀납적 방법을 통해 이러한 수열의 존재가 확립된다.
• 이식에서 $X_{\frac{1}{N^{k+1}}}$에서 $X_{\frac{1}{N^{k+2}}}$로 전이할 때 파괴되는 구간의 수는 $9N\log_2 N$ 이하로 유계로 제한되며, 이는 $k+1$-좋음 유지에 충분한 구간 생존을 보장한다.
• 크기가 $\frac{1}{N^k}$인 주어진 구간 $J$가 교차할 수 있는 구간의 수는 최대 $2^{L-k-1}$이며, 이는 $J$가 수준 $k$의 잔여 집합 내에 있을 때 최대가 된다.
• 구성은 칸토어 집합 내에 $\frac{N}{\log N}$ 비례하는 크기의 구성이 존재함을 암시하며, 이 방법은 제어된 상수를 갖는 이중리프시츠 사상 하에서도 견고하다.
• 결과는 스미스의 게임을 사용한 브로더릭, 피시만, 시몬스에 의한 후속 연구와 일치하며, 이는 유도된 한계의 정확성과 최적성(상수의 차이를 제외하고)을 검증한다.