arXiv++ Combinatorics

Illumination complexes are examples of 'flat polyhedral complexes' which arise if several copies of a convex polyhedron (convex body) Q are glued together along some of their common faces (closed convex subsets of their boundaries). A particularly nice example arises if Q is a Δ-zonotope (generalized rhombic dodecahedron), known also as the dual of the difference body Δ - Δ of a simplex Δ, or the dual of the convex hull of the root system A_n. We demonstrate that the illumination complexes and their relatives can be used as 'configuration spaces', leading to new 'fair division theorems'. Among the central new results is the 'polyhedral curtain theorem' (Theorem 3) which is a relative of both the 'ham sandwich theorem' and the 'splitting necklaces theorem'.

There are several real spherical models associated with a root arrangement, depending on the choice of a building set. The connected components of these models are manifolds with corners which can be glued together to obtain the corresponding real De Concini-Procesi models. In this paper, starting from any root system Phi with finite Coxeter group W and any W-invariant building set, we describe an explicit realization of the real spherical model as a union of polytopes (nestohedra) which lie inside the chambers of the arrangement. The main point of this realization is that the convex hull of these nestohedra is a larger polytope, a permutonestohedron, equipped with an action of W or also, depending on the building set, of Aut(Phi). The permutonestohedra are natural generalizations of Kapranov's permutoassociahedra.

Margot (1994) in his doctoral dissertation studied extended formulations of combinatorial polytopes that arise from "smaller" polytopes via some composition rule. He introduced the "projected faces property" of a polytope and showed that this property suffices to iteratively build extended formulations of composed polytopes. For the composed polytopes, we show that an extended formulation of the type studied in this paper is always possible only if the smaller polytopes have the projected faces property. Therefore, this produces a characterization of the projected faces property. Affinely generated polyhedral relations were introduced by Kaibel and Pashkovich (2011) to construct extended formulations for the convex hull of the images of a point under the action of some finite group of reflections. In this paper we prove that the projected faces property and affinely generated polyhedral relation are equivalent conditions.

Let $C$ be a smooth projective curve in $\mathbb{P}^1\times \mathbb{P}^1$ of genus $g\neq 4$, and assume that it is birationally equivalent to a curve defined by a Laurent polynomial that is non-degenerate with respect to its Newton polygon $Δ$. Then we show that the convex hull $Δ^{(1)}$ of the interior lattice points of $Δ$ is a standard rectangle, up to a unimodular transformation. Our main auxiliary result, which we believe to be interesting in its own right, is that the first scrollar Betti numbers of $Δ$-non-degenerate curves are encoded in the combinatorics of $Δ^{(1)}$, if $Δ$ satisfies some mild conditions.

The Birkhoff polytope B(n) is the convex hull of all (n x n) permutation matrices, i.e., matrices where precisely one entry in each row and column is one, and zeros at all other places. This is a widely studied polytope with various applications throughout mathematics. In this paper we study combinatorial types L of faces of a Birkhoff polytope. The Birkhoff dimension bd(L) of L is the smallest n such that B(n) has a face with combinatorial type L. By a result of Billera and Sarangarajan, a combinatorial type L of a d-dimensional face appears in some B(k) for k less or equal to 2d, so bd(L) is at most d. We will characterize those types whose Birkhoff dimension is at least 2d-3, and we prove that any type whose Birkhoff dimension is at least d is either a product or a wedge over some lower dimensional face. Further, we computationally classify all d-dimensional combinatorial types for d between 2 and 8.

In this note we investigate the behavior of the volume that the convex hull of two congruent and intersecting simplices in Euclidean $n$-space can have. We prove some useful equalities and inequalities on this volume. For the regular simplex we determine the maximal possible volume for the case when the two simplices are related to each other via reflection at a hyperplane intersecting them.

Many interesting problems are obtained by attempting to generalize classical results on convexity in Euclidean spaces to other convexity spaces, in particular to convexity spaces on graphs. In this paper we consider $P_3$-convexity on graphs. A set $U$ of vertices in a graph $G$ is $P_3$-convex if every vertex not in $U$ has at most one neighbour in $U$. More specifically, we consider Radon numbers for $P_3$-convexity in trees. Tverberg's theorem states that every set of $(k-1)(d+1)-1$ points in $\mathbb{R}^d$ can be partitioned into $k$ sets with intersecting convex hulls. As a special case of Eckhoff's conjecture, we show that a similar result holds for $P_3$-convexity in trees. A set $U$ of vertices in a graph $G$ is called free, if no vertex of $G$ has more than one neighbour in $U$. We prove an inequality relating the Radon number for $P_3$-convexity in trees with the size of a maximal free set.

In this paper we study general highest weight modules $\mathbb{V}^λ$ over a complex finite-dimensional semisimple Lie algebra $\mathfrak{g}$. We present three formulas for the set of weights of a large family of modules $\mathbb{V}^λ$, which include but are not restricted to all simple modules and all parabolic Verma modules. These formulas are direct and do not involve cancellations, and were not previously known in the literature. Our results extend the notion of the Weyl polytope to general highest weight $\mathfrak{g}$-modules $\mathbb{V}^λ$. We also show that for all simple modules, the convex hull of the weights is a $W_J$-invariant polyhedron for some parabolic subgroup $W_J$. We compute its vertices, faces, and symmetries - more generally, we also do this for all parabolic Verma modules, and for all modules $\mathbb{V}^λ$ with highest weight $λ$ not on a simple root hyperplane. To show our results, we extend the notion of convexity to arbitrary additive subgroups $\mathbb{A} \subset (\mathbb{R},+)$ of coefficients. Our techniques enable us to completely classify "weak $\mathbb{A}$-faces" of the support sets ${\rm wt}(\mathbb{V}^λ)$, in the process extending classical results of Satake, Borel-Tits, Vinberg, and Casselman, as well as modern variants by Chari-Dolbin-Ridenour and Cellini-Marietti, to general highest weight modules.

The colourful simplicial depth conjecture states that any point in the convex hull of each of d+1 sets, or colours, of d+1 points in general position in R^d is contained in at least d^2+1 simplices with one vertex from each set. We verify the conjecture in dimension 4 and strengthen the known lower bounds in higher dimensions. These results are obtained using a combinatorial generalization of colourful point configurations called octahedral systems. We present properties of octahedral systems generalizing earlier results on colourful point configurations and exhibit an octahedral system which can not arise from a colourful point configuration. The number of octahedral systems is also given.

In this note we investigate the convex hull of those $n \times n$-permutation matrices that correspond to symmetries of a regular $n$-gon. We give the complete facet description. As an application, we show that this yields a Gorenstein polytope, and we determine the Ehrhart $h^*$-vector.

Let $S$ be a 2-colored (red and blue) set of $n$ points in the plane. A subset $I$ of $S$ is an island if there exits a convex set $C$ such that $I=C\cap S$. The discrepancy of an island is the absolute value of the number of red minus the number of blue points it contains. A convex partition of $S$ is a partition of $S$ into islands with pairwise disjoint convex hulls. The discrepancy of a convex partition is the discrepancy of its island of minimum discrepancy. The coarseness of $S$ is the discrepancy of the convex partition of $S$ with maximum discrepancy. This concept was recently defined by Bereg et al. [CGTA 2013]. In this paper we study the following problem: Given a set $S$ of $n$ points in general position in the plane, how to color each of them (red or blue) such that the resulting 2-colored point set has small coarseness? We prove that every $n$-point set $S$ can be colored such that its coarseness is $O(n^{1/4}\sqrt{\log n})$. This bound is almost tight since there exist $n$-point sets such that every 2-coloring gives coarseness at least $Ω(n^{1/4})$. Additionally, we show that there exists an approximation algorithm for computing the coarseness of a 2-colored point set, whose ratio is between $1/128$ and $1/64$, solving an open problem posted by Bereg et al. [CGTA 2013]. All our results consider $k$-separable islands of $S$, for some $k$, which are those resulting from intersecting $S$ with at most $k$ halfplanes.

An \emph{interval vector} is a $(0,1)$-vector in $\mathbb{R}^n$ for which all the 1's appear consecutively, and an \emph{interval-vector polytope} is the convex hull of a set of interval vectors in $\mathbb{R}^n$. We study three particular classes of interval vector polytopes which exhibit interesting geometric-combinatorial structures; e.g., one class has volumes equal to the Catalan numbers, whereas another class has face numbers given by the Pascal 3-triangle.

Given a crystallographic reduced root system and an element v of the lattice generated by the roots we study the minimum number |v|, called the length of v, of roots needed to express v as sum of roots. This number is related to the linear functionals presenting the convex hull of the roots; the map v --> |v| turns out to be piecewise quasi-linear with quasi-linearity domains the cones over the facets of this convex hull. In order to show this relation we investigate the integral closure of the monoid generated by the roots in a facet. We study also the positive lenght, i.e. the minimum number of positive roots needed to write an element, and we prove that the two notions of length coincide for type A and C.

In this paper we verify a conjecture by Kozlov (Discrete Comput Geom 18 (1997) 421--431), which describes the convex hull of the set of face vectors of $r$-colorable complexes on $n$ vertices. As part of the proof we derive a generalization of Turán's graph theorem.

The colourful simplicial depth problem in dimension d is to find a configuration of (d+1) sets of (d+1) points such that the origin is contained in the convex hull of each set (colour) but contained in a minimal number of colourful simplices generated by taking one point from each set. A construction attaining d^2+1 simplices is known, and is conjectured to be minimal. This has been confirmed up to d=3, however the best known lower bound for d at least 4 is ((d+1)^2)/2. A promising method to improve this lower bound is to look at combinatorial octahedral systems generated by such configurations. The difficulty to employing this approach is handling the many symmetric configurations that arise. We propose a table of invariants which exclude many of partial configurations, and use this to improve the lower bound in dimension 4.

A subset $A$ of a Banach space is called Banach-Saks when every sequence in $A$ has a Ces{à}ro convergent subsequence. Our interest here focusses on the following problem: is the convex hull of a Banach-Saks set again Banach-Saks? By means of a combinatorial argument, we show that in general the answer is negative. However, sufficient conditions are given in order to obtain a positive result.

A family of subsets of the set {1,2,...,n} is said to be unbalanced if the convex hull of its characteristic vectors misses the diagonal in the n-cube.The purpose of this article is to develop the combinatorics of maximal unbalanced families. Specifically, we will prove lower and upper bounds on the number of maximal unbalanced families of subsets of an n-element set -- both bounds are of the form 2^{C n^2} for some C > 0. These families correspond to the chambers of a hyperplane arrangement, the restricted all-subset arrangement, that has arisen in various forms in physics, economics and psychometrics. In particular, our bounds answer a question posed in thermal field theory concerning the order of the number of chambers of this arrangement.

An empty pentagon in a point set P in the plane is a set of five points in P in strictly convex position with no other point of P in their convex hull. We prove that every finite set of at least 328k^2 points in the plane contains an empty pentagon or k collinear points. This is optimal up to a constant factor since the (k-1)x(k-1) grid contains no empty pentagon and no k collinear points. The previous best known bound was doubly exponential.

Let $P$ be a set of $n$ points on the plane in general position. We say that a set $Γ$ of convex polygons with vertices in $P$ is a convex decomposition of $P$ if: Union of all elements in $Γ$ is the convex hull of $P,$ every element in $Γ$ is empty, and for any two different elements of $Γ$ their interiors are disjoint. A minimal convex decomposition of $P$ is a convex decomposition $Γ'$ such that for any two adjacent elements in $Γ'$ its union is a non convex polygon. It is known that $P$ always has a minimal convex decomposition with at most $\frac{3n}{2}$ elements. Here we prove that $P$ always has a minimal convex decomposition with at most $\frac{10n}{7}$ elements.

Aydinian et al. [J. Combinatorial Theory A 118(2)(2011), 702-725] substituted the usual BLYM inequality for L-Sperner families with a set of M inequalities for $(m_1,m_2,...,m_M;L_1,L_2,...,L_M)$ type M-part Sperner families and showed that if all inequalities hold with equality, then the family is homogeneous. Aydinian et al. [Australasian J. Comb. 48(2010), 133-141] observed that all inequalities hold with equality if and only if the transversal of the Sperner family corresponds to a simple mixed orthogonal array with constraint M, strength M-1, using $m_i+1$ symbols in the $i^{\text{th}}$ column. In this paper we define $k$-dimensional $M$-part Sperner multi-families with parameters $L_P: P\in\binom{[M]}{k}$ and prove $\binom{M}{k}$ BLYM inequalities for them. We show that if k<M and all inequalities hold with equality, then these multi-families must be homogeneous with profile matrices that are strength M-k mixed orthogonal arrays. For k=M, homogeneity is not always true, but some necessary conditions are given for certain simple families. Following the methods of Aydinian et al. [Australasian J. Comb. 48(2010), 133-141], we give new constructions to simple mixed orthogonal arrays with constraint M, strength M-k, using $m_i+1$ symbols in the ith column. We extend the convex hull method to k-dimensional M-part Sperner multi-families, and allow additional conditions providing new results even for simple 1-part Sperner families.