[論文レビュー] On solving a restricted linear congruence using generalized Ramanujan sums

K Vishnu Namboothiri|arXiv (Cornell University)|Aug 15, 2017

Advanced Mathematical Identities参考文献 10被引用数 3

ひとこと要約

この論文は、E. コーエンの枠組みから導かれる一般化されたラマヌジャン和 $c_{r,s}(n)$ と一般化された最大公約数条件 $(x_i, n^s)_s = d_i^s$ を導入することで、制限付き線形合同式に関する先行研究を一般化している。$x_1 + \cdots + x_k \equiv b \pmod{n^s}$ の解の個数に対する閉形式の公式を、$\frac{1}{n^s}\sum_{d|n} c_{d,s}(b) \prod_{j=1}^{\tau(n)} \left(c_{\frac{n}{d_j},s}(\frac{n^s}{d^s})\right)^{g_j}$ として確立している。ここで $g_j$ は各一般化された最大公約数類に属する変数の数を表す。

ABSTRACT

Consider the linear congruence equation $x_1+\ldots+x_k \equiv b\,( ext{mod } n)$ for $b,n\in\mathbb{Z}$. By $(a,b)_s$, we mean the largest $l^s\in\mathbb{N}$ which divides $a$ and $b$ simultaneously. For each $d_j|n$, define $\mathcal{C}_{j,s} = \{1\leq x\leq n^s | (x,n^s)_s = d^s_j\}$. Bibak et al. gave a formula using Ramanujan sums for the number of solutions of the above congruence equation with some gcd restrictions on $x_i$. We generalize their result with generalized gcd restrictions on $x_i$ by proving that for the above linear congruence, the number of solutions is $$\frac{1}{n^s}\sum\limits_{d|n}c_{d,s}(b)\prod\limits_{j=1}^{τ(n)}\left(c_{\frac{n}{d_j},s}(\frac{n^s}{d^s}) ight)^{g_j}$$ where $g_j = |\{x_1,\ldots, x_k\}\cap \mathcal{C}_{j,s}|$ for $j=1,\ldots τ(n)$ and $c_{d,s}$ denote the generalized ramanujan sum defined by E. Cohen.

研究の動機と目的

• 標準的な最大公約数条件に基づく制限付き線形合同式の先行研究を、$(x_i, n^s)_s = d_i^s$ の形をとる一般化された最大公約数条件に拡張すること。
• これらの一般化された最大公約数制約下で、$x_1 + \cdots + x_k \equiv b \pmod{n^s}$ の解の個数を統一的な公式で表すこと。
• 有限フーリエ解析を用いて、一般化されたラマヌジャン和 $c_{r,s}(n)$ がこのような合同式を解くのに効果的に用いられることを示すこと。
• 非線形合同式や算術関数の分野における今後のアプローチに役立つ一般化を提供すること。

提案手法

• 標準的な最大公約数を拡張し、$a$ と $b$ の両方に共通して割り切れる最大の $s$ 乗数を表す一般化された最大公約数 $(a,b)_s$ を定義する。
• 一般化されたラマヌジャン和 $c_{r,s}(n) = \sum_{\substack{j=1 \\ (j,r^s)_s=1}}^{r^s} e\left(\frac{nj}{r^s}\right)$ を定義し、ムビウス関数を用いた既知の算術的公式を提示する。
• 一般化された最大公約数制約を満たす解の特性関数に有限フーリエ変換を適用する。
• 指数和の周期性と直交性を用い、解の個数を $d \mid n$ の各除数についての和として導出する。
• 解の個数を、$d \mid n$ についての重み付き和として表現し、$c_{d,s}(b)$ と、各最大公約数類に属する変数の数 $g_j$ のべき乗をとった一般化されたラマヌジャン和の積を含む形で表す。
• 具体的な例（$x_1 + x_2 \equiv 5 \pmod{16}$ で $g_1=1, g_2=1, g_3=0$）を用いて公式を検証し、3つの解が得られ、直接数え上げと一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 $(x_i, n^s)_s = d_i^s$ のような一般化された最大公約数条件に置き換えた制限付き線形合同式 $x_1 + \cdots + x_k \equiv b \pmod{n^s}$ の解の個数をどのように一般化できるか？
• RQ2 一般化されたラマヌジャン和 $c_{r,s}(n)$ は、このような一般化された制限付き合同式に対して閉形式の解を得るために効果的に用いることができるか？
• RQ3 有限フーリエ変換は、一般化された最大公約数制約下での解の公式を導出する際に果たす役割は何か？
• RQ4 $s=1$ の場合に、この新しい公式は既知の結果（例：Bibakら[1]）にどのように還元されるか？
• RQ5 この枠組みは、非線形合同式や他の算術的問題を解くために拡張可能か？

主な発見

• $x_1 + \cdots + x_k \equiv b \pmod{n^s}$ を満たし、$g_j$ 個の変数が $(x_i, n^s)_s = d_j^s$ を満たす解の個数は、$\frac{1}{n^s}\sum_{d|n} c_{d,s}(b) \prod_{j=1}^{\tau(n)} \left(c_{\frac{n}{d_j},s}(\frac{n^s}{d^s})\right)^{g_j}$ で与えられる。
• 公式は $s=1$ のとき、Bibak ら[1] の既知の結果に還元され、先行研究と整合性が確認される。
• 例として $n^s = 16$, $b=5$, $k=2$, $g_1=1$, $g_2=1$, $g_3=0$ を用いると、公式により $48/16 = 3$ 個の解が得られ、直接数え上げと一致する。
• 一般化されたラマヌジャン和 $c_{r,s}(n)$ は $c_{r,s}(n) = \sum_{d|r, d^s|n} \mu(r/d) d^s$ を満たし、効率的な評価が可能である。
• 導出は、一般化された最大公約数関数の $n^s$-周期性と指数和の直交性に依存している。
• この方法により、古典的状況を超えてラマヌジャン和を一般化して用いることが成功し、数論や暗号理論におけるより広範な応用のための枠組みが提供された。