[論文レビュー] On the typical rank of real binary forms

Pierre Comon, Giorgio Ottaviani|ArXiv.org|Sep 26, 2009

Tensor decomposition and applications参考文献 25被引用数 8

ひとこと要約

本稿は、4次および5次実二変数型の典型的なランクを特定し、5次の場合に3、4、5の3つの典型的なランクが共存することを明らかにした。これは実テンソル分解において予期しない結果である。代数的不変量と根の解析を用いて、ランクが実根の数と性質に依存することを証明し、特に1つまたは3つの実根をもつ5次型において、ランク3とランク4を区別する重要な判別式不変量（I₁₂）が同定された。

ABSTRACT

We determine the rank of a general real binary form of degree d=4 and d=5. In the case d=5, the possible values of the rank of such general forms are 3,4,5. The existence of three typical ranks was unexpected. We prove that a real binary form of degree d with d real roots has rank d.

研究の動機と目的

• 4次および5次実二変数型の典型的なランクを特定し、特に複素数における一般的ランクと対比する。
• 実テンソルが2つ以上の典型的なランクを示し得るかどうかという未解決問題を解消する。
• 二変数型のランクをその根配置と代数的不変量に基づいて特徴づける。
• 導出された3次式の根構造を用いて、一般の5次型の実ランクを計算するアルゴリズムを提供する。

提案手法

• 実二変数型のランクを、一次形式の冪の和への分解を通じて分析する。
• Sylvesterのカタレティック行列を用いて、ランクを決定する3次多項式を導出する。
• カタレティック行列の3×3小行列式から得られる12次不変量 I₁₂ を用い、5次型のランク3とランク4を区別する。
• 幾何学的および代数的技法を用いて、実根の個数（0、2、3、5）に基づき型を分類する。
• 1つ、3つ、または5つの実根をもつ5次型の標準形を構成し、I₁₂ の符号を分析する。
• カタレティック行列の3×3小行列式から得られる3次式の根構造を評価することで、一般の5次型の実ランクを計算するアルゴリズムを開発する。

実験結果

リサーチクエスチョン

• RQ1 実二変数型の5次において典型的なランクは何か？また、実の場合に2つ以上の典型的なランクが存在しうるか？
• RQ2 二変数型の実根の個数とその実ランクの関係は何か？
• RQ3 12次代数的不変量（I₁₂）を用いて、5次型のランク3とランク4を区別できるか？
• RQ4 二変数型において、複素数の一般的ランクと実の典型的なランクの関係は何か？
• RQ5 一般の5次型の実ランクについて、その係数に基づく完全なアルゴリズム的特徴づけは可能か？

主な発見

• 4次の場合、典型的なランクは3と4である。4つの実根をもつ型はランク4、0個または2個の実根をもつ型はランク3である。
• 5次の場合、典型的なランクは3、4、5である。5つの実根をもつ型はランク5である。
• 1つまたは3つの実根をもつ5次型は、12次不変量 I₁₂ が正であればランク3、負であればランク4である。
• 不変量 I₁₂ は、5次型の係数に関する同次多項式であり、変数 a（標準形からのもの）に関して対称的であり、その符号によってランクが決定される。
• ランク3または4をもつ5次型の集合は、実係数空間において空でない内部を持つことから、両方のランクが典型的であることが確認された。
• 一般の5次型の実ランクを計算するアルゴリズムは、カタレティック行列の3×3小行列式から得られる3次式を構成し、その根構造を確認することで実行される。