arXiv++ Combinatorics

The paper concerns the coarse flag Hilbert-Poincaré series of Maglione-Voll in the case of the braid arrangement associated to the symmetric group. We explicitly construct a companion statistic $\operatorname{ino} : \mathfrak{S}_{n+1} \times \operatorname{Sym}(n) \rightarrow \mathbb{N}$ for the descent statistic on $\operatorname{Sym}(n)$ using reverse $(P,ω)$-partitions and quasisymmetric functions.

We provide a systematic enumerative and combinatorial study of geometric cellular diagonals on the permutahedra. In the first part of the paper, we study the combinatorics of certain hyperplane arrangements obtained as the union of $\ell$ generically translated copies of the classical braid arrangement. Based on Zaslavsky's theory, we derive enumerative results on the faces of these arrangements involving combinatorial objects named partition forests and rainbow forests. This yields in particular nice formulas for the number of regions and bounded regions in terms of exponentials of generating functions of Fuss-Catalan numbers. By duality, the specialization of these results to the case $\ell = 2$ gives the enumeration of any geometric diagonal of the permutahedron. In the second part of the paper, we study diagonals which respect the operadic structure on the family of permutahedra. We show that there are exactly two such diagonals, which are moreover isomorphic. We describe their facets by a simple rule on paths in partition trees, and their vertices as pattern-avoiding pairs of permutations. We show that one of these diagonals is a topological enhancement of the Sanbeblidze-Umble diagonal, and unravel a natural lattice structure on their sets of facets. In the third part of the paper, we use the preceding results to show that there are precisely two isomorphic topological cellular operadic structures on the families of operahedra and multiplihedra, and exactly two infinity-isomorphic geometric universal tensor products of homotopy operads and A-infinity morphisms.

A graphic arrangement is a subarrangement of the braid arrangement whose set of hyperplanes is determined by an undirected graph. A classical result due to Stanley, Edelman and Reiner states that a graphic arrangement is free if and only if the corresponding graph is chordal, i.e., the graph has no chordless cycle with four or more vertices. In this article we extend this result by proving that the module of logarithmic derivations of a graphic arrangement has projective dimension at most one if and only if the corresponding graph is weakly chordal, i.e., the graph and its complement have no chordless cycle with five or more vertices.

We study a specific line arrangement obtained from a generic $2$-section of the braid arrangement, and compute the fundamental group of its complement via braid monodromy. We show that the resulting presentation of the fundamental group coincides, under the identification of generators, with the modified Artin presentation introduced by Margalit and McCammond. Moreover, we extend the construction to the Manin--Schechtman arrangements $MS(n, k)$, which are higher analogues of the braid arrangement. Focusing on the case $k = 2$, we obtain an explicit presentation of $π_1(\mathbb{C}^n \setminus MS(n, 2))$.

We provide a combinatorial interpretation of the Kazhdan--Lusztig polynomial of the matroid arising from the braid arrangement of type $\mathrm{A}_{n-1}$, which gives an interpretation of the intersection cohomology Betti numbers of the reciprocal plane of the braid arrangement. Moreover, we prove an equivariant version of this result. The key combinatorial object is a class of matroids arising from series-parallel networks. As a consequence, we prove a conjecture of Elias, Proudfoot, and Wakefield on the top coefficient of Kazhdan--Lusztig polynomials of braid matroids, and we provide explicit generating functions for their Kazhdan--Lusztig and $Z$-polynomials.

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 discriminantal arrangement is the space of configurations of $n$ hyperplanes in generic position in a $k$ dimensional space (see \cite{MS}). Differently from the case $k=1$ in which it corresponds to the well known braid arrangement, the discriminantal arrangement in the case $k>1$ has a combinatorics which depends from the choice of the original $n$ hyperplanes. It is known that this combinatorics is constant in an open Zariski set $\mathcal{Z}$, but to assess wether or not $n$ fixed hyperplanes in generic position belongs to $\mathcal{Z}$ proved to be a nontrivial problem. Even to simply provide examples of configurations not in $\mathcal{Z}$ is still a difficult task. In this paper, moving from a recent result in \cite{SSc}, we define a $\textit{weak linear independency}$ condition among sets of vectors which, if imposed, allows to build configurations of hyperplanes not in $\mathcal{Z}$. We provide $3$ examples.

A hyperplane arrangement in $\mathbb{R}^n$ is a finite collection of affine hyperplanes. Counting regions of hyperplane arrangements is an active research direction in enumerative combinatorics. In this paper, we consider the arrangement $\mathcal{A}_n^{(m)}$ in $\mathbb{R}^n$ given by $\{x_i=0 \mid i \in [n]\} \cup \{x_i=a^kx_j \mid k \in [-m,m], 1\leq i<j \leq n\}$ for some fixed $a>1$. It turns out that this family of arrangements is closely related to the well-studied extended Catalan arrangement of type $A$. We prove that the number of regions of $\mathcal{A}_n^{(m)}$ is a certain generalization of Catalan numbers called two parameter Fuss-Catalan numbers. We then exhibit a bijection between these regions and certain decorated Dyck paths. We also compute the characteristic polynomial and give a combinatorial interpretation for its coefficients. Most of our results also generalize to sub-arrangements of $\mathcal{A}_n^{(m)}$ by relating them to deformations of the braid arrangement.

Manin and Schechtman introduced a family of arrangements of hyperplanes generalizing classical braid arrangements, which they called the $\textit{discriminantal arrangements}$. Athanasiadis proved a conjecture by Bayer and Brandt providing a full description of the combinatorics of discriminantal arrangements in the case of $\textit{very generic}$ arrangements. Libgober and Settepanella described a sufficient geometric condition for given arrangements to be $\textit{non very generic}$ in terms of the notion of dependency for a certain arrangement. Settepanella and the author generalized the notion of dependency introducing $r$-sets and $K_\mathbb{T}$-vector sets, and provided a sufficient condition for non very genericity but still not convenient to verify by hand. In this paper we give a classification of the $r$-sets, and a more explicit and tractable condition for non very genericity.

A hyperplane arrangement in $\mathbb{R}^n$ is a finite collection of affine hyperplanes. The regions are the connected components of the complement of these hyperplanes. By a theorem of Zaslavsky, the number of regions of a hyperplane arrangement is the sum of coefficients of its characteristic polynomial. Arrangements that contain hyperplanes parallel to subspaces whose defining equations are $x_i - x_j = 0$ form an important class called the deformations of the braid arrangement. In a recent work, Bernardi showed that regions of certain deformations are in one-to-one correspondence with certain labeled trees. In this article, we define a statistic on these trees such that the distribution is given by the coefficients of the characteristic polynomial. In particular, our statistic applies to well-studied families like extended Catalan, Shi, Linial and semiorder.

Bernardi has given a general formula for the number of regions of a deformation of the braid arrangement as a signed sum over boxed trees. We prove that each set of boxed trees which share an underlying (rooted labeled plane) tree contributes 0, +1, or -1 to this sum, and we give an algorithm for computing this value. For Ish-type arrangements, we further construct a sign-reversing involution which reduces Bernardi's signed sum to the enumeration of a set of (rooted labeled plane) trees. We conclude by explicitly enumerating the trees corresponding to the regions of Ish-type arrangements which are nested, recovering their known counting formula.

The resonance arrangement $\mathcal{A}_n$ is the arrangement of hyperplanes which has all non-zero $0/1$-vectors in $\mathbb{R}^n$ as normal vectors. It is the adjoint of the Braid arrangement and is also called the all-subsets arrangement. The first result of this article shows that any rational hyperplane arrangement is the minor of some large enough resonance arrangement. Its chambers appear as regions of polynomiality in algebraic geometry, as generalized retarded functions in mathematical physics and as maximal unbalanced families that have applications in economics. One way to compute the number of chambers of any real arrangement is through the coefficients of its characteristic polynomial which are called Betti numbers. We show that the Betti numbers of the resonance arrangement are determined by a fixed combination of Stirling numbers of the second kind. Lastly, we develop exact formulas for the first two non-trivial Betti numbers of the resonance arrangement.

The class of Worpitzky-compatible subarrangements of a Weyl arrangement together with an associated Eulerian polynomial was recently introduced by Ashraf, Yoshinaga and the first author, which brings the characteristic and Ehrhart quasi-polynomials into one formula. The subarrangements of the braid arrangement, the Weyl arrangement of type $A$, are known as the graphic arrangements. We prove that the Worpitzky-compatible graphic arrangements are characterized by cocomparability graphs. Our main result yields new formulas for the chromatic and graphic Eulerian polynomials of cocomparability graphs.

The Eulerian idempotents, first introduced for the symmetric group and later extended to all reflection groups, generate a family of representations called the Eulerian representations that decompose the regular representation. In Type $A$, the Eulerian representations have many elegant but mysterious connections to rings naturally associated with the braid arrangement. In this paper, we unify these results and show that they hold for any reflection group of coincidental type -- that is, $S_{n}$, $B_{n}$, $H_{3}$ or the dihedral group $I_{2}(m)$ -- by giving six characterizations of the Eulerian representations, including as components of the associated graded of the Varchenko-Gelfand ring $\mathcal{V}$. As a consequence, we show that Solomon's descent algebra contains a commutative subalgebra generated by sums of elements with the same number of descents if and only if $W$ is coincidental. More generally, when $W$ is any finite real reflection group, we give a case-free construction of a family of Eulerian representations described by a flat-decomposition of the ring $\mathcal{V}$.

For every irreducible complex representation~$π_λ$ of the symmetric group~$§_n$, we construct, in a canonical way, a so-called intrinsic hyperplane arrangement~$\A_λ$ in the space of~$π_λ$. This arrangement is a direct generalization of the classical braid arrangement (which is the special case of our construction corresponding to the natural representation of~$§_n$), has a natural description in terms of invariant subspaces of Young subgroups, and enjoys a number of remarkable properties.

Hyperplane arrangements dissect $\mathbb{R}^n$ into connected components called chambers, and a well-known theorem of Zaslavsky counts chambers as a sum of nonnegative integers called Whitney numbers of the first kind. His theorem generalizes to count chambers within any cone defined as the intersection of a collection of halfspaces from the arrangement, leading to a notion of Whitney numbers for each cone. This paper focuses on cones within the braid arrangement, consisting of the reflecting hyperplanes $x_i=x_j$ inside $\mathbb{R}^n$ for the symmetric group, thought of as the type $A_{n-1}$ reflection group. Here cones correspond to posets, chambers within the cone correspond to linear extensions of the poset, and the Whitney numbers of the cone interestingly refine the number of linear extensions of the poset. We interpret this refinement for all posets as counting linear extensions according to a statistic that generalizes the number of left-to-right maxima of a permutation. When the poset is a disjoint union of chains, we interpret this refinement differently, using Foata's theory of cycle decomposition for multiset permutations, leading to a simple generating function compiling these Whitney numbers.

We study a certain discrete differentiation of piecewise-constant functions on the adjoint of the braid hyperplane arrangement, defined by taking finite-differences across hyperplanes. In terms of Aguiar-Mahajan's Lie theory of hyperplane arrangements, we show that this structure is equivalent to the action of Lie elements on faces. We use layered binary trees to encode flags of adjoint arrangement faces, allowing for the representation of certain Lie elements by antisymmetrized layered binary forests. This is dual to the well-known use of (delayered) binary trees to represent Lie elements of the braid arrangement. The discrete derivative then induces an action of layered binary forests on piecewise-constant functions, which we call the forest derivative. Our main result states that forest derivatives of functions factorize as external products of functions precisely if one restricts to functions which satisfy the Steinmann relations, which are certain four-term linear relations appearing in the foundations of axiomatic quantum field theory. We also show that the forest derivative satisfies the Lie properties of antisymmetry the Jacobi identity. It follows from these Lie properties, and also crucially factorization, that functions which satisfy the Steinmann relations form a left comodule of the Lie cooperad, with the coaction given by the forest derivative. Dually, this endows the adjoint braid arrangement modulo the Steinmann relations with the structure of a Lie algebra internal to the category of vector species. This work is a first step towards describing new connections between Hopf theory in species and quantum field theory.

We establish strong factorization for pairs of smooth fans which are refined by the braid arrangement fan. Our method uses a correspondence between cones and preposets.

In 1962, Fadell and Neuwirth showed that the configuration space of the braid arrangement is aspherical. Having generalized this to many real reflection groups, Brieskorn conjectured this for all finite Coxeter groups. This in turn follows from Deligne's seminal work from 1972, where he showed that the complexification of every real simplicial arrangement is a $K(π,1)$-arrangement. In this paper we study the $K(π,1)$-property for a certain class of subarrangements of Weyl arrangements, the so called arrangements of ideal type ${\mathscr A}_I$. These stem from ideals $I$ in the set of positive roots of a reduced root system. We show that the $K(π,1)$-property holds for all arrangements ${\mathscr A}_I$ if the underlying Weyl group is classical and that it extends to most of the ${\mathscr A}_I$ if the underlying Weyl group is of exceptional type. Conjecturally this holds for all ${\mathscr A}_I$. In general, the ${\mathscr A}_I$ are neither simplicial, nor is their complexification fiber type.

We define a chain complex for generalized splines on graphs, analogous to that introduced by Billera and refined by Schenck-Stillman for splines on polyhedral complexes. The hyperhomology of this chain complex yields bounds on the projective dimension of the ring of generalized splines. We apply this construction to the module of derivations of a graphic multi-arrangement, yielding homological criteria for bounding its projective dimension and determining freeness. As an application, we show that a graphic arrangement admits a free constant multiplicity iff it splits as a product of braid arrangements.