[論文レビュー] Finite Dynamical Systems, Linear Automata, and Finite Fields

Óscar Moreno, Dorothy Bollman+1 more|ArXiv.org|Apr 25, 2006

Cellular Automata and Applications参考文献 5被引用数 6

ひとこと要約

本稿は、有限動的系（FDS）と有限体の間の数学的ブリッジを確立し、GF(p^r) 上の線形化多項式が、FDS の解析および分類に強力な枠組みを提供することを示している。ベクトル空間の同型および線形化多項式の性質を活用することで、可逆性および周期性の条件が導かれ、特に結晶工学的 FFT やシステム生物学におけるリバースエンジニアリングの応用において、システムの位数および状態図構造の効率的計算が可能になる。

ABSTRACT

We establish a connection between finite fields and finite dynamical systems. We show how this connection can be used to shed light on some problems in finite dynamical systems and in particular, in linear systems.

研究の動機と目的

• Z_p^r 上の有限動的系と有限体 GF(p^r) の間の対応関係を、基底の同型を用いて確立すること。
• 有限体上の線形化多項式の代数的構造を活用して FDS を分類すること。
• 遺伝子調節ネットワークを有限体上の FDS としてモデル化することにより、システム生物学におけるリバースエンジニアリング問題を解くこと。
• 特に結晶工学的 FFT の事前計算の文脈において、線形 FDS の位数を効率的に計算するためのアルゴリズムを開発すること。
• 線形化多項式 F(x) = Ax^p + Bx が GF(p^2) 上で可逆となる条件を特定すること。

提案手法

• GF(p^r) の固定基底 {α₁, ..., αᵣ} を用いて、Z_p^r と GF(p^r) の間の一対一対応を定義し、両空間間での FDS の翻訳を可能にする。
• FDS の各成分関数 fᵢ: Z_p → Z_p をラグランジュ補間を用いて Z_p 上の一変数多項式として表現する。
• 線形 FDS を GF(p^r) 上の線形化多項式 L(x) = Σ Aᵢx^{p^i} としてモデル化し、合成に関して可換代数を形成すること。
• 関連多項式 l(x) = Σ AᵢX^i を用いて、L(x) の位数を計算する問題を x^r - 1 を法とする多項式算術に還元する。
• 正規基底における線形化多項式の行列表現を用いて、対称性および可換性の性質を活用する。
• 全単射 g: Z_p^n → Z_{p^n} を用いて、FDS を Z_{p^n}^r から Z_p^{nr} に移行させ、状態図の同型性を保ちながら解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 線形化多項式 F(x) = Ax^p + Bx が GF(p^2) 上で可逆となる条件は何か？
• RQ2 有限体構造を活用することで、GF(p^r) 上の有限動的系の状態図および位数を効率的に計算する方法は何か？
• RQ3 基底同型を介して FDS を有限体の設定に翻訳することで、FDS の分類を簡略化できるか？
• RQ4 Z_{p^n}^r 上の線形 FDS の位数と、それに対応する Z_p^{nr} 上の FDS の位数との関係は何か？
• RQ5 線形化多項式の理論を応用することで、結晶工学的 FFT の事前計算フェーズにおける MS 軌道の最小化は可能か？

主な発見

• 線形化多項式 F(x) = Ax^p + Bx が GF(p^2) 上で可逆であるための必要十分条件は、A^{p+1} ≠ B^{p+1} が成り立つことである。
• 線形化多項式 L(x) = Σ Aᵢx^{p^i} の位数が L^n(x) = x mod (x^{p^r} - x) を満たすための必要十分条件は、(l(x))^n ≡ 1 mod (x^r - 1) が成り立つことである。ここで l(x) は関連多項式である。
• 任意の Z_{p^n}^r 上の FDS に対して、全単射 g^r を用いて Z_p^{nr} 上の同型な FDS が存在し、状態図の構造が保たれる。
• 正規基底における線形化多項式の行列表現は対称的であり、このような行列は合成に関して可換である。
• f: (Z_8)^2 → (Z_8)^2 を f(a,b) = (5b, a+2b) で定義する系は、2^3 を法として位数 8 を持つ。関連行列を 2 を法として見たときの位数は 2 であり、A^2 ≡ I mod 2^1 だが、mod 2^2 では成り立たない。
• 本手法により、システムの位数および状態図構造の効率的計算が可能となり、これはシステム生物学におけるリバースエンジニアリングや FFT 事前計算の最適化にとって極めて重要である。