[论文解读] Combinatorics hidden in hyperbolic polynomials and related topics

Leonid Gurvits|ArXiv.org|Feb 5, 2004

Advanced Combinatorial Mathematics参考文献 25被引用 12

一句话总结

本文将关于拟阵秩交集的Edmonds-Rado定理推广至双曲多项式，通过混合双曲形式建立谱不等式与凸性性质。证明了双曲多项式对数在其正锥上为凹函数，并利用k-双曲性与Hurwitz行列式推导出Alexandrov-Fenchel不等式，扩展了Borcea与Shapiro的结果，解决了关于行列式表示的开放问题。

ABSTRACT

The main topic of this paper is various "hyperbolic" generalizations of the Edmonds-Rado theorem on the rank of intersection of two matroids. We prove several results in this direction and pose a few questions. We also give generalizations of the Obreschkoff theorem and recent results of J. Borcea and B. Shapiro.

研究动机与目标

• 将关于拟阵秩交集的Edmonds-Rado定理推广至双曲多项式设定。
• 利用混合形式与极化恒等式，研究双曲多项式的谱不等式与凸性性质。
• 确定e-非负向量锥是否允许半定表示，特别是在三变量情形下。
• 将Obreschkoff定理与Borcea和Shapiro的近期结果推广至双曲多项式设定。
• 通过k-双曲性与Hurwitz行列式，探讨van der Waerden猜想对混合双曲形式的适用性。

提出的方法

• 利用极化恒等式定义p-混合值$ M_p(x_1, ..., x_n) $，将其表示为$ p(\sum \alpha_i x_i) $的n阶混合导数所导出的多重线性形式。
• 应用引理1.2，通过实对称矩阵的特征值表示任意两个向量的根行为，从而将谱矩阵不等式推广至一般双曲多项式。
• 利用k-双曲性（通过$ \phi_k(t) = M_p(x+tp, ..., x+tp, x_{k+1}, ..., x_n) $的根实性定义）推导出Alexandrov-Fenchel不等式。
• 利用$ \phi_k $与$ \phi_k' $的Hurwitz行列式，生成强于2-双曲性的不等式层级。
• 通过证明$ M(i) \geq M(0)^{i/n} M(n)^{(n-i)/n} $，结合Alexandrov-Fenchel不等式，证明$ \ln p(x) $在$ C_e $上对数凹性。
• 证明若$ p $在方向$ e $上为双曲多项式，则$ p $在所有方向$ d \in C_e $上亦为双曲多项式，确保谱行为的一致性。

实验结果

研究问题

• RQ1 能否将关于拟阵交集的Edmonds-Rado定理推广至双曲多项式设定？
• RQ2 锥$ N_e $（e-非负向量锥）是否允许半定表示，特别是在三变量情形下？
• RQ3 能否通过混合形式与根实性条件，将Obreschkoff定理与Borcea-Shapiro结果推广至一般双曲多项式？
• RQ4 能否通过k-双曲性与Hurwitz行列式证明混合双曲形式的van der Waerden猜想？
• RQ5 在何种条件下，四元双曲多项式允许行列式表示？

主要发现

• 双曲多项式对数在e-正向量的开锥$ C_e $上为凹函数，由不等式$ \ln p(ax + (1-a)y) \geq a \ln p(x) + (1-a) \ln p(y) $（其中$ 0 < a < 1 $）所证明。
• 混合双曲形式$ M_p(x_1, ..., x_n) $满足$ M(i) \geq \sqrt{M(i-1)M(i+1)} $（$ 1 \leq i \leq n-1 $），表明其蕴含Alexandrov-Fenchel不等式。
• 对任意$ x, y \in C_e $，序列$ M(i) $为对数凹序列，由此导出不等式$ M_p(ax + (1-a)y, ..., ax + (1-a)y) \geq (a M(0)^{1/n} + (1-a) M(n)^{1/n})^n $。
• 锥$ N_e $为闭凸集，且$ p $在所有方向$ d \in C_e $上均为双曲多项式，确保谱行为的一致性。
• 三变量情形下$ N_e $允许半定表示的问题已正面解决，其建立在[1]与[24]的结果之上。
• 不可能存在四元双曲多项式$ p(x,y,z,t) = \det(xC_q + yC_r + zC_p - tI) $，通过构造具有非实根的线性组合，违反了双曲性。