English
Related papers

Related papers: Improved Helly numbers of product sets

200 papers

We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers $b$ and $d$ there exists an integer $h(b,d)$ such that the following…

Combinatorics · Mathematics 2016-11-11 Xavier Goaoc , Pavel Paták , Zuzana Patáková , Martin Tancer , Uli Wagner

We show that for any compact convex set $K$ in $\mathbb{R}^d$ and any finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$, if the intersection of every sufficiently small subfamily of $\mathcal{F}$ contains an isometric copy of $K$…

Metric Geometry · Mathematics 2020-10-09 John A. Messina , Pablo Soberón

A new metric parameter for a graph, Helly-gap, is introduced. A graph $G$ is called $\alpha$-weakly-Helly if any system of pairwise intersecting disks in $G$ has a nonempty common intersection when the radius of each disk is increased by an…

Discrete Mathematics · Computer Science 2020-05-06 Feodor F. Dragan , Heather M. Guarnera

We establish a theorem regarding the maximum size of an {\it{induced}} matching in the bipartite complement of the incidence graph of a set system $(X,\mathcal{F})$. We show that this quantity plus one provides an upper bound on the…

Combinatorics · Mathematics 2025-01-30 Cosmin Pohoata , Kevin Yang , Shengtong Zhang

We provide a new quantitative version of Helly's theorem: there exists an absolute constant $\alpha >1$ with the following property: if $\{P_i: i\in I\}$ is a finite family of convex bodies in ${\mathbb R}^n$ with ${\rm int}\left…

Metric Geometry · Mathematics 2015-11-25 Silouanos Brazitikos

Let $M$ be a subset of $\mathbb{R}^k$. It is an important question in the theory of linear inequalities to estimate the minimal number $h=h(M)$ such that every system of linear inequalities which is infeasible over $M$ has a subsystem of at…

Optimization and Control · Mathematics 2010-10-07 Gennadiy Averkov , Robert Weismantel

A collection of sets is intersecting, if any pair of sets in the collection has nonempty intersection. A collection of sets \(\mathcal{C}\) has the Helly property if any intersecting subcollection has nonempty intersection. A graph is…

Combinatorics · Mathematics 2022-05-26 Rafael Villarroel-Flores

A family of sets has the $(p,q)$ property if among any $p$ members of the family some $q$ have a nonempty intersection. It is shown that for every $p\ge q\ge d+1$ there is a $c=c(p,q,d)<\infty$ such that for every family $\scr F$ of…

Metric Geometry · Mathematics 2016-09-06 Noga Alon , Daniel J. Kleitman

Given a graph $G$ and a collection $\mathcal C$ of subsets of $\mathbb{R}^d$ indexed by the subsets of vertices of $G$, a constrained drawing of $G$ is a drawing, where each edge is drawn inside some set from $\mathcal C$, in such a way…

Combinatorics · Mathematics 2024-11-26 Pavel Paták

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

We prove the following Helly-type result. Let $\mathcal{C}_1,\dots,\mathcal{C}_{3d}$ be finite families of convex bodies in $\mathbb{R}^d$. Assume that for any colorful selection of $2d$ sets, $C_{i_k}\in \mathcal{C}_{i_k}$ for each $1\leq…

Metric Geometry · Mathematics 2020-07-28 Gábor Damásdi , Viktória Földvári , Márton Naszódi

A graph is Helly if every family of pairwise intersecting combinatorial balls has a nonempty intersection. We show that weak Garside groups of finite type and FC-type Artin groups are Helly, that is, they act geometrically on Helly graphs.…

Group Theory · Mathematics 2021-01-20 Jingyin Huang , Damian Osajda

Two families $\mathcal{F},\mathcal{G}$ of $k$-subsets of $\{1,2,\ldots,n\}$ are called {\it non-trivial cross-intersecting} if $F\cap G\neq \emptyset$ for all $F\in \mathcal{F}, G\in \mathcal{G}$ and $\cap \{F\colon F\in…

Combinatorics · Mathematics 2026-05-12 Peter Frankl , Jian Wang

A family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$ is called a $t$-intersecting family if $|F\cap G| \geq t$ for any two members $F, G \in \mathcal{F}$ and for some positive integer $t$. If $t=1$, then we call the family $\mathcal{F}$…

Combinatorics · Mathematics 2022-11-23 Jagannath Bhanja , Sayan Goswami

Let $\mathcal{F}$ be a family of $n$ axis-parallel boxes in $\mathbb{R}^d$ and $\alpha\in (1-1/d,1]$ a real number. There exists a real number $\beta(\alpha )>0$ such that if there are $\alpha {n\choose 2}$ intersecting pairs in…

Metric Geometry · Mathematics 2015-02-25 I. Bárány , F. Fodor , A. Martínez-Pérez , L. Montejano , D. Oliveros , A. Pór

Families $\mathcal{A}_1, \mathcal{A}_2, ..., \mathcal{A}_k$ of sets are said to be \emph{cross-intersecting} if for any $i$ and $j$ in $\{1, 2, ..., k\}$ with $i \neq j$, any set in $\mathcal{A}_i$ intersects any set in $\mathcal{A}_j$. For…

Combinatorics · Mathematics 2011-03-22 Peter Borg

Let $\mathbb{F}$ be a fixed field and let $X$ be a simplicial complex on the vertex set $V$. The Leray number $L(X;\mathbb{F})$ is the minimal $d$ such that for all $i \geq d$ and $S \subset V$, the induced complex $X[S]$ satisfies…

Combinatorics · Mathematics 2021-02-23 Gil Kalai , Roy Meshulam

Two celebrated extensions of Helly's theorem are the Fractional Helly theorem of Katchalski and Liu (1979) and the Quantitative Volume theorem of B\'ar\'any, Katchalski, and Pach (1982). Improving on several recent works, we prove an…

Combinatorics · Mathematics 2024-05-22 Nóra Frankl , Attila Jung , István Tomon

The well known fractional Helly theorem and colorful Helly theorem can be merged into the so called colorful fractional Helly theorem. It states: For every $\alpha \in (0, 1]$ and every non-negative integer $d$, there is $\beta_{col} =…

Combinatorics · Mathematics 2020-12-02 Denys Bulavka , Afshin Goodarzi , Martin Tancer

We prove the following sparse approximation result for polytopes. Assume that $Q$ is a polytope in John's position. Then there exist at most $2d$ vertices of $Q$ whose convex hull $Q'$ satisfies $Q \subseteq - 2d^2 \, Q'$. As a consequence,…

Metric Geometry · Mathematics 2022-09-13 Víctor Hugo Almendra-Hernández , Gergely Ambrus , Matthew Kendall