arXiv++ Combinatorics

A characteristic polynomial is an important invariant in the field of hyperplane arrangement. For the Linial arrangement of any irreducible root system, Postnikov and Stanley conjectured that all roots of the characteristic polynomial have the same real part. In relation to this conjecture, Yoshinaga obtained an explicit relationship between the characteristic quasi-polynomial and the Ehrhart quasi-polynomial for the fundamental alcove. In this paper, we calculate Yoshinaga's explicit formula through the decomposition of the Ehrhart quasi-polynomial into several quasi-polynomials and a modified shift operator, and obtain new formulas for the characteristic quasi-polynomial of the Linial arrangement. In particular, when the parameter of the Linial arrangement is relatively prime to the period of the Ehrhart quasi-polynomial, we prove the Postnikov-Stanley Linial arrangement conjecture. This generalizes some of the results for the root systems of classical types that have been proved by Postnikov-Stanley and Athanasiadis. For other cases, we verify this conjecture for exceptional root systems using a computational approach.

In this article we prove two main results. Firstly, we show that any six-line arrangement, consisting of three pairs of mutually perpendicular lines, does not give rise to a "very generic or sufficiently general" discriminantal arrangement in the sense of C. A. Athanasiadis \cite{MR1720104}. We give two proofs of the first result. The second result is as follows. The codimension-one boundary faces of (a region) a convex cone of a very generic discriminantal arrangement has not been characterized and is not known even though the intersection lattice of a very generic discriminantal arrangement is known. So secondly, we show that the number of simplex cells of the very generic hyperplane arrangement $\mathcal{H}^m_n=\{H_i:\underset{j=1}{\overset{m}{\sum}}a_{ij}x_j=c_i,1\leq i\leq n\}$ may not be not precisely equal to the number of codimension-one boundary hyperplanes of $\mathbb{R}^n$ of the convex cone $C$ containing $(c_1,c_2,\ldots,c_n)$ in the associated very generic discriminantal arrangement. That is, for $1\leq i_1<i_2<\ldots<i_m<i_{m+1}\leq n$, if $Δ^m H_{i_1}H_{i_2}\ldots H_{i_m}H_{i_{m+1}}$ is a simplex cell of the hyperplane arrangement $\mathcal{H}^m_n$ then it need not give rise to a codimension-one boundary hyperplane of the convex cone $C$ containing $(c_1,c_2,\ldots,c_n)$ in the associated very generic discriminantal arrangement. We finally mention an interesting open-ended remark before the appendix section. In the appendix section we give a self contained exposition and describe combinatorially the intersection lattice of a (Zariski open and dense) class of "very generic or sufficiently general" discriminantal arrangements. As a consequence, we give a geometric description of the lattice elements as sets of concurrencies of the hyperplane arrangements which give the same "very generic or sufficiently general" discriminantal arrangement.

It is a classical result that any permutation in the symmetric group can be generated by a sequence of adjacent transpositions. The sequences of minimal length are called reduced words, and in this paper we study the graphs of these reduced words, with edges determined by relations in the underlying Coxeter group. Recently, the diameter has been calculated for the longest permutation $n\ldots 21$ by Reiner and Roichman as well as Assaf. In this paper we find inductive formulas for the diameter of the graphs of 12-inflations and many 21-inflations. These results extend to the associated graphs on commutation and long braid classes. Also, these results give a recursive formula for the diameter of the longest permutation, which matches that of Reiner, Roichman and Assaf. Lastly, We make progress on conjectured bounds of the diameter by Reiner and Roichman, which are based on the underlying hyperplane arrangement, and find families of permutations that achieve the upper bound and lower bound of the conjecture. In particular permutations that avoid 312 or 231 have graphs that achieve the upper bound.

Any totally positive $(k+m)\times n$ matrix induces a map $π_+$ from the positive Grassmannian ${\rm Gr}_+(k,n)$ to the Grassmannian ${\rm Gr}(k,k+m)$, whose image is the amplituhedron $\mathcal{A}_{n,k,m}$ and is endowed with a top-degree form called the canonical form ${\bfΩ}(\mathcal{A}_{n,k,m})$. This construction was introduced by Arkani-Hamed and Trnka, where they showed that ${\bfΩ}(\mathcal{A}_{n,k,4})$ encodes scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills theory. Moreover, the computation of ${\bfΩ}(\mathcal{A}_{n,k,m})$ is reduced to finding the triangulations of $\mathcal{A}_{n,k,m}$. However, while triangulations of polytopes are fully captured by their secondary polytopes, the study of triangulations of objects beyond polytopes is still underdeveloped. We initiate the geometric study of subdivisions of $\mathcal{A}_{n,k,m}$ and provide a concrete birational parametrization of fibers of $π: {\rm Gr}(k,n)\dashrightarrow {\rm Gr}(k,k+m)$. We then use this to explicitly describe a rational top-degree form $ω_{n,k,m}$ (with simple poles) on the fibers and compute ${\bfΩ}(\mathcal{A}_{n,k,m})$ as a summation of certain residues of $ω_{n,k,m}$. As main application of our approach, we develop a well-structured notion of secondary amplituhedra for conjugate to polytopes, i.e. when $n-k-1=m$ (even). We show that, in this case, each fiber of $π$ is parametrized by a projective space and its volume form $ω_{n,k,m}$ has only poles on a hyperplane arrangement. Using such linear structures, for amplituhedra which are cyclic polytopes or conjugate to polytopes, we show that the Jeffrey-Kirwan residue computes ${\bfΩ}(\mathcal{A}_{n,k,m})$ from $ω_{n,k,m}$. Finally, we propose a more general framework of fiber positive geometries and analyze new families of examples such as fiber polytopes and Grassmann polytopes.

A catalogue of simplicial hyperplane arrangements was first given by Grünbaum in 1971. These arrangements naturally generalize finite Coxeter arrangements and the weak order through the poset of regions. For simplicial arrangements, posets of regions are in fact lattices. We update Grünbaum's catalogue, providing normals and invariants for all known sporadic simplicial arrangements with up to 37 lines. The weak order is known to be congruence normal, and congruence normality for simplicial arrangements can be determined using polyhedral cones called shards. In this article, we provide additional structure to the catalogue of simplicial hyperplane arrangements by determining which arrangements always/sometimes/never lead to congruence normal lattices of regions. To this end, we use oriented matroids to recast shards as covectors to determine congruence normality of large hyperplane arrangements. As a consequence of this approach we derive in particular which lattices of regions of sporadic simplicial arrangements of rank 3 are always congruence normal. We also show that lattices of regions from finite Weyl groupoids of any rank are congruence normal.

The polytope subalgebra of deformations of a zonotope can be endowed with the structure of a module over the Tits algebra of the corresponding hyperplane arrangement. We explore this construction and find relations between statistics on (signed) permutations and the module structure in the case of (type B) generalized permutahedra. In type B, the module structure surprisingly reveals that any family of generators (via signed Minkowski sums) for generalized permutahedra of type B will contain at least $2^{d-1}$ full-dimensional polytopes. We find a generating family of simplices attaining this minimum. Finally, we prove that the relations defining the polytope algebra are compatible with the Hopf monoid structure of generalized permutahedra.

We establish a general theory for projective dimensions of the logarithmic derivation modules of hyperplane arrangements. That includes the addition-deletion and restriction theorem, Yoshinaga-type result, and the division theorem for projective dimensions of hyperplane arrangements. They are generalizations of the free arrangement cases, that can be regarded as the special case of our result when the projective dimension is zero. The keys to prove them are several new methods to determine the surjectivity of the Euler and the Ziegler restriction maps, that is combinatorial when the projective dimension is not maximal for all localizations. Also, we introduce a new class of arrangements in which the projective dimension is comibinatorially determined.

We establish the relationship between the cohomology of a certain sheaf on the intersection lattice of a hyperplane arrangement introduced by Yuzvinsky and the cohomology of the coherent sheaf on punctured affine space, respectively projective space associated to the module of logarithmic vector fields along the arrangement. Our main result gives a Künneth formula connecting the cohomology theories, answering a question by Yoshinaga. This, in turn, provides a characterization of the projective dimension of the module of logarithmic vector fields and yields a new proof of Yuzvinsky's freeness criterion. Furthermore, our approach affords a new formulation of Terao's freeness conjecture and a more general problem.

The resonance arrangement $\mathcal{A}_n$ is the arrangement of hyperplanes which has all non-zero $0/1$-vectors in $\mathbb{R}^n$ as normal vectors. It is the adjoint of the Braid arrangement and is also called the all-subsets arrangement. The first result of this article shows that any rational hyperplane arrangement is the minor of some large enough resonance arrangement. Its chambers appear as regions of polynomiality in algebraic geometry, as generalized retarded functions in mathematical physics and as maximal unbalanced families that have applications in economics. One way to compute the number of chambers of any real arrangement is through the coefficients of its characteristic polynomial which are called Betti numbers. We show that the Betti numbers of the resonance arrangement are determined by a fixed combination of Stirling numbers of the second kind. Lastly, we develop exact formulas for the first two non-trivial Betti numbers of the resonance arrangement.

Let F:R^n -> R be a feedforward ReLU neural network. It is well-known that for any choice of parameters, F is continuous and piecewise (affine) linear. We lay some foundations for a systematic investigation of how the architecture of F impacts the geometry and topology of its possible decision regions for binary classification tasks. Following the classical progression for smooth functions in differential topology, we first define the notion of a generic, transversal ReLU neural network and show that almost all ReLU networks are generic and transversal. We then define a partially-oriented linear 1-complex in the domain of F and identify properties of this complex that yield an obstruction to the existence of bounded connected components of a decision region. We use this obstruction to prove that a decision region of a generic, transversal ReLU network F: R^n -> R with a single hidden layer of dimension (n + 1) can have no more than one bounded connected component.

Consider a finite collection of affine hyperplanes in $\mathbb R^d$. The hyperplanes dissect $\mathbb R^d$ into finitely many polyhedral chambers. For a point $x\in \mathbb R^d$ and a chamber $P$ the metric projection of $x$ onto $P$ is the unique point $y\in P$ minimizing the Euclidean distance to $x$. The metric projection is contained in the relative interior of a uniquely defined face of $P$ whose dimension is denoted by $\text{dim}(x,P)$. We prove that for every given $k\in \{0,\ldots, d\}$, the number of chambers $P$ for which $\text{dim}(x,P) = k$ does not depend on the choice of $x$, with an exception of some Lebesgue null set. Moreover, this number is equal to the absolute value of the $k$-th coefficient of the characteristic polynomial of the hyperplane arrangement. In a special case of reflection arrangements, this proves a conjecture of Drton and Klivans [A geometric interpretation of the characteristic polynomial of reflection arrangements, Proc. Amer. Math. Soc., 138(8): 2873-2887, 2010].

In 1986, Shi derived the famous formula $(n+1)^{n-1}$ for the number of regions of the Shi arrangement, a hyperplane arrangement in $\mathbb{R}^n$. There are at least two different bijective explanations of this formula, one by Pak and Stanley, another by Athanasiadis and Linusson. In 1996, Athanasiadis used the finite field method to derive a formula for the number of $k$-dimensional faces of the Shi arrangement for any $k$. Until now, the formula of Athanasiadis did not have a bijective explanation. In this paper, we extend a bijection for regions defined by Bernardi to obtain a bijection between the $k$-dimensional faces of the Shi arrangement for any $k$ and a set of decorated binary trees. Furthermore, we show how these trees can be converted to a simple set of functions of the form $f: [n-1] \to [n+1]$ together with a marked subset of $\text{Im}(f)$. This correspondence gives the first bijective proof of the formula of Athanasiadis. In the process, we also obtain a bijection and counting formula for the faces of the Catalan arrangement. All of our results generalize to both extended arrangements.

The architecture of a neural network constrains the potential dynamics that can emerge. Some architectures may only allow for a single dynamic regime, while others display a great deal of flexibility with qualitatively different dynamics that can be reached by modulating connection strengths. In this work, we develop novel mathematical techniques to study the dynamic constraints imposed by different network architectures in the context of competitive threshold-linear networks (TLNs). Any given TLN is naturally characterized by a hyperplane arrangement in $\mathbb{R}^n$, and the combinatorial properties of this arrangement determine the pattern of fixed points of the dynamics. This observation enables us to recast the question of network flexibility in the language of oriented matroids, allowing us to employ tools and results from this theory in order to characterize the different dynamic regimes a given architecture can support. In particular, fixed points of a TLN correspond to cocircuits of an associated oriented matroid; and mutations of the matroid correspond to bifurcations in the collection of fixed points. As an application, we provide a complete characterization of all possible sets of fixed points that can arise in networks through size $n=3$, together with descriptions of how to modulate synaptic strengths of the network in order to access the different dynamic regimes. These results provide a framework for studying the possible computational roles of various motifs observed in real neural networks.

The stratum $\mathcal{H}(a,-b_{1},\dots,-b_{p})$ of meromorphic $1$-forms with a zero of order $a$ and poles of orders $b_{1},\dots,b_{p}$ on the Riemann sphere has a map, the isoresidual fibration, defined by assigning to any differential its residues at the poles. We show that above the complement of a hyperplane arrangement, the resonance arrangement, the isoresidual fibration is an unramified cover of degree $\frac{a!}{(a+2-p)!}$. Moreover, the monodromy of the fibration is computed for strata with at most three poles and a system of generators and relations is given for all strata. These results are obtained by associating to special differentials of the strata a tree, and by studying the relationship between the geometric properties of the differentials and the combinatorial properties of these trees.

This article computes the Varchenko determinant of dehyperplane arrangements which are generalizations of pseudohyperplane arrangements. But unlike those latter, they are defined on a real manifold, and it is not always possible to obtain a central dehyperplane arrangement by coning. This article also studies the solution space of a linear system defined from a dehyperplane arrangement. That equation system was first introduced by Aguiar and Mahajan for central hyperplane arrangements.

Oriented matroids (often called order types) are combinatorial structures that generalize point configurations, vector configurations, hyperplane arrangements, polyhedra, linear programs, and directed graphs. Oriented matroids have played a key role in combinatorics, computational geometry, and optimization. This paper surveys prior work and presents an update on the search for bounds on the diameter of the cocircuit graph of an oriented matroid. We review the diameter problem and show the diameter bounds of general oriented matroids reduce to those of uniform oriented matroids. We give the latest exact bounds for oriented matroids of low rank and low corank, and for all oriented matroids with up to nine elements (this part required a large computer-based proof). The motivation for our investigations is the complexity of the simplex method and the criss-cross method. For arbitrary oriented matroids, we present an improvement to a quadratic bound of Finschi. Our discussion highlights two very important conjectures related to the polynomial Hirsch conjecture for polytope diameters.

For each permutation $w$, we can construct a collection of hyperplanes $\mathcal{A}_w$ according to the inversions of $w$, which is called the inversion hyperplane arrangement associated to $w$. It was conjectured by Postnikov and confirmed by Hultman, Linusson, Shareshian and Sjöstrand that the number of regions of $\mathcal{A}_w$ is less than or equal to the number of permutations below $w$ in the Bruhat order, with the equality holds if and only if $w$ avoids the four patterns 4231, 35142, 42513 and 351624. In this paper, we show that the number of regions of $\mathcal{A}_w$ is greater than or equal to the number of permutations below $w$ in the weak Bruhat order, with the equality holds if and only if $w$ avoids the patterns 231 and 312.

Shi tableaux are special binary fillings of certain Young diagrams which arise in the study of Shi hyperplane arrangements related to classical root systems. For type $A$, the set $\mathcal T$ of Shi tableaux naturally coincides with the set of Dyck paths, for which various notions of patterns have been introduced and studied over the years. In this paper we define a notion of pattern occurrence on $\mathcal T$ which, although it can be regarded as a pattern on Dyck paths, it is motivated by the underlying geometric structure of the tableaux. Our main goal in this work is to study the poset of Shi tableaux defined by pattern-containment. More precisely, we determine explicit formulas for upper and lower covers for each $T\in\mathcal T$, we consider pattern avoidance for the smallest non-trivial tableaux (size 2) and generalize these results to certain tableau of larger size. We conclude with open problems and possible future directions.

A recent theorem of Hyde proves that the factorizations statistics of a random polynomial over a finite field are governed by the action of the symmetric group on the configuration space of $n$ distinct ordered points in $\mathbb R^3$. Hyde asked whether this result could be explained geometrically. We give a geometric proof of Hyde's theorem as an instance of the Grothendieck--Lefschetz trace formula applied to an interesting, highly nonseparated algebraic space. An advantage of our method is that it generalizes uniformly to an arbitrary Weyl group. In the process we study certain non-Hausdorff models for complements of hyperplane arrangements, first introduced by Proudfoot.

In this article we prove in the main theorem that, there is a bijection between the isomorphism classes of a certain type of real hyperplane arrangements on the one hand, and the antipodal pairs of convex cones of an associated discriminantal arrangement on the other hand. The type of hyperplane arrangements considered and the isomorphism classes have been defined precisely. As a consequence we enumerate such isomorphism classes by computing the characteristic polynomial of the discriminantal arrangement. With a certain restriction, the enumerated value is shown to be independent of the discriminantal arrangement. Later we observe that the restriction we impose on the type of hyperplane arrangements is a mild one and that this conditional restriction is quite generic. Moreover the restriction is defined in terms of a normal system being concurrency free which is a generic condition. We also discuss two examples of normal systems which are not concurrency free in the last section and enumerate the number of isomorphism classes.