アーノルドの猫写像

数学におけるアーノルドの猫写像（アーノルドのねこしゃぞう、）は、トーラスからそれ自身へのあるカオス写像で、1960年代に猫の画像を使ってその効果を示したウラジーミル・アーノルドの名にちなむ。
商空間 formula_1 としてのトーラス formula_2 を考える。アーノルドの猫写像は、次の式で与えられる変換 formula_3 である：
また同値であるが、行列を使うと次のように表すことも出来る：
すなわち、単位長は正方形の像の幅と等しいものとして、この像は 1 単位上にせん断された後、1 単位右にせん断され、単位正方形の外側にあるものはすべてその内側に来るように戻される。
離散猫写像.
上述の写像と同様に、離散的な猫写像を定義することが出来る。そのような写像の特徴の一つとして、画像は一見ランダムに変換されるように見えるが、多くのステップを経て元の状態に戻る、というものが挙げられる。右図の画像に見られるように、元の猫の画像はせん断され、変換の第一の反復において回転される。その後何回かの反復で現れる画像はランダムあるいは無秩序なもののように見え、さらに何回かの反復で秩序のある猫の幽霊のような画像、すなわち繰り返された構造における小さい複数のコピーや、上下逆のものなどが現れ、最終的に元の画像に戻る。
このような離散猫写像は、円周 "N" の円環上での状態 "q"t (0 ≤ "q"t < N) から状態 "q"t+1 へのホップする玉の離散ダイナミクスとして、次の二階方程式により従うものに対応する相空間フローとして表現される：
モーメント変数 "p"t = "q"t - "q"t-1 を定義すると、上述の二階方程式によるダイナミクスは、正方形 0 ≤ "q", "p" < "N"（離散力学系の相空間）からそれ自身への写像として次のように書き換えられる：
このアーノルドの猫写像は、カオス系に典型的な混合挙動を示す。しかし、この変換の行列式は 1 に等しいので、写像は面積保存かつ可逆であり、その逆変換は次のように得られる：
実変数 "q" と "p" に対し、"N" = 1 と定めることはよく行われる。そのような場合、周期境界を持つ単位正方形からそれ自身への写像が結果として得られる。
N が整数値である場合、位置変数およびモーメント変数も整数に制限され、猫写像は点のトーラス状の正方格子からそれ自身への写像となる。そのような整数猫写像は、デジタル画像を活用するポアンカレ再帰を伴う混合挙動を示すために幅広く用いられている。画像を元に戻すために必要となる反復の回数は 3N を超えないことが示されている。
ある画像に対して、各反復の間の関係は次のように表現できる：