다각형 교차 공분산함수는 두 다각형을 거의 완전히 규정한다

본 논문은 평면 볼록 다각형(또는 평면 볼록 원뿔) 두 개의 교차 공분산함수 g₍K,L₎가 두 집합을 거의 완전히 결정한다는 새로운 정리를 제시한다. 연구는 다음과 같은 흐름으로 전개된다. 1. **배경 및 문제 정의** - 공분산함수 g₍K,L₎(x)=λ₂(K∩(L+x))는 1_K와 1_{−L}의 컨볼루션으로 정의되며, Matheron의 “공분산 문제”(g₍K,K₎만으로 K를 결정)와 직접 연결된다. - 최근 Averkov‑Bianchi가 평면에서 Matheron 추측을 완전 증명했으며, 저자는 이를 교차 버전으로 확장하고자 한다. - “교차 공분산 문제”는 (K,L)과 (K′,L′)가 같은 g를 가질 때, 두 쌍이 평행 이동·반전·선형 변환 외에 동일한지 묻는다. 2. **핵심 개념 – 동형(synisothetic) 쌍** - 두 다각형 P와 Q가 동형이면, 각 방향 u∈S¹에 대해 지지면 P_u와 Q_u가 서로 평행이동으로 일치하고, 해당 지지면의 외접 콘도도 동일하다. - (K,−L)과 (K′,−L′)가 동형이면, 식 (2.5)·(2.6)에서 보듯이 각 방향에 대한 변 길이와 콘도 집합이 교환되거나 동일하게 매칭된다. 3. **다각형에 대한 정리 1.1** - K와 L이 볼록 다각형이고, K′,L′이 임의의 폐볼록 집합이라 하자. g₍K,L₎=g₍K′,L′₎이면, (K,L)은 (K′,L′)의 “평범한 동등”(trivial associate)이다, 단 예외는 네 개의 특수 사변형 쌍 (K₁,L₁)…(K₄,L₄)이다. - 예외는 각 사변형이 서로 다른 방향으로 회전·반전된 형태이며, 저자는 이를 그림 3·4와 함께 구체적으로 기술한다. - 정리 1.1은 “선형 변환 후에도 위 예외만이 존재한다”는 강력한 유일성을 보이며, 이는 교차 공분산함수가 두 다각형을 거의 완전하게 인코딩한다는 결론을 뒷받침한다. 4. **원뿔에 대한 정리 1.3** - A와 B가 원점 O를 꼭짓점으로 하는 평면 볼록 원뿔이며, int A∩int B=∅라 하자. g₍A,B₎=g₍A′,B′₎이면 두 경우만 가능하다. (i) {A,−B}={A′,−B′} (즉, 단순한 반전·이동) (ii) 선형 변환 T와 인덱스 i≠j에 대해 {TA,−TB}={A_i,−B_i}, {TA′,−TB′}={A_j,−B_j} (예시 3.1의 두 원뿔 쌍) - 증명은 원뿔의 경계와 지원함수의 기하학적 특성을 이용해, g가 C²가 아닌 점들의 집합이 정확히 ∂A∪(−∂B)임을 보이는 Lemma 3.2에 기반한다. 5. **확률적 해석 및 응용** - 정리 1.1은 확률적 문제 P2(두 독립 균일 난수 X∈K, Y∈L의 차이 X−Y의 분포)와 직접 연결된다. 차이의 확률밀도는 g₍K,L₎/(λ₂(K)λ₂(L))이므로, g가 K와 L을 거의 유일하게 복원한다는 의미다. - 또한 3차원 볼록 다면체 P의 면들(K,L)이 서로 반대편에 위치할 때, g₍P,P₎가 g₍K,L₎를 포함하므로 정리 1.1은 3차원 다면체의 결정 문제에 핵심적인 역할을 한다(참조