arXiv++ Combinatorics

Monge matrices arise throughout combinatorial optimization and algorithm design; the Monge polytope $\mathcal{M}_{pq}$ is the set of $p \times q$ Monge matrices lying inside the standard simplex on the set of matrix coordinates. We find a Stanley decomposition of the associated affine semigroup, and use it to obtain a volume formula for $\mathcal{M}_{pq}$ expressed as a sum over "Z-avoiding" Delannoy paths in a $p \times q$ grid. An efficient dynamic-programming implementation of this formula computes the volume in dimensions far beyond the reach of general-purpose exact-volume algorithms (e.g., the volume of $\mathcal{M}_{20,20}$, which has dimension 399, is computed in a fraction of a second). As a corollary of our Stanley decomposition, we also obtain a combinatorial closed form for the Ehrhart series of $\mathcal{M}_{pq}$.

Several important fans studied at the interface of combinatorics and algebraic geometry arise from barycentric subdivisions of other fans; the central example is the braid arrangement. The collection of faces of the standard simplex forms a basis for the deformation cone of the braid arrangement, i.e. the cone of generalized permutahedra. We reinterpret this simplicial basis as the collection of deep truncations of the standard simplex, and systematically abstract this perspective to produce polytopal bases for the deformation cones of barycentric subdivisions of simplicial projective fans. We further demonstrate that these bases restrict to bases for deformation cones of fans obtained by a sequence of stellar subdivisions induced by a building set. When the starting polytope is smooth with all edge lengths equal to 1, we show that we can upgrade our basis to a collection of flat truncations. We then investigate two extensions of the braid arrangement where we are able to further upgrade our flat truncation basis to an indecomposable polytopal basis: 1.the barycentric subdivision of the normal fan of a product of standard simplices and 2.the barycentric subdivision of the braid arrangement. We discuss connections to, and implications for, Archimedean solids and regular polytopes, permutahedral plates, root polytopes, permutoassociahedra, simple permutonestohedra, cosmohedra, omnitruncations of Coxeter permutahedra, bipermutahedra, $π$-colored fans, and tropical $α$ and $β$ classes.

For a hypergraph $\mathbb{H}$ on $[n]$, the hypergraphic polytope $\triangle_{\mathbb{H}}$ is the Minkowski sum of the standard simplices $\triangle_H$ for all $H \in \mathbb{H}$. We focus here on interval hypergraphs, where all hyperedges are intervals of $[n]$. They are precisely the deformations of Loday's associahedron. Their vertex posets are Tamari interval posets, and we describe which Tamari interval poset appears as a vertex poset in which interval hypergraphic polytope. We also characterize the interval hypergraphs $\mathbb{I}$ for which the hypergraphic polytope $\triangle_\mathbb{I}$ is simple, and we study their vertex posets, which we call weeping willows.

For a set $X$ of integer points, the relaxation complexity $\operatorname{rc}(X)$ is the smallest number of facets of any polyhedron $P$ such that $P \cap \mathbb{Z}^d = X$. In this paper, we focus on the case where $X$ is the discrete standard simplex $Δ_d = \{\mathbf{0}, \mathbf{e}_1, \dots, \mathbf{e}_d\}$. We show that $\operatorname{rc}(Δ_d) = O(\log d)$ by an explicit, elementary construction. This improves upon the previously best-known upper bound $\operatorname{rc}(Δ_d) = O(d / \sqrt{\log d})$ due to Aprile, Averkov, Di Summa, and Hojny (2024) and matches an asymptotic lower bound by Averkov and Schymura (2022).

The service rate region (SRR) has emerged as a critical performance metric for distributed systems that store data redundantly. It measures the system's ability to serve multiple users concurrently. Mathematically, the SRR is a polytope in R^k where each dimension corresponds to the service request rate of one of the k data objects. This paper focuses on systems employing a class of Maximum Distance Separable (MDS) codes. For each code in the class, we characterize the k axes intercept points of its SRR, and the smallest standard simplex that includes the SRR. We use these results to show that the SRR grows with the increasing number of systematic columns in the generator matrices. We establish a graph-theoretic framework associating this SRR problem with fractional matchings in quasi-uniform hypergraphs. Identifying the SRR polytope is equivalent to determining a particular image of the fractional-matching polytope. We introduce a notion of Greedy Matching and show that it is sufficient to focus on these matchings to characterize the SRR rather than the entire matching polytope. With these tools, we determine the SRR of a large subset of the considered class of codes. Our results generalize previous characterizations of systematic and non-systematic MDS-coded systems, offering a unified framework for analyzing service rate regions of codes.

For a hypergraph $\mathbb{H}$ on $[n]$, the hypergraphic poset $P_\mathbb{H}$ is the transitive closure of the oriented skeleton of the hypergraphic polytope $\triangle_\mathbb{H}$ (the Minkowski sum of the standard simplices $\triangle_H$ for all $H \in \mathbb{H}$). Hypergraphic posets include the weak order for the permutahedron (when $\mathbb{H}$ is the complete graph on $[n]$) and the Tamari lattice for the associahedron (when $\mathbb{H}$ is the set of all intervals of $[n]$), which motivates the study of lattice properties of hypergraphic posets. In this paper, we focus on interval hypergraphs, where all hyperedges are intervals of $[n]$. We characterize the interval hypergraphs $\mathbb{I}$ for which $P_\mathbb{I}$ is a lattice, a distributive lattice, a semidistributive lattice, and a lattice quotient of the weak order.

We give a combinatorial proof of an identity that involves Eulerian numbers and was obtained algebraically by Brenti and Welker (2009). To do so, we study alcoved triangulations of dilated hypersimplices. As a byproduct, we describe the dual graph of the triangulation in the case of the standard simplex, conjecture its structure for general hypersimplices, and prove combinatorially that the Eulerian numbers coincide with the normalized volumes of the hypersimplices.

We present an elementary non-recursive formula for the multivariate moments of the Dirichlet distribution on the standard simplex, in terms of the pattern inventory of the moments' exponents. We obtain analog formulas for the multivariate moments of the Dirichlet-Ferguson and Gamma measures. We further introduce a polychromatic analogue of Ewens sampling formula on colored integer partitions, discuss its relation with suitable extensions of Hoppe's urn model and of the Chinese restaurant process, and prove that it satisfies an adapted notion of consistency in the sense of Kingman.

We study flips in hypertriangulations of planar points sets. Here a level-$k$ hypertriangulation of $n$ points in the planes is a subdivision induced by the projection of a $k$-hypersimplex, which is the convex hull of the barycenters of the $(k-1)$-dimensional faces of the standard $(n-1)$-simplex. In particular, we introduce four types of flips and prove that the level-2 hypertriangulations are connected by these flips.

A remarkable connection between the cohomology ring ${\rm H^{\ast}(Gr}(d, d+r),\Z)$ of the Grasssmannian ${\rm Gr}(d,d+r)$ and the lattice points of the dilation $rΔ_{d}$ of the standard d-simplex is investigated. The natural grading on the cohomology induces different gradings of the lattice points of $rΔ_{d}$. This leads to different refinements of the Ehrhart polynomial $L_{Δ_{d}}(r)$ of the standard $d$-simplex. We study two of these refinements which are defined by the weights $(1,1,\dots,1)$ and $(1,2,\dots, d)$. One of the refinements interprets the Poincaré polynomial ${\rm P(Gr}(d,d+r),z)$ as the counting of the lattice points which lie on the slicing hyperplanes of the dilation $rΔ_d$. Therefore, on the combinatorial level the Poincaré polynomial of the Grassmannian Gr$(d,d+r)$ is a refinement of the Ehrhart polynomial $L_{Δ_d}(r)$ of the standard $d$-simplex $Δ_{d}$.

For a finite set $X \subset \mathbb{Z}^d$ that can be represented as $X = Q \cap \mathbb{Z}^d$ for some polyhedron $Q$, we call $Q$ a relaxation of $X$ and define the relaxation complexity $rc(X)$ of $X$ as the least number of facets among all possible relaxations $Q$ of $X$. The rational relaxation complexity $rc_\mathbb{Q}(X)$ restricts the definition of $rc(X)$ to rational polyhedra $Q$. In this article, we focus on $X = Δ_d$, the vertex set of the standard simplex, which consists of the null vector and the standard unit vectors in $\mathbb{R}^d$. We show that $rc(Δ_d) \leq d$ for every $d \geq 5$. That is, since $rc_{\mathbb{Q}}(Δ_d)=d+1$, irrationality can reduce the minimal size of relaxations. This answers an open question posed by Kaibel and Weltge (Lower bounds on the size of integer programs without additional variables, Mathematical Programming, 154(1):407-425, 2015). Moreover, we prove the asymptotic statement $rc(Δ_d) \in O(\frac{d}{\sqrt{\log(d)}})$, which shows that the ratio $rc(Δ_d)/rc_{\mathbb{Q}}(Δ_d)$ goes to $0$, as $d\to \infty$.

We give the first exact and stability results for a hypergraph Turán problem with infinitely many extremal constructions that are far from each other in edit-distance. This includes an example of triple systems with Turán density $2/9$, thus answering some questions posed by the third and fourth authors and Reiher about the feasible region of hypergraphs. Our results also provide extremal constructions whose shadow density is a transcendental number. Our novel approach is to construct certain multilinear polynomials that attain their maximum (in the standard simplex) on a line segment and then to use these polynomials to define an operation on hypergraphs that gives extremal constructions.

We study deformations of graphical zonotopes. Deformations of the classical permutahedron (which is the graphical zonotope of the complete graph) have been intensively studied in recent years under the name of generalized permutahedra. We provide an irredundant description of the deformation cone of the graphical zonotope associated to a graph $G$, consisting of independent equations defining its linear span (in terms of non-cliques of $G$) and of the inequalities defining its facets (in terms of common neighbors of neighbors in $G$). In particular, we deduce that the faces of the standard simplex corresponding to induced cliques in $G$ form a linear basis of the deformation cone, and that the deformation cone is simplicial if and only if $G$ is triangle-free.

Let $A \in \{ \mathbb{Z}, \mathbb{R} \}$ and $X \subset \mathbb{R}^d$ be a bounded set. Affine transformations given by an automorphism of $\mathbb{Z}^d$ and a translation in $A^d$ are called (affine) $A$-unimodular transformations. The image of $X$ under such a transformation is called an $A$-unimodular copy of $X$. It was shown in [Averkov, Hofscheier, Nill, 2019] that every convex body whose width is "big enough" contains an $A$-unimodular copy of $X$. The threshold when this happens is called the generalised flatness constant $\mathrm{Flt}_d^A(X)$. It resembles the classical flatness constant if $A=\mathbb{Z}$ and $X$ is a lattice point. In this work, we introduce a general framework for the explicit computation of these numerical constants. The approach relies on the study of $A$-$X$-free convex bodies generalising lattice-free (also known as hollow) convex bodies. We then focus on the case that $X=P$ is a full-dimensional polytope and show that inclusion-maximal $A$-$P$-free convex bodies are polytopes. The study of those inclusion-maximal polytopes provides us with the means to explicitly determine generalised flatness constants. We apply our approach to the case $X=Δ_2$ the standard simplex in $\mathbb{R}^2$ of normalised volume $1$ and compute $\mathrm{Flt}^{\mathbb{R}}_2(Δ_2)=2$ and $\mathrm{Flt}^{\mathbb{Z}}_2(Δ_2)=\frac{10}3$.

In this article we explore a symplectic packing problem where the targets and domains are $2n$-dimensional symplectic manifolds. We work in the context where the manifolds have first homology group equal to $\mathbb{Z}^n$, and we require the embeddings to induce isomorphisms between first homology groups. In this case, Maley, Mastrangeli and Traynor showed that the problem can be reduced to a combinatorial optimization problem, namely packing certain allowable simplices into a given standard simplex. They designed a computer program and presented computational results. In particular, they determined the simplex packing widths in dimension four for up to $k=12$ simplices, along with lower bounds for higher values of $k$. We present a modified algorithmic approach that allows us to determine the $k$-simplex packing widths for up to $k = 13$ simplices in dimension four and up to $k = 8$ simplices in dimension six. Moreover, our approach determines all simplex-multisets that allow for optimal packings.

For given integers $n$ and $d$, both at least 2, we consider a homogeneous multivariate polynomial $f_d$ of degree $d$ in variables indexed by the edges of the complete graph on $n$ vertices and coefficients depending on cardinalities of certain unions of edges. Cardinaels, Borst and Van Leeuwaarden (arXiv:2111.05777, 2021) asked whether $f_d$, which arises in a model of job-occupancy in redundancy scheduling, attains its minimum over the standard simplex at the uniform probability vector. Brosch, Laurent and Steenkamp [SIAM J. Optim. 31 (2021), 2227--2254] proved that $f_d$ is convex over the standard simplex if $d=2$ and $d=3$, implying the desired result for these $d$. We give a symmetry reduction to show that for fixed $d$, the polynomial is convex over the standard simplex (for all $n\geq 2$) if a constant number of constant matrices (with size and coefficients independent of $n$) are positive semidefinite. This result is then used in combination with a computer-assisted verification to show that the polynomial $f_d$ is convex for $d\leq 9$.

This paper introduces the notion of $n$-morphisms between two $A_\infty$-algebras, such that 0-morphisms correspond to standard $A_\infty$-morphisms and 1-morphisms correspond to $A_\infty$-homotopies between $A_\infty$-morphisms. The set of higher morphisms between two $A_\infty$-algebras then defines a simplicial set which has the property of being an algebraic $\infty$-category. The operadic structure of $n-A_\infty$-morphisms is also encoded by new families of polytopes, which we call the $n$-multiplihedra and which generalize the standard multiplihedra. These are constructed from the standard simplices and multiplihedra by lifting the Alexander-Whitney map to the level of simplices. Rich combinatorics arise in this context, as conveniently described in terms of overlapping partitions. Shifting from the $A_\infty$ to the $ΩB As$ framework, we define the analogous notion of $n$-morphisms between $ΩB As$-algebras, which are again encoded by the $n$-multiplihedra, endowed with a refined cell decomposition by stable gauged ribbon tree type. We then realize this higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory. Given two Morse functions $f$ and $g$, we construct $n-ΩB As$-morphisms between their respective Morse cochain complexes endowed with their $ΩB As$-algebra structures, by counting perturbed Morse gradient trees associated to an admissible simplex of perturbation data. We moreover show that the simplicial set consisting of higher morphisms defined by a count of perturbed Morse gradient trees is a contractible Kan complex.

In this paper we motivate some new directions of research regarding the lattice width of convex bodies. We show that convex bodies of sufficiently large width contain a unimodular copy of a standard simplex. This implies that every lattice polytope contains a minimal generating set of the affine lattice spanned by its lattice points such that the number of generators is bounded by a constant which only depends on the dimension. We also discuss relations to recent results on spanning lattice polytopes and how our results could be viewed as the beginning of the study of generalized flatness constants. Regarding symplectic geometry, we point out how the lattice width of a Delzant polytope is related to upper and lower bounds on the Gromov width of its associated symplectic toric manifold. Throughout, we include several open questions.

M. Carr and S. Devadoss introduced in [7] the notion of tubing on a finite simple graph $Γ$, in the context of configuration spaces on the Hilbert plane. To any finite simple graph $Γ$ they associated a finite partially ordered set, whose elements are the tubings of $Γ$ and whose geometric realization is a convex polytope ${\mathcal K}Γ$, the graph-associahedron. For the complete graphs they recovered permutahedra, for linear graphs they got Stasheff's associahedra, while for simple graph they obtained the standard simplexes. The goal of the present work is to give an \emph{algebraic} description of graph associahedra. We introduce a substitution operation on tubings, which allows us to describe the set of faces of graph-associahedra as a free object, spanned by the set of all connected simple graphs, under operations given via connected subgraphs. The boundary maps of graph-associahedra defines natural derivations in this context. Along the way, we introduce a topological interpretation of the graph tubings and our new operations. In the last section, we show that substitution of tubings may be understood in the context of M. Batanin and M. Markl's operadic categories.

We give a criterion which characterizes a real multi-variate Laurent polynomial with full-dimensional smooth Newton polytope to have the property that all sufficiently large powers of the polynomial have fully positive coefficients. Here a Laurent polynomial is said to have fully positive coefficients if the coefficients of its monomial terms indexed by the lattice points of its Newton polytope are all positive. Our result generalizes an earlier result of the authors, which corresponds to the special case when the Newton polytope of the Laurent polynomial is a translate of a standard simplex. The result also generalizes a result of De Angelis, which corresponds to the special case of univariate polynomials. As an application, we also give a characterization of certain polynomial spectral radius functions of the defining matrix functions of Markov chains.