[논문 리뷰] On solving a restricted linear congruence using generalized Ramanujan sums

K Vishnu Namboothiri|arXiv (Cornell University)|2017. 08. 15.

Advanced Mathematical Identities참고 문헌 10인용 수 3

한 줄 요약

이 논문은 E. Cohen의 프레임워크에서 유도된 일반화된 Ramanujan 합 $c_{r,s}(n)$와 함께 일반화된 gcd 조건 $(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$는 각 일반화된 gcd 집합에 속하는 변수의 수를 세는 값이다.

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.

연구 동기 및 목표

• 기존의 제한된 선형 합동에 대한 연구를 표준 gcd 조건에서 $(x_i, n^s)_s = d_i^s$ 형태의 일반화된 gcd 조건으로 확장한다.
• 이러한 일반화된 gcd 제약 조건 하에서 $x_1 + \cdots + x_k \equiv b \pmod{n^s}$에 대한 해의 수를 위한 통합된 공식을 개발한다.
• 유한 푸리에 분석을 통해 일반화된 Ramanujan 합 $c_{r,s}(n)$이 이러한 합동을 해결하는 데 효과적으로 활용될 수 있음을 보여준다.
• 비선형 합동 및 산술 함수 문제에 대한 향후 접근법에 영향을 줄 수 있는 일반화를 제공한다.

제안 방법

• 표준 gcd를 확장하여, $a$와 $b$를 모두 나누는 가장 큰 $s$-제곱수로 일반화된 gcd $(a,b)_s$를 정의한다.
• 일반화된 Ramanujan 합 $c_{r,s}(n) = \sum_{\substack{j=1 \\ (j,r^s)_s=1}}^{r^s} e\left(\frac{nj}{r^s}\right)$를 정의하며, 이는 Möbius 함수를 통한 알려진 산술 공식을 가진다.
• 일반화된 gcd 제약 조건을 만족하는 해의 특성 함수에 대해 유한 푸리에 변환 기법을 적용한다.
• 지수 합의 주기성과 정규성 조건을 이용하여, 약수 $d \mid n$에 대한 합산을 통해 해의 수를 유도한다.
• 해의 수를 약수 $d \mid n$에 대한 가중합으로 표현하며, 이는 $c_{d,s}(b)$와 각 $g_j$ 제곱수에 올린 일반화된 Ramanujan 합의 곱으로 구성된다. 여기서 $g_j$는 각 gcd 집합에 속하는 변수의 수이다.
• 구체적인 예시를 통한 공식 검증: $x_1 + x_2 \equiv 5 \pmod{16}$ 이며, $g_1=1, g_2=1, g_3=0$ 일 때, 공식은 3개의 해를 도출하며, 직접 세는 방식과 일치한다.

실험 결과

연구 질문

• RQ1 표준 gcd 조건이 $(x_i, n^s)_s = d_i^s$ 형태의 일반화된 gcd 조건으로 대체될 경우, 제한된 선형 합동 $x_1 + \cdots + x_k \equiv b \pmod{n^s}$의 해의 수는 어떻게 일반화될 수 있는가?
• RQ2 일반화된 Ramanujan 합 $c_{r,s}(n)$이 이러한 일반화된 제한된 합동에 대해 닫힌 형태의 해를 유도하는 데 효과적으로 활용될 수 있는가?
• RQ3 유한 푸리에 변환은 일반화된 gcd 제약 조건 하에서 해 공식을 유도하는 데 어떤 역할을 하는가?
• RQ4 해당 공식은 $s=1$일 때 기존 결과(예: Bibak 등 [1])로 축소되는가?
• RQ5 이 프레임워크는 비선형 합동 또는 기타 산술 문제를 해결하는 데로 확장될 수 있는가?

주요 결과

• $g_j$개의 변수가 $(x_i, n^s)_s = d_j^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}$로 주어진다.
• 공식은 $s=1$일 때 Bibak 등 [1]의 기존 결과로 축소되어 이전 연구와의 일관성을 확인한다.
• 예시 $n^s = 16$, $b=5$, $k=2$, $g_1=1$, $g_2=1$, $g_3=0$에 대해 공식은 $48/16 = 3$개의 해를 계산하며, 직접 세는 방식과 일치한다.
• 일반화된 Ramanujan 합 $c_{r,s}(n)$은 $c_{r,s}(n) = \sum_{d|r, d^s|n} \mu(r/d) d^s$를 만족하여 효율적인 평가가 가능하다.
• 유도 과정은 일반화된 gcd 함수의 $n^s$-주기성과 지수 합의 정규성 조건에 기반한다.
• 기존의 클래스적 경우를 초월하여 Ramanujan 합의 사용을 일반화하는 데 성공하였으며, 수론 및 암호학 분야에서 더 넓은 응용을 위한 프레임워크를 제공한다.