Acyclic Orientations and Poly-Bernoulli Numbers
Total Page:16
File Type:pdf, Size:1020Kb
Acyclic orientations and poly-Bernoulli numbers P. J. Cameron C. A. Glass University of St Andrews City University London R. U. Schumacher∗ City University London Abstract In 1997, Masanobu Kaneko defined poly-Bernoulli numbers, which bear much the same relation to polylogarithms as Berunoulli numbers do to logarithms. In 2008, Chet Brewbaker described a counting prob- lem whose solution can be identified with the poly-Bernoulli numbers with negative index, the lonesum matrices. The main aim of this paper is to give formulae for the number of acyclic orientations of a complete bipartite graph, or of a complete bipartite graph with one edge added or removed. K Our formula shows that the number of acyclic orientations of n1,n2 (−n2) is equal to the poly-Bernoulli number Bn1 . We also give a simple bijective identification of acyclic orientations and lonesum matrices. We make some remarks on the context of our result, which are arXiv:1412.3685v2 [math.CO] 21 May 2018 expanded in another paper. 1 Introduction We begin by giving a few definitions we will use throughout. An acyclic orientation of an undirected graph G is an assignment of direction to each edge in such a way that we obtain no directed cycles, thus obtaining an ∗EPSRC Grant EP/P504872/1 1 acyclic directed graph. Let a(G) be the number of acyclic orientations of a graph G. There is always at least one acyclic orientation of G obtained by ordering the vertices of G and orienting edges from smaller to larger vertex index. Next we define Kn1,n2 to be the complete bipartite graph on n1 + n2 vertices to be the graph whose vertices are partitioned into sets of sizes n1 and n2, having all possible edges between these two sets and none within them. We denote by S(n, k) the Stirling number of the second kind which counts the number of ways to partition a set of n objects into k non-empty subsets. 2 The number of acyclic orientations of cer- tain graphs Our main results are given in the next three theorems. Theorem 2.1 The number of acyclic orientations of the complete bipartite graph Kn1,n2 is min{n1+1,n2+1} 2 (k − 1)! S(n1 +1,k)S(n2 +1,k), kX=1 where S denotes Stirling numbers of the second kind. Theorem 2.2 Let G be the graph obtained from Kn1,n2 by adding an edge e1 joining two vertices in the bipartite block of size n1, where n1 > 1. Then a(G)= a(Kn1,n2 + e1)= a(Kn1,n2 )+ a(Kn1−1,n2 ). Theorem 2.3 Let G be the graph obtained by deleting an edge from Kn1,n2 . Then 1 a(G)= a(K 1 2 − e)= a(K 1 2 ) − X, n ,n n ,n 2 where min{n1,n2}+1 2 X =1+ ((k − 2)!) [(2k − 3)S(n1 +1,k)S(n2 +1,k) kX=2 −(k − 2)(S(n1 +1,k)S(n2,k)+ S(n1,k)S(n2 +1,k)) −S(n1,k)S(n2,k)]. We will prove these three theorems in the next three subsections. 2 2.1 Proof of Theorem 2.1 Let A and B be the two bipartite blocks; we will imagine their vertices as coloured amber and blue respectively. Now any acyclic orientation of the graph can be obtained by ordering the vertices and making the edges point from smaller to greater. If we do this, we will have alternating amber and blue intervals; the ordering within each interval is irrelevant in identifying the orientation, but the ordering of the intervals themselves matters. In terms of structure for a given orientation, call two points a1, a2 ∈ A equivalent if the orientations of {a1, b} and {a2, b} are the same for all b ∈ B. Points of A are equivalent if and only if they are not separated by a point of B in any ordering giving rise to the acyclic orientation. Similarly for B. This gives us the intervals, which are interleaved. It is left to count alternating intervals. To get around the problem that the first interval in the ordering might be in either A or B, and similarly for the last interval, we use the following trick. Add a dummy amber vertex a0 to A and a dummy blue vertex b0 to B. Now partition A ∪{a0} and B ∪{b0} into the same number, say k, of intervals. This can be done in S(n1 +1,k)S(n2 +1,k) ways. Now we order the intervals so that • the interval containing a0 is first; • the colours of the intervals alternate; • the interval containing b0 is last. This can be done in (k − 1)!2 ways. Finally, delete the dummy points. Summing over k gives the total number claimed. 2.2 Proof of Theorem 2.2 Let G be the graph consisting of Kn1,n2 (with bipartite blocks A and B) together with an edge e joining two vertices in A. According to the deletion-contraction formula [5, p.172], a(G)= a(G − e)+ a(G/e)= a(Kn1,n2 )+ a(Kn1−1,n2 ), as required. 3 2.3 Proof of Theorem 2.3 Deleting an edge is a little more difficult. Suppose that we calculate the number X of acyclic orientations of Kn1,n2 which remain acyclic when a given edge e = {a, b} is flipped. (This number clearly does not depend on the chosen edge.) Then the number of acyclic orientations of G = Kn1,n2 − e 1 1 is a(Kn1,n2 )− 2 X. For if we call this number Y , then 2 X of the acyclic orien- tations of G extend to two acyclic orientations of Kn1,n2 , while the remaining 1 1 Y − 2 X extend to a unique acyclic orientation; so a(Kn1,n2 )= X +(Y − 2 X), giving the result. It thus remains to verify the formula for X given in the statement of the theorem. We follow the construction in the proof of Theorem 2.1. The edge e can be flipped in an orientation if and only if the part of the partition of B containing b immediately precedes or follows the part of the partition of A containing a, in the corresponding vertex ordering. (If a part of B, containing a vertex b′ say, and a part of A, containing a vertex a′, intervene, then we have arcs (a, b′), (b′, a′) and (a′, b), so the arc (a, b) is forced. Similarly in the other case.) If k = 1, then all edges are directed from A to B, and(a, b) can be flipped. So this contributes 1 to the sum. Suppose that k> 2. We distinguish four cases, according as a0 and a are or are not in the same part, and similarly for b0 and b. Of the S(n1 +1,k) partitions of A ∪{a0}, S(n1,k) have a0 and a in the same part: this is found by regarding a0 and a as the same element, partitioning the resulting set of size n1, and then separating them again. Case 1 a0 and a in the same part, b0 and b, in the same part. Since k > 1, the parts containing a0 and b0, and hence the parts containing a and b, are not consecutive, so the contribution from this case is 0. Case 2 a0 and a in the same part, b0 and b not. There are S(n1,k)(S(n2+ 1,k) − S(n2,k)) pairs of partitions with this property. Now the part contain- ing b must come immediately after the part containing a, so there are only (k − 2)! orderings of the parts of B, while still (k − 1)! for the parts of A. Case 3 b0 and b in the same part, a0 and a not. This case is the same as Case 2, with n1 and n2 interchanged. 4 Case 4 a0 and a in different parts, b0 and b in different parts. There are (S(n1 + 1,k) − S(n1,k))(S(n2 + 1,k) − S(n2,k)) such pairs of parti- tions. Now the parts containing a and b must be adjacent, so must occur as (3, 2), (3, 4), (5, 4),..., or (2k − 1, 2k − 2) in the ordering of parts: there are (2k − 3) possibilities. Once one possibility has been chosen, the position of two parts for both A and B are fixed, so there are ((k − 2)!)2 possible orderings. Combining all of the above terms and rearranging, gives the value of X, completing the proof. 2.4 Some numerical values It is instructive to view the numerical values of the number of acyclic orien- tations of bipartite graphs Kn1,n2 . When n1 = 1, the graph is a tree, and n we have a(K1,n)=2 . For n1 between 2 and 7 Table 1 gives the number of acyclic orientations of the complete bipartite graphs and Tables 2 and 3 those graphs with an edge added or removed, calculated from the formulae in Theorems 2.1, 2.2 and 2.3. In Table 2 for Kn1,n2 + e1, the added edge e1 is in the bipartite block of size n1. All of these values have been checked by calculating the chromatic polynomial of the graph. (A theorem of Stan- ley [5] asserts that the number of acyclic orientations of an n-vertex graph n G is (−1) PG(−1), where PG is the chromatic polynomial of G.) n1 \ n2 2 3 4 5 6 7 2 14 46 146 454 1394 4246 3 230 1066 4718 20266 85310 4 6902 41506 237686 1315666 5 329462 2441314 17234438 6 22934774 22934774 7 2193664790 Table 1: The number of acyclic orientations of Kn1,n2 n Note that as well as the formula a(K1,n)=2 we have a(K2,n + e1) = n 2 · 3 .