기하학적 심플렉스 강도: 다항시간 포인트 클라우드 분류를 위한 핵심 지표

본 논문은 실세계에서 흔히 마주치는 무순서 점 구름을 유클리드 움직임(강체 변환)으로 구분하는 문제에 접근한다. 기존 연구에서는 점 구름을 정렬하거나 매칭하는 것이 NP‑hard인 반면, 저자들은 “완전한 다항시간 분류”를 가능하게 하는 불변량을 찾아야 한다고 주장한다. 이때 요구되는 불변량은 (1) 퇴화 심플렉스를 정확히 0으로 구분, (2) 거울 대칭을 구분할 수 있는 부호 정보를 포함, (3) 리프시츠 연속성을 가져 작은 잡음에도 안정적이어야 한다는 세 가지 조건을 만족해야 한다. 볼륨(vol)은 퇴화 검출에 적합하지만, 차원 n≥2에서 볼륨은 ε‑변동에 대해 O(1/ε) 수준의 급격한 변화를 보이며 리프시츠 연속이 아니다. 이를 보이기 위해 저자들은 삼각형 T(l,ε) 예시를 들어, ε→0일 때 면적이 l·ε 로 감소해 |Δvol|/|Δε|=l이 무한히 커질 수 있음을 보여준다. 따라서 볼륨만으로는 충분하지 않다. 새롭게 정의된 “강도”(strength) σ(A)=vol²(A)/p^{2n‑1}(A)는 볼륨을 제곱해 급격한 감소를 완화하고, 반주변길이 p(A)=½∑_{i,j}|p_i−p_j| 로 정규화한다. 이 정의는 (i) 퇴화 시 vol=0이므로 σ=0, (ii) 부호 강도 s(A)=sign(A)·σ(A) 로 거울 이미지 구분, (iii) 차원에 따라 명시적 리프시츠 상수 λₙ을 갖는다. 예시 2.2와 2.3을 통해 1‑차원 선분과 2‑차원 삼각형에 대한 강도 식을 구체화한다. 선분에서는 σ=2·|p₁−p₀|, 부호 강도는 방향을 나타낸다. 삼각형에서는 Heron 공식으로부터 σ=(p−a)(p−b)(p−c)/p² 로 표현되며, 정규화된 좌표 (x=a/c, y=1−b/c) 로 시각화한 결과 강도가 삼각형 형태에 따라 부드럽게 변함을 확인한다. 정리 2.4는 강도의 주요 성질을 세 부분으로 제시한다. (a) 이소메트리와 강체 변환에 불변이며, O(n³) 시간에 계산 가능함을 증명한다. 여기서는 반주변길이 계산 O(n²)와 Cayley‑Menger 행렬식 기반 볼륨 계산을 결합한다. (b) 차원별 리프시츠 상수 λₙ을 제시한다. 차원 1에서는 λ₁=2, 차원 2에서는 λ₂=√3, 차원 n≥3에서는 λₙ≤2^{n+0.5}(n!)^{2n−4} 로, 이는 조합론적 “레시피 수”(rencontre number) rₙ을 이용해 상한을 잡는다. (c) 스케일링에 대해 σ와 s는 동일 비율로 확대된다. 증명은 다음과 같이 전개된다. Lemma 3.1에서 모든 거리 d_{ij}가 반주변길이 p(A)와 비교해 ≤2ⁿ·p(A)임을 보인다. Definition 3.2와 Cayley‑Menger 행렬식을 통해 vol²(A) 를 거리들의 다항식 형태로 표현한다. Lemma 3.3은 det(Ď)·p^{-2n} ≤ r_{n+2}·2ⁿ·n!·2ⁿ 로 상한을 제공한다. Lemma 3.4는 거리 d_{ij}에 대한 편미분 ∂det/∂d_{ij}·p^{-(2n−1)} 의 절댓값을 4(rₙ+r_{n+1})·2ⁿ·n!·2^{n−1} 로 제한한다. 이를 이용해 강도 σ의 그래디언트 ∇σ 를 평가하고 평균값 정리로 |σ(A)−σ(B)| ≤ 2λₙε 를 도출한다. 차원 1,2에 대해서는 직접 계산으로 λ₁, λ₂를 정확히 구하고, 차원 ≥3에 대해서는 위의 조합적 경계와 Stirling 근사를 사용해 일반 λₙ을 얻는다. 마지막으로 저자들은 강도가 이전에 제시된 “다항시간 완전 분류” 알고리즘