arXiv++ Combinatorics

In 1980, Las Vergnas defined a notion of discrete convexity for oriented matroids, which Edelman subsequently related to the theory of anti-exchange closure functions and convex geometries. In this paper, we use generalized matroid activity to construct a convex geometry associated with an ordered, unoriented matroid. The construction in particular yields a new type of representability for an ordered matroid defined by the affine representability of its corresponding convex geometry. The lattice of convex sets of this convex geometry induces an ordering on the matroid independent sets which extends the external active order on matroid bases. We show that this generalized external order forms a supersolvable meet-distributive lattice refining the geometric lattice of flats, and we uniquely characterize the lattices isomorphic to the external order of a matroid. Finally, we introduce a new trivariate generating function generalizing the matroid Tutte polynomial.

A family $F$ of sets is said to satisfy the $(p,q)$-property if among any $p$ sets of $F$ some $q$ intersect. The celebrated $(p,q)$-theorem of Alon and Kleitman asserts that any family of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$-property for some $q \geq d+1$, can be pierced by a fixed number $f_d(p,q)$ of points. The minimum such piercing number is denoted by $HD_d(p,q)$. Already in 1957, Hadwiger and Debrunner showed that whenever $q>\frac{d-1}{d}p+1$ the piercing number is $HD_d(p,q)=p-q+1$; no exact values of $HD_d(p,q)$ were found ever since. While for an arbitrary family of compact convex sets in $\mathbb{R}^d$, $d \geq 2$, a $(p,2)$-property does not imply a bounded piercing number, such bounds were proved for numerous specific families. The best-studied among them is axis-parallel rectangles in the plane. Wegner and (independently) Dol'nikov used a $(p,2)$-theorem for axis-parallel rectangles to show that $HD_{\mathrm{rect}}(p,q)=p-q+1$ holds for all $q>\sqrt{2p}$. These are the only values of $q$ for which $HD_{\mathrm{rect}}(p,q)$ is known exactly. In this paper we present a general method which allows using a $(p,2)$-theorem as a bootstrapping to obtain a tight $(p,q)$-theorem, for families with Helly number 2, even without assuming that the sets in the family are convex or compact. To demonstrate the strength of this method, we obtain a significant improvement of an over 50 year old result by Wegner and Dol'nikov. Namely, we show that $HD_{\mathrm{d-box}}(p,q)=p-q+1$ holds for all $q > c' \log^{d-1} p$, and in particular, $HD_{\mathrm{rect}}(p,q)=p-q+1$ holds for all $q \geq 7 \log_2 p$ (compared to $q \geq \sqrt{2p}$ of Wegner and Dol'nikov). In addition, for several classes of families, we present improved $(p,2)$-theorems, some of which can be used as a bootstrapping to obtain tight $(p,q)$-theorems.

Denote $\mathcal{A}$ as the set of all doubly substochastic $m \times n$ matrices and let $k$ be a positive integer. Let $\mathcal{A}_k$ be the set of all $1/k$-bounded doubly substochastic $m \times n$ matrices, i.e., $\mathcal{A}_k \triangleq \{E \in \mathcal{A}: e_{i,j} \in [0, 1/k], \forall i=1,2,\cdots,m, j = 1,2,\cdots, n\}$. Denote $\mathcal{B}_k$ as the set of all matrices in $\mathcal{A}_k$ whose entries are either $0$ or $1/k$. We prove that $\mathcal{A}_k$ is the convex hull of all matrices in $\mathcal{B}_k$.

Much work has been done to identify which binary codes can be represented by collections of open convex or closed convex sets. While not all binary codes can be realized by such sets, here we prove that every binary code can be realized by convex sets when there is no restriction on whether the sets are all open or closed. We achieve this by constructing a convex realization for an arbitrary code with $k$ nonempty codewords in $\mathbb{R}^{k-1}$. This result justifies the usual restriction of the definition of convex neural codes to include only those that can be realized by receptive fields that are all either open convex or closed convex. We also show that the dimension of our construction cannot in general be lowered.

In convex integer programming, various procedures have been developed to strengthen convex relaxations of sets of integer points. On the one hand, there exist several general-purpose methods that strengthen relaxations without specific knowledge of the set $ S $, such as popular linear programming or semi-definite programming hierarchies. On the other hand, various methods have been designed for obtaining strengthened relaxations for very specific sets that arise in combinatorial optimization. We propose a new efficient method that interpolates between these two approaches. Our procedure strengthens any convex set $ Q \subseteq \mathbb{R}^n $ containing a set $ S \subseteq \{0,1\}^n $ by exploiting certain additional information about $ S $. Namely, the required extra information will be in the form of a Boolean formula $ φ$ defining the target set $ S $. The aim of this work is to analyze various aspects regarding the strength of our procedure. As one result, interpreting an iterated application of our procedure as a hierarchy, our findings simplify, improve, and extend previous results by Bienstock and Zuckerberg on covering problems.

For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of the line segment. Midpoint convexity is a well-known characterization of ordinary convexity under very mild assumptions. For a function defined on the integer lattice, we consider the analogous notion of discrete midpoint convexity, a discrete version of midpoint convexity where the value of the function at the (possibly noninteger) midpoint is replaced by the average of the function values at the integer round-up and round-down of the midpoint. It is known that discrete midpoint convexity on all line segments with integer endpoints characterizes L$^{\natural}$-convexity, and that it characterizes submodularity if we restrict the endpoints of the line segments to be at $\ell_\infty$-distance one. By considering discrete midpoint convexity for all pairs at $\ell_\infty$-distance equal to two or not smaller than two, we identify new classes of discrete convex functions, called local and global discrete midpoint convex functions, which are strictly between the classes of L$^{\natural}$-convex and integrally convex functions, and are shown to be stable under scaling and addition. Furthermore, a proximity theorem, with the same small proximity bound as that for L$^{\natural}$-convex functions, is established for discrete midpoint convex functions. Relevant examples of classes of local and global discrete midpoint convex functions are provided.

This paper consists of two halves. In the first half of the paper, we consider real-valued functions $f$ whose domain is the vertex set of a graph $G$ and that are Lipschitz with respect to the graph distance. By placing a uniform distribution on the vertex set, we treat $f$ as a random variable. We investigate the link between the isoperimetric function of $G$ and the functions $f$ that have maximum variance or meet the bound established by the subgaussian inequality. We present several results describing the extremal functions, and use those results to resolve: (A) a conjecture by Bobkov, Houdré, and Tetali characterizing the extremal functions of the subgaussian inequality of the odd cycle, and (B) a conjecture by Alon, Boppana, and Spencer on the relationship between maximum variance functions and the isoperimetric function of product graphs. While establishing a discrete analogue of the curved Brunn-Minkowski inequality for the discrete hypercube, Ollivier and Villani suggested several avenues for research. We resolve them in second half of the paper as follows. (1) They propose that a bound on $t$-midpoints can be obtained by repeated application of the bound on midpoints, if the original sets are convex. We construct a specific example where this reasoning fails, and then prove our construction is general by characterizing the convex sets in the discrete hypercube. (2) A second proposed technique to bound $t$-midpoints involves new results in concentration of measure. We follow through on this proposal, with heavy use on results from the first half of the paper. (3) We show that the curvature of the discrete hypercube is not positive or zero.

The Hadwiger-Debrunner number $HD_d(p,q)$ is the minimal size of a piercing set that can always be guaranteed for a family of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$ property. Hadwiger and Debrunner showed that $HD_d(p,q) \geq p-q+1$ for all $q$, and equality is attained for $q > \frac{d-1}{d}p +1$. Almost tight upper bounds for $HD_d(p,q)$ for a `sufficiently large' $q$ were obtained recently using an enhancement of the celebrated Alon-Kleitman theorem, but no sharp upper bounds for a general $q$ are known. In [L. Montejano and P. Soberón, Piercing numbers for balanced and unbalanced families, Disc. Comput. Geom., 45(2) (2011), pp. 358-364], Montejano and Soberón defined a refinement of the $(p,q)$ property: $F$ satisfies the $(p,q)_r$ property if among any $p$ elements of $F$, at least $r$ of the $q$-tuples intersect. They showed that $HD_d(p,q)_r \leq p-q+1$ holds for all $r>{{p}\choose{q}}-{{p+1-d}\choose{q+1-d}}$; however, this is far from being tight. In this paper we present improved asymptotic upper bounds on $HD_d(p,q)_r$ which hold when only a tiny portion of the $q$-tuples intersect. In particular, we show that for $p,q$ sufficiently large, $HD_d(p,q)_r \leq p-q+1$ holds with $r = \frac{1}{p^{\frac{q}{2d}}}{{p}\choose{q}}$. Our bound misses the known lower bound for the same piercing number by a factor of less than $pq^d$. Our results use Kalai's Upper Bound Theorem for convex sets, along with the Hadwiger-Debrunner theorem and the recent improved upper bound on $HD_d(p,q)$ mentioned above.

Let $D$ be a connected oriented graph. A set $S \subseteq V(D)$ is convex in $D$ if, for every pair of vertices $x, y \in S$, the vertex set of every $xy$-geodesic, ($xy$ shortest directed path) and every $yx$-geodesic in $D$ is contained in $S$. The convexity number, ${\rm con}(D)$, of a non-trivial oriented graph, $D$, is the maximum cardinality of a proper convex set of $D$. The strong convexity spectrum of the graph $G$, $S_{SC} (G)$, is the set $\{{ \rm con}(D) \colon\ D {\rm \ is \ a \ strong \ orientation \ of \ } G \}$. In this paper we prove that the problem of determining the convexity number of an oriented graph is $\mathcal{NP}$-complete, even for bipartite oriented graphs of arbitrary large girth, extending previous known results for graphs. We also determine $S_{SC} (P_n \Box P_m)$, for every pair of integers $n,m \ge 2$.

Very recently Richter and Rogers proved that any convex geometry can be represented by a family of convex polygons in the plane. We shall generalize their construction and obtain a wide variety of convex shapes for representing convex geometries. We present an Erdos-Szekeres type obstruction, which answers a question of Czedli negatively, that is general convex geometries cannot be represented with ellipses in the plane. Moreover, we shall prove that one cannot even bound the number of common supporting lines of the pairs of the representing convex sets. In higher dimensions we prove that all convex geometries can be represented with ellipsoids.

We propose a notion of depth with respect to a finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$ which we call $\text{dep}_\mathcal{F}$. We begin showing that $\text{dep}_\mathcal{F}$ satisfies some expected properties for a measure of depth and that this definition is closely related to the notion of depth proposed by J. Tukey. We show that some properties of Tukey depth extend to $\text{dep}_\mathcal{F}$ and we point out some key differences. We then focus on the following centerpoint-type question: what is the best depth $α_{d,k}$ that we can guarantee under the hypothesis that the family $\mathcal{F}$ is $k$-intersecting? We show a key connection between this problem and a purely combinatorial problem on hitting sets. The relationship is useful in both directions. On the one hand, for values of $k$ close to $d$ the combinatorial interpretation gives a good bound for $k$. On the other hand, for low values of $k$ we can use the classic Rado's centerpoint theorem to get combinatorial results of independent interest. For intermediate values of $k$ we present a probabilistic framework to improve the bounds and illustrate its use in the case $k\approx d/2$. These results can be though of as an interpolation between Helly's theorem and Rado's centerpoint theorem. As an application of these results we find a Helly-type theorem for fractional hyperplane transversals. We also give an alternative and simpler proof for a transversal result of A. Holmsen.

After surveying some known properties of compact convex sets in the plane, we give a two rigorous proofs of the general feeling that supporting lines can be slide-turned slowly and continuously. Targeting a wide readership, our treatment is elementary on purpose.

Let G=(V,E) be a connected graph. A set U subseteq V is convex if G[U] is connected and all vertices of V\U have at most one neighbor in U. Let sigma(W) denote the unique smallest convex set that contains W subseteq V. Two players play the following game. Consider a convex set U and call it the `playground.' Initially, U = emptyset. When U=V, the player to move loses the game. Otherwise, that player chooses a vertex x in V\U which is at distance at most two from U. The effect of the move is that the playground U changes into sigma(U cup {x}) and the opponent is presented with this new playground. A graph is chordal bipartite if it is bipartite and has no induced cycle of length more than four. In this paper we show that, when G is chordal bipartite, there is a polynomial-time algorithm that computes the Grundy number of the P_3-game played on G. This implies that there is an efficient algorithm to decide whether the first player has a winning strategy.

This paper is about integral zonotopes. It is proven that large zonotopes in a convex cone have a limit shape, meaning that, after suitable scaling, the overwhelming majority of the zonotopes are very close to a fixed convex set. Several combinatorial properties of large zonotopes are established.

Neural codes serve as a language for neurons in the brain. Convex codes, which arise from the pattern of intersections of convex sets in Euclidean space, are of particular relevance to neuroscience. Not every code is convex, however, and the combinatorial properties of a code that determine its convexity are still poorly understood. Here we find that a code that can be realized by a collection of open convex sets may or may not be realizable by closed convex sets, and vice versa, establishing that open convex and closed convex codes are distinct classes. We also prove that max intersection-complete codes (i.e. codes that contain all intersections of maximal codewords) are both open convex and closed convex, and provide an upper bound for their minimal embedding dimension. Finally, we show that the addition of non-maximal codewords to an open convex code preserves convexity.

Toll convexity is a variation of the so-called interval convexity. A tolled walk $T$ between $u$ and $v$ in $G$ is a walk of the form $T: u,w_1,\ldots,w_k,v,$ where $k\ge 1$, in which $w_1$ is the only neighbor of $u$ in $T$ and $w_k$ is the only neighbor of $v$ in $T$. As in geodesic or monophonic convexity, toll interval between $u,v\in V(G)$ is a set $T_G(u,v)=\{x\in V(G)\,:\,x \textrm{ lies on a tolled walk between } u \textrm{ and } v\}$. A set of vertices $S$ is toll convex, if $T_{G}(u,v)\subseteq S$ for all $u,v\in S$. First part of the paper reinvestigates the characterization of convex sets in the Cartesian product of graphs. Toll number and toll hull number of the Cartesian product of two arbitrary graphs is proven to be 2. The second part deals with the lexicographic product of graphs. It is shown that if $H$ is not isomorphic to a complete graph, $tn(G \circ H) \leq 3\cdot tn(G)$. We give some necessary and sufficient conditions for $tn(G \circ H) = 3\cdot tn(G)$. Moreover, if $G$ has at least two extreme vertices, a complete characterization is given. Also graphs with $tn(G \circ H)=2$ are characterized - this is the case iff $G$ has an universal vertex and $tn(H)=2$. Finally, the formula for $tn(G \circ H)$ is given - it is described in terms of the so-called toll-dominating triples.

Reay's relaxed Tverberg conjecture and Conway's thrackle conjecture are open problems about the geometry of pairwise intersections. Reay asked for the minimum number of points in Euclidean d-space that guarantees any such point set admits a partition into r parts, any k of whose convex hulls intersect. Here we give new and improved lower bounds for this number, which Reay conjectured to be independent of k. We prove a colored version of Reay's conjecture for k sufficiently large, but nevertheless k independent of dimension d. Requiring convex hulls to intersect pairwise severely restricts combinatorics. This is a higher-dimensional analog of Conway's thrackle conjecture or its linear special case. We thus study convex-geometric and higher-dimensional analogs of the thrackle conjecture alongside Reay's problem and conjecture (and prove in two special cases) that the number of convex sets in the plane is bounded by the total number of vertices they involve whenever there exists a transversal set for their pairwise intersections. We thus isolate a geometric property that leads to bounds as in the thrackle conjecture. We also establish tight bounds for the number of facets of higher-dimensional analogs of linear thrackles and conjecture their continuous generalizations.

Considering $n\times n\times n$ stochastic tensors $(a_{ijk})$ (i.e., nonnegative hypermatrices in which every sum over one index $i$, $j$, or $k$, is 1), we study the polytope ($Ω_{n}$) of all these tensors, the convex set ($L_n$) of all tensors in $Ω_{n}$ with some positive diagonals, and the polytope ($Δ_n$) generated by the permutation tensors. We show that $L_n$ is almost the same as $Ω_{n}$ except for some boundary points. We also present an upper bound for the number of vertices of $Ω_{n}$.

The main result is a common generalization of results on lower bounds for the chromatic number of r-uniform hypergraphs and some of the major theorems in Tverberg-type theory, which is concerned with the intersection pattern of faces in a simplicial complex when continuously mapped to Euclidean space. As an application we get a simple proof of a generalization of a result of Kriz for certain parameters. This specializes to a short and simple proof of Kneser's conjecture. Moreover, combining this result with recent work of Mabillard and Wagner we show that the existence of certain equivariant maps yields lower bounds for chromatic numbers. We obtain an essentially elementary proof of the result of Schrijver on the chromatic number of stable Kneser graphs. In fact, we show that every neighborly even-dimensional polytope yields a small induced subgraph of the Kneser graph of the same chromatic number. We furthermore use this geometric viewpoint to give tight lower bounds for the chromatic number of certain small subhypergraphs of Kneser hypergraphs.

Let $k \geq 3$. We prove the following three bounds for the matching number, $α'(G)$, of a graph, $G$, of order $n$ size $m$ and maximum degree at most $k$. If $k$ is odd, then $α'(G) \ge \left( \frac{k-1}{k(k^2 - 3)} \right) n \, + \, \left( \frac{k^2 - k - 2}{k(k^2 - 3)} \right) m \, - \, \frac{k-1}{k(k^2 - 3)}$. If $k$ is even, then $α'(G) \ge \frac{n}{k(k+1)} \, + \, \frac{m}{k+1} - \frac{1}{k}$. If $k$ is even, then $α'(G) \ge \left( \frac{k+2}{k^2+k+2} \right) m \, - \, \left( \frac{k-2}{k^2+k+2} \right) n \, - \frac{k+2}{k^2+k+2}$. In this paper we actually prove a slight strengthening of the above for which the bounds are tight for essentially all densities of graphs. The above three bounds are in fact powerful enough to give a complete description of the set $L_k$ of pairs $(γ,β)$ of real numbers with the following property. There exists a constant $K$ such that $α'(G) \geq γn + βm - K$ for every connected graph $G$ with maximum degree at most~$k$, where $n$ and $m$ denote the number of vertices and the number of edges, respectively, in $G$. We show that $L_k$ is a convex set. Further, if $k$ is odd, then $L_k$ is the intersection of two closed half-spaces, and there is exactly one extreme point of $L_k$, while if $k$ is even, then $L_k$ is the intersection of three closed half-spaces, and there are precisely two extreme points of $L_k$.