[論文レビュー] Nonnegative biquadratic forms with maximal number of zeros

Anita Buckley, Klemen Šivic|arXiv (Cornell University)|Nov 29, 2016

Analytic Number Theory Research被引用数 3

ひとこと要約

この論文は、$\mathbb{P}^2 \times \mathbb{P}^2$ における非負の双二次形式が平方和でない場合の実零点の最大数が10であることを確立している。著者らは、この上限に達する初の明示的例を構成し、平方和として表現できないが10個の実零点を持つ非負の双二次形式の存在を示した。

ABSTRACT

We show that the maximum number of real zeros in $\mathbb{P}^2 imes \mathbb{P}^2$ of a nonnegative biquadratic form that is not a sum of squares is 10. We obtain this result by constructing the first known examples of nonnegative biquadratic forms that have 10 real zeros in $\mathbb{P}^2 imes \mathbb{P}^2$.

研究の動機と目的

• 非負の双二次形式が平方和でない場合に、$\mathbb{P}^2 \times \mathbb{P}^2$ で取り得る実零点の最大数を特定すること。
• 平方和でない制約のもとで、最大の実零点数を持つ非負の双二次形式の明示的例を構成すること。
• 特に零点集合と非負定値性に注目して、射影積空間における双二次形式の幾何学的・代数的構造を調査すること。

提案手法

• 著者らは、$\mathbb{P}^2 \times \mathbb{P}^2$ 上の双次数 (2,2) の同次多項式として双二次形式を分析し、実数上の代数幾何学的手法を用いた。
• 実代数幾何学の技術を用いて、このような形式の零点集合を特徴付け、実数上でのその濃度を決定した。
• 例の構成には、非負性を保ちつつ零点条件の解の数を最大化する対称的かつ構造的な多項式形式を用いた。
• 形式が平方和でないということは、SOS錐の補集合に属することを意味し、著者らは10個の実零点を持つようなこのような形式を同定した。
• 代数的基準と幾何的考察を用いて、構築された形式の非負性および非SOS性を検証した。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{P}^2 \times \mathbb{P}^2$ 上の非負の双二次形式が平方和でない場合、実零点の最大数は何か？
• RQ2 非負の双二次形式で、10個の実零点を持ち、かつ平方和でないような明示的例を構成できるか？
• RQ3 実零点の数は、射影積空間における双二次形式の代数的構造および非負定値性とどのように関係するか？

主な発見

• 非負の双二次形式が平方和でない場合、$\mathbb{P}^2 \times \mathbb{P}^2$ における実零点の最大数は正確に10である。
• 著者らは、平方和として表現できないが10個の実零点を持つ非負の双二次形式の、これまでに知られていた最初の例を構成した。
• これらの例は、10という上限が非SOS条件のもとでタイトに達成可能であることを示している。
• 非負性と最大の零点数を保証するため、対称的かつ構造的な多項式構成を用いて形式を明示的に構築した。
• 結果として、非負の双二次形式は平方和でなくても多くの実零点を有することが可能であり、零点集合とSOS分解の関係に関する仮定に疑問を呈するものである。