[論文レビュー] Some approaches toward the Jacobian conjecture

Tuyen Trung Truong|arXiv (Cornell University)|Mar 30, 2015

Advanced Differential Equations and Dynamical Systems参考文献 9被引用数 3

ひとこと要約

この論文は、線形形式 $l_i$ を用いた多項式写像 $F(x) = x + (l_i(x))^3$ の形をしたDruzkowski写像に対して、ヤコビアン予想を検証する計算的に扱いやすい基準として、条件C1およびC2を提案する。C2を満たすことは、このような写像におけるヤコビアン予想の成立を示し、Mathematicaを用いたグレブナー基底を用いた効率的なアルゴリズムを提供する。さらに、一般のDruzkowski行列がこれらの条件を満たすことを証明し、次元9までの一貫した検証のための実用的手段を提示する。

ABSTRACT

In this paper, we study a so-called Condition C1 and a weaker Condition C2. For Druzkowski maps Condition C2 is equivalent to the Jacobian conjecture. Main results obtained: - Stating new equivalent formulations of the Jacobian conjecture. - Formulating some generalisations of the Jacobian conjecture and giving both theoretical and experimental evidences to support them. - Showing Condition C1 holds for a generic matrix of any given rank, is an invariant for a certain group action, and Condition C2 is an invariant for cubic similarity matrices. - Giving one heuristic argument for the truth of the Jacobian Conjecture. - Giving an effective (time saving) method to check whether a given Druzkowski map satisfies the Jacobian conjecture, explaining theoretically and checking on many examples including those previously considered by other authors. - Proposing approaches toward resolving the Jacobian conjecture. Showing that a generic Druzkowski map satisfies the criteria of some of these approaches (see Theorem 1.12), and hence expecting to be able to check these approaches for a given Druzkowski map very quickly. -As an application, proposing a strategy to use cubic similarity to check that Druzkowski maps of dimension $\leq 9$ satisfy the Jacobian conjecture.

研究の動機と目的

• 一般ヤコビアン予想の中心的対象であるDruzkowski写像のヤコビアン予想を、計算的に実行可能な基準で検証することを目的とする。
• 次元8を超える高次元における予想の検証に向けた体系的でない方法の欠如に応えること。
• 条件C1およびC2が、Druzkowski写像の単射性および多項式的逆写像の存在を検証する上で有効であるという理論的および実験的証拠を提供すること。
• 特定の行列に対してこれらの条件をテストするための、グレブナー基底とMathematicaコードを用いた実用的な計算フレームワークを提供すること。
• 次元≤9のDruzkowski写像のヤコビアン予想の検証を、立方体的類似変換を用いてより単純なケースに還元する戦略を提唱すること。

提案手法

• Druzkowski写像におけるヤコビアン予想の同値な定式化として、条件C1およびC2を導入し、C2は弱いが十分な条件であることを示す。
• 行列 $A$ が $A^2 = 0$ を満たすDruzkowski行列の構造を用い、写像 $F(x) = x + (l_i(x))^3$ の単射性および可逆性を記述する多項式方程式を導出する。
• 解集合が自明であるかをテストするために、$F(x) - F(y)$ の成分および行列式条件 $\det(\mathrm{Id} + \Delta((sx+ty)^2) \cdot A) = 1$ によって生成される多項式イデアルのグレブナー基底計算を実施する。
• 一般性に基づくヒューリスティックな議論を適用：任意のランクの一般Druzkowski行列は条件C1を満たすため、実際の検証が高速に行える可能性がある。
• 与えられたDruzkowski行列が条件C2を満たすかどうかを、関連する多項式系のグレブナー基底を計算することで確認するMathematicaベースのアルゴリズムを実装する。
• 立方体的類似変換を用いて検証問題を簡略化する：ある行列が既知の基準を満たす立方体的類似である場合、その行列はヤコビアン予想の性質を継承する。

実験結果

リサーチクエスチョン

• RQ1 条件C1およびC2は、Druzkowski写像のヤコビアン予想を検証するための有効かつ計算的に効率的な基準として機能するか？
• RQ2 Druzkowski行列に対して条件C2が成立することは、多項式的逆写像の存在を示し、その写像におけるヤコビアン予想の成立を保証するか？
• RQ3 グレブナー基底とMathematicaにおける記号計算を用いた本手法は、次元9までのDruzkowski写像のヤコビアン予想に対して体系的に適用可能か？
• RQ4 条件C2の性質は立方体的類似変換に関して不変であるか？これにより、より単純なケースへの還元が可能になるか？
• RQ5 Druzkowski行列が条件C1を満たす一般性は、ほとんどの行列がヤコビアン予想を満たす可能性が高いことを示唆するか？

主な発見

• 条件C2は、Druzkowski写像におけるヤコビアン予想と同値であり、検証のための実用的基準を提供する。
• 任意の指定されたランクの一般Druzkowski行列は条件C1を満たすため、多くの場合、ヤコビアン予想が成立すると予想される。
• Mathematicaを用いたグレブナー基底を用いた本手法は、複数のテストケースで単射性および行列式条件のチェックにかかる計算時間を顕著に短縮する。
• 著者は、条件C2が立方体的類似変換に関して不変であることを証明し、次元≤9のすべてのDruzkowski写像のヤコビアン予想の検証を、代表的な集合のチェックに還元する戦略を可能にする。
• 理論的および計算的証拠により、立方体的類似および条件C2に基づく本手法を用いることで、次元≤9のすべてのDruzkowski写像のヤコビアン予想が成立することが支持される。
• 本論文は、与えられたDruzkowski行列が条件C2を満たすかどうかを確認する明示的なMathematicaコードを提供しており、実行時間の結果から高次元のケースに対しても効率的であることが示されている。