arXiv++ Combinatorics

We establish a convolution formula for the characteristic polynomial of a finite geometric semilattice $M$: \[ χ(M,st)=\sum_{X\in \underline{M}} s^{r-{\rm rk}_{\underline{M}}(X)}χ(\underline{M}^X,t)\,χ(M_{(X)},s), \] where $\underline{M}$ denotes the centralization of $M$, and $M_{(X)}$ denotes the localization at $X$. This generalizes a nice formula of Southerland, Southern, and Zhou, which is recovered at $s=1$. When specialized to hyperplane arrangements, the identity yields a new expansion closely related to Wang's convolution formula. We further provide a combinatorial interpretation of the convolution formula using the finite field method over $\mathbb{F}_{p^2}$ and $\mathbb{F}_p$.

In this article we describe a new inductive approach to compute the chromatic polynomial of simple graphs and the characteristic polynomial of central hyperplane arrangements.

In recent work (Forum Math.~Sigma, 2024), we established a correspondence between MAT-labeled graphs arising from hyperplane arrangements and regular vines from probability theory. In this paper, we extend this connection to Arrow's single-peaked domains in social choice theory. We show that MAT-labeled complete graphs, regular vines, and maximal Arrow's single-peaked domains arise from the same recursive combinatorial structure. Our main result gives an axiomatic characterization of these objects using the language of combinatorial species. At the heart of this characterization are two fundamental operations, called splitting and merging, together with natural compatibility conditions that uniquely determine the structures. As consequences, we obtain explicit correspondences between maximal Arrow's single-peaked domains, MAT-labeled complete graphs, and regular vines, resolving an open problem in the economics literature concerning the combinatorial characterization of single-peaked domains. We further show, by a direct proof, that regular vines are equivalent to $(n,3)$-extremal lattices from formal concept analysis. Consequently, these extremal lattices also fit naturally into the same splitting and merging framework, providing another example from a different area that satisfies our axiomatic characterization.

In 1994, Orlik and Terao introduced a commutative Artinian analog S/I(A) of the Orlik-Solomon algebra of a hyperplane arrangement A to answer a question of Aomoto. A central topic of investigation in the study of Artinian algebras is the Weak Lefschetz Property (WLP). We analyze WLP for the Artinian Orlik-Terao algebra of graphc arrangements. Even for chordal graphs (which give rise to Koszul algebras) WLP sometimes fails; conversely an analysis of the state polytope shows WLP can hold even when WLP fails for all possible initial ideals. More generally, for any algebra with a tensor product decomposition, we construct canonical elements in the kernel of the multiplication map, refining previous results in the literature.

One of the central problems in the topology of hyperplane arrangements is determining whether the complement is a $K(π,1)$-space. In this paper, we study Manin--Schechtman arrangements, introduced as higher-dimensional analogs of the braid arrangement, and prove that their complements have non-vanishing higher homotopy groups. Consequently, these arrangements fail to be $K(π,1)$ in a broad range of cases.

Grothendieck weights, introduced by Shah, are $K$-theoretic analogues of Minkowski weights on smooth toric varieties. We study Grothendieck weights on the permutohedral fan and prove two main results: a $K$-balancing condition that characterizes Grothendieck weights by a finite system of linear equations, and an explicit product rule for the ring structure. We apply this framework to matroids, giving a combinatorial characterization of Grothendieck weights on matroidal fans. As the main application, we compute the motivic Chern class of the hyperplane arrangement complement in its wonderful compactification and show that the result depends only on the matroid, not on the realization. This allows us to extend the definition of the motivic Chern class to all loopless matroids.

We show that the space of sections of any line bundle on the augmented wonderful variety of a hyperplane arrangement has the structure of a coalgebra. These coalgebras correspond to the hyperplane arrangement power ideals of Ardila and Postnikov, which include zonotopal algebras as a special case. By proving cohomology vanishing results on augmented wonderful varieties, we recover many results about zonotopal algebras. We also interpret the "superspace" zonotopal algebras of Rhoades, Tewari, and Wilson in terms of the sections of vector bundles on the augmented wonderful variety, and we use this interpretation to prove a formula that they conjectured for the Hilbert series of the superspace version of the central zonotopal algebra.

We initiate the study of magnitude theory of real hyperplane arrangements. Magnitude is a cardinality-like invariant of metric spaces or enriched categories measuring the effective size. Its categorification, the magnitude homology, is a more powerful invariant. For a real hyperplane arrangement, or more generally, an oriented matroid, the tope graph encapsulates considerable amount of information. Since tope graphs are equipped with the shortest path metric, we feed them to the magnitude and magnitude homology machinery to derive new invariants of real hyperplane arrangements. We prove some structural results of the magnitude of arrangements, including reciprocity, palindromic numerator and denominator. For magnitude homology of arrangements, we give combinatorial descriptions in small length and prove that tope graphs are diagonal if and only if the arrangement is Boolean. We present a face decomposition of magnitude homology, using which we obtain a combinatorial formula of diagonal magnitude Betti numbers. Many open problems are posted for future study. In particular, we conjecture that magnitude and magnitude homology of arrangements are determined by the intersection lattice.

We study edge-isoperimetric inequalities in chamber graphs of affine hyperplane arrangements. Our approach is topological: to a set of chambers we associate its thickening in Euclidean space and estimate its edge boundary through the induced stratification by intersections of arrangement hyperplanes. This yields general lower bounds for a broad class of sets. We show that a convex set of chambers of size $\sum_{i=0}^d \binom{k}{i}$, with $k\ge d-1$, has edge boundary at least $\sum_{i=0}^{d-1}\binom{k}{i}$, and we conjecture that convex sets minimize the edge boundary among all chamber sets of a fixed size. We verify this conjecture in dimension $2$. Our main result is a three-dimensional asymptotic inequality for arbitrary subsets of chambers: for arrangements in general position, every set $S$ occupying at most a fixed proportion of the chambers satisfies $|\partial S|=Ω(|S|^{2/3})$. As a consequence, for an arrangement of $n$ hyperplanes in general position in $\mathbb R^3$, the lazy simple random walk on the chamber graph has $\varepsilon$-mixing time $O(n^2\log(n/\varepsilon))$.

We consider real hyperplane arrangements whose hyperplanes are of the form $\{x_i - x_j = s\}$ for some integer $s$, which we call deformations of the braid arrangement. In 2018, Bernardi gave a counting formula for the number of regions of any deformation of the braid arrangement $\mathcal{A}$ as a signed sum over some decorated trees. He further showed that each of these decorated trees can be associated to a region $R$ of the arrangement $\mathcal{A}$, and hence we can consider the contribution of each region to the signed sum. Bernardi also implicitly showed that for transitive arrangements, the contribution of any region of the arrangement is $1$. We remove the transitivity condition, showing that for any deformation of the braid arrangement the contribution of a region to the signed sum is $1$. This provides an alternative proof of the original counting formula, and sheds light on the geometry underlying the formula. We further use this new geometric understanding to better understand the contribution of a tree.

We study a new class of palindromic descent polynomials. Given a Dyck path $d$ of semilength $n$ and a permutation $σ$ of size $n$, one can label the up-steps and down-steps of $d$ with the elements of $σ$. The labeled Dyck path determines a multiset permutation called a canon (or nonnesting) permutation. Such permutations arise as linear extensions of posets and as regions of hyperplane arrangements. Elizalde showed that the descent polynomial for all canon permutations of fixed length factors as a product of an Eulerian and a Narayana polynomial. We refine these polynomials by associating to $d$ a descent polynomial $C_d$ over the canon permutations obtained from $d$. We prove that $C_d$ is palindromic and free of internal zeros, though not unimodal in general. Its degree is determined by the number of peaks in the bounce path of $d$. We establish a correspondence between canon permutations attaining the maximum number of descents and Dyck paths below $d$ in the Dyck lattice satisfying a valley condition. Each such path contributes a number of maximizers equal to the number of linear extensions of an associated poset, yielding a combinatorial interpretation of the leading coefficient of $C_d$.

Saito's criterion is a foundational result that algebraically characterizes free hyperplane arrangements via the determinant of a square matrix of logarithmic derivations. It is natural to ask whether this criterion can be generalized to the non-free setting. To address this, we formulate a general problem concerning the maximal minors of a $p \times \ell$ ($p \geq \ell$) derivation matrix and the algebraic relations among their associated coefficients. Focusing on strictly plus-one generated (SPOG) arrangements, we completely solve this minor-based recognition problem under the assumption that $\operatorname{pd} D(\mathcal{A}) \leq 1$. As a direct consequence, we obtain a purely algebraic, necessary and sufficient characterization of SPOG arrangements in dimension three. Ultimately, this framework provides a computable bridge to post-free arrangement theory.

Based on the notion of vectors and linear subspaces for a matroid, we develop a theory of flats and hyperplane arrangements for T-matroids, where T is a tract. This leads to several cryptomorphic descriptions of T-matroids: in terms of its lattice of T-flats, as a hyperplane arrangement over T, as point-line arrangements in projective space over T and as a quiver representation over T. We examplify these notions in the case of tropical linear spaces, a.k.a. valuated matroids.

Each complex hyperplane arrangement $\mathcal{A}$ gives rise to a Milnor fibration of its complement. Building on work of Zuber, we give a combinatorial sufficient condition for the Milnor fiber $F(\mathcal{A})$ to be non-$1$-formal, expressed in terms of the multinet structure on $\mathcal{A}$, and use it to produce an infinite family of monomial arrangements $\mathcal{A}(3k,3k,3)$ with non-formal Milnor fibers. We also review the relevant background on cohomology jump loci, formality, and the topology of Milnor fibers of arrangements.

We classify all modular compactifications of the universal Jacobian over $\overline{\mathcal{M}}_{g,n}$, both as stacks and as their relative good moduli spaces. Our main result gives a combinatorial parametrization of compactified universal Jacobian stacks by $V$-functions on a stability domain $\mathbb{D}_{g,n}$ of half-vine types (two-components topological types with a chosen side); under this correspondence, fine compactifications are exactly the general $V$-functions. We single out the classical compactified universal Jacobians, namely those induced by numerical polarizations (relative $\mathbb{R}$-line bundles on the universal curve $\overline{\mathcal{C}}_{g,n}/\overline{\mathcal{M}}_{g,n}$), recovering the constructions of Kass-Pagani and Melo in the fine case, and we prove that their good moduli spaces are locally projective over $\overline{\mathcal{M}}_{g,n}$. We determine when two compactified universal Jacobians are isomorphic over $\overline{\mathcal{M}}_{g,n}$ and describe a resolution of the universal family via a compactified Jacobian over $\overline{\mathcal{M}}_{g,n+1}$. Finally, we analyse the poset $Σ_{g,n}$ of compactified universal Jacobians, an extension of the poset of regions of the hyperplane arrangement of classical stability conditions $\mathcal{A}_{g,n}$ studied in Kass-Pagani. We prove that for $n=0$ all compactified universal Jacobians are those constructed by Caporaso. We then give an explicit description of the submaximal elements of $Σ_{g,n}$ for all $n$, generalizing the stability walls in the classical stability space $\mathcal{A}_{g,n}$ from Kass-Pagani's work.

We initiate the study of partial fraction decompositions (PFDs) in several variables using tools from commutative algebra. We give criteria for when a rational function with poles on a hyperplane arrangement has a desirable PFD. Our criteria are obtained by examining the primary decomposition of ideals coming from hyperplane arrangements. We then present an algorithm for finding a PFD that satisfies properties desired by physicists, and demonstrate the effectiveness of this algorithm for computing large examples coming from Feynman integrals.

We study the relative homology group of an affine hyperplane arrangement and its Poincaré dual, the cohomology at finite distance of the complement. We give an Orlik--Solomon-type description of the latter, and identify it with the vector space of logarithmic forms having vanishing residues at infinity. To this end, we introduce a partial version of wonderful compactifications, which could be relevant in other contexts where blow-ups only occur at infinity. Finally, we show that the cohomology at finite distance coincides with the vector space of canonical forms in the sense of positive geometry.

In the theory of error-correcting codes, the minimum weight and the weight enumerator play a crucial role in evaluating the error-correcting capacity. In this paper, by viewing the weight enumerator as a quasi-polynomial, we reduce the calculation of the minimum weight to that of a code over a smaller integer residue ring. We also give a transformation formula between the Tutte quasi-polynomial and the weight enumerator. Furthermore, we compute the number of maximum weight codewords for the codes related to the matroids $N_k$ and $Z_k$. This is equivalent to computing the characteristic quasi-polynomial of the hyperplane arrangements related to $N_k$ and $Z_k$.

The purpose of this thesis is to introduce two new kinds of hyperplane arrangements, inspired by the graphic arrangements and $q$-deformations of graphic arrangements. In this thesis, the author extends the definition of $q$-deformation to simplicial complexes, with the conjecture by Nian, Tsujie, Uchiumi and Yoshinaga. The author also investigates a special case called graphic monomial arrangement, including the characteristic polynomials and freeness with a further extension to fields with primitive roots.

We revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was mostly concerned with variations of ground fields/rings, over which the vertices of polytopes are defined, we consider more general collections of defining hyperplanes. No algebraic structures are imposed on these collections. This setting allows us to uncover a close relationship between scissors congruence problems on the one hand and finite hyperplane arrangements on the other hand: there are many parallel results in these fields, for which the parallelism seems to have gone unnoticed. In particular, certain properties of the Varchenko--Gelfand algebras for arrangements translate to properties of polytope rings or valuations. Studying these properties is possible in a general topological setting, that is, in the context of the so-called topological arrangements, where hyperplanes do not have to be straight and may even have nontrivial topology.