Homological Shatter Function

• The homological shatter function is a topological invariant that measures the complexity of k-wise intersections using reduced Betti numbers, generalizing the classical shatter function.
• It connects combinatorial parameters with algebraic topology, influencing key results like fractional Helly theorems and graded Radon/Helly number bounds.
• Sublinear growth of this function implies strong structural properties of set systems, leading to significant applications in convexity and topological intersection patterns.

The homological shatter function is a fundamental invariant measuring the topological complexity of intersections within set systems, generalizing the classical combinatorial shatter function (related to VC-dimension) to the field of algebraic topology. It plays a pivotal role in quantifying how the sum of Betti numbers (homological invariants) of finite intersections in a family of subsets, often within a manifold or topological space, grows with the number of sets intersected. This function has direct implications for fractional Helly-type theorems, Radon and Helly numbers in convexity spaces, and the study of intersection patterns on manifolds, especially those with “slowly growing” homological complexity (Avvakumov et al., 6 Jan 2026, &&&1&&&).

1. Definition and Formalism

Given a family $\mathcal{F}$ of subsets of a space $X$ and an integer $h \ge 0$, the $h$-th homological shatter function $$\varphi_{\mathcal{F}}^{(h)}: \mathbb{N} \to \mathbb{N} \cup \{\infty\}$$ is defined as

$$\varphi_{\mathcal{F}}^{(h)}(k) := \sup \left\{ \max_{0 \le i \le h} \widetilde{\beta}_i \left( \bigcap_{A \in G} A; \mathbb{Z}_2 \right): G \subset \mathcal{F},\, |G| \le k \right\},$$

where $\widetilde{\beta}_i$ denotes the $i$th reduced Betti number (with $\mathbb{Z}_2$ coefficients). Sometimes the notation $\sigma_H(k) := \varphi_{\mathcal{F}}^{(h)}(k)$ is used.

This function records the maximal topological complexity—up to homological degree $h$—of $k$-wise intersections of sets from $\mathcal{F}$. For convex sets in $\mathbb{R}^d$, all intersections are contractible, yielding $\varphi_{\mathcal{F}}^{(0)}(k) = 1$ and $\varphi_{\mathcal{F}}^{(h)}(k) = 0$ for $h \ge 1$ (Bin, 2024). However, more general set systems can produce intersections with substantial topological invariants.

2. Graded Radon and Helly Numbers: Topological Extensions

The study of homological shatter functions is intertwined with the graded Radon and Helly numbers. For any convexity parameter $\pi$ (e.g., Radon or Helly number), the $t$-th graded parameter records the largest such value over all subfamilies of size at most $t$:

• Graded Radon number: $$r_\mathcal{F}(t) := \sup \{\mathrm{rad}(F'): F' \subset \mathcal{F},\, |F'| \le t\}$$,
• Graded Helly number: $$h_\mathcal{F}(t) := \sup \{h(F'): F' \subset \mathcal{F},\, |F'| \le t\}$$,

with the usual property that $h_\mathcal{F}(t) \le r_\mathcal{F}(t)-1 \le t$ and $r_\mathcal{F}(t) \le t+1$ (Avvakumov et al., 6 Jan 2026). These graded notions allow for refined control on intersection patterns, especially when $\varphi_{\mathcal{F}}^{(h)}$ grows slowly.

If $r_\mathcal{F}(t) - \log_2 t \to -\infty$ as $t \to \infty$, then the global Radon number is finite (Theorem 3.2, (Avvakumov et al., 6 Jan 2026)). This links sublinear growth of the graded Radon number (forced by sublinear homological shatter function) to global combinatorial simplicity.

3. Main Theorems: Structural and Fractional Helly Results

The theory crucially extends classical theorems about intersection patterns by incorporating homological constraints.

Homological van Kampen–Flores Theorem:

For every $d \ge 1$, the $d+2$-vertex, $\lceil d/2\rceil$-skeleton simplex $\Delta_{d+2}^{(\lceil d/2 \rceil)}$ admits no homological almost embedding into $\mathbb{R}^d$. The generalization: if $M$ is a $(\lceil d/2 \rceil - 1)$-connected, $d$-dimensional PL manifold with $\beta_{\lceil d/2 \rceil}(M; \mathbb{Z}_2) \le b$, there exists $N=N(d, b)$ such that $\Delta_N^{(\lceil d/2 \rceil)}$ is a forbidden homological minor for $M$ (Avvakumov et al., 6 Jan 2026).

Homological Hanani–Tutte Theorem:

Let $K$ be a $k$-dimensional simplicial complex, $M$ a $2k$-manifold. If there exists a general position chain-map sending $K$ to a triangulation of $M$ such that all non-adjacent $k$-faces intersect in even numbers of points, $K$ is a homological minor of $M$ (Avvakumov et al., 6 Jan 2026).

Fractional Helly Theorem for Homological Shatter:

If the homological shatter function satisfies $\varphi_{\mathcal{F}}^{(h)}(t) = o(t)$, then for positive density of $(d+1)$-wise intersections in any finite subfamily, there exists a linear-sized intersecting subfamily (fractional Helly property with number $d+1$) (Avvakumov et al., 6 Jan 2026). This confirms the Kalai–Meshulam conjecture in the regime of slowly growing homological complexity.

4. Relationships Between Shatter Function Growth and Convexity Parameters

The interplay between the growth of the homological shatter function and key combinatorial/topological parameters is formalized via several inequalities and bounds:

• $h_\mathcal{F}(t) \le r_\mathcal{F}(t) - 1 \le t$
• If $h_\mathcal{F}(t) < t$ for all $t > t_0$, then $h(\mathcal{F}) \le t_0$
• Lemma 4.4 (Avvakumov et al., 6 Jan 2026): If $r_\mathcal{F}(t) > r_\mathcal{F}(t-1)$, then $$r_\mathcal{F}(t-1) \ge 1 + \log_2(1 + t / h_\mathcal{F}(t))$$
• If $r_\mathcal{F}(t) = o(\log t)$, then global Radon number $r(\mathcal{F}) < \infty$.

Furthermore, there is a universal bound on the fractional Helly number in terms of the Radon number (Holmsen–Lee), extended to graded parameters (Avvakumov et al., 6 Jan 2026, Bin, 2024).

5. Examples and Model Cases

Several canonical examples exhibit the range and application of the homological shatter function:

• Convex Bodies ($\mathbb{R}^d$): All intersections are contractible, $\varphi_{\mathcal{F}}^{(0)}(t) = 1$, $\varphi_{\mathcal{F}}^{(h)}(t) = 0$ for $h \ge 1$.
• Semi-algebraic Set Systems: For constant description complexity, $\varphi_{\mathcal{F}}^{(d)}(n) = O(n^d)$ (by Milnor–Thom); these systems have fractional Helly number $d+1$ (Avvakumov et al., 6 Jan 2026).
• “Good Covers”: Families where all intersections are acyclic have $\varphi_{\mathcal{F}}^{(\infty)} \equiv 0$.
• Constructed Set Systems: For any non-decreasing $f:\mathbb{N} \to \mathbb{N}$ and $h \ge 0$, there are families in $\mathbb{R}^d$ realizing $\varphi_{\mathcal{F}}^{(h)}(t) = f(t)$ by arranging disjoint polytopes with prescribed intersecting Betti numbers (Bin, 2024).

6. Proof Ideas and Methodological Highlights

The arguments connecting slow growth of the homological shatter function to strong combinatorial consequences blend homological topology, convexity theory, and Ramsey-theoretic ideas:

• Applying extensions of Patáková’s theorems, boundedness of $\varphi_{\mathcal{F}}^{(h)}(t)$ enforces upper bounds on graded Radon/Helly numbers across subfamilies.
• Key chain-map constructions—especially “almost embeddings” and Hanani–Tutte-style dilations—connect algebraic-topological structure with intersection properties in combinatorial geometries.
• When the graded Radon number is $o(\log t)$ (enforced by sublinear $\varphi_{\mathcal{F}}^{(h)}(t)$), classical convexity and intersection results (Levi’s inequality, Holmsen–Lee bounds) yield collapses in the global Radon number and, ultimately, bounded fractional Helly number (Avvakumov et al., 6 Jan 2026).

7. Significance and Theoretical Impact

The introduction and systematic study of homological shatter functions extend the conceptual framework of VC-dimension and shattering from combinatorics into algebraic topology. They enable robust fractional Helly theorems in settings with arbitrarily high topological complexity, provided the function grows “slowly” (sublinear or near-inverse-Ackermann). This unifies and generalizes numerous classical results (e.g., Matoušek’s, Alon–Kleitman’s theorems) and settles open conjectures in a broad regime, including manifolds with bounded Betti numbers and certain forbidden minors (Avvakumov et al., 6 Jan 2026, Bin, 2024).

A plausible implication is that further subclassifications of set systems by the asymptotics of their homological shatter function could lead to a hierarchy of intersection theorems, bridging topology, discrete geometry, and learning theory.