この論文は、ある次元 N と奇数の次数 D に対して、与えられた有理係数の同次（ホモジニアス）多項式ベクトル場について「原点がLyapunov安定か」を判定する一般的なアルゴリズムは存在しないことを示します。これは V. I. アーノルドが提起した問題の一部を、ある大きく最適化されていない次元と次数について解決したものです。論文は具体的な構成を示すことで、この否定的な結論を得ています。

Lyapunov安定性とは簡単に言うと、平衡点（ここでは原点）に十分近い初期条件で始めた解が、時間の経過後もずっと原点の近くにとどまる性質です。著者は対象を「同次多項式ベクトル場」に限定します。同次性とは、状態を一様に拡大縮小すると解も対応して拡大縮小されるという性質で、これが「局所的な安定性の判定」を一様な成長境界を求める問題に変える点で重要になります。論文では次数 D は奇数に取られています。

主な証明の道筋は計算理論の未決定性を使う還元です。停止問題が未決定であるようなレジスタ機械（小さな理論上のコンピュータ）を固定し、その機械と入力に対して、多項式ベクトル場をアルゴリズム的に構成します。構成したベクトル場は「機械が停止するならばある出力の累積が一様に有界であり、停止しないならばある軌道で出力が発散する」ことと同値になります。最後にこの非同次の系を同次な「射影的なリフト（projective lift）」で持ち上げてやると、原点のLyapunov安定性がその累積出力の有界性と同値になります。したがって機械の停止性を決められないことから、安定性の判定も決定不能になります。

証明の技法のいくつかも重要です。まず同次性により局所判定が球面上の流れと半径の増減率の積分という形に還元されます。これは「累積出力」と呼ばれる量で定式化され、原点の安定性はこの量が全ての初期方向について有限かどうかに帰着します。論文はさらに、レジスタ機械の振る舞いを有限誤差で模擬するための時刻制御や平滑化、ペナルティ項などの具体的装置を順に組み合わせて、必要な一様性（あらゆる初期状態に対する一様な有界性）を保証します。最後の射影的持ち上げにより、非同次系の「出力が有界か否か」を同次多項式ベクトル場の原点安定性へと結びつけます。

重要な注意点と限界があります。まず論文の主張は「ある大きな固定の次元 N と次数 D について」決定不能である、という存在的な結果です。N と D は明示的に構成されますが、論文自身がそれらを小さく最適化したものではありません。したがって低次や低次元でどうかという問題や、実際の数値システムでの直接的な適用可能性については何も言いません。また、既に非多項式の系では同様の未決定性は知られていましたし、三次多項式の漸近安定性（長期的に原点へ収束するか）判定が強く NP 困難であることも既報です。今回の結果は多項式系についての「アルゴリズム的に一般解は存在しない」というより強い否定を与えますが、具体的な応用やより小さなクラスへの展開には慎重さが必要です。