Title:Regions of Level $l$ of Exponential Sequence of Arrangements

Abstract:This paper primary investigates a specific type of deformation of the braid arrangement $\mathcal{B}_n$ in $\mathbb{R}^n$, which is the set $\mathcal{B}_n^A$ of the following hyperplanes: \[ x_i-x_j=a_1,\ldots,a_m, \quad 1\le i<j\le n, \] where $A=\{a_1,\ldots,a_m\}$ consists of distinct real numbers. We denote the exponential generating function by $R_l(A;t):=\sum_{n\ge 0}r_l(\mathcal{B}_n^A)\frac{t^n}{n!}$, where $r_l(\mathcal{B}_n^A)$ represents the number of regions of level $l$ in $\mathcal{B}_n^A$. Using the weighted digraph model introduced by Hetyei, we establish a bijection between the regions of level $l$ in $\mathcal{B}_n^A$ and the valid $m$-acyclic weighted digraphs on the vertex set $[n]$ with exactly $l$ strong components. This result refines Hetyei's bijection from the regions of $\mathcal{B}_n^A$ to the valid $m$-acyclic weighted digraphs on $[n]$. Based on the bijection, we further demonstrate that the sequence $\big(r_l(\mathcal{B}_n^A)\big)_{n\ge 0}$ exhibits a property analogous to that of a polynomial sequence of binomial type, that is, $R_l(A;t)$ satisfies the relation \[ R_l(A;t)=\big(R_1(A;t)\big)^l=R_k(A;t)R_{l-k}(A;t). \] For any non-negative integers $n\ge 2$, $a$ and $b$ with $b-a\ge 2$ and $b-a\ge n-1$, we also show that the characteristic polynomial $\chi_{\mathcal{B}_n^{[-a,b]}}(t)$ has a unique real root at $0$ if $n$ is odd as well as two simple real roots $0$ and $\frac{n(a+b+1)}{2}$ if $n$ is even.