[논문 리뷰] On sets of integers not containing long arithmetic progressions

Izabella Łaba, Michael T. Lacey|ArXiv.org|2001. 08. 22.

Limits and Structures in Graph Theory참고 문헌 12인용 수 21

한 줄 요약

이 논문은 Behrend의 구성의 고차원 일반화를 통해 길이 1 + 2^k의 등차수열을 피하는 {1, ..., N}의 부분집합 크기의 새로운 하한을 확립한다. 정수 집합을 밑 n 전개와 ℤ^d 내의 구면 수준 집합을 통해 분석함으로써, 이러한 집합은 최소 N exp(−C(log N)^{1/(k+1)})의 크기를 가질 수 있음을 보여주며, 더 긴 수열에 대해 Behrend의 하한보다 크게 향상시킨다.

ABSTRACT

We construct subsets of {1,...,N} of cardinality at least N exp(-C(log N)^{1/(k+1)}) which do not contain arithmetic progressions of length 2^k+1. This extends a result of Behrend (1946) concerning sets which do not contain aritmetic progressions of length 3.

연구 동기 및 목표

• 1946년 Behrend의 3항 등차수열을 피하는 부분집합 크기의 하한을 개선하고, 더 긴 수열으로 확장하는 것.
• 특히 k = 1 + 2^k일 때, {1,…,N}에서 등차수열 길이 k를 피하는 최대 크기 r(k,N)를 조사하는 것.
• ℤ^d 내의 자릿수 전개와 노름 기반 수준 집합을 이용한 구조적 방법을 개발하여 큰 진행선-free 집합을 생성하는 것.
• k가 증가함에 따라 r(k,N)의 하한에서 로그 인자 지수의 정량적 개선을 확립하는 것.

제안 방법

• 정수 {1,…,N}을 [−q, q] 내의 대칭 자릿수를 가진 밑 n 전개로 표현하고, d ≈ √log N인 ℤ^d 내의 벡터로 매핑한다.
• 각 x에 대해 노름 ‖x‖² = ∑x_i²를 정의하고, 등차수열을 피하기 위해 S_r = {x ∈ Q : ‖x‖² = r} 수준 집합을 고려한다.
• 차수 2m인 비상수 다항식은 최대 2m개의 근을 가질 수 있다는 사실을 이용하여, S_r가 다항식 진행선의 2m+1개 항을 포함할 수 없음을 보인다.
• 가능한 노름의 범위에 대해 깔개 원리(의심의 원리)를 적용하여, 길이가 큰 카디널리티를 가진 수준 집합 S_r를 찾는다. 이는 긴 등차수열을 피함을 보장한다.
• 점진적 구성: 더 큰 진행선-free 집합을 수준 집합의 합집합과 2m차 다항식 진행선을 피하는 집합 R을 이용한 이동을 통해 구성한다.
• rQ 내의 벡터 선형 조합의 구조를 활용하여 스케일링과 이동에 대해 등차수열 성질이 유지됨을 이용한다.

실험 결과

연구 질문

• RQ1 Behrend의 3항 진행선-free 집합 구성은 더 긴 등차수열로 일반화될 수 있는가?
• RQ2 {1,…,N}에서 길이 k의 등차수열을 피하는 최대 부분집합 크기 r(k,N)의 최적 하한은 무엇인가?
• RQ3 특히 k = 1 + 2^m일 때, 하한의 로그 인자 지수는 k에 따라 어떻게 변화하는가?
• RQ4 고차원 기하 구조(예: ℤ^d 내의 구)를 이용하여 원래 Behrend 방법보다 더 큰 진행선-free 집합을 구성할 수 있는가?
• RQ5 k가 N과 함께 증가할 때 r(k,N)의 점점 더 큰 행동은 어떻게 되는가, 특히 k가 m에 대해 지수적일 경우?

주요 결과

• 논문은 새로운 하한을 확립한다: 어떤 절대 상수 C > 0에 대해 r(1 + 2^k, N) ≥ N exp(−C(log N)^{1/(k+1)}).
• 이 하한은 더 긴 수열에 대해 Behrend의 원래 추정치 r(3,N) ≥ N exp(−C√log N)를 초월한다.
• 구성은 대칭 자릿수를 가진 정수의 밑 n 전개를 사용하고, ℤ^d 내의 ℓ² 노름 수준 집합을 선택하여 다항식 진행선을 피한다.
• 이 방법은 비상수 다항식의 차수 2m가 최대 2m개의 근을 가질 수 있다는 사실에 기반하며, 노름 수준 집합 내에서 긴 등차수열이 발생하지 않도록 한다.
• 점진적 추론을 통해 중첩된 수준 집합과 진행선-free 집합 R의 이동 복사본에 대한 깔개 원리를 적용하여 큰 진행선-free 부분집합의 존재를 보장한다.
• 최종 하한은 d ≈ (log N)^{1/(k+1)}로 선택하고 N = n^d로 설정함으로써 도출되며, 이는 제시된 지수-로그 상호보완성의 형태를 띈다.