[논문 리뷰] On a symmetric congruence and its applications

M. Z. Garaev, A. A. Karatsuba|ArXiv.org|2005. 03. 08.

Analytic Number Theory Research참고 문헌 9인용 수 4

한 줄 요약

이 논문은 특정 잔차 집합에 제약을 받는 네 개의 변수를 포함한 대칭 합동식에 대한 해의 수에 대한 渐近 공식을 수립한다. 이 결과는 지수 함수를 포함한 이중 삼각합에 대한 새로운 경계를 제공하며, 특히 모듈로 $ m $에서 곱셈표의 이미지 집합 크기의 추정치를 크게 향상시킨다. 이는 길이가 $ \sim \Delta m^{1/2} \sqrt{m/\phi(m)} \log m $인 간격이 $ (1+O(\Delta^{-1}))m $개의 잔차 클래스를 덮음을 보여주며, 곱셈표 문제에서의 예외 집합에 응용된다.

ABSTRACT

For a large integer $m,$ we obtain an asymptotic formula for the number of solutions of a certain congruence modulo $m$ with four variables, where the variables belong to special sets of residue classes modulo $m.$ This formula are applied to obtain new information on the exceptional set of the multiplication table problem in a residue ring modulo $m$ and a new bound for a double trigonometric sum with an exponential function.

연구 동기 및 목표

• 지정된 잔차 집합에 속하는 변수를 가진 대칭 합동식 $ v_1 y_1 \equiv v_2 y_2 \pmod{m} $ 의 해의 수에 대한 渐近 공식 유도.
• 이 공식을 이용해 소수 모듈로에서 지수 함수를 포함한 이중 삼각합에 대한 개선된 추정치 도출.
• 특히 $ \mathbb{Z}_m $에서 곱셈표의 이미지 집합 크기 분석, 즉 $ x, y $에 대한 구간에서 $ xy \mod m $의 값의 밀도 조사.

제안 방법

• 특정 잔차 집합에서의 변수 $ v_1, v_2 \in \mathcal{V} $, $ y_1, y_2 \in [S+1, S+L] $ 를 가진 합동식 $ v_1 y_1 \equiv v_2 y_2 \pmod{m} $ 의 해 수 $ J $ 에 대한 渐近 공식 유도. 특성합 기법과 약수 함수 추정치를 활용.
• 주요 공식을 활용해 형식 $ \sum_{x \in \mathcal{X}} \left| \sum_{y=K+1}^{K+N} \gamma(y) \mathbf{e}_p(a \lambda^{xy}) \right| $ 의 지수합을 경계화. Weil 유형 경계와 평균화 기법 활용.
• 해 수 계산 결과를 이중 세기와 포함-배제 원리를 통해 $ q \leq m^{1/2} $, $ y \in [S+1, S+\Delta m^{1/2} \sqrt{m/\phi(m)} \log m] $ 인 $ \{ qy \mod m \} $ 의 크기 추정.
• 덧셈 특성의 직교성과 지수합의 0이 아닌 성질을 활용해, 길이 $ \Delta p^{1/2} $ 의 구간에 있는 $ x, y $ 에 대해 $ \{ xy^{-1} \mod p \} $ 가 $ (1+O(\Delta^{-2}))p $ 개의 잔차 클래스를 덮음을 증명.
• 구조화된 구간에서의 곱 $ xy \mod m $ 의 분포 분석을 통해 곱셈표 문제에서의 예외 집합에 대한 경계 설정.
• 곱셈 부분군의 구조와 특성합 추정치를 활용해 $ \mathbb{Z}_p $ 내의 곱집합의 밀도에 대한 이전 결과를 개선.

실험 결과

연구 질문

• RQ1 지정된 집합 $ \mathcal{V} $ 에서 $ v_1, v_2 \in \mathcal{V} $, $ y_1, y_2 \in [S+1, S+L] $ 인 대칭 합동식 $ v_1 y_1 \equiv v_2 y_2 \pmod{m} $ 의 해 수의 渐近 수는 무엇인가요?
• RQ2 이 해 수 계산 결과를 어떻게 활용해 소수 $ p $ 모듈로에서 지수 함수를 포함한 이중 삼각합을 경계화할 수 있나요?
• RQ3 집합 $ \{ xy \mod p \} $ 가 $ \mathbb{Z}_p $ 의 양의 비율을 덮기 위해 $ x $ 와 $ y $ 의 구간 길이는 최소 몇이 되어야 하나요?
• RQ4 모듈로 $ m $ 에서 $ q \leq m^{1/2} $ 인 $ \{ qy \mod m \} $ 이 $ (1+O(\Delta^{-1}))m $ 개의 잔차 클래스를 덮기 위해 필요한 구간 길이는 얼마입니까?
• RQ5 $ \Delta p^{1/2} $ 길이의 구간에서의 비율 사상 $ x/y \mod p $ 의 이미지 집합 크기를 $ \Delta $ 의 함수로 경계화할 수 있나요?

주요 결과

• 합동식 $ v_1 y_1 \equiv v_2 y_2 \pmod{m} $ 의 해 수 $ J $ 는 $ J = \frac{|\mathcal{V}|^2 L^2}{m} + |\mathcal{V}|L - \frac{|\mathcal{V}|L^2}{m} + O\left( \frac{m^2 \log^2 m}{\phi(m)} \right) $ 를 만족하며, 여기서 $ \mathcal{V} $ 는 $ m $ 과 서로소인 $ \leq m^{1/2} $ 이하의 소수 집합이다.
• 이중 삼각합에 대한 새로운 경계가 확립됨: $ \left| \sum_{x=L+1}^{L+M} \sum_{y=K+1}^{K+N} \alpha_x \beta_y \mathbf{e}_p(ag^{xy}) \right| \ll (NM)^{5/8} p^{5/8+o(1)} $, 이는 $ N, M \geq p^{5/6+\varepsilon} $ 일 때 유효하다.
• 집합 $ \{ xy \mod p : 1 \leq x,y \leq p^{1/2} (\log p)^{2+\varepsilon} \} $ 는 모듈로 $ p $ 에서 $ (1+o(1))p $ 개의 잔차 클래스를 포함하며, 고전적 곱셈표 추측의 약한 형태를 확인한다.
• $ \Delta = \Delta(p) \to \infty $ 일 때, 집합 $ \{ qy \mod p : 1 \leq q \leq p^{1/2}, \, 1 \leq y \leq \Delta p^{1/2} \log p \} $ 는 모듈로 $ p $ 에서 $ (1+O(\Delta^{-1}))p $ 개의 잔차 클래스를 포함하며, 이는 거의 최적의 범위임을 보여준다.
• 집합 $ \{ xy^{-1} \mod p : N+1 \leq x \leq N+\Delta p^{1/2}, \, S+1 \leq y \leq S+\Delta p^{1/2} \} $ 는 모듈로 $ p $ 에서 $ (1+O(\Delta^{-2}))p $ 개의 잔차 클래스를 포함하며, 비율 집합에 대한 이전 경계를 향상시킨다.
• 이 방법을 통해 곱셈표 문제에서의 예외 집합에 대한 날카운 경계를 확립: $ q \leq m^{1/2} $, $ y \leq \Delta m^{1/2} \sqrt{m/\phi(m)} \log m $ 인 $ \{ qy \mod m \} $ 의 이미지는 $ \Delta \to \infty $ 일 때 $ (1+O(\Delta^{-1}))m $ 개의 클래스를 덮으며, 이는 $ \Delta \to \infty $ 일 때 성립한다.