[论文解读] 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$ 时，秩 $d-1$ 以及当 $d$ 为奇数时的 $(d+3)/2$ 是典型秩——即它们在实系数空间的某个非空开欧氏子集上普遍存在。这些结果验证了 Comon 与 Ottaviani 关于实二元型典型秩的猜想中的关键部分，扩展了此前对 $d \leq 5$ 的研究，并证明了当 $d \geq 6$ 时存在多个典型秩。证明方法基于代数几何技术，包括 Veronese 嵌入、实与复线性张成，以及在有理正常曲线上的投影论证。

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.

研究动机与目标

• 确定次数 $d \geq 6$ 的实系数二元齐次多项式的典型秩，扩展此前对 $d \leq 5$ 的结果。
• 验证 Comon-Ottaviani 猜想，即所有满足 $\lfloor(d+2)/2\rfloor \leq t \leq d$ 的整数 $t$ 均为实二元型的典型秩。
• 建立当 $d \geq 6$ 时存在多个典型秩，特别是证明 $d-1$ 是典型秩，且当 $d$ 为奇数时 $(d+3)/2$ 也是典型秩。
• 通过几何方法分析实秩，包括在 Veronese 曲面上的实与复线性张成，以及从有理正常曲线上点的投影。

提出的方法

• 研究使用 Veronese 嵌入 $\nu_d: \mathbb{P}^1(\mathbb{R}) \to \mathbb{P}^d(\mathbb{R})$ 将齐次多项式表示为有理正常曲线 $C_d(\mathbb{R})$ 上的点。
• 实秩 $Rsr(f)$ 定义为位于 $C_d(\mathbb{R})$ 上的实点的最小数量，使得这些点的实线性张成包含对应于 $f$ 的点 $P$。
• 证明采用从点 $Q = \nu_d(O)$ 出发的线性投影 $\ell_Q: \mathbb{P}^d(\mathbb{R}) \setminus \{Q\} \to \mathbb{P}^{d-1}(\mathbb{R})$，其中 $O$ 是线性型 $R$ 对应的点，从而将问题约化为低次多项式的情形。
• 使用反证法：假设 $Rsr(f) \leq d-2$，则在投影空间中产生一个点构型，违反引理 1，该引理限制了在有理正常曲线上具有非唯一线性张成的点集的最大大小。
• 通过构造一族多项式 $g_{f,c,R} = \sum c_i L_i^d + cR^d$，其中 $f$ 为次数 $d-1$ 且有 $d-1$ 个互异实根，证明了存在非空开欧氏子集，其上所有多项式具有实秩 $d-1$。
• 该构造确保对于一般 $f$ 和 $c$，所得多项式 $g_{f,c,R}$ 具有互异根且不全为实根，从而确认此类多项式在欧氏拓扑下构成非空开集。

实验结果

研究问题

• RQ1 对于次数 $d \geq 6$ 的实系数二元齐次多项式，$d-1$ 是否为典型秩？
• RQ2 当 $d \geq 5$ 为奇数时，$(d+3)/2$ 在实二元情形下是否为典型秩？
• RQ3 Comon-Ottaviani 猜想——即所有满足 $\lfloor(d+2)/2\rfloor \leq t \leq d$ 的整数 $t$ 均为典型秩——是否对 $d \geq 6$ 成立？
• RQ4 能否通过在 $\mathbb{R}$ 和 $\mathbb{C}$ 上的 Veronese 曲面上的线性张成，几何地刻画二元型的实秩？
• RQ5 对于次数 $d \geq 6$ 的实系数二元型，典型秩的最小数量是多少？

主要发现

• 对所有 $d \geq 6$，整数 $d-1$ 是实系数二元齐次多项式（次数 $d$）的典型秩，即存在 $\mathbb{R}[x,y]_d$ 的非空开欧氏子集，其中所有多项式均具有实秩 $d-1$。
• 当 $d = 2m+1 \geq 5$ 为奇数时，整数 $m+1$、$m+2$ 和 $2m+1 = d$ 均为典型秩，从而在 $d \geq 7$ 时确认至少存在四个典型秩。
• 该论文通过构造一族多项式 $g_{f,c,R} = \sum c_i L_i^d + cR^d$，其中 $f$ 为次数 $d-1$ 且有 $d-1$ 个互异实根，证明了 $d-1$ 是典型秩，且此类多项式在一般情形下具有实秩 $d-1$。
• 该构造确保对于一般 $f$ 和 $c$，多项式 $g_{f,c,R}$ 具有互异根且不全为实根，因此此类多项式的集合在欧氏拓扑下构成非空开子集。
• 证明依赖于反证法：假设 $Rsr(g_{f,c,R}) \leq d-2$，则通过引理 1 导出矛盾，该引理限制了在有理正常曲线上具有非唯一线性张成的点集的大小。
• 结果确认了 $d-1$ 是典型秩，结合已知结果，支持了 Comon-Ottaviani 猜想在 $d \leq 7$ 时成立，表明偶数次 $d \geq 6$ 时至少有三个典型秩，奇数次 $d \geq 7$ 时至少有四个典型秩。