arXiv++ Combinatorics

Let $f_r(d,s_1,\ldots,s_r)$ denote the least integer $n$ such that every $n$-point set $P\subseteq\mathbb{R}^d$ admits a partition $P=P_1\cup\cdots\cup P_r$ with the property that for any choice of $s_i$-convex sets $C_i\supseteq P_i$ $(i\in[r])$ one necessarily has $\bigcap_{i=1}^r C_i\neq\emptyset$, where an $s_i$-convex set means a union of $s_i$ convex sets. A recent breakthrough by Alon and Smorodinsky establishes a general upper bound $f_r(d,s_1,\dots,s_r) = O(dr^2\log r \prod_{i=1}^r s_i\cdot \log(\prod_{i=1}^r s_i).$ Specializing to $r=2$ resolves the problem of Kalai from the 1970s. They further singled out two particularly intriguing questions: whether $f_{2}(2,s,s)$ can be improved from $O(s^2\log s)$ to $O(s)$, and whether $f_r(d,s,\ldots,s)\le Poly(r,d,s)$. We answer both in the negative by showing the exponential lower bound $f_{r}(d,s,\ldots,s)> s^{r}$ for any $r\ge 2$, $s\ge 1$ and $d\ge 2r-2$, which matches the upper bound up to a multiplicative $\log{s}$ factor for sufficiently large $s$. Our construction combines a scalloped planar configuration with a direct product of regular $s$-gon on the high-dimensional torus $(\mathbb{S}^1)^{r-2}$. Perhaps surprisingly, if we additionally require that within each block the $s_i$ convex sets are pairwise disjoint, the picture changes markedly. Let $F_r(d,s_1,\ldots,s_r)$ denote this disjoint-union variant of the extremal function. We show: (1) $F_{2}(2,s,s)=O(s\log s)$ by connecting it to a suitable line-separating function in the plane; (2) when $s$ is large, $F_r(d,s,\ldots,s)$ can be bounded by $O_{r,d}(s^{(1-\frac{1}{2^{d}(d+1)})r+1})$ and $O_{d}(r^{3}\log r\cdot s^{2d+3})$, respectively. This builds on a novel connection between the geometric obstruction and hypergraph Turán numbers, in particular, a variant of the Erdős box problem.

An infinite $(p,q)$-theorem, or an $(\aleph_0,q)$-theorem, involving two families $\mathcal{F}$ and $\mathcal{G}$ of sets, states that if in every infinite subset of $\mathcal{F}$, there are $q$ sets that are intersected by some set in $\mathcal{G}$, then there is a finite set $S_{\mathcal{F}}\subseteq\mathcal{G}$ such that for every $C\in\mathcal{F}$, there is a $B\in S_{\mathcal{F}}$ with $C\cap B\neq\emptyset$. We provide an example demonstrating that there is no $(\aleph_0,q)$-theorem for piercing compact convex sets in $\mathbb{R}^3$ with lines by constructing a family $\mathcal{F}$ of compact convex sets such that it does not have a finite line transversal, but for any $t\in\mathbb{N}$, every infinite subset of $\mathcal{F}$ contains $t$ sets that are pierced by a line.

This paper considers some different measures for how additively structured a convex set can be. The main result gives a construction of a convex set $A$ containing $Ω(|A|^{3/2})$ three-term arithmetic progressions.

Let $G$ be a simple graph and let $S$ be a subset of its vertices. We say that $S$ is $P_3$-convex if every vertex $v \in V(G)$ that has at least two neighbors in $S$ also belongs to $S$. The $P_3$-hull set of $S$ is the smallest $P_3$-convex set of $G$ that contains $S$. Carathéodory number of a graph $G$, denoted by $c(G)$, is the smallest integer $c$ such that for every subset $S \subseteq V(G)$ and every vertex $p$ in the $P_3$-hull of $S$, there exists a subset $F \subseteq S$ with $|F| \leq c$ such that $p$ belongs to the $P_3$-hull of $F$. In this article, we present upper bounds and formulas for the $P_3$-Carathéodory number in Hamming graphs, which are defined as the Cartesian product of $n$ complete graphs.

Finite unions of convex sets are a central object of study in discrete and computational geometry. In this paper we initiate a systematic study of complements of such unions -- i.e., sets of the form $S=\mathbb{R}^d \setminus (\cup_{i=1}^n K_i)$, where $K_i$ are convex sets. In the first part of the paper we study isolated points in $S$, whose number is related to the Betti numbers of $\cup_{i=1}^n K_i$ and to its non-convexity properties. We obtain upper bounds on the number of such points, which are sharp for $n=3$ and significantly improve previous bounds of Lawrence and Morris (2009) for all $n \ll \frac{2^d}{d}$. In the second part of the paper we study coverings of $S$ by well-behaved sets. We show that $S$ can be covered by at most $g(d,n)$ flats of different dimensions, in such a way that each $x \in S$ is covered by a flat whose dimension equals the `local dimension' of $S$ in the neighborhood of $x$. Furthermore, we determine the structure of a minimum cover that satisfies this property. Then, we study quantitative aspects of this minimum cover and obtain sharp upper bounds on its size in various settings.

This paper presents a slight improvement of the estimate of sumsets of convex sets with negative discrete third derivative. The proposed method is based on some previous works in incidence geometry and use of spectrum method developed earlier for notable progresses in this fields.

Stable multivariate Eulerian polynomials were introduced by Brändén. Particularizing some variables, it is possible to extract real zero multivariate Eulerian polynomials from them. These real zero multivariate Eulerian polynomials can be fed into constructions of spectrahedral relaxations providing therefore approximations to the (Eulerian) rigidly convex sets defined by these polynomials. The accuracy of these approximations is measured through the behaviour in the diagonal, where the usual univariate Eulerian polynomials sit. In particular, in this sense, the accuracy of the global spectrahedral approximation produced by the spectrahedral relaxation can be measured in terms of bounds for the extreme roots of univariate Eulerian polynomials. The bounds thus obtained beat the previous bounds found in the literature. However, the bound explicitly studied and obtained before beat the previously known bounds by a quantity going to $0$ when $n$ goes to infinity. Here we use numerical experiments to construct a sequence of vectors providing a (linearized) bound whose difference with the previous known bounds is a growing exponential function (going therefore fast to infinity when $n$ grows). This allows us to establish a better (diagonal) measure of accuracy for the spectrahedral relaxation of the Eulerian rigidly convex sets. In particular, we will achieve this by linearizing through the sequence of vectors $\{(y,(-2^{m-i})_{i=3}^{m},(0,\frac{1}{2}),(1)_{i=1}^{m})\in\mathbb{R}^{n+1}\}_{n=1}^{\infty}$ for even $n=2m$.

We study a generalization of Eulerian polynomials to the multivariate setting introduced by Brändén. Although initially these polynomials were introduced using the language of hyperbolic and stable polynomials, we manage to translate some restrictions of these polynomials to our real zero setting. Once we are in this setting, we focus our attention on the rigidly convex sets (RCSs) defined by these polynomials. In particular, we study the corresponding rigidly convex sets looking at spectrahedral relaxations constructed through the use of monic symmetric linear matrix polynomials (MSLMPs) of small size and depending polynomially (actually just cubically) on the coefficients of the corresponding polynomials. We analyze how good are the obtained spectrahedral approximations to these rigidly convex sets. We do this analysis by measuring the behavior along the diagonal, where we precisely recover the original univariate Eulerian polynomials. Thus we conclude that, measuring through the diagonal, our relaxation-based spectrahedral method for approximation of the rigidly convex sets defined by multivariate Eulerian polynomials is highly accurate. In particular, we see that this relaxation-based spectrahedral method for approximation of the rigidly convex sets defined by multivariate Eulerian polynomials provides bounds for the extreme roots of the corresponding univariate Eulerian polynomials that are better than these already found in the literature. All in all, this tells us that, at least close to the diagonal, the global outer approximation to the rigidly convex sets provided by this relaxation-based spectrahedral method is itself highly accurate.

We define and study an extension of the notion of the VC-dimension of a hypergraph and apply it to establish a Tverberg type theorem for unions of convex sets. We also prove a new Radon type theorem for unions of convex sets, vastly improving the estimates in an earlier result of Bárány and Kalai.

In this paper, we study avoshifts and unishifts on $\mathbb{Z}^d$. Avoshifts are subshifts where for each convex set $C$, and each vector $v$ such that $C \cup \{\vec v\}$ is also convex, the set of valid extensions of globally valid patterns on $C$ to ones on $C \cup \{v\}$ is determined by a bounded subpattern of $C$. Unishifts are the subshifts where for such $C, \vec v$, every $C$-pattern has the same number of $\vec v$-extensions. Cellwise quasigroup shifts (including group shifts) and TEP subshifts are examples of unishifts, while unishifts and subshifts with topological strong spatial mixing are examples of avoshifts. We prove that every avoshift is the spacetime subshift of a nondeterministic cellular automaton on an avoshift of lower dimension up to a linear transformation and a convex blocking. From this, we deduce that all avoshifts contain periodic points, and that unishifts have dense periodic points and admit equal entropy full shift factors.

We study a class of signomials whose positive support is the set of vertices of a simplex and which may have several negative support points in the simplex. Various groups of authors have provided an exact characterization for the global nonnegativity of a signomial in this class in terms of circuit signomials and that characterization provides a tractable nonnegativity test. We generalize this characterization to the constrained nonnegativity over a set $X$ under an additional convexity precondition in the exponential moment space. This provides a tractable nonnegativity test over $X$ for the class in terms of a power cone program. Our proof methods rely on a variant of the convex cone of constrained SAGE signomials (sums of arithmetic-geometric exponentials) and the duality theory.

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 specific monotone properties. Our results generalise to $H$-convex sets as well.

We develop the tools to bound extreme roots of multivariate real zero polynomials globally. This is done through the use of a relaxation that approximates their rigidly convex sets. This relaxation can easily be constructed using the degree $3$ truncation of the polynomial and it produces in this way a spectrahedron whose computation is relatively easy and whose size is relatively small and depending solely on the number of variables of the polynomial. As we know that, in order to be able to produce in general spectrahedral representations of rigidly convex sets it is necessary to build matrices of very big size, we try, analyze and experiment with several constructions that could increase the size of these matrices. These constructions are based principally in two main approaches: adding information about higher degree monomials or non-trivially increasing the number of variables of the original polynomial. We explore these two construction first in a general setting and see that it is necessary to particularize to certain families of polynomials in order to make them work. In particular, we are able to prove that increasing the number of variables improves the behavior of the relaxation along the diagonal in the case of Eulerian polynomials. We see that applying the relaxation to multivariate Eulerian polynomials and then looking at the univariate polynomials injected in their diagonals produces an exponential asymptotic improvement in the bounds provided. We compare these bounds with other bounds that have appeared previously in the literature and refine these previous bounds in order to study how close do the bounds provided by the relaxation are to the actual roots of the univariate Eulerian polynomials.

The stress interval $S(u,v)$ between $u,v\in V(G)$ is the set of all vertices in a graph $G$ that lie on every shortest $u,v$-path. A set $U \subseteq V(G)$ is stress convex if $S(u,v) \subseteq U$ for any $u,v\in U$. A vertex $v \in V(G)$ is s-extreme if $V(G)-v$ is a stress convex set in $G$. The stress number $sn(G)$ of $G$ is the minimum cardinality of a set $U$ where $\bigcup_{u,v \in U}S(u,v)=V(G)$. The stress hull number $sh(G)$ of $G$ is the minimum cardinality of a set whose stress convex hull is $V(G)$. In this paper, we present many basic properties of stress intervals. We characterize s-extreme vertices of a graph $G$ and construct graphs $G$ with arbitrarily large difference between the number of s-extreme vertices, $sh(G)$ and $sn(G)$. Then we study these three invariants for some special graph families, such as graph products, split graphs, and block graphs. We show that in any split graph $G$, $sh(G)=sn(G)=|Ext_s(G)|$, where $Ext_s(G)$ is the set of s-extreme vertices of $G$. Finally, we show that for $k \in \mathbb{N}$, deciding whether $sn(G) \leq k$ is NP-complete problem, even when restricted to bipartite graphs.

Given a graph $G$ and a set $S \subseteq V(G)$, we say that $S$ is $Δ$-convex if the neighborhood of every vertex not in $S$ is an independent set. A collection ${\cal V} = (V_1, V_2, \ldots , V_p)$ of convex sets of $G$ is a convex $p$-cover if $V(G) = \underset{1 \leq i \leq p}{\bigcup} V_i$ and $V_i \nsubseteq {\underset{1 \leq j \leq p, j\ne i}{\bigcup}} V_j$ for $i \in \{1, \ldots, p\}$. If the convex sets of ${\cal V}$ are pairwise disjoint, ${\cal V}$ is a convex $p$-partition of $V(G)$. The convex cover number $φ_c(G)$ (the convex partition number $Θ_c(G)$) of a graph $G$ is the least integer $p \geq 2$ for which $G$ has a convex $p$-cover (convex $p$-partition). In this work, we prove that the {\sc Convex p-cover} and {\sc Convex p-Partition} problems are \NP-complete for any fixed $p \ge 4$ in $Δ$-convexity. Furthermore, for the three standard graph products, namely, the Cartesian, strong and lexicographic products, we determine these parameters for some cases and present bounds for others.

Given a graph $G$, a set is $Δ$-convex if there is no vertex $u\in V(G)\setminus S$ forming a triangle with two vertices of $S$. The $Δ$-convex hull of $S$ is the minimum $Δ$-convex set containing $S$. This article is an attempt to discuss the Carathéodory number and exchange number on various graph families and standard graph products namely Cartesian, strong and, lexicographic products of graphs.

We prove new quantitative bounds on the additive structure of sets obeying an $L^3$ 'control' assumption, which arises naturally in several questions within additive combinatorics. This has a number of applications - in particular we improve the known bounds for the sum-product problem, the Balog-Szemerédi-Gowers theorem, and the additive growth of convex sets.

This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set can be represented as the intersection of a unit discrete cube and a face of the convex hull of the given integrally convex set. The first proof resorts to the Fenchel-type duality theorem in discrete convex analysis and the second is more elementary using Farkas' lemma.

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 encompass the Radon number, Helly number, colorful Helly number, fractional Helly number, colorful fractional Helly theorem, $(p,q)$ theorem, and two kinds of colorful $(p,q)$ theorems for these convexity spaces. The primary tools employed in our proofs involve simplicial complexes and collapsibility.

Let $G$ be a graph and $S \subseteq V(G)$. In the cycle convexity, we say that $S$ is \textit{cycle convex} if for any $u\in V(G)\setminus S$, the induced subgraph of $S\cup\{u\}$ contains no cycle that includes $u$. The \textit{cycle convex hull} of $S$ is the smallest convex set containing $S$. The \textit{cycle hull number} of $G$, denoted by $hn_{cc}(G)$, is the cardinality of the smallest set $S$ such that the convex hull of $S$ is $V(G)$. The \textit{convexity number} of $G$, denoted by $C_{cc}(G)$, is the maximum cardinality of a proper convex set of $V(G)$. This paper studies cycle convexity in graph products. We show that the cycle hull number is always two for strong and lexicographic products. For the Cartesian, we establish tight bounds for this product and provide a closed formula when the factors are trees, generalizing an existing result for grid graphs. In addition, given a graph $G$ and an integer $k$, we prove that $hn_{cc}(G) \leq k$ is NP-complete even if $G$ is a bipartite Cartesian product graph, addressing an open question in the literature. Furthermore, we present exact formulas for the cycle convexity number in those three graph products. That leads to the NP-completeness of, given a graph $G$ and an integer $k$, deciding whether $C_{cc}(G) \geq k$, when $G$ is a Cartesian, strong or lexicographic product graph.