[論文レビュー] The Arithmetic of Carmichael Quotients

Min Sha|arXiv (Cornell University)|Aug 12, 2011

Mathematical Dynamics and Fractals参考文献 15被引用数 4

ひとこと要約

本稿では、Carmichael関数 $ \lambda(m) $ を用いて、フェルマー商およびオイラー商を一般化する新たな商、Carmichael商 $ C_m(a) = \frac{a^\lambda(m) - 1}{m} $ を導入する。整数論的性質、特に合同式や周期性を明らかにし、$ C_m(a) \equiv 0 \pmod{m} $ を満たすCarmichael-Wieferich数を定義し、暗号における完全非線形関数と関連付ける。$ f_m(x) = \phi_m(x) $ が完全非線形であるための必要十分条件は、$ m $ が素数であることであることを示す。

ABSTRACT

Carmichael quotients for an integer $m\ge 2$ are introduced analogous to Fermat quotients, by using Carmichael function $λ(m)$. Various properties of these new quotients are investigated, such as basic arithmetic properties, sequences derived from Carmichael quotients, Carmichael-Wieferich numbers, and so on. Finally, we link Carmichael quotients to perfect nonlinear functions.

研究の動機と目的

• Carmichael関数 $ \lambda(m) $ を用いた新たな商を導入することで、フェルマー商およびオイラー商を一般化すること。
• この新たな商の基本的整数論的性質、特に導出される数列の合同式および周期性を調査すること。
• Carmichael-Wieferich数（$ C_m(a) \equiv 0 \pmod{m} $ を満たす数）を定義し、Wieferich素数と関連付けること。
• Carmichael商と暗号における完全非線形関数との間の関係を確立すること。

提案手法

• $ \gcd(a,m) = 1 $ のもとで、Carmichael関数 $ \lambda(m) $ を用いてCarmichael商 $ C_m(a) = \frac{a^{\lambda(m)} - 1}{m} $ を定義する。
• 基本的な合同式を証明する：$ C_m(ab) \equiv C_m(a) + C_m(b) \pmod{m} $ および $ C_m(a + km^\alpha) \equiv C_m(a) + \frac{k\lambda(m)}{a}m^{\alpha-1} \pmod{m^\alpha} $。
• $ p $-進付値 $ \mathrm{ord}_p(C_m(a)) = e(m,p) + \sigma(a,p) $ を用いて、$ C_m(a) $ の構造を分析する。
• 数 $ m $ が底 $ a $ に対してCarmichael-Wieferich数であるための基準を確立する：$ m $ を割る各素数冪 $ p_j^{r_j} $ に対して $ e(m,p_j) + \sigma(a,p_j) \geq r_j $ が成り立つこと。
• $ \gcd(x,m) \neq 1 $ の場合に $ \phi_m(x) = 0 $ と定義することで、$ \mathbb{Z}/m^2\mathbb{Z} \to \mathbb{Z}/m\mathbb{Z} $ への関数 $ f_m: \mathbb{Z}/m^2\mathbb{Z} \to \mathbb{Z}/m\mathbb{Z} $ を $ \phi_m(x) $ を用いて定義する。
• ファイバーのサイズに関する数え上げ論法を用いて、$ f_m $ が完全非線形であるための必要十分条件が $ m $ が素数であることであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Carmichael商はフェルマー商およびオイラー商をどのように一般化するのか。また、それらが継承する整数論的性質は何か。
• RQ2 合成数 $ m $ が $ C_m(a) \equiv 0 \pmod{m} $ を満たす、すなわちCarmichael-Wieferich数であるための必要十分条件は何か。
• RQ3 Carmichael商を用いて完全非線形関数を構成できるか。このような構成を可能にする条件は何か。
• RQ4 Carmichael-Wieferich数とWieferich素数の存在との間に何らかの関係があるか。

主な発見

• Carmichael商は $ C_m(ab) \equiv C_m(a) + C_m(b) \pmod{m} $ を満たし、フェルマー商に見られる加法的性質を一般化する。
• $ m \geq 3 $ のとき、$ \sum_{k=0}^{m-1} C_m(a + km) \equiv 0 \pmod{m} $ が成り立つ。これは、$ C_m $ から導かれる数列における周期的キャンセルを示している。
• $ C_m(a) $ の $ p $-進付値は $ \mathrm{ord}_p(C_m(a)) = e(m,p) + \sigma(a,p) $ で与えられ、ここで $ e(m,p) $ は $ m $ における $ p $ の指数、$ \sigma(a,p) $ は $ a^{p-1} - 1 $ の $ p $-進付値である。
• 数 $ m $ が底 $ a $ に対してCarmichael-Wieferich数であるための必要十分条件は、$ m $ を割る各素数冪 $ p_j^{r_j} $ に対して $ e(m,p_j) + \sigma(a,p_j) \geq r_j $ が成り立つことである。
• 合成数 $ m $ が底 $ a $ に対してCarmichael-Wieferich数であり、かつ奇素数因子を持つならば、その素数は $ a $ を底とするWieferich素数でなければならない。
• 関数 $ f_m(x) = \phi_m(x) $ が完全非線形であるための必要十分条件は $ m $ が素数であることである。これにより、計算上の利点を持つ新たな完全非線形関数のクラスが得られる。