An efficient sum of squares nonnegativity certificate for quaternary quartic

この論文「AN EFFICIENT SUM OF SQUARES NONNEGATIVITY CERTIFICATE FOR QUATERNARY QUARTIC（4 変数 4 次形式に対する効率的な平方和非負性証明）」は、実数係数の 4 変数 4 次同次多項式（4-ary quartic）の非負性（$f \ge 0$）を保証するための「平方和（Sum of Squares: s.o.s.）分解」に関する研究です。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記述します。

1. 問題設定と背景

• 背景: ヒルベルト（1888 年）は、非負多項式が常に多項式の平方和として表せるわけではないことを示しました。ただし、変数数 $n=1$、次数 $2d=2$、または $(n, 2d)=(2, 4)$ の場合を除きます。
• ヒルベルトの 1893 年の結果: $n=3$（3 変数）の 6 次形式（sextic）$h \ge 0$ に対して、ある 2 次形式 $q$ を掛けることで $qh$ が平方和（s.o.s.）になることが示されています。
• 本研究の課題: $n=4$（4 変数）、次数 $2d=4$（4 次形式）の場合、非負な多項式 $f$ に対して、1 つの 2 次形式 $q$ を掛けるだけで $qf$が s.o.s. になるかどうか、あるいは**2 つの 2 次形式$q, q'$** が必要かどうかを明らかにすることです。
  • 既存の結果では、$n=3, 2d=4$ に対しては 1 つの 2 次乗数で十分かどうかが未解決でした。
  • 本研究では、4 変数 4 次形式に対して、2 つの 2 次形式の積 $qq'$ を掛けることで s.o.s. 分解が可能であることを証明し、その最適性（sharpness）について考察します。

2. 手法と証明の概要

論文の証明は、以下のステップで構成されています。

1. 実零点への帰着:

   • 任意の非負 4 変数 4 次形式 $f$ に対して、直交座標変換を行うことで、$f$ が実数上で零点を持つ場合（あるいは厳密に正の場合でも極小値を持つ場合）に帰着させます。
   • 変数 $u = x_1$ に関する 2 次式として $f$ を再構成します：
     $$f = a u^2 + 2b u + c$$
     ここで、$a, b, c$ は残りの 3 変数 $(x_2, x_3, x_4)$ の多項式であり、それぞれ次数 2, 3, 4 です。

2. 判別式の利用:

   • $f \ge 0$ であるためには、この 2 次式の判別式 $\Delta := ac - b^2$ が非負である必要があります（$\Delta \in P_{3,6}$）。
   • 式変形 $af = (au+b)^2 + \Delta$ を行います。
   • ヒルベルト（1893）の定理より、3 変数 6 次形式 $\Delta \ge 0$ に対して、ある 2 次形式 $q \in \Sigma_{3,2}$ が存在し、$q\Delta$ が s.o.s. となります。
   • これにより、$a \cdot q \cdot f = q(au+b)^2 + q\Delta$ となり、右辺は s.o.s. の和となります。
   • したがって、$f$ に対して 2 つの 2 次形式 $q_1 = a$ と $q_2 = q$ を掛けることで $q_1 q_2 f$ が s.o.s. になることが示されます（定理 2）。

3. 最適性の検討（鋭い境界）:

   • 1 つの 2 次形式（特に $q=a$）だけで十分かどうかを調べるため、$\Delta$ が s.o.s. ではない（$\Delta \in P_{3,6} \setminus \Sigma_{3,6}$）ような例を構成する必要があります。もし $\Delta$ が常に s.o.s. なら、$a$ だけで十分だった可能性があります。

3. 主要な貢献と結果

A. 2 つの乗数で十分であることの証明（定理 2）

• 任意の 4 変数 4 次非負形式 $f$ に対して、2 つの 2 次形式 $q, q'$ が存在し、$qq'f$ が 8 次形式の平方和（s.o.s.）となることを証明しました。
• これは、$f$ を有理関数の平方和として表現する際の分母の次数に関する新しい上限を示しています。

B. 非 s.o.s. 判別式の構成（定理 3 と 10）

• 定理 3: 次数がそれぞれ 2, 3, 4 の 3 変数多項式 $a, b, c$ に対して、その判別式 $\Delta = ac - b^2$ が非負でありながら s.o.s. ではない（$\Delta \in P_{3,6} \setminus \Sigma_{3,6}$）ような例が存在することを示しました。
• 定理 10: 具体的な係数を持つ例を構成しました。
  • $a = x^2 + y^2 + z^2$
  • $b = x(y^2 - z^2)$
  • $c$ は特定の係数を持つ 4 次形式
  • パラメータ $\tau$ を適切に選ぶことで、$\Delta_\tau = ac - \tau b^2$ が非負かつ非 s.o.s. になることを示しました。
  • この構成には、Robinson の多項式や、Macaulay2 による数値計算・半正定値計画問題（SDP）の解析が用いられました。

C. 乗数の必要性と関係性（定理 4）

• $f$ が s.o.s. になるための条件と、その判別式 $\Delta$ の s.o.s. 分解との関係を明らかにしました。
• 具体的には、$q f$ が s.o.s. であるための必要十分条件は、$a q \Delta$ が特定の理想 $(a, b)$ 内の多項式の平方和として分解できることと関連しています。
• 重要な発見: 構成された非 s.o.s. な $\Delta$ の例において、$a \cdot f$（すなわち $q=a$ の場合）は数値的に s.o.s. であることが確認されました。
  • これは、$\Delta$ が s.o.s. ではない場合でも、$a f$ が s.o.s. になる可能性があることを示唆しており、「1 つの 2 次形式 $q=a$ で常に十分である」という予想（Conjecture）を支持する結果となっています。
  • しかし、$\Delta$ が非 s.o.s. である例が存在するため、ヒルベルトの定理を直接適用する「標準的な分解」が最適とは限らないことが示されました。

4. 技術的詳細と計算

• Macaulay2 の活用: 具体的な多項式の構成、非 s.o.s. 性の検証、および s.o.s. 分解の探索に計算機代数システム Macaulay2 を使用しました。
• 極端な点の解析: 非 s.o.s. かつ非負な 3 変数 6 次形式の境界（$\partial \Sigma_{3,6} \setminus \partial P_{3,6}$）にある多項式（3 つの平方和のみで構成されるもの）を基盤として、パラメータを調整して目的の $\Delta$ を生成しました。
• 対称性の利用: 構成された多項式 $f^*$ は、位数 8 の二面体群の対称性を持つように変換され、その構造が解析されました。

5. 意義と結論

• 理論的意義: 4 変数 4 次形式の非負性証明において、2 つの 2 次乗数で十分であるという明確な上限（certificate）を提供しました。また、3 変数 6 次形式の非 s.o.s. な非負形式の具体的な存在を証明し、その構造を明らかにしました。
• 実用的意義: 半正定値計画問題（SDP）を用いた多項式最適化において、非負性を証明するために必要な乗数の次数や構造に関する洞察を与えます。
• 今後の課題:
  • 「1 つの 2 次形式 $q=a$ で常に十分であるか」という予想は、数値的には支持されていますが、数学的な証明は未解決のままです。
  • 非 s.o.s. 判別式を持つ場合でも、$a f$ が s.o.s. になる現象の背後にある理論的メカニズムの解明が今後の課題です。

総じて、この論文はヒルベルトの古典的な問題を現代的な計算機代数と最適化理論の観点から再評価し、4 変数 4 次形式の非負性証明における乗数の必要性と構造について重要な進展をもたらしたものです。