Both $AA$ and $(A+1)(A+1)$ can be small

기술 요약: "AA와 (A + 1)(A + 1) 모두 작을 수 있다"

문제 정의
본 논문은 실수 집합($\mathbb{R}$) 내 부분집합의 가법적 구조와 승법적 구조 사이의 상호작용에 관한 가법 조합론의 핵심 질문을 다룬다. 합-곱 이론(sum-product theory)의 근본적인 원리는 가법적 이동(additive shift)이 승법적 구조를 교란한다는 것이다. 구체적으로, 유한 집합 $A \subset \mathbb{R}$에 대하여 곱집합 $AA$또는 이동된 곱집합$(A+1)(A+1)$ 중 적어도 하나는 반드시 커야 한다고 일반적으로 기대된다.

이 최댓값에 대해 알려진 최선의 하한선은 Stevens와 Warren에 의해 확립되었으며, $\max\{|AA|, |(A+1)(A+1)|\} \geq |A|^{1 + \frac{11}{38} - o(1)}$임을 보여준다. 이 부등식의 지수가 2에 임의로 가까워질 수 있다는(즉, 두 집합이 동시에 작게($O(|A|^{2-\epsilon})$) 유지되는 것이 불가능하다는) 민속적 추측(folklore conjecture)이 존재해 왔다. 그러나 최근 Bloom, Sawin, Schildkraut, 그리고 Zhelezov(BSZ)의 연구는 실수체 위에서의 일반적인 합-곱 추측을 반박하며, 지수 2가 올바른 장벽이 아닐 수 있음을 시사했다. 본 논문은 $AA$와$(A+1)(A+1)$의 동시적인 작음(smallness)에 관한 특정 추측이 성립하는지 조사한다.

방법론
저자들은 BSZ의 합-곱 추측을 반박하기 위해 사용된 구성을 변형하여 적용한다. 방법론은 유리수체 $\mathbb{Q}$ 위의 차수가 $d$인 전실수체(totally real number field) $K$ 내의 수론적 대상들에 의존한다. 구성 과정은 다음과 같다:

1. 격자 구성: Martinet의 정리를 활용하여, 판별식 $\Delta_K$가 $C^d$에 의해 유계인 전실수체 $K$를 선택한다. 저자들은 대수적 정수의 환 $\mathcal{O}_K$와 그 단위군 $\mathcal{O}_K^*$를 고려한다.
2. 기하학적 임베딩:
   • 가법적 구조: 민코프스키 임베딩 $\phi: \mathcal{O}_K \to \mathbb{R}^d$는 대수적 정수를 격자 $\Lambda$로 사상한다. 저자들은 임베딩이 한 변의 길이가 $2R$인 박스 안에 놓여 있는 대수적 정수들의 집합 $B^+(R)$를 정의한다. 이 집합의 합집합(sumset)은 약간 더 큰 박스 안에 포함되므로 크기가 작다.
   • 승법적 구조: 로그 임베딩 $\psi: \mathcal{O}_K^* \to \mathbb{R}^d$는 단위를 차원이 $d-1$인 초평면에 놓인 격자로 사상한다. 저자들은 로그 임베딩이 한 변의 길이가 $2Y$인 박스 안에 놓여 있는 단위들의 집합 $B^*(Y)$를 정의한다. 단위들의 곱집합은 로그 격자에서의 덧셈에 대응하므로 크기가 작다.
3. 집합 정의: 대상 집합 $A$는 곱집합 $A = GP$로 구성된다. 여기서$G = B^*(Y)$(단위들)이고$P = R + B^+(\epsilon R)$(이동된 대수적 정수들)이다. 파라미터$R$과$Y$는$R$이$Y$에 비해 충분히 크게(구체적으로$e^Y \leq \epsilon R$) 선택되어 단위 격자와 가법적 구조 사이의 분리(separation)를 보장하도록 설정된다.
4. 크기 분석:
   • $A$의 크기는 대략 $|G||P|$이다.
   • 곱집합 $AA$는$GG$와$PP$를 분석함으로써 유계로 결정된다.$GG$의 작음은 단위들의 격자 성질로부터 도출된다.
   • 이동된 곱집합 $(A+1)(A+1)$은 원소들을 $g(p+1) = g(p + g^{-1})$로 재작성함으로써 분석된다. 이를 통해 저자들은 집합을 합집합 $P+G$를 사용하여 유계할 수 있다. $R$을 충분히 크게 선택함으로써, $P+G$가 $P$와 크기가 유사한 집합 $P'$에 포함됨을 보인다.

주요 기여 및 결과
주요 결과는 정리 1로, 절대 상수 $c > 0$와 임의로 큰 유한 집합 $A \subseteq \mathbb{R}$가 존재하여 다음을 만족함을 확립한다:
$$\max\{|AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$$
이 결과는 두 집합의 최댓값에 대한 부등식의 지수가 2에 임의로 가까워질 수 없음을 입증하며, 앞서 언급한 민속적 추측을 반박한다.

본 논문은 정리 3을 통해 이 결과를 "많은 평행이동(Many Translates)"으로 확장한다. 저자들은 임의의 유한 정수 집합 $S \subseteq \mathbb{Z}$에 대하여, $c > 0$인 상수( $S$에 의존함)와 임의로 큰 집합 $A$가 존재하여 다음을 만족함을 보여준다:
$$\max_{\lambda \in S} \{|(A+\lambda)(A+\lambda)|\} \ll |A|^{2-c}$$
또한, 저자들은 자신들의 구성이 $\max\{|A+A|, |AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$ 및 $|A(A+1)| \ll |A|^{2-c}$를 만족하는 집합 $A$를 함의한다는 점을 언급한다.

의의
본 논문은 가법적 이동이 반드시 승법적 구조에서 유의미한 팽창을 강제한다는 가법 조합론의 널리 믿어진 가정에 대한 반례를 제공함으로써 그 의의를 찾는다. BSZ 구성을 변형함으로써, 저자들은 곱집합과 이동된 곱집합이 모두 자명한 경계인 $|A|^2$보다 유의미하게 작은 집합을 구성하는 것이 가능하다는 것을 보여준다. 이 작업은 실수체 위에서의 그러한 합-곱 형태의 부등식에서 지수 2가 자연스러운 한계라는 직관에 도전한다.

저자들은 명시적으로 자신들의 구성이 BSZ 논문의 것과 동일한 기초 집합을 사용하지만, 이동된 곱집합 $(A+1)(A+1)$에 대한 구체적인 적용이 이 노트의 참신한 기여라고 밝히고 있다. 이 연구는 곱집합과 이동된 곱집합의 최댓값에 관한 특정 추측을 반박하기 위한 기존 논증의 수정된 형태 역할을 한다.