[論文レビュー] Adding digit vectors

Peter Hellekalek|arXiv (Cornell University)|Sep 17, 2012

Digital Image Processing Techniques参考文献 12被引用数 3

ひとこと要約

この論文は、基数 $ b \geq 2 $ の長さ $ m $ の桁ベクトル上でのすべてのアーベル群演算（加法）を調査し、少なくとも $ 2^{m-1} $ 種類の異なる演算が存在することを示している。主な結果は、すべての有効な加法が $ m $ の合成と剰余群 $ \mathbb{Z}/b^t\mathbb{Z} $ の自己同型の合成から生じることであり、素数基数 $ p $ に対しては $ (p-1)(2p-1)^{m-1} $ 種類の異なる加法が得られ、ストリーム暗号やブロック暗号などの暗号的プリミティブの設計空間が著しく拡張されることを示している。

ABSTRACT

In this paper, we study the different possibilities to add two vectors of digits of a given length $m$. Our results show that there are at least $2^{m-1}$ different additions of such vectors, while there exist only two types of addition that we may employ, addition with carry and addition without carry. The proofs of our results are elementary.

研究の動機と目的

• 集合 $ \mathcal{A}_b^m $ を加法に関してアーベル群にするような、$ \mathcal{A}_b^m $ 上のすべての二項演算を分類すること。
• 基数 $ b \geq 2 $ の長さ $ m $ の桁ベクトルに対して、そのような群演算がいくつ存在するかを特定すること。
• ストリーム暗号やブロック暗号の構成に使用可能な、進位付き加法と進位なし加法（XOR）の2種類の標準的タイプ以外に、より多くのタイプの加法が存在するかを調査すること。
• 剰余群 $ \mathbb{Z}/b^t\mathbb{Z} $ の自己同型が、追加の異なる加法演算を生成できるかを検討すること。
• 各桁ブロックごとに加法の種類を変更することで、ストリーム暗号およびブロック暗号における鍵空間の拡大と、混乱および拡散の強化を図るフレームワークを提供すること。

提案手法

• 有限アーベル群の基本定理を用いて、$ \mathcal{A}_b^m $ を $ m $ の合成に基づく巡回群 $ \mathbb{Z}/b^{t_i}\mathbb{Z} $ の直積に分解する。
• 各成分 $ \mathbb{Z}/b^{t_i}\mathbb{Z} $ 上で、整数加法を $ b^{t_i} $ を法として定義し、整数表現に自己同型 $ \sigma $ を適用する可能性を含める。
• 写像 $ \operatorname{int}_b(\mathbf{x}) = \sum_{j=0}^{t-1} x_j b^j $ を用いて桁ベクトルを整数に変換し、$ \mathbb{Z}/b^t\mathbb{Z} $ 上で演算を行い、$ \operatorname{dig}_b $ を用いて元の桁ベクトルに戻す。
• $ \mathbb{Z}/b^t\mathbb{Z} $ の有効な自己同型の数は $ \varphi(b^t) $ であり、ここで $ \varphi $ はオイラーのトーティエント関数である。
• すべての $ m $ の合成と、各成分における自己同型の選択を組み合わせて、異なる群演算の総数を計算する。
• 素数基数 $ p $ に対して閉形式の式 $ (p-1)(2p-1)^{m-1} $ を導出し、一般の $ b $ に対しては $ b^{m} C_b (1 + C_b)^{m-1} $ に一般化する。ここで $ C_b = \prod_{i=1}^s (1 - 1/p_i) $ である。

実験結果

リサーチクエスチョン

• RQ1 桁ベクトル $ \mathcal{A}_b^m $ 上で、アーベル群構造を与える加法は、進位付き加法と進位なし加法（XOR）の2種類より多いタイプが存在するか？
• RQ2 $ m $ の合成と剰余群の自己同型を用いて、$ \mathcal{A}_b^m $ 上に定義可能な異なるアーベル群演算の数はいくつか？
• RQ3 成分群 $ \mathbb{Z}/b^t\mathbb{Z} $ に自己同型を適用することで、顕著に多くの異なる加法演算を生成できるか？
• RQ4 合成と自己同型を考慮した場合、素数基数 $ p $ に対して $ \mathcal{A}_p^m $ 上の異なるアーベル群演算の正確な数はいくつか？
• RQ5 このような演算の数は $ m $ とともにどのように変化するか？ また、これらの演算を暗号の鍵スケジュールの一部として用いる場合、暗号の安全性にどのような影響を与えるか？

主な発見

• 自己同型を考慮しないとしても、$ m $ の合成の数に相当する $ 2^{m-1} $ 種類の異なるアーベル群演算が $ \mathcal{A}_b^m $ 上に存在する。
• 素数基数 $ p $ に対して、$ \mathcal{A}_p^m $ 上の異なるアーベル群演算の総数は $ (p-1)(2p-1)^{m-1} $ である。これは $ m $ の合成と $ \mathbb{Z}/p^{t_i}\mathbb{Z} $ の自己同型から導かれる。
• $ p = 2 $ かつ $ m = 8 $ の場合、異なる加法の数は $ 3^7 = 2187 $ であり、標準的なXORと整数加法のタイプを著しく上回る。
• $ \mathbb{Z}/b^t\mathbb{Z} $ の自己同型の数は $ \varphi(b^t) $ であり、これは乗法的であり、$ b $ の素因数分解に依存する。
• 一般の基数 $ b $ に対して、異なる加法の総数は $ b^m C_b (1 + C_b)^{m-1} $ である。ここで $ C_b = \prod_{i=1}^s (1 - 1/p_i) $ であり、$ p_i $ は $ b $ の異なる素因数である。
• この構成により、各桁ブロックごとに加法の種類を変更することで、暗号システムの鍵空間を大きく構造的に拡大でき、混乱と拡散が強化される。