arXiv++ Combinatorics

Let $\J$ and $\K$ be convex sets in $\R^{n}$ whose affine spans intersect at a single rational point in $\J \cap \K$, and let $\J \oplus \K = \conv(\J \cup \K)$. We give formulas for the generating function {equation*} σ_{\cone(\J \oplus \K)}(z_1,..., z_n, z_{n+1}) = \sum_{(m_1,..., m_n) \in t(\J \oplus \K) \cap \Z^{n}} z_1^{m_1}... z_n^{m_n} z_{n+1}^{t} {equation*} of lattice points in all integer dilates of $\J \oplus \K$ in terms of $σ_{\cone \J}$ and $σ_{\cone \K}$, under various conditions on $\J$ and $\K$. This work is motivated by (and recovers) a product formula of B.\ Braun for the Ehrhart series of $¶\oplus \Q$ in the case where $¶$ and $\Q$ are lattice polytopes containing the origin, one of which is reflexive. In particular, we find necessary and sufficient conditions for Braun's formula and its multivariate analogue.

The corner polyhedron is described by minimal valid inequalities from maximal lattice-free convex sets. For the Relaxed Corner Polyhedron (RCP) with two free integer variables and any number of non-negative continuous variables, it is known that such facet defining inequalities arise from maximal lattice-free splits, triangles and quadrilaterals. We improve on the tightest known upper bound for the approximation of the RCP, purely by minimal valid inequalities from maximal lattice-free quadrilaterals, from 2 to 1.71. We generalize the tightest known lower bound of 1.125 for the approximation of the RCP, purely by minimal valid inequalities from maximal lattice-free triangles, to an infinite subclass of quadrilaterals.

We prove that linearizing certain families of polynomial optimization problems leads to new functorial operations in real convex sets. We show that under some conditions these operations can be computed or approximated in ways amenable to efficient computation. These operations are convex analogues of Hom functors, tensor products, symmetric powers, exterior powers and general Schur functors on vector spaces and lead to novel constructions even for polyhedra.

A probability measure $P_n$ on the symmetric group ${\mathfrak S}_n$ is said to be record-dependent if $P_n(σ)$ depends only on the set of records of a permutation $σ\in{\mathfrak S}_n$. A sequence $P=(P_n)_{n\in{\mathbb N}}$ of consistent record-dependent measures determines a random order on $\mathbb N$. In this paper we describe the extreme elements of the convex set of such $P$. This problem turns out to be related to the study of asymptotic behavior of permutation-valued growth processes, to random extensions of partial orders, and to the measures on the Young-Fibonacci lattice.

Let $P$ be a set of $n$ points in general position in the plane. A subset $I$ of $P$ is called an \emph{island} if there exists a convex set $C$ such that $I = P \cap C$. In this paper we define the \emph{generalized island Johnson graph} of $P$ as the graph whose vertex consists of all islands of $P$ of cardinality $k$, two of which are adjacent if their intersection consists of exactly $l$ elements. We show that for large enough values of $n$, this graph is connected, and give upper and lower bounds on its diameter.

We consider sets and maps defined over an o-minimal structure over the reals, such as real semi-algebraic or subanalytic sets. A {\em monotone map} is a multi-dimensional generalization of a usual univariate monotone function, while the closure of the graph of a monotone map is a generalization of a compact convex set. In a particular case of an identically constant function, such a graph is called a {\em semi-monotone set}. Graphs of monotone maps are, generally, non-convex, and their intersections, unlike intersections of convex sets, can be topologically complicated. In particular, such an intersection is not necessarily the graph of a monotone map. Nevertheless, we prove a Helly-type theorem, which says that for a finite family of subsets of $\Real^n$, if all intersections of subfamilies, with cardinalities at most $n+1$, are non-empty and graphs of monotone maps, then the intersection of the whole family is non-empty and the graph of a monotone map.

A convex polygon $A$ is related to a convex $m$-gon $K= \bigcap_{i=1}^m k_i^+$, where $k_1^+,..., k_m^+$ are the $m$ halfplanes whose intersection is equal to $K$, if $A$ is the intersection of halfplanes $a_1^+,...,a_l$, each of which is a translate of one of the $k_i^+$-s. The planar family ${\cal A}$ is related to $K$ if each $A \in {\cal A}$ is related to $K$. We prove that any family of pairwise intersecting convex sets related to a given $n$-gon has a finite piercing number which depends on $n$. In the general case we show $O(3^{n^3})$, while for a certain class of families, we decrease the bound to $4(n-2)$, and for $n=3,4$ the bound is 3 and 6 respectively.

A collection of sets $\Fscr$ has the $(p,q)$-property if out of every $p$ elements of $\Fscr$ there are $q$ that have a point in common. A transversal of a collection of sets $\Fscr$ is a set $A$ that intersects every member of $\Fscr$. Grünbaum conjectured that every family $\Fscr$ of closed, convex sets in the plane with the $(4,3)$-property and at least two elements that are compact has a transversal of bounded cardinality. Here we construct a counterexample to his conjecture. On the positive side, we also show that if such a collection $\Fscr$ contains two {\em disjoint} compacta then there is a transveral of cardinality at most 13.

This survey paper deals with upper and lower bounds on the number of $k$-matchings in regular graphs on $N$ vertices. For the upper bounds we recall the upper matching conjecture which is known to hold for perfect matchings. For the lower bounds we first survey the known results for bipartite graphs, and their continuous versions as the van der Waerden and Tverberg permanent conjectures and its variants. We then discuss non-bipartite graphs. Little is known beyond the recent proof of the Lovász-Plummer conjecture on the exponential growth of perfect matchings in cubic bridgeless graphs. We discuss the problem of the minimum of haffnians on the convex set of matrices, whose extreme points are the adjacency matrices of subgraphs of the complete graph corresponding to perfect matchings. We also consider infinite regular graphs. The analog of $k$-matching is the $p$-monomer entropy, where $p\in [0,1]$ is the density of the number of matchings.

Let $C\subset {\mathbb R}^n$ be a convex body. We introduce two notions of convexity associated to C. A set $K$ is $C$-ball convex if it is the intersection of translates of $C$, or it is either $\emptyset$, or ${\mathbb R}^n$. The $C$-ball convex hull of two points is called a $C$-spindle. $K$ is $C$-spindle convex if it contains the $C$-spindle of any pair of its points. We investigate how some fundamental properties of conventional convex sets can be adapted to $C$-spindle convex and $C$-ball convex sets. We study separation properties and Carathéodory numbers of these two convexity structures. We investigate the basic properties of arc-distance, a quantity defined by a centrally symmetric planar disc $C$, which is the length of an arc of a translate of $C$, measured in the $C$-norm, that connects two points. Then we characterize those $n$-dimensional convex bodies $C$ for which every $C$-ball convex set is the $C$-ball convex hull of finitely many points. Finally, we obtain a stability result concerning covering numbers of some $C$-ball convex sets, and diametrically maximal sets in $n$-dimensional Minkowski spaces.

In this note we give an answer to a question about mixed volumes asked by Gromov in his paper "Convex Sets and Kahler Manifolds". For reader's convenience we remind definitions and some of the properties of mixed volumes and mixed discriminants.

We study two combinatorial parameters, which we denote by f(S) and h(S), associated to an arbitrary set S \subseteq R^d, where d \in N. In the nondegenerate situation, f(S) is the largest possible number of facets of a d-dimensional polyhedron L such that the interior of L is disjoint with S and L is inclusion-maximal with respect to this property. The parameter h(S) is the Helly number of the family of all sets that can be given as the intersection of S with a convex subset of R^d. We obtain the inequality f(S) \le h(S) for an arbitrary S and the equality f(S)=h(S) for every discrete S. Furthermore, motivated by research in integer and mixed-integer optimization, we show that 2^d is the sharp upper bound on f(S) in the case S = (Z^d \times R^n) \cap C, where n \ge 0 and C \subseteq R^{d+n} is convex. The presented material generalizes and unifies results of various authors, including the result h(Z^d) = 2^d of Doignon, the related result f(Z^d)=2^d of Lovász and the inequality f(Z^d \cap C) \le 2^d, which has recently been proved for every convex set C \subseteq R^d by Dey & Morán.

A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove \[|A+A|\gg\frac{|A|^{14/9}}{(\log|A|)^{2/9}}.\] Sumsets of different summands and an application to a sum-product-type problem are also studied either as remarks or as theorems.

Let V be a finite set and M a collection of subsets of V. Then M is an alignment of V if and only if M is closed under taking intersections and contains both V and the empty set. If M is an alignment of V, then the elements of M are called convex sets and the pair (V, M) is called an aligned space. If S is a subset of V, then the convex hull of S is the smallest convex set that contains S. Suppose X in M. Then x in X is an extreme point for X if X-x is in M. The collection of all extreme points of X is denoted by ex(X). A convex geometry on a finite set is an aligned space with the additional property that every convex set is the convex hull of its extreme points. Let G=(V,E) be a connected graph and U a set of vertices of G. A subgraph T of G containing U is a minimal U-tree if T is a tree and if every vertex of V(T)-U is a cut-vertex of the subgraph induced by V(T). The monophonic interval of U is the collection of all vertices of G that belong to some minimal U-tree. A set S of vertices in a graph is m_k-convex if it contains the monophonic interval of every k-set of vertices is S. A set of vertices S of a graph is m^3-convex if for every pair u,v of vertices in S, the vertices on every induced path of length at least 3 are contained in S. A set S is m_3^3-convex if it is both m_3- and m^3- convex. We show that if the m_3^3-convex sets form a convex geometry, then G is A-free.

Let K be a simplicial complex with vertex set V = {v_1,..., v_n}. The complex K is d-representable if there is a collection {C_1,...,C_n} of convex sets in R^d such that a subcollection {C_{i_1},...,C_{i_j}} has a nonempty intersection if and only if {v_{i_1},...,v_{i_j}} is a face of K. In 1967 Wegner proved that every simplicial complex of dimension d is (2d+1)-representable. He also suggested that his bound is the best possible, i.e., that there are $d$-dimensional simplicial complexes which are not 2d-representable. However, he was not able to prove his suggestion. We prove that his suggestion was indeed right. Thus we add another piece to the puzzle of intersection patterns of convex sets in Euclidean space.

We prove that a closed convex subset $C$ of a complete linear metric space $X$ is polyhedral in its closed linear hull if and only if no infinite subset $A\subset X\backslash C$ can be hidden behind $C$ in the sense $[x,y]\cap C\not = \emptyset$ for any distinct points $x,y\in A$.

A set of reals A={a_1,...,a_2} is called convex if a_{i+1} - a_i > a_i - a_{i-1} for all i. We prove, in particular, that |A-A| \gg |A|^{8/5} \log{-2/5} |A|.

We discuss here analogs of van der Waerden and Tverberg permanent conjectures for haffnians on the convex set of matrices whose extreme points are symmetric permutation matrices with zero diagonal.

The task of this survey is to present various results on intersection patterns of convex sets. One of main tools for studying intersection patterns is a point of view via simplicial complexes. We recall the definitions of so called $d$-representable, $d$-collapsible and $d$-Leray simplicial complexes which are very useful for this study. We study the differences among these notions and we also focus on computational complexity for recognizing them. A list of Helly-type theorems is presented in the survey and it is also discussed how (important) role play the above mentioned notions for the theorems. We also consider intersection patterns of good covers which generalize collections of convex sets (the sets may be `curvy'; however, their intersections cannot be too complicated). We mainly focus on new results.

A closure system with the anti-exchange axiom is called a convex geometry. One geometry is called a sub-geometry of the other if its closed sets form a sublattice in the lattice of closed sets of the other. We prove that convex geometries of relatively convex sets in $n$-dimensional vector space and their finite sub-geometries satisfy the $n$-Carousel Rule, which is the strengthening of the $n$-Carath$\acute{e}$odory property. We also find another property, that is similar to the simplex partition property and does not follow from $2$-Carusel Rule, which holds in sub-geometries of $2$-dimensional geometries of relatively convex sets.