English
Related papers

Related papers: A fractional Helly theorem for set systems with sl…

200 papers

We consider sets and maps defined over an o-minimal structure over the reals, such as real semi-algebraic or subanalytic sets. A {\em monotone map} is a multi-dimensional generalization of a usual univariate monotone function, while the…

Logic · Mathematics 2013-08-19 Saugata Basu , Andrei Gabrielov , Nicolai Vorobjov

A separated $d$-interval is defined as a disjoint union of $d$ convex sets from the real line $\mathbb R$. In this paper, we establish a series of Helly-type theorems for convexity spaces derived from separated $d$-intervals. Our results…

Combinatorics · Mathematics 2025-05-23 Wei Rao

We investigate the class of FHP theories, i.e. theories of structures in which all definable families of sets satisfy the Fractional Helly Property (and its variants) from combinatorics. FHP theories generalize NIP and form a new subclass…

Logic · Mathematics 2026-05-19 Artem Chernikov , Chuyin Jiang

A graph is Helly if every family of pairwise intersecting balls has a nonempty common intersection. Motivated by previous work on dually chordal graphs and graphs of bounded distance VC-dimension we prove several new results on the…

Data Structures and Algorithms · Computer Science 2019-11-12 Feodor F. Dragan , Guillaume Ducoffe

We study $S$-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in $\mathbb R^d$ with a proper subset $S\subset \mathbb R^d$. We contribute new results about their $S$-Helly numbers. We extend…

Metric Geometry · Mathematics 2015-08-11 J. A. De Loera , R. N. La Haye , D. Oliveros , E. Roldán-Pensado

A Helly-type theorem for diameter provides a bound on the diameter of the intersection of a finite family of convex sets in $\mathbb{R}^d$ given some information on the diameter of the intersection of all sufficiently small subfamilies. We…

Metric Geometry · Mathematics 2020-09-08 Travis Dillon , Pablo Soberón

In this paper we study generalizations of classical results on intersection patterns of set systems in $\mathbb{R}^d$, such as the fractional Helly theorem or the $(p,q)$-theorem, in the setting of arbitrary triangulable spaces with a…

Computational Geometry · Computer Science 2026-05-19 Xavier Goaoc , Andreas F. Holmsen , Zuzana Patáková

The 1913 Helly's theorem states that any family ${\cal K}$ of $n\geq d+1$ convex sets in ${\mathbb R}^d$ can be pierced by a single point if and only if any $d+1$ of ${\cal K}$'s elements can. In 2002 Alon, Kalai, Matou\v{s}ek and Meshulam…

Combinatorics · Mathematics 2026-01-27 Natan Rubin

We propose a combinatorial framework to analyze quantitative Helly-type questions. Using this framework, we prove a Quantitative Fractional Helly Theorem with Fractional Helly Number 3d and a stability version of the Quantitative Helly…

Combinatorics · Mathematics 2023-04-10 Attila Jung

We study combinatorial properties of convex sets over arbitrary valued fields. We demonstrate analogs of some classical results for convex sets over the reals (e.g. the fractional Helly theorem and B\'ar\'any's theorem on points in many…

Combinatorics · Mathematics 2023-05-31 Artem Chernikov , Alex Mennen

We prove that fractional Helly and $(p,q)$-theorems imply $(\aleph_0,q)$-theorems in an entirely abstract setting. We give a plethora of applications, including reproving almost all earlier $(\aleph_0,q)$-theorems about geometric…

Combinatorics · Mathematics 2024-12-06 Attila Jung , Dömötör Pálvölgyi

We prove the analogue of Helly's theorem for systolic complexes. Namely, we show that 7-systolic complexes have Helly dimension less or equal to 1, whereas 6-systolic complexes have Helly dimension bounded from the above by 2.

Group Theory · Mathematics 2016-03-27 Krzysztof Święcicki

The ball hypergraph of a graph $G$ is the family of balls of all possible centers and radii in $G$. It has Helly number at most $k$ if every subfamily of $k$-wise intersecting balls has a nonempty common intersection. A graph is $k$-Helly…

Data Structures and Algorithms · Computer Science 2020-11-03 Guillaume Ducoffe

Recently geometric hypergraphs that can be defined by intersections of pseudohalfplanes with a finite point set were defined in a purely combinatorial way. This led to extensions of earlier results about points and halfplanes to…

Combinatorics · Mathematics 2024-02-14 Balázs Keszegh

B\'ar\'any, Katchalski and Pach proved the following quantitative form of Helly's theorem. If the intersection of a family of convex sets in $\mathbb{R}^d$ is of volume one, then the intersection of some subfamily of at most $2d$ members is…

Metric Geometry · Mathematics 2015-03-26 Marton Naszodi

Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs --…

Group Theory · Mathematics 2025-01-08 Jérémie Chalopin , Victor Chepoi , Anthony Genevois , Hiroshi Hirai , Damian Osajda

Developing an algorithm for computing the Betti numbers of semi-algebraic sets with singly exponential complexity has been a holy grail in algorithmic semi-algebraic geometry and only partial results are known. In this paper we consider the…

Algebraic Topology · Mathematics 2022-07-22 Saugata Basu , Negin Karisani

In this short note we show that Helly's Intersection Theorem holds for convex sets in uniquely geodesic spaces (in particular in CAT(0) spaces) without the assumption that the convex sets are open or closed.

Metric Geometry · Mathematics 2014-05-20 Sergei Ivanov

We consider the topology of simplicial complexes with vertices the points of a random point process and faces determined by distance relationships between the vertices. In particular, we study the Betti numbers of these complexes as the…

Probability · Mathematics 2015-09-10 D. Yogeshwaran , Eliran Subag , Robert J. Adler

Let $K$ be the scalar field of real numbers or complex numbers and $L^{0}(\mathcal{F},K)$ the algebra of equivalence classes of $K-$valued random variables defined on a probability space $(\Omega,\mathcal{F},P)$. In this paper, we first…

Functional Analysis · Mathematics 2011-03-30 Tiexin Guo , Guang Shi