Small values of Carmichael's lambda function

Paul Pollack의 "Small Values of Carmichael's $\lambda$-Function"에 관한 기술적 요약

문제 정의
본 논문은 $(\mathbb{Z}/n\mathbb{Z})^\times$의 지수를 나타내는 카마이클의 $\lambda$-함수, $\lambda(n)$의 "중간" 값들의 분포를 조사한다. $\lambda(n)$의 최대 차수(소수의 경우 $n-1$)는 자명하며, 전형적인 차수(Erdős, Pomerance, Schmutz가 거의 모든 $n$에 대해 $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$임을 보임) 또한 잘 알려져 있으나, 전형적인 크기보다는 작지만 최소 차수보다는 큰 값을 갖는 분포는 연구가 미진한 상태이다.

연구의 핵심 대상인 계수 함수 $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$는 $y$가 $x$에 비해 "적당히" 큰 범위에서, 특히 다음을 만족하는 $y$에 대해 $L(x, y)$의 $\log L(x, y)$에 대한 점근적으로 정밀한 상한을 설정하는 것을 목표로 한다:
$$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon})$$
여기서 $\log_k$는 자연로그의 $k$번 반복을 의미한다.

방법론
증명 전략은 $y$의 범위에 따라 엄격한 상한을 확립하는 것과 특정 가설(이동된 소수에 관한 가설)을 가정하여 조건부 하한을 확립하는 것으로 나뉜다.

1. 작은 $y$에 대한 상한:
   $\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$ 범위에 대해, 저자는 Erdős와 Pomerance의 기법을 응용한다. 핵심 논리는 고정된 $\lambda(n) = m$을 갖는 $x$ 이하의 정수 $n$의 개수를 제한하기 위해 **Rankin의 트릭(Rankin's trick)**을 사용하는 것이다. $n$의 모든 소인수 $p$에 대하여 $p-1 \mid m$이라는 조건을 분석함으로써, 저자는 함수 $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$를 포함하는 지수적 상한을 도출한다.

2. 하한 (조건부):
   상한이 정밀함을 보이기 위해, 본 논문은 이동된 소수의 파워스무스(powersmooth) 분포에 관한 특정 가설인 **가설 U(Hypothesis U)**를 가정한다. 이 가설은 $p \le x$인 소수 $p$ 중 $p-1$을 나누는 가장 큰 소수의 거듭제곱이 최대 $y$인 소수의 개수가 $x$까지의 $y$-파워스무스 정수의 개수와 유사하게 행동한다는 내용을 담고 있다.

• 작은 $y$의 경우, 저자는 $p-1$이 파워스무스인 소수 $p$들의 곱을 형성함으로써 "인기 있는(popular)" $\lambda(n)$ 값들을 구성하며, 이는 오일러의 $\phi$-함수에 관한 Erdős와 Pomerance의 논의를 변형한 것이다.
• 큰 $y$의 경우(구체적으로 $y \ge \mathcal{L}(x)^2$), 충분히 많은 $\lambda(n)$을 갖는 $n$의 존재를 입증하기 위해 정수 쌍 $(a, b)$를 이용한 다른 구성을 사용한다.

3. 큰 $y$에 대한 상한:
   이 논문의 가장 참신한 기여는 큰 $y$(최대 $x/\exp((\log_2 x)^{1+\varepsilon})$까지)에 대한 엄격한 상한을 제공하는 것이다. 이 섹션은 오일러의 $\phi$-함수의 역상(preimage) 및 인수 분해 계수 함수에 관한 이전 연구들의 방법을 재검토하고 정교화한다.

• 증명은 정수의 소인수 분해 특성에 기반하여 정수들을 상세하게 계층화하는 과정을 포함한다.
• 이는 곱셈적 합성(multiplicative compositions)(순서가 있는 인수 분해)과 이러한 합성의 개수를 나타내는 $g_w(n)$에 대한 상한을 활용한다.
• 핵심 보조정리들은 밀도가 $x^{1-\beta}$인 정수 집합 $S$에 대하여, 곱셈적 합성의 합이 $x/\mathcal{L}(x)^\beta$로 제한됨을 확립한다.
• 논의는 문제를 제곱 자유(squarefree) 정수를 세는 문제로 환원하며, Brun-Titchmarsh 부등식과 정수의 근호(radical) 성질을 사용하여 $\phi(n)/\lambda(n)$이 특정 이중 구간(dyadic intervals)에 속하는 $n$의 개수를 제한한다.

주요 결과
주요 결과는 지정된 영역에서 $L(x, y)$의 상한을 제공하는 정리 1.1이다. $\mathcal{L}(x) = \exp\left(\frac{\log x \log_3 x}{\log_2 x}\right)$라고 할 때, $x \to \infty$에 대하여:
$$\frac{L(x, y)}{x} \le \begin{cases} \mathcal{L}(x/y)^{-1+o(1)} & \text{if } y \ge \mathcal{L}(x)^2, \\ \mathcal{L}(x, y)^{-1+o(1)} & \text{otherwise.} \end{cases}$$
본 논문은 가설 U 하에서 이러한 상한들이 점근적으로 정밀함(즉, 등호가 성립함)을 주장한다.

곱셈적 차수에 대한 적용
직접적인 응용으로서, 본 논문은 $n$에 대한 2의 곱셈적 차수(multiplicative order), 즉 $l(n)$이 작은 홀수 $n \le x$의 개수에 대한 새로운 상한을 도출하는 따름정리 1.2를 제시한다.
구체적으로, 임의의 고정된 $\delta > 0$와 $\beta \ge 0$에 대하여:
$$\#\{ \text{odd } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$$
이 결과는 기존의 지식(지수 $\beta$가 $1/2$보다 유의미하게 낮은 경우 비자명한 상한을 설정할 수 없었던 점)을 개선한다. 저자는 상한에 $1/2 - \beta$라는 지수가 등장하지만, "올바른" 버전은 아마도 $1 - \beta$일 것이며, 이를 위해서는 작은 곱셈적 차수를 갖는 소수의 분포에 대한 추가적인 연구가 필요할 것이라고 언급한다.

의의 및 주장
본 논문은 $\lambda(n)$의 중간 값 분포에 대한 최초의 정밀한 점근적 상한을 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 간극 메우기: 전형적인 차수와 최소 차수 사이의 간극을 메운다. 이 영역은 기존 문헌에서 정량화되지 않았던 영역이다.
2. 정밀성: 결과는 의사 소수(pseudoprimes)와 관련된 헤우리스틱 원리와 관련 연구에 의해 뒷받침되는 타당한 가설(가설 U) 하에서 점근적으로 정밀하다.
3. 방법론적 참신함: 큰 $y$에 대한 상한 증명은 곱셈적 합성 및 인수 분해 계수 계산을 포함하는 정교한 기법을 도입하며, 저자는 이것이 오일러의 $\phi$-함수의 인기 있는 값들의 분포와 같은 다른 해석적 정수론 문제에도 적용될 수 있음을 시사한다.
4. 차수에 대한 적용: $l(n)$에 관한 따름정리는 작은 곱셈적 차수의 빈도에 대한 가장 강력한 상한을 제공하며, 지수 $1/2$이 장벽이었던 기존의 오랜 한계를 해결한다.

저자는 하한의 조건부 성격과 $l(n)$에 대한 적용에서 지수를 개선할 가능성에 대해, "올바른" 지수를 증명하기 위해서는 현재의 지식으로는 추가적인 가설 없이는 불가능하다는 점을 들어 겸허한 어조를 유지한다.