English
Related papers

Related papers: The Quantitative Fractional Helly theorem

200 papers

Qualitatively, a no-dimensional Helly-type theorem says that if every small subfamily of convex sets has a common point in a bounded region, then suitable neighborhoods of all the sets in the whole family have a common point. Quantitative…

Functional Analysis · Mathematics 2026-03-27 Grigory Ivanov

We prove a no-dimensional version of Carath\'edory's theorem: given an $n$-element set $P\subset \Re^d$, a point $a \in \conv P$, and an integer $r\le d$, $r \le n$, there is a subset $Q\subset P$ of $r$ elements such that the distance…

Metric Geometry · Mathematics 2019-08-29 Karim Adiprasito , Imre Bárány , Nabil H. Mustafa , Tamás Terpai

We present a unified approach to prove Helly-type theorems for monotone properties of boxes, such as having large volume or containing points from a given set. As a corollary, we obtain new proofs for several earlier results regarding…

Combinatorics · Mathematics 2025-03-31 Nóra Frankl , Attila Jung

We introduce a notion of halfspace for Hadamard manifolds that is natural in the context of convex optimization. For this notion of halfspace, we generalize a classic result of Gr\"unbaum, which itself is a corollary of Helly's theorem.…

Metric Geometry · Mathematics 2019-10-03 Alexander Rusciano

A $(k,\ell )$ partial partition of an $n$-element set is a collection of $\ell $ pairwise disjoint $k$-element subsets. It is proved that, if $n$ is large enough, one can find $\left\lfloor {n\choose k}/{\ell}\right\rfloor$ such partial…

Combinatorics · Mathematics 2023-12-15 Gyula O. H. Katona , Gyula Y. Katona

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

We say that a family of $k$-subsets of an $n$-element set is intersecting if any two of its sets intersect. In this paper we study properties and structure of large intersecting families. We prove a conclusive version of Frankl's theorem on…

Combinatorics · Mathematics 2018-10-03 Andrey Kupavskii

The main purpose of this paper is to study extremal results on the intersection graphs of boxes in $\R^d$. We calculate exactly the maximal number of intersecting pairs in a family $\F$ of $n$ boxes in $\R^d$ with the property that no $k+1$…

Combinatorics · Mathematics 2015-01-20 A. Martínez-Pérez , L. Montejano , D. Oliveros

A conjecture of Freiman gives an exact formula for the largest volume of a finite set $A$ of integers with given cardinality $k = |A|$ and doubling $T = |2A|$. The formula is known to hold when $T \le 3k-4$, for some small range over $3k-4$…

Number Theory · Mathematics 2018-08-28 Gregory A. Freiman , Oriol Serra , Christoph Spiegel

We report on some recent progress regarding combinatorial properties in convexity spaces with a bounded Radon number. In particular, we discuss the relationship between the Radon number, the colorful and fractional Helly properties, weak…

Combinatorics · Mathematics 2025-02-18 Andreas F. Holmsen

In the first part of this paper, we prove a theorem which is the $q$-analogue of a generalized modular Ray-Chaudhuri-Wilson Theorem shown in [Alon, Babai, Suzuki, J. Combin. Theory Series A, 1991]. It is also a generalization of the main…

Combinatorics · Mathematics 2020-06-05 Rogers Mathew , Tapas Kumar Mishra , Ritabrata Ray , Shashank Srivastava

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

We study two combinatorial parameters, which we denote by f(S) and h(S), associated to an arbitrary set S \subseteq R^d, where d \in N. In the nondegenerate situation, f(S) is the largest possible number of facets of a d-dimensional…

Optimization and Control · Mathematics 2013-07-08 Gennadiy Averkov

A celebrated theorem of Kleitman in extremal combinatorics states that a collection of binary vectors in $\{0, 1\}^n$ with diameter $d$ has cardinality at most that of a Hamming ball of radius $d/2$. In this paper, we give an algebraic…

Combinatorics · Mathematics 2018-12-17 Hao Huang , Oleksiy Klurman , Cosmin Pohoata

The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of a $k$-uniform $t$-intersecting family on $n$ points, and describes all optimal families. We extend this theorem to several other…

Combinatorics · Mathematics 2016-10-05 Yuval Filmus

A $k$-wise $\ell$-divisible set family is a collection $\mathcal{F}$ of subsets of ${ \{1,\ldots,n \} }$ such that any intersection of $k$ sets in $\mathcal{F}$ has cardinality divisible by $\ell$. If $k=\ell=2$, it is well-known that…

Combinatorics · Mathematics 2025-04-29 Chenying Lin , Gilles Zémor

Given a subset S of R^n, let c(S,k) be the smallest number t such that whenever finitely many convex sets have exactly k common points in S, there exist at most t of these sets that already have exactly k common points in S. For S = Z^n,…

Combinatorics · Mathematics 2016-02-26 Gennadiy Averkov , Bernardo González Merino , Matthias Henze , Ingo Paschke , Stefan Weltge

A family $\mathcal{F} \subset \mathcal{P}(n)$ is $r$-wise $k$-intersecting if $|A_1 \cap \dots \cap A_r| \geq k$ for any $A_1, \dots, A_r \in \mathcal{F}$. It is easily seen that if $\mathcal{F}$ is $r$-wise $k$-intersecting for $r \geq 2$,…

Combinatorics · Mathematics 2023-05-10 Agnijo Banerjee

Let $HD_d(p,q)$ denote the minimal size of a transversal that can always be guaranteed for a family of compact convex sets in $\mathbb{R}^d$ which satisfy the $(p,q)$-property ($p \geq q \geq d+1$). In a celebrated proof of the…

Combinatorics · Mathematics 2016-12-05 Chaya Keller , Shakhar Smorodinsky , Gabor Tardos

Let $\mathbb{P}\Omega^d\mathcal{M}_{0,n}(\kappa)$, where $\kappa=(k_1,\dots,k_n)$, be a stratum of (projectivized) $d$-differentials in genus $0$. We prove a recursive formula which relates the volume of…

Algebraic Geometry · Mathematics 2023-07-06 Duc-Manh Nguyen