[논문 리뷰] Square-Difference-Free Sets of Size Omega(n^{0.7334...})

Richard Beigel, William Gasarch|ArXiv.org|2008. 04. 30.

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

한 줄 요약

이 논문은 모듈로 산술과 재귀적 조합을 사용하여 제곱차이-free 부분집합의 크기 하한을 향상시켜, {1, ..., n}의 최대 제곱차이-free 부분집합의 크기 sdf(n)에 대해 Ω(n^{0.7334...})을 얻는다. 이는 Ruzsa의 이전 결과 Ω(n^{0.733077...})을 초월하며, 제곱무차수 모듈로 m = 205와 크기 12인 적절히 선택된 부분집합 S를 사용하여 구성된다. 이 결과는 제곱근 베르아르드 수에 대한 새로운 하한을 도출한다.

ABSTRACT

A set A is square-difference free (henceforth SDF) if there do not exist x,y\in A, x e y, such that |x-y| is a square. Let sdf(n) be the size of the largest SDF subset of {1,...,n}. Ruzsa has shown that sdf(n) = Ω(n^{0.5(1+ \log_{65} 7)}) = Ω(n^{0.733077...}) We improve on the lower bound by showing sdf(n) = Ω(n^{0.5(1+ \log_{205} 12)})= Ω(n^{.7443...}) As a corollary we obtain a new lower bound on the quadratic van der Waerden numbers.

연구 동기 및 목표

• 최대 제곱차이-free 부분집합의 크기, 즉 {1, ..., n}의 sdf(n)에 대한 기존 하한을 향상시키는 것.
• Ruzsa의 방법을 확장하여 모듈로 m에서 제곱차이-free 집합을 구성하고, 재귀적 조합과 모듈로 산술을 사용하는 것.
• Ruzsa의 이전 결과 Ω(n^{0.733077...})를 초월하는 sdf(n)에 대한 새로운 하한을 제공하는 것.
• 향상된 sdf(n) 하한을 바탕으로 제곱근 베르아르드 수에 대한 새로운 하한을 도출하는 것.
• 현재 하한 Ω(n^{0.7334...})과 알려진 상한 O(n / log^{c_n} n) 사이의 격차를 좁힐 수 있는 열린 문제를 규명하는 것.

제안 방법

• 제곱무차수 모듈로 m과 부분집합 S ⊆ [m]을 선택하여, S의 두 원소가 모듈로 m에서 제곱수 차이를 가지지 않도록 함으로써 모듈로 m에서 제곱차이-free 집합을 구성한다.
• 재귀적 조합을 적용: 모듈로 m에서의 SDF 집합과 모듈로 m^{2k-2}에서의 다른 SDF 집합을 조합하여, 선형 조합을 통해 모듈로 m^{2k}에서 더 큰 SDF 집합을 구성한다.
• 레마 3.5를 적용하여 재귀식을 유도: sdfmod(m^{2k}) ≥ m · sdfmod(m) · sdfmod(m^{2k-2})로, 집합 크기에 대한 지수적 성장을 가능하게 한다.
• 레마 3.6를 활용하여 sdfmod(n)의 성장률을 로그 비율 log_m |S|과 연결함으로써, Ω(n^{0.5(1 + log_m |S|)})의 하한을 도출한다.
• m = 205와 모듈로 205에서 제곱차이가 없는 12개 원소의 부분집합 S를 선택하여 log_{205} 12 > 0.4668를 확보한다.
• 모듈로 구성과 번역을 사용한 커버링 추론을 결합하여, 제곱차이-free 색칠에서 f(c)에 대한 하한을 유도한다.

실험 결과

연구 질문

• RQ1 Ruzsa의 Ω(n^{0.733077...})를 초월하여 {1, ..., n}의 최대 제곱차이-free 부분집합의 크기에 대한 하한을 향상시킬 수 있는가?
• RQ2 제곱무차수 모듈로 m과 모듈로 m에서 두 원소가 제곱수 차이를 가지지 않는 부분집합 S ⊆ [m]에 대해 log_m |S|의 최대값은 얼마인가?
• RQ3 향상된 sdf(n) 하한은 제곱근 베르아르드 수에 대한 기존 하한에 어떤 영향을 미치는가?
• RQ4 현재 하한 Ω(n^{0.7334...})과 상한 O(n / log^{c_n} n) 사이의 격차를 좁힐 수 있는가?
• RQ5 어떤 모듈로 구성 방식이 재귀적 조합을 통해 제곱차이-free 집합의 최대 성장률을 도출하는가?

주요 결과

• 논문은 새로운 하한을 확립한다: sdf(n) = Ω(n^{0.7334...}), Ruzsa의 이전 결과 Ω(n^{0.733077...})를 초월한다.
• 이 향상은 제곱무차수 모듈로 m = 205와 제곱차이가 없는 12개 원소의 부분집합 S ⊆ {0, 2, 8, 14, 77, 79, 85, 96, 103, 109, 111, 181}를 사용하여 구성된 SDF 집합을 통해 달성된다.
• 성장률은 레마 3.6를 통해 도출되며, sdf(n) ≥ Ω(n^{0.5(1 + log_{205} 12)})로 표현되며, log_{205} 12 ≈ 0.4668이므로 지수는 0.7334가 된다.
• 이 방법은 더 큰 모듈로와 더 큰 부분집합 S를 사용함으로써 Ruzsa의 접근을 일반화하여 더 높은 지수를 얻는다.
• 결론적으로, 논문은 제곱차이-free 색칠에서 f(c) ≥ Ω(c^{3.75})의 새로운 하한을 도출한다. 여기서 f(c)는 [N]의 임의의 c-색칠이 제곱수 차이를 가진 단색 쌍을 포함하는 최소 N를 의미한다.
• 논문은 현재 하한 Ω(n^{0.7334...})과 상한 O(n / log^{c_n} n) 사이의 격차를 좁힐 수 있는 문제를 열려 있는 문제로 남긴다.