[논문 리뷰] Sets with more sums than differences

Melvyn B. Nathanson|arXiv (Cornell University)|2006. 08. 06.

graph theory and CDMA systems참고 문헌 1인용 수 14

한 줄 요약

이 논문은 대칭적 일반화된 산술 진행을 전략적으로 수정함으로써 더 많은 합이 존재하는 차이보다 많은 합을 가진 유한 정수 부분집합인 MSTD 집합의 명시적 무한 집합을 구성한다. 주요 기여는 일반적인 구성 방법을 제시하고 이러한 집합이 양의 밀도를 가짐을 증명함으로써, 추가적 조합론에서 그들의 풍부함과 구조에 대한 오랫동안 남아있던 질문을 해결하는 것이다.

ABSTRACT

Let A be a finite subset of the integers or, more generally, of any abelian group, written additively. The set A has "more sums than differences" if |A+A|>|A-A|. A set with this property is called an MSTD set. This paper gives explicit constructions of families of MSTD sets of integers.

연구 동기 및 목표

• 정수에서 |A+A| > |A−A|인 MSTD 집합의 명시적 무한 집합을 구성하는 것.
• MSTD 집합이 희귀한가 아니면 흔한가에 대한 열린 질문을 해결하여, 그것들이 양의 밀도를 가짐을 보이는 것.
• 유한 아벨 군의 부분집합으로부터 MSTD 집합을 생성하는 일반적인 방법을 제공하는 것.
• 유한 정수 집합이 더 많은 합을 가질 수 있는 구조적 조건을 규명하는 것.

제안 방법

• 대칭적 일반화된 산술 진행에 한 개의 원소를 첨가함으로써 MSTD 집합을 구성한다. 이 집합은 한 원소를 제거함으로써 왜곡된다.
• 기저 집합 B = [0, m−1] \ {d}로 정의하고, L = {m−d, 2m−d, ..., km−d}로 정의하여 a* = (k+1)m − 2d를 중심으로 대칭성을 확보한다.
• 합집합 |A+A|가 |A−A|를 초과함을 증명하기 위해, 2m ∈ (A+A) \ (A*+A*) 이지만 |A−A| = |A*−A*|임을 보이며, 차이의 예로서 1, 4, 4k−4, 4k−2 등이 A*−A*에 속한다는 사실에 기반한다.
• G = Z/nZ × Z/2Z에서 군 이론적 구성 방법을 사용하여 MSTD 집합을 생성한다. A+A = G를 만족하는 부분집합 A ∈ Ω의 비율이 양의 비율을 가짐을 증명한다.
• 확률론적 및 조합론적 경계를 적용하여, Ψ(G) ≥ 2^n(1 − c n / 2^{n/2}) 이며, 이는 n 이외의 경우에도 성립함을 보이며, 양의 밀도를 의미한다.
• 아핀 불변성의 특성을 활용한다. A가 MSTD이면, 임의의 x ≠ 0과 y에 대해 x*A + {y} 역시 MSTD이다.

실험 결과

연구 질문

• RQ1 정수에서 명시적 무한 집합의 MSTD 집합을 구성할 수 있는가?
• RQ2 유한 정수 집합이 더 많은 합을 가질 수 있는 구조적 조건은 무엇인가?
• RQ3 MSTD 집합은 모든 유한 정수 부분집합의 공간에서 양의 밀도를 가질까?
• RQ4 MSTD 집합은 유한 아벨 군의 부분집합으로부터 체계적으로 생성될 수 있는가?

주요 결과

• 모든 k ≥ 3 및 d < m/2, 또는 k ≥ 4 및 d > m/2에 대해, B = [0, m−1] \ {d}, L = {m−d, ..., km−d}, A = A* ∪ {m} 및 A*가 a* = (k+1)m − 2d를 중심으로 대칭이 되도록 하는 명시적 구성이 제공된다.
• 이 구성은 2m ∈ A+A 이지만 2m ∉ A*+A* 이며, 모든 필수 차이가 유지됨을 보여, |A+A| > |A*+A*| = |A*−A*| = |A−A|임을 보장한다.
• G = Z/nZ × Z/2Z일 때, A+A = G를 만족하는 부분집합 A ∈ Ω의 수 Ψ(G)는 n 이론일 경우 Ψ(G) ≥ 2^n(1 − √2 n / 2^{n/2})이며, n 이론일 경우 Ψ(G) ≥ 2^n(1 − 2n / 2^{n/2})임을 보이며, 이러한 MSTD 집합의 양의 밀도를 증명한다.
• 논문은 MSTD 집합이 {1, 2, ..., n}에서 양의 밀도를 가짐을 확인하며, O’Bryant의 결과를 명시적 구성으로 확장한다.
• 이 방법은 모든 유한 아벨 군으로 일반화되며, 유한 군에서 정수로 MSTD 집합을 올리는 구축 알고리즘이 제시된다.
• MSTD 성질의 아핀 불변성이 입증된다: A가 MSTD이면, 임의의 x ≠ 0과 y에 대해 x*A + {y} 역시 MSTD이다.