엔지니어링을 하다 보면 ‘Local 최적화가 Global 최적화를 보장하지 않는다’는 말을 자주 듣습니다. 그런데 수학, 특히 기하학의 세계에서는 꽤 오랫동안 “Local 정보가 완벽하면 Global 형태도 하나로 정해진다”는 믿음이 있었습니다.

최근 150년 동안 수학자들을 괴롭혀온 이 믿음이 깨졌습니다. 그것도 순수 수학적인 증명이 아니라, 컴퓨터 시뮬레이션과 이산 기하학(Discrete Geometry) 의 도움을 받아서 말이죠.

오늘은 이 흥미로운 발견인 ‘Bonnet Pair’에 대해, 그리고 이것이 우리 같은 엔지니어들에게 시사하는 바가 무엇인지 깊게 파고들어 보겠습니다.

1. 문제의 핵심: 부분으로 전체를 알 수 있는가?

우리가 지구 위에 서 있다고 가정해 봅시다. 인공위성 사진 없이 우리가 구(Sphere) 위에 살고 있다는 걸 알 수 있을까요? 답은 ‘Yes’입니다. 가우스가 증명했듯이, 지표면에서 거리와 각도를 측정(Local 정보)하면 전체 모양(Global 형태)을 유추할 수 있습니다.

1867년, 프랑스 수학자 피에르 오시앙 보네(Pierre Ossian Bonnet)는 더 강력한 정리를 내놓습니다. 곡면의 두 가지 핵심 정보만 알면 그 형태가 유일하게 결정된다는 것입니다.

• Metric (계량): 표면 위 두 점 사이의 거리 (내재적 성질)
• Mean Curvature (평균 곡률): 공간 상에서 표면이 얼마나 휘어져 있는지 (외재적 성질)

대부분의 경우 이 두 가지만 같으면, 두 곡면은 합동(Congruent)입니다. 예외가 있긴 했지만, 그건 평면이나 원기둥처럼 끝없이 뻗어나가는(Non-compact) 경우뿐이었습니다.

수학자들은 생각했습니다. “구(Sphere)나 도넛(Torus)처럼 닫혀 있는(Compact) 곡면이라면, 예외 없이 무조건 유일하게 정의되지 않을까?”

이것이 지난 150년간의 정설에 가까운 추측이었습니다. Compact Bonnet Pair (같은 Metric과 평균 곡률을 가지지만 서로 다른 닫힌 곡면 쌍)는 존재하지 않을 것이라고 믿었죠.

2. ‘Rhino’의 등장: 픽셀이 곡선을 앞서다

하지만 최근 Alexander Bobenko 교수 팀이 이 믿음을 박살 냈습니다. 재미있는 점은 이들이 순수 미분기하학만으로 접근한 게 아니라, 이산 기하학(Discrete Geometry) 을 도구로 사용했다는 점입니다.

보통 우리는 이산 기하학을 매끄러운 곡면을 컴퓨터로 표현하기 위한 ‘근사치(Approximation)’ 정도로 생각합니다. 게임 그래픽에서 폴리곤 개수를 줄이는 최적화 과정처럼요. 하지만 Bobenko 교수의 접근은 달랐습니다.

“이산(Discrete) 세계가 연속(Smooth) 세계보다 더 풍부한 정보를 가지고 있을 수 있다.”

연구팀의 Andrew Sageman-Furnas는 컴퓨터 시뮬레이션을 통해 수많은 다면체(Polyhedron)를 생성하고 테스트했습니다. 수년 간의 ‘Brute-force’에 가까운 탐색 끝에, 그들은 이상한 모양의 다면체를 발견합니다. 연구팀은 이걸 ‘Rhino(코뿔소)’ 라고 불렀습니다.

이 Rhino는 단순한 노이즈가 아니었습니다. 이 거친 다면체 모델이 가진 기하학적 속성을 역추적하여, 연구팀은 매끄러운 곡면(Smooth Surface)으로 변환하는 수식을 찾아냈습니다. 그 결과, 동일한 Local 데이터를 가지면서도 전체 모양이 완전히 다른 두 개의 도넛(Torus) 을 만들어내는 데 성공했습니다.

이것이 바로 역사상 최초의 ‘Compact Bonnet Pair’입니다.

3. 기술적 디테일: 단순한 거울상이 아니다

Hacker News의 반응을 보면 이 발견의 의미를 더 명확히 알 수 있습니다. 처음엔 많은 사람들이 “그냥 좌우 반전(Chirality)된 거울상 아니냐?”라고 의심했습니다. 거울상이라면 위상수학적으로는 트리비얼(Trivial)한 발견일 테니까요.

하지만 HN 댓글의 분석처럼, 이 두 형상은 서로 다른 Immersion(몰입) 을 가집니다. 즉, 3차원 공간에 구겨져 들어가는 방식 자체가 다릅니다. 개미가 표면을 기어 다니며 측정할 수 있는 모든 수치(거리, 휘어짐)가 동일함에도 불구하고, 밖에서 본 전체 구조는 전혀 다른 꼬임(Twist)을 가지고 있다는 뜻입니다.

연구팀은 처음에 거울상 쌍을 발견했지만, 거기서 멈추지 않고 수식을 더 비틀어(Twist) 완전히 구조적으로 다른 쌍을 찾아냈습니다.

(이미지는 논문 원본 참조)

4. 엔지니어로서의 단상: 모델이 실재를 앞서는 순간

저는 이 발견 과정이 현대 엔지니어링의 흐름과 매우 유사하다고 느꼈습니다.

과거에는 이론(Theory)이 먼저 정립되고, 컴퓨터는 그 이론을 계산하는 계산기 역할에 불과했습니다. 하지만 이번 발견은 컴퓨터 모델링(Discrete Model)이 선행하고, 이론이 그 뒤를 따라가며 증명 한 케이스입니다.

우리가 복잡한 분산 시스템을 설계할 때도 비슷합니다. 이론적으로 완벽한 설계를 하려다 막히면, 일단 시뮬레이션(Discrete Event Simulation)을 돌려봅니다. 거기서 발견된 엣지 케이스(Edge Case)가 오히려 시스템의 본질적인 결함을 알려주곤 하죠.

Bobenko 교수의 말처럼, 이산 기하학은 단순히 매끄러운 곡면의 ‘저해상도 버전’이 아닙니다. 오히려 연속적인 세계에서는 보이지 않던 숨겨진 대칭성과 구조 를 명확하게 보여주는 독자적인 세계입니다.

결론: 직관을 의심하라

“도넛 모양의 튜브는 뻔하다”라는 수학자들의 150년 묵은 직관은 틀렸습니다. 우리가 다루는 시스템이나 코드도 마찬가지 아닐까요? “이런 구조에서는 버그가 없을 거야”라는 막연한 믿음보다는, 때로는 투박한 시뮬레이션과 데이터가 더 진실에 가까울 수 있습니다.

이 발견은 위상수학 교과서를 다시 쓰게 만들 것입니다. 그리고 우리에게는 ‘근사치(Approximation)‘라고 무시했던 모델들이 때로는 ‘원본(Original)‘보다 더 강력한 통찰을 준다 는 교훈을 남겼습니다.