Separating Abelian and Homomorphic Entropy Cones

시끄러운 방 너머로 비밀 메시지를 보내려고 한다고 상상해 보십시오. 당신은 신호가 엉키지 않고 얼마나 많은 정보를 담을 수 있는지 그 절대적인 한계를 알고 싶습니다. 정보 이론의 세계에서 과학자들은 정보의 양을 측정하기 위해 '엔트로피'를 연구합니다. 엔트로피를 데이터 세트 안에 담긴 '놀라움'이나 '미스터리'의 양이라고 생각하십시오. 구슬 주머니에 구슬이 있다면, 색상과 패턴이 더 다양할수록 엔트로피는 높아집니다.

수십 년 동안 수학자들은 이 정보의 조각들이 어떻게 서로 맞물릴 수 있는지에 대한 '게임의 규칙'을 그려내기 위해 노력해 왔습니다. 그들은 이 규칙들이 종종 '원뿔(cone)'이라 불리는 기하학적 모양을 띤다는 것을 발견했습니다. 만약 유효한 정보 패턴과 불가능한 패턴을 구분하는 선을 그을 수 있다면, 당신은 데이터의 우주를 관통하는 근본적인 법칙을 찾아낸 것입니다. 하지만 여기 반전이 있습니다. 이 법칙들은 이 게임을 실행하는 '엔 엔진(engine)'에 따라 달라집니다. 어떤 엔진은 단순하고 경직되어 있지만(예: 직선), 어떤 엔진은 더 유연하고 복잡합니다(예: 엉킨 매듭). 큰 질문은 이것입니다. 단순한 엔진이 복잡한 엔진과 정확히 같은 규칙을 따르는가, 아니면 복잡한 엔진만이 활용할 수 있는 비밀스러운 허점이 존재하는가?

"Separating Abelian and Homomorphic Entropy Cones"라는 제목의 이 논문은 바로 그 질문을 파고듭니다. 저자인 샤람 카자이(Shahram Khazaei)는 두 가지 특정 유형의 정보 엔진을 조사하고 있습니다. 첫 번째는 '아벨리안(Abelian)' 엔진으로, 이는 모든 책이 고정되고 예측 가능한 자리에 배치되어 모든 것이 깔끔하고 대칭적으로 작동하는 잘 정리된 도서관과 같습니다. 두 번째는 '호모모픽(Homomorphic)' 엔진으로, 이는 조금 더 유연합니다. 이 엔진은 시스템의 일부를 전체를 깨뜨리지 않고도 교체하거나 이동할 수 있는 특수한 구조적 대칭을 허용합니다.

오랫동안 연구자들은 유연한 호모모픽 엔진이 경직된 아벨리안 엔진이 할 수 없는 일을 할 수 있을 것이라고 의심해 왔지만, 이를 증명하지는 못했습니다. 그들은 작은 시스템(변수 또는 '플레이어'가 5개 이하인 경우)에서는 두 엔진이 정확히 같은 규칙을 따른다는 것을 알고 있었습니다. 하지만 플레이어를 더 추가하면 어떻게 될까요? 유연한 호모모픽 엔진이 갑자기 새로운 초능력을 발휘하게 될까요?

이 논문은 그 답이 강력한 "예"라고 증명합니다. 저자는 243개의 요소와 16개의 특정 부분으로 구성된 특정하고 복잡한 수학적 기계—즉, 호모모픽 엔진 역할을 하는 모델—를 구축했습니다. 그는 이 기계가 호모모픽 엔진에게는 완벽하게 유효하고 가능한 정보 패턴을 생성할 수 있지만, 아벨리안 엔진에게는 엄격하게 불가능한 패턴을 만들어낼 수 있음을 보여주었습니다.

이를 시각화하기 위해, 특정 블록을 사용하여 탑을 쌓으려는 두 팀의 건축가를 상상해 보십시오. 아벨리안 팀은 블록을 매우 엄격하고 대칭적인 격자 구조로 쌓아야 합니다. 호모모픽 팀은 블록을 특정 방식으로 비틀 수 있게 해주는 약간 더 유연한 규칙을 가지고 있습니다. 저자는 호모모픽 팀이 완벽하게 지을 수 있는 16층 탑 설계를 찾아냈습니다. 그러나 그 설계를 아벨리안 팀에게 건네주었을 때, 그 설계는 물리적으로 건설이 불가능하다는 것을 발견했습니다. 블록들이 그들의 경직된 격자 법칙을 깨뜨리지 않고는 서로 맞물릴 수 없었기 때문입니다.

이 논문은 단순히 "다르다"라고 말하는 데 그치지 않고, 아벨리안 팀은 반드시 따라야 하지만 호모모픽 팀은 어길 수 있는 수학적 '부등식(inequality)'—즉, 하나의 규칙—을 제공합니다. 저자는 이 차이가 6개에서 16개의 변수 사이 어딘가에서 나타난다는 것을 발견했습니다. 그들은 16개의 변수에 도달했을 때 이 차이가 확실히 발생한다는 것을 알고 있습니다(그들의 증명은 정확히 16개를 사용합니다). 그들은 6개에서 발생할 수도 있다고 추측하지만, 16개에 도달하면 반드시 발생한다는 것을 증명했습니다.

이 발견은 이 두 종류의 정보 시스템이 서로 대체 가능하다는 생각을 깨뜨리기 때문에 매우 중요합니다. 이는 호모모픽 시스템이 아벨리안 시스템보다 진정한 수학적 우위를 점하고 있음을 보여줍니다. 이것은 단지 이론적인 호기심에 그치는 것이 아닙니다. 이는 비밀 공유 체계(비밀을 여러 사람에게 나누는 방식)를 설계하거나 데이터 네트워크를 최적화하는 방식에 시사점을 줍니다. 저자는 만약 당신이 유연한 호모모픽 규칙에 기반하여 시스템을 설계한다면, 경직된 아벨리안 규칙을 고수해야 할 때 수학적으로 금지되었던 일들을 달성할 수 있다는 것을 보여주었습니다.

요컨대, 이 논문은 모래 위에 명확한 선을 긋습니다. 정보의 세계는 우리가 생각했던 것보다 훨씬 더 다양합니다. 유연한 호모모픽 세계에는 존재하지만 경직된 아벨리안 세계에는 존재하지 않는 패턴들이 있으며, 저자는 이를 증명하기 위해 16개 변수 모델을 구축했습니다.