[論文レビュー] On the typical rank of real bivariate polynomials

Edoardo Ballico|arXiv (Cornell University)|Apr 14, 2012

Tensor decomposition and applications参考文献 9被引用数 4

ひとこと要約

本稿は、$d \geq 6$ である実係数2変数同次多項式に対して、ランク $d-1$ および $d$ が奇数のとき $(d+3)/2$ が典型ランクであることを確立している—つまり、実係数空間の開ユークリッド部分集合で一般に現れるランクである。これらの結果は、ComonとOttavianiの典型ランクに関する予想の一部を確認し、$d \leq 5$ の既存の結果を拡張し、$d \geq 6$ で複数の典型ランクが存在することを証明している。証明は、ヴェロネーゼ埋め込み、実および複素線形包、有理正規曲線上の射影に関する代数幾何学的技法に依拠している。

ABSTRACT

Here we study the typical rank for real bivariate homogeneous polynomials of degree $d\ge 6$ (the case $d\le 5$ being settled by P. Comon and G. Ottaviani). We prove that $d-1$ is a typical rank and that if $d$ is odd, then $(d+3)/2$ is a typical rank.

研究の動機と目的

• 実2変数同次多項式の次数 $d \geq 6$ における典型ランクを特定すること。これは、$d \leq 5$ の既存の結果を拡張する。
• 実2変数形式におけるすべての整数 $t$ が $\lfloor(d+2)/2\rfloor \leq t \leq d$ を満たすとき、典型ランクであるというComon-Ottavianiの予想を検証すること。
• $d \geq 6$ における複数の典型ランクの存在を確立すること。特に、$d-1$ が典型ランクであり、$d$ が奇数のとき $(d+3)/2$ が典型ランクであることを示すこと。
• 幾何学的手法を用いて実ランクを分析すること。具体的には、ヴェロネーゼ多様体上の実および複素線形包、および有理正規曲線上の点からの射影を含む。

提案手法

• 研究は、同次多項式を有理正規曲線 $C_d(\mathbb{R})$ 上の点として表現するため、ヴェロネーゼ埋め込み $\nu_d: \mathbb{P}^1(\mathbb{R}) \to \mathbb{P}^d(\mathbb{R})$ を用いる。
• 実ランク $Rsr(f)$ は、$f$ に対応する点 $P$ を含む、$C_d(\mathbb{R})$ 上の実点の最小個数として定義される。
• 証明は、線形射影 $\ell_Q: \mathbb{P}^d(\mathbb{R}) \setminus \{Q\} \to \mathbb{P}^{d-1}(\mathbb{R})$ を用いる。ここで $Q = \nu_d(O)$ は線形形式 $R$ に関連する点であり、問題を次数の低い多項式に還元する。
• 背理法が用いられる：$Rsr(f) \leq d-2$ と仮定すると、Lemma 1 が示すように、非一意な線形包を持つ点集合のサイズに制約を課すため、矛盾が生じる。
• 実ランク $d-1$ を持つ多項式の非空なユークリッド開集合の存在を示すために、$f$ が次数 $d-1$ で $d-1$ 個の相異なる実根を持つような族 $g_{f,c,R} = \sum c_i L_i^d + cR^d$ を構成する。
• この構成により、一般の $f$ および $c$ に対して、$g_{f,c,R}$ は相異なる根を持ち、すべてが実数ではないことが保証され、ユークリッド位相におけるこのような多項式の集合が非空な開集合をなすことが確認される。

実験結果

リサーチクエスチョン

• RQ1 実2変数同次多項式の次数 $d \geq 6$ に対して、$d-1$ は典型ランクか？
• RQ2 奇数の $d \geq 5$ に対して、$(d+3)/2$ は実2変数の場合に典型ランクか？
• RQ3 Comon-Ottavianiの予想—すなわち、すべての整数 $t$ が $\lfloor(d+2)/2\rfloor \leq t \leq d$ を満たすとき、典型ランクである—は $d \geq 6$ において成り立つか？
• RQ4 ヴェロネーゼ多様体上の実および複素線形包、および有理正規曲線上の点からの射影を用いて、2変数形式の実ランクを幾何学的に特徴づけられるか？
• RQ5 実2変数形式の次数 $d \geq 6$ に対して、最小で何個の典型ランクが存在するか？

主な発見

• すべての $d \geq 6$ に対して、整数 $d-1$ は実2変数同次多項式の次数 $d$ に対して典型ランクである。これは、$\mathbb{R}[x,y]_d$ の非空な開ユークリッド部分集合において、すべての多項式が実ランク $d-1$ を持つことを意味する。
• 奇数の $d = 2m+1 \geq 5$ に対して、整数 $m+1$、$m+2$、および $2m+1 = d$ はすべて典型ランクであり、$d \geq 7$ のとき少なくとも4つの典型ランクが存在することを確認する。
• 本稿は、$d-1$ が典型ランクであることを、$f$ が次数 $d-1$ で $d-1$ 個の相異なる実根を持つ族 $g_{f,c,R} = \sum c_i L_i^d + cR^d$ を構成することによって証明している。この族の多項式は一般に実ランク $d-1$ を持つことを示している。
• この構成により、一般の $f$ および $c$ に対して、多項式 $g_{f,c,R}$ は相異なる根を持ち、すべてが実数ではないことが保証され、ユークリッド位相におけるこのような多項式の集合が非空な開集合をなすことが確認される。
• 証明は背理法に依拠している：$Rsr(g_{f,c,R}) \leq d-2$ と仮定すると、有理正規曲線上の点集合が非一意な線形包を持つ場合のサイズを制限する Lemma 1 に反する。
• この結果により、$d-1$ が典型ランクであることが確認され、既存の結果と組み合わせることで、$d \leq 7$ における Comon-Ottaviani の予想が支持され、偶数の $d \geq 6$ に対しては少なくとも3つの典型ランク、奇数の $d \geq 7$ に対しては少なくとも4つの典型ランクが存在することが示される。