The sum-product conjecture is false for real numbers

기술적 요약: 실수에 대한 합-곱 추측은 거짓이다

문제 제기
본 논문은 에르되시 (Erdős)–슈메레디 (Szemerédi) 합-곱 추측을 다룬다. 이 추측은 환 (특히 $\mathbb{Z}$, $\mathbb{R}$, 또는 $\mathbb{C}$) 내의 임의의 유한 집합 $A$에 대해, 합집합 $A+A = \{a+b : a,b \in A\}$ 또는 곱집합 $AA = \{ab : a,b \in A\}$ 중 적어도 하나는 거의 최대 규모로 성장해야 한다고 주장한다. 형식적으로, 이 추측은 다음과 같이 진술된다:
$$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$$
여기서 $o(1)$ 항은 $|A| \to \infty$일 때 0 으로 수렴한다. $\mathbb{R}$의 부분집합에 대한 기존에 알려진 최상의 하한은 $|A|^{4/3+c}$ 형태이지만, 이 추측은 여전히 열려 있다. 저자들은 이 추측이 실수 위에서 성립하는지 여부를 조사한다.

방법론
저자들은 대수적 수론, 특히 고차의 완전히 실수인 수체 (totally real number fields) 를 활용하여 명시적인 반례를 구성한다. 핵심 전략은 발로그 (Balog)–월리 (Wooley) 예제의 고차원 일반화를 수행하여, 수체 $K$의 정수환 $\mathcal{O}_K$의 구조화된 부분집합으로 표준적인 기하급수 및 산술급수를 대체하는 것이다.

이 구성은 $\mathcal{O}_K$ 내의 두 가지 서로 다른 격자 구조에 의존한다:

1. 가법 격자 (Additive Lattice): 모든 실수 매장 $\sigma_i(p)$가 짧은 구간 $[X-cX, X+cX]$에 속하는 대수적 정수들의 "박스"$P$이다. 이는 가법 구조가 작은 영역에 국한되도록 보장한다.
2. 승법 격자 (Multiplicative Lattice): 매장 $\sigma_i(u)$의 로그 $|\log|\sigma_i(u)||$가 상수 $Y$에 의해 유계인 단위 (units) $u \in \mathcal{O}_K^\times$의 집합 $G$이다. 이는 작은 곱 성장 (작은 더하기) 을 가진 집합을 생성한다.

반례 집합은 곱 $A = GP = \{up : u \in G, p \in P\}$로 정의된다. 저자들은 $P$ 내의 임의의 두 원소의 비율이 비자명한 단위 (non-trivial unit) 가 될 수 없도록 매개변수를 선택함으로써 이 곱이 직접적 (direct, 즉 $|A| = |G||P|$) 이 되도록 보장한다. 이 성질은 단위들의 분리에 관한 스킨젤 (Schinzel) 의 결과에 의해 보장된다.

적합한 수체의 존재는 마르티네 (Martinet) 가 유계 근판별식 ($\Delta_K \le C^d$) 과 통제된 조절자 ($R_K \le \Delta_K$) 를 가진 완전히 실수인 수체의 타워를 구성함으로써 보장된다. 이러한 경계들은 격자 부피 (따라서 $P$와 $G$의 크기) 가 차수 $d$에 따라 지수적으로 성장하도록 하여, 임의로 큰 집합 $A$를 구성할 수 있게 한다.

주요 기여 및 결과

1. $\mathbb{R}$에 대한 합-곱 추측의 반증:
   주요 결과 (정리 1.1) 는 절대 상수 $c > 0$이 존재하여 임의로 큰 유한 집합 $A \subset \mathbb{R}$가 다음을 만족함을 확립한다:
   $$\max(|A+A|, |AA|) \le |A|^{2-c}$$
   이는 추측을 직접적으로 모순한다. 이 구성은 합집합이 작고 ($|A+A| \le |A|^{1+\epsilon}$), 곱집합이 거듭제곱 절감 (power-saving) 을 보이는 ($|AA| \le |A|^{2-c\epsilon}$) 집합들을 산출한다.

2. "많은 합과 곱" 추측의 반증:
   저자들은 에르되시의 $k$-중 합과 곱에 관한 더 강력한 추측을 반증하기 위해 구성을 확장한다. 임의의 고정된 $k \ge 3$에 대해, 저자들은 다음을 만족하는 임의로 큰 $A \subset \mathbb{R}$를 구성한다:
   $$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$$
   이 $k$에 대한 의존성은 $|A| \to \infty$일 때 고정된 $k$에 대해 최적일 것으로 추정된다.

3. 승법군 내 선형 방정식에 대한 새로운 하한:
   이 구성은 승법군 $\Gamma$ 내의 $x_i$를 갖는 선형 방정식 $x_1 + \dots + x_k = 1$의 해 개수에 대한 새로운 하한을 제공한다.

   • 계수 (rank) $d$인 $\mathbb{R}^\times$의 부분군에 대해, 비퇴화 해의 개수가 적어도 $\exp((C^{-1}k \log k)d)$임을 보여, 에버테스 (Evertse)–슐리케바이 (Schlickewei)–슈미트 (Schmidt) 상한식의 지수 내 계수 $d$에 대한 선형 의존성이 최선임을 입증한다.
   • 수체 내 단위 방정식에 대해, 저자들은 충분히 큰 $k$에 대해 적어도 $C^d$개의 해를 갖는 차수 $d$의 수체들이 존재함을 보여, $k \ge 3$에 대한 지수 미만 성장에 관한 추측들을 반증한다.

4. 다른 설정에서의 변형:
   이 방법론은 다음과 같은 다른 설정에서 반례를 생성하도록 적응되었다:

   • $p$-진수 ($\mathbb{Q}_p$): $p$가 완전히 분해되는 체를 사용하여 구성.
   • 유한체 ($\mathbb{F}_p$): 대수적 정수 구성을 $p$에 대해 모듈로 축소하여, 작은 합 - 곱 성장을 갖는 크기 $p^c < |A| < p^{1/2}$의 집합을 산출.
   • 함수체 ($\mathbb{F}_q((t))$): 많은 유리점을 갖는 대수적 곡선 위의 선다발 (Drinfeld–Vlăduț–Zink 수열) 을 사용하여 양의 표수에서 반례를 구성.

의의 및 주장
본 논문은 수십 년간 가법 조합론의 중심 문제였던 실수에 대한 합 - 곱 추측을 결정적으로 반증했다고 주장한다. 저자들은 이 추측이 유계 차수의 수체 (예: $\mathbb{Z}$) 내의 집합에 대해서는 여전히 성립할 수 있지만, 고차 대수적 구조의 가용성으로 인해 일반적인 $\mathbb{R}$ 설정에서는 실패한다고 강조한다.

저자들은 그들의 증명이 유계 판별식과 조절자를 갖는 특정 산술적 성질을 지닌 수체의 존재에 의존한다고 언급한다. 이러한 수체들은 구성하기가 비자명하지만 대수적 수론에서 잘 확립되어 있다. 그들은 최종 증명 (주요 아이디어 포함) 이 거의 전적으로 인간에 의해 생성되었으나, 초기 단계에서 "의논 대상 (sounding board)"으로 AI 를 활용했고, 더 복잡한 결과를 단순화한 특정 기본 보조정리 (보조정리 3.4) 에 대해 AI 를 사용했다고 명시적으로 밝힌다.

이 연구는 합 - 곱 현상의 한계에 대한 새로운 정량적 통찰을 제공하며, 기본 대수적 구조가 충분히 풍부할 때 (고차), 곱집합 내의 "거듭제곱 절감"이 작은 합집합과 동시에 달성될 수 있음을 보여준다. 논문은 상수 $c$에 대한 명시적이지만 작은 값 (예: $c \ge 0.00000087$) 을 제시하고, $p$-진수 및 함수체를 포함한 다양한 대수적 설정에서 유사한 현상이 발생함을 입증함으로써 마무리된다.