Squarefree numbers in short intervals: explicit and formalized

수직선(number line)을 지평선 너머로 끝없이 펼쳐진, 영롱하게 빛나는 고속도로라고 상상해 보십시오. 이 도로 위에는 어떤 숫자들은 "제곱인수가 없는(squarefree)" 상태인데, 이는 그 숫자들이 결코 반복되지 않는 고유한 구성 요소들로 만들어졌음을 의미합니다. 이를 마치 두 조각의 색이 서로 다른 레고 브릭 세트처럼 생각할 수 있습니다. 완벽한 정사각형 탑을 쌓기 위해 같은 색의 조각을 중복해서 사용할 수 없는 것과 같습니다. 수학자들은 만약 이 고속도로의 아주 넓은 구간을 살펴본다면, 이 특별한 숫자들이 대략 10개 중 6개의 비율로 나타나는 예측 가능한 리듬을 가지고 있다는 사실을 오랫동안 알고 있었습니다. 하지만 만약 우리가 줌을 당겨서 아주 짧고 미세한 구간을 들여다본다면 어떻게 될까요? 이 제곱인수가 없는 숫자들은 여전히 그 리듬을 유지할까요, 아니면 혼란스럽고 예측 불가능해질까요? 이것이 바로 "짧은 구간에서의 제곱인수가 없는 수(squarefree numbers in short intervals)"에 관한 문제입니다. 이는 정수의 숨겨진 패턴을 연구하는 수학의 한 분야인 정수론(number theory)의 퍼즐입니다. 이 문제를 해결하는 것은 거대한 벽에 단 하나의 벽돌이 어떻게 끼워 맞춰지는지를 이해하는 것처럼, 수학의 근본적인 구조를 이해하는 데 도움을 줍니다.

이 논문에서 마얀크 판데이(Mayank Pandey)는 알려진 수학적 결과를 가져와 이를 "명시적(explicit)"이고 "정형화(formalized)"함으로써 이 퍼즐을 다룹니다. 이전에도 이러한 숫자들이 짧은 구간에서도 잘 작동한다는 것을 증명하는 결과가 존재했지만, 그것은 "닐시퀀스(nilsequences)"와 그린(Green) 및 타오(Tao)의 연구를 포함한 강력하고 복잡한 도구(마치 블랙박스처럼 작동하는)에 의존했습니다. 즉, 답이 존재한다는 것은 말해주었지만, 그것을 계산하는 데 필요한 구체적인 수치들을 제공하지는 않았습니다. 판데이의 작업은 그 블랙박스를 분해하여 내부의 모든 기어와 스프링을 측정하고, 그 정확한 치수를 적어 내려가는 것과 같습니다. 그는 시작점 $X$가 적어도 $e^{1027/\varepsilon^2}$(어마어마하게 큰 숫자) 이상이고, 구간의 길이가 $H = X^{1/5 - 2/90935 + \varepsilon}$일 때, 발견되는 제곱인수가 없는 수의 개수가 기대되는 양과 매우 유사할 것임을 증명합니다. 구체적으로, 실제 개수와 기대되는 개수의 차이는 $10450 \varepsilon H X^{-\varepsilon/1025}$보다 작음이 보장됩니다. 이는 구간이 너무 짧지 않고 시작하는 숫자가 충분히 클 경우에 성립하는, 구체적이고 계산 가능한 약속입니다.

이를 달성하기 위해 판데이는 "오차항(error terms)"이라는 까다로운 지형을 헤쳐 나가야 했습니다. 오차항은 개수를 셀 때 발생하는 작은 흔들림들입니다. 그는 문제를 여러 구역으로 나눕니다. 어떤 구역에서는 차이값을 반복적으로 빼서 굴곡을 매끄럽게 만드는 표준적인 기법들을 사용하여 오차를 쉽게 제어할 수 있습니다. 그러나 다른 더 어려운 구역에서는 오차들이 매우 완고하게 버팁니다. 기존 논문에서 이 완고한 구역들은 앞서 언급한 "블랙박스" 도구에 의해 처리되었습니다. 하지만 판데이는 직접 힘든 작업을 수행하기로 결정했습니다. 그는 수학적 표현들을 엉킨 실타래처럼 취급합니다. 마법 같은 기술을 써서 매듭을 푸는 대신, 그는 특정 가닥들을 조심스럽게 잡아당기는 방법(반 데르 코르타 차분법(van der Corput differencing)이라 불리는 방법)을 사용하여 매듭을 느슨하게 만듭니다. 그는 비록 실들이 무질서해 보일지라도, 패턴을 망칠 정도로 엉키지는 않는다는 것을 보여줍니다. 문제를 더 작은 사례들로 나누고 하나씩 확인함으로써, 그는 "흔들림"이 자신의 특정 범위 내에서는 무시할 수 있을 만큼 작다는 것을 증명합니다.

또한 이 논문은 명확성을 위해 설명을 단순화하는 선택을 했습니다. 컴퓨터 코드(Lean 4로 정형화된)에는 약간 더 최적화되고 정밀한 버전의 수학이 포함되어 있지만, 글로 쓰인 노트는 따라가기 더 쉬운 "거친(rougher)" 버전을 제시합니다. 이는 학생에게 도시의 모든 골목길까지 표시된 위성 사진을 건네주는 대신, 주요 경로를 가르치기 위해 단순화된 도시 지도를 보여주는 것과 같습니다. 저자는 이러한 단순화가 최종 지수(exponent)를 약간 약화시킨다는 점을 언급하지만, 핵심적인 발견은 여전히 견고합니다. 즉, 제곱인수가 없는 수의 패턴은 매우 짧은 구간에서도 유지되며, 이제 우리는 그것을 증명할 정확한 수치를 갖게 되었다는 것입니다. 그의 작업은 추측이나 시뮬레이션이 아니라 엄격한 증명이며, 우리가 현미경으로 들여다볼 때조차 수학적 구조가 우리가 기대했던 만큼 질서 정연하다는 것을 확인시켜 줍니다.