An efficient sum of squares nonnegativity certificate for quaternary quartic

이 논문은 **4 변수 4 차 형식 (Quaternary Quartic)**의 비음수성 (nonnegativity) 을 보장하기 위한 효율적인 제곱합 (Sum of Squares, S.O.S.) 인증서에 관한 연구입니다. 저자 Dmitrii Pasechnik 은 힐버트 (Hilbert) 의 고전적인 결과를 확장하여, 4 변수 4 차 다항식이 제곱합으로 표현되지 않더라도, 적절한 2 차 다항식 (multiplier) 을 곱하면 제곱합이 된다는 것을 증명하고, 그 필요 조건과 한계를 분석합니다.

다음은 논문의 기술적 요약입니다.

1. 연구 문제 (Problem)

• 배경: 힐버트 (1888) 는 $n$변수 $2d$차 다항식 $f \ge 0$이 항상 다항식의 제곱합 (S.O.S.) 으로 표현될 수 있는 조건 ($n=1$, $2d=2$, 또는 $n=2, 2d=4$) 을 규명했습니다. 그 외의 경우 (특히 $n=3, 2d=6$ 또는 $n=4, 2d=4$) 는 비음수 다항식이 S.O.S.가 아닐 수 있습니다.
• 힐버트의 1893 년 결과: $n=2$인 경우, 비음수 다항식 $f$에 적절한 분모 $q$를 곱하면 $qf$가 S.O.S.가 됨을 보였습니다.
• 핵심 질문: $n=4, 2d=4$ (4 변수 4 차 형식) 인 경우, 비음수 다항식 $f$에 대해 단 하나의 2 차 다항식 $q$만 곱해도 $qf$가 S.O.S.가 될까? 아니면 **두 개의 2 차 다항식$q, q'$**가 필요한가?
• 목표: 4 변수 4 차 형식에 대한 S.O.S. 인증서의 효율적인 구성과 그 최적성 (sharpness) 분석.

2. 방법론 (Methodology)

논문은 다음과 같은 단계적 접근법을 사용합니다.

1. 실수 영점 (Real Zero) 가정:

   • 임의의 비음수 4 차 형식 $f$가 실수 영점을 가진다고 가정할 수 있음을 보임 (Lemma 5).
   • 직교 좌표 변환을 통해 $f$를 $u$에 대한 2 차 다항식 형태로 축소: $f = au^2 + 2bu + c$. 여기서 $a, b, c$는 나머지 3 변수 ($x, y, z$) 에 대한 각각 2, 3, 4 차 형식입니다.

2. 판별식 (Discriminant) 활용:

   • $f \ge 0$이므로 $u$에 대한 이차식의 판별식 $\Delta = ac - b^2$는 비음수 ($\Delta \ge 0$) 여야 합니다.
   • $\Delta$는 3 변수 6 차 형식 (Ternary Sextic) 입니다.
   • 힐버트 (1893) 의 정리에 따르면, 3 변수 6 차 비음수 형식 $\Delta$에 대해 2 차 다항식 $q$가 존재하여 $q\Delta$가 S.O.S.가 됩니다.

3. 완전제곱식 구성:

   • $af = (au+b)^2 + \Delta$ 관계를 이용합니다.
   • $q\Delta$가 S.O.S.이므로, $q \cdot af = q(au+b)^2 + q\Delta$는 S.O.S.가 됩니다.
   • 따라서 $q_1 = q$ (3 변수 2 차), $q_2 = a$ (3 변수 2 차) 를 곱하면 $q_1 q_2 f$는 S.O.S.가 됩니다.

4. 최적성 및 반례 분석:

   • 하나의 2 차 다항식 $q$만으로도 충분할지, 아니면 두 개가 필요한지 확인하기 위해 $\Delta$가 S.O.S.가 아닌 경우를 구성합니다.
   • Blekherman 의 기법을 활용하여 $\Delta \in P_{3,6} \setminus \Sigma_{3,6}$ (비음수지만 S.O.S.가 아닌 3 변수 6 차 형식) 인 구체적인 예시를 구성합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

주요 정리 (Theorems)

• Theorem 2 (주요 결과): 임의의 4 변수 4 차 비음수 형식 $f \in P_{4,4}$에 대해, 두 개의 2 차 S.O.S. 다항식 $q, q'$가 존재하여 $q q' f$가 8 차 S.O.S.가 됩니다.

  • 즉, $f = \frac{p}{q q'}$ 형태로 표현 가능하며, 여기서 $p \in \Sigma_{4,8}$입니다.
  • 이는 4 변수 4 차 형식에 대해 **최대 2 개의 2 차 곱셈인자 (multiplier)**만 있으면 S.O.S. 인증서가 존재함을 의미합니다.

• Theorem 3 (새로운 발견): 3 변수 6 차 형식 중 $ac - b^2$ 형태로 표현되면서도 S.O.S.가 아닌 것 ($P_{3,6} \setminus \Sigma_{3,6}$) 이 존재함을 증명합니다.

  • 이는 $\Delta$가 항상 S.O.S.일 필요가 없음을 보여주며, 따라서 곱셈인자 $q$가 반드시 필요할 수 있음을 시사합니다.
  • 구체적인 예시: $a = x^2+y^2+z^2$, $b = x(y^2-z^2)$, $c = \dots$ (특정 계수) 일 때, $\Delta = ac - \tau b^2$가 특정 $\tau$ 범위에서 S.O.S.가 아님을 보임 (Theorem 10).

• Theorem 4 (S.O.S. 분해와 판별식의 관계):

  • $q f$가 S.O.S.가 되기 위한 필요충분조건은 $\Delta$의 특정 S.O.S. 분해와 관련이 있음을 규명합니다.
  • 특히, $a \Delta$가 S.O.S.이면 $af$가 S.O.S.가 된다는 것을 보였습니다.
  • Conjecture: 저자는 $q=a$ (즉, $af$) 만으로도 항상 S.O.S.가 될 것이라고 추측하고 있습니다.

구체적 수치 실험 및 계산

• Macaulay2 를 사용하여 $\Delta$가 S.O.S.가 아닌 구체적인 다항식을 구성하고 검증했습니다.
• 구성된 예시에서 $af$는 S.O.S.가 됨을 수치적으로 확인했으나, 이는$q=a$가 최적의 곱셈인자일 가능성을 시사합니다.
• $f^*$ (특수한 5 개의 실수 영점을 가진 4 차 형식) 에 대해 $af^*$가 S.O.S.임을 확인했으나, 정확한 유리수 계수 S.O.S. 분해는 수치 오차로 인해 완전히 증명되지 않았으며, 고정밀 SDP 솔버의 필요성을 제기했습니다.

4. 의의 및 결론 (Significance)

1. 힐버트 문제의 확장: 힐버트의 1893 년 결과를 4 변수 4 차 형식으로 확장하여, 최대 2 개의 2 차 다항식 곱셈인자만으로도 비음수성을 S.O.S.로 인증할 수 있음을 증명했습니다. 이는 4 변수 4 차 형식의 S.O.S. 표현에 대한 새로운 상한 (bound) 을 제시합니다.
2. S.O.S.의 비충분성 명확화: $\Delta$가 S.O.S.가 아닌 경우를 명시적으로 구성함으로써, 단순히 $f$가 비음수라고 해서 $f$ 자체가 S.O.S.일 필요는 없으며, 곱셈인자가 필수적일 수 있음을 보여주었습니다.
3. 단일 곱셈인자 추측: 두 개의 곱셈인자 ($q, q'$) 가 충분하다는 것을 증명했지만, 저자는 단 하나의 곱셈인자 $q=a$만으로도 충분할 것이라는 강력한 추측을 제시했습니다. 이는 4 변수 4 차 형식의 S.O.S. 이론에서 중요한 미해결 과제로 남았습니다.
4. 계산적 도구: Macaulay2 와 SDP 기법을 결합하여 비음수 다항식의 S.O.S. 분해 가능성을 검증하는 구체적인 알고리즘적 접근법을 제시했습니다.

요약하자면, 이 논문은 4 변수 4 차 비음수 다항식에 대해 "두 개의 2 차 다항식을 곱하면 S.O.S.가 된다"는 것을 엄밀하게 증명하고, "하나의 곱셈인자 ($a$) 만으로도 충분할 수 있다"는 가설을 제시하며, 이를 뒷받침하는 구체적인 수치적 예시와 이론적 분석을 제공합니다. 이는 다항식 최적화 (Polynomial Optimization) 및 실수 대수기하학 분야에서 중요한 진전입니다.