The sum-product conjecture is false for real numbers

실수에 대한 sum-product 추측의 강한 형태를 반증한 논문로, 충분히 큰 차수의 실대수적 정수환에서 |A+A|와 |AA| 모두 |A|^(2-c) 이하인 반례를 구성했다.

본 논문은 실수에 대한 sum-product 추측(max(|A+A|, |AA|) ≥ |A|^{2-o(1)})이 거짜임을 증명한다. 저자들은 차수가 log|A|에 비례하는 완전 실대수체(totally real number field)의 대수적 정수 부분집합 A를 구성하여, max(|A+A|, |AA|) ≤ |A|^{2-c}를 만족하는 임의로 큰 집합을 생성했다. 동일 기법으로 many sums and products 추측, p-adic·유한체·양특성 함수체에서의 변형, 그리고 승법군에서의 선형 방정식 해의 개수에 대한 새로운 하한을 얻었다.

핵심 요약

• 실수 위에서 sum-product 추측(1.1)을 반증: |A+A|와 |AA|가 모두 |A|^{2-c} 이하인 반례 구성
• 완전 실대수체(totally real number field)의 대수적 정수를 활용한 고차원 Balog–Wooley 유형 구조
• Many sums and products 추측 또한 반증: max(|kA|, |A^(k)|) ≤ |A|^{C log k / log log k}
• p-adic, 유한체 Fp, 양특성 함수체 Fq((t)) 등 다양한 환에서의 변형 결과
• 승법군에서 선형 방정식 x1+...+xk=1의 해 개수에 대한 새로운 하한 및 단위 방정식 응용
• GPT-5.5 Pro가 초기 탐색에 사용되었으나 최종 증명은 거의 인간이 생성 (OpenAI 단위거리 추측 반례에서 영감)

논문 링크

외부 연구를 정리한 자료입니다. HDATF가 발표한 논문이나 제품 성능을 측정한 결과는 아닙니다.