[논문 리뷰] On Primes, Graphs and Cohomology

Oliver Knill|arXiv (Cornell University)|2016. 08. 22.

Topological and Geometric Data Analysis참고 문헌 9인용 수 6

한 줄 요약

이 논문은 자연수를 Barycentric 분할 그래프로 모델링하고 세는 함수를 Morse 함수로 사용하여 수론과 그래프 코homology를 연결하는 이산 Morse 이론 프레임워크를 수립한다. Mertens 함수, Möbius 함수, 소수 세기 함수가 Morse 코hom로의 불변량인 Betti 수와 Poincaré-Hopf 지수로부터 자연스럽게 유도됨을 보여주며, 유한 그래프에서 산술 함수와 위상수학적 불변량 간의 깊은 연결 고리가 드러난다.

ABSTRACT

The counting function on the natural numbers defines a discrete Morse-Smale complex with a cohomology for which topological quantities like Morse indices, Betti numbers or counting functions for critical points of Morse index are explicitly given in number theoretical terms. The Euler characteristic of the Morse filtration is related to the Mertens function, the Poincaré-Hopf indices at critical points correspond to the values of the Moebius function. The Morse inequalities link number theoretical quantities like the prime counting functions relevant for the distribution of primes with cohomological properties of the graphs. The just given picture is a special case of a discrete Morse cohomology equivalent to simplicial cohomology. The special example considered here is a case where the graph is the Barycentric refinement of a finite simple graph.

연구 동기 및 목표

• 완전 그래프의 스펙트럼인 ℤ의 Barycentric 분할에 대해, 세는 함수를 Morse 함수로 사용하여 이산 Morse-Smale 복합체를 수립한다.
• 이 복합체의 오일러 지표가 Mertens 함수와 관련되어 있음을 보여, 수론과 위상수학을 연결한다.
• 비판점에서의 Poincaré-Hopf 지수가 Möbius 함수의 값과 대응됨을 보여준다.
• 이 설정에서 강한 Morse 부등식이 Betti 수와 비판점 수를 통해 소수 세기 함수 π(x)와 같은 수론적 양을 표현함을 증명한다.
• 시간 반전 대칭이 Betti 수에 Poincaré dual을 유도하는 Kummer 수로 프레임워크를 확장하고, 이 경우 Morse 코hom로가 단순 복합체 코hom로와 동치임을 보인다.

제안 방법

• 2부터 n까지의 제곱 자유 정수를 정점으로 하고, 한 정수가 다른 정수를 나누는 경우에만 간선을 연결하는 그래프 G(n)를 정의한다.
• 소수 집합 위의 완전 그래프의 Barycentric 분할에서 항등 함수 f(k) = k를 Morse 함수로 간주한다.
• Morse 필터링 G(x) = {f ≤ x}를 사용하여 안정 다중체와 불안정 다중체가 잘 정의된 이산 Morse-Smale 복합체를 정의한다.
• 비판점 x에서의 Poincaré-Hopf 정리 ∑x if(x) = χ(G(n))를 적용하며, 여기서 if(x) = 1 − χ(S−f(x))는 정점 x에서의 지수이다.
• 모르스 지수 m(x) = dim(S(x)) + 1 이고, i_f(x) = (−1)^m(x) 임을 증명하여 위상수학적 지수와 산술 함수 값 간의 연결 고리 수립.
• Künneth 공식과 Barycentric 분할을 사용하여 Morse 코hom로가 원래 그래프의 단순 복합체 코hom로와 동형임을 보인다.

실험 결과

연구 질문

• RQ1 소수의 분포는 어떻게 이산 Morse 복합체의 코hom로적 구조에 코딩될 수 있는가?
• RQ2 그래프 이론적 Morse 복합체에서 Poincaré-Hopf 지수로서 Möbius 함수의 위상수학적 의미는 무엇인가?
• RQ3 Mertens 함수는 어떻게 Morse 필터링의 오일러 지표를 통해 위상수학적 불변량으로 나타나는가?
• RQ4 이산 Morse-Smale 체계가 Barycentric 분할에서 언제 Poincaré 대칭을 보이며, 이는 Kummer 수와 어떻게 관련되는가?
• RQ5 유한 그래프에서 Morse 코hom로가 단순 복합체 코hom로와 어느 정도 동치이며, 이러한 동치를 보장하는 그래프의 구조적 조건은 무엇인가?

주요 결과

• G(n)의 오일러 지표는 χ(G(n)) = 1 − M(n)을 만족하며, 여기서 M(n)은 Mertens 함수로 수론과 위상수학이 연결됨을 보여준다.
• 정점 x에서의 Poincaré-Hopf 지수는 i_f(x) = −μ(x)이며, 여기서 μ는 Möbius 함수로 산술 함수가 직접적으로 위상수학적 지수를 계산함을 보여준다.
• 제로번째 Betti 수는 b₀(G(x)) = 1 + π(x) − π(x/2) ≤ c₀(x)를 만족하며, 여기서 c₀(x)는 영지수 비판점의 수를 세는 함수로 연결성과 소수 분포가 연결됨을 보여준다.
• k > 0에 대해 bₖ(G(x)) = π(k,x) − π(k,x/2) ≤ cₖ(x) = π(k,x) + π(k,x/2)이며, 차이 2π(k,x/2)는 k에 대해 지수적으로 감소하므로 강한 Morse 부등식이 증명된다.
• n+1이 Kummer 수(첫 d+1개의 소수의 곱)이면, 그래프 G(n+1)에 k ↦ (n+1)/k의 치환을 통해 연결 성분에서 bₖ = b_{d−k}의 Poincaré 대칭이 유도된다.
• 임의의 유한 단순 그래프 G에 대해, Barycentric 분할 G₁에서 f(x) = dim(x)를 Morse 함수로 사용하면, 자연스럽게 Morse 코hom로가 G의 단순 복합체 코hom로와 동형이 된다.