Explicit Determinants of Homogeneous Polynomial Evaluation Matrices and Applications

技術要約：同次多項式の評価行列の明示的な行列式とその応用

問題設定
本研究は、ベクトル対における二変量同次多項式の評価によって構築される行列、特にその行列式（デターミナント）の代数的性質を調査するものである。次数 $k$ の同次多項式 $p(x, y) = \sum_{i=0}^k \alpha_i x^{k-i}y^i$ と、$\mathbb{C}^n$ 内の2つのベクトル $a = (a_1, \dots, a_n)$ および $b = (b_1, \dots, b_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$ が多項式の次数を超える場合（特に $n > k+1$ の場合）を含め、一般的な同次多項式に対してこれらの行列式の挙動を説明する統一的な枠組みは欠落していた。

手法
核心となる手法上の貢献は、評価行列 $A_{a,b}(p(x, y))$ の系統的な因数分解である。著者らは、任意の次数 $k$ の同次多項式に対して、評価行列が以下の3つの構造化された行列の積に分解できることを確立している：
$$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$ である行列の積となる。ランクの不等式により、$\text{rank}(A_{a,b})$ は高々 $k+1$ であり、$n \times n$ 行列は特異（正則でない）となる。
2. $n = k+1$ の場合： 因数分解は正方行列を含むため、行列式の積を通じて明示的な行列式の計算が可能となる。
3. $n \le k$ の場合： 著者らは $V_a^{(k)} D_\alpha (W_b^{(k)})^T$ に対してコーシー・ビネ（Cauchy–Binet）の公式を適用する。これにより、行列式は添字の部分集合に関する和として表され、そこには一般化されたヴァンデルモンド・マイナーが含まれる。これらのマイナーは、完全同次対称多項式（$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$ の最高次の係数のみに依存する特定の閉形式の公式を導出し、低次の係数からの独立性を示している。
• 等変性（Equivariance）： 変数変換 $(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. 応用： これらの結果は、線形変換の下での等変性の法則を導出したり、有限体における非消滅確率の上限を提供したりするために適用されており、これらは符号理論や構造化線形代数において重要である。

著者らは、現在の枠組みが同次多項式に特化したものであることを注記し、非同次二変量多項式の分析を将来の研究方向として明示的に特定しており、現在の論文の限界についても控えめな範囲を維持している。