Explicit Determinants of Homogeneous Polynomial Evaluation Matrices and Applications

技术摘要：齐次多项式求值矩阵的显式行列式及其应用

问题陈述
本研究调查了通过在向量对处求值构造的矩阵（特别是齐次二元多项式的求值矩阵）的代数性质，尤其是其行列式。给定一个 $k$ 次齐次多项式 $p(x, y) = \sum_{i=0}^k \alpha_i x^{k-i}y^i$ 以及两个向量 $a = (a_1, \dots, a_n)$ 和 $b = (b_1, \dots, b_n) \in \mathbb{C}^n$，本文分析了 $n \times n$ 求值矩阵 $A_{a,b}(p(x, y)) = [p(a_r, b_s)]_{r,s=1}^n$。

虽然对于特定情况（例如范德蒙德矩阵或形式为 $[(a_i + b_j)^k]$ 的矩阵）已存在经典结果，但这些结果通常局限于特定的多项式形式或矩阵规模 $n$ 等于 $k+1$ 的特殊情况。目前缺乏一个统一的框架来解释所有矩阵规模（特别是当 $n$ 超过多项式次数时）下，一般齐次多项式此类行列式的行为。

方法论
其核心方法论贡献是对求值矩阵 $A_{a,b}(p(x, y))$ 进行系统的因子分解。作者建立，对于任何 $k$ 次齐次多项式，该求值矩阵可以分解为三个结构化矩阵的乘积：
$$A_{a,b}(p(x, y)) = V_a^{(k)} D_\alpha (W_b^{(k)})^T$$
其中：

• $V_a^{(k)}$ 和 $W_b^{(k)}$ 是包含向量分量 $a_r$ 和 $b_s$ 幂次的 $n \times (k+1)$ 范德蒙德型矩阵。
• $D_\alpha$ 是一个包含多项式系数 $\alpha_i$ 的 $(k+1) \times (k+1)$ 对角矩阵。

该因子分解是推导后续所有结果的基础机制。分析过程通过考察矩阵维度 $n$ 与多项式次数 $k$ 之间的关系来研究秩和行列式性质：

1. 情况 $n \ge k+2$： 该矩阵是具有内维数 $k+1$ 的矩阵之乘积。根据秩不等式，矩阵 $A_{a,b}$ 的秩至多为 $k+1$，从而使得 $n \times n$ 矩阵是奇异的。
2. 情况 $n = k+1$： 因子分解涉及方阵，允许通过行列式的乘积进行显式行列式计算。
3. 情况 $n \le k$： 作者将 Cauchy–Binet 公式应用于乘积 $V_a^{(k)} D_\alpha (W_b^{(k)})^T$。这将其行列式表示为各项下标子集的求和，涉及广义范德蒙德子式。这些子式通过完全齐次对称多项式 ($H_m$) 进一步进行评估。

主要贡献与结果

• 一般消失条件： 本文证明了对于任何 $k$ 次齐次多项式，如果矩阵规模 $n \ge k+2$，则其行列式恒为零。这推广了以往仅限于特定多项式形式的观察。
• $n = k+1$ 时的闭式公式： 在“临界”方阵情况下，推导出了一个显式公式：
  $$\det(A_{a,b}(p(x, y))) = (-1)^{\binom{k+1}{2}} \left( \prod_{i=0}^k \alpha_i \right) \left( \prod_{1 \le i < j \le n} (a_j - a_i) \right) \left( \prod_{1 \le i < j \le n} (b_j - b_i) \right)$$
  该结果证实，当且仅当所有多项式系数均不为零且向量元素两两不同时，行列式才不为零。
• 特殊情况： 该通用公式恢复并扩展了已知结果，包括：
  • 和形式 $(x+y)^k$。
  • 商形式 $\frac{a^{k+1}-b^{k+1}}{a-b}$。
  • 交替和形式 $\frac{a^{k+1}+b^{k+1}}{a+b}$（对于奇数 $k$）。
• 一般情况 $n \le k$： 对于 $n \le k+1$，行列式被表示为涉及系数乘积、范德蒙德差值以及由完全齐次对称多项式构成的矩阵行列式的求和。这使该问题与对称函数理论相联系。
• 和形式的具体细节： 对于形式为 $p(x, y) = f(x+y)$ 的多项式，作者推导出了一个针对 $n=k+1$ 的特定闭式公式，该公式仅取决于 $f$ 的首项系数，显示出对低阶系数的独立性。
• 等变性： 文中提供了一个显式规则，说明行列式在变量线性变换 $(x, y) \mapsto (x', y') = B \cdot (x, y)$ 下如何变换。对于和形式多项式，行列式按与变换矩阵条目之和相关的因子进行缩放。
• 有限域： 通过应用 Schwartz–Zippel 引理，本文建立了当从有限域 $\mathbb{F}_q$ 中均匀随机选择向量时，行列式消失的概率上界。具体而言，对于 $n \le k+1$，行列式为零的概率被限制在 $nk/q$ 以内。

意义与范围

该论文声称提供了一个用于分析这些矩阵的“系统且统一的框架”，超越了针对特定例子的权宜之计。通过利用多项式的齐次性，作者展示了求值矩阵的结构本质上与范德蒙德型因子分解相关联。

其意义在于：

1. 统一性： 它解释了为什么对于所有齐次多项式（而非仅限于特定实例），当 $n \ge k+2$ 时行列式都会消失。
2. 显式公式： 它为关键的方阵情况 $n=k+1$ 提供了闭式表达式，并为 $n \le k$ 提供了结构化展开。
3. 应用： 这些结果被应用于推导线性变换下的等变律，并为有限域上的非零概率界限提供依据，这在编码理论和结构化线性代数领域具有相关性。

作者指出，目前的框架专门针对齐次多项式，并明确指出分析非齐次二元多项式是未来工作的潜在方向，从而对当前论文的局限性保持了审慎的界定。