arXiv++ Combinatorics

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.

We provide the directed counterpart of a slight extension of Katoh and Tanigawa's result on rooted-tree decompositions with matroid constraints. Our result characterises digraphs having a packing of arborescences with matroid constraints. It is a proper extension of Edmonds' result on packing of spanning arborescences and implies - using a general orientation result of Frank - the above result of Katoh and Tanigawa. We also give a complete description of the convex hull of the incidence vectors of the basic packings of arborescences and prove that the mimimum cost version of the problem can be solved in polynomial time.

A perfect matching in a bipartite graph embedded on a torus defines a height function on the graph's faces and an associated height change vector in $\Z^2$. These matchings are enumerated by a combination of four evaluations of a bivariate Laurent polynomial, called Kasteleyn operator, whose coefficient of bidegree (i,j) is, up to the sign, the number of perfect matchings with height change (i,j). Therefore the Newton polygon of the Kasteleyn operator is the convex hull of the height change vectors. In this article, we prove that any point with integer coordinates in that polygon is realized by a perfect matching.

In 2010, M. Studený, R. Hemmecke, and S. Linder explored a new algebraic description of graphical models, called characteristic imsets. Compare with standard imsets, characteristic imsets have several advantages: they are still unique vector representative of conditional independence structures, they are 0-1 vectors, and they are more intuitive in terms of graphs than standard imsets. After defining a characteristic imset polytope (cim-polytope) as the convex hull of all characteristic imsets with a given set of nodes, they also showed that a model selection in graphical models, which maximizes a quality criterion, can be converted into a linear programming problem over the cim-polytope. However, in general, for a fixed set of nodes, the cim-polytope can have exponentially many vertices over an exponentially high dimension. Therefore, in this paper, we focus on the family of directed acyclic graphs (DAGs) whose nodes have a fixed order. This family includes diagnosis models which can be described by Bipartite graphs with a set of $m$ nodes and a set of $n$ nodes for any $m, n \in \Z_+$. In this paper, we first consider cim-polytopes for all diagnosis models and show that these polytopes are direct products of simplices. Then we give a combinatorial description of all edges and all facets of these polytopes. Finally, we generalize these results to the cim-polytopes for all Bayesian networks with a fixed underlying ordering of nodes with or without fixed (or forbidden) edges.

We study a new geometric graph parameter $\egd(G)$, defined as the smallest integer $r\ge 1$ for which any partial symmetric matrix which is completable to a correlation matrix and whose entries are specified at the positions of the edges of $G$, can be completed to a matrix in the convex hull of correlation matrices of $\rank $ at most $r$. This graph parameter is motivated by its relevance to the problem of finding low rank solutions to semidefinite programs over the elliptope, and also by its relevance to the bounded rank Grothendieck constant. Indeed, $\egd(G)\le r$ if and only if the rank-$r$ Grothendieck constant of $G$ is equal to 1. We show that the parameter $\egd(G)$ is minor monotone, we identify several classes of forbidden minors for $\egd(G)\le r$ and we give the full characterization for the case $r=2$. We also show an upper bound for $\egd(G)$ in terms of a new tree-width-like parameter $\sla(G)$, defined as the smallest $r$ for which $G$ is a minor of the strong product of a tree and $K_r$. We show that, for any 2-connected graph $G\ne K_{3,3}$ on at least 6 nodes, $\egd(G)\le 2$ if and only if $\sla(G)\le 2$.