[論文レビュー] Periodic orbits of the ensemble of cat maps and pseudorandom number generation

Lev Barash, Lev Shchur|arXiv (Cornell University)|Sep 14, 2004

Chaos-based Image/Signal Encryption参考文献 12被引用数 1

ひとこと要約

本稿では、2次元トーラス上の双曲的自己同型（cat maps）の集合を用いた高品質な擬似乱数生成器（PRNG）を提案する。単一マップ実装に内在する誤った相関を抑制するための隠れ変数を導入している。Percival-Vivaldi理論を一般化し、周期を解析的に導出することで、漸近的に無視できるほどの相関を実現し、標準的な統計的検定を通過する。これにより、乱雑性の質と暗号的セキュリティの両方が向上する。

ABSTRACT

We propose a method for constructing high-quality pseudorandom number generators (RNG) based on an ensemble of hyperbolic automorphisms of the unit two-dimensional torus (Sinai-Arnold map, or cat map) while keeping a part of the information hidden. The single cat map provides the random properties expected from a good RNG and is hence an appropriate building block for an RNG, although some unnecessary correlations are always present in practice. We show that hidden variables suppress these correlations dramatically. Simultaneously, introducing hidden variables complicates deciphering. Relevant correlations for a single cat map are found by the one-dimensional directed random walk test. We analyze the nature of these correlations and show how to diminish them asymptotically. We generalize Percival-Vivaldi theory in the case of the ensemble of maps, find the period of the proposed RNG analytically, and also analyze its properties. We check our predictions numerically. We also test our RNG using a number of standard statistical tests and find no correlations.

研究の動機と目的

• 単一catマップに基づく擬似乱数生成器（PRNG）に根ざした持続的な相関を是正すること。これは、実用的な乱雑性の質を制限する要因である。
• 逆方向に解析を困難にする隠れ変数を導入することで、決定的ダイナミクスを維持したまま暗号的セキュリティを向上させること。
• Percival-Vivaldi理論をcatマップの集合へ一般化し、解析的に周期を計算すること。
• 数値シミュレーションと標準的な統計的検定を通じて理論的予測を検証すること。
• 隠れ変数が単一マップ系で観察される相関を漸近的に小さくするかどうかを示すこと。

提案手法

• 本手法は、2次元単位トーラス上で作用するSinai-Arnold（cat）マップの集合を用いる。各マップは整数行列で表され、行列式が1の線形的双曲的自己同型である。
• 反復の過程で、状態変数の一部を隠し、システムの完全なダイナミクスを効果的にマスキングすることで、検出可能な相関を低減する。
• 隠れ変数を用いてPRNG出力列を構築し、標準的なテストにおいて真の乱雑性と区別できない統計的性質を達成する。
• Percival-Vivaldi理論の集合への拡張を用いて、生成器の周期を解析的に導出することで、長く予測可能なサイクル長を保証する。
• 単一マップ系における相関は、一様な方向性を持つランダムウォークテストにより分析され、乱雑性からの系統的逸脱を特定する。
• 決定的ダイナミクスと情報理論的隠蔽を組み合わせることで、単純さ、効率性、および乱雑性の質のバランスを図る。

実験結果

リサーチクエスチョン

• RQ1 単一catマップPRNGにおける相関はどのように現れるのか。また、それらは体系的に低減可能か。
• RQ2 隠れ変数を導入することで、出力列の統計的性質にどのような影響を与えるか。
• RQ3 catマップの集合の周期は解析的に計算可能か。また、システムパラメータの増大に伴い、どのようにスケーリングされるか。
• RQ4 隠れ変数は、マップの決定的構造を損なわず、相関をどれほど効果的に抑制できるか。
• RQ5 提案された集合手法は、標準的な統計的乱雑性テストにおいて、どの程度の性能を示すか。

主な発見

• 集合における隠れ変数は、catマップダイナミクスにおける誤った相関を顕著に抑制し、統計的偏差が漸近的に無視できるほど小さくなる。
• 提案されたPRNGの周期は、Percival-Vivaldi理論の拡張版を用いて解析的に導出されており、長く予測可能なサイクル長を保証する。
• 本手法は、乱雑性のためのすべての標準的統計的検定に合格しており、出力列に検出可能な相関がないことを示している。
• 一様な方向性を持つランダムウォークテストは、単一マップ系における相関を効果的に特定でき、隠れ変数の導入の必要性を検証した。
• 集合的アプローチは、決定的で低複雑性のダイナミクスを維持しながら、乱雑性の質と cryptanalysis に対する耐性を顕著に向上させる。
• 理論的解析と数値シミュレーションにより、相関抑制が有効であり、かつ大規模システムの極限において漸近的であることが確認された。