[논문 리뷰] On a Generalised Lehmer Problem for Arbitrary Powers

Igor E. Shparlinski|ArXiv.org|2008. 03. 25.

Analytic Number Theory Research참고 문헌 19인용 수 6

한 줄 요약

이 논문은 정수와 그 모듈로 역수의 기수성에 관한 고전적 레이머 문제를 임의의 거듭제곱과 다중 잔여류로 일반화한다. 지수합 추정치—특히 희박한 유리 함수에 대한 경계—를 적용하여, $ n \bmod q $ 가 주어진 산술급수 $ m_j $ 모듈로에 속하는 $ n^{k_j} \bmod q $ 를 만족하는 단위의 수에 대한 점근 공식을 $ O(q^{1-1/s + o(1)}) $ 오차항과 함께 수립한다. 이는 이전 결과의 $ O(q^{3/4 + o(1)}) $ 오차항보다 향상된 것이다.

ABSTRACT

We consider a generalisation of the classical Lehmer problem about the parity distribution of an integer and its modular inverse. We use some known estimates of exponential sums to study a more general question of simultaneous distribution of the residues of any fixed number of negative and positive powers of integers in prescribed arithmetic progressions. In particular, we improve and generalise a recent result of Y. Yi and W. Zhang.

연구 동기 및 목표

• 고전적 레이머 문제—$ n $ 과 그 모듈로 역수 $ \overline{n} $ 의 동시 기수성에 관한 것—을 고차 거듭제곱과 다중 잔여 조건으로 일반화한다.
• 고정된 정수 $ k_j \neq 0 $ 와 $ m_j \geq 1 $ 에 대해, $ n^{k_j} \bmod q $ 가 주어진 산술급수 모듈로 $ m_j $ 에 동시에 분포하는 방식을 연구한다.
• 이전 결과 중 양이와 창의 $ O(q^{3/4 + o(1)}) $ 오차항을 개선하여, 더 날카로운 $ O(q^{1-1/s + o(1)}) $ 오차항을 달성한다.
• 다중 합동 조건을 만족하는 $ n \in \mathcal{U}_q $ 의 수에 대한 점근 공식을 수립한다.
• 지수합 기법—특히 희박한 유리 함수에 대한 경계—의 적용 범위를 곱셈적 수론의 다차원 분포 문제로 확장한다.

제안 방법

• Ramanujan 합을 통한 덧셈적 특성의 수직성에 의해, $ m_j $ 모듈로에서 잔여 조건을 만족하는 해의 수를 표현한다.
• 논문 [8] 의 핵심 지수합 추정치(보조정리 2)를 일반화하여, 임의의 $ d = \gcd(\lambda_1, \dots, \lambda_s) $ 에 대해 $ \sum_{n \in \mathcal{U}_q} \mathbf{e}_q(\sum \lambda_j n^{k_j}) \ll d^{1/s} q^{1 - 1/s + o(1)} $ 형태의 합을 경계한다.
• 중국인의 나머지 정리를 사용하고, 소수 거듭제곱 모듈로에서 지수합의 곱셈적 분해를 통해 문제를 국소적 추정치로 축소한다.
• 기하급수의 경계를 적용한다: $ \left| \sum_{u=0}^U \mathbf{e}_\ell(\mu u) \right| \ll \min\{U, \ell/|\mu|\} $, 그리고 이들의 $ \ell $-합은 $ \sum \ll \ell \log \ell $ 으로 추정한다.
• $ \gcd(\lambda_1, \dots, \lambda_s) = d $ 에 대해 이중 분할을 수행한 후, 약수 함수 추정치 $ \sum_{d \mid q} 1 = q^{o(1)} $ 를 사용하여 총 기여도를 경계한다.
• 특성합 기법과 모듈로 $ q $ 에서의 곱셈군의 구조를 활용하며, $ \gcd(m_j, q) = 1 $ 조건을 통해 잔여 분포의 균일성을 확보한다.

실험 결과

연구 질문

• RQ1 고정된 $ k $ 에 대해, $ n^k \bmod q $ 와 그 역수의 분포에서 오차항을 $ O(q^{3/4 + o(1)}) $ 에서 $ O(q^{1/2 + o(1)}) $ 으로 개선할 수 있는가?
• RQ2 고정된 $ m_1, \dots, m_s $ 에 대해, $ s $-튜플 $ (n^{k_1}, \dots, n^{k_s}) \bmod q $ 가 주어진 잔여류에 동시에 분포할 때 최적의 오차항은 무엇인가?
• RQ3 만약 $ k_j $ 가 임의의 0이 아닌 정수이고 $ m_j $ 가 $ \gcd(m_j, q) = 1 $ 를 만족하는 임의의 모듈로일 경우, $ n^{k_j} \bmod q $ 의 분포는 어떻게 행동하는가?
• RQ4 희박한 유리 함수에 대한 지수합 추정치를 다차원 곱셈적 특성합 문제에 확장하고 적용할 수 있는가?
• RQ5 $ n \in \mathcal{U}_q $ 중에서 모든 $ j $ 에 대해 $ n^{k_j} \equiv a_j \pmod{m_j} $ 를 만족하는 수의 개수가 기대되는 주항등항 $ \varphi(q)/(m_1 \cdots m_s) $ 에 어떻게 수렴하는가? 조건은 무엇인가?

주요 결과

• 논문은 $ N_q(\mathbf{m}, \mathbf{a}; \mathbf{k}) = \frac{1}{m_1 \cdots m_s} \varphi(q) + O(q^{1 - 1/s + o(1)}) $ 형태의 점근 공식을 수립하였으며, 이는 $ \gcd(m_j, q) = 1 $ 이고 고정된 $ \mathbf{k} \in \mathbb{Z}^s $, $ k_j \neq 0 $ 인 모든 $ \mathbf{m}, \mathbf{a} $ 에 대해 균일하게 성립한다.
• 특히 $ s = 2 $, $ m_1 = m_2 = 2 $, $ k_1 = k_2 = k $ 인 경우 오차항이 $ O(q^{3/4 + o(1)}) $ 에서 $ O(q^{1/2 + o(1)}) $ 으로 개선되어 고전적 레이머 문제의 오차 bound와 일치한다.
• 오차항 $ O(q^{1 - 1/s + o(1)}) $ 는 희박한 유리 함수에 대한 지수합의 최고 알려진 경계와 일치하므로 최적임을 입증한다.
• 모든 잔여류 $ a_j \bmod m_j $ 에 대해 균일성을 확보하였으며, 이는 $ \gcd(m_j, q) = 1 $ 라면 주항등항이 정확히 기대되는 균등분포 값임을 보장한다.
• 논문 [8] 의 희박한 유리 함수에 대한 지수합 경계를 사용함으로써, 오차항은 $ k_j $ 의 구체적 값에 관계없이 $ s $ 에만 의존하게 되며, 단지 $ k_j \neq 0 $ 이면 된다.
• 약수 함수 추정치 $ \sum_{d \mid q} 1 = q^{o(1)} $ 는 $ \gcd(\lambda_1, \dots, \lambda_s) = d $ 에 대해 모든 $ d $ 에 대해 합을 구할 때 총 오차를 통제하는 데 핵심적이며, 최종 오차 경계를 이끌어낸다.