[論文レビュー] Encompression Using Two-dimensional Cellular Automata Rules

Sudhakar Sahoo, Sanjaya K. Sahoo+2 more|ArXiv.org|Aug 11, 2008

Cellular Automata and Applications参考文献 9被引用数 3

ひとこと要約

本稿では、2次元セルオートマトン（2D CA）規則とANDおよびOR論理に基づく新しい行列乗算演算を用いた、バイナリ画像のための効率的なエンプレッションアルゴリズムを提案する。1次元の複数吸引子CA（MACA）を2次元に拡張し、有限アーベル巡回群およびモノイドを活用することで、強い代数的構造を持つ損失なし圧縮を実現し、CAダイナミクスを用いた効果的な画像符号化を示している。

ABSTRACT

In this paper, we analyze the algebraic structure of some null boundary as well as some periodic boundary 2-D Cellular Automata (CA) rules by introducing a new matrix multiplication operation using only AND, OR instead of most commonly used AND, EX-OR. This class includes any CA whose rule, when written as an algebra, is a finite Abelean cyclic group in case of periodic boundary and a finite commutative cyclic monoid in case of null boundary CA respectively. The concept of 1-D Multiple Attractor Cellular Automata (MACA) is extended to 2-D. Using the family of 2-D MACA and the finite Abelian cyclic group, an efficient encompression algorithm is proposed for binary images.

研究の動機と目的

• 2次元セルオートマトン規則を用いたバイナリ画像のための効率的なエンプレッション技術の開発。
• 1次元複数吸引子セルオートマトン（MACA）の概念を2次元に拡張すること。
• 新しいAND/OR行列乗算演算を用いて、2次元CA規則の代数的構造を、ゼロ境界および周期的境界条件下で分析すること。
• 2次元CA規則が有限アーベル巡回群（周期的境界）および有限可換巡回モノイド（ゼロ境界）を形成することを確立し、構造化された圧縮を可能にすること。
• 2次元MACAの代数的性質を活用した実用的なエンプレッションアルゴリズムの設計を通じて、損失なしバイナリ画像符号化を実現すること。

提案手法

• 従来のAND-XOR演算に代わる、ANDおよびORゲートのみを用いた新しい行列乗算演算を導入し、CA規則計算における演算を置き換える。
• ゼロ境界および周期的境界条件下での2次元CA規則を分析し、それぞれが有限アーベル巡回群および有限可換巡回モノイドとして同定する。
• 1次元MACAフレームワークを2次元に拡張するため、予測可能なダイナミクスを持つ2次元複数吸引子セルオートマトンの族を構築する。
• これらの2次元CA族の代数的構造を活用して、バイナリ画像をコンパクトな状態遷移にマッピングし、圧縮を実現する。
• 循環群およびモノイドの性質を用いて、圧縮データの逆転可能性と効率的な復号を保証する。
• 2次元CA変換を画像ブロックに対して繰り返し適用し、吸引子ダイナミクスに基づいた短いシーケンスに符号化する。

実験結果

リサーチクエスチョン

• RQ1 2次元セルオートマトン規則は、代数的構造を備えることで、効率的な画像エンプレッションを可能にするか？
• RQ2 ゼロ境界および周期的境界条件は、2次元CA規則の代数的性質にどのように影響を与えるか？
• RQ3 1次元複数吸引子CAフレームワークは、画像圧縮の文脈で2次元にどの程度一般化可能か？
• RQ4 AND/ORベースの行列演算は、従来のAND-XOR演算に代わってCAベースの圧縮に用いられても、構造的性質を損なわないか？
• RQ5 提案された2次元CAベースのエンプレッションアルゴリズムの圧縮効率および逆転可能性はいかほどか？

主な発見

• 周期的境界条件下での提案された2次元CA規則は有限アーベル巡回群を形成し、代数的逆転可能性と予測可能なダイナミクスを保証する。
• ゼロ境界における2次元CA規則は有限可換巡回モノイドを形成し、圧縮のための構造的基盤を提供する。
• 1次元MACAから2次元への拡張により、制御された吸引子行動を示すCA族の構築が可能となり、画像符号化に適した構造が得られる。
• AND/OR行列乗算演算は、効率的な計算を可能にするとともに、圧縮に必要な代数的閉包を維持する。
• 2次元CAダイナミクスから導出されたコンパクトな状態シーケンスにバイナリ画像を符号化することで、損失なしエンプレッションを実現する。
• 基礎となる代数的CA構造の決定論的かつ逆転可能な性質のおかげで、高い圧縮効率の可能性を示している。