[논문 리뷰] Intersection patterns of set systems on manifolds with slowly growing homological shatter functions

Sergey Avvakumov, Marguerite Bin외 1명|arXiv (Cornell University)|2026. 01. 06.

Topological and Geometric Data Analysis인용 수 0

한 줄 요약

이 논문은 Kalai–Meshulam 추측을 매니폴현의 집합계에 일반화하고, 금지된 동형 소마이크로(동형 소도형)의 유사체를 입증하며 느리게 증가하는 동형 샤터 함수와 관련된 등급화된 불변량을 개발한다.

ABSTRACT

A theorem of Matoušek asserts that for any $k \ge 2$, any set system whose shatter function is $o(n^k)$ enjoys a fractional Helly theorem of order $k$: in the $k$-wise intersection hypergraph, positive density implies a linear-size clique. Kalai and Meshulam conjectured a generalization of that phenomenon to homological shatter functions. It was verified for set systems with bounded homological shatter functions and ground set with a forbidden homological minor (which includes $\mathbb{R}^d$ by a homological analogue of the van Kampen-Flores theorem). We present two contributions to this line of research: - We study homological minors in certain manifolds (possibly with boundary), for which we prove analogues of the van Kampen-Flores theorem and of the Hanani-Tutte theorem. - We introduce graded analogues of the Radon and Helly numbers of set systems and relate their growth rate to the original parameters. This allows to extend the verification of the Kalai-Meshulam conjecture for sufficiently slowly growing homological shatter functions.

연구 동기 및 목표

• 유클리드 공간을 넘는 매니폴드의 위상 공간에서 집합계의 볼록성 유사 특성을 일반화하려는 동기화.
• 매니폴드에서 동형 샤터 함수와 그 증가를 조사하여 매니폴드에서 분수 Helly형 결과를 얻고자 함.
• 매니폴드에서의 동형 소도형을 연구하고 van Kampen–Flores 및 Hanani–Tutte에 비견되는 장애 정리를 증명한다.
• Radon 및 Helly 수의 등급화 버전을 도입하고 이들의 증가를 원래 매개변수와 연결한다.
• 위상 설정에서 느리게 증가하는 동형 샤터 함수에 기존 결과를 확장한다.

제안 방법

• 매니폴드에서의 집합계에 대한 동형 샤터 함수 정의 및 활용.
• 동형 설정에서 van Kampen–Flores 및 Hanani–Tutte 정리의 유사체를 확립.
• 2k-차원 PL 매니폴드에서 동형 거의 임베딩에 대한 Hanani–Tutte형 정리 증명.
• 임베딩을 제약하기 위해 동형 소도형을 사용하고 비임베딩 결과를 도출(정리 3).
• Radon, Helly 및 기타 볼록성 유사 수의 등급화 버전을 도입하고 샤터 함수의 증가와의 관계를 확립.
• R^d의 집합계에서 제어된 위상을 가진 매니폴드로의 전이에서 체인-매핑 기반 프레임워크를 적용한다.

실험 결과

연구 질문

• RQ1 경계가 있는 충분히 연결된 특정 매니폴드가 차원에서 Δ_{N}^{(⌈d/2⌉)}와 유사한 특정 동형 소도형을 금지하는가?
• RQ2 등급화된 Radon 및 Helly 수가 동형 샤터 함수의 증가를 제약하고 매니폴드에서 분수 Helly형 결과를 산출하는가?
• RQ3 Hanani–Tutte형 정리를 고차원 PL 매니폴드의 동형 거의-임베딩으로 확장할 수 있는가?
• RQ4 동형 샤터 함수의 느린 증가가 금지된 동형 소도형과 어떻게 상호작용하여 Kalai–Meshulam 추측을 R^d 이상으로 확장하는가?
• RQ5 등급화 불변량이 Helly/Radon형 정리를 위상 집합계로 확장하는 데 어떤 함의를 갖는가?

주요 결과

• 정리 3: 모든 d ≥ 3 및 b에 대해, Δ_N^{(⌈d/2⌉)}가 경계 β_{⌈d/2⌉}(M; Z_2)가 한정된 컴팩트한 (⌈d/2⌉−1)-연결성의 d-차원 PL 매니폴드에서 동형 거의 임베드되지 않는 N이 존재한다.
• 정리 4(동형 Hanani–Tutte): k-차원 복합체가 두 비인접한 k-피스의 교차가 짝수인 2k-차원 PL 매니폴드로 매핑되면 그 복합체는 매니폴드의 동형 소도형이다.
• Radon 및 Helly 수의 등급화 버전을 도입하고 등급 증가가 분수 Helly 현상을 제어함을 입증.
• 정리 5: 등급 Radon 수 r_F(t)가 로그 결손 조건을 만족하면 비등급 Radon 수 r_F는 유한하다.
• 보조정리 6: 어떤 심플리셜 복합 K에 대해 Ψ_K(t) → ∞인 함수가 존재하고 F가 K를 금지된 동형 소도형으로 가지면 큰 t에 대해 φ_F^{(dim K)}(t)가 Ψ_K(t)로 제한되면 분수 Helly 수가 μ(K)+1 이하이다.
• 정리 7: 등급 Radon 수가 유한할 때 분수 Helly 수도 유한하다는 조건을 제시하며 등급화와 비등급 매개변수를 연결한다.