Related papers: $k$-dimensional transversals for fat convex sets

We investigate the problem of the number of flats simultaneously tangent to several convex hypersurfaces in real projective space from a random point of view. More precisely, we say that smooth convex hypersurfaces $X_1, \ldots,…

A family of sets is $s$-intersecting if every pair of its sets has at least $s$ elements in common. It is an $s$-star if all its members have some $s$ elements in common. A family of sets is called $s$-EKR if all its $s$-intersecting…

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…

The seminal Erd\H{o}s--Ko--Rado (EKR) theorem states that if $\mathcal{F}$ is a family of $k$-subsets of an $n$-element set $X$ for $k\leq n/2$ such that every pair of subsets in $\mathcal{F}$ has a nonempty intersection, then $\mathcal{F}$…

We prove a no-dimensional Helly theorem for affine spaces and convex sets using the unboundedness framework of Aronov, Goodman, and Pollack (Computational Geometry, 2002). This generalizes the fundamental result of Adiprasito, B\'ar\'any,…

A family of vectors $A \subset [k]^n$ is said to be intersecting if any two elements of $A$ agree on at least one coordinate. We prove, for fixed $k \ge 3$, that the size of a symmetric intersecting subfamily of $[k]^n$ is $o(k^n)$, which…

Hadwiger's transversal theorem gives necessary and sufficient conditions for a family of convex sets in the plane to have a line transversal. A higher dimensional version was obtained by Goodman, Pollack and Wenger, and recently a colorful…

It has been conjectured that for a class of piecewise linear maps the closure of the set of images of the discontinuity has the structure of a fat fractal, that is, a fractal with positive measure. An example of such maps is the sawtooth…

We define a $C(k)$ to be a family of $k$ sets $F_1,\dots,F_k$ such that $\textrm{conv}(F_i\cup F_{i+1})\cap \textrm{conv}(F_j\cup F_{j+1})=\emptyset$ when $\{i,i+1\}\cap \{j,j+1\}=\emptyset$ (indices are taken modulo $k$). We show that if…

The $t$-intersecting Erd\H{o}s-Ko-Rado theorem is the following statement: if $\mathcal{F} \subset \binom{[n]}{k}$ is a $t$-intersecting family of sets and $n\ge (t+1)(k-t+1)$, then $|\mathcal{F}| \le \binom{n-t}{k-t}$. The first proof of…

The convex dimension of a $k$-uniform hypergraph is the smallest dimension $d$ for which there is an injective mapping of its vertices into $\mathbb{R}^d$ such that the set of $k$-barycenters of all hyperedges is in convex position. We…

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…

Let $A$ be a finite dimensional associative $\mathbb{K}$-algebra over an algebraically closed field $\mathbb{K}$ of characteristic zero. To $A$, we can associate its basic form that is given by a quiver $Q = (Q_0, Q_1)$ with an admissible…

In this paper, we provide a common generalization to the well-known Erd\H{o}s-Ko-Rado Theorem, Frankl-Wilson Theorem, Alon-Babai-Suzuki Theorem, and Snevily Theorem on set systems with $\mathcal{L}$-intersections. As a consequence, we…

Let a $R$-body be a closed set, complement of union of open balls of radius $R$ in the Euclidean space. Properties generalizing similar ones for convex sets are proved for the family of $R$-bodies; properties for the family of sets…

A classical theorem of Baranyai states that, given integers $2\leq k < n$ such that $k$ divides $n$, one can find a family of ${n-1\choose k-1}$ partitions of $[n]$ into $k$-element subsets such that every subset appears in exactly one…

A finite family ${\mathcal B}$ of balls with respect to an arbitrary norm in ${\mathbb R}^d$ ($d\geq 2$) is called a non-separable family if there is no hyperplane disjoint from $\bigcup {\mathcal B}$ that strictly separates some elements…

We give a new proof of a theorem of Montejano and Karasev regarding $k$-dimensional transversals to small families of convex sets. While their proof uses technical algebraic and topological tools, our proof is a simple application of the…

A simplicial graph is said to be (coarsely) Helly if any collection of pairwise intersecting balls has non-empty (coarse) intersection. (Coarsely) Helly groups are groups acting geometrically on (coarsely) Helly graphs. Our main result is…

Paul Erd\H{o}s and L\'aszl\'o Lov\'asz established that any \emph{maximal intersecting family of $k-$sets} has at most $k^{k}$ blocks. They introduced the problem of finding the maximum possible number of blocks in such a family. They also…