이진삼각텐서와 벡터위상에 기반한 리만 중심함수의 반사–제곱–스펙트럼 정합성 이론 Binary Triangular Tensors and

[분석]

이진삼각텐서와 벡터위상에 기반한 리만 중심함수의 반사–제곱–스펙트럼 정합성 이론Binary Triangular Tensors and Vector-Phase Coherence for the Riemann Central Function: Reflection, Squaring, and Positive Spectral Realization

저자: [저자명]
소속: [연구기관 또는 독립 연구자]
분야: 해석적 수론, 복소해석, 연산자 이론, 스펙트럼 이론
작성일: 2026년

---

초록

본 논문은 정수와 소수의 곱셈 구조를 복소 위상을 갖는 실수 벡터의 대수로 표현하고, 리만 제타함수의 비자명 영점에 작용하는 임계축 반사대칭을 ‘이진삼각텐서’라는 행렬적 구조로 정식화한다. 본 연구의 목적은 기하학적 직관을 리만가설의 무조건적 증명으로 선언하는 것이 아니라, 그 직관에서 실제로 증명 가능한 부분을 추출하여 엄밀한 동치정리와 조건부 스펙트럼 정리로 재구성하는 데 있다.

복소수 (s=\sigma+it)에 대해 정수 (n)의 위상벡터를

[
V_n(s)

n^{-\sigma}
\begin{pmatrix}
\cos(t\log n)\
-\sin(t\log n)
\end{pmatrix}
]

로 정의하면, 복소곱에 대응하는 실수 벡터곱 아래에서

[
V_{mn}(s)=V_m(s)\star V_n(s)
]

가 정확히 성립한다. 따라서 정수의 곱셈은 크기의 곱과 위상각의 합으로 표현된다. 이 구조는 (\Re s>1)에서 오일러곱의 소수 위상을 정확히 나타내지만, 임계띠에서는 통상적인 오일러곱이 수렴하지 않으므로 별도의 해석적 연속이 필요하다.

비자명 영점을

[
\rho=\frac12+x+i\gamma
]

로 나타내고 임계선에 관해 반사된 두 벡터

[
v_+=
\begin{pmatrix}
x\ \gamma
\end{pmatrix},
\qquad
v_-=
\begin{pmatrix}
-x\ \gamma
\end{pmatrix}
]

를 정의한다. 두 벡터에 대응하는 계수 2의 텐서 (P_\pm=v_\pm v_\pm^T)의 차이는

[
P_+-P_-=
\begin{pmatrix}
0&2x\gamma\
2x\gamma&0
\end{pmatrix}
]

이며, (\gamma\neq0)인 비자명 영점에 대해

[
P_+=P_-
\quad\Longleftrightarrow\quad
x=0
\quad\Longleftrightarrow\quad
\Re\rho=\frac12
]

가 성립한다. 이를 이진 반사텐서 정합성 정리라 부른다.

리만 완성함수

[
\xi(s)

\frac12s(s-1)\pi^{-s/2}
\Gamma\left(\frac{s}{2}\right)\zeta(s)
]

의 중심함수 (F(z)=\xi(\frac12+z))는 짝함수이므로 유일한 전해석함수 (H)가 존재하여

[
F(z)=H(z^2)
]

로 표현된다. 영점좌표 (w=(\rho-\frac12)^2)를 사용하면 리만가설은 (H)의 모든 영점이 음의 실수축에 존재한다는 명제와 동치이다.

나아가 본 논문은 리만가설이 다음의 양의 연산자 표현과 동치임을 보인다.

[
\frac{H(w)}{H(0)}

\det(I+wK),
]

여기서 (K)는 양의 트레이스급 자기수반 연산자이다. 그러나 이 동치 자체는 리만가설의 해결이 아니다. 리만가설을 증명하려면 영점이 임계선 위에 있다는 사실을 미리 사용하지 않고, 소수 또는 산술 자료로부터 그러한 (K)를 직접 구성하고 행렬식 항등식을 증명해야 한다.

본 논문의 핵심 성과는 이진삼각텐서, 정수의 벡터위상, 임계선 반사대칭, 제곱좌표 및 양의 연산자 스펙트럼을 하나의 논리적으로 일관된 프레임워크로 연결한 데 있다.

주요어: 리만가설, 리만 제타함수, 이진삼각텐서, 벡터위상, 반사행렬, 제곱좌표, 프레드홀름 행렬식, 양의 자기수반 연산자

---

1. 서론1.1 연구 배경

리만 제타함수는 우선 (\Re s>1)에서

[
\zeta(s)\sum_{n=1}^{\infty}\frac1{n^s}

\prod_{p}\left(1-p^{-s}\right)^{-1}
]

로 정의된다. 오일러곱은 소수의 곱셈 구조와 제타함수의 해석적 구조를 직접 연결한다. 리만은 1859년 논문에서 이 함수를 복소평면으로 확장하고, 그 비자명 영점과 소수 분포의 관계를 제시했다. 오일러곱과 디리클레 급수는 (\Re s>1)에서 수렴한다.

리만가설은 모든 비자명 영점 (\rho)가

[
\Re\rho=\frac12
]

를 만족한다는 명제이다. 비자명 영점들은 실수축과 임계선 (\Re s=1/2)에 관하여 대칭적으로 분포하지만, 집합의 대칭성만으로 개별 영점이 임계선 위에 존재한다는 결론은 나오지 않는다. 리만가설은 현재도 클레이 수학연구소의 밀레니엄 문제로 남아 있다.

본 논문은 다음과 같은 문제의식에서 출발한다.

첫째, 정수의 곱셈을 단순한 스칼라 연산이 아니라 크기와 위상을 갖는 벡터 연산으로 표현할 수 있는가?

둘째, 영점의 임계선 대칭을 두 개의 반사된 직각삼각형과 행렬 또는 텐서로 표현할 수 있는가?

셋째, 임계선 조건을 제곱좌표의 실수성 또는 음의 실수축 조건으로 바꿀 수 있는가?

넷째, 이 음의 실수축 조건을 양의 자기수반 연산자의 스펙트럼 조건으로 표현할 수 있는가?

본 논문은 이 네 질문에 대해 엄밀한 수학적 답을 제시한다.

---

1.2 본 연구의 주장 범위

본 연구에서는 세 종류의 명제를 구별한다.

첫 번째는 무조건적으로 증명되는 항등식이다. 정수 위상벡터의 곱셈법칙, 반사텐서의 행렬 계산 및 중심함수의 제곱좌표 표현이 이에 해당한다.

두 번째는 리만가설과 동치인 명제이다. 반사텐서의 완전 정합성, 제곱좌표 영점의 음의 실수축 정렬 및 양의 트레이스급 연산자의 행렬식 표현이 이에 해당한다.

세 번째는 아직 증명되지 않은 연구가설이다. 소수 자료만을 이용해 양의 연산자를 독립적으로 구성하고 그 프레드홀름 행렬식이 리만 중심함수와 일치함을 증명하는 문제이다.

따라서 본 논문은 리만가설이 해결되었다고 주장하지 않는다. 본 연구의 성과는 리만가설을 기하학적·행렬적·스펙트럼적 조건으로 정합성 있게 변환하고, 실제로 남은 증명 과제를 정확히 특정하는 데 있다.

---

2. 기본 정의와 표기2.1 리만 제타함수와 완성함수

복소수를

[
s=\sigma+it
]

로 표시한다. 리만 완성함수를

[
\xi(s)

\frac12s(s-1)\pi^{-s/2}
\Gamma\left(\frac{s}{2}\right)\zeta(s)
]

로 정의한다.

(\xi(s))는 전해석함수이며 다음 함수방정식을 만족한다.

[
\xi(s)=\xi(1-s).
]

또한 실수 계수를 갖는 해석적 구조로부터

[
\xi(\overline s)=\overline{\xi(s)}
]

가 성립한다.

따라서 (\rho)가 영점이면

[
\rho,\qquad
\overline\rho,\qquad
1-\rho,\qquad
1-\overline\rho
]

가 모두 영점이다.

---

2.2 중심좌표

임계선 (\Re s=1/2)을 좌표의 원점으로 이동하기 위해

[
z=s-\frac12
]

를 정의한다.

비자명 영점은

[
\rho=\frac12+z
]

로 표시되며,

[
z=x+i\gamma,
\qquad
x=\Re\rho-\frac12,
\qquad
\gamma=\Im\rho
]

이다.

이 좌표에서 임계선 조건은 단순히

[
x=0
]

이다.

---

2.3 회전과 반사의 구별

중심좌표에서 (180^\circ) 회전은

[
z\longmapsto -z
]

이며, 실수 좌표로는

[
(x,\gamma)\longmapsto(-x,-\gamma)
]

이다.

같은 높이 (\gamma)에서 임계선의 좌우를 교환하는 반사는

[
z\longmapsto-\overline z
]

이며,

[
(x,\gamma)\longmapsto(-x,\gamma)
]

이다.

따라서 (180^\circ) 회전과 임계축 반사는 동일한 변환이 아니다. 다만 리만 영점 집합은 함수방정식과 복소켤레 대칭에 의해 두 변환을 모두 포함하는 사중대칭을 가진다.

본 논문의 이진삼각텐서는 같은 높이에 있는 두 상태의 비교를 목적으로 하므로, 기본 연산자로 회전 (-I)가 아니라 반사행렬

[
J=
\begin{pmatrix}
-1&0\
0&1
\end{pmatrix}
]

을 사용한다.

---

2.4 ‘리만위상’ 용어의 의미

본 논문에서 말하는 ‘리만위상’은 고전적인 리만구 또는 위상공간의 위상 topology 자체를 뜻하지 않는다.

여기서 리만위상은 다음의 세 구조를 통합한 용어이다.

[
\text{복소 위상각}
;+;
\text{임계축 반사대칭}
;+;
\text{제곱좌표 영점 구조}.
]

따라서 본문의 ‘위상’은 주로 phase의 의미이며, 필요한 경우 topology와 명확히 구별한다.

---

3. 정수와 소수의 벡터위상 대수3.1 정수 위상벡터

(s=\sigma+it)와 양의 정수 (n)에 대해

[
n^{-s}

n^{-\sigma}e^{-it\log n}
]

이다.

오일러 공식에 의해

[
n^{-s}

n^{-\sigma}
\left[
\cos(t\log n)
-i\sin(t\log n)
\right].
]

이에 대응하는 실수 이차원 벡터를 다음과 같이 정의한다.

정의 3.1 — 정수 벡터위상

[
V_n(s)
:=
n^{-\sigma}
\begin{pmatrix}
\cos(t\log n)\
-\sin(t\log n)
\end{pmatrix}.
]

이 벡터의 크기는

[
|V_n(s)|=n^{-\sigma}
]

이고 방향각은

[
\phi_n(s)=-t\log n
\pmod{2\pi}
]

이다.

따라서 각 정수 (n)은 고정된 기하학적 물체 그 자체라기보다, 주어진 복소 매개변수 (s)에서 크기와 위상을 갖는 벡터 상태로 표현된다.

---

3.2 복소곱에 대응하는 벡터곱

두 벡터

[
u=
\begin{pmatrix}
a\b
\end{pmatrix},
\qquad
v=
\begin{pmatrix}
c\d
\end{pmatrix}
]

에 대해

[
u\star v
:=
\begin{pmatrix}
ac-bd\
ad+bc
\end{pmatrix}
]

를 정의한다.

이 연산은 복소수

[
a+ib,\qquad c+id
]

의 곱에 정확히 대응한다.

정리 3.2 — 정수 위상벡터의 곱셈법칙

모든 양의 정수 (m,n)과 복소수 (s)에 대해

[
\boxed{
V_{mn}(s)=V_m(s)\star V_n(s)}
]

가 성립한다.

증명

복소수 표현을 사용하면

[
m^{-s}n^{-s}

(mn)^{-s}.
]

각 복소수를 실수 벡터로 식별할 때 복소곱은 (\star) 연산에 대응하므로

[
V_m(s)\star V_n(s)=V_{mn}(s).
]

직접 각도를 사용해도

[
\phi_{mn}-t\log(mn)-t\log m-t\log n

\phi_m+\phi_n
]

이고,

[
|V_{mn}|(mn)^{-\sigma}

m^{-\sigma}n^{-\sigma}
]

이므로 동일한 결과가 나온다. (\square)

---

3.3 소수분해와 위상합

정수

[
n=\prod_p p^{\nu_p(n)}
]

에 대해

[
V_n(s)

\mathop{\star}_{p}
V_p(s)^{\star\nu_p(n)}
]

이다.

위상각은

[
\phi_n(s)\sum_p\nu_p(n)\phi_p(s)

-t\sum_p\nu_p(n)\log p.
]

소수분해의 유일성은 정수 위상각이 소수 위상각의 정수 선형결합으로 표현된다는 것을 의미한다.

이 결과는 ‘정수는 소수 위상의 결합 상태’라는 해석을 엄밀하게 뒷받침한다. 다만 이는 정수를 물리적 공간으로 새로 정의하는 것이 아니라, 정수의 곱셈 반군을 위상벡터 대수에 표현하는 사상이다.

---

3.4 오일러곱의 벡터위상 해석

(\Re s>1)에서

[
\zeta(s)

\prod_p(1-p^{-s})^{-1}
]

가 절대수렴한다.

각 소수 인자는

[
p^{-s}

p^{-\sigma}e^{-it\log p}
]

이므로 크기 (p^{-\sigma})와 위상각 (-t\log p)를 갖는다.

따라서 오일러곱은 소수 위상상태들의 무한한 복소곱으로 이해할 수 있다.

그러나 이 해석에는 중요한 제한이 있다.

[
0<\Re s<1
]

인 임계띠에서는 통상적인 오일러곱이 수렴하지 않는다. 따라서 임계띠의 영점을 단순히 수렴하지 않는 소수벡터의 곱으로 직접 계산할 수는 없다.

임계띠에서 소수위상과 영점위상을 연결하려면 해석적 연속, 명시적 공식 또는 별도의 정칙화 연산자를 사용해야 한다.

---

4. 이진삼각텐서와 임계축 반사대칭4.1 반사된 직각삼각형

비자명 영점을

[
\rho=\frac12+x+i\gamma
]

로 둔다.

중심좌표평면에서 두 벡터를

[
v_+=
\begin{pmatrix}
x\\gamma
\end{pmatrix},
\qquad
v_-=
Jv_+

\begin{pmatrix}
-x\\gamma
\end{pmatrix}
]

로 정의한다.

(v_+)는 원점, ((x,0)), ((x,\gamma))를 잇는 직각삼각형을 결정하고, (v_-)는 그 삼각형을 임계축에 관하여 반사한 직각삼각형을 결정한다.

두 삼각형의 빗변 길이는 동일하다.

[
|v_+|^2|v_-|^2

x^2+\gamma^2.
]

그러나 길이의 동일성만으로 (x=0)이 강제되지는 않는다. 임계선에서 벗어난 상태도 좌우 대칭인 두 삼각형을 만들 수 있기 때문이다.

---

4.2 이진삼각텐서의 정의정의 4.1 — 이진삼각텐서

두 반사벡터의 계수 2 외적텐서를

[
P_+v_+v_+^T,
\qquad
P_-

v_-v_-^T
]

로 정의한다.

그리고 순서쌍

[
\mathbb T_{\mathrm{bin}}(\rho)
:=
(P_+,P_-)
]

을 영점 (\rho)에 대응하는 이진삼각텐서 상태라 부른다.

구체적으로

[
P_+

\begin{pmatrix}
x^2&x\gamma\
x\gamma&\gamma^2
\end{pmatrix},
]

[
P_-

\begin{pmatrix}
x^2&-x\gamma\
-x\gamma&\gamma^2
\end{pmatrix}.
]

---

4.3 정합성 결함행렬정의 4.2 — 이진 정합성 결함

[
C(\rho)
:=
P_+-P_-
]

를 이진 반사 정합성 결함행렬이라 정의한다.

계산하면

[
\boxed{
C(\rho)

\begin{pmatrix}
0&2x\gamma\
2x\gamma&0
\end{pmatrix}.}
]

이 행렬의 고유값은

[
\lambda_\pm=\pm2x\gamma
]

이다.

프로베니우스 노름은

[
|C(\rho)|_{\mathrm F}

2\sqrt2,|x\gamma|.
]

---

4.4 이진 반사텐서 정합성 정리정리 4.3

(\gamma\neq0)인 비자명 영점 후보

[
\rho=\frac12+x+i\gamma
]

에 대하여 다음 명제들은 서로 동치이다.

[
\text{(i)}\quad
\Re\rho=\frac12,
]

[
\text{(ii)}\quad x=0,
]

[
\text{(iii)}\quad P_+=P_-,
]

[
\text{(iv)}\quad C(\rho)=0,
]

[
\text{(v)}\quad
|C(\rho)|_{\mathrm F}=0.
]

증명

[
\Re\rho=\frac12+x
]

이므로 (i)와 (ii)는 동치이다.

또한

[
C(\rho)

\begin{pmatrix}
0&2x\gamma\
2x\gamma&0
\end{pmatrix}
]

이므로

[
C(\rho)=0
\quad\Longleftrightarrow\quad
x\gamma=0.
]

비자명 영점에 대해 (\gamma\neq0)이므로

[
x\gamma=0
\quad\Longleftrightarrow\quad
x=0.
]

나머지 동치는 행렬 차와 노름의 정의로부터 즉시 따른다. (\square)

---

4.5 정리의 의미와 한계

정리 4.3은 임계선 조건을 완전히 정확한 행렬 조건으로 바꾼다.

[
\boxed{
\text{임계선 위의 영점}
\quad\Longleftrightarrow\quad
\text{이진 반사텐서의 완전 정합성}.}
]

그러나 함수방정식은 영점이 좌우 쌍으로 존재한다는 것만 보장한다. 즉,

[
P_+ \text{와 }P_-
]

가 모두 존재한다는 것은 알 수 있지만,

[
P_+=P_-
]

가 자동으로 성립하는 것은 아니다.

따라서 이진 반사텐서 정합성은 리만가설의 동치 표현이지, 함수방정식만으로 얻어지는 독립적 증명이 아니다.

---

4.6 각도에 의한 표현

[
x=r\cos\theta,
\qquad
\gamma=r\sin\theta
]

로 두면

[
2x\gamma=r^2\sin(2\theta).
]

따라서

[
C(\rho)

r^2\sin(2\theta)
\begin{pmatrix}
0&1\
1&0
\end{pmatrix}.
]

비자명 영점에서 임계선은

[
\theta=\frac{\pi}{2}
\pmod{\pi}
]

에 대응한다.

정규화된 정합성 결함을

[
\delta(\rho)

\frac{2|x\gamma|}{x^2+\gamma^2}
]

로 정의하면

[
\delta(\rho)=|\sin(2\theta)|.
]

비자명 영점에 대해

[
\delta(\rho)=0
\quad\Longleftrightarrow\quad
\Re\rho=\frac12.
]

다만 모든 영점에서 (\theta=\pi/2)라고 먼저 가정한 뒤 (x=0)을 도출하면 순환논증이 된다. (\theta=\pi/2) 자체가 리만가설의 각도 표현이기 때문이다.

---

5. 중심함수와 제곱좌표 리만위상5.1 중심함수

다음 함수를 정의한다.

[
F(z)
:=
\xi\left(\frac12+z\right).
]

함수방정식으로부터

[
F(-z)\xi\left(\frac12-z\right)\xi\left(1-\left(\frac12-z\right)\right)\xi\left(\frac12+z\right)

F(z).
]

따라서 (F)는 짝함수이다.

테일러 급수는 짝수차 항만 가진다.

[
F(z)

\sum_{n=0}^{\infty}a_{2n}z^{2n}.
]

---

5.2 제곱좌표 함수정의 5.1 — 제곱좌표 중심함수

[
H(w)
:=
\sum_{n=0}^{\infty}a_{2n}w^n
]

로 정의한다.

그러면

[
\boxed{
F(z)=H(z^2)}
]

가 성립한다.

즉,

[
\boxed{
\xi\left(\frac12+z\right)=H(z^2).}
]

(H)는 유일한 전해석함수이다.

리만 완성함수 (\xi)는 차수 1의 전해석함수이고 (F(z)=H(z^2))이므로 (H)의 전해석함수 차수는 (1/2)이다.

---

5.3 영점의 제곱좌표

영점을

[
\rho=\frac12+x+i\gamma
]

로 두고

[
z=\rho-\frac12=x+i\gamma
]

라 한다.

제곱좌표는

[
w=z^2
]

이며,

[
\boxed{
w

x^2-\gamma^2+2ix\gamma.}
]

따라서

[
\Re w=x^2-\gamma^2,
\qquad
\Im w=2x\gamma.
]

비자명 영점에서는 (\gamma\neq0)이므로

[
\Im w=0
\quad\Longleftrightarrow\quad
x=0.
]

(x=0)일 때

[
w=(i\gamma)^2=-\gamma^2<0.
]

---

5.4 제곱좌표 리만위상 동치정리정리 5.2

다음 명제들은 서로 동치이다.

1. 리만가설이 참이다.

2. 모든 비자명 영점 (\rho)에 대해
   [
   \left(\rho-\frac12\right)^2
   \in(-\infty,0)
   ]
   이다.

3. 함수 (H(w))의 모든 영점은 음의 실수축에 있다.

4. 모든 비자명 영점에 대해
   [
   \Im\left(\rho-\frac12\right)^2=0
   ]
   이다.

5. 모든 비자명 영점에 대해 이진 정합성 결함행렬이 영행렬이다.
   [
   C(\rho)=0.
   ]

증명

리만가설이 참이면

[
\rho=\frac12+i\gamma
]

이므로

[
\left(\rho-\frac12\right)^2=-\gamma^2<0.
]

따라서 1은 2를 함의한다.

반대로

[
\left(\rho-\frac12\right)^2<0
]

이면 (\rho-\frac12)는 순허수이므로

[
\Re\rho=\frac12.
]

따라서 2는 1을 함의한다.

(F(z)=H(z^2))이므로 (\rho)가 (\xi)의 영점이라는 것은

[
H\left(\left(\rho-\frac12\right)^2\right)=0
]

과 동치이다. 따라서 2와 3이 동치이다.

또한

[
\Im\left(\rho-\frac12\right)^2=2x\gamma.
]

(\gamma\neq0)이므로 이 값이 0인 것은 (x=0)과 동치이다. 이에 따라 1과 4가 동치이다.

정리 4.3에 의해 (x=0)과 (C(\rho)=0)이 동치이므로 1과 5도 동치이다. (\square)

---

5.5 제곱사상의 기하학적 의미

제곱사상

[
z\longmapsto w=z^2
]

은 중심좌표에서 서로 반대인 두 점

[
z,\qquad -z
]

를 하나의 점 (w)로 합친다.

함수방정식에 의해 (F(z)=F(-z))이므로 제곱좌표는 이 대칭을 자연스럽게 몫공간화한다.

임계선 위의 점

[
z=i\gamma
]

는 제곱사상에 의해

[
w=-\gamma^2
]

로 이동한다.

따라서 복소평면에서의 수직 임계선 문제는 (w)-평면에서 음의 실수축의 영점 정렬 문제로 변환된다.

이 변환이 본 논문에서 말하는 ‘제곱좌표 리만위상’의 핵심이다.

---

6. 양의 자기수반 연산자와 스펙트럼 표현6.1 프레드홀름 행렬식

분리 가능한 힐베르트 공간 (\mathcal H) 위의 트레이스급 연산자 (K)를 생각하자.

(K)의 고유값을 중복도를 포함하여

[
\mu_1,\mu_2,\ldots
]

라고 하면

[
\sum_{n=1}^{\infty}|\mu_n|<\infty.
]

프레드홀름 행렬식은

[
\det(I+wK)

\prod_{n=1}^{\infty}(1+w\mu_n)
]

으로 정의된다.

(K)가 양의 자기수반 연산자이면

[
\mu_n>0
]

이며, 행렬식의 영점은

[
w_n=-\frac1{\mu_n}<0
]

이다.

---

6.2 양의 연산자 충분조건정리 6.1

양의 트레이스급 자기수반 연산자 (K)가 존재하여

[
\boxed{
\frac{H(w)}{H(0)}

\det(I+wK)}
]

를 만족한다면 리만가설은 참이다.

증명

(K)의 고유값은 모두 양수이므로

[
\det(I+wK)

\prod_n(1+w\mu_n)
]

의 모든 영점은

[
w_n=-\mu_n^{-1}<0
]

이다.

따라서 (H)의 모든 영점이 음의 실수축에 있다. 정리 5.2에 의해 리만가설이 성립한다. (\square)

---

6.3 양의 스펙트럼 동치정리

충분조건은 실제로 동치조건으로 강화할 수 있다.

정리 6.2 — 양의 스펙트럼 실현 동치정리

다음 두 명제는 서로 동치이다.

1. 리만가설이 참이다.

2. 어떤 분리 가능한 힐베르트 공간 위에 양의 트레이스급 자기수반 연산자 (K)가 존재하여
   [
   \frac{H(w)}{H(0)}

   \det(I+wK)
   ]
   가 성립한다.

증명(2\Rightarrow1)

정리 6.1에서 이미 증명하였다.

(1\Rightarrow2)

리만가설이 참이라고 가정하자.

그러면 (H)의 영점들은 중복도를 포함하여

[
w_n=-\gamma_n^2
]

형태이다.

(H)는 차수 (1/2<1)의 전해석함수이므로 하다마르 인수분해에서 1차 이상의 지수다항식이 필요하지 않다. 또한 (H(0)\neq0)이므로

[
\frac{H(w)}{H(0)}\prod_{n=1}^{\infty}
\left(1-\frac{w}{w_n}\right)

\prod_{n=1}^{\infty}
\left(1+\frac{w}{\gamma_n^2}\right).
]

차수가 (1/2)이므로

[
\sum_{n=1}^{\infty}\frac1{\gamma_n^2}<\infty.
]

이제 힐베르트 공간 (\ell^2(\mathbb N))의 표준기저를 (e_n)이라 하고

[
Ke_n

\frac1{\gamma_n^2}e_n
]

으로 정의한다.

그러면 (K)는 양의 자기수반 연산자이고

[
\operatorname{tr}K

\sum_n\frac1{\gamma_n^2}
<\infty
]

이므로 트레이스급이다.

또한

[
\det(I+wK)\prod_n
\left(1+\frac{w}{\gamma_n^2}\right)

\frac{H(w)}{H(0)}.
]

따라서 2가 성립한다. (\square)

---

6.4 동치정리가 곧 증명은 아닌 이유

정리 6.2는 강한 수학적 결과이지만 그 자체가 리만가설의 해결은 아니다.

(1\Rightarrow2)의 증명에서는 이미 리만가설을 가정하여 영점들을

[
\rho_n=\frac12\pm i\gamma_n
]

로 놓은 다음, 그 영점으로부터 연산자

[
Ke_n=\gamma_n^{-2}e_n
]

를 구성했다.

따라서 이 연산자는 영점 위치를 미리 알고 만든 사후적 스펙트럼 연산자이다.

리만가설의 독립적 증명을 얻으려면 다음 순서가 필요하다.

[
\text{소수 또는 산술 자료}
]

[
\Downarrow
]

[
\text{영점 위치를 사용하지 않은 연산자 }K_{\mathrm{arith}}
]

[
\Downarrow
]

[
K_{\mathrm{arith}}\ge0,\qquad
K_{\mathrm{arith}}\text{는 트레이스급}
]

[
\Downarrow
]

[
\det(I+wK_{\mathrm{arith}})

\frac{H(w)}{H(0)}.
]

이 네 단계를 순환논증 없이 완성해야 리만가설의 실제 증명이 된다.

---

7. 반사행렬–제곱좌표–스펙트럼 연결

본 논문의 핵심 구조는 다음과 같이 요약된다.

[
\rho=\frac12+x+i\gamma
]

에서 이진 반사텐서의 결함은

[
C(\rho)

\begin{pmatrix}
0&2x\gamma\
2x\gamma&0
\end{pmatrix}.
]

한편 제곱좌표는

[
w\left(\rho-\frac12\right)^2

x^2-\gamma^2+2ix\gamma.
]

따라서

[
\boxed{
\Im w=2x\gamma.}
]

즉, 제곱좌표의 허수부는 반사텐서 결함행렬의 비대각 원소와 정확히 같다.

이를 행렬식으로 나타내면

[
C(\rho)

\Im(w)
\begin{pmatrix}
0&1\
1&0
\end{pmatrix}.
]

따라서 다음 세 조건은 동일한 수량 (2x\gamma)의 서로 다른 표현이다.

[
\text{반사텐서 비정합성}
]

[
\Longleftrightarrow
]

[
\text{제곱좌표의 허수부}
]

[
\Longleftrightarrow
]

[
\text{임계선으로부터의 수평 이탈}.
]

양의 연산자 표현이 성립하면 영점 제곱좌표가

[
w_n=-\mu_n^{-1}
]

가 되므로

[
\Im w_n=0
]

이며, 이에 따라

[
C(\rho_n)=0.
]

따라서 전체 구조는 다음 연쇄로 표현된다.

[
K\ge0
]

[
\Downarrow
]

[
w_n=-\mu_n^{-1}<0
]

[
\Downarrow
]

[
\Im w_n=0
]

[
\Downarrow
]

[
2x_n\gamma_n=0
]

[
\Downarrow
]

[
x_n=0
]

[
\Downarrow
]

[
\Re\rho_n=\frac12.
]

이것이 이진 반사행렬–제곱좌표–양의 연산자 스펙트럼 연결의 정확한 수학적 형태이다.

---

8. 텐서곱 원안의 엄밀한 재해석8.1 무한 텐서곱의 문제

다음과 같은 형식적 식을 고려할 수 있다.

[
\bigotimes_p
\left(
I-w|v_p\rangle\langle v_p|
\right)^{-1}.
]

그러나 이를 실제 연산자로 정의하려면 다음 자료가 필요하다.

각 소수 (p)에 대응하는 힐베르트 공간 (\mathcal H_p), 무한 텐서곱을 정의하기 위한 기준벡터, 각 국소 연산자의 유계성, 무한 텐서곱의 수렴 방식, 전역 연산자의 트레이스급 성질 및 그 행렬식과 (\xi) 사이의 항등식이 필요하다.

무한 텐서곱

[
\bigotimes_p A_p
]

과 스칼라 또는 연산자의 무한곱

[
\prod_p A_p
]

은 동일하지 않다.

따라서 기존 원안의 텐서곱 표현은 현재 단계에서는 완성된 연산자 정의가 아니라 연구를 위한 형식적 모형으로 보아야 한다.

---

8.2 엄밀한 국소 소수상태

소수 (p)에 대해 복소 국소상태를

[
q_p(s)=p^{-s}
]

로 정의할 수 있다.

실수 벡터로는

[
q_p(s)
\leftrightarrow
p^{-\sigma}
\begin{pmatrix}
\cos(t\log p)\
-\sin(t\log p)
\end{pmatrix}.
]

이 표현은 정확하다.

또한

[
(1-q_p(s))^{-1}
]

는 (\Re s>1)에서 오일러 국소인자와 같다.

그러나 이러한 유한차원 국소벡터만으로 임계띠 전체의 해석적 연속과 완성함수의 감마인자를 자동으로 얻을 수는 없다.

따라서 전역 연산자 이론에는 소수 오일러 인자뿐 아니라 다음 요소가 포함되어야 한다.

[
\Gamma\left(\frac{s}{2}\right),
\qquad
\pi^{-s/2},
\qquad
s(s-1),
]

그리고 함수방정식 및 해석적 연속을 구현하는 전역 구조가 필요하다.

---

9. 양의 연산자 구성의 구체적 판정조건9.1 로그 행렬식 전개

(w=0) 근방에서

[
\frac{H(w)}{H(0)}
]

의 로그를

[
\log\frac{H(w)}{H(0)}

\sum_{m=1}^{\infty}c_mw^m
]

로 전개한다.

한편 트레이스급 연산자에 대해

[
\log\det(I+wK)

\sum_{m=1}^{\infty}
\frac{(-1)^{m+1}}{m}
\operatorname{tr}(K^m)w^m
]

가 성립한다.

따라서 행렬식 항등식이 참이라면

[
\boxed{
\operatorname{tr}(K^m)

(-1)^{m+1}mc_m.}
]

(K\ge0)이면

[
\operatorname{tr}(K^m)>0
]

이므로 필요한 부호조건은

[
\boxed{
(-1)^{m+1}c_m>0
\qquad(m\ge1)}
]

이다.

이 부호조건은 양의 연산자 표현을 위한 필요조건이다. 다만 이 조건만으로 연산자의 존재가 자동으로 보장되지는 않는다.

---

9.2 모멘트 조건

고유값을 (\mu_n>0)라 하면

[
\tau_m
:=
\operatorname{tr}(K^m)

\sum_n\mu_n^m.
]

따라서 수열

[
\tau_m=(-1)^{m+1}mc_m
]

은 양의 수들의 거듭제곱합으로 표현되어야 한다.

이것은 양의 측도

[
\nu=\sum_n\delta_{\mu_n}
]

에 대해

[
\tau_m

\int_0^\infty x^m,d\nu(x)
]

가 되는 모멘트 문제로 바뀐다.

따라서 산술적 연산자 구성을 위한 구체적인 연구 절차는 다음과 같다.

첫째, (\xi)의 중심 미분계수로부터 (H)의 계수를 계산한다.

[
\frac{H^{(m)}(0)}{m!}

\frac{\xi^{(2m)}(1/2)}{(2m)!}.
]

둘째, (\log(H(w)/H(0)))의 계수 (c_m)을 계산한다.

셋째,

[
\tau_m=(-1)^{m+1}mc_m
]

을 구한다.

넷째, 이 수열이 양의 스펙트럼의 모멘트 수열인지 판정한다.

다섯째, 해당 모멘트를 실현하는 연산자를 소수 또는 산술 자료에서 독립적으로 구성한다.

---

9.3 행켈 양성 조건

양의 측도의 모멘트 수열이라면 모든 유한 복소수열 (a_0,\ldots,a_N)에 대해

[
\sum_{j,k=0}^{N}
\overline{a_j}a_k\tau_{j+k}
\ge0
]

이어야 한다.

즉, 행켈 행렬

[
\mathcal M_N

(\tau_{j+k})_{j,k=0}^{N}
]

이 양의 준정부호이어야 한다.

따라서

[
\det\mathcal M_N\ge0
]

및 모든 주행렬식의 비음성은 양의 스펙트럼 후보를 검사하는 유한차원 수치 조건이 된다.

그러나 임의의 유한한 (N)까지 양성이 확인되었다고 해서 무한차원 연산자의 존재 또는 리만가설이 증명되는 것은 아니다. 모든 차수에서의 양성과 적절한 성장·결정성 조건이 필요하다.

---

10. 수치 검증 방법10.1 영점별 반사 정합성 검사

영점 후보

[
\rho_n=\beta_n+i\gamma_n
]

가 주어지면

[
x_n=\beta_n-\frac12
]

를 계산한다.

정합성 결함행렬은

[
C_n

\begin{pmatrix}
0&2x_n\gamma_n\
2x_n\gamma_n&0
\end{pmatrix}.
]

수치 오차를 고려한 지표는

[
D_n|C_n|_{\mathrm F}

2\sqrt2,|x_n\gamma_n|
]

이다.

임계선 위의 계산된 영점에 대해서는 부동소수점 오차 범위 안에서

[
D_n\approx0
]

이 된다.

그러나 이러한 검사는 입력된 영점이 임계선 위에 있는지를 재확인하는 것이며, 아직 계산되지 않은 무한히 많은 영점까지 증명하지는 않는다. 수치적 검증과 보편명제의 해석적 증명은 구분되어야 한다. 클레이의 공식 문제 설명에서도 유한 범위의 엄밀한 수치 검증과 전체 가설의 증명을 별개로 다룬다.

---

10.2 제곱좌표 검사

각 영점 후보에 대해

[
w_n

\left(\rho_n-\frac12\right)^2
]

를 계산한다.

그 후

[
|\Im w_n|
]

을 측정한다.

[
|\Im w_n|

2|x_n\gamma_n|
]

이므로 반사텐서 결함과 완전히 동일한 정보를 준다.

또한

[
\Re w_n<0
]

인지 검사한다.

---

10.3 검증용 파이썬 코드import mpmath as mp mp.mp.dps = 50 def xi(s: complex) -> complex: """Riemann completed xi function.""" s = mp.mpc(s) return ( mp.mpf("0.5") * s * (s - 1) * mp.power(mp.pi, -s / 2) * mp.gamma(s / 2) * mp.zeta(s) ) def square_coordinate(rho: complex) -> complex: """w = (rho - 1/2)^2.""" return (mp.mpc(rho) - mp.mpf("0.5")) ** 2 def binary_reflection_defect(rho: complex): """ Return x, gamma, the defect matrix, and its Frobenius norm. rho = 1/2 + x + i gamma. """ rho = mp.mpc(rho) x = mp.re(rho) - mp.mpf("0.5") gamma = mp.im(rho) defect = mp.matrix([ [0, 2 * x * gamma], [2 * x * gamma, 0], ]) frobenius = mp.sqrt( sum(abs(defect[i, j]) ** 2 for i in range(2) for j in range(2)) ) return x, gamma, defect, frobenius def check_first_zeros(count: int = 10): """ Numerical illustration only. This does not prove the Riemann hypothesis. """ for n in range(1, count + 1): rho = mp.zetazero(n) x, gamma, defect, norm = binary_reflection_defect(rho) w = square_coordinate(rho) print(f"n = {n}") print(f"rho = {mp.nstr(rho, 30)}") print(f"x = {mp.nstr(x, 10)}") print(f"w = {mp.nstr(w, 30)}") print(f"Im(w) = {mp.nstr(mp.im(w), 10)}") print(f"defect norm = {mp.nstr(norm, 10)}") print() if __name__ == "__main__": check_first_zeros(10)

이 코드는 알려진 수치 영점들에 대해

[
\Im w_n\approx0,
\qquad
C(\rho_n)\approx0
]

임을 확인한다.

다만 zetazero가 임계선상의 영점 계산을 목적으로 구현된 함수라는 점에서, 이 코드는 임계선 밖 영점이 존재하지 않는다는 독립적 검사가 아니다.

---

10.4 인공적인 임계선 이탈 상태

예를 들어

[
\rho_{\mathrm{test}}

0.6+14i
]

라 하면

[
x=0.1,\qquad \gamma=14.
]

따라서

[
2x\gamma=2.8
]

이고

[
C(\rho_{\mathrm{test}})

\begin{pmatrix}
0&2.8\
2.8&0
\end{pmatrix}.
]

제곱좌표는

[
w(0.1+14i)^2

-195.99+2.8i.
]

즉,

[
\Im w=2.8
]

이며, 텐서결함의 비대각 성분과 정확히 일치한다.

이 예시는 본 프레임워크가 임계선 이탈을 어떻게 측정하는지를 보여준다.

---

11. 기존 원안에서 교정되어야 할 주장11.1 정수의 존재론적 재정의

“정수는 실제로 직각삼각형으로 이루어진 물리적 공간이다”라는 문장은 현재의 수학적 정의만으로 증명되지 않는다.

엄밀한 표현은 다음과 같다.

양의 정수의 곱셈구조는 주어진 복소 매개변수 (s)에 대해 크기와 위상각을 갖는 벡터 대수로 충실하게 표현될 수 있다.

즉, 이는 정수의 표현론적 모형이지 정수의 존재론을 교체하는 정리가 아니다.

---

11.2 대칭성과 임계선 정렬

함수방정식은

[
\rho\mapsto1-\rho
]

대칭을 주고, 복소켤레는

[
\rho\mapsto\overline\rho
]

대칭을 준다.

하지만 대칭적인 두 점이 반드시 대칭축 위에 있어야 하는 것은 아니다.

따라서

[
\text{좌우 대칭}
]

만으로

[
\Re\rho=\frac12
]

를 결론내릴 수 없다.

필요한 것은 단순한 대칭쌍의 존재가 아니라 반사된 두 텐서가 동일해지는 추가 조건

[
P_+=P_-
]

이다. 그리고 이 추가 조건은 리만가설과 동치이다.

---

11.3 비대각 성분의 소멸

행렬의 비대각 성분이 반드시 소멸해야 한다고 선언할 수는 없다.

정확한 논리는 다음과 같다.

[
\text{비대각 성분이 소멸한다}
]

[
\Longleftrightarrow
]

[
\text{영점이 임계선 위에 있다}.
]

따라서 비대각 성분의 소멸은 증명해야 할 결론이지, ‘닫힌 에너지계’라는 물리적 직관만으로 부과할 수 있는 공리가 아니다.

공리로 부과하면 그 공리계 안에서는 리만가설이 즉시 성립하지만, 그 공리계가 실제 리만 제타함수를 정확히 재현한다는 별도의 증명이 필요하다.

---

11.4 양의 연산자의 가정

[
K=K^*>0
]

를 가정하고

[
H(w)/H(0)=\det(I+wK)
]

라고 놓으면 리만가설이 따라온다.

그러나 이 표현의 존재는 리만가설과 동치이므로, 이를 증명 없이 전제로 사용하면 결론을 가정한 셈이 된다.

실질적 연구과제는 다음이다.

[
\boxed{
\text{소수 자료만으로 }K\text{를 구성하고 }
K\ge0\text{와 행렬식 항등식을 증명하라}.}
]

---

11.5 다른 밀레니엄 문제로의 확장

이진 반사대칭만으로 양–밀스 질량 간극이나 나비에–스토크스 전역 정칙성이 증명되지는 않는다.

양–밀스 문제에는 엄밀한 양자장 구성과

[
\operatorname{Spec}(\mathcal H)
\subset
{0}\cup[\Delta,\infty),
\qquad
\Delta>0
]

형태의 스펙트럼 간극 증명이 필요하다.

나비에–스토크스 문제에는 비선형 와도 신장항을 제어하는 전역 선험적 추정이 필요하다.

따라서 이들 문제와의 관련성은 현재 단계에서는 연구 가능성 또는 유추로만 제시해야 하며, 해결된 정리로 선언해서는 안 된다.

---

12. 향후 연구 프로그램12.1 산술적 힐베르트 공간의 구성

첫 번째 목표는 영점 목록을 입력으로 사용하지 않는 힐베르트 공간

[
\mathcal H_{\mathrm{arith}}
]

을 구성하는 것이다.

이 공간의 기저 또는 커널은 다음과 같은 산술 자료로부터 정의되어야 한다.

[
\log p,\qquad
\Lambda(n),\qquad
n^{-1/2},\qquad
\text{소수의 거듭제곱}.
]

---

12.2 산술 연산자의 자기수반성

연산자 (K_{\mathrm{arith}})에 대해

[
K_{\mathrm{arith}}

K_{\mathrm{arith}}^*
]

를 증명해야 한다.

단순히 행렬을 대칭적으로 작성하는 것만으로 충분하지 않다. 연산자의 정의역, 폐쇄성, 유계성 또는 콤팩트성 및 내적과의 호환성이 모두 검토되어야 한다.

---

12.3 양성 증명

모든 (f\in\mathcal H_{\mathrm{arith}})에 대해

[
\langle f,K_{\mathrm{arith}}f\rangle\ge0
]

임을 증명해야 한다.

이 단계가 성공하면 스펙트럼은 비음이 아닌 실수에 놓인다.

---

12.4 트레이스급 조건

프레드홀름 행렬식을 사용하려면

[
\operatorname{tr}|K_{\mathrm{arith}}|<\infty
]

또는 이에 상응하는 적절한 행렬식 이론이 필요하다.

고유값을 (\mu_n)이라 할 때

[
\sum_n|\mu_n|<\infty
]

가 요구된다.

---

12.5 행렬식 항등식

최종적으로

[
\det(I+wK_{\mathrm{arith}})

\frac{H(w)}{H(0)}
]

를 열린 영역에서 증명한 다음 해석적 연속 또는 전해석함수의 항등정리를 통해 모든 (w\in\mathbb C)로 확장해야 한다.

유한한 차수의 테일러 계수 일치나 유한 개 영점의 일치는 전역 항등식을 증명하지 않는다.

---

13. 주정리의 통합 서술통합 정리

리만 완성함수

[
\xi(s)

\frac12s(s-1)\pi^{-s/2}
\Gamma\left(\frac{s}{2}\right)\zeta(s)
]

와 제곱좌표 중심함수

[
\xi\left(\frac12+z\right)=H(z^2)
]

를 고려한다.

비자명 영점

[
\rho=\frac12+x+i\gamma
]

에 대해 반사벡터와 텐서를

[
v_\pm=
\begin{pmatrix}
\pm x\
\gamma
\end{pmatrix},
\qquad
P_\pm=v_\pm v_\pm^T
]

로 정의한다.

그러면 다음 명제들은 서로 동치이다.

[
\text{(1) 리만가설이 참이다.}
]

[
\text{(2) 모든 비자명 영점에 대해 }P_+=P_-.
]

[
\text{(3) 모든 비자명 영점에 대해 }
\left(\rho-\frac12\right)^2<0.
]

[
\text{(4) }H\text{의 모든 영점이 음의 실수이다.}
]

[
\text{(5) 양의 트레이스급 자기수반 연산자 }K\text{가 존재하여}
]

[
\frac{H(w)}{H(0)}

\det(I+wK)
]

가 성립한다.

증명 개요[
P_+-P_-

\begin{pmatrix}
0&2x\gamma\
2x\gamma&0
\end{pmatrix}
]

이고 (\gamma\neq0)이므로

[
P_+=P_-
\Longleftrightarrow x=0.
]

또한

[
\left(\rho-\frac12\right)^2

x^2-\gamma^2+2ix\gamma
]

이므로 이 값이 음의 실수인 것과 (x=0)이 동치이다.

중심함수의 정의로부터 이 제곱좌표는 정확히 (H)의 영점이다.

마지막으로 양의 트레이스급 연산자의 프레드홀름 행렬식은 음의 실수 영점만 가지며, 반대로 리만가설이 참이면 영점 (-\gamma_n^2)로부터 고유값 (\gamma_n^{-2})를 갖는 양의 대각 트레이스급 연산자를 구성할 수 있다. (\square)

---

14. 결론

본 논문은 정수, 소수, 리만 영점 및 연산자 스펙트럼을 다음의 네 층으로 연결하였다.

첫째, 정수의 곱셈은 복소 위상벡터의 곱으로 정확히 표현된다.

[
V_{mn}(s)=V_m(s)\star V_n(s).
]

둘째, 영점의 임계선 이탈은 이진 반사텐서의 비대각 결함으로 측정된다.

[
C(\rho)

\begin{pmatrix}
0&2x\gamma\
2x\gamma&0
\end{pmatrix}.
]

셋째, 동일한 결함 (2x\gamma)는 제곱좌표의 허수부이다.

[
\Im\left(\rho-\frac12\right)^2=2x\gamma.
]

넷째, 제곱좌표 영점이 양의 자기수반 연산자의 역스펙트럼으로 표현되면

[
w_n=-\frac1{\mu_n}<0
]

이므로 모든 비자명 영점은 임계선 위에 놓인다.

따라서 본 논문의 핵심 연결은

[
\boxed{
\text{이진 반사텐서}
;\longleftrightarrow;
\text{제곱좌표}
;\longleftrightarrow;
\text{음의 실수 영점}
;\longleftrightarrow;
\text{양의 연산자 스펙트럼}}
]

이다.

이 구조는 수학적으로 일관되며 리만가설의 정확한 동치 프레임워크를 제공한다. 그러나 동치 프레임워크를 제시하는 것과 리만가설을 증명하는 것은 구별되어야 한다.

남은 결정적인 문제는 다음 한 문장으로 요약된다.

[
\boxed{
\text{영점의 임계선 정렬을 가정하지 않고,
소수의 산술구조로부터 양의 연산자 }K
\text{를 직접 구성하라}.}
]

그러한 연산자의 독립적 구성과

[
\det(I+wK)

\frac{H(w)}{H(0)}
]

의 증명이 완성될 경우, 본 논문의 이진 반사행렬–제곱좌표–스펙트럼 연결은 리만가설의 실제 증명으로 승격된다.

현재 단계에서 본 이론의 학술적으로 정당한 결론은 다음과 같다.

이진삼각텐서 이론은 리만가설을 이미 해결한 이론이 아니라, 임계선 조건을 반사행렬의 정합성, 제곱좌표의 음의 실수성 및 양의 트레이스급 연산자의 스펙트럼 조건으로 통합하여 표현하는 엄밀한 연구 프레임워크이다.

---

참고문헌

1. B. Riemann, Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse, Monatsberichte der Berliner Akademie, 1859. 영문 번역본은 리만의 오일러곱 출발점과 복소함수 확장을 수록한다.

2. E. Bombieri, Problems of the Millennium: The Riemann Hypothesis, Clay Mathematics Institute. 리만가설의 공식적 설명과 소수 분포 및 영점 이론의 배경을 제공한다.

3. NIST Digital Library of Mathematical Functions, Chapter 25, Riemann Zeta Function. 임계띠, 영점대칭 및 리만가설의 표준적 정의를 제공한다.

4. E. C. Titchmarsh, revised by D. R. Heath-Brown, The Theory of the Riemann Zeta-Function, Oxford University Press.

5. H. M. Edwards, Riemann’s Zeta Function, Dover Publications.

6. B. Simon, Trace Ideals and Their Applications, American Mathematical Society.

7. F. Smithies, Integral Equations, Cambridge University Press.

8. J. B. Conway, Functions of One Complex Variable, Springer.

9. R. P. Boas, Entire Functions, Academic Press.

10. Clay Mathematics Institute, Riemann Hypothesis, Millennium Prize Problem.