맨위로가기

일반화 리만 가설

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

일반화 리만 가설(GRH)은 디리클레 L-함수의 영점에 대한 가설로, 1884년 아돌프 필츠에 의해 처음 제시되었다. 이 가설은 모든 디리클레 지표 χ와 L(χ, s) = 0인 복소수 s에 대해, s가 음의 실수가 아니라면 s의 실수부가 1/2라고 주장한다. GRH가 참일 경우, 소수 분포에 대한 디리클레 등차수열 정리의 강화, 곱셈군의 생성에 대한 정보 제공, 밀러-라빈 소수판별법의 다항 시간 내 실행 가능성 등을 포함하여 여러 중요한 결과를 얻을 수 있다. 확장된 리만 가설(ERH)은 수체의 데데킨트 제타 함수의 영점에 대한 가설로, GRH는 ERH에서 유리수를 수체로, 정수를 정수환으로 설정하여 도출된다. ERH는 체보타료프 밀도 정리의 효과적인 버전을 함의한다.

더 읽어볼만한 페이지

  • 추측 - P-NP 문제
    P-NP 문제는 계산 복잡도 이론에서 P와 NP 복잡도 종류의 관계에 대한 미해결 문제로, 컴퓨터 과학과 수학에 혁명적인 변화를 가져올 것으로 예상되며 암호학, 최적화, 인공지능 등 다양한 분야에 큰 영향을 미칠 수 있다.
  • 추측 - 버치-스위너턴다이어 추측
    버치-스위너턴다이어 추측은 타원 곡선의 유리점 구조와 L-함수 특성 간의 관계를 추측하는 미해결 문제로, 타원 곡선의 랭크가 L-함수의 s=1에서의 영점 차수와 같다고 주장하며, 클레이 수학 연구소의 밀레니엄 문제 중 하나이다.
  • 베른하르트 리만 - 리만 사상 정리
    리만 사상 정리는 복소해석학에서 단일 연결 열린 진부분집합 사이의 각도를 보존하는 정칙함수, 즉 등각 사상의 존재를 보장하는 중요한 정리이다.
  • 베른하르트 리만 - 리만-로흐 정리
    리만-로흐 정리는 콤팩트 리만 곡면에서 인자의 차수, 유리형 함수 공간의 차원, 곡면의 종수 사이의 관계를 나타내는 정리로서, 유리형 함수를 구성하는 문제에 대한 해답을 제시하며 다양한 분야에서 중요한 역할을 한다.
  • 제타 함수와 L-함수 - 리만 제타 함수
    리만 제타 함수는 복소수 s의 함수로, 실수부가 1보다 큰 영역에서 무한급수로 정의되고 s ≠ 1인 모든 복소수에서 유리형 함수로 해석적 연속이 가능하며 함수 방정식과 오일러 곱 공식을 만족하고, 영점 분포는 소수 분포와 관련이 있으며, 비자명 영점이 임계선 상에 있다는 리만 가설은 중요한 미해결 문제이다.
  • 제타 함수와 L-함수 - 디리클레 L-함수
    디리클레 L-함수는 디리클레 지표로 정의되는 복소함수로, 등차수열에 대한 디리클레 정리를 증명하기 위해 도입되었으며, 리만 제타 함수의 일반화이자 오일러 곱, 함수 방정식 등의 성질을 가지며, 모듈러 형식, 타원 곡선과 관련되어 수론적 L-함수 연구의 핵심이고 암호론, 컴퓨터 과학 등에 응용된다.
일반화 리만 가설

2. 일반화 리만 가설 (GRH)

일반화 리만 가설(GRH)은 1884년 아돌프 필츠가 처음 제시한 가설로, 디리클레 L-함수의 영점에 대한 정보를 담고 있으며, 소수 분포에 대한 광범위한 결과를 갖는다는 점에서 원래의 리만 가설과 유사하다.[11]

2. 1. 디리클레 지표와 L-함수

디리클레 지표는 모든 ''n''에 대해 χ(''n'' + ''k'') = χ(''n'')영어이고, gcd(''n'', ''k'') > 1영어일 때마다 χ(''n'') = 0영어인 양의 정수 ''k''가 존재하는 완전 곱셈 수론적 함수 ''χ''이다.[11] 이러한 지표가 주어지면, 다음과 같이 해당 디리클레 ''L''-함수를 정의한다.

:

L(\chi,s) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}



Re ''s'' > 1영어인 모든 복소수 ''s''에 대해 정의된다. 해석적 연속을 통해 이 함수는 ( \chi 가 원시적일 때만) 전체 복소 평면에서 정의된 유리형 함수로 확장될 수 있다.

2. 2. 가설의 공식적인 진술

디리클레 지표는 어떤 양의 정수 ''k''가 존재하여, 모든 ''n''에 대해 χ(''n'' + ''k'') = χ(''n'')영어이고, gcd(''n'', ''k'') > 1영어일 때는 항상 χ(''n'') = 0영어인 완전 곱셈적 수론적 함수 ''χ''를 말한다. 그러한 지표가 주어졌을 때, 대응하는 디리클레 ''L''-함수를, 실수가 1보다 큰 모든 복소수 ''s''에 대해 다음과 같이 정의한다.

:

L(\chi,s) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}



해석적 연속에 의해, 이 함수는 (''χ''가 원시적일 때만) 전 복소 평면에서 정의된 유리형 함수로 확장될 수 있다. 일반화된 리만 가설은, 모든 디리클레 지표 ''χ''와 ''L''(''χ'', ''s'') = 0영어인 모든 복소수 ''s''에 대해, ''s''가 음의 실수가 아니면, ''s''의 실수부가 1/2라고 주장한다.

모든 ''n''에 대해 χ(''n'') = 1영어로 하면, 일반적인 리만 가설이 된다.[1]

2. 3. GRH의 결과

디리클레 등차수열 정리에 따르면, ''a''와 ''d''가 서로소인 자연수일 때, 등차수열 ''a'', ''a'' + ''d'', ''a'' + 2''d'', ''a'' + 3''d'', ... 에는 무한히 많은 소수가 포함된다. π(''x'',''a'',''d'')를 이 수열에서 ''x'' 이하의 소수의 개수라고 하면, 일반화 리만 가설(GRH)이 참일 경우, 모든 서로소인 ''a''와 ''d'', 그리고 모든 ε > 0에 대해 다음이 성립한다.

:\pi(x,a,d) = \frac{1}{\varphi(d)} \int_2^x \frac{1}{\ln t}\,dt + O(x^{1/2+\varepsilon})\quad\mbox{ as } \ x\to\infty

여기서 \varphi(d)는 오일러 피 함수, O는 란다우 표기법이다. 이는 소수 정리를 상당히 강화한 것이다.

GRH가 참이면, 곱셈군 (\mathbb Z/n\mathbb Z)^\times의 모든 진부분군은 2(ln ''n'')2 미만의 숫자와, 3(ln ''n'')2 미만의 ''n''과 서로 소인 숫자를 생략한다.[12][2][8] 즉, (\mathbb Z/n\mathbb Z)^\times는 2(ln ''n'')2 미만의 수의 집합에 의해 생성된다. 이는 여러 증명에 사용되며, (GRH를 가정했을 때) 다음과 같은 결과를 얻을 수 있다.

  • 밀러-라빈 소수 판별법은 다항 시간 내에 실행될 것이 보장된다. (GRH를 필요로 하지 않는 다항 시간 소수 판별법인 AKS 소수 판별법은 2002년에 발표되었다.)
  • 샹크스-토넬리 알고리즘은 다항 시간 내에 실행될 것이 보장된다.
  • 소수 상수-매끄러운 차수를 가진 유한체 위의 다항식 인수 분해를 위한 Ivanyos–Karpinski–Saxena 결정론적 알고리즘[13][3]은 다항 시간 내에 실행될 것이 보장된다.


GRH가 참이면, 모든 소수 ''p''에 대해 O((\ln p)^6) 미만의 원시근 모듈로 ''p'' (정수 모듈로 ''p''의 곱셈군 생성자)이 존재한다.[14][4][9]

약한 골드바흐 추측 또한 일반화 리만 가설에서 파생된다. 이 추측에 대한 하랄드 헬프갓의 증명은 1029 이상의 모든 정수에 대한 추측을 입증하는 충분한 한계를 얻기 위해 특정한 가상 부분까지의 수천 개의 작은 문자에 대한 GRH를 검증하며, 그 아래 정수는 이미 계산에 의해 검증되었다.[15][5][10]

GRH가 참이라고 가정하면, Pólya–Vinogradov 부등식에서 문자 합의 추정치는 O\left(\sqrt{q}\log\log q\right)로 개선될 수 있으며, ''q''는 문자의 법이다.

3. 확장된 리만 가설 (ERH)

확장된 리만 가설(ERH)은 일반화 리만 가설을 수체로 확장한 가설이다.

수체 ''K''가 대수적 정수의 정수환 O''K'' (이 환은 ''K''에서 정수 '''Z'''의 정수적 폐포이다)를 갖는다고 가정한다. ''a''가 O''K''의 0이 아닌 아이디얼이라면, ''Na''로 아이디얼 노름을 나타낸다. ''K''의 데데킨트 제타 함수는 실수부가 1보다 큰 모든 복소수 ''s''에 대해 다음과 같이 정의된다.

:

\zeta_K(s) = \sum_a \frac{1}{(Na)^s}



여기서 합은 O''K''의 0이 아닌 모든 아이디얼 ''a''에 걸쳐 있다.

데데킨트 제타 함수는 함수 방정식을 만족하며, 해석적 연속을 통해 전체 복소 평면으로 확장될 수 있다. 결과 함수는 수체 ''K''에 대한 중요한 정보를 담고 있다. 확장된 리만 가설은 모든 수체 ''K''와 ζ''K''(''s'') = 0을 만족하는 모든 복소수 ''s''에 대해, ''s''의 실수부가 0과 1 사이에 있다면, 실제로 1/2임을 주장한다.

일반화 리만 가설은 정수환 '''Z'''를 가진 수체를 '''Q'''로 할 경우 확장된 가설에서 유도된다.

확장된 리만 가설은 체보타료프 밀도 정리의 효과적인 버전을 시사한다.[16]

3. 1. 수체와 데데킨트 제타 함수

''K''를 수체 ( 유리수 '''Q'''의 유한 차원 체의 확장)로, 대수적 정수의 정수환 O''K'' (이 환은 ''K''에서 정수 '''Z'''의 정수적 폐포이다)를 갖는다고 하자. ''a''가 O''K''의 0이 아닌 아이디얼이라면, ''Na''로 아이디얼 노름을 나타낸다. ''K''의 데데킨트 제타 함수는 실수부가 1보다 큰 모든 복소수 ''s''에 대해 다음과 같이 정의된다.

:

\zeta_K(s) = \sum_a \frac{1}{(Na)^s}



여기서 합은 O''K''의 0이 아닌 모든 아이디얼 ''a''에 걸쳐 있다.

데데킨트 제타 함수는 함수 방정식을 만족하며, 해석적 연속을 통해 전체 복소 평면으로 확장될 수 있다. 결과 함수는 수체 ''K''에 대한 중요한 정보를 담고 있다. 확장된 리만 가설은 모든 수체 ''K''와 ζ''K''(''s'') = 0을 만족하는 모든 복소수 ''s''에 대해, ''s''의 실수부가 0과 1 사이에 있다면, 실제로 1/2임을 주장한다.

일반화 리만 가설은 정수환 '''Z'''를 가진 수체를 '''Q'''로 할 경우 확장된 가설에서 유도된다.

확장된 리만 가설은 체보타료프 밀도 정리의 효과적인 버전을 시사한다.[16] ''L''/''K''가 갈루아 군 ''G''와 결합하는 유한 갈루아 확장이고 ''C''가 ''G''의 켤레류의 합집합인 경우, 대수적 수 이론에서 ''x'' 이하의 노름 ''K''와 프로베니우스 결합 등급의 비분기 소수 수는 다음과 같이 표현한다.

:\frac

\Bigl(\operatorname{li}(x)+O\bigl(\sqrt x(n\log x+\log|\Delta|)\bigr)\Bigr)

란다우 기호에서 암시하는 상수가 절대적인 경우 ''n''은 ''Q''에 대한 ''L''의 정도이며 Δ는 판별식이다.

3. 2. 가설의 공식적인 진술

''K''를 수체 ( 유리수 '''Q'''의 유한 차원 체 확대)로 하고, O''K''를 ''K''에서의 정수 '''Z'''의 정수적 폐포인 대수적 정수의 정수환이라고 하자. ''a''를 O''K''의 0이 아닌 아이디얼이라 하고, ''Na''를 아이디얼 노름이라 하면, ''K''의 데데킨트 제타 함수는 실수부가 1보다 큰 모든 복소수 ''s''에 대해 다음과 같이 정의된다.

:

\zeta_K(s) = \sum_a \frac{1}{(Na)^s}



이 합은 O''K''의 모든 0이 아닌 아이디얼 ''a''에 대한 것이다.

데데킨트 제타 함수는 함수 방정식을 만족하며, 해석적 연속을 통해 전체 복소 평면으로 확장될 수 있다. 결과 함수는 수체 ''K''에 대한 중요한 정보를 담고 있다. 확장된 리만 가설(ERH)은 모든 수체 ''K''와 ζ''K''(''s'') = 0인 모든 복소수 ''s''에 대해, ''s''의 실수부가 0과 1 사이에 있다면, 실제로 1/2이라고 주장한다.

일반화 리만 가설은 수체를 '''Q'''로, 정수환을 '''Z'''로 설정하면 확장된 리만 가설로부터 도출된다.

3. 3. ERH와 GRH의 관계

일반화 리만 가설(GRH)은 수체를 유리수 '''Q''', 정수환을 정수 '''Z'''로 설정하면 확장된 리만 가설(ERH)로부터 도출된다.[16] 즉, ERH는 GRH를 함의한다.

3. 4. ERH의 결과

일반화 리만 가설(ERH)은 체보타료프 밀도 정리의 효과적인 버전을 제시한다.[16] ''L''/''K''가 갈루아 군 ''G''를 갖는 유한 갈루아 확장이고, ''C''가 ''G''의 켤레류의 합집합일 때, 노름이 ''x'' 이하이고 프로베니우스 켤레류가 ''C''에 속하는 비분기 소수의 개수는 다음과 같다.

:\frac

\Bigl(\operatorname{li}(x)+O\bigl(\sqrt x(n\log x+\log|\Delta|)\bigr)\Bigr)

여기서 란다우 기호에 포함된 상수는 절댓값이며, ''n''은 유리수 '''Q''' 위에서 ''L''의 차수이고, Δ는 판별식이다.

참조

[1] 서적 Multiplicative Number Theory https://books.google[...] Springer-Verlag
[2] 저널 Explicit bounds for primality testing and related problems
[3] 서적 Proceedings of the 2009 international symposium on Symbolic and algebraic computation (ISAAC)
[4] 저널 Searching for primitive roots in finite fields
[5] arXiv Major arcs for Goldbach's theorem
[6] 저널 Effective Versions of the Chebotarev Theorem
[7] 문서 Davenport, p. 124.
[8] 저널 Explicit bounds for primality testing and related problems
[9] 저널 Searching for primitive roots in finite fields
[10] 웹사이트 Major arcs for Goldbach's theorem http://arxiv.org/pdf[...] arXiv 2013-07-30
[11] 서적 https://www.google.c[...]
[12] 저널
[13] 서적
[14] 저널
[15] arXiv
[16] 저널


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com