arXiv++ Combinatorics

Let $\mathfrak h$ be a Cartan subalgebra of a complex semisimple Lie algebra $\mathfrak g.$ We define a compactification $\bar {\mathfrak h}$ of $\mathfrak h$, which is analogous to the closure $\bar H$ of the corresponding maximal torus $H$ in the adjoint group of $\mathfrak g$ in its wonderful compactification, which was introduced and studied by De Concini and Procesi \cite{DCP}. We observe that $\bar {\mathfrak h}$ is a matroid Schubert variety and prove that the irreducible components of the boundary $\bar {\mathfrak h} - \mathfrak h$ of $\mathfrak h$ are divisors indexed by root system data. We prove that $\bar {\mathfrak h}$ is a normal variety and find an affine paving of $\bar {\mathfrak h},$ where the strata are given by the orbits of $\mathfrak h.$ We show that the strata of $\bar {\mathfrak h}$ correspond bijectively to subspaces of the corresponding Coxeter hyperplane arrangement studied by Orlik and Solomon, and prove that the associated posets are isomorphic. As a consequence, we express the Betti numbers of $\bar {\mathfrak h}$ in terms of well-known combinatorial invariants in the classical cases. We show that the Weyl group $W$ acts on $\bar {\mathfrak h}$, and describe $H^{\bullet}(\bar {\mathfrak h}, \mathbb C)$ as a representation of $W$, and compute the cup product for $H^{\bullet}(\bar {\mathfrak h}, \mathbb Z)$.

The intersection numbers of moduli spaces of stable curves $\overline{\mathcal{M}}_{g,m}$ are well-studied and are known to have rich combinatorial structure. We introduce a natural class of these intersection numbers $ω_{G,g,m}$ indexed by finite simple graphs $G=(V,E)$. In genus zero, these numbers are closely related to several previously-studied quantities, including maximum likelihood degrees in algebraic statistics, counts of regions of certain hyperplane arrangements, and Kapranov degrees. We give two proofs of a simple closed formula $ω_{G,g,m}=(-1)^{\left\lvert V \right\rvert}χ_G(-(2g-2+m)),$ where $χ_G$ is the chromatic polynomial of $G$ -- one proof via intersection theory on moduli spaces of stable curves, and the other using the theory of hyperplane arrangements. We discuss several related questions and speculations, including new candidates for the chromatic polynomial of a directed graph.

This work builds on Varchenko et al's introduction of bilinear forms for hyperplane arrangements, where the determinant of the associated matrices factorizes into simple components. While one of the determinant formula developed by Varchenko has been generalized to complexes of oriented matroids (COMs) already, this question was open for another, distinct form. Motivated by work from Varchenko and Brylawski, who generalized the alternative bilinear form and its determinant formula from hyperplane arrangements to matroids, we examine whether this formula can similarly be generalized to COMs. Our findings affirm this generalization, and we further extend the determinant formula to bouquets of geometric lattices as introduced by Laurent et al.

Let $\mathcal{H}$ be a hyperplane arrangement in $\mathbb{CP}^n$. We define a quadratic form $Q$ on $\mathbb{R}^{\mathcal{H}}$ that is entirely determined by the intersection poset of $\mathcal{H}$. Using the Bogomolov-Gieseker inequality for parabolic bundles, we show that if $\mathbf{a} \in \mathbb{R}^{\mathcal{H}}$ is such that the weighted arrangement $(\mathcal{H}, \mathbf{a})$ is stable, then $Q(\mathbf{a}) \leq 0$. As an application, we consider the symmetric case where all the weights are equal. The inequality $Q(a, \ldots, a) \leq 0$ gives a lower bound for the total sum of multiplicities of codimension $2$ intersection subspaces of $\mathcal{H}$. The lower bound is attained when every $H \in \mathcal{H}$ intersects all the other members of $\mathcal{H} \setminus \{H\}$ along $(1-2/(n+1))|\mathcal{H}| + 1$ codimension $2$ subspaces; extending from $n=2$ to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.

We obtain a novel formula for characteristic polynomials of deformations of the Braid arrangement using the notion of levels of regions. As an application, we recover and strengthen results of Chen et al. on the characteristic polynomial of several specific types of hyperplane arrangements via much simpler arguments. Our theorem also generalizes to type B.

We focus on two specific generalizations of the chromatic symmetric function: one involving universal graphs and the other concerning vertex-weighted graphs. In this paper, we introduce a unified generalization that incorporates both approaches and demonstrate that the resulting new invariants inherit characteristics from each, particularly the properties of complete invariants. Additionally, we construct complete invariants for directed acyclic graphs (DAGs) and partially ordered sets (posets). As a corollary, these invariants can distinguish hyperplane arrangements that are distinguishable by their intersection posets.

We study the realization spaces of matroids and hyperplane arrangements. First, we define the notion of naive dimension for the realization space of matroids and compare it with the expected dimension and the algebraic dimension, exploring the conditions under which these dimensions coincide. Next, we introduce the family of inductively connected matroids and investigate their realization spaces, establishing that they are smooth, irreducible, and isomorphic to a Zariski open subset of a complex space with a known dimension. Furthermore, we present an explicit procedure for computing their defining equations. As corollaries, we identify families of hyperplane arrangements whose moduli spaces are connected. Finally, we apply our results to study the rigidity of matroids. Rigidity, which involves matroids with a unique realization under projective transformations, is key to understanding the connectivity of the moduli spaces of the corresponding hyperplane arrangements.

We generalize the classic definition of Delaunay triangulation and prove that for a locally finite and coarsely dense generic point set, $A \subseteq \mathbb{R}^d$, the $d$-simplices whose vertices belong to $A$ and whose circumscribed spheres enclose exactly $k$ points of $A$ cover $\mathbb{R}^d$ exactly $\binom{d+k}{d}$ times. Similarly, the subset of such simplices incident to a point in $A$ cover any small enough neighborhood of that point exactly $\binom{d+k-1}{d-1}$ times. We extend this result to the cases in which the points are weighted and when $A$ contains only finitely many points in $\mathbb{R}^d$ or in $\mathbb{S}^d$. Using these results, we give new proofs of classic results on $k$-facets, old and new combinatorial results for hyperplane arrangements, and a new proof for the fact that the volumes of hypersimplices are Eulerian numbers.

A recurring task in particle physics and statistics is to compute the complex critical points of a product of powers of affine-linear functions. The logarithmic discriminant characterizes exponents for which such a function has a degenerate critical point in the corresponding hyperplane arrangement complement. We study properties of this discriminant, exploiting its connection with the Hurwitz form of a reciprocal linear space.

In 1996, Stanley extended the classical Catalan arrangement and semiorder arrangement, which are called the Catalan-type arrangement $\mathcal{C}_{n,A}$ and the semiorder-type arrangement $\mathcal{C}_{n,A}^*$ in this paper. By establishing a labeled Dyck path model for the regions of $\mathcal{C}_{n,A}$ and $\mathcal{C}_{n,A}^*$, this paper explores several enumerative problems related to the number of regions of level $\ell$, denoted as $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$, which includes: (1) proving a Stirling convolution relation between $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$, refining a result by Stanley and Postnikov; (2) showing that the sequences$\left(r_\ell{(\mathcal{C}_{n,A})}\right)_{n\geq 0}$ and $(r_\ell {(\mathcal{C}_{n,A}^*)})_{n\geq 0}$ exhibit properties of binomial type in the sense of Rota; (3) establishing the transformational significance of $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$ under Stanley's ESA framework: they can be viewed as transition matrices from binomial coefficients to their characteristic polynomials respectively. Further, we present two applications of the theories and methods: first, we provide a hyperplane arrangement counting interpretation of the two-parameter generalization of Fuss--Catalan numbers, which is closely related to the number of regions of level $\ell$ in the $m$-Catalan arrangement. Second, using labeled Dyck paths to depict the number of regions in the $m$-Catalan arrangement, we algorithmically provide the inverse mapping of the Fu, Wang, and Zhu mapping.

We study scattering equations of hyperplane arrangements from the perspective of combinatorial commutative algebra and numerical algebraic geometry. We formulate the problem as linear equations on a reciprocal linear space and develop a degeneration-based homotopy algorithm for solving them. We investigate the Hilbert regularity of the corresponding homogeneous ideal and apply our methods to CHY scattering equations.

There is a well-established dictionary between zonotopes, hyperplane arrangements, and their (oriented) matroids. Arguably one of the most famous examples is the class of graphical zonotopes, also called acyclotopes, which encode subzonotopes of the type-A root polytope, the permutahedron. Stanley (1991) gave a general interpretation of the coefficients of the Ehrhart polynomial (integer-point counting function for a polytope) of a zonotope via linearly independent subsets of its generators. Applying this to the graphical case shows that Ehrhart coefficients count induced forests of the graph of fixed sizes. Our first goal is to extend and popularize this story to other root systems, which on the combinatorial side is encoded by signed graphs analogously to the work by Greene and Zaslavsky (1983). We compute the Ehrhart polynomial of the acyclotope in the signed case, and we give a matroid-dual construction, giving rise to tocyclotopes, and compute their Ehrhart polynomials. Applying the same duality construction to a general integral matrix gives rise to a lattice Gale zonotope, whose face structure was studies by McMullen (1971) and whose duality nature is a special instance of D'Adderio--Moci's arithmetic matroids. We describe its Ehrhart polynomials in terms of the given matrix.

The Euler characteristic of a very affine variety encodes the algebraic complexity of solving likelihood (or scattering) equations on this variety. We study this quantity for the Grassmannian with $d$ hyperplane sections removed. We provide a combinatorial formula, and explain how to compute this Euler characteristic in practice, both symbolically and numerically. Our particular focus is on generic hyperplane sections and on Schubert divisors. We also consider special Schubert arrangements relevant for physics. We study both the complex and the real case.

In this chapter, we give an overview of Billey-Postnikov (BP) decompositions which have become an important tool for understanding the geometry and combinatorics of Schubert varieties. BP decompositions are factorizations of Coxeter group elements with many nice properties in relation to Bruhat partial order. They have played an important role in the classification and enumeration of smooth Schubert varieties. They have also been used in the study of inversion hyperplane arrangements and permutation pattern avoidance. We survey many of these applications.

In 2010, Vershik proposed a new combinatorial invariant of metric spaces given by a class of polytopes that arise in the theory of optimal transport and are called ``Wasserstein polytopes'' or ``Kantorovich-Rubinstein polytopes'' in the literature. Answering a question posed by Vershik, we describe the stratification of the metric cone induced by the combinatorial type of these polytopes through a hyperplane arrangement. Moreover, we study its relationships with the stratification by combinatorial type of the injective hull (i.e., the tight span) and, in particular, with certain types of metrics arising in phylogenetic analysis. We also compute enumerative invariants in the case of metrics on up to six points.

In Terao [24], Hiroaki Terao defined and studied "admissible map", which is a generalization of "social welfare function" in the context of hyperplane arrangements. Using this, he proved a generalized Arrow's Impossibility Theorem using combinatorial arguments. This paper provides another proof of this generalized Arrow's Impossibility Theorem, using the idea of algebraic topology.

We give a sufficient condition on a positive integer $m$ for every stratum of a given real toric hyperplane arrangement to contain a rational point of denominator $m$. As a consequence, we give a sufficient condition on $m$ for the degree $m$ Frobenius pushforward of the structure sheaf on a smooth toric variety to contain all possible summands in the Picard group.

This paper is devoted to the classification problems concerning extended deformations of convex polyhedra and real hyperplane arrangements in the following senses: combinatorial equivalence of face posets, normal equivalence on normal fans of convex polyhedra, and sign equivalence on half-spaces. The extended deformations of convex polyhedra arise from parallel translations of given half-spaces and hyperplanes, whose normal vectors give rise to the so-called ``derived arrangement'' proposed by Rota as well as Crapo in different forms. We show that two extended deformations of convex polyhedra are normally (combinatorially, as a consequence) equivalent if they are parameterized by the same open face of the derived arrangement. Note that these extended deformations are based on parallel translations of the given hyperplanes. It allows us to study three deformations of real hyperplane arrangements: parallel translations, conings, and elementary lifts, whose configuration spaces are parameterized by open faces of the derived arrangement. Consequently, it gives a characterization of the normal, combinatorial, and sign equivalences of those three deformations via the derived arrangement. Additionally, the relationships among these three equivalence relations are discussed, and several new descriptions of real derived arrangements associated with faces and sign vectors of real hyperplane arrangements are provided.

We establish two explicit bijections: from acyclic reorientations of an oriented matroid to no broken circuit (NBC) subsets of its underlying matroid, and from regions of a real hyperplane arrangement to its affine NBC subsets.

This note is a survey on the topology of hyperplane arrangements. We mainly focus on the relationship between topology and the real structure, such as adjacent relations of chambers and stratifications related to real structures.