arXiv++ Combinatorics

We prove a characterization of the j-multiplicity of a monomial ideal as the normalized volume of a polytopal complex. Our result is an extension of Teissier's volume-theoretic interpretation of the Hilbert-Samuel multiplicity for m-primary monomial ideals. We also give a description of the epsilon-multiplicity of a monomial ideal in terms of the volume of a region.

Given a non-negative integer k, we construct a lattice 3-simplex P with the following property: The affine semigroup Q_P associated to P is not normal, and every element $q \in \sat{Q}_P \setminus Q_P$ has lattice distance at least k above every facet of Q_P.

The notion of r-stackedness for simplicial polytopes was introduced by McMullen and Walkup in 1971 as a generalization of stacked polytopes. In this paper, we define the r-stackedness for triangulated homology manifolds and study their basic properties. In addition, we find a new necessary condition for face vectors of triangulated manifolds when all the vertex links are polytopal.

Generalizing a result (the case $k = 1$) due to M. A. Perles, we show that any polytopal upper bound sphere of odd dimension $2k + 1$ belongs to the generalized Walkup class ${\cal K}_k(2k + 1)$, i.e., all its vertex links are $k$-stacked spheres. This is surprising since the $k$-stacked spheres minimize the face-vector (among all polytopal spheres with given $f_0,..., f_{k - 1}$) while the upper bound spheres maximize the face vector (among spheres with a given $f_0$). It has been conjectured that for $d\neq 2k + 1$, all $(k + 1)$-neighborly members of the class ${\cal K}_k(d)$ are tight. The result of this paper shows that, for every $k$, the case $d = 2k +1$ is a true exception to this conjecture.

An important problem that commonly arises in areas such as internet traffic-flow analysis, phylogenetics and electrical circuit design, is to find a representation of any given metric $D$ on a finite set by an edge-weighted graph, such that the total edge length of the graph is minimum over all such graphs. Such a graph is called an optimal realization and finding such realizations is known to be NP-hard. Recently Varone presented a heuristic greedy algorithm for computing optimal realizations. Here we present an alternative heuristic that exploits the relationship between realizations of the metric $D$ and its so-called tight span $T_D$. The tight span $T_D$ is a canonical polytopal complex that can be associated to $D$, and our approach explores parts of $T_D$ for realizations in a way that is similar to the classical simplex algorithm. We also provide computational results illustrating the performance of our approach for different types of metrics, including $l_1$-distances and two-decomposable metrics for which it is provably possible to find optimal realizations in their tight spans.

The map which takes a square matrix $A$ to its polytrope is piecewise linear. We show that cones of linearity of this map form a polytopal fan partition of $\{R}^{n \times n}$, whose face lattice is anti-isomorphic to the lattice of complete set of connected relations. This fan refines the non-fan partition of $\R^{n \times n}$ corresponding to cones of linearity of the eigenvector map. Our results answer open questions in a previous work with Sturmfels and lead to a new combinatorial classification of polytropes and tropical eigenspaces.

The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $δ$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulation of $P$ (if one exists). One important result by Stanley about $h^*$-vectors of polytopes is that their entries are always non-negative. However, recent combinatorial applications of Ehrhart theory give rise to polytopal complexes with $h^*$-vectors that have negative entries. In this article we introduce the Ehrhart $f^*$-vector of polytopes or, more generally, of polytopal complexes $K$. These are again coefficient vectors of $L_K$ with respect to a certain binomial basis of the space of polynomials and they have the property that the $f^*$-vector of a unimodular simplicial complex coincides with its $f$-vector. The main result of this article is a counting interpretation for the $f^*$-coefficients which implies that $f^*$-coefficients of integral polytopal complexes are always non-negative integers. This holds even if the polytopal complex does not have a unimodular triangulation and if its $h^*$-vector does have negative entries. Our main technical tool is a new partition of the set of lattice points in a simplicial cone into discrete cones. Further results include a complete characterization of Ehrhart polynomials of integral partial polytopal complexes and a non-negativity theorem for the $f^*$-vectors of rational polytopal complexes.

The weak-map order on the matroid base polytopes is the partial order defined by inclusion. Lucas proved that the base polytope of no binary matroid includes the base polytope of a connected matroid. A matroid base polytope is said to be decomposable when it has a polytopal decomposition which consists of at least two matroid base polytopes. We shed light on the relation between the decomposability and the weak-map order of matroid base polytopes. We classify matroids into five types with respect to the weak-map order and decomposability. We give an example of a matroid in each class. Moreover, we give a counterexample to a conjecture proposed by Lucas, which says that, when one matroid base polytope covers another matroid base polytope with respect to inclusion, the latter matroid base polytope should be a facet of the former matroid base polytope.

We study the polytopes of affine maps between two polytopes -- the hom-polytopes. The hom-polytope functor has a left adjoint -- tensor product polytopes. The analogy with the category of vector spaces is limited, as we illustrate by a series of explicit examples exhibiting various extremal properties. The main challenge for hom-polytopes is to determine their vertices. A polytopal analogue of the rank-nullity theorem amounts to understanding how the vertex maps behave relative to their surjective and injective factors. This leads to interesting classes of surjective maps. In the last two sections we focus on two opposite extremal cases -- when the source and target polytopes are both polygons and are either generic or regular.

We generalize the brick polytope of V. Pilaud and F. Santos to spherical subword complexes for finite Coxeter groups. This construction provides polytopal realizations for a certain class of subword complexes containing all cluster complexes of finite types. For the latter, the brick polytopes turn out to coincide with the known realizations of generalized associahedra, thus opening new perspectives on these constructions. This new approach yields in particular the vertex description of generalized associahedra, a Minkowski sum decomposition into Coxeter matroid polytopes, and a combinatorial description of the exchange matrix of any cluster in a finite type cluster algebra.

A polytopal digraph $G(P)$ is an orientation of the skeleton of a convex polytope $P$. The possible non-degenerate pivot operations of the simplex method in solving a linear program over $P$ can be represented as a special polytopal digraph known as an LP digraph. Presently there is no general characterization of which polytopal digraphs are LP digraphs, although four necessary properties are known: acyclicity, unique sink orientation(USO), the Holt-Klee property and the shelling property. The shelling property was introduced by Avis and Moriyama (2009), where two examples are given in $d=4$ dimensions of polytopal digraphs satisfying the first three properties but not the shelling property. The smaller of these examples has $n=7$ vertices. Avis, Miyata and Moriyama(2009) constructed for each $d \ge 4$ and $n \ge d+2$, a $d$-polytope $P$ with $n$ vertices which has a polytopal digraph which is an acyclic USO that satisfies the Holt-Klee property, but does not satisfy the shelling property. The construction was based on a minimal such example, which has $d=4$ and $n=6$. In this paper we explore the shelling condition further. First we give an apparently stronger definition of the shelling property, which we then prove is equivalent to the original definition. Using this stronger condition we are able to give a more general construction of such families. In particular, we show that given any 4-dimensional polytope $P$ with $n_0$ vertices whose unique sink is simple, we can extend $P$ for any $d \ge 4$ and $n \ge n_0 + d-4$ to a $d$-polytope with these properties that has $n$ vertices. Finally we investigate the strength of the shelling condition for $d$-crosspolytopes, for which Develin (2004) has given a complete characterization of LP orientations.

A realisation of a metric $d$ on a finite set $X$ is a weighted graph $(G,w)$ whose vertex set contains $X$ such that the shortest-path distance between elements of $X$ considered as vertices in $G$ is equal to $d$. Such a realisation $(G,w)$ is called optimal if the sum of its edge weights is minimal over all such realisations. Optimal realisations always exist, although it is NP-hard to compute them in general, and they have applications in areas such as phylogenetics, electrical networks and internet tomography. In [Adv. in Math. 53, 1984, 321-402] A.~Dress showed that the optimal realisations of a metric $d$ are closely related to a certain polytopal complex that can be canonically associated to $d$ called its tight-span. Moreover, he conjectured that the (weighted) graph consisting of the zero- and one-dimensional faces of the tight-span of $d$ must always contain an optimal realisation as a homeomorphic subgraph. In this paper, we prove that this conjecture does indeed hold for a certain class of metrics, namely the class of totally"=decomposable metrics whose tight-span has dimension two. As a corollary, it follows that the minimum Manhattan network problem is a special case of finding optimal realisations of two-dimensional totally-decomposable metrics.

We study the question of polytopality of graphs: when is a given graph the graph of a polytope? We first review the known necessary conditions for a graph to be polytopal, and we provide several families of graphs which satisfy all these conditions, but which nonetheless are not graphs of polytopes. Our main contribution concerns the polytopality of Cartesian products of non-polytopal graphs. On the one hand, we show that products of simple polytopes are the only simple polytopes whose graph is a product. On the other hand, we provide a general method to construct (non-simple) polytopal products whose factors are not polytopal.

This thesis explores two specific topics of discrete geometry, the multitriangulations and the polytopal realizations of products, whose connection is the problem of finding polytopal realizations of a given combinatorial structure. A k-triangulation is a maximal set of chords of the convex n-gon such that no k+1 of them mutually cross. We propose a combinatorial and geometric study of multitriangulations based on their stars, which play the same role as triangles of triangulations. This study leads to interpret multitriangulations by duality as pseudoline arrangements with contact points covering a given support. We exploit finally these results to discuss some open problems on multitriangulations, in particular the question of the polytopal realization of their flip graphs. We study secondly the polytopality of Cartesian products. We investigate the existence of polytopal realizations of cartesian products of graphs, and we study the minimal dimension that can have a polytope whose k-skeleton is that of a product of simplices.

The goal of this article is to obtain bounds on the coefficients of modular and integral flow and tension polynomials of graphs. To this end we make use of the fact that these polynomials can be realized as Ehrhart polynomials of inside-out polytopes. Inside-out polytopes come with an associated relative polytopal complex and, for a wide class of inside-out polytopes, we show that this complex has a convex ear decomposition. This leads to the desired bounds on the coefficients of these polynomials.

For a pair $(H_1,H_2)$ of graphs, Lovász introduced a polytopal complex called the Hom complex $\text{Hom}(H_1,H_2)$, in order to estimate topological lower bounds for chromatic numbers of graphs. The definition is generalized to hypergraphs. Denoted by $K_r^r$ the complete $r$-graph on $r$ vertices. Given an $r$-graph $H$, we compare $\text{Hom}(K_r^r,H)$ with the box complex $\mathsf{B}_{\text{edge}}(H)$, invented by Alon, Frankl and Lovász. We verify that $\text{Hom}(K_r^r,H)$ and $\mathsf{B}_{\text{edge}}(H)$, both are equipped with right actions of the symmetric group on $r$ letters $S_r$, are of the same simple $S_r$-homotopy type.

Steingrimsson (2001) showed that the chromatic polynomial of a graph is the Hilbert function of a relative Stanley-Reisner ideal. We approach this result from the point of view of Ehrhart theory and give a sufficient criterion for when the Ehrhart polynomial of a given relative polytopal complex is a Hilbert function in Steingrimsson's sense. We use this result to establish that the modular and integral flow and tension polynomials of a graph are Hilbert functions.

We propose a definition of an "oriented interval greedoid" that simultaneously generalizes the notion of an oriented matroid and the construction on antimatroids introduced by L. J. Billera, S. K. Hsiao, and J. S. Provan in "Enumeration in convex geometries and associated polytopal subdivisions of spheres" [Discrete Comput. Geom. 39 (2008), no. 1-3, 123--137]. As for of oriented matroids, associated to each oriented interval greedoid is a spherical simplicial complex whose face enumeration depends only on the underlying interval greedoid.

We describe a provably complete algorithm for the generation of a tight, possibly exact superset of all combinatorially distinct simple n-facet polytopes in R^d, along with their graphs, f-vectors, and face lattices. The technique applies repeated cutting planes and planar sweeps to a d-simplex. Our generator has implications for several outstanding problems in polytope theory, including conjectures about the number of distinct polytopes, the edge expansion of polytopal graphs, and the d-step conjecture.

The face numbers of simplicial complexes without missing faces of dimension larger than $i$ are studied. It is shown that among all such $(d-1)$-dimensional complexes with non-vanishing top homology, a certain polytopal sphere has the componentwise minimal $f$-vector; and moreover, among all such 2-Cohen--Macaulay (2-CM) complexes, the same sphere has the componentwise minimal $h$-vector. It is also verified that the $l$-skeleton of a flag $(d-1)$-dimensional 2-CM complex is $2(d-l)$-CM while the $l$-skeleton of a flag PL $(d-1)$-sphere is $2(d-l)$-homotopy CM. In addition, tight lower bounds on the face numbers of 2-CM balanced complexes in terms of their dimension and the number of vertices are established.