[논문 리뷰] m-Contiguity Distance

Nilay Ekiz Yazici, Nursultan Kuanyshov외 1명|arXiv (Cornell University)|2026. 02. 16.

Topological and Geometric Data Analysis인용 수 0

한 줄 요약

이 논문은 simplicial 맵 사이의 m-연속 거리(m-contiguity distance)를 도입하고, 그 기본 성질을 전개하며 m-simplicial LS-카테고리 및 m-이산 위상 복잡도와 같은 고전적 호모토피적 불변량의 이산 유사를 도출한다.

ABSTRACT

In this paper, we systematically develop the m-contiguity distance between simplicial maps as a discrete approximation framework for homotopical complexity in the category of simplicial complexes. We construct an increasing sequence of invariants that approximate the contiguity distance from below. The fundamental properties of m-contiguity distance are established, including invariance under barycentric subdivision, behavior under compositions, and a categorical product inequality. As applications of this theory, we define the m-simplicial Lusternik-Schnirelmann category and the m-discrete topological complexity, proving that each arises naturally as a special case of m-contiguity distance.

연구 동기 및 목표

• simplicial 복합체에서의 호모토피적 복잡도에 대한 이산 근사 프레임워크를 m-contiguity 거리 사용으로 동기 부여하고 형식화한다.
• 근본 특성 설정: 바리센터(subdivision)에 대한 불변성, 합성 하에서의 거동, 그리고 곱에 대한 부등식의 성질.
• 고전적 불변량과의 다리 역할을 하도록 m-simplicial LS-category와 m-discrete topological complexity를 특별한 경우로 정의한다.
• m-근사 설정에서 Moore 경로 기반 불변량 및 simplicial fibration과 같은 관련 개념을 개발한다.

제안 방법

• m-contiguity distance SD_m(φ,ψ)를 K가 φ와 ψ가 임의의 m차원 복합 맵을 합성한 후 contiguity-동등한 하위복합체들로 덮일 수 있는 최소 k로 정의한다.
• 기본 특성 증명: SD_m(φ∘α, ψ∘α) ≤ SD_m(φ,ψ); SD_m(β∘φ, β∘ψ) ≤ SD_m(φ,ψ); SD_m(φ,ψ) ≤ SD(φ,ψ); 그리고 SD_n(φ,ψ)가 m에 대해 비감소적임.
• SD_m이 barycentric subdivision을 보존하는지 보인다: SD_m(sd(φ), sd(ψ)) ≤ SD_m(φ,ψ).
• 범주곱에 대한 부등식 확립: SD_m(φ×φ′, ψ×ψ′) + 1 ≤ (SD_m(φ,ψ)+1)(SD_m(φ′,ψ′)+1).
• pullback과 Moore 경로를 통해 m-simplicial LS 카테고리 및 m차원 불변량을 도입하고 관련 관계를 설정한다.
• i1, i2: K→K^2의 포함에 대해 SD_m(i1,i2)로부터 m-simplicial LS 카테고리가 나타나고, 이를 m차 Schwarz 군 생성 및 m차원 이산 위상 복잡성으로 확장한다.
• m차원 이산 위상 복잡도 TC^m(K)가 SD_m(pr1, pr2)로 표현됨을 보인다.

실험 결과

연구 질문

• RQ1 contiguity distance를 증가하는 수열(m-contiguity distance)으로 아래에서부터 근사화하는 방법은? 이 프레임워크에서 자연스럽게 나타나는 이산 불변량은 무엇인가(예: m-simplicial LS-category, m-discrete topological complexity)?
• RQ2 이 불변량들은 subdivision, 곱, fibration에서 어떻게 동작하며, 어떻게 고전적 연속 불변량과 관련되는가?
• RQ3 Moore-path 및 simplicial fibration 기법이 m-설정에서 부분적(segregation-type) 불변량들 간의 동등성을 어떻게 얻어내는가?

주요 결과

• SD_m은 m이 증가함에 따라 고전적 contiguity distance로 수렴하는 증가하는 불변량 계열을 제공한다.
• barycentric subdivision에 대한 불변성과 곱에 대한 부등식은 SD_m을 견고한 범주/동위학적 프레임워크 내에 놓는다.
• m-simplicial LS category와 m-discrete topological complexity는 SD_m의 특별한 경우로 나타나 고전적 대응들의 하한 근사를 제공한다.
• TC^m(K)는 SD_m(pr1, pr2)로 특징지어지며 Farber형의 이산 위상 복잡도에 대한 이산 유사를 제공한다.
• simplicial fibration에 대해 hsecat_m(p) = secat_m(p)로, m-맥락에서 동위성 기반의 및 절단성-범주 개념이 정렬된다.