[논문 리뷰] Universal sums of three quadratic polynomials

Zhi‐Wei Sun|arXiv (Cornell University)|2015. 02. 09.

Analytic Number Theory Research참고 문헌 26인용 수 5

한 줄 요약

이 논문은 형식 $\psi_{a,b}(x) = \frac{x(ax+b)}{2}$를 가진 세 개의 이차 다항식의 특정한 보편 합이 $\mathbb{N}$ 위에서 보편적임을 증명하며, 56개의 명시적 튜플 $(a,b,c,d,e,f)$ 를 보편적으로 확인하고 추가로 10개를 추측한다. 주요 결과로 $\frac{x(x+1)}{2} + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}$ 가 모든 자연수를 표현함을 확인하여 일반화된 다边형수의 새로운 보편 삼차합을 제시한다.

ABSTRACT

Let $a,b,c,d,e$ and $f$ be integers with $a\ge c\ge e>0$, $b>-a$ and $b\equiv a\pmod2$, $d>-c$ and $d\equiv c\pmod 2$, $f>-e$ and $f\equiv e\pmod2$. Suppose that $b\ge d$ if $a=c$, and $d\ge f$ if $c=e$. When $b(a-b)$, $d(c-d)$ and $f(e-f)$ are not all zero, we prove that if each $n\in\mathbb N=\{0,1,2,\ldots\}$ can be written $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with $x,y,z\in\mathbb N$ then the tuple $(a,b,c,d,e,f)$ must be on our list of $473$ candidates, and show that 56 of them meet our purpose. When $b\in[0,a)$, $d\in[0,c)$ and $f\in[0,e)$, we investigate the universal tuples $(a,b,c,d,e,f)$ over $\mathbb Z$ for which any $n\in\mathbb N$ can be written $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with $x,y,z\in\mathbb Z$, and show that there are totally 12082 such candidates some of which are proved to be universal tuples over $\mathbb Z$. For example, we show that any $n\in\mathbb N$ can be written as $x(x+1)/2+y(3y+1)/2+z(5z+1)/2$ with $x,y,z\in\mathbb Z$, and conjecture that each $n\in\mathbb N$ can be written as $x(x+1)/2+y(3y+1)/2+z(5z+1)/2$ with $x,y,z\in\mathbb N$.

연구 동기 및 목표

• 특정 나눗셈 및 홀짝 조건 하에서 $\mathbb{N}$ 위에서 모든 보편 합 $\psi_{a,b}(x) = \frac{x(ax+b)}{2}$ 를 갖는 세 개의 이차 다항식을 분류하는 것.
• 삼각수와 제곱수의 보편 합에 관한 기존 결과를 일반화된 다邊형수로 확장하는 것.
• 새로운 종류의 삼차 이차형식, 예를 들어 $T_x + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}$ 가 모든 자연수를 표현함을 증명하는 것.
• 증명된 56개 외에 추가로 10개의 보편 튜플을 추측하고 그에 대한 근거를 제시하는 것.
• $135의 보상금을 제시하여 $\left\{\frac{x(x+1)}{2}+\frac{y(3y+1)}{2}+\frac{z(5z+1)}{2}: x,y,z\in\mathbb{N}\right\}=\mathbb{N}$ 라는 항등식의 첫 번째 증명을 유도하는 것.

제안 방법

• 삼차 이차형식이 정수를 어떻게 표현하는지 분석하기 위해 모듈로 산술과 계급 이론을 사용한다.
• 모듈로 8, 4, 12에서 표현을 줄이기 위해 레마 5.1, 5.3, 5.4를 적용하여 정수 해가 존재함을 보장한다.
• 삼각수와 제곱수 형식을 연결하기 위해 항등식 $x^2 + 2T_y = T_{x+y} + T_{x-y-1}$ 을 활용한다.
• 문제를 $120n + c = 3x^2 + 5y^2 + 30z^2$ 또는 유사한 형태로 줄이고, 정수 해를 다항식 표현으로 올리는 방식으로 해결한다.
• 변수에 합동 조건(예: $x \equiv 1 \pmod{10}$)을 도입하여 이차 다항식의 정확한 형태를 확보한다.
• 이원 이차형식 이론과 계수수를 활용하여 표현 불가능한 경우를 제거하고 보편성을 검증한다.

실험 결과

연구 질문

• RQ1 조건 $a \mid b$, $c \mid d$, $e \mid f$ 하에서 어떤 순서 튜플 $(a,b,c,d,e,f)$ 가 $\mathbb{N}$ 위에서 보편 합 $\psi_{a,b}(x) + \psi_{c,d}(y) + \psi_{e,f}(z)$ 를 만드는가?
• RQ2 이러한 보편 튜플은 유한한가? 그리고 완전히 분류될 수 있는가?
• RQ3 $\frac{x(x+1)}{2} + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}$ 는 $\mathbb{N}$ 위에서 보편적인가?
• RQ4 부록에 나열된 407개의 튜플(추측된 10개 포함)이 $\mathbb{N}$ 위에서 보편적인가?
• RQ5 $135의 보상금이 $\left\{T_x + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2}\right\} = \mathbb{N}$ 라는 항등식의 증명을 유도하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $a \mid b$, $c \mid d$, $e \mid f$ 조건 하에서 56개의 특정 튜플 $(a,b,c,d,e,f)$ 가 $\mathbb{N}$ 위에서 보편적임을 증명하며, $(1,3,1,1,1,1)$ 과 $(2,0,1,3,1,1)$ 등이 포함된다.
• 추가로 $(4,0,2,0,1,3)$ 과 같은 10개의 튜플이 $\mathbb{N}$ 위에서 보편적일 것이라 추측한다.
• 항등식 $\left\{\frac{x(x+1)}{2} + \frac{y(3y+1)}{2} + \frac{z(5z+1)}{2} : x,y,z \in \mathbb{N}\right\} = \mathbb{N}$ 이 참임을 증명한다.
• 논문은 $a \mid b$, $c \mid d$, $e \mid f$ 이고, $b(a-b), d(c-d), f(e-f)$ 가 모두 0이 아니면, 보편 튜플은 반드시 56개 또는 추측된 10개 중 하나여야 한다고 보여준다.
• 부록에 나열된 407개의 튜플은 $\mathbb{N}$ 위에서 보편적일 것이라 추측하며, 핵심 항등식의 증명을 위한 $135의 보상금을 제공한다.
• 증명은 문제를 모듈라 형식으로 줄이고, 정수 해를 갖는 표현으로 올리는 합동 조건 상승 기법을 활용한다.