行列の高い冪がすべて非負になるかを多項式時間で判定する
Eventual Nonnegativity of a Matrix Is in P
この論文をやさしく読む
ひとことで言うと
行列を何度も掛けたとき、ある時点以降のすべての冪で全成分が非負になるかを、入力サイズの多項式時間で調べられるとする数学研究です。
何に役立つ？
行列の反復で生じる符号の性質について、判定問題の計算量を理解するのに役立ちます。非負の冪が一つでもあるかという関連問題も扱います。
この研究の面白いところ
全成分を同時に判定する問題が効率よく解ける一方、一つの成分列に限定した関連問題の判定可能性は未解決という対比があります。巨大になり得る冪を直接作らず計算するのが要点です。
どこまで分かった？
対象は有理数成分の行列です。著者らが述べる証明結果を要旨から紹介しており、未解決の単一成分列の問題まで解決したという主張ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有理数成分の行列Aが与えられたとき、十分大きいすべてのnについて、Aⁿの各成分は非負になるだろうか。本研究では、この問題を決定的な多項式時間で判定できることを証明する。これは、一つの指定された成分の列(Aⁿ)ᵢⱼが最終的に非負になるかを判定する問題とは対照的である。後者は線形漸化式列のUltimate Positivity Problemに相当し、判定可能性は未解決である。 従来の判定手続き（D'Costa、Ouaknine、Worrell、STACS 2024）は、入力サイズに対して指数的になり得る捩れ指数Dを法とする剰余類に行列の冪を分ける。本研究は、一つの等差部分列A^{Dk+1}を調べれば十分であることを示す。Aⁿ ≥ 0となる指数nの集合は加法で閉じており、この等差数列の隣り合う二つの指数は互いに素なので、十分に大きいすべての指数を生成するからである。この部分列に沿って、固有値を共通のD乗を持つもの同士でまとめ、各群で必要な係数を、Aᴰ、いかなるλᴰ、分解体も構成せずに計算する。各加数はそれ自身の根体ℚ(λ)で評価し、Galois同変性によって各類の和の次数と高さが多項式で抑えられるため、確証付きのゼロ判定と符号判定が可能になる。同じアルゴリズムで一つの場合を除外すると最終的な正値性を判定でき、その変形版は、行列に非負の冪が一つでも存在するかどうかを判定する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Given a rational matrix $A$, is every sufficiently large power $A^n$ entrywise nonnegative? We prove that this problem is decidable in deterministic polynomial time. This is in contrast with deciding eventual nonnegativity of a single prescribed entry sequence $(A^n)_{ij}$, which amounts to the Ultimate Positivity Problem for linear recurrence sequences, whose decidability is open. The previous decidability procedure (D'Costa, Ouaknine and Worrell, STACS 2024) splits the matrix powers into residue classes modulo a torsion exponent $D$ whose value can be exponential in the input size. We show that it is sufficient to check a single progression $A^{Dk+1}$: the exponents $n$ with $A^n \geq 0$ are closed under addition, and two consecutive exponents of the progression are coprime, so they generate every sufficiently large exponent. Along the progression, eigenvalues are grouped by their common $D$th power, and the required coefficients for each group are computed without forming $A^D$, any $\lambda^D$, or a splitting field: each summand is evaluated in its own root field $\mathbb{Q}(\lambda)$, and Galois equivariance keeps the degree and height of every class sum polynomially bounded, enabling certified zero and sign tests. The same algorithm with one case rejected decides eventual positivity, and a variant decides whether the matrix has any nonnegative power at all.
著者のコメント
19 pages, including appendix. A Lean 4 formalisation of the structural criterion and key inequalities is available at https://github.com/julianrdcosta/ptime-ENN-lean-formalization
arXiv ID: 2609.23839 ／ 要約の誤りについて