비실현 가능한 최소 정점 삼각분할의 새로운 무한 가족

본 논문은 “비실현 가능한 최소 정점 삼각분할”이라는 오래된 문제에 새로운 접근법을 제시한다. Grünbaum이 제시한 모든 삼각형 표면은 ℝ³에 폴리헤드럴 임베딩이 가능하다는 추측은 Bokowski와 Guedes de Oliveira가 12개의 정점으로 구성된 차수 6 표면의 한 사례를 통해 반증되었다. 이후 연구들은 차수 1(토러스)까지는 모든 삼각분할이 실현 가능함을 보였으며, 차수 2·3에 대해서도 Lutz와 Bokowski 등이 실현 가능성을 입증했다. 그러나 차수 4·5·6에 대한 전반적인 실현 여부는 여전히 미해결 상태였다. 논문은 먼저 차수 6인 폐곡면의 최소 정점 삼각분할이 12개의 정점으로 이루어진 59개의 경우만 존재한다는 Altshuler‑Bokowski‑Schuchert의 분류 결과를 인용한다. 각 삼각분할에 대해 “admissible oriented matroid”가 존재하는지를 판단하는 것이 핵심이다. 여기서 admissible란, 해당 매트로이드가 차수 4(=d+1) 균일, 비순환이며, 삼각형과 서로 겹치지 않는 변 사이에 회로가 존재하지 않는 것을 의미한다. 이러한 매트로이드가 존재하면, 점 집합을 실제 ℝ³에 배치해 폴리헤드럴 임베딩을 만들 수 있다. 지향 매트로이드를 직접 구성하는 대신, 저자들은 매트로이드의 차수‑r 서명 χ를 부울 변수로 두고, 매트로이드 공리(B1, B2)와 비순환 조건을 부울 논리식으로 인코딩한다. 특히 B2는 3‑항 Grassmann‑Plücker 관계식으로 표현되며, 이를 16개의 6‑리터럴 절로 변환한다. 전체 SAT 인스턴스는 O(n⁴)개의 절을 포함하고, n은 정점 수이다. 이 인코딩은 기존의 매트로이드 탐색보다 훨씬 효율적이며, 최신 SAT 솔버의 최적화 기법을 그대로 활용할 수 있다. 실험에서는 SAT 솔버를 이용해 59개의 차수 6 삼각분할 모두에 대해 인스턴스를 풀었다. 결과는 모두 UNSAT였으며, 이는 해당 삼각분할이 어떠한 비순환 균일 매트로이드도 갖지 않음을 의미한다. 따라서 차수 6의 최소 정점 삼각분할은 ℝ³에 폴리헤드럴 임베딩이 불가능함을 강력히 증명한다. 차수 5의 경우 정점 12개에 대해 751 593개의 삼각분할이 존재한다. 저자들은 그 중 3개의 삼각분할을 선택해 동일한 SAT 검증을 수행했으며, 역시 UNSAT 결과를 얻었다. 흥미롭게도 다른 많은 차수 5 삼각분할은 수십만 개에 달하는 admissible 매트로이드를 가지고 있어, 실현 가능성을 완전히 배제할 수 없음을 확인했다. 이는 차수 5에서는 실현 가능성과 불가능성이 혼재한다는 점을 시사한다. 다음으로, 무한한 비실현 삼각분할 가족을 구성한다. 먼저 차수 6 표면 O(2₁₂₁₁)를 선택하고, 그 중 삼각형 {1,2,3}을 제거해 부분 복합체 M을 만든다. M는 비실현임이 증명되었다(정리 1.2). 임의의 표면 X와 연결합을 할 때, X의 세 정점을 O의 {1,2,3}과 동일시하면 새로운 표면 S가 생성된다. S는 정점 수 V(O)+V(X)−3, 차수 g(O)+g(X)이며, M을 포함하므로 비실현이다. 이 과정을 차수 g≥5의 모든 경우에 적용하면, 차수 g의 표면에 대해 무한히 많은 비실현 삼각분할을 얻는다. 이는 Bokowski와 Guedes de Oliveira가 제시한 “삼각형을 잘라내면 남은 부분도 비실현”이라는 아이디어를 일반화한 것이다. 논문의 마지막 부분에서는 이 방법론이 다른 기하학적 실현 문제에도 적용 가능함을 논한다. 예를 들어, 고차원 다면체의 면격자(face lattice) 실현 여부를 판단하거나, 복합체의 임베딩·임머전(immersion) 문제를 매트로이드와 SAT 변환을 통해 검증할 수 있다. 이는 기존에 복잡한 수학적 증명에 의존하던 분야를 컴퓨터 기반 자동화로 전환하는 중요한 전환점이 될 수 있다. 요약하면, 본 연구는 (1) 차수 6 최소 정점 삼각분할이 모두 비실현임을 증명하고, (2) 차수 5에서도 비실현 사례를 제시하며, (3) 지향 매트로이드‑SAT 변환 알고리즘을 개발해 실현 여부를 효율적으로 판단하고, (4) 차수 g≥5에 대해 무한한 비실현 삼각분할 가족을 구축함으로써 삼각분할 표면의 실현 문제에 새로운 통찰을 제공한다.