English

Intersection patterns in spaces with a forbidden homological minor

Computational Geometry 2026-05-19 v4 Combinatorics

Abstract

In this paper we study generalizations of classical results on intersection patterns of set systems in Rd\mathbb{R}^d, such as the fractional Helly theorem or the (p,q)(p,q)-theorem, in the setting of arbitrary triangulable spaces with a forbidden homological minor. Given a simplicial complex KK and an integer bb, we say that a family F\mathcal{F} of subcomplexes of some simplicial complex XX is a (K,b)(K,b)-free cover if (i) KK is a forbidden homological minor of XX, and (ii) the jjth reduced Betti number β~j(SGS,Z2)\tilde{\beta}_j(\bigcap_{S\in {\mathcal{G}}}S,\mathbb{Z}_2) is strictly less than bb for all 0j<dimK0\leq j < \dim K and all nonempty subfamilies GF\mathcal{G}\subseteq \mathcal{F}. We show that for every KK and bb, the fractional Helly number of a (K,b)(K,b)-free cover is at most μ(K)+1\mu(K)+1, where μ(K)\mu(K) is the maximum sum of the dimensions of two disjoint faces in KK. This implies that the assertion of the (p,q)(p,q)-theorem holds for every pq>μ(K)p \ge q > \mu(K) and every (K,b)(K,b)-free cover F\mathcal{F}. For b=1b=1 and a suitable KK this recovers the original (p,q)(p,q)-theorem and its generalization to good covers. Interestingly, our results show that that the range of parameters (p,q)(p,q) for which the (p,q)(p,q)-theorem holds is independent of bb. Our proofs use Ramsey-type arguments combined with the notion of stair convexity of Bukh et al. to construct (forbidden) homological minors in certain cubical complexes.

Cite

@article{arxiv.2103.09286,
  title  = {Intersection patterns in spaces with a forbidden homological minor},
  author = {Xavier Goaoc and Andreas F. Holmsen and Zuzana Patáková},
  journal= {arXiv preprint arXiv:2103.09286},
  year   = {2026}
}
R2 v1 2026-06-24T00:15:03.981Z