Split primes and the Elekes-Rónyai problem

기술 요약: 분할 소수(Split Primes)와 엘레케스-로니아이(Elekes-Rónyai) 문제

문제 정의
본 논문은 산술 조합론 및 부대 기하학(incidence geometry)의 중심적 질문인 엘레케스-로니아이 문제를 다룬다. 이 문제는 실수 집합 $A, B \subset \mathbb{R}$에 대한 이변수 다항식 $f \in \mathbb{R}[x, y]$의 확장 성질을 조사한다. 구체적으로, $|A| = |B| = n$일 때 이미지 집합 $f(A, B) = \{f(a, b) : a \in A, b \in B\}$의 가능한 최소 크기를 묻는다.

만약 $f$가 "특별한" 경우, 즉 가법적($f(x, y) = g(u(x) + v(y))$)이거나 곱셈적($f(x, y) = g(u(x)v(y))$)인 경우에는 이미지 크기가 $n$에 대해 선형적일 수 있음이 확립되어 있다(예: $A$와 $B$를 등차 또는 등비 수열로 선택하는 경우). "특별하지 않은" 다항식의 경우, 엘레케스와 로니아이(2000)는 이미지 크기가 초선형적($|f(A, B)|/n \to \infty$)이어야 함을 질적으로 증명했다. 엘레케스가 제기한 저명한 추측은 모든 비특수 다항식 $f$와 모든 $\epsilon > 0$에 대하여, $|f(A, B)| \ge C_{f, \epsilon} n^{2-\epsilon}$을 만족하는 상수 $C_{f, \epsilon}$가 존재한다는 것이다.

방법론 및 구성
본 논문은 대수적 수론, 격자 기하학, 그리고 "국소-전역(local-to-global)" 체(sieve) 원리의 새로운 적용을 결합하여 엘레케스의 추측에 대한 반례를 구성한다.

1. 다항식: 저자는 특정 비특수 다항식 $f(x, y) = x + y + (x - y)^2$에 집중한다.
2. 대수적 수론의 입력: 구성은 차수 $d_i \to \infty$를 가지며 유계된 근 판별식(root discriminants)을 갖는 전실수체(totally real number fields) $K_i$의 타워(tower)에 의존한다(Hajir, Maire, Ramakrishna의 결과에 기반함). 결정적으로, 이 타워의 모든 체에서 완전히 분할(split completely)되는 유리 소수 $P$의 무한 집합이 존재한다.
3. 국소 잔여 제한: 저자는 보조 다항식 $f_Q(x, y) = Q(x + y) + (x - y)^2$를 정의하며, 여기서 $Q$는 $P$에서 추출한 서로 다른 소수들의 곱이다. $Q$를 나누는 임의의 소 아이디얼 $\mathfrak{p}$에 대해, $Q(x+y)$ 항은 소멸하므로 $f_Q(x, y) \equiv (x-y)^2 \pmod{\mathfrak{p}}$가 된다. 결과적으로, $\mathbb{F}_p$에서의 $f_Q$의 이미지는 이차 잔여(quadratic residues, 제곱수)의 집합으로 제한되며, 이는 약 $1/2$의 밀도를 가진다.
4. 격자를 통한 전역적 구성:
   • 저자는 타워로부터 차수 $d$를 갖는 체 $K$를 선택하고, $\mathcal{O}_K$ 내의 대칭적 민코프스키 박스(Minkowski box) $B_K(X)$를 고려한다.
   • 중국인 나머지 정리(Chinese Remainder Theorem)에 의해, 분할 소수들에 의해 생성된 $d$개의 독립적인 국소 체로의 제한은 결합되어 나타난다. 이는 $f_Q$의 이미지가 밀도 $\rho^d$ ($\rho < 1$)를 갖는 잔여류 집합 내에 놓이도록 강제한다.
   • 기하학적 수론(geometry-of-numbers) 추정치(Blichfeldt의 보조정리 및 패킹 논증)를 사용하여, 저자는 민코프스키 박스 내 정수점의 개수가 $d$에 따라 지수적으로 성장($\sim X^d$)하는 반면, 허용된 잔여류의 개수는 $(\rho Q)^d$로 성장함을 보여준다.
   • $\rho < 1$이므로, "합동 절감(congruence saving)" 인자 $\rho^d$가 집합 크기의 성장을 압도하며, 결과적으로 다항식 이미지 크기가 2보다 작은 고정된 지수를 갖게 된다.

주요 결과
본 논문은 다음과 같은 주요 정리를 확립한다:

• 정리 1.1: 임의로 큰 유한 집합 $A \subset \mathbb{R}$과 절대 상수 $c > 0$가 존재하여, $f(x, y) = x + y + (x - y)^2$에 대해 다음이 성립한다:
  $$|f(A, A)| \le |A|^{2-c}$$
  또한, 임의의 고정된 $\epsilon > 0$에 대하여, 가법적 배가(additive doubling)가 작으면서($|A+A| \le |A|^{1+\epsilon}$) 이미지 경계 $|f(A, A)| \le |A|^{2-c_\epsilon}$를 유지하는 집합들을 선택할 수 있다.

• 비특수성 검증: 본 논문은 $f(x, y) = x + y + (x - y)^2$가 $\mathbb{C}$ 위에서 가법적이지도 곱셈적이지도 않음을 엄밀하게 증명하여, 이것이 엘레케스-로니아이 문제의 유효한 후보임을 확인한다.

의의 및 주장
본 논문은 비특수 다항식에 대한 근-이차(near-quadratic) 하한에 관한 엘레케스 추측을 반박한다고 주장한다. 특정 비특수 다항식이 $O(n^{2-c})$ ($c > 0$인 상수)의 이미지 크기를 가질 수 있음을 보여줌으로써, 저자는 추측된 바인딩 $n^{2-\epsilon}$이 거짓임을 입증한다.

이 구성은 "조합론적 대형 체(combinatorial large sieve)" 방법의 역전으로 설명된다. 일반적인 체 방법이 유계된 다중성을 가진 집합은 작아야 함을 증명하기 위해 국소적 분기를 사용하는 반면, 이 연구는 국소적 분기(분할 소수)를 사용하여 값을 작은 국소 잔여류 집합으로 몰아넣음으로써, 작은 이미지를 갖는 큰 집합을 구축한다.

본 논문은 이 구성이 2026년 6월의 한 블로그 포스트에서 처음 발표되었음을 명시하며, 에르되시 단위 거리 문제(Erdős unit-distance problem)와 합-곱 추측(sum-product conjecture)의 최근 돌파구에 의존하고 있음을 밝힌다. 특히 고차원 대칭 민코프스키 박스와 유계된 근 판별식 타워를 활용한다. 이 작업은 이러한 반례들에 대한 공식적인 증명과 상세한 맥락을 제공한다.