Diophantine approximation and the subspace theorem

당신은 지도 위에 숨겨진 보물의 정확한 위치를 추측하려고 노력 중입니다. 하지만 당신은 정수 좌표만을 사용할 수 있습니다. 당신은 "동쪽으로 3걸음, 북쪽으로 4걸음"이라고 추측할 수도 있겠지만, 실제 보물은 $\sqrt{2}$ 걸음과 같이 분수가 필요한 지점에 있을 수도 있습니다. 이것이 **디오판토스 근사(Diophantine approximation)**라고 불리는 수학 분야의 핵심입니다. 이 분야는 다음과 같은 단순하면서도 끈질긴 질문을 던집니다. "우리는 지저갈한 무리수(예: $\pi$ 또는 $\sqrt{2}$)에 얼마나 가까운 단순한 분수를 사용하여 그 값에 도달할 수 있는가?"

수 세기 동안 수학자들은 "얼마나 가까워야 충분한가?"라는 게임을 해왔습니다. 그들은 우리가 매우 가까워질 수는 있지만, 엄격한 규칙이 존재한다는 것을 발견했습니다. 어떤 숫자들은 단순한 분수들에 의해 너무 잘 근사되는 것을 거부하며 "고집스럽게" 굴기도 합니다. 이것은 단순한 게임이 아닙니다. 이는 수의 세계에 존재하는 근본적인 법칙입니다. 만약 우리가 이러한 한계를 이해한다면, 정수 해를 갖는 도형에 관한 고대의 퍼즐을 풀 수 있고, 어떤 숫자들이 진정으로 "초월적"(즉, 단순한 방정식의 근이 아님을 의미)임을 증명할 수 있으며, 공간 자체의 숨겨진 구조를 이해할 수 있습니다.

당신이 읽게 될 시바니 고엘(Shivani Goel), 라시 루니아(Rashi Lunia), 안웨쉬 레이(Anwesh Ray)의 논문 **"디오판토스 근사와 부공간 정리(Diophantine Approximation and the Subspace Theorem)"**는 이 게임의 규칙을 설명하는 마스터클래스입니다. 이 논문은 단순히 규칙을 서술하는 데 그치지 않고, 왜 그러한 규칙이 존재하는지에 대한 증명 과정을 안내합니다. 저자들은 두 개의 거대하고 위압적인 수학적 결과인 **로스의 정리(Roth's Theorem)**와 **슈미트의 부공간 정리(Schmidt's Subspace Theorem)**를 가져와 이를 자기 완결적이고 단계적인 가이드로 분해하여 보여줍니다. 그들은 만약 당신이 특정 숫자들을 너무 완벽하게 근사하려고 시도한다면, 그것이 단지 몇 번의 운 좋은 추측이 아니라, 해가 더 이상 존재하지 않거나 매우 구체적이고 좁은 통로 속에 갇히게 되는 벽에 부딪히게 된다는 것을 보여줍니다.

"너무 가까워서 불편한" 게임

기초부터 시작해 봅시다. 당신에게 $\sqrt{2}$와 같은 무리수라는 목표물이 있다고 상상해 보세요. 당신은 다트를 던지지만, 당신의 다트는 항상 분수(예: $1/1, 3/2, 7/5$)입니다.

• 과거의 규칙: 디리클레(Dirichlet)와 같은 초기 수학자들은 당신이 항상 어느 정도의 거리, 대략 $1/q^2$ (여기서 $q$는 분수의 분모) 이내로 접근할 수 있음을 보여주었습니다.
• 더 나은 규칙: 이후 허위츠(Hurwitz)는 이를 개선하여, $1/(\sqrt{5}q^2)$까지 더 가까이 갈 수 있음을 보여주었습니다.
• "안 돼" 구역: 그 후 리우빌(Liouville)이 나타나 이렇게 말했습니다. "잠깐, 만약 그 숫자가 다항식 방정식의 근(대수적 수)이라면, 당신은 결코 임의로 가까워질 수 없습니다." 그는 숫자의 차수가 $d$일 때, $1/q^d$보다 더 가까워질 수 없음을 증명했습니다.

하지만 리우빌의 규칙은 다소 느슨했습니다. 그것은 실제 한계가 1피트인데도 "10피트보다 가까워질 수 없다"라고 말하는 것과 같았습니다. 시간이 흐르면서 튀에(Thue), 지겔(Siegel), 겔폰드(Gelfond)와 같은 수학자들이 이 한계를 점점 더 조여가며 진실에 더 가깝게 다가갔습니다. 마침내 로스의 정리(1955)가 결정타를 날렸습니다. 그것은 다음과 같이 말했습니다. "어떤 대수적 수라도, 아무리 복잡하더라도, 당신은 결코 $1/q^{2+\epsilon}$보다 더 가까워질 수 없다." 즉, 지수가 2를 넘어서는 순간 게임은 끝납니다. 당신은 시스템을 속일 수 없습니다.

논문의 결정적 한 수: 1차원에서 다차원으로

고엘, 루니아, 레이의 논문은 탁월한 작업을 수행합니다. 이들은 로스의 1차원 규칙(단일 숫자를 근사하는 것)을 가져와 이를 고차원으로 확장합니다. 여기서 슈미트의 부공간 정리가 등장합니다.

이제 당신은 선 위의 단 하나의 숫자에 다트를 던지는 것이 아닙니다. 당신은 선형 방정식을 사용하여 숫자들의 전체 계(system), 즉 다차원 공간의 한 점을 근사하려고 노력하고 있습니다.

• 설정: 당신은 일련의 선형 형식(linear forms, 이를 당신의 위치를 측정하는 서로 다른 방법이라고 생각하십시오)을 가지고 있습니다.
• 조건: 만약 이 모든 측정값들이 동시에 "너무 작게"(0에 너무 가깝게) 되는 지점을 찾는다면, 기이한 일이 일어납니다.
• 결과: 부공간 정리는 이 모든 "너무 완벽한" 해들이 무작위로 어디에나 흩어져 있을 수 없다고 말합니다. 대신, 그 해들은 반드시 유한한 개수의 적절한 부공간(proper subspaces)의 합집합 안에 숨어 있어야 합니다.

이것을 쉬운 말로 설명하면 무엇일까요?
당신이 광활한 숲에서 특정 종류의 새를 찾고 있다고 상상해 보세요. 당신에게는 다음과 같은 규칙이 있습니다. "만약 어떤 새가 특정한 낮은 음조로 노래하고 특정한 높이로 비행한다면, 그것은 희귀종이다."

• 정리가 없다면: 당신은 이 희귀한 새들이 숲 전체에 무작도하게 흩어져 있을 것이라고 예상할 수 있습니다.
• 정리가 있다면: 정리는 이 새들이 무작위로 흩어져 있을 수 없음을 증명합니다. 그들은 오직 특정한 좁은 골짜기(부공간)에서만 살아야 합니다. 만약 그 골짜기 밖을 본다면, 당신은 결코 그 새들을 찾을 수 없을 것입니다.

이 논문은 이에 대한 "자기 완결적인" 증명을 제공합니다. 단순히 "그것은 사실이다"라고 말하는 것이 아니라, 높이 함수(number의 "복잡성"이나 "크기"를 측정하는 방법), 지겔의 보조정리(거대한 방정식 체계에서 숨겨진 해를 찾는 도구), 그리고 로스의 보조정리(다항식이 한 점에서 얼마나 잘 소멸하는지를 측정하는 방법)와 같은 도구들을 사용하여 기초부터 증명을 구축합니다.

어떻게 증명했는는가: "보조 다항식" 기법

저자들은 이 정리들을 증명하기 위한 영리하고 다단계적인 전략을 안내합니다. 이것은 마치 탐정이 함정을 설치하는 탐정 소설과 같습니다.

1. 함정 (보조 다항식): 저자들은 증명하고자 하는 것의 반대를 가정합니다. 즉, "너무 좋아서 믿기 힘든" (규칙을 위반하는) 해가 무한히 많이 존재한다고 가정합니다.
2. 그물 만들기: 지겔의 보조정리라는 도구를 사용하여 "보조 다항식"이라는 특별한 수학적 대상을 구성합니다. 이 다항식을 아주 큰 보이지 않는 그물이라고 생각하십시오. 저자들은 이 다항식이 매우 낮은 "높이"(너무 복잡하지 않음)를 가지면서도, 그 "너무 좋은" 점들에서 반드시 0이 되도록 설계합니다.
3. 모순: 여기에 마법이 있습니다. 저자들은 로스의 보조정리를 사용하여, 만약 이 다항식이 이 모든 점들에서 0이라면, 이 다항식이 극도로 평탄해야 함(고차로 소멸해야 함)을 보여줍니다. 하지만 그들이 만든 그물의 방식 때문에, 이 다항식이 모든 곳에서 0이 되지 않는 한 그렇게 평탄할 수는 없습니다.
4. 드러남: 만약 다항식이 모든 곳에서 0이라면, 이는 "너무 좋은" 점들이 우리가 생각했던 방식으로 존재하지 않는다는 것을 의미합니다. 혹은, 만약 그 점들이 존재한다면, 그들은 매우 제약되어 있어서 반드시 특정 선이나 평면(부공간) 위에 놓여 있어야만 합니다.

논문은 이러한 과정을 엄밀한 정밀도로 상세히 설명합니다. 이 다항식들의 "높이"를 어떻게 다루는지, 해의 개수를 어떻게 세는지, 그리고 민코프스키의 제2정리(공간 내 형상의 패킹에 관한 기하학적 규칙)를 사용하여 해들이 그 부공간 외에는 다른 곳에 들어설 수 없음을 어떻게 증명하는지를 보여줍니다.

왜 이것이 중요한가 (수학자가 아니더라도)

당신은 "어떤 방정식의 해가 부공간에 숨어 있다는 것이 누구에게 무슨 상관인가?"라고 궁금해할 수도 있습니다.
이 논문은 이것이 단지 숫자에 관한 것이 아님을 설명합니다. 이것은 현실의 구조에 관한 것입니다.

• 디오판토스 방정식: 이들은 정수 해만을 고려하는 방정식입니다. 부공간 정리는 많은 복잡한 방정식에 대해 정수 해가 유한하다는 것을 증명하는 데 도움을 줍니다. 그것은 언제 퍼즐이 풀릴 수 있는지, 그리고 언제 불가능한지를 알려줍니다.
• 초월수 이론: 이것은 특정 숫자(예: $e$ 또는 $\pi$)가 단순히 무리수인 것을 넘어, 정수 계수를 가진 어떤 다항식의 근도 될 수 없는 "초월수"임을 증명하는 데 도움을 줍니다.
• 점의 분포: 이것은 공간 내에서 점들이 어떻게 분포하는지를 알려줍니다. 만약 "점들은 이 선들에 가까워야 한다"라는 규칙이 있다면, 정리는 그 점들이 정확히 어디에 있을 수 있고 어디에 있을 수 없는지를 알려줍니다.

결론

이 논문은 현대 수론에서 가장 강력한 도구들을 위한 "사용 설명서"입니다. 이 논문은 혼돈을 질서로 강제하는 마법처럼 느껴지는 부공간 정리를 가져와서, 그 마법이 정확히 어떻게 작동하는지를 설명합니다.

저자인 고엘, 루니아, 레이는 불필요한 복잡성을 제거하여 핵심 논리를 드러내는 훌륭한 작업을 해냈습니다. 그들은 숫자의 세계에 경직된 골격이 있음을 보여줍니다. 당신은 움직일 수 있고, 근사할 수 있지만, 그 뼈를 부러뜨릴 수는 없습니다. 만약 당신이 단순한 분수로 진리에 너무 가까이 가려고 한다면, 우주는 당신이 특정한 경로를 따르도록 강제합니다.

이 논문은 단순히 이를 주장하는 것이 아니라, 이를 증명합니다. 모든 단계는 논리에 의해 뒷받침되며, 모든 가정은 테스트를 거치고, 최종 결론은 빈틈이 없습니다. 이는 추상적인 숫자의 세계에서도 중력만큼이나 깨뜨릴 수 없는 법칙이 존재함을 보여주는 아름다운 지도입니다.