arXiv++ Combinatorics

In a colouring of $\mathbb{R}^d$ a pair $(S,s_0)$ with $S\subseteq \mathbb{R}^d$ and with $s_0\in S$ is \emph{almost monochromatic} if $S\setminus \{s_0\}$ is monochromatic but $S$ is not. We consider questions about finding almost monochromatic similar copies of pairs $(S,s_0)$ in colourings of $\mathbb{R}^d$, $\mathbb{Z}^d$, and in $\mathbb{Q}$ under some restrictions on the colouring. Among other results, we characterise those $(S,s_0)$ with $S\subseteq \mathbb{Z}$ for which every finite colouring of $\mathbb{R}$ without an infinite monochromatic arithmetic progression contains an almost monochromatic similar copy of $(S,s_0)$. We also show that if $S\subseteq \mathbb{Z}^d$ and $s_0$ is outside of the convex hull of $S\setminus \{s_0\}$, then every finite colouring of $\mathbb{R}^d$ without a similar monochromatic copy of $\mathbb{Z}^d$ contains an almost monochromatic similar copy of $(S,s_0)$. Further, we propose an approach of finding almost-monochromatic sets that might lead to a non-computer assisted proof of $χ(\R^2)\geq 5$.

Define the $k$-th Radon number $r_k$ of a convexity space as the smallest number (if it exists) for which any set of $r_k$ points can be partitioned into $k$ parts whose convex hulls intersect. Combining the recent abstract fractional Helly theorem of Holmsen and Lee with earlier methods of Bukh, we prove that $r_k$ grows linearly, i.e., $r_k\le c(r_2)\cdot k$.

In this paper we focus on the tropical convex hull of convex sets and polyhedral complexes. We give a vertex description of the tropical convex hull of a line segment and a ray. %in \RR^{n+1}/\RR\mathbf{1}. Next we show that tropical convex hull and ordinary convex hull commute in two dimensions and characterize tropically convex polyhedra in any dimension. %$\mathbb{R}^3/\mathbb {R}\mathbf{1}$. Finally we show that the dimension of a tropically convex fan depends on the coordinates of its rays and give a lower bound on the degree of a fan tropical curve using only tropical techniques.

Let $D$ be a directed graph cellularly embedded in a surface together with non-negative cost on its arcs. Given any integer circulation in $D$, we study the problem of finding a minimum-cost non-negative integer circulation in $D$ that is homologous over the integers to the given circulation. A special case of this problem arises in recent work on the stable set problem for graphs with bounded odd cycle packing number, in which the surface is non-orientable (Conforti et al., SODA'20). For orientable surfaces, polynomial-time algorithms have been obtained for different variants of this problem. We complement these results by showing that the convex hull of feasible solutions has a very simple polyhedral description. In contrast, only little seems to be known about the case of non-orientable surfaces. We show that the problem is strongly NP-hard for general non-orientable surfaces, and give the first polynomial-time algorithm for surfaces of fixed genus. For the latter, we provide a characterization of homology (over the integers) that allows us to recast the problem as a special integer program, which can be efficiently solved using proximity results and dynamic programming.

Let $D$ be an orientation of a simple graph. Given $u,v\in V(D)$, a directed shortest $(u,v)$-path is a $(u,v)$-geodesic. $S \subseteq V(D)$ is convex if, for every $u,v \in S$, the vertices in each $(u,v)$-geodesic and in each $(v,u)$-geodesic are in $S$. For each $S \subseteq V(D)$ the (convex) hull of $S$, denoted by $[S]$, is the smallest convex set containing $S$. $S \subseteq V(D)$ is a hull set if $[S] = V(D)$. $S \subseteq V(D)$ is a geodetic set of $D$ if each vertex of $D$ lies in a $(u,v)$-geodesic, for some $u,v \in S$. The cardinality of a minimum hull set (resp. geodetic set) of $G$ is the hull number (resp. geodetic number) of $D$, denoted by $ \overrightarrow{\textrm{hn}} (D)$ (resp. $\overrightarrow{\textrm{gn}}(D)$). We first show a tight upper bound on $\overrightarrow{\textrm{hn}}(D)$. Given $k\in\mathbb{Z}_+^*$, we prove that deciding if $\overrightarrow{\textrm{hn}}\leq k$ is NP-complete when $D$ is an oriented partial cube; and if $\overrightarrow{\textrm{gn}}(D)\leq k$ is W[2]-hard parameterized by $k$ and has no $(c \cdot \ln n)$-approximation algorithm, unless P = NP, even if $D$ has an underlying graph that is bipartite or split or cobipartite. We also show polynomial-time algorithms to compute $\overrightarrow{\textrm{hn}}(D)$ and $\overrightarrow{\textrm{gn}}(D)$ when $D$ is an oriented cactus.

The weighted $\mathcal{T}$-free $2$-matching problem is the following problem: given an undirected graph $G$, a weight function on its edge set, and a set $\mathcal{T}$ of triangles in $G$, find a maximum weight $2$-matching containing no triangle in $\mathcal{T}$. When $\mathcal{T}$ is the set of all triangles in $G$, this problem is known as the weighted triangle-free $2$-matching problem, which is a long-standing open problem. A main contribution of this paper is to give a first polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem under the assumption that $\mathcal{T}$ is a set of edge-disjoint triangles. In our algorithm, a key ingredient is to give an extended formulation representing the solution set, that is, we introduce new variables and represent the convex hull of the feasible solutions as a projection of another polytope in a higher dimensional space. Although our extended formulation has exponentially many inequalities, we show that the separation problem can be solved in polynomial time, which leads to a polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem.

We characterize the cluster variables of skew-symmetrizable cluster algebras of rank 3 by their Newton polytopes. The Newton polytope of the cluster variable $z$ is the convex hull of the set of all $\mathbf{p}\in\mathbb{Z}^3$ such that the Laurent monomial ${\bf x}^{\mathbf{p}}$ appears with nonzero coefficient in the Laurent expansion of $z$ in the cluster ${\bf x}$. We give an explicit construction of the Newton polytope in terms of the exchange matrix and the denominator vector of the cluster variable. Along the way, we give a new proof of the fact that denominator vectors of non-initial cluster variables are non-negative in a cluster algebra of arbitrary rank.

We prove that each bounded polytope can be represented as a polynomial zonotope, which we refer to as the Z-representation of polytopes. Previous representations are the vertex representation (V-representation) and the halfspace representation (H-representation). Depending on the polytope, the Z-representation can be more compact than the V-representation and the H-representation. In addition, the Z-representation enables the computation of linear maps, Minkowski addition, and convex hull with a computational complexity that is polynomial in the representation size. The usefulness of the new representation is demonstrated by range bounding within polytopes.

Pick $d+1$ points uniformly at random on the unit sphere in $\mathbb R^d$. What is the expected value of the angle sum of the simplex spanned by these points? Choose $n$ points uniformly at random in the $d$-dimensional ball. What is the expected number of faces of their convex hull? We answer these and some related questions of stochastic geometry. To this end, we compute expected internal angles of random simplices whose vertices are independent random points sampled from one of the following $d$-dimensional distributions: (i) the beta distribution with the density proportional to $(1-\|x\|^2)^β$, where $x$ is belongs to the unit ball in $\mathbb R^d$; (ii) the beta' distribution with the density proportional to $(1+\|x\|^2)^{-β}$, where $x\in\mathbb{R}^{d}$. These results imply explicit formulae for the expected face numbers of the following random polytopes: (a) the typical Poisson-Voronoi cell; (b) the zero cell of the Poisson hyperplane tessellation; (c) beta and beta' polytopes defined as convex hulls of i.i.d. samples from the corresponding distributions.

In this paper we study the following geometric problem: given $2^n-1$ real numbers $x_A$ indexed by the non-empty subsets $A\subset \{1,..,n\}$, is it possible to construct a body $T\subset \mathbb{R}^n$ such that $x_A=|T_A|$ where $|T_A|$ is the $|A|$-dimensional volume of the projection of $T$ onto the subspace spanned by the axes in $A$? As it is more convenient to take logarithms we denote by $ψ_n$ the set of all vectors $x$ for which there is a body $T$ such that $x_A=\log |T_A|$ for all $A$. Bollobás and Thomason showed that $ψ_n$ is contained in the polyhedral cone defined by the class of `uniform cover inequalities'. Tan and Zeng conjectured that the convex hull $\DeclareMathOperator{\conv}{conv}$ $\conv(ψ_n)$ is equal to the cone given by the uniform cover inequalities. We prove that this conjecture is `nearly' right: the closed convex hull $\overline{\conv}(ψ_n)$ is equal to the cone given by the uniform cover inequalities. However, perhaps surprisingly, we also show that $\conv (ψ_n)$ is not closed for $n\ge 4$, thus disproving the conjecture.

Let $P$ be a set of $n$ points in general position on the plane. A set of closed convex polygons with vertices in $P$, and with pairwise disjoint interiors is called a convex decomposition of $P$ if their union is the convex hull of $P$, and no point of $P$ lies in the interior of the polygons. We show that there is a convex decomposition of $P$ with at most $\frac{4}{3}|I(P)|+\frac{1}{3}|B(P)|+1\le \frac{4}{3}|P|-2$ elements, where $B(P)\subseteq P$ is the set of points at the vertices of the convex hull of $P$, and $I(P)=P-B(P)$.

By using representation theory, we reduce the size of the set of possible values for the dimension of the convex hull of all feasible points polytope of an orthogonal array (OA) defining integer linear program (ILP). Our results address the conjecture that if this polytope is non-empty, then it is full dimensional within the affine space where all the feasible points of the ILP's linear programming (LP) relaxation lie, raised by Appa et al., [On multi-index assignment polytopes, Linear Algebra and its Applications 416 (2-3) (2006), 224--241]. In particular, our theoretical results provide a sufficient condition for this polytope to be full dimensional within the LP relaxation affine space when it is non-empty. This sufficient condition implies all the known non-trivial values of the dimension of the $(k,s)$ assignment polytope. However, our results suggest that the conjecture mentioned above may not be true. More generally we provide previously unknown restrictions on the feasible values of the dimension of convex hull of all feasible points polytope of our OA defining ILP. We also determine all possible corresponding sets of equality constraints up to equivalence that can be implied by the integrality constraints of this ILP. Moreover, we find additional restrictions on the dimension of convex hull of feasible points and larger sets of corresponding equality constraints for the $n=2$ and even $s$ cases. These cases posses symmetries that do not necessarily exist in the $3\leq n$ or odd $s$ cases.

A clutter is \emph{clean} if it has no delta or the blocker of an extended odd hole minor, and it is \emph{tangled} if its covering number is two and every element appears in a minimum cover. Clean tangled clutters have been instrumental in progress towards several open problems on ideal clutters, including the $τ=2$ Conjecture. Let $\mathcal{C}$ be a clean tangled clutter. It was recently proved that $\mathcal{C}$ has a fractional packing of value two. Collecting the supports of all such fractional packings, we obtain what is called the {\it core} of $\mathcal{C}$. The core is a duplication of the cuboid of a set of $0-1$ points, called the {\it setcore} of $\mathcal{C}$. In this paper, we prove three results about the setcore. First, the convex hull of the setcore is a full-dimensional polytope containing the center point of the hypercube in its interior. Secondly, this polytope is a simplex if, and only if, the setcore is the cocycle space of a projective geometry over the two-element field. Finally, if this polytope is a simplex of dimension more than three, then $\mathcal{C}$ has the clutter of the lines of the Fano plane as a minor. Our results expose a fascinating interplay between the combinatorics and the geometry of clean tangled clutters.

A seminal theorem of Tverberg states that any set of $T(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Almost any collection of fewer points in $\mathbb{R}^d$ cannot be so divided, and in these cases we ask if the set can nonetheless be $P(r,d)$--partitioned, i.e., split into $r$ subsets so that there exist $r$ points, one from each resulting convex hull, which form the vertex set of a prescribed convex $d$--polytope $P(r,d)$. Our main theorem shows that this is the case for any generic $T(r,2)-2$ points in the plane and any $r\geq 3$ when $P(r,2)=P_r$ is a regular $r$--gon, and moreover that $T(r,2)-2$ is tight. For higher dimensional polytopes and $r=r_1\cdots r_k$, $r_i \geq 3$, this generalizes to $T(r,2k)-2k$ generic points in $\mathbb{R}^{2k}$ and orthogonal products $P(r,2k)=P_{r_1}\times \cdots \times P_{r_k}$ of regular polygons, and likewise to $T(2r,2k+1)-(2k+1)$ points in $\mathbb{R}^{2k+1}$ and the product polytopes $P(2r,2k+1)=P_{r_1}\times \cdots \times P_{r_k} \times P_2$. As with Tverberg's original theorem, our results admit topological generalizations when $r$ is a prime power, and, using the "constraint method" of Blagojević, Frick, and Ziegler, allow for dimensionally restricted versions of a van Kampen--Flores type and colored analogues in the fashion of Soberón.

We prove a sharp stability result concerning how close homothetic sets attaining near-equality in the Brunn-Minkowski inequality are to being convex. In particular, resolving a conjecture of Figalli and Jerison, we show there are universal constants $C_n,d_n>0$ such that for $A \subset \mathbb{R}^n$ of positive measure, if $|\frac{A+A}{2}\setminus A| \le d_n |A|$, then $|\operatorname{co}(A)\setminus A| \le C_n |\frac{A+A}{2}\setminus A|$ for $\operatorname{co}(A)$ the convex hull of $A$.

Thickenings of a metric space capture local geometric properties of the space. Here we exhibit applications of lower bounding the topology of thickenings of the circle and more generally the sphere. We explain interconnections with the geometry of circle actions on Euclidean space, the structure of zeros of trigonometric polynomials, and theorems of Borsuk-Ulam type. We use the combinatorial and geometric structure of the convex hull of orbits of circle actions on Euclidean space to give geometric proofs of the homotopy type of metric thickenings of the circle. Homotopical connectivity bounds of thickenings of the sphere allow us to prove that a weighted average of function values of odd maps $S^n \to \mathbb{R}^{n+2}$ on a small diameter set is zero. We prove an additional generalization of the Borsuk-Ulam theorem for odd maps $S^{2n-1} \to \mathbb{R}^{2kn+2n-1}$. We prove such results for odd maps from the circle to any Euclidean space with optimal quantitative bounds. This in turn implies that any raked homogeneous trigonometric polynomial has a zero on a subset of the circle of a specific diameter; these results are optimal.

A walk $W$ between vertices $u$ and $v$ of a graph $G$ is called a {\em tolled walk between $u$ and $v$} if $u$, as well as $v$, has exactly one neighbour in $W$. A set $S \subseteq V(G)$ is {\em toll convex} if the vertices contained in any tolled walk between two vertices of $S$ are contained in $S$. The {\em toll convex hull of $S$} is the minimum toll convex set containing~$S$. The {\em toll hull number of $G$} is the minimum cardinality of a set $S$ such that the toll convex hull of $S$ is $V(G)$. The main contribution of this work is an algorithm for computing the toll hull number of a general graph in polynomial time.

Carathéodorys Theorem of convex hulls plays an important role in convex geometry. In 1982, Bárány formulated and proved a more general version, called the Colorful Carathéodory. This colorful version was even more generalized by Holmsen in 2016. He formulated a combinatorial extension and found a topological proof. Taking a dual point of view we gain an equivalent formulation of Holmsen's result that has a more geometric meaning.

For two elements $v$ and $w$ of the symmetric group $\mathfrak{S}_n$ with $v\leq w$ in Bruhat order, the Bruhat interval polytope $Q_{v,w}$ is the convex hull of the points $(z(1),\ldots,z(n))\in \mathbb{R}^n$ with $v\leq z\leq w$. It is known that the Bruhat interval polytope $Q_{v,w}$ is the moment map image of the Richardson variety $X^{v^{-1}}_{w^{-1}}$. We say that $Q_{v,w}$ is \emph{toric} if the corresponding Richardson variety $X_{w^{-1}}^{v^{-1}}$ is a toric variety. We show that when $Q_{v,w}$ is toric, its combinatorial type is determined by the poset structure of the Bruhat interval $[v,w]$ while this is not true unless $Q_{v,w}$ is toric. We are concerned with the problem of when $Q_{v,w}$ is (combinatorially equivalent to) a cube because $Q_{v,w}$ is a cube if and only if $X_{w^{-1}}^{v^{-1}}$ is a smooth toric variety. We show that a Bruhat interval polytope $Q_{v,w}$ is a cube if and only if $Q_{v,w}$ is toric and the Bruhat interval $[v,w]$ is a Boolean algebra. We also give several sufficient conditions on $v$ and $w$ for $Q_{v,w}$ to be a cube.

There are (at least) two reasons to study random polytopes. The first is to understand the combinatorics and geometry of random polytopes especially as compared to other classes of polytopes, and the second is to analyze average-case complexity for algorithms which take polytopal data as input. However, establishing results in either of these directions often requires quite technical methods. Here we seek to give an elementary introduction to random polytopes avoiding these technicalities. In particular we explore the general paradigm that polytopes obtained from the convex hull of random points on a sphere have low complexity.