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

Abstract:This paper primarily 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 define an exponential generating function as $R_l(A;x):=\sum_{n\ge 0}r_l(\mathcal{B}_n^A)\frac{x^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 \cite{Hetyei2024}, we establish a bijection between regions of level $l$ in $\mathcal{B}_n^A$ and valid $m$-acyclic weighted digraphs on the vertex set $[n]$ with exactly $l$ strong components. Based on the bijection, we demonstrate that the sequence $\big(r_l(\mathcal{B}_n^A)\big)_{n\ge 0}$ possesses a property analogous to that of a polynomial sequence of binomial type, that is, $R_l(A;x)$ satisfies the relation \[ R_l(A;x)=\big(R_1(A;x)\big)^l=R_k(A;x)R_{l-k}(A;x). \] Furthermore, we obtain a convolution formula for the characteristic polynomial $\chi_{\mathcal{B}_n^A}(t)$ in terms of $r_l(\mathcal{B}_n^A)$, stated as follows: \[\chi_{\mathcal{B}_n^A}(t)=\sum_{l=0}^n(-1)^{n-l}r_l(\mathcal{B}_n^A)\binom{t}{l}.\] For any non-negative integers $n\ge 2$, $a$ and $b$ with $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.