지속성 구체와 부분 최적 수송을 위한 연속 선형 측정표현

본 연구는 위상 데이터 분석에서 핵심적인 도구인 지속성 다이어그램을 선형 공간에 효과적으로 매핑하는 새로운 방법, ‘지속성 구체(persistence spheres)’를 확장·개선한 결과물을 제시한다. 기존 지속성 구체는 측정 μ를 구면 S² 위의 연속함수 S(μ)로 변환했지만, 역함수의 연속성 보장은 제한된 경우에만 적용되었으며, 부분 최적 수송(POT₁)과의 정밀한 정합성이 부족했다. 저자는 이러한 한계를 극복하기 위해 다음과 같은 주요 기여를 한다. 1. **측정‑레벨 정의와 리프트 zonoid 연결** 양의 적분가능 측정 μ를 상반평면 X에 정의하고, μ에 대한 ‘ReLU 적분’ v↦∫ReLU(⟨v,(1,p)⟩)dμ(p)를 리프트 zonoid Z_μ의 지원함수 h_{Z_μ}(v)와 동일시한다. 지원함수는 볼록 집합을 완전히 기술하므로, μ↦S(μ) 매핑은 선형이며, μ가 변하면 Z_μ도 연속적으로 변한다는 사실을 이용한다. 2. **부호가 있는 대각선 보강을 통한 POT₁ 일치** 부분 최적 수송에서는 매칭되지 않은 질량을 대각선 Δ에 ‘삭제’한다. 이를 수학적으로 구현하기 위해 μ⊕Δν = μ+(π_Δ)#ν 라는 교차‑보강 연산을 도입한다. 이 연산은 μ와 ν의 총 질량을 맞추면서, 삭제 비용을 정확히 지속성 Pers(p)=y−x로 표현한다. 결과적으로 POT₁(μ,ν)와 OT₁(μ⊕Δν, ν⊕Δμ) 사이에 상수 2 이하의 차이만 존재함을 증명한다. 3. **POT₁에 대한 Lipschitz 안정성** 위의 등가성을 이용해, 구면 함수의 최대값 차이와 POT₁ 사이에 선형적인 상한을 얻는다. 구체적으로, ‖S(μ)−S(ν)‖_{∞} ≤ C·POT₁(μ,ν) 여기서 C는 차원·정규화 상수이며, μ와 ν가 동일한 총 질량을 가질 필요는 없다. 4. **역함수 연속성 및 Hölder‑type 경계** 이미지 S(μ)의 집합이 컴팩트할 경우, 역함수 S^{-1}가 해당 집합에서 연속임을 보인다. 더 나아가, 로컬 Hölder‑지수 α(0<α≤1)와 상수 K를 찾아 d_{M}(μ,ν) ≤ K·‖S(μ)−S(ν)‖_{∞}^{α} 를 만족함을 증명한다. 이는 기존 방법에서 불가능했던 ‘바이컨티뉴어스(bi‑continuous)’ 특성을 제공한다. 5. **Hilbert‑값 확장 및 L² 분석** 구면 함수 공간 C(S²) 대신 L²(S²)로 확장하여, 동일한 안정성·연속성 결과를 얻는다. 이는 커널 기반 학습이나 신경망과의 호환성을 높인다. 6. **비교 분석 및 실험** 기존 대표 방법(지속성 이미지, 풍경, 스플라인, sliced‑Wasserstein 커널 등)과의 정량적 비교를 수행한다. 실험은 다음 네 가지 축을 포함한다. - **지도 학습**: 회귀·분류에서 평균 정확도·MSE 향상 (3~7% 상승). - **비지도 학습**: 클러스터링 품질(Adjusted Rand Index) 개선. - **다양한 데이터 유형**: 시계열, 그래프, 메쉬, 포인트 클라우드 등에서 일관된 성능 우위. - **파라미터 프리**: 기존 방법에서 필요했던 가중치 재조정·스케일링 파라미터가 전혀 필요 없으며, 전처리 단계는 측정의 디스크리트화(그리드 선택) 정도만 요구한다. 7. **이론적·실용적 함의** - **통계적 이론 연계**: 측정‑레벨 선형화는 중심극한정리, 부트스트랩, 신뢰구간 구축 등 전통적인 통계 방법을 직접 적용할 수 있게 한다. - **확장 가능성**: 리프트 zonoid은 다양한 비용 함수(예: p‑Wasserstein)와도 일반화 가능하며, 다중 파라미터 지속성(다중 필터)에도 적용될 여지가 있다. - **연산 효율성**: 지원함수 계산은 1‑차원 적분으로 구현 가능해 GPU 가속이 용이하고, 대규모 데이터에서도 실시간 추론이 가능하다. 결론적으로, 저자는 지속성 구체를 부분 최적 수송과 완벽히 일치시키는 새로운 수학적 프레임워크를 제시함으로써, 위상 요약 통계의 선형화·연속성·역함수 안정성이라는 세 가지 핵심 요구를 동시에 만족한다. 이는 위상 머신러닝 분야에서 보다 견고하고 해석 가능한 모델 구축을 가능하게 하며, 향후 복합적인 데이터 구조와 비용 함수에 대한 일반화 연구의 기반을 제공한다.