🔢 mathematics

Extreme values of the real part of the Riemann zeta function

이 논문은 공명 방법(resonance method)과 비음수 계수를 갖는 디리클레 급수의 적분 추정치를 활용하여, 임계선 위에서 리만 제타 함수의 실수부의 극댓값에 대한 새로운 하한을 확립함으로써 본다렌코(Bondarenko)와 세이프(Seip)의 연구를 확장한다.

원저자: Qiyu Yang, Shengbo Zhao

게시일 2026-07-07

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Qiyu Yang, Shengbo Zhao

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

리만 제타 함수, $\zeta(s)$ 를 숫자의 우주 전역에 걸쳐 지속적이고 복잡한 멜로디를 연주하는 거대하고 보이지 않는 악기라고 상상해 보십시오. 수학자들은 오랫동안 이 악기가 연주할 수 있는 가장 '큰 소리의' 음표들에 매료되어 왔습니다. 이 큰 음표들은 이 함수가 "임계선(critical line)"이라 불리는 특별한 선 위에서 극단적인 값(매우 큰 숫자)에 도달하는 지점들에 해당합니다.

수십 년 동안 연구자들은 이 악기의 소리가 얼마나 커질 수 있는지 알아내기 위해 노력해 왔습니다.

과거의 방식: 볼륨을 듣는 법

이전에 수학자들인 Soundararajan과 이후의 Bondarenko 및 Seip은 **"공명 방법(resonance method)"**이라는 영리한 기법을 개발했습니다. 이것은 마치 음향 엔지니어가 악기가 낼 수 있는 가장 큰 볼륨을 찾아내려는 과정과 같습니다.

이를 위해 그들은 제타 함수와 동기화되어 진동하도록 설계된 특별한 "공명기(resonator)"를 구축했습니다. 공명기와 제타 함수가 함께 진동하면 신호가 증폭됩니다. 이 증폭된 신호를 측정함으로써, 그들은 제타 함수가 매우 크게 울려 퍼진다는 것을 증명할 수 있었습니다.

하지만 한 가지 문제가 있었습니다. 제타 함수의 출력값은 복소수이며, 이는 두 부분으로 나뉩니다: 실수부(마치 볼륨과 같은)와 허수부(마치 숨겨진 위상이나 방향과 같은). 기존의 방법들은 전체 볼륨(절댓값, $|\zeta|$ )을 측정했습니다. 이는 음표가 크다는 것은 알려주었지만, 그 음파가 어느 방향을 향하고 있는지는 알려주지 않았습니다. 즉, 실수부가 매우 커서 소리가 큰 것인지, 허수부가 매우 커서 큰 것인지, 아니면 두 가지가 섞여서 큰 것인지를 알 수 없었습니다.

새로운 발견: 방향을 조율하기

이 논문에서 저자 Qiyu Yang과 Shengbo Zhao는 기존의 공명 방법을 가져와서, 제타 함수의 소리를 특히 실수부에 집중하여 들을 수 있도록 미세하게 조정했습니다.

제타 함수의 출력을 지도 위의 특정 방향을 가리키는 화살표라고 상상해 보십시오.

기존 방법: 화살표의 길이(중심에서 얼마나 멀리 떨어져 있는지)를 측정했습니다.
새로운 방법: 화살표가 구체적으로 동쪽(실수부)을 향해 얼마나 멀리 뻗어 있는지를 측정합니다.

저자들의 주요 업적(정리 1.1)은 제타 함수가 단순히 무작위한 방향으로 커지는 것이 아니라, 특히 "동쪽" 방향으로 극도로 커진다는 것을 증명한 것입니다.

어떻게 해냈는가: "보강 간섭"의 기술

그들의 방법 속에 숨겨진 비결은 **합성곱(convolution)**을 이용한 수학적 트릭입니다.

문제점: 제타 함수는 양수와 음수가 섞여 있어, 서로를 상쇄시켜 버릴 수 있습니다(마치 노이즈 캔슬링 헤드폰처럼).
해결책: 저자들은 자신들의 공명기를 사용하여 제타 함수를 특별한 필터와 혼합합니다. 이 필터는 빛을 분리하는 프리즘처럼 작동합니다.
결과: 이 필터를 통과한 후, "소음"(음수 부분)은 최소화되고 "신호"(양수 부분)는 증폭됩니다. 이는 마치 사방으로 소리치는 혼란스러운 군중을 하나의 완벽한 화음을 노래하는 합창단으로 만드는 것과 같습니다.

결과물이 비음수 계수(모두 양수인 숫자)로 이루어져 있기 때문에, "동쪽" 방향(실수부)은 엄청난 증폭을 얻게 됩니다. 저자들은 이 증폭이 매우 강력하여 제타 함수의 실수부가 전체 볼륨과 거의 맞먹을 정도로 기록적인 높이에 도달한다는 것을 증명합니다.

이것이 왜 중요한가

이 논문은 제타 함수가 일반적인 의미에서 "크다"는 것뿐만 아니라, 방향성을 가지고 크다는 것을 보여줍니다.

이전에는: 제타 함수가 $H$ 라는 최고 높이에 도달할 수 있다는 것을 알고 있었습니다.
이제는: 동일한 최고 높이에 도달했을 때, 그 "동쪽" 성분 또한 거의 $H$ 에 달한다는 것을 알게 되었습니다.

이는 중요한 정교화입니다. 이는 극단적인 값들이 복소 평면에서의 무작위한 스파이크가 아니라, 견고하고 양적인 급증임을 알려줍니다.

파생 결과 (부수적 발견)

저자들은 또한 이 "방향성 있는 크기"가 다른 관련 수학적 대상들에도 적용됨을 보여줍니다.

도함수: 제타 함수의 변화율(멜로디가 얼마나 빠르게 빨라지거나 느려지는지)을 관찰하더라도, 실수부는 여전히 이러한 거대한 정점에 도달합니다.
선 근처: 만약 "임계선"(주 무대)에서 약간 벗어나더라도, 실수부는 임계선 바로 위보다는 약간 낮겠지만 여전히 믿기 힘들 정도로 큽니다.

요약

간단히 말해, Yang과 Zhao는 수학적 소리의 전체 볼륨을 측정하는 데 사용되는 강력한 도구를 가져와, 특정 방향의 볼륨을 측정할 수 있도록 정교하게 다듬었습니다. 그들은 리만 제타 함수가 단순히 커지는 것이 아니라, 양의 방향으로, 방향성을 가지고 커진다는 것을 증명함으로써, 실수부가 올라갈 수 있는 높이에 대한 이전의 기록을 경신했습니다. 이는 이 유명한 함수의 "극단적인 값"들이 단순한 혼돈스러운 변동이 아니라, 강한 양의 구조를 가지고 있음을 확인시켜 줍니다.

기술 요약: 리만 제타 함수의 실수부의 극댓값

문제 정의
본 논문은 임계선 상에서 리만 제타 함수 $\zeta(1/2 + it)$ 의 실수부 $\text{Re}(\zeta(1/2 + it))$ 의 극댓값에 대한 하한(lower bounds)을 설정하는 문제를 다룬다. 절댓값 $|\zeta(1/2 + it)|$ 의 극댓값을 이해하는 데 있어서는 상당한 진전이 이루어졌으나, 실수부의 거동을 구체적으로 다루는 것은 여전히 별개의 도전 과제로 남아 있다. 절댓값에 관한 기존 결과들은 위상(phase) 정보를 제공하지 않는다. 즉, 절댓값이 크다고 해서 반드시 실수부가 큰 양수라는 것을 보장하지는 않는데, 그 크기가 허수부에 의해 지배될 수 있기 때문이다. 저자들은 $\zeta(1/2 + it)$ 가 특히 실수축 방향으로 큰 값을 가질 수 있음을 입증하고자 한다.

방법론
저자들은 Soundararajan에 의해 처음 도입되고 이후 Bondarenko와 Seip에 의해 정교화된 **공명 방법(resonance method)**을 채택한다. 이들의 접근 방식의 핵심은 다음과 같은 단계들로 구성된다:

공명기 구축 (Resonator Construction): Bondarenko와 Seip의 프레임워크를 따라, 저자들은 특정한 공명기 $R(t) = \sum_{m \in M'} r(m)m^{-it}$ 를 구축한다. 이를 위해 소수 집합 $P$ 와 제곱 없는 수(square-free numbers)를 지지하는 곱셈 함수 $f(n)$ 을 정의한다. 집합 $M'$ 은 공명기와 관련된 디리클레 다항식의 기여를 극대화하도록 정교하게 설계되었다.
합성곱 공식 (Convolution Formula): 본 연구의 핵심적인 기술적 혁신은 $\zeta(1/2 + it)$ 를 **비음의 계수(non-negative coefficients)**를 가진 디리클레 다항식으로 변환하는 합성곱 공식을 사용하는 것이다. 저자들은 커널 $K(u)$ 와 공명기의 제곱 절댓값 $|R(t)|^2$ 에 대해 $\text{Re}(\zeta(1/2 + i(t+u)))$ 를 적분함으로써 실수부를 분리해 낸다.
적분 추정 (Integral Estimation): 증명은 가우시안 가중 함수 $\Phi$ $Φ$ 를 사용하여 $\int_{\mathbb{R}} \text{Re}(\zeta(1/2 + it)) |R(t)|^2 \Phi(t/T) dt$ $\int_{R} Re (ζ (1/2 + i t)) ∣ R (t) ∣^{2} Φ (t / T) d t$ 를 추정하는 것에 의존한다.
- 하한 (Lower Bound): 보조정리(Lemma) 2.2를 사용하여, 비음의 계수를 가진 디리클레 급수에 대한 적분의 하한을 설정한다. 합성곱 후의 계수의 양수성은 건설적 간섭(constructive interference)의 한 형태로 해석되며, 이는 허수부가 작아질 필요 없이 양의 실수 기여를 증폭시킨다.
- 상한 (Upper Bounds): 저자들은 적분의 꼬리 부분과 합성곱이 지배적이지 않은 영역에서 발생하는 오차항을 제한하기 위해 고전적인 볼록성 경계(convexity bounds)와 $\zeta(s)$ 의 모멘트 추정치를 활용한다.

주요 기여 및 결과
주요 결과는 $[T^\beta, T]$ 구간 내에서 제타 함수의 실수부의 최댓값에 대한 새로운 하한을 설정하는 정리 1.1이다.

정리 1.1: 고정된 $\beta \in [0, 1)$ 와 충분히 큰 $T$ 에 대하여:
$\max_{t \in [T^\beta, T]} \text{Re} \zeta\left(\frac{1}{2} + it\right) \ge \exp\left( \left(\sqrt{1-\beta} + o(1)\right) \sqrt{\frac{\log T \log_3 T}{\log_2 T}} \right)$
여기서 $\log_k$ 는 $k$ 번 반복된 로그를 나타낸다.
따름정리 1: 이 방법은 제타 함수의 도함수 $\text{Re}(\zeta^{(\ell)}(1/2 + it))$ 의 실수부로 확장되어, 동일한 차수의 하한을 도출한다.
따름정리 2: 결과는 임계선 근처의 점들, 즉 $\sigma = 1/2 + A/\log_2 T$ 로 확장된다. 하한은 동일한 차수를 유지하지만, 지수에서의 상수는 $\lambda(A) = \frac{1}{e^A\sqrt{e}-1}$ 로 약간 감소한다.

의의 및 주장
본 논문은 자신의 결과가 $\zeta(1/2 + it)$ 의 알려진 극댓값들에 대한 **방향적 정교화(directional refinement)**를 제공한다고 주장한다.

동시 극대성 (Simultaneous Extremality): 저자들은 자신의 결과가 절댓값과 실수부의 극댓값이 동시에 존재함을 함의한다는 점을 강조한다. 실수부를 최대화하기 위해 허수부를 작게 만들어야 하는 이전의 방법들과 달리, 이 접근 방식은 합성곱 공식이 제타 함수를 비음의 계수를 가진 다항식으로 변환하여 실수 기여를 건설적 간섭을 통해 증폭시키는 것에 기초한다.
기존 연구와의 관계: 저자들은 자신의 결과가 Bondarenko와 Seip이 설정한 절댓값의 하한을 즉각적으로 함의한다는 점을 언급한다. 즉, $|\zeta(s)| \ge \text{Re}(\zeta(s))$ 이다.
한계점: 본 논문은 지수의 상수를 $(\sqrt{1-\beta} + o(1))$ 에서 $(\sqrt{2} + o(1))$ 로 개선하는 것(de la Bretèche와 Tenenbaum이 절댓값에 대해 달성한 바 있는 경계)이 현재의 방법을 통해서는 어려워 보인다는 점을 겸허히 인정한다. 저자들은 $|\zeta(1/2 + it)|^2$ 의 큰 하한이 반드시 큰 양의 실수부를 보장하지는 않는데, 그 이유는 크기가 허수 성분에 의해 유도될 수 있기 때문이라고 설명한다. 따라서 여기에 사용된 특정 기법은 절댓값을 최적화하기 위한 이중 버전 합성곱(double-version convolution)과는 구별된다.

요약하자면, 본 논문은 리만 제타 함수의 실수부를 분리하고 증폭시키기 위해 공명 방법을 성공적으로 적용하였으며, $\zeta(1/2 + it)$ 가 특정한 점근적 성장률을 가지며 규정된 방향(실수축)으로 큰 값을 가질 수 있음을 증명하였다.