[논문 리뷰] Notes de lecture de l'article "Partial sums of the Möbius function" de Kannan Soundararajan

Michel Balazard, Anne de Roton|ArXiv.org|2008. 10. 20.

Analytic Number Theory Research참고 문헌 2인용 수 11

한 줄 요약

이 논문은 리만 가설 하에서 모비우스 함수 $ M(N) = \sum_{n \leq N} \mu(n) $ 의 부분합에 대한 개선된 경계를 캔난 선더라자얀의 증명에 대해 상세히 서술한다. 경로를 변형한 경로적분과 $ \zeta(s)^{-1} $ 의 일반적인 행동에 대한 확률적 추정을 사용하여, 저자들은 $ M(N) \ll_{\varepsilon} \sqrt{N} \exp\bigl((\log N)^{1/2}(\log\log N)^{5/2 + \varepsilon}\bigr) $ 를 확립한다. 이는 이전 결과에서 $ \log\log N $ 의 지수를 14에서 $ 5/2 + \varepsilon $ 로 줄인 것이다. 핵심적 혁신은 $ V $-형질의 순서에 대한 분석을 정교화하고, 모멘트 추정과 제로 밀도 추정을 통해 예외 집합을 제어하는 데 있다.

ABSTRACT

Kannan Soundararajan recently obtained a new estimate, conditional to the Riemann hypothesis, for the summatory function of the Mobius function. In this expository article we describe his method, with detailed computations.

연구 동기 및 목표

• 리만 가설 하에서 모비우스 함수 부분합 $ M(N) $ 에 대한 날카운 경계를 체계적이고 단계적으로 서술하는 것.
• 마이어와 몽고메리가 제안한 방법을 명확히 하고 정교화하는 것—특히 임계선 상에서 $ \zeta(s)^{-1} $ 의 크기를 제어하기 위해 $ V $-형질의 순서를 사용하는 것.
• 오차 항에서 $ \log\log N $ 의 지수를 14에서 $ 5/2 + \varepsilon $ 로 줄일 수 있음을 보이는 것.
• 파rameter $ \delta $ 에 대한 의존성을 명시적으로 밝히고, 그것이 임의로 작아질 수 있음을 보여 최적의 지수를 얻는 것.

제안 방법

• Perron 공식을 사용하여 $ M(N) $ 을 $ \zeta(s)^{-1} $ 의 경로적분으로 표현하고, $ |\zeta(s)^{-1}| $ 이 큰 영역을 피하기 위해 경로를 변형한다.
• 핵심 기법은 $ T \leq t \leq 2T $ 에서의 $ V $-형질의 순서 $ t $ 를 도입하는 것으로, 다음 세 조건을 만족한다: $ \Lambda(n)/n^{\sigma+it} $ 의 유계 합, 짧은 간격 내 제로의 조밀도가 제어되고, 제로 분포의 균일성.
• 저자들은 $ \zeta'(s)/\zeta(s) $ 에 대한 추정과 제로와 소수를 연결하는 구인안-베일 명시 공식을 사용하여 임계선 상에서 $ \log|\zeta(\sigma + it)| $ 의 하한을 유도한다.
• 제로 밀도 추정과 딜리클레 다항식의 모멘트 추정을 통해 예외적(비형질적) 순서의 기여를 제어하며, 이러한 집합이 희박하고 총 측도가 작음을 보인다.
• 적분의 일반적인 점들에서 기인하는 합 $ B_N $ 은 $ V_n $, 즉 $ t_n $ 가 $ (V_n - 1) $-비형질적일 때의 최소 $ V $ 를 기준으로 분할하고 지수 감소 추정을 적용하여 우월하게 제한한다.
• 최종 경계는 매개변수 $ c $ 와 $ \delta $ 에 대해 최적화를 통해 유도되며, 이는 $ V $ 에 대한 합의 철저한 분석을 통해 오차 항에 $ 5/2 + \varepsilon $ 의 지수를 얻는 데 기여한다.

실험 결과

연구 질문

• RQ1 리만 가설 하에서 $ M(N) $ 의 경계에서 $ \log\log N $ 의 지수를 14 이하로 낮출 수 있는가?
• RQ2 제로 밀도 추정과 함께 $ V $-형질의 순서 방법으로 달성 가능한 최적의 지수는 무엇인가?
• RQ3 파rameter $ \delta $ 에 대한 의존성을 명시적으로 밝힐 수 있고, 그것이 임의로 작아질 수 있음을 어떻게 보일 수 있는가?
• RQ4 모멘트 추정과 제로 밀도 정리로 비형질적 순서의 예외 집합을 어느 정도 제어할 수 있는가?
• RQ5 선더라자얀의 방법을 정교화하여 추측상 최적의 지수 $ (\log N)^{1/2} (\log\log N)^{1/2} $ 를 달성할 수 있는가?

주요 결과

• 리만 가설 하에서, 모비우스 함수 부분합은 임의의 $ \varepsilon > 0 $ 에 대해 $ M(N) \ll_{\varepsilon} \sqrt{N} \exp\bigl((\log N)^{1/2}(\log\log N)^{5/2 + \varepsilon}\bigr) $ 를 만족하며, 이는 이전 결과의 지수 14 보다 개선된 것이다.
• 증명은 $ V $-형질의 순서에 대한 분석을 정교화하고 모멘트 추정 및 제로 밀도 경계를 통해 예외 집합을 제어함으로써 지수 $ 5/2 + \varepsilon $ 가 달성 가능하다는 것을 입증한다.
• 비형질적 순서의 기여는 무시할 수 없으며, 그 조밀도는 $ \ll T \exp\bigl(-V \log(V / \log\log T) + O(V \log\log V)\bigr) $ 로 유계지며, 지수 감소를 이룬다.
• $ B_N $, 일반적인 점들에서 기인하는 주요 기여를 나타내는 합은 $ \ll_{\delta} \exp\bigl((\log N)^{1/2}(\log\log N)^{5 - c + 6\delta}\bigr) $ 로 유계지며, 이는 $ c = 5/2 $ 일 때 최소화된다.
• 이 방법은 $ \delta \to 0 $ 으로 갈수록 지수 $ 5/2 + \varepsilon $ 를 달성할 수 있음을 보여주며, 오차 항이 $ \varepsilon $-항을 제외하고 최적임을 확인한다.
• 분석은 이전의 제로 밀도 추정에서의 $ O(V) $ 오차를 더 정밀한 $ O(V \delta^{-2}) $ 로 대체함으로써 핵심적인 개선이 이루어졌음을 확인한다. 이는 더 엄밀한 제어를 가능하게 한다.