arXiv++ Combinatorics

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.

For a real affine hyperplane arrangement, we define an integer intersection matrix with a natural $q$-deformation related to the intersections of bounded chambers of the arrangement. By connecting the integer matrix to a bilinear form of Schechtman-Varchenko, we show that there is a closed formula for its determinant that only depends on the combinatorics of the underlying matroid. We conjecture an analogous formula for its $q$-deformation. Our work also applies more generally in the setting of affine oriented matroids. Additionally, we give a representation-theoretic interpretation of our $q$-intersection matrix using Braden-Licata-Proudfoot-Websters's hypertoric category $\mathcal{O}$ (or more generally Kowalenko-Mautner's category $\mathcal{O}$ for oriented matroid programs). This paper is part of a broader program to categorify matroidal Schur algebras defined by Braden-Mautner.

There are two restriction maps of the logarithmic modules of plane arrangements in a three dimensional vector space. One is the Euler restriction and the other is the Ziegler restriction. The dimension of the cokernel of the Ziegler restriction map of logarithmic derivation modules has been well-studied for the freeness of hyperplane arrangements after Yoshinaga's celebrated criterion for freeness, which connects the second Betti number and the splitting type (exponents). However, though the Euler restriction has a longer history than the Ziegler restriction, the cokernel and its dimension of the Euler restriction have not been studied at all. The aim of this article is to study the cokernel and dimension of the Euler restriction maps in terms of combinatorics, more explicitly, the characteristic polynomial. We give an upper bound of that cokernel, and show the formula for that if the arrangement is free.

We introduce the notion of locally consistent system of half-spaces for a real hyperplane arrangement. We embed a sphere in the complexified complement by shifting the real unit sphere into the imaginary direction indicated by the half-spaces. We then prove that the sphere is homotopically trivial if and only if the system of half-spaces is globally consistent. To prove its non-triviality, we compute the twisted intersection number of the sphere with a specific, explicitly constructed twisted Borel-Moore cycle.