평면 볼록체의 공변량 정리를 통한 마테론 추측 완전 증명

초록

공변량 g_K는 유클리드 공간 E^d 에 있는 볼록체 K에 대해 정의되며, 각 벡터 x∈E^d 에 대해 K와 K+x의 교집합 부피를 값으로 갖는다. 1986년 G. Matheron은 차원 d=2 인 경우, 공변량 g_K가 평면 볼록체들을 모두 포함하는 클래스 안에서 K를 평행이동과 점에 대한 대칭(반사)만을 허용하는 동등성 아래 완전히 결정한다는 추측을 제시하였다. 이 문제는 확률·통계 기하학의 여러 문제와, 푸리에 분석에서 위상 복원(phase retrieval) 문제의 특수 경우와 동등하며, 또한 퀀텀결정 구조를 X‑ray 회절 영상으로부터 복원하는 역문제와도 밀접한 관련이 있다. 본 논문에서는 위의 마테론 추측을 전면적으로 입증한다.

상세 요약

공변량(g_K)은 두 개의 동일한 볼록체 K와 K+x가 겹치는 부분의 부피를 측정하는 함수로, x가 변함에 따라 그 값이 어떻게 변하는지를 기록한다. 직관적으로는 “한 물체를 일정 거리만큼 평행 이동시켰을 때 겹치는 양”을 나타내는 것이며, 이는 물체의 형태와 크기에 대한 풍부한 정보를 담고 있다. 1980년대 초반, 프랑스의 확률기하학자 G. Matheron은 특히 2차원 경우에 대해 “공변량이 주어지면, 원본 볼록체 K는 평행 이동과 점에 대한 반사(즉, K와 –K를 뒤바꾸는 대칭) 외에는 다른 형태로는 복원될 수 없다”는 강력한 추측을 제시하였다. 이는 곧 “공변량이 두 볼록체를 구별하는 완전한 불변량인가?”라는 질문으로 귀결된다.

이 추측은 여러 분야와 연결된다. 첫째, 확률기하학에서는 무작위 방향으로 이동한 점 집합의 겹침 확률을 기술하는 데 공변량이 사용된다. 둘째, 푸리에 분석에서는 공변량이 K의 휘도 함수(특성 함수)의 절대값 제곱, 즉 푸리에 변환의 크기와 직접적인 관계가 있다. 따라서 위 문제는 “위상(phase) 정보를 잃어버린 푸리에 스펙트럼으로부터 원본 함수를 복원할 수 있는가?”라는 위상 복원 문제의 특수 형태가 된다. 셋째, 물리학·재료과학에서는 비정질 구조나 준결정(quasicrystal)의 원자 배열을 X‑ray 회절 패턴으로부터 추정하는 역문제에 적용된다. 회절 강도는 바로 공변량에 해당하므로, 마테론 추측이 성립하면 회절 데이터만으로도 구조를 유일하게 복원할 수 있음을 의미한다.

수십 년간 부분적인 결과만이 알려졌다. 예를 들어, 평행다각형, 원, 타원 등 특정 대칭성을 가진 경우에는 이미 증명이 되었으며, 일반적인 볼록체에 대해서는 “예외적인 경우(예: 평행이동·반사 외에 다른 변환에 의해 동일한 공변량을 갖는 경우)가 존재하지 않는다”는 것을 보이기 위해 복잡한 기하학적·해석학적 도구가 필요했다. 주요 난관은 공변량이 휘도 함수의 절대값만을 제공하므로, 휘도 함수 자체(특히 위상 정보)가 손실된 상태에서 원본 도형을 재구성해야 한다는 점이다.

본 논문은 이러한 난관을 극복하기 위해 다음과 같은 전략을 채택한다. 첫째, 공변량의 푸리에 변환이 휘도 함수의 절대값 제곱임을 이용해, 복소수 휘도 함수의 위상 정보를 복원하는 새로운 위상 복원 알고리즘을 제시한다. 둘째, 복원된 위상을 이용해 도형의 경계 곡선을 복원하고, 이를 다시 볼록성(convexity) 조건과 결합해 유일성을 증명한다. 셋째, 특수한 경우에 발생할 수 있는 “거울 대칭”(reflection)과 “평행 이동”(translation) 자유도를 명시적으로 분리하여, 두 도형이 동일한 공변량을 가질 경우 반드시 이러한 변환 관계에 놓여 있음을 보인다.

핵심적인 수학적 도구로는 (i) 휘도 함수의 복소수 해석학적 성질, (ii) 볼록체의 지원함수와 광선 변환(ray transform)의 관계, (iii) 고전적인 기하학적 불변량(예: 면적, 둘레, 중심축)과의 연계, (iv) 미분기하학적 기법을 통한 경계 곡선의 정밀 분석이 포함된다. 특히, 지원함수와 공변량 사이의 선형 관계를 정밀히 추적함으로써, 두 볼록체가 동일한 공변량을 가질 경우 그 지원함수 역시 동일함을 보이고, 이는 결국 도형 자체가 동일함을 의미한다.

결과적으로, 논문은 “2차원 볼록체에 대해 공변량이 주어지면, 그 도형은 평행 이동과 점에 대한 반사 외에는 다른 형태로는 구별되지 않는다”는 마테론의 원래 추측을 완전하게 증명한다. 이는 기하학적 역문제, 위상 복원, 그리고 물리학적 구조 해석 등 다양한 분야에 중요한 이론적 기반을 제공한다.