arXiv++ Combinatorics

An almost cover of a finite set in the affine space is a collection of hyperplanes that together cover all points of the set except one. Using the polynomial method, we determine the minimum size of an almost cover of the vertex set of the permutohedron and address a few related questions.

We give a precise definition of folded quivers and folded cluster algebras. We give many examples of including some with finite mutation structure that do not have analogues in the unfolded cases. We relate these examples to the finite mutation type quivers $X_6$ and $X_7$. We also construct a folded cluster algebra associated to triangulations of punctured surface which allow for triangulations self-folded triangles. We give a simple construction of a folded cluster algebra for which the cluster complex is a generalized permutohedron.

We show that the toric variety of the permutohedron (=permutohedral space) has the structure of a cocommutative bimonoid in species, with multiplication/comultiplication given by embedding/projecting-onto boundary divisors. In terms of Losev-Manin's description of permutohedral space as a moduli space, multiplication is concatenation of strings of Riemann spheres and comultiplication is forgetting marked points. In this way, the bimonoid structure is an analog of the cyclic operad structure on the moduli space of genus zero marked curves. Covariant/contravariant data on permutohedral space is endowed with the structure of cocommutative/commutative bimonoids by pushing-forward/pulling-back data along the (co)multiplication. Many well-known combinatorial objects index data on permutohedral space. Moreover, combinatorial objects often have the structure of bimonoids, with multiplication/comultiplication given by merging/restricting objects in some way. We prove that the bimonoid structure enjoyed by these indexing combinatorial objects coincides with that induced by the bimonoid structure of permutohedral space. Thus, permutohedral space may be viewed as a fundamental underlying object which geometrically interprets many combinatorial Hopf algebras. Aguiar-Mahajan have shown that classical combinatorial Hopf theory is based on the braid hyperplane arrangement in a crucial way. This paper aims to similarly establish permutohedral space as a central object, providing an even more unified perspective. The main motivation for this work concerns Feynman amplitudes in the Schwinger parametrization, which become integrals over permutohedral space if one blows-up everything in the resolution of singularities. Then the Hopf algebra structure of Feynman graphs, first appearing in the work of Connes-Kreimer, coincides with that induced by the bimonoid structure of permutohedral space.

The weighted projection of an alternating sign matrix (ASM) was introduced by Brualdi and Dahl (2018) as a step towards characterising a generalisation of Latin squares they introduced using alternating sign hypermatrices. If $z_n = (n,\dots,2,1)$, then the weighted projection of an ASM $A$ is equal to $z_n^TA$. Brualdi and Dahl proved that the weighted projection of an $n \times n$ ASM is majorized by the vector $z_n$, and conjectured that any positive integer vector majorized by $z_n$ is the weighted projection of some ASM. The main result of this paper presents a proof of this conjecture, via monotone triangles. A relaxation of a monotone triangle, called a row-increasing triangle, is introduced. It is shown that for any row-increasing triangle $T$, there exists a monotone triangle $M$ such that each entry of $M$ occurs the same number of times as in $T$. A construction is also outlined for an ASM with given weighted projection. The relationship of the main result to existing results concerning the ASM polytope $ASM_n$ is examined, and a characterisation is given for the relationship between elements of $ASM_n$ corresponding to the same point in the permutohedron of order $n$. Finally, the limitations of the main result for characterising alternating sign hypermatrix Latin-like squares is considered.

The associahedron $\mathcal{A}(G)$ of a graph $G$ has the property that its vertices can be thought of as the search trees on $G$ and its edges as the rotations between two search trees. If $G$ is a simple path, then $\mathcal{A}(G)$ is the usual associahedron and the search trees on $G$ are binary search trees. Computing distances in the graph of $\mathcal{A}(G)$, or equivalently, the rotation distance between two binary search trees, is a major open problem. Here, we consider the different case when $G$ is a complete split graph. In that case, $\mathcal{A}(G)$ interpolates between the stellohedron and the permutohedron, and all the search trees on $G$ are brooms. We show that the rotation distance between any two such brooms and therefore the distance between any two vertices in the graph of the associahedron of $G$ can be computed in quasi-quadratic time in the number of vertices of $G$.

Partial permutohedra are lattice polytopes which were recently introduced and studied by Heuer and Striker. For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is the convex hull of all vectors in $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. We study the face lattice, volume and Ehrhart polynomial of $\mathcal{P}(m,n)$, and our methods and results include the following. For any $m$ and $n$, we obtain a bijection between the nonempty faces of $\mathcal{P}(m,n)$ and certain chains of subsets of $\{1,\dots,m\}$, thereby confirming a conjecture of Heuer and Striker, and we then use this characterization of faces to obtain a closed expression for the $h$-polynomial of $\mathcal{P}(m,n)$. For any $m$ and $n$ with $n\ge m-1$, we use a pyramidal subdivision of $\mathcal{P}(m,n)$ to establish a recursive formula for the normalized volume of $\mathcal{P}(m,n)$, from which we then obtain closed expressions for this volume. We also use a sculpting process (in which $\mathcal{P}(m,n)$ is reached by successively removing certain pieces from a simplex or hypercube) to obtain closed expressions for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with arbitrary $m$ and fixed $n\le 3$, the normalized volume of $\mathcal{P}(m,4)$ with arbitrary $m$, and the Ehrhart polynomial of $\mathcal{P}(m,n)$ with fixed $m\le4$ and arbitrary $n\ge m-1$.

The solution of Shareshian-Wachs conjecture by Brosnan-Chow linked together the cohomology of regular semisimple Hessenberg varieties and graded chromatic symmetric functions on unit interval graphs. On the other hand, it is known that unicellular LLT polynomials have similar properties to graded chromatic symmetric functions. In this paper, we link together the unicellular LLT polynomials and twin of regular semisimple Hessenberg varieties introduced by Ayzenberg-Buchstaber. We prove their palindromicity from topological viewpoint. We also show that modules of a symmetric group generated by faces of a permutohedron are related to a shifted unicellular LLT polynomial and observe the $e$-positivity of shifted unicellular LLT polynomials, which is established by Alexandersson-Sulzgruber in general, for path graphs and complete graphs through the cohomology of the twins.

A classic problem connecting algebraic and geometric combinatorics is the realization problem: given a poset, determine whether there exists a polytope whose face lattice is the poset. In 1990s, Kapranov defined a poset as a hybrid between the face poset of a permutohedron and that of an associahedron, and he asked whether this poset is realizable. Shortly after his question was posed, Reiner and Ziegler provided a realization. Based on our previous work on the nested braid fan, we provide in this paper a different realization of Kapranov's poset by constructing the vertex set and the normal fan of a permuto-associahedron simultaneously.

Let $\mathbf{a}$ and $\mathbf{b}$ be vectors in $\mathbf{R}^n$ with nonnegative coordinates. Permuting the coordinates, we can assume that $a_1 \geq \cdots \geq a_n$ and $b_1 \geq \cdots \geq b_n$. The vector $\mathbf{a}$ majorizes the vector $\mathbf{b}$, denoted $\mathbf{b} \preceq \mathbf{a}$, if $\sum_{i=1}^n b_i = \sum_{i=1}^n a_i$ and $\sum_{i=1}^k b_i \leq \sum_{i=1}^k a_i$ for all $k \in \{1,\ldots,n-1\}$. This paper proves theorems of Hardy-Littlewood-Pólya and Rado that $\mathbf{b} \preceq \mathbf{a}$ if and only if $P\mathbf{a} = \mathbf{b}$ for some doubly stochastic matrix $P$ if and only if $\mathbf{b}$ is in the $S_n$-permutohedron generated by $\mathbf{a}$.

Given a root system $Φ$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $Φ$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_Φ)$ of the toric variety $X_Φ$ associated to (the normal fan to) $P_W$ has been studied by various authors. Let $\{s_1,\ldots,s_n\}$ be a complete set of simple reflections in $W$. For $K \subseteq [n]$, let $W_K$ be the standard parabolic subgroup of $W$ generated by $\{s_k:k \in K\}$. We show that the fixed subring $H^\ast(X_Φ)^{W_K}$ is isomorphic to the cohomology ring of the toric variety $X_Φ(K)$ associated to a polytope obtained by intersecting $P_W$ with half-spaces bounded by reflecting hyperplanes for the given generators of $W_K$. By a result of Balibanu--Crooks, the cohomology rings $H^\ast(X_Φ(K))$ are isomorphic with cohomology rings of certain regular Hessenberg varieties.

We define a moduli space of rational curves with finite-order automorphism and weighted orbits, and we prove that the combinatorics of its boundary strata are encoded by a particular polytopal complex that also captures the algebraic structure of a complex reflection group acting on the moduli space. This generalizes the situation for Losev-Manin's moduli space of curves (whose boundary strata are encoded by the permutohedron and related to the symmetric group) as well as the situation for Batyrev-Blume's moduli space of curves with involution, and it extends that work beyond the toric context.

In 1980, Edelman defined a poset on objects called the noncrossing 2-partitions. They are closely related with noncrossing partitions and parking functions. To some extent, his definition is a precursor of the parking space theory, in the framework of finite reflection groups. We present some enumerative and topological properties of this poset. In particular, we get a formula counting certain chains, that encompasses formulas for Whitney numbers (of both kinds). We prove shellability of the poset, and compute its homology as a representation of the symmetric group. We moreover link it with two well-known polytopes : the associahedron and the permutohedron.

We show that the order complex of intervals of a poset, ordered by inclusion, is a Tchebyshev triangulation of the order complex of the original poset. Besides studying the properties of this transformation, we show that the dual of the type $B$ permutohedron is combinatorially equivalent to the suspension of the order complex of the poset of intervals of a Boolean algebra (with the minimum and maximum elements removed).

Murota (1998) and Murota and Shioura (1999) introduced concepts of M-convex function and M${}^\natural$-convex function as discrete convex functions, which are generalizations of valuated matroids due to Dress and Wenzel (1992). In the present paper we consider a new operation defined by a convolution of sections of an M${}^\natural$-convex function that transforms the given M${}^\natural$-convex function to an M-convex function, which we call a compression of an M${}^\natural$-convex function. For the class of valuated generalized matroids, which are special M${}^\natural$-convex functions, the compression induces a valuated permutohedron together with a decomposition of the valuated generalized matroid into flag-matroid strips, each corresponding to a maximal linearity domain of the induced valuated permutohedron. We examine the details of the structure of flag-matroid strips and the induced valuated permutohedron by means of discrete convex analysis of Murota.

Stringy canonical forms are a class of integrals that provide $α'$-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebra, there exist completely rigid stringy integrals, whose configuration spaces are the so-called binary geometries, and for classical types are associated with (generalized) scattering of particles and strings. In this paper we propose a large class of rigid stringy canonical forms for another class of polytopes, generalized permutohedra, which also include associahedra and cyclohedra as special cases (type $A_n$ and $B_n$ generalized associahedra). Remarkably, we find that the configuration spaces of such integrals are also binary geometries, which were suspected to exist for generalized associahedra only. For any generalized permutohedron that can be written as Minkowski sum of coordinate simplices, we show that its rigid stringy integral factorizes into products of lower integrals for massless poles at finite $α'$, and the configuration space is binary although the $u$ equations take a more general form than those "perfect" ones for cluster cases. Moreover, we provide an infinite class of examples obtained by degenerations of type $A_n$ and $B_n$ integrals, which have perfect $u$ equations as well. Our results provide yet another family of generalizations of the usual string integral and moduli space, whose physical interpretations remain to be explored.

Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. We study the notion of $B$-rigidity. A property of a polytope $P$ is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that it also has this property. We study families of $3$-dimensional polytopes defined by their cyclic $k$-edge-connectivity. These families include flag polytopes and Pogorelov polytopes, that is polytopes realizable as bounded right-angled polytopes in Lobachevsky space $\mathbb L^3$. Pogorelov polytopes include fullerenes -- simple polytopes with only pentagonal and hexagonal faces. It is known that the properties to be flag and Pogorelov polytope are $B$-rigid. We focus on almost Pogorelov polytopes, which are strongly cyclically $4$-edge-connected polytopes. They correspond to right-angled polytopes of finite volume in $\mathbb L^3$. There is a subfamily of ideal almost Pogorelov polytopes corresponding to ideal right-angled polytopes. We prove that the properties to be an almost Pogorelov polytope and an ideal almost Pogorelov polytope are $B$-rigid. As a corollary we obtain that $3$-dimensional associahedron $As^3$ and permutohedron $Pe^3$ are $B$-rigid. We generalize methods known for Pogorelov polytopes. We obtain results on $B$-rigidity of subsets in $H^*(\mathcal{Z}_P,\mathbb Z)$ and prove an analog of the so-called separable circuit condition (SCC). As an example we consider the ring $H^*(\mathcal{Z}_{As^3},\mathbb Z)$.

In the special case of braid fans, we give a combinatorial formula for the Berline-Vergne's construction for an Euler-Maclaurin type formula that computes number of lattice points in polytopes. Our formula is obtained by computing a symmetric expression for the Todd class of the permutohedral variety. By showing that this formula does not always have positive values, we prove that the Todd class of the permutohedral variety $X_d$ is not effective for $d\geq 24$. Additionally, we prove that the linear coefficient in the Ehrhart polynomial of any lattice generalized permutohedron is positive.

To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the $f$-polynomial. In the case of poset cones it refines Gessel's $\mathsf{P}$-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets.

Using the notion of Mahonian statistic on acyclic posets, we introduce a $q$-analogue of the $h$-polynomial of a simple generalized permutohedron. We focus primarily on the case of nestohedra and on explicit computations for many interesting examples, such as $S_n$-invariant nestohedra, graph associahedra, and Stanley--Pitman polytopes. For the usual (Stasheff) associahedron, our generalization yields an alternative $q$-analogue to the well-studied Narayana numbers.

In this short note we show explicitly how to decompose a generalized permutohedron into semi-polytopes.