[論文レビュー] A generalization of Menon's identity

Marius Tărnăuceanu|arXiv (Cornell University)|Sep 10, 2011

Graph theory and applications参考文献 7被引用数 15

ひとこと要約

この論文は、$GL_r(\mathbb{Z}_n)$ 内の上三角行列のなす群による $\mathbb{Z}_n^r$ への作用にバーンサイドの補題を適用することで、メンオンの恒等式を一般化する。$\tau_r(n)$ と呼ばれる反復除数関数を含む新しい恒等式を導出し、群論的および算術的技法を用いて、古典的なメンオンの恒等式を高次元へと拡張する。

ABSTRACT

In this note we give a generalization of the well-known Menon's identity. This is based on applying the Burnside's lemma to a certain group action.

研究の動機と目的

• 群作用を用いてメンオンの古典的恒等式を高次元の算術的設定へと拡張すること。
• $\gcd(n, a-1)$ の和を、上三角行列を含む多次元設定へと一般化すること。
• 群作用の軌道数と乗法的算術関数 $\tau_r(n)$ を結びつける新しい恒等式を確立すること。
• バーンサイドの補題を用いて、数論における恒等式を統一的に導出するフレームワークを提供すること。

提案手法

• 群 $G$（$GL_r(\mathbb{Z}_n)$ 内の上三角行列からなる群）が集合 $X = \mathbb{Z}_n^r$ に作用するものとして、バーンサイドの補題を適用する。
• 軌道数 $N$ を、$N = \frac{1}{|G|} \sum_{g \in G} |X^g|$ により計算し、この作用における異なる軌道の数とする。
• 各群元 $g$ に対して固定点 $X^g$ を特徴づけ、$|X^g|$ の大きさを $r$ 個の最大公約数の積として導出する。
• $r$ に関する帰納法を用い、$r=1$ の場合が元のメンオンの恒等式に戻ることを確認する。
• $\tau_r(n)$ をディリクレ畳み込みにより再帰的に定義する：$\tau_r(n) = \sum_{d|n} \tau_{r-1}(d)$、ただし $\tau_1(n) = \tau(n)$。
• 軌道の型と因子の鎖の間の双対写像を確立し、$N = \tau_r(n)$ が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 群作用を用いてメンオンの恒等式を高次元の算術的設定へ一般化できるか？
• RQ2 上三角行列群が $GL_r(\mathbb{Z}_n)$ に作用するときの軌道空間の構造は何か？
• RQ3 軌道の数は、$\tau_r(n)$ のような乗法的算術関数とどのように関係するか？
• RQ4 バーンサイドの補題は、乗法的数論における新しい恒等式を導出するために効果的に適用可能か？

主な発見

• 一般化された恒等式は $\sum_{g \in G} \prod_{k=1}^r d_k = n^{r(r-1)/2} \varphi(n)^r \tau_r(n)$ であり、$G$ は $GL_r(\mathbb{Z}_n)$ 内の上三角行列の群である。
• $r=1$ の場合、この恒等式は古典的なメンオンの恒等式に還元される：$\sum_{a \in U(\mathbb{Z}_n)} \gcd(n, a-1) = \varphi(n) \tau(n)$。
• 軌道数 $N$ は $\tau_r(n)$ に等しく、$\delta_1 \mid n$、$\delta_2 \mid n/\delta_1$、…、$\delta_r \mid n/(\delta_1 \cdots \delta_{r-1})$ を満たす因子の鎖の数として計算される。
• 群元 $g$ に対する固定点集合 $|X^g|$ の大きさは、$\prod_{k=1}^r d_k$ で与えられ、各 $d_k$ は $g$ の成分と $n$ との関係を含む最大公約数の式である。
• $\tau_r(n)$ の再帰的構造は、軌道数によって確認され、$\tau_r(n) = \sum_{\delta_1 \mid n} \sum_{\delta_2 \mid n/\delta_1} \cdots \sum_{\delta_{r-1} \mid n/\delta_1 \cdots \delta_{r-2}} \tau(n / (\delta_1 \cdots \delta_{r-1}))$ が成り立つ。
• $r=2$ の場合の $N$ の明示的公式は、$n = \prod_{i=1}^s p_i^{\alpha_i}$ に対して $N = \frac{1}{2^s} \prod_{i=1}^s (\alpha_i + 1)(\alpha_i + 2)$ である。