[논문 리뷰] Thick subsets that do not contain arithmetic progressions

Kevin O’Bryant|arXiv (Cornell University)|2009. 12. 08.

Limits and Structures in Graph Theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 임의의 유한 집합에서 $k$-항 산술급수(AP)를 갖지 않는 큰 부분집합을 찾기 위해 Behrend 유형의 구성법을 일반화한다. 특히 제곱수나 무작위 집합과 같은 구조적 집합에서 다루며, 이러한 부분집합의 상대 밀도에 하한을 설정한다. 이는 조건이 적은 AP를 가진 집합이라도 양의 상대 밀도를 갖는 $k$-AP를 피하는 부분집합을 찾을 수 있음을 보여주며, 존재하는 $D$-진행형의 수에 따라 명시적인 지수형 상한을 제공한다.

ABSTRACT

We adapt the construction of subsets of {1, 2, ..., N} that contain no k-term arithmetic progressions to give a relatively thick subset of an arbitrary set of N integers. Particular examples include a thick subset of {1, 4, 9, ..., N^2} that does not contain a 3-term AP, and a positive relative density subset of a random set (contained in {1, 2, ..., n} and having density c n^{-1/(k-1)}) that is free of k-term APs.

연구 동기 및 목표

• 정수 집합 $\mathbb{Z}$ 내의 임의의 유한 집합 $\mathscr{N}$ 으로 Behrend 유형의 AP를 갖지 않는 부분집합의 구성법을 $[N]$ 간격에서 일반화한다. 특히 $k$-항 산술급수가 적은 집합에 초점을 맞춘다.
• 특정 $D$-진행형 유형의 수가 제한된 집합에서 $k$-AP를 갖지 않는 부분집합의 크기에 대한 정량적 하한을 설정한다. 예를 들어 제곱수 집합이나 $\{1,\dots,n\}$의 무작위 부분집합과 같은 집합을 대상으로 한다.
• 특정 집합에서 $k$-AP의 수가 상대적으로 적더라도, 양의 상대 밀도를 갖는 $k$-AP를 피하는 부분집합을 찾을 수 있음을 보여주며, 이러한 집합이 반드시 희박해야 한다는 직관을 도전한다.
• $D$-진행형—낮은 차수 다항식으로 정의되는 수열—의 개념을 체계화하고 분석하여, 주어진 집합 내에서 이러한 구성의 수를 제어한다.
• 기존의 열린 문제를 해결하기 위해, $[N]$이 $r_{k,D}(\mathscr{N})$를 최소화하지는 않으며, 완전 제곱수 집합 내에서 $k$-항 $D$-진행형의 존재 여부를 탐색한다.

제안 방법

• Behrend 방법의 다항식 기반 구성법을 임의의 유한 집합 $\mathscr{N}$ 으로 확장하며, $D$-진행형 유형의 수인 $\operatorname{Type}_{k,D}(\mathscr{N})$ 를 핵심 매개변수로 사용한다.
• $D$-진행형을 정의하여 $(D+1)$-번째 차분이 0이 되는 수열로 간주하고, 보간 다항식의 차수와 주요 계수로 그 '유형'을 정의한다.
• 확률적 및 기하적 방법을 활용: 다항식 수열의 무작위 변형을 구성하고, 무작위 이동이 특정 링근 영역의 격자점들을 피할 확률을 추정한다.
• $d$-차원 공간 내의 부피 추정을 적용하여, 무작위 이동이 $D$-진행형이 완성되는 영역에 들어갈 확률을 제한한다. 이때 $\mathbb{R}^d / \mathbb{Z}^d$ 토러스의 기하학적 성질을 활용한다.
• d-차원 공간 내 원환체와 구의 부피를 사용하여 $r_{k,D}(\mathscr{N})/N$ 에 대한 하한을 유도하며, $d$ 는 $\log \Psi(N)$ 과 $D$ 에 대한 함수로 선택된다.
• 이전 연구(예: [OBryant])의 재귀적 추정과 결합하여, 최종 하한을 유도하며, 이는 $\exp(-n2^{(n-1)/2}D^{(n-1)/n}\sqrt[n]{\log \Psi(N)} + \frac{1}{2n}\log\log \Psi(N))$ 형태를 갖는다.

실험 결과

연구 질문

• RQ1 임의의 유한 집합 $\mathscr{N} \subseteq \mathbb{Z}$ 에서 $k$-항 산술급수를 갖지 않는 큰 부분집합을 구성할 수 있는가? 특히 $\mathscr{N}$ 에서 이러한 급수가 적을 경우에 대해.
• RQ2 제곱수 집합 내에서 $k$-AP를 갖지 않는 부분집합의 최대 상대 밀도는 얼마이며, 양의 상대 밀도를 갖는 그러한 부분집합이 존재하는가?
• RQ3 밀도 $cn^{-1/(k-1)}$ 를 갖는 $\{1,\dots,n\}$ 의 무작위 부분집합은 거의 확실히 양의 상대 밀도를 갖는 $k$-AP를 피하는 부분집합을 포함하는가?
• RQ4 고정된 $k,D,N$ 에 대해 $r_{k,D}(\mathscr{N})$ 를 최소화하는 집합 $\mathscr{N}$ 는 무엇인가? 즉, $[N]$ 이 이 측도에서 최극적인가?
• RQ5 완전 $p$-승 거듭제곱 수 집합 내에서 $k$-항 $D$-진행형이 존재하는 조건은 무엇이며, 이러한 진행형의 서로 다른 유형은 최대 몇 개인가?

주요 결과

• 모든 $N$ 에 대해 $\{1,4,9,\dots,N^2\}$ 의 부분집합 중에서 $3$-항 산술급수가 없는 크기가 적어도 $C \cdot N \cdot \exp\big(-2\sqrt{2}\sqrt{\log\log N} + \frac{1}{4}\log\log\log N\big)$ 인 것이 존재하며, 여기서 $C>0$ 은 절대 상수이다.
• 모든 $\mathscr{N} \subseteq \mathbb{Z}$ 에 대해 $|\mathscr{N}| = N$ 이고 $\operatorname{Type}_{k,D}(\mathscr{N}) \leq N\Psi(N)$ 를 만족할 경우, $k$-AP를 갖지 않는 부분집합의 상대 밀도는 $r_{k,D}(\mathscr{N})/N \geq C \exp\big(-n2^{(n-1)/2}D^{(n-1)/n}\sqrt[n]{\log \Psi(N)} + \frac{1}{2n}\log\log \Psi(N)\big)$ 를 만족하며, 여기서 $C = C(k,D,\Psi)$ 이다.
• 밀도 $cn^{-1/(k-1)}$ 를 갖는 $\{1,\dots,n\}$ 의 무작위 부분집합 $\mathscr{N}$ 에 대해서는, 충분히 큰 $n$ 에 대해 거의 확실히 $\mathscr{N}$ 가 상대 밀도 $\delta > 0$ 이상을 갖는 $k$-AP를 피하는 부분집합을 포함한다. 여기서 $\delta < 1$ 이다.
• 이 구성은 조건이 적은 집합(예: $\Psi(N)$ 종류의 진행형)이라도 여전히 $k$-AP를 갖지 않는 부분집합의 크기에 비현실적인 하한을 확보할 수 있음을 보여주며, 기존의 단순한 하한보다 크게 향상된다.
• 이 방법은 $[N]$ 이 모든 $N$-원소 집합 중에서 $r_{k,D}(\mathscr{N})$ 를 최소화하지는 않음을 보여주며, 이는 구조적 또는 희박한 집합이 $[N]$ 보다 더 큰 $k$-AP를 갖지 않는 부분집합을 허용할 수 있음을 시사한다.
• 논문은 완전 제곱수 집합 내에서 $k$-항 $D$-진행형을 분석할 수 있는 프레임워크를 제공하며, $4$-항 $2$-진행형이 세제곱수 집합 내에 존재함을 언급한다(예: $3^3, 16^3, 22^3, 27^3$). 그러나 일반적인 존재성과 유형의 수는 여전히 열려있다.