[논문 리뷰] Sumfree sets in groups

Terence Tao, Van Vu|arXiv (Cornell University)|2016. 03. 09.

Mathematical and Theoretical Analysis인용 수 2

한 줄 요약

이 논문은 군 내 합자유 집합에 관한 에르되시-모저 문제의 변종을 다루며, 임의의 덧셈군 $ G $ 내에서 유한부분집합 $ A $ 의 구조적 특성에 대해 $ \phi(A) $, 즉 $ A $ 의 합을 피하는 최대 부분집합의 크기로 기술한다. 비표준 해석을 통해, $ A $ 는 $ \phi(A) $ 개의 유한부분군으로 효율적으로 덮이거나, $ \phi(A) $ 개 이하의 부분군과 유한한 잔여집합으로 덮임을 보여주며, 고전적 방법이 실패하는 토르션 경우를 해결한다.

ABSTRACT

Let $A$ be a finite subset of an arbitrary additive group $G$, and let $\phi(A)$ denote the cardinality of the largest subset $B$ in $A$ that is sum-avoiding in $A$ (that is to say, $b_1+b_2 ot \in A$ for all distinct $b_1,b_2 \in B$). The question of controlling the size of $A$ in terms of $\phi(A)$ in the case when $G$ was torsion-free was posed by Erdős and Moser. When $G$ has torsion, $A$ can be arbitrarily large for fixed $\phi(A)$ due to the presence of subgroups. Nevertheless, we provide a qualitative answer to an analogue of the Erdős-Moser problem in this setting, by establishing a structure theorem, which roughly speaking asserts that $A$ is either efficiently covered by $\phi(A)$ finite subgroups of $G$, or by fewer than $\phi(A)$ finite subgroups of $G$ together with a residual set of bounded cardinality. In order to avoid a large number of nested inductive arguments, our proof uses the language of nonstandard analysis. We also answer negatively a question of Erdős regarding large subsets $A$ of finite additive groups $G$ with $\phi(A)$ bounded, but give a positive result when $|G|$ is not divisible by small primes.

연구 동기 및 목표

• 토르션을 가진 군에서 고전적 크기 경계가 부분군으로 인해 무너지는 바탕에서, 합자유 집합에 관한 에르되시-모저 문제를 다루는 것.
• 임의의 덧셈군 $ G $ 내에서 유한부분집합 $ A $ 의 구조를 $ \phi(A) $, 즉 합을 피하는 최대 부분집합의 크기로 기술하는 것.
• 고정된 $ \phi(A) $ 에 대해 $ A $ 가 임의로 클 수 있는 토르션 경우에 대해, $ A $ 를 부분군과 작은 잔여집합으로 분해하여 정성적인 구조적 답변을 제공하는 것.
• 에르되시가 유한군에서 $ \phi(A) $ 가 유계일 때 큰 부분집합이 존재하는가에 대한 질문에 대해 부정적인 답변을 제시하지만, $ |G| $ 가 작은 소수로 나누어지지 않을 경우는 긍정적인 답변을 제시하는 것.

제안 방법

• 덧셈조합론에서 흔히 복잡한 중첩된 귀납적 추론을 피하기 위해 비표준 해석을 활용하는 것.
• $ \phi(A) $ 를 정의하여, 모든 서로 다른 $ b_1, b_2 \in B $ 에 대해 $ b_1 + b_2 \notin A $ 를 만족하는 부분집합 $ B \subseteq A $ 의 최대 크기로 정의하며, 합을 피하는 행동을 포착한다.
• 이중성: $ A $ 는 $ \phi(A) $ 개의 유한부분군으로 덮이거나, $ \phi(A) $ 개 이하의 부분군과 유한한 크기의 집합으로 덮임을 보여주는 것.
• 비표준 모델에서의 초곱과 포화 성질을 사용하여 $ A $ 의 渐近적 구조를 분석함으로써 국소적 합을 피하는 구성에 대한 전반적 통제를 가능하게 한다.
• 토르션의 역할을 분석하기 위해 부분군이 고정된 $ \phi(A) $ 에 대해 임의로 큰 $ A $ 를 가능하게 하므로, 구조적 분해가 필수적임을 보여주는 것.
• 유한군 $ G $ 에서 $ |G| $ 가 작은 소수로 나누어지지 않을 경우, $ \phi(A) $ 가 유계이면 $ A $ 가 구조적인 형태를 가짐을 증명하는 긍정적 결과를 도출하는 것.

실험 결과

연구 질문

• RQ1 부분군이 고전적 크기 경계를 무너뜨리는 토르션을 가진 군으로 확장할 때, 에르되시-모저 문제의 합자유 집합에 대한 의미 있는 확장이 가능한가?
• RQ2 특히 군 $ G $ 가 토르션을 가질 경우, 임의의 덧셈군 $ G $ 내에서 유한부분집합 $ A $ 에 대해 $ \phi(A) $ 가 어떤 구조적 제약을 가하는가?
• RQ3 토르션의 영향이 있음에도 불구하고, $ \phi(A) $ 가 작을 경우 $ A $ 를 소수의 부분군과 유한한 잔여집합으로 분해하는 것이 가능한가?
• RQ4 $ |G| $ 에 작은 소수의 약수가 없을 경우, $ \phi(A) $ 가 유계인 큰 부분집합이 존재하는가에 대한 에르되시의 질문에 대해 긍정적인 해결책이 가능한가?
• RQ5 비표준 해석은 덧셈조합론에서 복잡한 귀납적 구성 방식을 피하기 위해 어떻게 활용될 수 있는가?

주요 결과

• 토르션을 가진 군에서는 부분군의 존재로 인해 고정된 $ \phi(A) $ 에 대해 $ A $ 가 임의로 클 수 있으며, 이는 직접적인 크기 경계를 무효화한다.
• 논문은 이중성을 확립한다: $ A $ 는 $ \phi(A) $ 개의 유한부분군으로 효율적으로 덮이거나, $ \phi(A) $ 개 이하의 부분군과 유한한 크기의 잔여집합으로 덮임을 보여준다.
• 이 구조적 결과는 복잡한 중첩된 귀납적 추론이 필요 없도록 비표준 해석을 통해 증명된다.
• 논문은 에르되시가 $ \phi(A) $ 가 유계인 유한군 내 큰 부분집합의 존재성에 대해 제기한 질문에 대해 부정적인 답변을 제시하며, 일반적으로는 그러한 집합이 존재하지 않음을 보여준다.
• 그러나 $ |G| $ 가 작은 소수로 나누어지지 않을 경우, 논문은 긍정적인 결과를 증명한다: $ \phi(A) $ 가 유계면 $ A $ 는 구조적인 분해를 가지며, 이는 에르되시의 추측을 보완한 형태로 지지한다.