Point-to-set Principle and Constructive Dimension Faithfulness

당신이 해안선의 구불구불한 가장자리나 구름의 복잡한 소용돌이처럼 어떤 모양의 "거칠기"나 "복잡성"을 측정하려고 한다고 상상해 보십시오. 수학에서는 **하우스도르프 차원(Hausdorff dimension)**이라는 유명한 도구가 정확히 이 역할을 수행합니다. 이것은 모양이 실제로 얼마나 많은 공간을 채우는지를 알려주는데, 이 값은 항상 정수는 아닙니다(선은 1차원, 정사각형은 2차원이지만, 구불구불한 프랙탈은 1.5일 수 있습니다). 이 개념은 혼돈, 무작위성, 그리고 우주의 숨겨진 구조를 이해하는 데 매우 중요합니다.

이제, 단순히 모양의 기하학적 형태뿐만 아니라, 그 모양 속을 움직이는 특정한 한 점, 예를 들어 프랙탈 해안선을 걷고 있는 작은 개미의 경로를 측정하고 싶다고 상상해 보십시오. 이를 위해 수학자들은 **구성적 차원(constructive dimension)**이라는 도구를 사용합니다. 구성적 차원은 모양의 기하학적 구조를 보는 대신, 그 개미의 경로를 설명하는 데 얼마나 많은 "정보"나 "놀라움"이 필요한지를 봅니다. 만약 경로가 무작위적이고 예측 불가능하다면 정보 함유량이 높습니다(높은 차원). 만약 경로가 단순하고 반복되는 패턴을 따른다면 정보 함유량이 낮습니다(낮은 차원).

여기서 과학자들이 던져온 큰 질문은 다음과 같습니다: 세상을 기술하는 방식을 바꾸면 그 세상이 보이는 복잡함도 변하는가? 만약 우리가 해안선을 정사각형 격자로 측정한다면 하나의 답을 얻게 될 것입니다. 만약 삼각형 격자나 분수를 기반으로 한 격자를 사용한다면, 우리는 동일한 답을 얻게 될까요? 만약 어떤 격자를 사용하더라도 동일한 답을 얻는다면, 우리는 그 격자가 "충실하다(faithful)"라고 말합니다. 만약 격자에 따라 결과가 달라진다면, 그 격자는 "불충실하며(unfaithful)", 우리는 현실을 왜곡된 시각으로 보고 있는 것일지도 모릅니다. 이 논문은 이러한 다양한 복잡성 측정 방식들이 서로 일치하는지에 대해 깊이 파고듭니다.

"충실한" 격자의 이야기

이 논문에서 저자들인 사티데브 난다쿠마르(Satyadev Nandakumar), 수빈 풀라리(Subin Pulari), 아킬 S(Akhil S)는 **칸토어 피복(Cantor coverings)**이라고 불리는 특정 유형의 격자가 포함된 까다로운 문제를 다룹니다. 칸토르 피복은 숫자 선을 나누는 특별한 방식으로, 마치 케이크를 자르는 것과 비슷하다고 생각하면 됩니다. 보통 우리는 케이크를 균등한 조각(예: 10진법 소수 0.1, 0.2, 0.3...)으로 자릅니다. 하지만 칸토르 피복은 더 유연합니다. 이는 수열에 기반하여 다양한 크기의 조각으로 케이크를 자릅니다. 수열의 규칙에 따라 어떤 조각은 아주 작을 수도 있고, 어떤 조각은 아주 클 수도 있습니다.

저자들은 다음과 같은 질문을 던졌습니다: 언제 칸토르 피복이 "충실"한가? 즉, 이 유연한 절단 방식이 기하학적 모양(하우스도르프 차원)과 정보 함유량(구성적 차원) 모두에 대해 표준적이고 경직된 방식과 동일한 복잡성 점수를 제공하는 경우는 언제인가?

그들은 답을 결정하는 특정 "경험칙"을 발견했습니다. 그들은 칸토르 피복이 충실하기 위한 조건은 조각의 크기가 급격하게 변하지 않는 것이라는 점을 밝혀냈습니다. 구체적으로, 현재 조각 크기의 로그 값을 이전 모든 조각 크기의 총합의 로그 값으로 나눈 비율이 계속 진행됨에 따라 0에 수렴한다면, 그 피복은 충실합니다. 만약 이 비율이 높게 유지된다면, 그 피복은 불충실하며 복잡성 측정을 왜곡할 것입니다.

큰 놀라움: 기하학과 정보는 쌍둥이다

그들의 발견 중 가장 흥격한 부분은 두 가지 유형의 충실성을 비교할 때 일어나는 일입니다. 오랫동안 수학자들은 기하학적 모양에 대해 "충실한" 피복이 정보 함유량(구성적 차원)에 대해서도 또한 "충실"할지 궁금해해 왔습니다. 이것들은 서로 다른 두 세계, 즉 하나는 모양과 공간에 관한 것이고, 다른 하나는 데이터와 무작위성에 관한 것처럼 보였습니다.

저자들은 이 두 세계가 칸토르 피복에 있어서는 사실상 동일하다는 것을 증명했습니다. 그들은 만약 칸토르 피복이 기하학적 차원에 대해 충실하다면, 구성적 차원에 대해서도 자동으로 충실하다는 것을 보여주었습니다. 그 반대도 마찬가지입니다. 동전의 어느 쪽 면을 보든 상관없습니다. 만약 격자가 모양에 대해 정직하다면, 데이터에 대해서도 정직합니다.

이를 증명하기 위해 그들은 영리하고 새로운 기술을 고안했습니다. 그들은 무작위적이고 복잡한 비트 시퀀스(예: 긴 0과 1의 문자열)를 가져와서, 겉보기에는 달라 보이지만 정확히 동일한 정보 밀도를 가진 새로운 시퀀스로 "재배열"할 수 있음을 보여주었습니다. 이를 통해 그들은 기하학적 모양의 거동을 정보 문자열의 거동과 직접 연결함으로써, 두 개념의 충실성이 불가분함을 증명했습니다.

이것이 왜 중요한가

이 연구는 복잡성을 바라보는 두 가지 서로 다른 사고방식을 통합한다는 점에서 매우 중요합니다. 이는 이러한 광범위한 유연한 격자(칸토르 피복)의 경우, 우리가 "모양"을 보고 있는지 혹은 "데이터"를 보고 있는지에 따라 서로 다른 답을 얻을까 봐 걱정할 필요가 없음을 알려줍니다. 규칙은 동일합니다.

저자들은 또한 이전에 기하학적 방법으로만 알려졌던 결과에 대해 신선한 정보 이론적 증명을 제공했습니다. 컴퓨터 과학과 정보 이론의 도구(특히 문자열을 설명하는 데 얼마나 어려운지를 측정하는 콜모고로프 복잡도)를 사용함으로써, 그들은 오래된 문제에 대한 새로운 관점을 제시했습니다.

하지만 이야기는 아직 완전히 끝나지 않았습니다. 저자들은 자신들이 칸토르 피복에 대해서는 이 등가성을 증명했지만, 우주의 모든 가능한 유형의 피복 격자에 대해서도 이것이 성립하는지는 아직 알지 못한다고 지적했습니다. 그들은 이를 미래의 탐험가들을 위한 열린 질문으로 남겨두었습니다. 하지만 그들이 연구한 특정 유연한 격리에 대해서는 미스터리가 풀렸습니다. 기하학과 정보는 손을 잡고 함께 걷고 있으며, 하나가 충실하다면 다른 하나도 그러합니다.