Area correlations related to lattice points in discs

위대한 격자 게임: 원과 사각형이 만날 때

당신은 끝없이 펼쳐진 체스판처럼 완벽하게 타일로 덮인 거대하고 무한한 바닥을 보고 있다고 상상해 보십시오. 이제 그 위에 거대한 원을 그리는 모습을 그려보십시오. 원이 점점 커질수록, 원은 이 타일들의 가장자리를 가로지르게 됩니다. 어떤 타일은 원의 거의 전체가 내부에 들어와 있고, 어떤 타일은 거의 외부에 있지만, 원이 통과하는 타일들은 매우 흥색적입니다. 이 "경계 타일(boundary tiles)"들은 기묘한 모양으로 잘려 나가며, 원 안에 들어있는 타일의 양은 0과 1 사이의 분수가 됩니다.

이 시나리오는 기하학과 정수론이 만나는 접점에 놓여 있습니다. 이 두 분야는 서로 다른 언어를 사용하는 것처럼 느껴지곤 합니다. 하나는 "이 모양은 어떻게 생겼는가?"라고 묻는 반면, 다른 하나는 "얼마나 많은 정수가 그 안에 들어가는가?"라고 묻습니다. 1세기 넘게 수학자들은 원 안에 얼마나 많은 격자점(타일의 모서리)이 떨어지는지를 세는 문제인 "가우스 원 문제(Gauss Circle Problem)"에 매료되어 왔습니다. 하지만 여기에는 반전이 있습니다. 그 수치의 오차는 단순한 무작위 소음이 아니라, 숨겨진 구조를 가지고 있다는 점입니다. 최근 연구자들은 더 깊은 질문을 던지기 시작했습니다. 만약 원의 가장자리를 따라 이 타일 조각들의 크기를 관찰한다면, 그 조각들이 혼란스럽고 예측 불가능한 엉망진창인지, 아니면 숨겨진 질서가 있는지 말입니다. 구체적으로, 만약 당신이 한 타일의 조각 크기를 알고 있다면, 원의 곡선을 따라 상당한 거리에 떨어진 다른 타일의 조각 크기를 추측할 수 있을까요? 이 논문은 원의 가장자리를 단순한 도형이 아니라, 격자를 휩쓸고 지나가는 움직이는 경로로 취급하며 이 질문을 파고듭니다.

휩쓰는 원의 이야기

이 논문에서 마테오 보디뇽(Matteo Bordignon)과 페르 쿨베르그(Pär Kurlberg)는 격자 타일의 "조각들"이 서로 연결되어 있는지, 아니면 본질적으로 서로 독립적인지를 확인하기 위한 여정으로 우리를 안내합니다. 그들은 "소멸하는 면적 상관관계 추측(vanishing area correlation conjecture)"이라는 특정 개념을 조사합니다. 쉬운 말로 풀어서 설명하자면, 이 추측은 원이 무한히 커짐에 따라, 한 타일의 조각 크기가 다른 타일의 조각 크기에 아무런 영향을 미치지 않는다는 것을 의미합니다. 이는 두 타일 사이의 거리(원 가장자리를 따라 측정된 타일의 수)가 원의 반지름에 비례하는 1보다 약간 작은 거듭제곱만큼 떨어져 있더라도 마찬가지입니다. 이는 원의 전체 둘레 중 상당 부분을 차지하는 매우 먼 거리입니다. 이것은 마치 동전 던지기와 같습니다. 앞면이 나왔다고 해서 다음 던지기에서 앞면이나 뒷면이 나올 확률이 변하지 않는 것과 같으며, 이는 중간에 긴 연속 던지기가 지나가기를 기다린 후에도 마찬가지입니다.

저자들은 이 "연결 없음"의 아이디어가 사실임을 증명합니다. 그들은 원이 거대해짐에 따라 이 조각들의 면적 사이의 상관관계가 실제로 소멸(vanish)한다는 것을 보여줍니다. 저자들은 이를 "면적 관측량에 대한 혼합(mixing for the area observable)"이라고 설명하는데, 이는 원의 경로 자체가 실제로는 매우 예측 가능하고 질서 정연함에도 불구하고, 시스템이 면적 통계 측면에서 과거를 빠르게 잊어버린다는 뜻입니다. 실제로 논문은 이 흐름이 "본질적으로 적분 가능(essentially integrable)"하며, 각도가 격자선에 대해 일정하게 유지되기 때문에 엄밀한 의미에서의 진정한 "혼합(mixing)"은 확실히 성립하지 않는다고 명시합니다. 그러나 이러한 엄격한 질서에도 불구하고, 특정 면적 측정값은 이러한 큰 거리에서 마치 무작위적이고 상관관계가 없는 것처럼 행동합니다.

이를 어떻게 수행했는지 이해하기 위해, 원의 가장자리를 바닥을 휩쓰는 레이저 빔이라고 상상해 보십시오. 저자들은 빔이 움직이는 동안 단순히 무작위로 타일을 치는 것이 아니라 매끄러운 곡선을 따른다는 점을 깨달았습니다. 그러나 그들은 영리한 트릭을 찾아냈습니다. 아주 짧은 거리에서 보면, 곡선이 너무 매끄러워서 마치 직선처럼 보인다는 것입니다. 그들은 원이 사실 약간씩 다른 각도를 가진 일련의 직선들의 가족인 것처럼 가정하는 "확률적 모델"을 사용했습니다. 이렇게 함으로써, 직선의 각도가 아주 조금만 변하더라도 그 선이 통과하는 타일의 면적이 0에서 1까지 모든 가능한 크기로 휩쓸고 지나간다는 것을 보여줄 수 있었습니다. 각도가 매우 매끄럽게 변하며 모든 가능성을 포괄하기 때문에, 한 지점에서의 절단 크기는 선을 따라 상당한 거리 떨어진 곳에서의 절단 크기와 완전히 무관해집니다.

또한 논문은 이 조각 크기들의 분포가 정확히 어떤 모습인지 계산합니다. 그들은 크기가 고르게 퍼져 있지 않다는 것을 발견했습니다. 대신, 양 끝단에 "특이점(singularities)" 또는 스파이크가 존재합니다. 이는 원이 타일의 아주 작은 조각(면적이 거의 0인 경우)을 잘라내거나 아주 큰 덩어리(타일의 거의 전체)를 잘라내는 일이 꽤 흔하며, 타일을 정중앙으로 자르는 것은 덜 흔하다는 것을 의미합니다. 그들은 심지어 특정 크기의 조각을 얻을 확률에 대한 정밀한 수학적 공식도 제공했는데, 이는 복잡한 적분을 포함하지만 본질적으로 중간은 움푹 들어가고 가장자리는 솟아오른 곡선을 설명합니다.

그들의 연구에서 가장 흥ет로운 부분 중 하나는 "나쁜(bad)" 지점들을 처리하는 방식입니다. 원과 격자의 세계에는 원의 가장자리가 격자선과 거의 완벽하게 평행하게 달리는(구체적으로 기울기가 간단한 유리수에 의해 잘 근사되는) 특정 각도들이 존재합니다. 이러한 특정 지점들에서는 조각들이 무작위적으로 행동하지 않을 수 있습니다. 저자들은 단순히 이 지점들을 연구에서 제외한 것이 아니라, 이 까다로운 지점들이 전체 타일 수에 비해 무시할 수 있을 정도로 드물다는 것을 증명했습니다. 그들은 결과가 "대부분의" 구간에 대해 성립함을 보여주었으며, 이러한 드문 비무작위적 각도들의 기여도는 전체 그림을 망칠 만큼 매우 작다는 것을 입증했습니다. 충분히 큰 원의 구간을 살펴본다면, "나쁜" 지점들은 거대한 바다에 떨어진 작은 물방울 한 방울에 불과하며, 나머지 물은 완벽하게 매끄럽게 흐릅니다.

저자들은 또한 이 조각들의 평균 크기도 살펴보았습니다. 그들은 평균적으로 원이 각 경계 타일의 정확히 절반을 자른다는 것을 확인했습니다. 이것이 당연하게 들릴 수도 있지만, 커지는 원에 대해 이를 엄밀하게 증명하는 것은 중요한 성과입니다. 그들은 또한 조각 크기가 그 평균 주변에서 얼마나 요동치는지를 측정하는 "분산(variance)"을 계산했습니다. 그들은 전체 원에 대한 이 요동의 정도를 설명하는 약 0.119라는 특정 수치를 찾아냈습니다.

결론적으로, 이 논문은 격자를 가로지르는 원이 매우 질서 정연하고 예측 가능한 시스템(수학자들은 이를 "적분 가능"하다고 부릅습니다)임에도 불구하고, 큰 거리에서 볼 때 타일을 자르는 방식은 놀랍게도 무작위적으로 보인다는 것을 확인해 줍니다. 한 타일의 조각 면적은 거시적 거리 떨어진 다른 타일의 면적을 예측하지 못합니다. 이는 질서가 어떻게 혼돈의 환상을 만들어내는지, 그리고 수학자들이 엄격한 기하학적 형상의 행동을 이해하기 위해 어떻게 확률의 도구를 사용할 수 있는지를 보여주는 아름다운 사례입니다. 저자들은 단순히 추측한 것이 아니라, 원이 성장함에 따라 그 경로의 "기억"이 사라져 주사위 굴리기만큼이나 무작위한 패턴을 남긴다는 것을 엄밀한 수학으로 증명해 냈습니다.