[論文レビュー] Computing submatrices of the Hermite normal form of a structured polynomial matrix

Jérémy Berthomieu, Vincent Neiger+1 more|arXiv (Cornell University)|Feb 8, 2026

Polynomial and algebraic computation被引用数 0

ひとこと要約

要約: 本論文は、構造化多項式行列の整数量子差(rank)が小さい場合の Hermite 正規形の主成分行列を、ランダム化手法を用いて効率的な複雑さで評価-補間に基づいて計算する leading principal submatrices を評価-補間ベースのアルゴリズムとして提示します。

ABSTRACT

Following several decades of successive algorithmic improvements, works from the 2010s have showed how to compute the Hermite normal form (HNF) of a univariate polynomial matrix within a complexity bound which is essentially that of polynomial matrix multiplication. Recently, several results on bivariate polynomials and Gröbner bases have highlighted the interest of computing determinants or HNFs of polynomial matrices that happen to be structured, with a small displacement rank. In such contexts, a small leading principal submatrix of the HNF often contains all the sought information. In this article, we show how the displacement structure can be exploited in order to accelerate the computation of such submatrices. To achieve this, we rely on structured linear algebra over the field thanks to evaluation-interpolation. This allows us to recover some rows of the inverse of the input matrix, from which we deduce the sought HNF submatrix via bases of relations.

研究の動機と目的

• 入力行列が構造化された変位を持ち、先頭のサブマトリクスが小さい場合の HNF サブマトリクスの高速計算を動機づける。
• 評価補間を活用して場上の構造を利用し、逆行を回収して関係基底を形成する。
• 変位ランク、サブマトリクスサイズ、M とその行列式の次数界に依存する計算量境界を提供する。
• 双変数系の Gröbner 基底計算におけるモノミアル順序の変更などの応用へアイデアを拡張する。

提案手法

• 構造化多項式行列を Z0 M − M Z1^T = ST^T による変位生成子 (S, T) で表現する。
• 異なる場の元の集合上での評価-補間を用いて、点 a_i における小さいランクの構造化逆行を単純化する。
• 各評価点で既存の構造化線形代数を用いて高速な逆行計算を適用する（Las Vegas ランダム化）。
• 点ごとの逆行を補間と組み合わせて、HNF の先頭 m×m サブマトリクスを得る。
• 変位ランク α、行列サイズ n、サブマトリクスサイズ m、次数パラメータ D, Δ, d に依存するコスト境界を提供する。
• 関係基底と HNFRelBas を活用して、M の行スパンに関連するモジュールの基底を計算する。

実験結果

リサーチクエスチョン

• RQ1 構造化多項式行列の Hermite 正規形の主成分サブマトリクスを効率的に抽出するにはどうすればよいか。
• RQ2 変位ランクは HNF サブマトリクス計算を加速するうえでどんな役割を果たすのか。
• RQ3 評価補間と構造化線形代数を組み合わせると、これらのサブ問題で次元をほぼ二乗以下、あるいは行列乗算に近い複雑さを達成できるか。
• RQ4 DRL 基底から Lexicographic Gröbner 基底を HNF ベースのサブマトリクス抽出で導くとき、アプローチをモノミアル順序変更に適応できるか。

主な発見

• アルゴリズム HermiteFormSubmatrix は、構造化変位生成子と評価補間を用いて、非特異な M の HNF の先頭 m×m サブマトリクスを計算する。
• H_col および/または H_row 一般性仮定が成り立つ場合とそうでない場合でコスト境界が異なり、D = deg(det(M)) のとき最適化される。
• 両方が true の場合、コストは変位意識境界へ縮減され、一方のみ true の場合は対応する中間境界が適用される。
• このアプローチは、DRL 基底から HNF ベースのサブマトリクス抽出を介して Lexicographic Gröbner 基底を計算することへ拡張される（定理1.2）。
• アルゴリズムは Las Vegas ランダム化であり、評価点での構造化右逆行を用いて関係基底を通じて HNF サブマトリクスを組み立てる。