[论文解读] On the typical rank of real binary forms

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

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

一句话总结

本文确定了四次和五次实二元型的典型秩，揭示了在五次型中，三种典型秩（3、4、5）共存——这在实张量分解中出乎意料。通过代数不变量与根分析，证明了秩取决于实根的数量与性质，其中关键的判别式不变量 I₁₂ 能够区分具有一个或三个实根的五次型中秩为3与秩为4的情况。

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.

研究动机与目标

• 确定四次与五次实二元型的典型秩，尤其与复数通用秩进行对比。
• 解决实张量是否可能表现出超过两种典型秩的开放问题。
• 基于根配置与代数不变量，刻画实二元型的秩。
• 提供一种算法，通过导出的三次多项式及其根结构，计算一般五次型的实秩。

提出的方法

• 通过将实二元型分解为一次型的幂之和，分析其秩。
• 利用 Sylvester 伴列矩阵推导出一个三次多项式，其根结构决定秩。
• 利用从伴列矩阵的 3×3 子式导出的十二次不变量 I₁₂，以区分具有一个或三个实根的五次型中秩为3与秩为4的情况。
• 应用几何与代数技术，根据实根数量（0、2、3 或 5）对型进行分类。
• 为具有一个、三个或五个实根的五次型构造典范形式，以分析 I₁₂ 的符号。
• 开发一种算法，通过评估根的数量与 I₁₂ 的符号，计算一般五次型的实秩。

实验结果

研究问题

• RQ1 实二元五次型的典型秩是什么？在实数情形下，是否可能存在超过两种典型秩？
• RQ2 二元型的实根数量如何与其实秩相关？
• RQ3 能否利用十二次代数不变量 I₁₂ 区分五次型中秩为3与秩为4的情况？
• RQ4 二元型的复通用秩与实典型秩之间存在何种关系？
• RQ5 能否基于其系数，对一般五次型的实秩进行完整的算法表征？

主要发现

• 对于四次型，典型秩为3和4；若具有四个实根，则秩为4；若具有零个或两个实根，则秩为3。
• 对于五次型，典型秩为3、4和5；具有五个实根的型其秩为5。
• 具有一个或三个实根的五次型，若十二次不变量 I₁₂ 为正，则秩为3；若 I₁₂ 为负，则秩为4。
• 不变量 I₁₂ 是五次型系数的齐次多项式，在变量 a（来自典范形式）中对称，其符号决定秩。
• 具有秩3或4的五次型集合在实系数空间中具有非空内部，证实这两种秩均为典型秩。
• 计算一般五次型实秩的算法包括：由伴列矩阵的 3×3 子式构造一个三次多项式，并检查其根结构。