[논문 리뷰] A superadditivity and submultiplicativity property for cardinalities of sumsets

Katalin Gyarmati, Imre Z. Ruzsa외 1명|ArXiv.org|2007. 07. 18.

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

한 줄 요약

이 논문은 유한 정수 집합과 가환 반군에서 합집합의 기수에 대한 초가역성 및 하향 곱성 부등식을 수립한다. $n$-중합집합 $S = A_1 + \cdots + A_n$ 의 크기가 $|S| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$ 를 만족함을 증명하며, 여기서 $S_i$ 는 한 집합을 제외한 $(n-1)$-중합집합이며, $|S| \leq \left(\prod |S_i|\right)^{1/(k-1)}$ 이며, 이는 지수적 성장을 넘어서는 성장을 보여준다. 이러한 결과는 Cauchy-Davenport 및 Lev 유형의 부등식을 이질적인 합성원으로 일반화하며, 비순환군과 제한된 덧셈 그래프로의 응용까지 확장된다.

ABSTRACT

For finite sets of integers $A_1, A_2 ... A_n$ we study the cardinality of the $n$-fold sumset $A_1+... +A_n$ compared to those of $n-1$-fold sumsets $A_1+... +A_{i-1}+A_{i+1}+... A_n$. We prove a superadditivity and a submultiplicativity property for these quantities. We also examine the case when the addition of elements is restricted to an addition graph between the sets.

연구 동기 및 목표

• 합성원이 유한 정수 집합일 때 $n$-중합집합의 기수에 대한 초가역성 성질을 수립하기 위해.
• 가환 반군에서 합집합 크기의 성장에 대해 하향 곱성 부등식을 증명하기 위해.
• 이러한 결과를 비순환군과 제한된 덧셈을 고려한 덧셈 그래프의 설정으로 확장하기 위해.
• 기존의 Cauchy-Davenport 및 Lev의 결과 $|3A| \geq \frac{3}{2}|2A| - \frac{1}{2}$ 를 임의의 서로 다른 합성원을 가진 유한 집합으로 일반화하기 위해.
• $|kA|^{1/k}$ 의 행동을 조사하고 Ruzsa의 추측을 지지하는 바를 확인하기 위해.

제안 방법

• 합집합 $S = A_1 + \cdots + A_k$ 와 $S_i = A_1 + \cdots + A_{i-1} + A_{i+1} + \cdots + A_k$ 를 정의하며, 여기서 $S_i$ 는 $A_i$ 를 제외한 $(n-1)$-중합집합이다.
• 각 $A_i$ 를 그 최소 및 최대 원소를 포함하는 두 원소의 부분집합 $A_i'$ 로 대체하여 $S_i'$ 를 구성한다.
• 합집합 $S' = \bigcup_{i=1}^k S_i'$ 를 정의하고, 조합론적 및 극한 집합의 추론을 통해 $|S| \geq |S'| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$ 를 증명한다.
• Plünnecke 유형의 부등식과 Theorem 4.2 의 반복 적용을 통해 크기가 큰 부분집합을 가진 합집합의 크기를 유계화하며, 이로 인해 이중화가 통제된 부분집합 $X \subset A$ 가 존재함을 보장한다.
• Theorem 4.4 를 적용하여 크기가 $t$ 초과인 부분집합 $X$ 를 찾으며, $|X + B|$ 가 $s = \prod |A + B_i|$ 에 따라 유계임을 보인다. 여기서 $B = B_1 + \cdots + B_h$ 이다.
• $k$-중 직접곱을 통한 스케일링 추론을 통해 중간 단계의 유계에서 2의 계수를 제거하고, 최종적으로 $|S + A| \leq \sqrt{s|S|}$ 를 증명한다.

실험 결과

연구 질문

• RQ1 부등식 $|3A| \geq \frac{3}{2}|2A| - \frac{1}{2}$ 는 이질적 합집합 $A + B + C$ 로 확장될 수 있는가?
• RQ2 초가역성 부등식 $|S| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$ 는 임의의 유한 정수 집합에 대해 성립하는가?
• RQ3 하향 곱성 유계 $|S| \leq \left(\prod |S_i|\right)^{1/(k-1)}$ 는 가환 반군에서의 합집합에 대해 유효한가?
• RQ4 초가역성 및 하향 곱성 성질은 최소/최대 원소가 정의되지 않는 비순환군으로 확장될 수 있는가?
• RQ5 제한된 덧셈, 예를 들어 그래프 상에서의 덧셈일 경우 부등식 $|S + A| \leq \sqrt{|A+B_1||A+B_2||S|}$ 가 성립하는가?

주요 결과

• 유한 정수 집합에 대해 초가역성 부등식 $|S| \geq \frac{1}{k-1}\sum_{i=1}^k |S_i| - \frac{1}{k-1}$ 이 성립하며, 등호는 집합들이 등차수열일 경우 가능하다.
• 가환 반군 내 유한 집합에 대해 하향 곱성 유계 $|S| \leq \left(\prod_{i=1}^k |S_i|\right)^{1/(k-1)}$ 가 증명되었으며, 이는 $k=3$ 에 대해 알려진 결과를 일반화한다.
• 비순환군의 경우, 적절한 순서에서 최소 및 최대 원소를 포함하는 두 원소 부분집합 $A_i'$ 를 사용하여 초가역성 결과가 성립한다.
• Plünnecke 유형의 부등식을 사용하여 $|kA|^{1/k}$ 의 성장이 비증가임을 보여주며, Ruzsa의 추측을 확인한다.
• 중간 단계의 유계에서 2의 계수를 제거하기 위해 $k$-중 직접곱을 사용하는 방법은 날카운 부등식 $|S + A| \leq \sqrt{s|S|}$ 를 도출한다.
• 결과는 덧셈 그래프로까지 확장되며, 그러나 일반적으로 이러한 제한된 설정에서는 하향 곱성 부등식이 성립하지 않는다.