The Characteristic polynomials of semigeneric graphical arrangements

: The purpose of this paper is twofold. Firstly, we generalize the notion of semigeneric braid arrangement to semigeneric graphical arrangement. Secondly, we give a formula for the characteristic polynomial of the semigeneric graphical arrangement S G : = { x i − x j = a i : i j ∈ E ( G ) , 1 ≤ i < j ≤ n } , where a i ’s are generic. The formula is obtained by characterizing central subarrangements of S G via the corresponding graph G .


Introduction
The study of a hyperplane arrangement typically goes along with the study of its characteristic polynomial as the polynomial carries combinatorial and topological information of the arrangement (e.g., [10,16,17]). Terao's factorization theorem shows that if an arrangement is free, then its characteristic polynomial factors into the product of linear polynomials over the integer ring. Many attempts have been made in order to compute and to make a broader understanding the characteristic polynomials (e.g., [1,2,6,7,9,12,13,15,23,24]). It is well-known that the characteristic polynomial of any hyperplane arrangement gets generalized to the Tutte polynomial [22]. More recently, the generalizations of the polynomials, the arithmetic Tutte polynomial, the characteristic quasipolynomial and the chromatic quasi-polynomials were introduced (e.g., [12,14,15,21]).
The braid arrangement (or type A Coxeter arrangement) is the hyperplane arrangement in R n defined by A n−1 := x i − x j = 0 : 1 ≤ i < j ≤ n .
Deformations of the braid arrangement are often studied in the literature, among these deformations are the Linial arrangement, Shi arrangement, Catalan arrangement, semiorder arrangement, generic braid arrangement, and semigeneric braid arrangement, etc, see [3-5, 8, 11, 19, 20, 23] for a discussion of the combinatorics and freeness of these arrangements. The semigeneric braid arrangement is the hyperplane arrangement in R n defined by where a i 's are generic. Stanley asked to find the characteristic polynomial of this arrangement. In this paper, we give a formula for the characteristic polynomials of the semigeneric braid arrangement and its subarrangements, which we call the semigeneric graphical arrangements.
The remainder of the paper is organized as follows. In Section 2, we recall definitions and basic facts of arrangements. In Section 3, we prove our main results which provide the characterizations of a central semigeneric graphical arrangement, and induce a formula for the characteristic polynomial of a semigeneric graphical arrangement. In Section 4, we show some applications of our main results.

Preliminaries
We first review some basic concepts and preliminary results on arrangements. Our standard reference is [17,18]. Let K be a field, n be a positive integer and V = K n be the n-dimensional vector space over K. A hyperplane in V is a affine subspace of codimension one of V. An arrangement A is a finite set of hyperplanes in V. An intersection lattice L(A) of A is defined by with an order by reverse inclusion X ≤ Y ⇔ Y ⊆ X for X, Y ∈ L(A). The characteristic polynomial where µ denotes the Möbius function µ : L(A) → Z defined recursively by Let G be a simple graph with vertex set V(G) = [n] = {1, . . . , n} and edge set E(G). The graphical arrangement A G in K n is defined by A simple graph is chordal if it does not contain an induced cycle of length greater than three, or C n -free for all n > 3 in shorthand notation. The freeness of graphical arrangements is completely characterized by chordality. If G = K n , the complete graph on [n], then A G = A n−1 .
A natural deformation of the graphical arrangement turns up if we use generic elements a i 's to replace 0's in the equations of hyperplanes. Stanley explained the meaning of generic elements in [18] as follows.
Let A be an arrangement in an n-dimensional vector space V and L 1 (x), . . . , L m (x) be linear forms, not necessarily distinct, in the variables x = (x 1 , . . . , x n ) over the field K. Let A be defined by L 1 (x) = a 1 , . . . , L m (x) = a m , where a 1 , . . . , a m are generic elements of K. This means if Definition 2.1. Let G be a simple graph with vertex set V(G) = [n] and edge set E(G). The semigeneric graphical arrangement in R n is defined by where a i 's are generic. S G is simply a subarrangement of the semigeneric braid arrangement S n . In particular, if G = K n , then S G = S n .
According to the definitions of generic elements and S G , the genericity of a i 's can be sure when they take any numbers in R. We do not emphasize that a i 's are generic in later section.
Clearer comprehending can be achieved by a simple example.
Example 2.2. Figure 1 shows a simple graph G, a subgraph of K 6 , the semigeneric graphical arrangement S G consists of the following hyperplanes:

Main results
There are a few powerful methods for computing the characteristic polynomials of hyperplane arrangements. In [7], Athanasiadis showed that simply by computing the number of points missing the hyperplanes (over finite fields) and by using the Möbius formula, the characteristic polynomials of many hyperplane arrangements can be computed. Our method is closer in spirit to [18] in which Stanley gives an interpretation of linearly independent subarrangement B of the generic braid arrangement in terms of the graph G B . We will provide a necessary and sufficient condition for a central semigeneric graphical arrangement S G from the point of graph G (i.e., Theorem 3.4).
Lemma 3.1. The semigeneric graphical arrangement S G is central (i.e. ∩ H∈S G H ∅) if the graph G is an acyclic graph.
Proof. S G is central if the intersection of all the hyperplanes contains at least one point (x 1 , . . . , x n ). We can find such an assignment (x 1 , . . . , x n ) satisfying x i − x j = a i (i j ∈ E(G)). That can be done by just picking one from x i 's at a time since the graph G is acyclic and a i 's are generic.
Owing to Lemma 3.1, we consider the centrality of S G where G is a cycle. Proof

The arrangement S G is central if and only if
In the theorem below, we will characterize the central semigeneric graphical arrangement S G in terms of G. (1) G is an acyclic graph; (2) the semigeneric graphical arrangements of all cycles in G are central.
Proof. Suppose C 1 , . . . , C p are p connected components of G which are not the isolated vertices. If all the subarrangements corresponding to C 1 , . . . , C p are central, then S G is central. Therefore, it suffices to prove S C is central, where C is a connected component of G containing cycles.
Let M(S C ) and M(S C ) be the coefficient matrix and the augmented matrix of the linear system of the hyperplane equations of S C , respectively, that is, Since α u 1 , . . . , α u s−1 form a basis of span(α 1 , . . . , α t ) and the semigeneric graphical arrangements of all cycles in G are central, according to Lemma 3.2, M(S C ) can be changed as follows by performing the same series of elementary row operations : So rank(M(S C )) = rank(M(S C )) = s − 1, i.e., S C is central. We complete the proof.
For the characteristic polynomial of an arrangement A in n-dimensional vector space, we adopt Whitney's theorem [18] which gives a basic formula, Combining Whitney's theorem and Theorem 3.4, we will give a formula for the characteristic polynomial of the semigeneric graphical arrangement S G .

Applications
In this section, we will give some applications of Theorem 3.4 and Corollary 3.5.
where a 1 , a 2 , a 3 are generic elements. Table 1 illustrates all types of characteristic polynomials for S 4 , which depend on the values of a 2 , a 3 , a 2 + a 3 , a 2 − a 3 . The symbol "T" in Table 1 indicates that the condition is met, and "F" indicates that the condition is not met.
For the semigeneric graphical arrangement S G of Example 2.2, we take a 1 = 1, a 2 = 3, a 3 = 0, a 4 = 2. Compute the characteristic polynomial χ S G (t). According to Theorem 3.4, we need to figure out the central subarrangements of cycles in G, which depend on the values of the generic elements a i 's. In Figure 2, it is not difficult to see the semigeneric graphical arrangements corresponding to cycles (a)-(c) are central, the others are non-central.   For all the subgraphs D in Figure 3, we will list the number of connected components p(D), the number of edges |E(D)|, and the number of distinct labelings of D in Table 2. Hence, from Corollary 3.5, we get χ S G (t) =t 6 − 9t 5 + (36 − 2)t 4 − (80 − 13 + 1)t 3 + (99 − 30 + 4)t 2 − (55 − 24 + 4)t =t 6 − 9t 5 + 34t 4 − 68t 3 + 73t 2 − 35t.

Conclusions
In this paper, we study the characteristic polynomial of the semigeneric graphical arrangement S G , which is a deformation of the graphical arrangement. The formula of the characteristic polynomial is obtained by characterizing central subarrangements of S G via the corresponding graph G. The semigeneric graphical arrangement S G is a subarrangement of the semigeneric braid arrangement (or type A semigeneric arrangement). It would be interesting to develop a new method for computing the characteristic polynomials of others types (e.g., type B and type D) of semigeneric arrangements in the future.