arXiv++ Combinatorics

The number of flats of a hyperplane arrangement is considered as a generalization of the Bell number and the Stirling number of the second kind. Robert Gill gave the exponential generating function of the number of flats of the extended Catalan arrangements, using species. In this article, we introduce the species of flats of the extended Catalan and Shi arrangements and they are given by iterated substitution of species of sets and lists. Moreover, we enumerate the flats of these arrangements in terms of infinite matrices.

Varchenko introduced a distance function on chambers of hyperplane arrangements that he called quantum bilinear form. That gave rise to a determinant indexed by chambers whose entry in position $(C,D)$ is the distance between $C$ and $D$: that is the Varchenko determinant. He showed that that determinant has a nice factorization. Later, Aguiar and Mahajan defined a generalization of the quantum bilinear form, and computed the Varchenko determinant given rise by that generalization for central hyperplane arrangements and their cones. This article takes inspiration from their proof strategy to compute the Varchenko determinant given rise by their distance function for apartment of hyperplane arrangements. Those latter are in fact realizable conditional oriented matroids.

We introduce the class of MAT-free hyperplane arrangements which is based on the Multiple Addition Theorem by Abe, Barakat, Cuntz, Hoge, and Terao. We also investigate the closely related class of MAT2-free arrangements based on a recent generalization of the Multiple Addition Theorem by Abe and Terao. We give classifications of the irreducible complex reflection arrangements which are MAT-free respectively MAT2-free. Furthermore, we ask some questions concerning relations to other classes of free arrangements.

We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definition of Wachspress coordinates, which are barycentric coordinates on an arbitrary convex polytope. The adjoint polynomial also appears both in algebraic statistics, when studying the moments of uniform probability distributions on polytopes, and in intersection theory, when computing Segre classes of monomial schemes. We describe the Wachspress map, the rational map defined by the Wachspress coordinates, and the Wachspress variety, the image of this map. The inverse of the Wachspress map is the projection from the linear span of the image of the adjoint hypersurface. To relate adjoints of polytopes to classical adjoints of divisors in algebraic geometry, we study irreducible hypersurfaces that have the same degree and multiplicity along the non-faces of a polytope as its defining hyperplane arrangement. We list all finitely many combinatorial types of polytopes in dimensions two and three for which such irreducible hypersurfaces exist. In the case of polygons, the general such curves< are elliptic. In the three-dimensional case, the general such surfaces are either K3 or elliptic.

We characterize in simple terms the Pak-Stanley labels $λ(R)$ of the regions $R$ of the $m$-Catalan arrangement. We also propose a simple algorithm that returns $R$ from $λ(R)$. Finally, we characterize in close terms the labels of the relatively bounded regions.

We study the connection between triangulations of a type $A$ root polytope and the resonance arrangement, a hyperplane arrangement that shows up in a surprising number of contexts. Despite an elementary definition for the resonance arrangement, the number of resonance chambers has only been computed up to the $n=8$ dimensional case. We focus on data structures for labeling chambers, such as sign vectors and sets of alternating trees, with an aim at better understanding the structure of the resonance arrangement, and, in particular, enumerating its chambers. Along the way, we make connections with similar (and similarly difficult) enumeration questions. With the root polytope viewpoint, we relate resonance chambers to the chambers of polynomiality of the Kostant partition function. With the hyperplane viewpoint, we clarify the connections between resonance chambers and threshold functions. In particular, we show that the base-2 logarithm of the number of resonance chambers is asymptotically $n^2$.

Holm introduced $m$-free $\ell$-arrangements which is a generalization of free arrangements, while he asked whether all $\ell$-arrangements are $m$-free for $m$ large enough. Recently Abe and the author verified that this question is in the negative when $\ell\geq 4$. In this paper we verify that $3$-arrangements $\mathscr{A}$ are $m$-free and compute the $m$-exponents for all $m\geq |\mathscr{A}|+2$, where $|\mathscr{A}|$ is the cardinality of $\mathscr{A}$. Hence Holm's question is in the positive when $\ell=3$. Finally we prove that $3$-dimensional Weyl arrangements of types A and B are $m$-free for all $m\geq 0$.

In this paper, we study simplicial hyperplane arrangements in real projective $3$-space. We give a necessary condition for the characteristic polynomial to have only real roots, valid also for non-simplicial arrangements. As application, we obtain combinatorial inequalities which are satisfied for arrangements with splitting polynomial. This allows us to prove that there are only finitely many different isomorphism classes of simply laced simplicial arrangements whose characteristic polynomials split over $\mathbb{R}$. We also provide an updated version of a catalogue published by Grünbaum and Shephard and review some conjectures of theirs.

Universality theorems (in the sense of N. Mnëv) claim that the realization space of a combinatorial object (a point configuration, a hyperplane arrangement, a convex polytope, etc.) can be arbitrarily complicated. In the paper, we prove a universality theorem for a graph in the plane with a prescribed \textit{oriented matroid of stresses}, that is the collection of signs of all possible equilibrium stresses of the graph. This research is motivated by the Grassmanian stratification (Gelfand, Goresky, MacPherson, Serganova) by thin Schubert cells, and by a recent series of papers on stratifications of configuration spaces of tensegrities (Doray, Karpenkov, Schepers, Servatius).

Characteristic elements of the Tits algebra of a real hyperplane arrangement carry information about the characteristic polynomial. We present this notion and its basic properties, and apply it to derive various results about the characteristic polynomial of an arrangement, from Zaslavsky's formulas to more recent results of Kung and of Klivans and Swartz. We construct several examples of characteristic elements, including one in terms of intrinsic volumes of faces of the arrangement.

We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence. Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion.

We give a long exact sequence for the homology of a graded atomic lattice equipped with a sheaf of modules, in terms of the deleted and restricted lattices. This is then used to compute the homology of the arrangement lattice of a hyperplane arrangement equipped with the natural sheaf. This generalises an old result of Lusztig.

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.

The Tutte polynomial is originally a bivariate polynomial enumerating the colorings of a graph and of its dual graph. But it reveals more of the internal structure of the graph like its number of forests, of spanning subgraphs, and of acyclic orientations. In 2007, Ardila extended the notion of Tutte polynomial to the hyperplane arrangements, and computed the Tutte polynomials of the classical root systems for a certain prime power of the first variable. In this article, we compute Tutte polynomials of ideal arrangements. Those arrangements were introduced in 2006 by Sommers and Tymoczko, and are defined for ideals of root systems. For the ideals of the classical root systems, we bring a slight improvement of the finite field method showing that it can applied on any finite field whose cardinality is not a minor of the matrix associated to a hyperplane arrangement. Computing the minor set associated to an ideal of a classical root system permits us particularly to deduce the Tutte polynomials of the classical root systems. For the ideals of the exceptional root systems of type $G_2$, $F_4$, and $E_6$, we use the formula of Crapo.

The original Pak-Stanley labeling was defined by Pak and Stanley as a bijective map from the set of regions of an extended Shi arrangement to the set of parking functions. This map was later generalized to other arrangements associated with graphs and directed multigraphs. In these more general cases the map is no longer bijective. However, it was shown Hopkins and Perkinson and then the first author that it is surjective to the set of the $G$-parking functions, where $G$ is the multigraph associated with the arrangement. This leads to a natural question: when is the generalized Pak-Stanley map bijective? In this paper we answer this question in the special case of central hyperplane arrangements, i.e. the case when all the hyperplanes of the arrangement pass through a common point.

We observe that the necklace polynomials $M_d(x) = \frac{1}{d}\sum_{e\mid d}μ(e)x^{d/e}$ are highly reducible over $\mathbb{Q}$ with many cyclotomic factors. Furthermore, the sequence $Φ_d(x) - 1$ of shifted cyclotomic polynomials exhibits a qualitatively similar phenomenon, and it is often the case that $M_d(x)$ and $Φ_d(x) - 1$ have many common cyclotomic factors. We explain these cyclotomic factors of $M_d(x)$ and $Φ_d(x) - 1$ in terms of what we call the \emph{$d$th necklace operator}. Finally, we show how these cyclotomic factors correspond to certain hyperplane arrangements in finite abelian groups.

Hetyei recently introduced a hyperplane arrangement (called the homogenized Linial arrangement) and used the finite field method of Athanasiadis to show that its number of regions is a median Genocchi number. These numbers count a class of permutations known as Dumont derangements. Here, we take a different approach, which makes direct use of Zaslavsky's formula relating the intersection lattice of this arrangement to the number of regions. We refine Hetyei's result by obtaining a combinatorial interpretation of the Möbius function of this lattice in terms of variants of the Dumont permutations. This enables us to derive a formula for the generating function of the characterisitic polynomial of the arrangement. The Möbius invariant of the lattice turns out to be a (nonmedian) Genocchi number. Our techniques also yield type B, and more generally Dowling arrangement, analogs of these results.

In the theory of hyperplane arrangements, the most important and difficult problem is the combinatorial dependency of several properties. In this atricle, we prove that Terao's celebrated addition-deletion theorem for free arrangements is combinatorial, i.e., whether you can apply it depends only on the intersection lattice of arrangements. The proof is based on a classical technique. Since some parts are already completed recently, we prove the rest part, i.e., the combinatoriality of the addition theorem. As a corollary, we can define a new class of free arrangements called the additionally free arrangement of hyperplanes, which can be constructed from the empty arrangement by using only the addition theorem. Then we can show that Terao's conjecture is true in this class. As an application, we can show that every ideal-Shi arrangement is additionally free, implying that their freeness is combinatorial.

This paper investigates enumerative aspects of permutohedral blades, which provide a generalization of the notion of the tropical hyperplane arrangement. Blade provide the combinatorial underpinning of generalized biadjoint scalar scattering amplitudes in work of Cachazo, Early, Guevara and Mizera (CEGM). We construct a graded basis for a vector space of indicator functions of blades, with the grading determined by the dimension of the support of the function. We prove a Minkowski sum decomposition law into lines and tripods and we explore connections to the cohomology ring of certain moduli spaces and a non-planar analog of the square move for plabic graphs. We give a closed formula for the graded dimension of the basis. It is shown in an Appendix by Donghyun Kim that the coefficients appearing in the numerator of the generating function for the graded dimension are symmetric, and that they sum to $\frac{(2j)!}{j!}$. Unimodality is still open.

In this paper, we study and describe the universal Poisson deformation space of hypertoric varieties concretely. In the first application, we show that affine hypertoric varieties as conical symplectic varieties are classified by the associated regular matroids (this is a partial generalization of the result by Arbo and Proudfoot). As a corollary, we obtain a criterion when two quiver varieties whose dimension vector have all coordinates equal to one are isomorphic to each other. Then we describe all 4- and 6-dimensional affine hypertoric varieties as quiver varieties and give some examples of 8-dimensional hypertoric varieties which cannot be raised as such quiver varieties. In the second application, we compute explicitly the number of all projective crepant resolutions of some 4-dimensional hypertoric varieties by using the combinatorics of hyperplane arrangements.