[논문 리뷰] When Sets Can and Cannot Have MSTD Subsets

Hùng Việt Chu, Nathan McNew외 3명|arXiv (Cornell University)|2016. 08. 10.

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

한 줄 요약

이 논문은 피보나치 수나 소수와 같은 무한한 정수 집합이 합집합이 차집합보다 크기로 더 큰 합집합 우세 집합(MSTD 집합)을 포함할 수 있는 조건을 조사한다. 빠르게 증가하는 수열인 피보나치 수열은 합집합 우세 집합을 포함하지 않음을 증명하고, 유한한 수의 그러한 집합이 존재하는 조건을 설정하며, 하디-리틀우드 소수 튜플 추측과 녹-타오 정리에 기반하여 소수 집합은 무한히 많은 합집합 우세 집합을 포함함을 보여준다.

ABSTRACT

A finite set of integers $A$ is a sum-dominant (also called an More Sums Than Differences or MSTD) set if $|A+A| > |A-A|$. While almost all subsets of $\{0, \dots, n\}$ are not sum-dominant, interestingly a small positive percentage are. We explore sufficient conditions on infinite sets of positive integers such that there are either no sum-dominant subsets, at most finitely many sum-dominant subsets, or infinitely many sum-dominant subsets. In particular, we prove no subset of the Fibonacci numbers is a sum-dominant set, establish conditions such that solutions to a recurrence relation have only finitely many sum-dominant subsets, and show there are infinitely many sum-dominant subsets of the primes.

연구 동기 및 목표

• 무한한 정수 집합이 합집합 우세 집합을 포함하지 않는 데 충분한 조건을 규명하는 것.
• 무한한 집합이 유한한 수의 합집합 우세 집합만 포함하는 조건을 규명하는 것.
• 소수 집합 내에서 무한히 많은 합집합 우세 집합의 존재를 증명하는 것.
• 재귀 관계와 성장률이 합집합 우세 집합의 존재 또는 부재에 미치는 영향을 조사하는 것.
• 덧셈 조합론과 소수 성층과 같은 수론적 구조 간의 상호작용을 탐구하는 것.

제안 방법

• 수열이 빠르게 증가하고 작은 합집합 우세 집합을 피하는 한, 그 집합에 합집합 우세 집합이 존재하지 않음을 증명하기 위해 부분집합 원소의 인덱스에 대해 강한 귀납법을 사용한다.
• |S+S| - |S-S| ≥ |S|를 만족하는 '특수 합집합 우세 집합'의 개념을 도입하여 더 큰 집합으로의 귀납적 확장을 가능하게 한다.
• 하디-리틀우드 k-튜플 추측을 적용하여 알려진 합집합 우세 패턴과 일치하는 소수 튜플의 수를 추정한다.
• 최소 MSTD 집합 {0,2,3,4,7,11,12,14}을 고정된 정수로 스케일링하고 소수 튜플을 통해 이동시켜 명시적인 합집합 우세 집합을 구성한다.
• 녹-타오 정리를 활용하여 소수에 포함된 임의의 길이의 등차수열이 존재함을 이용해 임의의 크기의 합집합 우세 부분집합을 생성한다.
• 모듈로 산술을 사용하여 소수 튜플의 적합성을 검증하고, 국소적 금기 조건에 의해 배제되지 않음을 보장한다.

실험 결과

연구 질문

• RQ1 무한한 수열이 합집합 우세 집합을 포함하지 않도록 하는 성장 조건은 무엇인가?
• RQ2 무한한 수열이 유한한 수의 합집합 우세 집합만 포함하는 조건은 언제인가?
• RQ3 소수에 대해 무한히 많은 합집합 우세 집합의 존재를 조건 없이 증명할 수 있는가?
• RQ4 무한히 많은 합집합 우세 집합을 지닌 집합에 필요한 최소한의 구조는 무엇인가?
• RQ5 재귀 관계는 수열 내 합집합 우세 집합의 수에 어떤 영향을 미치는가?

주요 결과

• 피보나치 수열은 k ≥ 4일 때 a_k > a_{k-1} + a_{k-3}를 만족하고 작은 합집합 우세 집합이 없기 때문에 합집합 우세 부분집합을 포함하지 않는다.
• 수열이 k ≥ s일 때 a_{k} > a_{k-1} + a_{k-3}보다 더 빠르게 증가하고 첫 4s+6개 원소 내에 특수 합집합 우세 집합이 없으면, 그 수열은 유한한 수의 합집합 우세 부분집합만 포함한다.
• 하디-리틀우드 k-튜플 추측에 기반하여, 무한히 많은 소수 8-튜플이 최소 MSTD 집합의 패턴과 일치하므로 소수 집합에는 무한히 많은 합집합 우세 부분집합이 존재한다.
• 명시적인 소수 합집합 우세 부분집합으로 {19, 79, 109, 139, 229, 349, 379, 439}를 발견하였으며, 이는 최소 MSTD 집합을 30으로 스케일링하고 19만큼 이동시켜 유도되었다.
• 녹-타오 정리는 소수에 무한히 긴 등차수열이 존재함을 시사하며, 이를 통해 임의의 크기의 합집합 우세 부분집합을 생성할 수 있다.
• x 이하의 소수에 대한 합집합 우세 부분집합의 수는 고정된 MSTD 패tern과 일치하는 적합한 소수 튜플의 수보다 작지 않으며, 하디-리틀우드 추측에 따라 점 渐진적으로 증가한다.