Embeddability of hieroglyphs in the torus and the intersection form

종이 한가운데에 점 하나가 찍혀 있는 종이를 상상해 보십시오. 이 점에서부터 여러 개의 고무줄이 뻗어 나와, 루프를 그리며 다시 같은 지점으로 돌아옵니다. 만약 당신이 이 루프들을 평평한 종이 위에 그린다면, 그것들은 루프들의 끝점이 정점을 중심으로 가지는 특정한 순서에 따라 서로 교차하며 엉킨 덩어리를 만들어낼 수도 있고, 그렇지 않을 수도 있습니다. 만약 당신이 그 평평한 종이를 사용하는 대신 다른 표면을 선택할 수 있다면 어떨까요? 만약 그 평평한 종이를 가운데에 구멍이 뚫린 도넛 모양처럼 생긴 토러스(torus) 위에 배치할 수 있다면, 당신은 루프들이 시작되는 단 하나의 점을 제외하고는 서로 교차하지 않도록 이들을 풀어낼 수 있을지도 모릅니다. 이것이 그래프를 곡면에 임베딩(embedding)하는 문제의 핵심입니다. 즉, 정해진 순서를 가진 특정한 형태의 선 엉킴이 새로운 매듭이나 교차점 없이 특정 모양 위에 그려질 수 있는지를 결정하는 것입니다.

수학의 세계에서 이 질문은 단순히 예쁜 그림을 그리는 것에 관한 문제가 아닙니다. 그것은 공간과 연결성에 대한 근본적인 규칙을 이해하는 것에 관한 것입니다. 표면의 모양은 매우 중요합니다. 평면과 구(sphere)는 이 임베딩 문제에 있어 동일한 제약을 가집니다. 즉, 정해진 회전 체계(rotation system)를 가진 유한 그래프가 평면에 임베딩될 수 있다면 구 위에도 임베딩될 수 있고, 그 역도 성립합니다. 반면, 토러스는 조작할 수 있는 더 많은 여유 공간을 제공합니다. 연구자들은 복잡하게 엉킨 루프들을 보고 그것이 토러스에 적합한지 즉각적으로 알 수 있는 방법을 오랫동안 찾아왔습니다. 문제는 루프들이 단순히 선일 뿐이 아니라, 중심점에서 떠나는 특정한 순서를 가지고 있다는 점에 있습니다. 이 순서는 바퀴의 살이 배열된 순서처럼, 루프들이 어떻게 상호작용하는지를 결정합니다. 만약 이 순서를 바꾼다면, 그 엉킴은 도넛 위에서도 풀 수 없는 것이 될 수도 있습니다.

팀 베레진(Tim Berezin)의 최근 연구는 '히에로글리프(hieroglyph)'라고 불리는 특정한 수학적 객체에 초점을 맞추어 이 문제를 다룹니다. 이 문맥에서 히에로글리프란 하나의 중심 정점과 많은 루프로 구성된 그래프이며, 여기서 루프들은 정점을 중심으로 고정된 원형 순서로 배치됩니다. 연구자의 목표는 주어진 히에로글리프가 자기 교차 없이 토러스 위에 그려질 수 있는지 결정하는 명확하고 결정적인 규칙을 찾는 것이었습니다. 논문에서 증명된 답은 놀라울 정도로 우아합니다. 연구는 어떤 히에로글리프가 토러스에 적합하려면 네 가지 특정한 '금지된 패턴'의 엉킴을 피해야 한다는 것을 확립합니다. 만약 루프들이 이 네 가지 금지된 배열 중 하나라도 형성한다면, 표면을 아무리 변형해도 교차 없이 그 그림이 존재하게 할 수는 없습니다. 반대로 엉킴이 이 네 가지 패턴을 피한다면, 그것은 반드시 적합할 것입니다.

이 증명은 시각적인 루프 그리기 문제를 계산과 대수의 문제로 변환하는 데 기초하며, 실제로 표면을 직접 그릴 필요는 없습니다. 연구자는 루프들이 디스크에 부착된 띠(band)로 표현되는 수학적 모델을 구축합니다. 띠의 부착 순서와 그로 인해 발생하는 표면의 경계 성분을 추적함으로써, 연구는 '종수(genus)'라고 알려진 값을 계산하는데, 이는 표면이 루프들을 담기 위해 필요한 핸들(handle)의 개수를 측정하는 것입니다. 논문은 히에로글리프가 토러스에 적합하려면 이 종수가 1 이하여야 함을 보여줍니다. 연구는 이 조건이 특정 행렬(어떤 루프들의 끝점이 서로 교차하는지, 즉 순서상 교차하는지를 기록한 숫자 격자)의 계수(rank)를 확인하는 것과 동등하다는 것을 증명합니다. 이 격자의 복잡성이 충분히 낮으면 루프는 적합하고, 너무 높으면 적합하지 않습니다.

이 작업이 특히 강력한 이유는 문제를 해결하는 빠르고 효율적인 방법을 제공하기 때문입니다. 논문은 주어진 히에로글리프가 유효한지를 결정할 수 있는 알고리즘을 설명하는데, 인덱스 배열 표현과 인덱스에 대한 상수 시간 연산을 가정할 때 이 알고리즘은 루프의 개수에 따라 선형적으로 증가하는 시간 내에 작동합니다. 즉, 수천 개의 루프를 가진 히에로글리프가 있더라도, 컴퓨터는 루프 끝들의 특정 치환(permutation)에 있는 사이클을 세는 것만으로 그 유효성을 확인할 수 있습니다. 연구자는 복잡한 표면을 구축하거나 그리는 과정을 시뮬레이션할 필요가 없습니다. 대신, 알고리즘은 루프의 순서를 살펴보고 루프들이 디스크에 부착되었을 때 얼마나 많은 뚜렷한 경계 성분(boundary components)이 존재하는지를 계산합니다. 만약 이 경로의 수가 루프의 수로부터 유도된 특정 공식과 일치한다면, 그 히에로글리프는 유효합니다.

연구는 또한 히에로글리프가 너무 복잡하여 적합하지 않을 때 정확히 어떤 일이 발생하는지도 식별합니다. 연구는 이처럼 복잡한 엉킴은 반드시 불가능함의 근원이 되는 네 가지 특정한 작은 부분 패턴을 포함하고 있음을 보여줍니다. 이 금지된 패턴들은 엉킴 속의 '나쁜 씨앗'과 같습니다. 만약 그것을 발견한다면, 전체 구조는 실패하게 됩니다. 반대로, 히에로글리프가 유효하다면, 논문은 그것이 일련의 논리적 축소를 통해 세 가지 기본적이고 단순한 형태로 단순화될 수 있음을 증명합니다. 이러한 축소 과정은 필수적이지 않은 루프들을 단계적으로 제거하며 매듭을 푸는 것과 같아서, 가장 단순한 형태만 남을 때까지 진행됩니다. 만약 복잡한 엉킴을 규칙을 어기지 않고 이 세 가지 단순한 형태 중 하나로 축소할 수 있다면, 그것은 원래부터 토러스에 적합할 수 있었던 것입니다.

이 연구는 추상 대수학과 기하학적 직관 사이의 간극을 메웁니다. 도넛 위에 선을 그리는 것과 같은 물리적 퍼즐처럼 느껴지는 문제를 정밀한 계산과 행렬의 성질을 사용하여 해결합니다. 연구 결과는 단순한 제안이나 시뮬레이션이 아니라, 모든 가능한 히에로글리프에 대해 성립하는 엄격한 수학적 증명입니다. 적합성을 결정하는 정확한 조건을 규명함으로써, 이 연구는 수학자와 컴퓨터 과학자들이 이러한 구조를 분석할 수 있는 완전한 도구 상자를 제공합니다. 이는 가능한 루프 배열의 세계가 혼돈스러운 것이 아니라, 엄격하고 발견 가능한 규칙에 의해 지배되고 있음을 확인시켜 줍니다. 엉킴이 네 가지 금지된 패턴을 피한다면 그것은 토러스에 속하며, 만약 그것을 포함하고 있다면 그렇지 않습니다. 이러한 명확성은 어려운 기하학적 질문을 직관으로 해결해야 했던 오랜 과제에서, 간단한 계산 작업으로 변화시킵니다.