Residue Class Patterns of Consecutive Primes

소수(prime numbers)를 무한한 파티에 도착하는 일렬의 VIP 하객들이라고 상상해 보세요. 각 하객은 배지를 달고 있는데, 이 배지의 숫자는 특정 색상의 필터(모듈러스, $q$라고 부릅시다)를 통해서 볼 때만 보입니다. 이 필터를 통해 보면 배지의 숫자는 시계처럼 다시 돌아갑니다.

오랫동안 수학자들은 이 VIP들(소수)이 믿기지 않을 정도로 무작위적이라고 생각해 왔습니다. 그들은 만약 긴 연속된 하객들의 줄을 본다면, 가능한 모든 배지 색상의 조합을 결국 보게 될 것이며, 그것을 영원히 반복해서 보게 될 것이라고 생각합니다. 이것이 바로 "하디-리틀우드 소수 튜플 추측(Hardy–Littlewood prime tuple conjecture)"입니다. 이는 아름다운 아이디어이지만, 현재는 단지 추측일 뿐입니다. 우리는 아직 이를 증명할 수 없습니다. 사실, 단 하나의 특정한, 반복되지 않는 배지 색상 패턴이 무한히 자주 발생한다는 것을 증명하는 것조차 현재 우리의 능력 밖의 일입니다.

하지만 이 논문에서 척 펑(조슈아) 라우(Cheuk Fung (Joshua) Lau)는 우리가 충분히 많은 종류의 배지 색상을 선택할 수 있다면, 엄청난 수의 이러한 패턴들이 무한히 자주 발생한다는 것을 증명할 수 있는 방법을 찾아냈습니다.

"블록 파티"의 발견

소수의 수열을 긴 사람들의 줄이라고 생각해 보세요. 라우의 주요 결과는 이 무한한 줄 안에서 거대하고 조직적인 블록 파티를 찾아내는 것과 같습니다.

그는 만약 당신이 "제곱 없는(squarefree)" 모듈러스 $q$(이것을 아무런 중복된 소인수가 없는 깨끗하고 단순한 렌즈라고 생각하세요)를 가지고 있고, 사용 가능한 배지 색상의 수($\phi(q)$)가 충분히 크다면, 정해진 패턴을 따르는 $m$개의 연속된 소수의 특정 수열을 찾을 수 있음을 증명합니다.

여기에는 마법 같은 기술이 있습니다. 라우는 단순히 하나의 패턴을 찾는 것이 아닙니다. 그는 만약 당신이 최소 $60m \log m$개의 정해진 나머지 클래스(배지 색상)로 이루어진 매우 긴 목록을 작성한다면, 이 긴 목록은 반드시 순서대로, $m$개의 연속된 소수가 특정 패턴을 따르는 블록을 포함하며, 이 패턴은 무한히 반복된다는 것을 보여줍니다.

이를 가능하게 하기 위해 그는 약간의 유연성을 발휘해야 했습니다. 그는 이 긴 목록 안에서, 색상이 짧은 폭(길이가 최대 $\lceil \log m \rceil$인 블록) 동안 유지되다가 새로운 색상으로 바뀌는 패턴을 찾을 수 있음을 보여주었습니다. 이것은 마치 무용수들이 몇 초 동안 포즈를 취하다가 새로운 포즈로 전환하는 댄스 루틴을 찾는 것과 같습니다. 그리고 이 특정한 루틴이 무한한 소수의 줄 속에서 반복해서 일어납니다.

도구: 체(Sieve)와 구성(Construction)

그는 어떻게 이 일을 해냈을까요? 그는 두 가지 강력한 수학적 도구를 결합했습니다.

먼저, 그는 변형된 **메이너드-타오 체(Maynard–Tao sieve)**를 사용했습니다. 이것을 아주 미세한 그물이라고 상상해 보세요. 소수들이 매우 가깝게 모여 있는 클러스터를 잡아내도록 설계된 그물입니다. 보통 이 그물은 소수들을 "어느 정도" 가깝게 잡아냅니다. 라우는 이 그물을 수정하여(단순히 2차 모멘트 대신 $r$차 모멘트를 살펴봄으로써), 그가 잡은 소수들이 단순히 가까운 것이 아니라, 실제로 전체 소수의 줄에서 "연속적인" 소수들이 되도록 했습니다.

둘째로, 그는 변형된 **에르되시-랭킨 구성(Erdős–Rankin construction)**을 사용했습니다. 이것은 마치 숙련된 건축가의 청사진과 같습니다. 그는 체에 걸려든 소수들이 정확히 자신이 원하는 배지 색상을 달도록 강제하는 특정 "함정"(숫자의 집합)을 만드는 데 이 구성을 사용했습니다. 그는 소수들이 $q$에 대한 올바른 "나머지 클래스"(색상)에 떨어지도록 함정을 세심하게 배치했습니다.

결과: 패턴은 얼마나 많은가?

이 논문은 우리가 현재 모든 가능한 패턴이 무한히 자주 발생한다는 것을 증명할 수는 없다는 점을 명시적으로 배제합니다. 그것은 여전히 추측으로 남아 있습니다. 라우의 연구는 거대한 진전이지만, 전체 미스터리를 해결하지는 못합니다.

대신, 그는 우리가 알고 있는 패턴의 개수에 대한 하한선(guarantee)을 제시합니다.

1. "중간" 범위: 만약 사용 가능한 색상의 수 $\phi(q)$가 대략 $3823e^{10}(\log m)^{10} + 1$보다 크다면, 라우는 적어도 특정한 거대한 수의 패턴이 무한히 자주 발생함을 증명합니다. 이 숫자는 대략 $\phi(q)(\phi(q)-1)$에 비례합니다. 이는 기존의 방법들이 약 $m\phi(q)$개의 패턴만을 보장할 수 있었던 것에 비해 상당한 개선입니다.
2. "큰" 범위: 만약 색상의 수가 훨씬 더 많다면(구체적으로 $\phi(q) > 8e^2 m \log m$라면), 보장되는 패턴의 수는 폭발적으로 증가합니다. 이 논문은 적어도 대략 $e^{-O(m \log^2 m / \log m)} \phi(q)^{m / \lceil \log m \rceil}$개의 패턴이 존재함을 보여줍니다.

"이동(Shifting)" 기술

이 숫자들을 얻기 위해, 라우는 영리한 조합론적 논증을 사용합니다. 그는 자신의 체에 의해 발견된 "좋은" 패턴에서 시작하여 이를 "이동(shift)"시킵니다. 당신이 유효한 댄스 루틴을 가지고 있다고 상상해 보세요. 만약 마지막 무용수를 앞으로 옮기거나, 전체 라인을 이동시킨다면, 당신은 새로운 유효한 루틴을 얻을 수도 있습니다. 이 이동 과정을 반복함으로써, 그는 보장되는 패턴의 수를 곱해 나갑니다.

하지만 그는 이 이동이 패턴들이 서로 구별될 때만 작동한다는 점을 주의 깊게 명시합니다. 그는 원래의 패턴이 신중하게 구성되었다면, 패턴을 최대 $\lfloor (1-c)m \rfloor$번 이동했을 때 매번 고유한 새로운 패턴을 얻을 수 있음을 증명합니다.

결론

이 논문은 모든 가능한 소수 배지 색상 패턴이 무한히 자주 발생한다고 증명하는 것은 아닙니다. 그 꿈은 여전히 손에 닿지 않는 곳에 있습니다. 하지만 이 논문은 만약 충분히 큰 색상 집합을 가지고 있다면(구체적으로 $q$가 제곱 없는 수이고 $\phi(q)$가 충분히 크다면), 방대한 수의 특정한, 상수가 아닌 패턴들이 무한히 자주 나타남을 보장합니다.

저자들은 자신들의 증명이 시뮬레이션이나 추측이 아닌 엄밀한 증명이기 때문에 이 결과에 대해 매우 확신하고 있습니다. 그들은 (변형된 체와 구성을 통해) 이러한 패턴들이 반드시 존재함을 입증할 수학적 기계 장치를 구축했습니다. 우리가 아직 소수의 모든 패턴이라는 무지개를 다 볼 수는 없지만, 라우는 그 무지개의 거대하고 다채로운 조각이 영원히 반복되며 분명히 존재한다는 것을 성공적으로 증명해 냈습니다.