[논문 리뷰] On the 1-3-5 conjecture and related topics

Hai-Liang Wu, Zhi‐Wei Sun|arXiv (Cornell University)|2017. 10. 09.

Analytic Number Theory Research참고 문헌 16인용 수 3

한 줄 요약

이 논문은 삼차형식과 모듈라 형식을 사용하여, 충분히 큰 정수들이 변수에 선형 제약 조건이 가해진 네 제곱수의 합으로 표현될 수 있음을 증명함으로써 1-3-5 추측을 발전시킨다. 주요 결과로는, 16로 나누어떨어지지 않는 충분히 큰 정수는 $x^2 + y^2 + z^2 + w^2$ 형태로 표현되며, 이때 $x+3y+5z \in \{1,4\}$임을 보이며, 모든 큰 정수는 $x^2 + y^2 + 2z^2 + 3w^2$ 형태로 표현되며, 특정 선형 조건(예: $x+2y+w=1$)을 만족함을 확인한다. 본 연구는 깊이 있는 수론적 도구를 활용하여 정수 형태의 선Sun의 1-3-5 추측에 있어 중요한 진전을 이룬다.

ABSTRACT

The 1-3-5 conjecture of Z.-W. Sun states that any $n\in\mathbb N=\{0,1,2,\ldots\}$ can be written as $x^2+y^2+z^2+w^2$ with $w,x,y,z\in\mathbb N$ such that $x+3y+5z$ is a square. In this paper, via the theory of ternary quadratic forms and related modular forms, we study the integer version of the 1-3-5 conjecture and related weighted sums of four squares with certain linear restrictions. Here are two typical results in this paper: (i) There is a finite set $A$ of positive integers such that any sufficiently large integer not in the set $\{16^ka:\ a\in A,\ k\in\mathbb N\}$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb Z$ and $x+3y+5z\in\{4^k:\ k\in\mathbb N\}$. (ii) Any positive integer can be written as $x^2+y^2+z^2+2w^2$ with $x,y,z,w\in\mathbb Z$ and $x+y+2z+2w=1$. Also, any sufficiently large integer can be written as $x^2+y^2+z^2+2w^2$ with $x,y,z,w\in\mathbb Z$ and $x+2y+3z=1$.

연구 동기 및 목표

• Z.-W. Sun의 1-3-5 추측의 정수 형태를 해결하는 것. 이 추측은 모든 음이 아닌 정수가 $x+3y+5z$가 완전제곱수인 네 제곱수의 합으로 표현된다고 주장한다.
• Sun이 최근 제안한, 선형 제약 조건이 가해진 네 제곱수의 가중합에 대한 추측을 확장하는 것. 특히 $x^2 + y^2 + 2w^2$ 및 $x^2 + y^2 + 2z^2 + 3w^2$ 형태의 경우를 포함한다.
• 특정 선형 조합이 1이 되는 조건 하에서 큰 정수들이 제곱수의 합으로 표현될 수 있는 조건을 설정하는 것.
• 무게 $3/2$의 삼차형식 이론과 모듈라 형식 이론을 적용하여, 제어된 선형 제약 조건 하에서 표현 가능성 결과를 증명하는 것.

제안 방법

• 정수 표현을 분석하기 위해 정규형 및 계급-정규형 삼차형식 이론을 활용한다.
• 계급 이론과 스핀어 익셉션 클래스 이론을 적용하여 주어진 형식이 어떤 정수를 표현하는지 결정한다.
• 무게 $3/2$의 모듈라 형식을 사용하여 큰 정수에 대한 점근 밀도 및 표현 가능성 결과를 도출한다.
• Euler의 네 제곱수 항등식과 대수적 변환을 활용하여 선형 제약 조건 하에서의 표현을 변형한다.
• $p$-진 표현과 Hasse-Minkowski 정리를 통한 국소-전역 원리 적용을 통해 전역 표현 문제를 단순화한다.
• 합동 조건과 변수 치환(예: $r_0 = 99u - 22s + s_0$)을 사용하여 $x+2y+w=1$와 같은 선형 방정식을 만족하는 해를 구성한다.

실험 결과

연구 질문

• RQ1 모든 충분히 큰 정수는 $x^2 + y^2 + z^2 + w^2$ 형태로 표현될 수 있으며, 이때 $x+3y+5z \in \{1,4\}$인가?
• RQ2 모든 큰 정수는 $x^2 + y^2 + 2z^2 + 3w^2$ 형태로 표현될 수 있으며, $x+2y+w=1$, $y+z+w=1$, 또는 $y+2z+w=1$ 조건을 만족하는가?
• RQ3 선형 형식 $x+3y+5z$가 4의 거듭제곱으로 제한될 경우, 1-3-5 추측이 모든 양의 정수에 대해 성립하는가?
• RQ4 모든 $n$에 대해, $x+3y+5z$가 제곱수인 네 제곱수의 합으로 표현 가능한지, 특히 큰 수가 아닌 모든 수에 대해서도 증명할 수 있는가?
• RQ5 제곱수의 합으로 표현 가능한 정수 $x^2 + y^2 + z^2 + w^2$에서 $x+3y+5z \in \{4^k\}$ 조건을 만족하는 경우, 유한한 수의 예외가 존재하는가? 그리고 이러한 예외는 명시적으로 기술할 수 있는가?

주요 결과

• 16로 나누어떨어지지 않는 충분히 큰 정수 $n$은 $x^2 + y^2 + z^2 + w^2$ 형태로 표현되며, 이때 $x+3y+5z \in \{1,4\}$임을 보이며, 이는 1-3-5 추측에 강력한 증거를 제공한다.
• 양의 정수로 이루어진 유한 집합 $A$가 존재하여, $\{16^k a : a \in A, k \in \mathbb{N}\}$에 속하지 않는 충분히 큰 정수는 $x^2 + y^2 + z^2 + w^2$ 형태로 표현되며, 이때 $x+3y+5z \in \{4^k : k \in \mathbb{N}\}$임을 보였다.
• 모든 충분히 큰 정수 $n$은 $x^2 + y^2 + 2z^2 + 3w^2$ 형태로 표현되며, $x+2y+w=1$, $y+z+w=1$, 또는 $y+2z+w=1$ 조건을 만족함을 확인하였으며, Sun의 추측의 특수 케이스를 확인한다.
• $x^2 + y^2 + 2z^2 + 3w^2$의 경우, 모든 큰 정수는 $x+2y+w=1$, $y+z+w=1$, 또는 $y+2z+w=1$ 조건을 만족하는 표현을 가짐을 보이며, 모듈라 형식과 합동 조건 치환을 통한 명시적 구성이 가능하다.
• 모든 큰 정수 $n$은 $x^2 + y^2 + 2w^2$ 형태로 표현되며, $x+\mu y + \nu z = 1$ 조건을 만족한다. 여기서 $(\mu,\nu) \in \{(2,3),(2,5),(3,4)\}$이며, 이는 Sun의 가중 제곱수 합에 대한 추측을 확장한다.
• 논문은 $x^2 + y^2 + 3z^2 + 4w^2$가 $y+z+2w=1$ 조건을 만족할 때 모든 큰 정수를 표현함을 증명하였으며, $x^2 + y^2 + 2z^2 + 3w^2$가 $y+2z+3w=1$ 조건을 만족할 때도 동일한 결과를 확인하여 추가적인 추측 케이스를 확인한다.