arXiv++ Combinatorics

We give a cohomological interpretation of the Heaviside filtration on the Varchenko--Gelfand ring of a pair $(\mathcal{A},\mathcal{K})$, where $\mathcal{A}$ is a real hyperplane arrangement and $\mathcal{K}$ is a convex open subset of the ambient vector space. This builds on work of the first author, who studied the filtration from a purely algebraic perspective, as well as work of Moseley, who gave a cohomological interpretation in the special case where $\mathcal{K}$ is the ambient vector space. We also define the Gelfand--Rybnikov ring of a conditional oriented matroid, which simultaneously generalizes the Gelfand--Rybnikov ring of an oriented matroid and the aforementioned Varchenko--Gelfand ring of a pair. We give purely combinatorial presentations of the ring, its associated graded, and its Rees algebra.

A net in $\mathbb{P}^2$ is a configuration of lines $\mathcal A$ and points $X$ satisfying certain incidence properties. Nets appear in a variety of settings, ranging from quasigroups to combinatorial design to classification of Kac-Moody algebras to cohomology jump loci of hyperplane arrangements. For a matroid $M$ and rank $r$, we associate a monomial ideal (a monomial variant of the Orlik-Solomon ideal) to the set of flats of $M$ of rank $\le r$. In the context of line arrangements in $\mathbb{P}^2$, applying Alexander duality to the resulting ideal yields insight into the combinatorial structure of nets.

Kamiya, Takemura, and Terao introduced a characteristic quasi-polynomial which enumerates the numbers of elements in the complement of hyperplane arrangements modulo positive integers. In this paper, we compute the characteristic quasi-polynomials for arrangements which contain the Coxeter arrangements of types A, B, C, and D described by the orthonormal basis. We also compute the characteristic quasi-polynomials for their deletion arrangements and we can show that they are factorized. From this result, the poset generated by hypertori of the corresponding torus arrangement is an inductive poset.

In this paper, we investigate $q$-Varchenko matrices for some hyperplane arrangements with symmetry in two and three dimensions, and prove that they have a Smith normal form over $\mathbb Z[q]$. In particular, we examine the hyperplane arrangement for the regular $n$-gon in the plane and the dihedral model in the space and Platonic polyhedra. In each case, we prove that the $q$-Varchenko matrix associated with the hyperplane arrangement has a Smith normal form over $\mathbb Z[q]$ and realize their congruent transformation matrices over $\mathbb Z[q]$ as well.

It is well known that the set of $m$-Dyck paths with a fixed height and a fixed amount of valleys is counted by the Fuß-Narayana numbers. In this article, we consider the set of $m$-Dyck paths that start with at least $t$ north steps. We give exact formulas for the number of such paths with fixed height, fixed number of returns and (i) fixed number of valleys, (ii) fixed number of valleys with $x$-coordinate divisible by $m$ and (iii) fixed number of valleys with $x$-coordinate not divisible by $m$. The enumeration (ii) combinatorially realizes the $H$-triangle appearing in a recent article of Krattenthaler and the first author (Algebr. Comb. 5, 2022) in the context of certain parabolic noncrossing partitions. Through a transformation formula due to Chapoton, we give an explicit formula for the associated $F$-triangle. We realize this polynomial combinatorially by means of generalized Schröder paths as well as flats in certain hyperplane arrangements. Along the way we exhibit two new combinatorial reciprocity results.

Let F be the quotient of an analytic function with a product of linear functions. Working in the framework of analytic combinatorics in several variables, we compute asymptotic formulae for the Taylor coefficients of F using multivariate residues and saddle-point approximations. Because the singular set of F is the union of hyperplanes, we are able to make explicit the topological decompositions which arise in the multivariate singularity analysis. In addition to effective and explicit asymptotic results, we provide the first results on transitions between different asymptotic regimes, and provide the first software package to verify and compute asymptotics in non-smooth cases of analytic combinatorics in several variables. It is also our hope that this paper will serve as an entry to the more advanced corners of analytic combinatorics in several variables for combinatorialists.

We introduce a class of graphs with coloured edges to encode subsystems of the classical root systems, which in particular classify them up to equivalence. We further use the graphs to describe root-kernel intersections, as well as restrictions of root (sub)systems on such intersections, generalising the regular part of a Cartan subalgebra. We also consider a slight variation to encode the hyperplane arrangements only, showing there is a unique noncrystallographic arrangement that arises. Finally, a variation of the main definition leads to elementary classifications of closed and Levi root subsystems.

This paper considers a hyperplane arrangement constructed with a subset of a set of all simple paths in a graph. A connection of the constructed arrangement to the maximum matching problem is established. Moreover, the problem of finding the characteristic polynomial is reduced to the case of a connected initial graph. The formula of the characteristic polynomial was also found for the case, when the initial graph is a tree.

We propose a computational, convex hull free framework that takes advantage of the combinatorial structure of a zonotope, as for example its symmetry group, to orbitwise generate all canonical representatives of its vertices. We illustrate the proposed framework by generating all the 1 955 230 985 997 140 vertices of the $9$-dimensional White Whale. We also compute the number of edges of this zonotope up to dimension $9$ and exhibit a family of vertices whose degree is exponential in the dimension. The White Whale is the Minkowski sum of all the $2^d-1$ non-zero $0/1$-valued $d$-dimensional vectors. The central hyperplane arrangement dual to the White Whale, made up of the hyperplanes normal to these vectors, is called the resonance arrangement and has been studied in various contexts including algebraic geometry, mathematical physics, economics, psychometrics, and representation theory.

Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A''$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $κ$ is then a free multiarrangement $(\mathcal A'',κ)$. The aim of this paper is to prove an analogue of Ziegler's theorem for the stronger notion of inductive freeness: if $\mathcal A$ is inductively free, then so is the multiarrangement $(\mathcal A'',κ)$. In a related result we derive that if a deletion $\mathcal A'$ of $\mathcal A$ is free and the corresponding restriction $\mathcal A''$ is inductively free, then so is $(\mathcal A'',κ)$ -- irrespective of the freeness of $\mathcal A$. In addition, we show counterparts of the latter kind for additive and recursive freeness.

The intersection data of a hyperplane arrangement is described by a geometric lattice, or equivalently a simple matroid. There is a rich interplay between this combinatorial structure and the topology of the arrangement complement. In this paper, we characterize the combinatorial structure underlying an abelian arrangement (such as a toric or elliptic arrangement) by defining a class of geometric posets and a generalization of matroids called matroid schemes. The intersection data of an abelian arrangement is encoded in a geometric poset, and we prove that a geometric poset is equivalent to a simple matroid scheme. We lay foundations for the theory of matroid schemes, discussing rank, flats, and independence. We also extend the definition of the Tutte polynomial to this setting and prove that it satisfies a deletion-contraction recurrence.

We present a combinatorial analysis of fiber bundles of generalized configuration spaces on connected abelian Lie groups. These bundles are akin to those of Fadell-Neuwirth for configuration spaces, and their existence is detected by a combinatorial property of an associated finite partially ordered set. This is consistent with Terao's fibration theorem connecting bundles of hyperplane arrangements to Stanley's lattice supersolvability. We obtain a combinatorially determined class of K($π$,1) toric and elliptic arrangements. Under a stronger combinatorial condition, we prove a factorization of the Poincaré polynomial when the Lie group is noncompact. In the case of toric arrangements, this provides an analogue of Falk-Randell's formula relating the Poincaré polynomial to the lower central series of the fundamental group.

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.

A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the fact that complex arrangements with aspherical complements are formal. The aim of this note is twofold. While work of Yuzvinsky shows that formality is not combinatorial, in our first main theorem we prove that the combinatorial property of niceness of arrangements does entail formality. Our second main theorem shows that formality is hereditary, i.e. is passed to restrictions. This is rather counter-intuitive, as in contrast the known sufficient conditions for formality, i.e. asphericity, freeness and niceness (owed to our first theorem), are not hereditary themselves. We also demonstrate that the stronger property of $k$-formality, due to Brandt and Terao, is not hereditary.

For a reduced hyperplane arrangement we prove the analytic Twisted Logarithmic Comparison Theorem, subject to mild combinatorial arithmetic conditions on the weights defining the twist. This gives a quasi-isomorphism between the twisted logarithmic de Rham complex and the twisted meromorphic de Rham complex. The latter computes the cohomology of the arrangement's complement with coefficients from the corresponding rank one local system. We also prove the algebraic variant (when the arrangement is central), and the analytic and algebraic (untwisted) Logarithmic Comparison Theorems. The last item positively resolves an old conjecture of Terao. We also prove that: every nontrivial rank one local system on the complement can be computed via these Twisted Logarithmic Comparison Theorems; these computations are explicit finite dimensional linear algebra. Finally, we give some $\mathscr{D}_{X}$-module applications: for example, we give a sharp restriction on the codimension one components of the multivariate Bernstein--Sato ideal attached to an arbitrary factorization of an arrangement. The bound corresponds to (and, in the univariate case, gives an independent proof of) M. Saito's result that the roots of the Bernstein--Sato polynomial of a non-smooth, central, reduced arrangement live in $(-2 + 1/d, 0).$

Given an affine Coxeter group $W$, the corresponding Shi arrangement is a refinement of the corresponding Coxeter hyperplane arrangements that was introduced by Shi to study Kazhdan-Lusztig cells for $W$. In particular, Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in $W$. Low elements in $W$ were introduced to study the word problem of the corresponding Artin-Tits (braid) group and turns out to produce automata to study the combinatorics of reduced words in $W$. In this article, we show in the case of an affine Coxeter group that the set of minimal length elements of the regions in the Shi arrangement is precisely the set of low elements, settling a conjecture of Dyer and the second author in this case. As a byproduct of our proof, we show that the descent-walls -- the walls that separate a region from the fundamental alcove -- of any region in the Shi arrangement are precisely the descent walls of the alcove of its corresponding low element.

We study the Hadamard product of the linear forms defining a hyperplane arrangement with those of its dual, which we view as generating an ideal in a certain polynomial ring. We use this ideal, which we call the ideal of pairs, to study logarithmic derivations and critical set varieties of arrangements in a way which is symmetric with respect to matroid duality. Our main result exhibits the variety of the ideal of pairs as a subspace arrangement whose components correspond to cyclic flats of the arrangement. As a corollary, we are able to give geometric explanations of some freeness and projective dimension results due to Ziegler and Kung--Schenck.

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.

We extend the definition of coarse flag Hilbert--Poincaré series to matroids; these series arise in the context of local Igusa zeta functions associated to hyperplane arrangements. We study these series in the case of oriented matroids by applying geometric and combinatorial tools related to their topes. In this case, we prove that the numerators of these series are coefficient-wise bounded below by the Eulerian polynomial and equality holds if and only if all topes are simplicial. Moreover this yields a sufficient criterion for non-orientability of matroids of arbitrary rank.

We introduce the characteristic numbers and the chromatic polynomial of a tensor. Our approach generalizes and unifies the chromatic polynomial of a graph and of a matroid, characteristic numbers of quadrics in Schubert calculus, Betti numbers of complements of hyperplane arrangements and Euler characteristic of complements of determinantal hypersurfaces and the maximum likelihood degree for general linear concentration models in algebraic statistics.