arXiv++ Combinatorics

In 2008, Halman showed that for any finite set $P\subset \mathbb R^d$ and any finite family $\mathcal{B}$ of axis-parallel boxes in $\mathbb{R}^d$, if the intersection of $P$ and any subfamily $\mathcal{B}' \subseteq\mathcal{B}$ of size at most $2d$ is non-empty, then the intersection of $P$ and $\mathcal{B}$ is also non-empty. Very recently Edwards and Soberón initiated the study of quantitative colorful version for $2d$ families, $(p,q)$-type variation for $p\geq q\geq d+1$, and other extensions of this Helly-type result by Halman. In this paper, we study the quantitative colorful Halman problem for $2d-1$ families as well its $(p,q)$-type variation for $p\geq q\geq 2$. Specifically, our main result asserts that for any finite set $P$ and finite families of boxes $\mathcal{B}_1,\dots,\mathcal{B}_{2d-1}$ in $\mathbb R^d$, where $d\geq 2$, if every transversal $\mathcal{B}$ for the families has an intersection $\bigcap \mathcal{B}$ containing at least $n$ points of $P$, then there exist $j\in[2d-1]$ and a subset of $P$ of size at most \[ 2n+\Big\lfloor \frac{n-1}{d \cdot 2^{d-1}} \Big\rfloor, \] such that each box of $\mathcal{B}_j$ contains at least $n$ points of this subset.

We improve the lower bound on the $d$-dimensional rectilinear crossing number of the complete $d$-uniform hypergraph having $2d$ vertices to $Ω\left(\dfrac{(4\sqrt{2}/3^{3/4})^d}{d}\right)$ from $Ω(2^d \sqrt{d})$. We also establish that the $3$-dimensional rectilinear crossing number of a complete $3$-uniform hypergraph having $n \geq 9$ vertices is at least $\dfrac{43}{42}\dbinom{n}{6}$. We prove that the maximum number of crossing pairs of hyperedges in a $4$-dimensional rectilinear drawing of the complete $4$-uniform hypergraph having $n$ vertices is $13\dbinom{n}{8}$. We also prove that among all $4$-dimensional rectilinear drawings of a complete $4$-uniform hypergraph having $n$ vertices, the number of crossing pairs of hyperedges is maximized if all its vertices are placed at the vertices of a $4$-dimensional neighborly polytope. Our result proves the conjecture by Anshu et al. [Anshu, Gangopadhyay, Shannigrahi, and Vusirikala, 2017] for $d=4$. We prove that the maximum $d$-dimensional rectilinear crossing number of a complete $d$-partite $d$-uniform balanced hypergraph is $(2^{d-1}-1){\dbinom{n}{2}}^d$. We then prove that finding the maximum $d$-dimensional rectilinear crossing number of an arbitrary $d$-uniform hypergraph is NP-hard. We give a randomized scheme to create a $d$-dimensional rectilinear drawing of a $d$-uniform hypergraph $H$ such that, in expectation the total number of crossing pairs of hyperedges is a constant fraction of the maximum $d$-dimensional rectilinear crossing number of $H$.

In this paper, we study the $d$-dimensional rectilinear drawings of the complete $d$-uniform hypergraph $K_{2d}^d$. Anshu et al. [Computational Geometry: Theory and Applications, 2017] used Gale transform and Ham-Sandwich theorem to prove that there exist $Ω\left(2^d\right)$ crossing pairs of hyperedges in such a drawing of $K_{2d}^d$. We improve this lower bound by showing that there exist $Ω\left(2^d \sqrt{ d}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$. We also prove the following results. 1. There are $Ω\left(2^d {d^{3/2}}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$ when its $2d$ vertices are either not in convex position in $\mathbb{R}^d$ or form the vertices of a $d$-dimensional convex polytope that is $t$-neighborly but not $(t+1)$-neighborly for some constant $t\geq1$ independent of $d$. 2. There are $Ω\left(2^d {d^{5/2}}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$ when its $2d$ vertices form the vertices of a $d$-dimensional convex polytope that is $(\lfloor{d/2}\rfloor-t')$-neighborly for some constant $t' \geq 0$ independent of $d$.

In this paper, we study the embedding of a complete balanced $d$-partite $d$-uniform hypergraph with all its $nd$ vertices represented as points in general position in $\mathbb{R}^d$ and each hyperedge drawn as a convex hull of $d$ corresponding vertices. We assume that the set of vertices is partitioned into $d$ disjoint sets, each of size $n$, such that each of the vertices in a hyperedge is from a different set. Two hyperedges are said to be crossing if they are vertex disjoint and contain a common point in their relative interiors. Using the Generalized Colored Tverberg Theorem, we observe that such an embedding of a complete balanced $d$-partite $d$-uniform hypergraph with $nd$ vertices contains $Ω\left((8/3)^{d/2}\right){\left({n/2}\right)^d{\left((n-1)/2\right)}^d}$ crossing pairs of hyperedges for sufficiently large $n$ and $d$. Using the Gale Transform and the Ham-Sandwich Theorem, we improve this lower bound to $ Ω\left(2^{d}\right){\left({n/2}\right)^d{\left((n-1)/2\right)}^d}$ for sufficiently large $n$ and $d$.

In this paper, we consider a generalized version of the rectilinear crossing number problem of drawing complete graphs on a plane. The minimum number of crossing pairs of hyperedges in the $d$-dimensional rectilinear drawing of a $d$-uniform hypergraph is known as the $d$-dimensional rectilinear crossing number of the hypergraph. The currently best-known lower bound on the $d$-dimensional rectilinear crossing number of a complete $d$-uniform hypergraph with $n$ vertices in general position in $\mathbb{R}^d$ is $Ω(\frac{2^d}{\sqrt{d}} \log d) {n \choose 2d}$. In this paper, we improve this lower bound to $Ω(2^d) {n \choose 2d}$. We also consider the special case when all the vertices of a $d$-uniform hypergraph are placed on the $d$-dimensional moment curve. For such complete $d$-uniform hypergraphs with $n$ vertices, we show that the number of pairwise crossing hyperedges is $Θ(\frac{4^d}{\sqrt{d}}) {n \choose 2d}$.