arXiv++ Combinatorics

Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.

We give a Orlik-Solomon type presentation for the cohomology ring of arrangements in a non-compact abelian Lie group. The new insight consists in comparing arrangements in different abelian groups. Our work is based on the Varchenko-Gelfand ring for real hyperplane arrangements and from that we deduce the cohomology rings of all other abelian arrangements. As by-product, we obtain a new proof of the Orlik-Solomon relations and De Concini-Procesi ones.

The local $h^*$-polynomial is a natural invariant of a lattice polytope appearing in Ehrhart theory and Hodge theory. In this work, we study the question posed in [GKZ94] concerning the classification of lattice simplices with vanishing local $h^*$-polynomial. Such simplices are called thin. We relate this question to linear codes and hyperplane arrangements over finite rings. This allows us to obtain a complete classification of the $4$-dimensional thin simplices, extending the previously known results in dimensions up to $3$.

The amplituhedron $A_{n,k,m}$ is a geometric object introduced in the context of scattering amplitudes in $N=4$ super Yang Mills. It generalizes the positive Grassmannian (when $n=k+m$), cyclic polytopes (when $k=1$), and the bounded complex of the cyclic hyperplane arrangement (when $m=1$). Of substantial interest are the tilings of the amplituhedron, which are analogous to triangulations of a polytope. Karp, Williams and Zhang (2020) observed that the known tilings of $A_{n,k,2}$ have cardinality ${n-2 \choose k}$ and the known tilings of $A_{n,k,4}$ have cardinality the Narayana number $\frac{1}{n-3}{n-3 \choose k+1}{n-3 \choose k}$; generalizing these observations, they conjectured that for even $m$ the tilings of $A_{n, k,m}$ have cardinality the MacMahon number, the number of plane partitions which fit inside a $k \times (n-k-m) \times \frac{m}{2}$ box. We refer to this prediction as the `Magic Number Conjecture'. In this paper we prove the Magic Number Conjecture for the $m=2$ amplituhedron: that is, we show that each tiling of $A_{n,k,2}$ has cardinality ${n-2 \choose k}$. We prove this by showing that all positroid tilings of the hypersimplex $Δ_{k+1,n}$ have cardinality ${n-2 \choose k}$, then applying T-duality. In addition, we give combinatorial necessary conditions for tiles to form a tiling of $A_{n,k,2}$; we give volume formulas for Parke-Taylor polytopes and certain positroid polytopes in terms of circular extensions of cyclic partial orders; and we prove new variants of the classical Parke-Taylor identities.

We study the Milnor fiber boundary for hyperplane arrangements in $\mathbb{C}^3$. This is one of the examples of non-isolated surface singularities, which are studied by Némethi--Szilárd. In this paper, we compute the first homology group of the Milnor fiber boundary for a generic arrangement, which gives an affirmative answer to the conjecture of Suciu. Also, we give an example of an arrangement with $n$ hyperplanes, whose torsion part in the Milnor fiber boundary homology contains a direct summand other than $\mathbb{Z}_{n}$, for certain value of $n$.

We introduce combinatorial objects named matricubes that provide a generalization of the theory of matroids. As matroids provide a combinatorial axiomatization of hyperplane arrangements, matricubes provide a combinatorial axiomatization of arrangements of initial flags in a vector space. We give cryptomorphic axiomatic systems in terms of rank function, flats, circuits, and independent sets, and formulate a duality concept. We also provide precise links between matricubes, permutation arrays and matroids, and raise several open questions.

We associate a quotient of superspace to any hyperplane arrangement by considering the differential closure of an ideal generated by powers of certain homogeneous linear forms. This quotient is a superspace analogue of the external zonotopal algebra, and it further contains the central zonotopal algebra in the appropriate grading. We show that an evaluation of the bivariate Tutte polynomial is the bigraded Hilbert series of this quotient. We then use this fact to construct an explicit basis for the Macaulay inverse. These results generalize those of Ardila-Postnikov and Holtz-Ron. We also discuss enumerative consequences of our results in the setting of hyperplane arrangements.

Athanasiadis studied arrangements obtained by adding shifted hyperplanes to the braid arrangement. Similarly, Bailey studied arrangements obtained by adding tilted hyperplanes to the braid arrangement. These two kinds of arrangements are associated with directed graphs and their freeness was characterized in terms of the associated graphs. In addition, there is coincidence of freeness. Namely, if Athanasiadis' arrangement is free, then the corresponding Bailey's arrangement is free, and vice versa. In this paper, we generalize this phenomenon by using gain graphs.

Building sets were introduced in the study of wonderful compactifications of hyperplane arrangement complements and were later generalized to finite meet-semilattices. Convex geometries, the duals of antimatroids, offer a robust combinatorial abstraction of convexity. Supersolvable convex geometries and antimatroids appear in the study of poset closure operators, Coxeter groups, and matroid activities. We prove that the building sets on a finite meet-semilattice form a supersolvable convex geometry. As an application, we demonstrate that building sets and nested set complexes respect certain restrictions of finite meet-semilattices unifying and extending results of several authors.

Positive geometries were introduced by Arkani-Hamed--Bai--Lam as a method of computing scattering amplitudes in theoretical physics. We show that a positive geometry from a polytope admits a log resolution of singularities to another positive geometry. Our result states that the regions in a wonderful compactification of a hyperplane arrangement complement, which we call wondertopes, are positive geometries. A familiar wondertope is the curvy associahedron, which tiles the moduli space of pointed stable rational curves. Thus our work generalizes the known positive geometry structure on this moduli space.

We study the geometry of tropical Fermat-Weber points in terms of the symmetric tropical metric over the tropical projective torus. It is well-known that a tropical Fermat-Weber point of a given sample is not unique and we show that the set of all possible Fermat-Weber points forms a polytrope. To prove this, we show that the tropical Fermat-Weber is the dual of a minimum-cost flow problem, and that its polytrope is a bounded cell of a tropical hyperplane arrangement given by both max- and min-tropical hyperplanes with apices given by the sample. We also define tropical Fermat-Weber gradients and provide a gradient descent algorithm that converges to the Fermat-Weber polytrope.

We consider the Bernstein--Sato polynomial of a locally quasi-homogeneous polynomial $f \in R = \mathbb{C}[x_{1}, x_{2}, x_{3}]$. We construct, in the analytic category, a complex of $\mathscr{D}_{X}[s]$-modules that can be used to compute the $\mathscr{D}_{X}[s]$-dual of $\mathscr{D}_{X}[s] f^{s-1}$ as the middle term of a short exact sequence where the outer terms are well understood. This extends a result by Narváez Macarro where a freeness assumption was required. We derive many results about the zeroes of the Bernstein--Sato polynomial. First, we prove each nonvanishing degree of the zeroeth local cohomology of the Milnor algebra $H_{\mathfrak{m}}^{0} (R / (\partial f))$ contributes a root to the Bernstein--Sato polynomial, generalizing a result of M. Saito's (where the argument cannot weaken homogeneity to quasi-homogeneity). Second, we prove the zeroes of the Bernstein--Sato polynomial admit a partial symmetry about $-1$, extending a result of Narváez Macarro that again required freeness. We give applications to very small roots, the twisted Logarithmic Comparison Theorem, and more precise statements when $f$ is additionally assumed to be homogeneous. Finally, when $f$ defines a hyperplane arrangement in $\mathbb{C}^{3}$ we give a complete formula for the zeroes of the Bernstein--Sato polynomial of $f$. We show all zeroes except the candidate root $-2 + (2 / \text{deg}(f))$ are (easily) combinatorially given; we give many equivalent characterizations of when the only non-combinatorial candidate root $-2 + (2/ \text{deg}(f))$ is in fact a zero of the Bernstein--Sato polynomial. One equivalent condition is the nonvanishing of $H_{\mathfrak{m}}^{0}( R / (\partial f))_{\text{deg}(f) - 1}$.

Given a lattice path $ν$, the alt $ν$-Tamari lattice is a partial order recently introduced by Ceballos and Chenevière, which generalizes the $ν$-Tamari lattice and the $ν$-Dyck lattice. All these posets are defined on the set of lattice paths that lie weakly above $ν$, and posses a rich combinatorial structure. In this paper, we study the geometric structure of these posets. We show that their Hasse diagram is the edge graph of a polytopal complex induced by a tropical hyperplane arrangement, which we call the alt $ν$-associahedron. This generalizes the realization of $ν$-associahedra by Ceballos, Padrol and Sarmiento. Our approach leads to an elegant construction, in terms of areas below lattice paths, which we call the canonical realization. Surprisingly, in the case of the classical associahedron, our canonical realization magically recovers Loday's ubiquitous realization, via a simple affine transformation.

This paper studies the algebraic structure of a new class of hyperplane arrangement $A$ obtained by deleting two hyperplanes from a free arrangement. We provide information on the minimal free resolutions of the logarithmic derivation module of $A$, which can be used to compute a lower bound for the graded Betti numbers of the resolution. Specifically, for the three-dimensional case, we determine the minimal free resolution of the logarithmic derivation module of $A$. We present illustrative examples of our main theorems to provide insights into the relationship between algebraic and combinatorial properties for close-to-free arrangements.

A degree one element of the Orlik-Solomon algebra of a hyperplane arrangement defines a cochain complex known as the Aomoto complex. The Aomoto complex can be considerd as the ``linear approximation'' of the twisted cochain complex with coefficients in a complex rank one local system. In this paper, we discuss $q$-deformations of the Aomoto complex. The $q$-deformation is defined by replacing the entries of representation matrices of the coboundary maps with their $q$-analogues. While the resulting maps do not generally define cochain complexes, for certain special basis derived from real structures, the $q$-deformation becomes again a cochain complex. Moreover, it exhibits universality in the sense that any specialization of $q$ to a complex number yields the cochain complex computing the corresponding local system cohomology group.

Estimating the linear dimensionality of a data set in the presence of noise is a common problem. However, data may also be corrupted by monotone nonlinear distortion that preserves the ordering of matrix entries but causes linear methods for estimating rank to fail. In light of this, we consider the problem of computing \emph{underlying rank}, which is the lowest rank consistent with the ordering of matrix entries, and \emph{monotone rank}, which is the lowest rank consistent with the ordering within columns. We show that each matrix of monotone rank $d$ corresponds to a point arrangement and a hyperplane arrangement in $\mathbb R^{d}$, and that the ordering within columns of the matrix can be used to recover information about these arrangements. Using Radon's theorem and the related concept of the VC dimension, we can obtain lower bounds on the monotone rank of a matrix. However, we also show that the monotone rank of a matrix can exceed these bounds. In order to obtain better bounds on monotone rank, we develop the connection between monotone rank estimation and oriented matroid theory. Using this connection, we show that monotone rank is difficult to compute: the problem of deciding whether a matrix has monotone rank two is already NP-hard. However, we introduce an "oriented matroid completion" problem as a combinatorial relaxation of the monotone rank problem and show that checking whether a set of sign vectors has matroid completion rank two is easy.

We study the maximum likelihood (ML) degree of discrete exponential independence models and models defined by the second hypersimplex. For models with two independent variables, we show that the ML degree is an invariant of a matroid associated to the model. We use this description to explore ML degrees via hyperplane arrangements. For independence models with more variables, we investigate the connection between the vanishing of factors of its principal $A$-determinant and its ML degree. Similarly, for models defined by the second hypersimplex, we determine its principal $A$-determinant and give computational evidence towards a conjectured lower bound of its ML degree.

The present paper explores a connection between two concepts arising from different fields of mathematics. The first concept, called vine, is a graphical model for dependent random variables. This concept first appeared in a work of Joe (1994), and the formal definition was given later by Cooke (1997). Vines have nowadays become an active research area whose applications can be found in probability theory and uncertainty analysis. The second concept, called MAT-freeness, is a combinatorial property in the theory of freeness of logarithmic derivation modules of hyperplane arrangements. This concept was first studied by Abe-Barakat-Cuntz-Hoge-Terao (2016), and soon afterwards investigated further by Cuntz-M{ü}cksch (2020). In the particular case of graphic arrangements, the last two authors (2023) recently proved that the MAT-freeness is completely characterized by the existence of certain edge-labeled graphs, called MAT-labeled graphs. In this paper, we first introduce a poset characterization of a vine, the so-called vine. Then we show that, interestingly, there exists an explicit equivalence between the categories of locally regular vines and MAT-labeled graphs. In particular, we obtain an equivalence between the categories of regular vines and MAT-labeled complete graphs. Several applications will be mentioned to illustrate the interaction between the two concepts. Notably, we give an affirmative answer to a question of Cuntz-M{ü}cksch that MAT-freeness can be characterized by a generalization of the root poset in the case of graphic arrangements.

Coxeter groups are equipped with a partial order known as the weak order, such that $u \leq v$ if the inversions of $u$ are a subset of the inversions of $v$. In finite Coxeter groups, weak order is a complete lattice, but in infinite Coxeter groups it is only a meet semi-lattice. Motivated by questions in Kazhdan-Lusztig theory, Matthew Dyer introduced a larger poset, now known as extended weak order, which contains the weak order as an order ideal and coincides with it for finite Coxeter groups. The extended weak order is the containment order on certain sets of positive roots: those which satisfy a geometric condition making them "biclosed". The finite biclosed sets are precisely the inversion sets of Coxeter group elements. Generalizing the result for finite Coxeter groups, Dyer conjectured that the extended weak order is always a complete lattice, even for infinite Coxeter groups. In this paper, we prove Dyer's conjecture for Coxeter groups of affine type. To do so, we introduce the notion of a clean arrangement, which is a hyperplane arrangement where the regions are in bijection with biclosed sets. We show that root poset order ideals in a finite or rank 3 untwisted affine root system are clean. We set up a general framework for reducing Dyer's conjecture to checking cleanliness of certain subarrangements. We conjecture this framework can be used to prove Dyer's conjecture for all Coxeter groups.

In this article, we study the weak and strong Lefschetz of higher dimensional quotients and dimension 1 almost complete intersections. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements.