2026-07-22T06:32:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:12219 2024-03-06T10:49:44Z ddc:004 open_access

Bounding Radon Number via Betti Numbers Patáková, Zuzana Radon number topological complexity constrained chain maps fractional Helly theorem convexity spaces We prove general topological Radon-type theorems for sets in ℝ^d, smooth real manifolds or finite dimensional simplicial complexes. Combined with a recent result of Holmsen and Lee, it gives fractional Helly theorem, and consequently the existence of weak ε-nets as well as a (p,q)-theorem. More precisely: Let X be either ℝ^d, smooth real d-manifold, or a finite d-dimensional simplicial complex. Then if F is a finite, intersection-closed family of sets in X such that the ith reduced Betti number (with ℤ₂ coefficients) of any set in F is at most b for every non-negative integer i less or equal to k, then the Radon number of F is bounded in terms of b and X. Here k is the smallest integer larger or equal to d/2 - 1 if X = ℝ^d; k=d-1 if X is a smooth real d-manifold and not a surface, k=0 if X is a surface and k=d if X is a d-dimensional simplicial complex. Using the recent result of the author and Kalai, we manage to prove the following optimal bound on fractional Helly number for families of open sets in a surface: Let F be a finite family of open sets in a surface S such that the intersection of any subfamily of F is either empty, or path-connected. Then the fractional Helly number of F is at most three. This also settles a conjecture of Holmsen, Kim, and Lee about an existence of a (p,q)-theorem for open subsets of a surface. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Zuzana Patáková 2020 Is Part Of LIPIcs, Volume 164, 36th International Symposium on Computational Geometry (SoCG 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SoCG.2020.61 urn:nbn:de:0030-drops-122198 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2020.61 eng https://creativecommons.org/licenses/by/3.0/legalcode