A stability theorem for bigraded persistence barcodes

기술 요약: 이중 그레이드 지속성 바코드에 대한 안정성 정리

문제 제기
본 논문은 유한 의사 거리 공간(pseudo-metric space) $X$의 비에토리스–립스 필트레이션(Vietoris–Rips filtration)과 연관된 모먼트-앵글 복합체(moment-angle complex) $Z_K$로부터 유도되는 이중 그레이드 지속성 바코드의 적용에 있어 두 가지 근본적인 한계를 다룬다.

첫째, 표준 이중 그레이드 호몰로지는 이론적으로는 풍부하지만, 계산적으로 매우 부담스럽다. 호크스터 분해(Hochster decomposition)에 의해, 이 그룹들을 계산하는 것은 기저 심플리셜 복합체의 모든 완전 부분 복합체(full subcomplexes)의 심플리셜 호몰로지를 계산해야 함을 의미하며, 이는 데이터 크기에 따라 계산량이 급격히 증가한다.

둘째, 데이터 과학 응용 측면에서 더 결정적으로, 표준 이중 그레이드 지속성 호몰로지는 안정성(stability) 속성이 결여되어 있다. 위상적 데이터 분석(TDA)에서 안정성은 입력 데이터의 작은 섭동(그로모프–하우스도르프 거리로 측정됨)이 결과적인 지속성 바코드의 작은 변화(보틀넥 거리로 측정됨)만을 초래함을 보장한다. 이러한 속성이 없다면, 이 불변량들은 노이즈에 강건하지 못하여 실제 응용에서의 유용성이 제한된다. 저자들은 이중 그레이드 지속성이 일반적인 지속성으로는 구별할 수 없는 점 구름(point clouds)을 구별할 수 있음을 언급하면서도(예제 3.4), 안정성의 부재가 이를 실제 응용에 부적합하게 만든다고 지적한다.

방법론
이러한 문제들을 해결하기 위해, 저자들은 [LPSS]에서 도입되고 연구된 개념인 모먼트-앵글 복합체의 **이중 그레이드 이중 호몰로지(bigraded double homology)**를 활용한다.

1. 이중 호몰로지 구성: 표준 호몰로지 $H_*(Z_K)$ 대신, 저자들은 이중 그레이드 호몰로지 그룹에 두 번째 미분 $\partial'$을 부여함으로써 체인 복합체 $CH_*(Z_K) = (H_*(Z_K), \partial')$를 정의한다. 이 새로운 복합체의 호몰로지를 이중 호몰로지 $HH_*(Z_K)$라고 한다.
2. 이중 그레이드 지속성 이중 호몰로지: 저자들은 비에토리스–립스 필트레이션 $\{R(X,t)\}_{t \geq 0}$와 연관된 모먼트-앵글 복합체 $Z_{R(X,t)}$에 이중 호몰로지 함자(functor)를 적용하여 지속성 이중 호몰로지 모듈 $PHHZ(X)$를 정의한다.
3. 더블링(Doubling) 연산: 증명의 핵심적인 기술적 도구는 심플리셜 복합체와 의사 거리 공간에 대한 "더블링" 연산이다. 심플리셜 복합체 $K$의 정점 $i$ 또는 공간 $X$의 점 $x$를 더블링하는 것은, 원래의 것과 거리가 0인 복제된 정점 $i'$(또는 점 $x'$)을 추가하여 새로운 복합체 $K'$(또는 공간 $X'$)를 만드는 것이다.
   • 결정적으로, 더블링은 모먼트-앵글 복합체의 표준 호몰로지를 변화시키지만(예제 4.18), 이중 호몰로지는 보존한다(명제 4.19).
   • 또한, 두 유한 의사 거리 공간 사이의 모든 대응 관계는 그들의 반복된 더블링 사이의 전단사 함수(bijection)로 실현될 수 있다(명제 4.16).

주요 기여 및 결과

• 이중 그레이드 지속성 이중 호몰로지의 정의: 본 논문은 이중 그레이드 지속성 이중 호몰로지 모듈 $PHHZ(X)$와 그에 대응하는 바코드$BB(X)$를 공식적으로 정의한다. 이 모듈들은 이중 호몰로지 그룹의 크기가 더 작기 때문에 표준 이중 그레이드 호몰로지에 비해 계산적으로 더 접근 가능하다.
• 표준 이중 그레이드 지속성에 대한 안정성 (수정됨): 저자들은 먼저 표준 이중 그레이드 지속성 호몰로지 $PHZ(X)$에 대한 안정성 정리를 확립한다. 그러나 이 안정성은 오직 **수정된 그로모프–하우스도르프 거리**($d'{GH}$)에 대해서만 성립하며, 이는 거리 정의의 하한을 전단사 대응 관계로만 제한한다(정리 4.21). 저자들은 표준 그로모프–하우스도르프 거리($d{GH}$)가$PHZ(X)$의 안정성을 보장하기에는 불충분함을 예제 4.18을 통해 보여준다. 즉, 점을 더블링하면$d_{GH}$는 변하지 않지만 바코드는 변한다.
• 이중 호몰로지에 대한 안정성 정리: 주요 결과(정리 4.23)는 이중 그레이드 지속성 이중 호몰로지 모듈이 표준 그로모프–하우스도르프 거리에 대해 안정성 정리를 만족함을 증명한다. 구체적으로, 임의의 두 유한 의사 거리 공간 $X$와 $Y$에 대하여 다음이 성립한다:
  $$d_{IL}(PHHZ(X), PHHZ(Y)) \leq 2d_{GH}(X, Y)$$
  여기서 $d_{IL}$은 인터리빙(interleaving) 거리이다.
• 등거리 정리(Isometry Theorem) 적용: 저자들은 등거리 정리(정리 4.12)를 인용하여, 이중 그레이드 바코드 $BB(X)$와$BB(Y)$에 대한 상응하는 안정성 결과를$\infty$-바서슈타인(보틀넥) 거리 관점에서 도출한다(따름정리 4.24):
  $$W_\infty(BB(X), BB(Y)) \leq 2d_{GH}(X, Y)$$

의의 및 주장
본 논문은 이중 그레이드 지속성 이중 호몰로지의 도입이 기존 이중 그레이드 방식의 두 가지 주요 단점을 해결한다고 주장한다.

1. 계산 효율성: 이중 호몰로지 모듈은 표준 이중 그레이드 호몰로지 모듈보다 작으므로 계산적 관점에서 더 접근 가능하다.
2. 강건성: 가장 중요한 점은, 이중 호몰로지 모듈이 데이터 과학 응용에 필수적인 안정성 속성을 가진다는 것이다. 저자들은 이 속성이 "이중 그레이드 바코드가 입력 데이터의 변화에 강건하다는 것을 대략적으로 의미한다"고 기술한다.

저자들은 이중 그레이드 지속성이 더 풍부한 대수적 구조와 일반적인 지속성이 구별할 수 없는 데이터 세트를 구별할 수 있는 능력을 제공하지만(예제 3.4), 불안정성 때문에 이전에는 실무에서 사용하기 어려웠음을 강조한다. 이중 호몰로지에 대한 안정성 정리는 이중 그레이드 불변량의 식별력과 노이즈가 있는 데이터에 필요한 강건성을 결합함으로써 "데이터 분석을 위한 보다 효율적인 적용의 길을 열어준다." 저자들은 새로운 실험적 응용을 제안하기보다는, 그러한 응용이 실행 가능하도록 하는 이론적 토대를 구축하는 데 중점을 둔다.