[論文レビュー] Exact solution for a matrix dynamical system with usual and Hadamard inverses

I. G. Korepanov|ArXiv.org|Mar 5, 2003

Nonlinear Waves and Solitons参考文献 2被引用数 3

ひとこと要約

本稿では、行列の逆行列とハダールド（要素ごとの）逆行列の繰り返し合成によって生成される行列力学系の厳密解を提示する。$n=3$ の場合、初期行列を用いた完全な明示的解が与えられる。$n=4$ の場合、1次元のテータ関数を用いたアンサンブルが構築され、初期行列のザリスキ開集合を完全に記述する。$n$ がより大きくなる場合、部分的な解を用いて一般化される。

ABSTRACT

Let A be an n*n matrix with entries a_ij in the field C. Consider the following two involutive operations on such matrices: the matrix inversion I: A -> A^-1 and the element-by-element (or Hadamard) inversion J: a_ij -> a_ij^-1. We study the algebraic dynamical system generated by iterations of the product JI. In the case n=3, we give the full explicit solution for this system in terms of the initial matrix A. In the case n=4, we provide an explicit ansatz in terms of theta-functions which is full in the sense that it works for a Zariski open set of initial matrices. This ansatz also generalizes for higher n where it gives partial solutions.

研究の動機と目的

• 複素 $n\times n$ 行列上での行列逆行列とハダールド逆行列の合成によって定義される代数的力学系を解くこと。
• 特に $n=3$ および $n=4$ の場合に、その系の進化に対する明示的解を提供すること。
• テータ関数を用いたアンサンブルを用いて、$n$ がより大きい場合の解法枠組みを一般化すること（部分的にしか成立しない場合もあるが）。
• 乗法的基底とゲージ変換を用いて力学系の構造を探索し、背後にある代数的幾何的性質を明らかにすること。

提案手法

• $n=3$ の場合、行列逆行列作用の下で予測可能に変化する特殊な行列式に類似た不変量 $\mathop{\rm dh}\nolimits\mathcal{A}$ を用いて解を構成する。
• $n=4$ の場合、テータ関数アンサンブルを提案し、行列成分を $x$, $y$, $\lambda_i$, $\mu_j$ および楕円曲線のモジュラスでパラメータ化する。対角行列によるゲージ自由度が存在する。
• 進化は、パラメータ $x$, $y$, $\lambda_i$, $\mu_j$ に対する変換則によって記述され、構造を保つようにシフトと符号変化が含まれる。
• $n=2$ の場合、6つの変数（成分、行列式、符号）に対する乗法的変換を用い、対称式とテータ関数の恒等式を一般化してより高い $n$ に拡張する。
• 左および右の対角行列による乗算というゲージ変換を用いて、進化を簡略化し、アンサンブル構造を維持する。
• $n \geq 5$ の場合、同じアンサンブルが適用可能だが、非ゼロの余次元を有する部分多様体に限られるため、部分的なカバーを示す。

実験結果

リサーチクエスチョン

• RQ1 繰り返し行列逆行列作用の後、ハダールド逆行列作用を施す $3\times 3$ 行列の進化の明示的形は何か？
• RQ2 $n=4$ の場合、特殊関数を用いて完全な解を構築できるか？そのパラメータ化は何か？
• RQ3 $n \geq 5$ の場合、解の構造はどのように変化するか？パラメータの観点から解の空間の次元は何か？
• RQ4 テータ関数は $n=4$ の解のパラメータ化において果たす役割は何か？力学系とどのように関係するか？
• RQ5 周期的挙動を示す特別な初期行列は存在するか？このような場合を一般アンサンブルが捉えることができるか？

主な発見

• $n=3$ の場合、初期行列の成分とその行列式を用いて、特殊不変量 $\mathop{\rm dh}\nolimits\mathcal{A}$ を用いた完全な明示的解が提供される。
• $n=4$ の場合、16個の独立パラメータを持つテータ関数アンサンブルによって解が与えられる：$x$, $y$, $\lambda_i$, $\mu_j$ からの8個（2つの平行移動対称性を除く）、楕円曲線のモジュラスからの1個、2つの対角ゲージ行列からの7個。
• $n=4$ のアンサンブルは、ザリスキ開集合をカバーしており、一般の初期行列に対して有効であり、次元が低い部分多様体のみを除く。
• $n \geq 5$ の場合、同じアンサンブルが適用可能だが、非ゼロの余次元を有する部分多様体に限られる。例えば $n=5$ の場合、20パラメータ族として部分的カバーが得られる。
• パラメータ $x,y,z,t$ を含む特別な $4\times 4$ 行列は、ゲージ同値性の下で、ダイナミクスの下で周期4を示すことが、直接計算により確認された。
• $N$ ステップにおける行列成分の進化は、テータ関数パラメータに対する変換によって完全に記述され、ゲージ変換と正規化から生じる乗法的係数が含まれる。