arXiv++ Combinatorics

The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization of this Hopf monoid over the adjoint of the (essentialized) braid hyperplane arrangement, which identifies the monomial basis with signed characteristic functions of the interiors of permutohedral tangent cones. We show that the indecomposable quotient Lie coalgebra is obtained by restricting functions to chambers of the adjoint arrangement, i.e. by quotienting out the higher codimensions. The resulting functions are characterized by the Steinmann relations of axiomatic quantum field theory, demonstrating an equivalence between the Steinmann relations, tangent cones to (generalized) permutohedra, and having algebraic structure internal to species. Our results give a new interpretation of a construction appearing in the mathematically rigorous formulation of renormalization by Epstein-Glaser, called causal perturbation theory. In particular, we show that operator products of time-ordered products correspond to the H-basis of the cocommutative Hopf monoid of set compositions, and generalized retarded products correspond to a spanning set of its primitive part Lie algebra.

Schubitopes were introduced by Monical, Tokcan and Yong as a specific family of generalized permutohedra. It was proven by Fink, Mészáros and St.$\,$Dizier that Schubitopes are the Newton polytopes of the dual characters of flagged Weyl modules. Important cases of Schubitopes include the Newton polytopes of Schubert polynomials and key polynomials. In this paper, we develop a combinatorial rule to generate the vertices of Schubitopes. As an application, we show that the vertices of the Newton polytope of a key polynomial can be generated by permutations in a lower interval in the Bruhat order, settling a conjecture of Monical, Tokcan and Yong.

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.

Binomial Eulerian polynomials first appeared in work of Postnikov, Reiner and Williams on the face enumeration of generalized permutohedra. They are $γ$-positive (in particular, palindromic and unimodal) polynomials which can be interpreted as $h$-polynomials of certain flag simplicial polytopes and which admit interesting Schur $γ$-positive symmetric function generalizations. This paper introduces analogues of these polynomials for $r$-colored permutations with similar properties and uncovers some new instances of equivariant $γ$-positivity in geometric combinatorics.

In this note, we study the permutohedral geometry of the poles of a certain differential form introduced in recent work of Arkani-Hamed, Bai, He and Yan. There it was observed that the poles of the form determine a family of polyhedra which have the same face lattice as that of the permutohedron. We realize that family explicitly, proving that it in fact fills out the configuration space of a particularly well-behaved family of generalized permutohedra, the zonotopal generalized permutohedra, that are obtained as the Minkowski sums of line segments parallel to the root directions $e_i-e_j$. Finally we interpret Mizera's formula for the biadjoint scalar amplitude $m(\mathbb{I}_n,\mathbb{I}_n)$, restricted to a certain dimension $n-2$ subspace of the kinematic space, as a sum over the boundary components of the standard root cone, which is the conical hull of the roots $e_1-e_2,\ldots, e_{n-2}-e_{n-1}$.

A periodic tridiagonal matrix is a tridiagonal matrix with additional two entries at the corners. We study the space $X_{n,λ}$ of Hermitian periodic tridiagonal $n\times n$-matrices with a fixed simple spectrum $λ$. Using the discretized Shrödinger operator we describe all spectra $λ$ for which $X_{n,λ}$ is a topological manifold. The space $X_{n,λ}$ carries a natural effective action of a compact $(n-1)$-torus. We describe the topology of its orbit space and, in particular, show that whenever the isospectral space is a manifold, its orbit space is homeomorphic to $S^4\times T^{n-3}$. There is a classical dynamical system: the flow of the periodic Toda lattice, acting on $X_{n,λ}$. Except for the degenerate locus $X_{n,λ}^0$, the Toda lattice exhibits Liouville--Arnold behavior, so that the space $X_{n,λ}\setminus X_{n,λ}^0$ is fibered into tori. The degenerate locus of the Toda system is described in terms of combinatorial geometry: its structure is encoded in the special cell subdivision of a torus, which is obtained from the regular tiling of the euclidean space by permutohedra. We apply methods of commutative algebra and toric topology to describe the cohomology and equivariant cohomology modules of $X_{n,λ}$.

In earlier work in collaboration with Pavel Galashin and Thomas McConville we introduced a version of chip-firing for root systems. Our investigation of root system chip-firing led us to define certain polynomials analogous to Ehrhart polynomials of lattice polytopes, which we termed the symmetric and truncated Ehrhart-like polynomials. We conjectured that these polynomials have nonnegative integer coefficients. Here we affirm "half" of this positivity conjecture by providing a positive, combinatorial formula for the coefficients of the symmetric Ehrhart-like polynomials. This formula depends on a subtle integrality property of slices of permutohedra, and in turn a lemma concerning dilations of projections of root polytopes, which both may be of independent interest. We also discuss how our formula very naturally suggests a conjecture for the coefficients of the truncated Ehrhart-like polynomials that turns out to be false in general, but which may hold in some cases.

Triangulations of a product of two simplices and, more generally, of root polytopes are closely related to Gelfand-Kapranov-Zelevinsky's theory of discriminants, to tropical geometry, tropical oriented matroids, and to generalized permutohedra. We introduce a new approach to these objects, identifying a triangulation of a root polytope with a certain bijection between lattice points of two generalized permutohedra. In order to study such bijections, we define trianguloids as edge-colored graphs satisfying simple local axioms. We prove that trianguloids are in bijection with triangulations of root polytopes.

The Tutte polynomial is the most general invariant of matroids and graphs that can be computed recursively by deleting and contracting edges. We generalize this invariant to any class of combinatorial objects with deletion and contraction operations, associating to each such class a universal Tutte character by a functorial procedure. We show that these invariants satisfy a universal property and convolution formulae similar to the Tutte polynomial. With this machinery we recover classical invariants for delta-matroids, matroid perspectives, relative and colored matroids, generalized permutohedra, and arithmetic matroids, and produce some new convolution formulae. Our principal tools are combinatorial coalgebras and their convolution algebras. Our results generalize in an intrinsic way the recent results of Krajewski--Moffatt--Tanasa.

Generalized permutohedra are deformations of regular permutohedra, and arise in many different fields of mathematics. One important characterization of generalized permutohedra is the Submodular Theorem, which is related to the deformation cone of the Braid fan. We lay out general techniques for determining deformation cones of a fixed polytope and apply it to the Braid fan to obtain a natural combinatorial proof for the Submodular Theorem. We also consider a refinement of the Braid fan, called the nested Braid fan, and construct usual (respectively, generalized) nested permutohedra which have the nested Braid fan as (respectively, refining) their normal fan. We extend many results on generalized permutohedra to this new family of polytopes, including a one-to-one correspondence between faces of nested permutohedra and chains in ordered partition posets, and a theorem analogous to the Submodular Theorem. Finally, we show that the nested Braid fan is the barycentric subdivision of the Braid fan, which gives another way to construct this new combinatorial object.

In this note, we apply combinatorial techniques from our Ph.D. thesis to study how generalized permutohedra may be represented functionally on Parke-Tayor factors and related rational functions. In any functional representation of polyhedral cones, in general certain homological information may be lost. The combinatorial relations of the Parke-Taylor factors lift homologically to generalized permutohedra. The 6-particle case contains several related layers of interesting geometric data: the Newton polytope for the polynomial numerator lifts the permutohedron in three variables, which is a hexagon, and the fraction itself provides a functional representation of certain neighborhoods of a vertex of a 5-dimensional weight permutohedron. The lift from fraction to generalized permutohedron was derived by comparing functional representations. We observe additionally that the numerator and its permutations satisfy a degree 3 polynomial relation which defines a classical projective variety known as the Segre cubic. We include in an extended Appendix selected Mathematica code which can be used to verify our computations independently.

This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for describing such polytopes. We build on the particular approach developed by Dosen and Petric, who used the formalism of hypergraphs to describe the interval of polytopes from the simplex to the permutohedron. This interval was further stretched by Petric to allow truncations of faces that are themselves obtained by truncations, and iteratively so. Our notation applies to all these polytopes. We illustrate this by showing that it instantiates to a notation for the faces of the permutohedron-based associahedra, that consists of parenthesised words with holes. Dosen and Petric have exhibited some families of hypergraph polytopes (associahedra, permutohedra, and hemiassociahedra) describing the coherences, and the coherences between coherences etc., arising by weakening sequential and parallel associativity of operadic composition. We complement their work with a criterion allowing us to recover the information whether edges of these "operadic polytopes" come from sequential, or from parallel associativity. We also give alternative proofs for some of the original results of Dosen and Petric.

In the early 1990s, a family of combinatorial CW-complexes named permutoassociahedra was introduced by Kapranov, and it was realized by Reiner and Ziegler as a family of convex polytopes. The polytopes in this family are "hybrids" of permutohedra and associahedra. Since permutohedra and associahedra are simple, it is natural to search for a family of simple permutoassociahedra, which is still adequate for a topological proof of Mac Lane's coherence. This paper presents such a family.

We introduce a weighted quasisymmetric enumerator function associated to generalized permutohedra. It refines the Billera, Jia and Reiner quasisymmetric function which also includes the Stanley chromatic symmetric function. Beside that it carries information of face numbers of generalized permutohedra. We consider more systematically the cases of nestohedra and matroid base polytopes.

In this paper, we announce results from our thesis, which studies for the first time the categorification of the theory of generalized permutohedra. The vector spaces in the categorification are tightly constrained by certain continuity relations which appeared in physics in the mid 20th century. We describe here the action of the symmetric group on the vector spaces in this categorification. Generalized permutohedra are replaced by vector spaces of characteristic functions of polyhedral cones about faces of permutohedra, called plates, due to A. Ocneanu. The symmetric group acts on plates by coordinate permutation. In combinatorics, the Eulerian numbers count the number of permutations with a given number of ascent and descents. The classical Worpitzky identity expands a power $r^p$ as a sum of Eulerian numbers, with binomial coefficients. In our thesis, for the main result we generalize the classical Worpitzky identity to an isomorphism of symmetric group modules, corresponding geometrically to the tiling of a scaled simplex by unit hypersimplices. In the categorification, the volume of a hypersimplex is replaced by the complex-linear dimension of a vector space associated to it. The main technical aspect of the proof of the character formula for the simplex involves a partition of unity of a commutative algebra of translations on a discrete torus, and a certain modular Diophantine equation. A detailed paper is in preparation.

Combinatorial Hopf algebras of trees exemplify the connections between operads and bialgebras. Painted trees were introduced recently as examples of how graded Hopf operads can bequeath Hopf structures upon compositions of coalgebras. We put these trees in context by exhibiting them as the minimal elements of face posets of certain convex polytopes. The full face posets themselves often possess the structure of graded Hopf algebras (with one-sided unit). We can enumerate faces using the fact that they are structure types of substitutions of combinatorial species. Species considered here include ordered and unordered binary trees and ordered lists (labeled corollas). Some of the polytopes that constitute our main results are well known in other contexts. First we see the classical permutohedra, and then certain generalized permutohedra: specifically the graph associahedra of suspensions of certain simple graphs. As an aside we show that the stellohedra also appear as liftings of generalized permutohedra: graph composihedra for complete graphs. Thus our results give examples of Hopf algebras of tubings and marked tubings of graphs. We also show an alternative associative algebra structure on the graph tubings of star graphs.

A graphical model encodes conditional independence relations via the Markov properties. For an undirected graph these conditional independence relations can be represented by a simple polytope known as the graph associahedron, which can be constructed as a Minkowski sum of standard simplices. There is an analogous polytope for conditional independence relations coming from a regular Gaussian model, and it can be defined using multiinformation or relative entropy. For directed acyclic graphical models and also for mixed graphical models containing undirected, directed and bidirected edges, we give a construction of this polytope, up to equivalence of normal fans, as a Minkowski sum of matroid polytopes. Finally, we apply this geometric insight to construct a new ordering-based search algorithm for causal inference via directed acyclic graphical models.

Generalizing a conjecture by De Loera et al., we conjecture that integral generalized permutohedra all have positive Ehrhart coefficients. Berline and Vergne construct a valuation that assigns values to faces of polytopes, which provides a way to write Ehrhart coefficients of a polytope as positive sums of these values. Based on available results, we pose a stronger conjecture: Berline-Vergne's valuation is always positive on permutohedra, which implies our first conjecture. This article proves that our strong conjecture on Berline-Vergne's valuation is true for dimension up to 6, and is true if we restrict to faces of codimension up to 3. In addition to investigating the positivity conjectures, we study the Berline-Vergne's valuation, and show that it is the unique construction for McMullen's formula used to describe number of lattice points in permutohedra under certain symmetry constraints. We also give an equivalent statement to the strong conjecture in terms of mixed valuations.

In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditional oriented matroid" (abbreviated COM). These novel structures can be characterized in terms of three cocircuits axioms, generalizing the familiar characterization for oriented matroids. We describe a binary composition scheme by which every COM can successively be erected as a certain complex of oriented matroids, in essentially the same way as a lopsided set can be glued together from its maximal hypercube faces. A realizable COM is represented by a hyperplane arrangement restricted to an open convex set. Among these are the examples formed by linear extensions of ordered sets, generalizing the oriented matroids corresponding to the permutohedra. Relaxing realizability to local realizability, we capture a wider class of combinatorial objects: we show that non-positively curved Coxeter zonotopal complexes give rise to locally realizable COMs.

Tridendriform algebras are a type of associative algebras, introduced independently by F. Chapoton and by J.-L. Loday and the third author, in order to describe operads related to the Stasheff polytopes. The vector space $\st$ spanned by the faces of permutohedra has a natural structure of tridendriform bialgebra, we prove that it is free as a tridendriform algebra and exhibit a basis. Our result implies that the subspace of primitive elements of the coalgebra $\st$ , equipped with the coboundary map of permutohedra, is a free cacti algebra.