Biangular lines with angles arccos(1/5) and arccos(3/5)

당신이 거대하고 투명한 방의 한가운데 서 있다고 상상해 보세요. 당신은 손에서 벽을 향해 뻗어 나가는 길고 가는 막대기를 하나 들고 있습니다. 이제, 당신이 이 막대기들을 아주 많이 가지고 있고, 이 모든 막대기가 당신의 손에서 시작하여 서로 다른 방향을 가리키고 있다고 상상해 보세요. 수학의 세계에서 이것은 "선 체계(line system)"라고 불립니다. 보통 수학자들은 모든 것이 완벽하게 균등한 것을 좋아합니다. 만약 당신이 가진 막대기 세트에서 모든 쌍이 정확히 같은 각도를 이룬다면, 그것은 "등각 선(equiangular lines)"이라고 불리며, 마치 천장에 매달린 완벽하게 균형 잡힌 모빌과 같습니다.

하지만 삶은 그렇게 완벽하기만 한 것은 아닙니다. 때로는 하나의 각도 대신 두 개의 서로 다른 각도를 허용하고 싶을 때가 있습니다. 이것이 바로 "이각 선(biangular lines)"의 세계입니다. 이것은 파트너들이 오직 두 가지 특정한 각도로만 발을 맞추어 춤을 추는 춤과 같습니다. 예를 들어, 넓고 느긋한 기울기나 날카롭고 빠른 회전 같은 것 말이죠. 수학자들이 던지는 질문은 이것입니다: "기하학적 규칙을 어기지 않으면서 이 방에 얼마나 많은 무용수를 채워 넣을 수 있을까?" 방이 커질수록(차원이 높아질수록), 더 많은 막대기를 채워 넣을 수 있을 것 같지만, 기하학의 규칙은 엄격합니다. 두 개의 각도 규칙을 지키면서 막대기를 배치할 수 있는 데에는 한계가 있습니다.

이 논문은 특정 차원(7차원에서 10차원까지, 그리고 15차원까지 살짝 엿보는 것까지)에서 이러한 막대기를 배치할 수 있는 절대적인 최대 개수를 찾아내는 탐정 이야기입니다. 저자인 폴 트리코(Paul Tricot)는 매우 특정한 종류의 춤을 조사하고 있습니다. 이 춤은 막대기 사이의 각도가 1/5과 3/5이라는 두 가지 정밀한 값에 의해 결정됩니다. 그들은 단순히 추측하는 것이 아니라, 이 춤추는 막대기들을 "정수 격자(integral lattices)"와 연결하는 영리한 기술을 사용합니다. 격자를 그래프 용지의 점들이 무한히 확장되는 것처럼 거대한 보이지 않는 점들의 격자라고 생각해 보세요. 저자들은 만약 당신이 막대기를 아주 잘 배치한다면, 이 막대기들이 격자의 "뿌리(roots, 특수한 벡터들)"와 완벽하게 일치하게 된다는 사실을 발견했습니다. 이 연결 고리를 사용하여, 그들은 이 방에 들어갈 수 있는 막대기의 개수를 정확히 증명하고, 이미 알려진 배치들이 실제로 최적의 방식임을 보여줍니다.

위대한 막대기 채우기 대회

이 논문은 특정 문제에 집중합니다: 7차원 공간(시각화하기 어려우니, 7가지 방향으로 움직일 수 있는 방이라고 상상하세요)에서, 모든 쌍의 선이 $\arccos(1/5)$ 또는 $\arccos(3/5)$의 각도로 만나야 한다면, 중심을 통과하는 선을 최대 몇 개까지 그릴 수 있을까요?

이 논문이 나오기 전, 수학자들은 이미 큰 숫자들을 알고 있었습니다. 7차원에서 20차원 사이의 가장 큰 선 집단들은 72, 126, 240 등의 크기를 가졌습니다. 이것들은 특수한 격자인 루트 격자($E_6, E_7, E_8$ 등)를 사용하는 영리한 방법을 통해 만들어졌습니다. 하지만 누구도 이것이 정말로 "가장 큰" 집단인지, 아니면 누군가 더 영리하게 굴어서 몇 개를 더 끼워 넣을 수 있는지 확신하지 못했습니다.

트리코의 논문은 이렇게 말합니다: "더 잘할 수 있는지 확인해 보자." 그리고 7, 8, 9차원에 대한 답은 단호한 **"아니오"**였습니다.

다음은 논문이 실제로 찾아낸 결과이며, 방의 크기별로 정리되어 있습니다:

• 7차원: 이 논문은 최대 선의 개수가 정확히 72개임을 증명합니다. 만약 73개를 넣으려고 시도한다면, 기하학적 구조가 무너집니다. 72개를 만드는 유일한 방법은 $E_6$ 격자로 만들어진 특정한 배치를 사용하는 것입니다. 그것이 유일한 해법입니다.
• 8차원: 한계치는 126개의 선입니다. 역시, 논문은 그보다 더 많이 넣을 수 없음을 증명합니다. 이 숫자에 도달하는 유일한 방법은 $E_7$ 격자로부터 유도된 배치를 사용하는 것입니다.
• 9차원: 한계치는 240개의 선입니다. 증명에 따르면 $E_8$ 격자로부터 나온 배치가 유일한 승자입니다. 241번째 선을 억지로 끼워 넣을 수는 없습니다.
• 10차원: 논문은 동일한 엄격한 과정을 따라 이 차원에서도 가장 큰 체계를 분류하고자 합니다. 하지만 제공된 논문의 텍스트는 10차원에 대한 최종 증명이 완료되기 전에 끊겨 있어, 해당 차원의 한계치는 이 문서 내에서 진행 중인 작업으로 남아 있습니다.

저자들은 단순히 추측한 것이 아니라, 논리적 연역과 컴퓨터 탐색을 결합하여 다른 모든 가능성을 배제했습니다. 만약 더 큰 그룹이 존재한다고 가정하면 결국 수학적 모순에 부딪히게 된다는 것을 보여주었습니다. 이는 마치 둥근 구멍에 사각형 못을 박으려는 것과 같은데, 그 구한은 순수 수학으로 만들어져 있습니다.

"특수 삼각형"의 단서

그들은 어떻게 이것을 증명했을까요? 그들은 "특수 삼각형"이라는 탐정 도구를 사용했습니다. 세 개의 막대기가 당신의 손에 있다고 상상해 보세요. 만약 두 개는 "넓은" 각도($\arccos(3/5)$)로 기울어져 있고, 세 번째 하나는 "날카로운" 각도($\arccos(-1/5)$, 즉 넓은 각도의 반대 방향)로 기울어져 있다면, 이들은 특수 삼각형을 형성합니다.

논문은 어떤 큰 선의 집단(72개 이상)에서도 반드시 이러한 특수 삼각형이 존재해야 함을 증명합니다. 일단 이 삼각형들이 존재한다는 것을 알게 되면, 수학은 매우 엄격해집니다. 저자들은 이러한 삼각형이 존재하면 전체 선의 집단이 특정 격자(lattice)와 정렬될 수밖에 없다는 것을 보여주었습니다. 일단 선들이 격자와 정렬되도록 강제한 후, 그들은 컴퓨터 프로그램을 사용하여 그 격자 위에 막대기를 배치하는 모든 가능한 방법을 확인할 수 있었습니다. 컴퓨터는 수백만 개의 조합을 확인했고, 모든 경우에 기존의 숫자(72, 126, 240)보다 더 많이 가져갈 수 없음을 찾아냈습니다.

15차원에서의 새로운 발견

주요 임무가 7차원에서 9차원(그리고 10차원 시작)까지의 한계를 증명하는 것이었지만, 이 논문은 재미있는 깜짝 선물도 가지고 있었습니다. 15차원에서 저자들은 456개의 선으로 이루어진 새로운 체계를 구축했습니다. 이는 다른 수학자들(Ganzhinov와 Szöllősi)이 발견한 최선의 시스템 크기와 일치하지만, 이 논문은 이를 만드는 신선한 방법을 제공합니다. 이는 마치 똑같이 맛있는 케이크를 만드는 약간 다른 레시피를 찾는 것과 같습니다. 이는 456이 15차원에서 매우 강력한 후보임을 확인시켜 주지만, 이 논문이 그것이 절대적인 한계라고 '증명'했다고 주장하는 것은 아닙니다(고차원에서는 그것이 훨씬 더 어려운 일입니다).

결론

이 논문은 확실성을 향한 승리입니다. 7, 8, 9차원에 대해, 우리는 이제 $\arccos(1/5)$와 $\arccos(3/5)$의 리듬에 맞춰 춤출 수 있는 선의 최대 개수를 정확히 알고 있습니다. 그 숫자는 72, 126, 240입니다. 이 논문은 우리가 이미 알고 있던 배치들이 단순히 좋은 것이 아니라, 이 최대치에 도달하는 '유일한' 방법임을 증명합니다.

저자들은 이 선들과 정수 격자(보이지 않는 격자) 사이의 연결 고리를 초능력처럼 사용했습니다. 문제를 "막대기 끼워 넣기"에서 "격자 위의 점 끼워 넣기" 문제로 전환함으로써, 컴퓨터를 사용하여 모든 가능성을 확인하고 더 나은 방법이 없음을 증명할 수 있었습니다. 이는 고차원 기하학이라는 광대하고 추상적인 세계에서, 때로는 가장 아름다운 패턴이 곧 유일하게 들어맞는 패턴이기도 하다는 것을 상기시켜 줍니다.