On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has emained open since then is concened with counting equivalence classes of n binay matices unde ow and column pemutations Let I and O denote two sets of vetices, whee I O = Φ, I = n, O =, and B u (n, denote the set of unlabeled gaphs whose edges connect vetices in I and O Haison established that the numbe of equivalence classes of n binay matices is equal to the numbe of unlabeled gaphs in B u (n, He also computed the numbe of such matices (hence such gaphs fo small values of n and without poviding an asymptotic fomula B u (n, Hee, such an asymptotic fomula is povided by poving the following two-sided equality using Polya s Counting Theoem whee n < Intoduction ( +2 n B u (n, 2 ( +2 n The counting poblem that is consideed in this pape has been investigated in connection with the enumeation of unlabeled bipatite gaphs and binay matices[] Let (I, O, E denote a gaph with two disjoint sets of vetices, I, called left vetices and a set of vetices, O, called ight vetices, whee each edge in E connects a left vetex with a ight vetex We let n = I, = O, and efe to such a gaph as an (n, -bipatite gaph Let G = (I, O, E and G 2 = (I, O, E 2 be two (n, -bipatite gaphs, and α : I I and β : O O be both bijections The pai (α, β is an isomophism between G and G 2 povided that ((α(v, β(v 2 E 2 if and only if (v, v 2 E, v I, v 2 O It is easy to establish that this mapping induces an equivalence elation, and patitions the set of 2 n (n, -bipatite gaphs into equivalence classes This equivalence elation captues the fact that the vetices in I and O ae unlabeled, and so each class of (n, -bipatite gaphs can be epesented by any one of the gaphs in that class without identifying the vetices in I and O Let B u (n, denote any set of (n, -bipatite gaphs that contains exactly one such gaph fom each of the equivalence classes of (n, -bipatite gaphs induced by the isomophism we defined It is easy to see that detemining B u (n, amounts to an enumeation of non-isomophic (n, -bipatite gaphs that will hencefoth be efeed to as unlabeled (n, -bipatite gaphs In [], Haison used Pólya s counting theoem to obtain an expession to compute the numbe of non-equivalent n binay matices This expession contains a nested sum, in which one sum is caied ove all patitions of n while the othe is caied ove all patitions of, whee the agument of the nested sum involves factoial, exponentiation and geatest common diviso (gcd computations He futhe established that this fomula also enumeates the numbe of unlabeled (n, -bipatite gaphs, ie, B u (n, A numbe of esults indiectly elated to Haison s wok and ou esult appeaed in the liteatue [2, 3, 4] In paticula, the set B u (n, in ou wok coincides ( Depatment of Compute Engineeing, Bilkent Univesity, Ankaa, Tukey Depatment of Electical and Compute Engineeing, Univesity of Mayland, College Pak, MD 20742
with the set of bicoloed gaphs descibed in Section 2 in [2] Wheeas [2] povides a counting polynomial fo the numbe of bicoloed gaphs, we focus on the asymptotic behavio of B u (n, in this pape Counting polynomials fo othe families of bipatite gaphs wee also epoted in [3] Likewise, [4] povides geneating functions fo elated bipatite gaph counting poblems without an asymptotic analysis as povided in this pape It should also be mentioned that some esults on asymptotic enumeation of cetain families of bipatite gaphs (binay matices have been epoted (see fo example, [5, 6, 7, 8] To the best of ou knowledge, ou wok povides the fist asymptotic enumeation of unlabelled bipatite gaphs Let S n denote the symmetic goup of pemutations of degee n acting on set N = {, 2,, n} Suppose that the pemutations in S n ae indexed by, 2,, in some abitay, but fixed manne The cycle index polynomial of S n is defined as follows([9],see p35, Eqn 22: Z Sn (x, x 2,, x n = n m= k= x p m,k k (2 whee p m,k denotes the numbe of cycles of length k in the disjoint cycle epesentation of the m th pemutation in S n, and n k= kp m,k = n, m =, 2,, Let S n S denote the diect poduct of symmetic goups S n and S acting on N = {, 2,, n} and R = {, 2,, }, espectively, whee n and ae positive integes such that n < It can be infeed fom Haison ([0],Lemma 4 and Theoem 42 that the cycle index polynomial of S n S is given by [0] Z Sn S (x, x 2,, x n = Z Sn (x, x 2,, x n Z S (x, x 2,, x, (3 whee is a paticula polynomial multiplication that distibutes ove odinay addition, and in which the multiplication X m Xt of two poduct tems, X m = x p m, x p m,2 2 x pm,n n and X t = x q t, x q t,2 2 x qt, in Z Sn and Z S, espectively, is defined as 2 n X m Xt = x p m,kq t,j gcd(k,j lcm(k,j (4 Haison futhe poved that []: k= j= B u (n, = Z Sn S (2, 2,, 2 (5 }{{} when 3 n n We need one moe fact that can be found in Haay ([9], p36 in ode to compute the stated lowe and uppe bound in (: Z S (x, x 2,, x = x i Z S i (x, x 2,, x i (6 whee Z S0 ( = i= Note that we will not display the zeo powes of x, x 2, in a cycle index polynomial We will use the same convention fo all othe cycle index polynomials thoughout the pape 2 The lcm(a,b and gcd(a,b denote least common multiple and geatest common diviso of a and b 3 As noted in [], n = case involves a diffeent cycle index polynomial Bounding B u(n, n will be consideed sepaately at the end of the pape 2
2 The Lowe Bound fo B u (n, Fom (3 and (5 we know that B u (n, =Z Sn S (2, 2,, 2, (7 =[Z Sn (x, x 2,, x n Z S (x, x 2,, x ](2, 2,, 2 (8 One of the tems in Z Sn (x, x 2,, x n is (xn and it is associated with the identity pemutation in S n Using this fact, we find B u (n, =Z Sn S (2, 2,, 2, (9 This poves Poposition Poof Using (6, we have and =[Z Sn (x, x 2,, x n Z S (x, x 2,, x ](2, 2,, 2, (0 [( ] = (xn + Z S (x, x 2,, x (2, 2,, 2, ( [( ] = Z S (x, x 2,, x (2, 2,, 2 +, (2 xn { } = [ x n! ] x q t,j j (2, 2,, 2 +, (3! t= j= { = [! } ] x n x q t,j j (2, 2,, 2 +, (4! t= j= { } = [! ] x nq t,jgcd(,j! lcm(,j (2, 2,, 2 +, (5 t= j= { } = [! ] x nq t,j j (2, 2,, 2 +, (6! t= j= { } =! 2 nq t,j +, (7! t= j= { } =! (2 n q t,j +, (8! t= j= { } = Z S (2 n, 2 n,, 2 n + (9 B u (n, Z S (2 n, 2 n,, 2 n (20 ( + 2 Z S (2 n, 2 n,, 2 n n = Z S (2 n, 2 n,, 2 n = 2 n Z S i (2 n, 2 n,, 2 n, (2 i= ( Z S (2 n, 2 n,, 2 n = 2 n Z S i (2 n, 2 n,, 2 n (22 Subtacting the second equation fom the fist one gives i= 3
Z S (2 n, 2 n,, 2 n ( Z S (2 n, 2 n,, 2 n = 2 n Z S (2 n, 2 n,, 2 n, (23 Z S (2 n, 2 n,, 2 n = ( + 2 n Z S (2 n, 2 n,, 2 n, (24 Z S (2 n, 2 n,, 2 n = ( + 2n Z S (2 n, 2 n,, 2 n Expanding the last equation inductively, we obtain (25 Z S (2 n, 2 n,, 2 n = ( + 2n ( + 2n 2 Z S 2 (2 n, 2 n,, 2 n, (26 Z S (2 n, 2 n,, 2 n = ( + 2n Z S (2 n, 2 n,, 2 n = ( + 2n ( + 2n 2 ( + 2n 2 ( + 2n 3 Z S 3 (2 n, 2 n,, 2 n, 2 (27 ( + 2n 3 ( 2n Z S 0 ( (28 2 Noting that Z S0 ( =, and combining the poduct tems togethe, we obtain ( + 2 Z S (2 n, 2 n,, 2 n n = Combining Poposition with (20 poves the lowe bound: Theoem B u (n, Z S (2 n, 2 n,, 2 n 3 An Uppe Bound fo B u (n, (29 ( +2 n (30 We fist note that B u (, = + = ( ( +2 /! 2 +2 /! Hence the uppe bound that is claimed in the abstact holds fo n = Poving that it also holds fo n 2 equies a moe caeful analysis of the tems in We fist expess Z Sn (x, x 2,, x n as whee Z Sn (x, x 2,, x n Z S (x, x 2,, x (3 Z Sn (x, x 2,, x n = Z Sn [] + Z Sn [2] + + Z Sn [], (32 Z Sn [] = xn (33 Z Sn [2] = xn 2 x 2 (34 The fist tem is associated with the identity pemutation and the second tem is associated with any one of the pemutations in which all but two of the elements in N =, 2,, n ae fixed to themselves The emaining Z Sn [i] = n k= xp i,k k, 3 i tems epesent all the othe poduct tems in the cycle index polynomial of S n with no paticula association with the pemutations in S n Similaly, we set Z S (x, x 2,, x =!! t= j= xq t,j j without identifying the actual poduct tems with any paticula pemutation in S The following equations obviously hold as the sum of the lengths of all the cycles in any cycle disjoint epesentation of a pemutation in S n and S must be n and, espectively n kp i,k = n, i, (35 k= jq t,j =, t! (36 j= Now we can poceed with the computation of the uppe bound fo B u (n, that 4 Fist, we note
B u (n, =Z Sn S (2, 2, 2,, 2, (37 = [Z Sn (x, x 2,, x n Z S (x, x 2,, x ] (2, 2,, 2, (38 = [(Z Sn [] + Z Sn [2] + + Z Sn [] Z S (x, x 2,, x ] (2, 2,, 2, (39 = [Z Sn [] Z S (x, x 2,, x ] (2, 2,, 2 + [Z Sn [2] Z S (x, x 2,, x ] (2, 2,, 2 + + [Z Sn [] Z S (x, x 2,, x ] (2, 2,, 2 (40 The fist tem in (40 is diectly computed fom Poposition Thus, it suffices to uppe bound each of the emaining tems in (40 to uppe bound B u (n, This will be established by poving [Z Sn [2] Z S (x, x 2,, x ] (2, 2,, 2 [Z Sn [i] Z S (x, x 2,, x ] (2, 2,, 2, i, 3 i We fist need some peliminay facts Lemma Fo all i, i, [Z Sn [i] Z S (x, x 2,, x ](2,, 2 = Z S (2 n k= pi,kgcd(k,,, 2 n k= pi,kgcd(k, (4 Poof [Z Sn [i] Z S (x, x 2,, x ](2, 2,, 2 = n x p i,k k! x q t,j j (2, 2,, 2,! k= t= j= (42 =! n x p i,k! k x q t,j j (2, 2,, 2, t= k= j= (43 =! n x p i,kq t,j gcd(k,j! lcm(k,j (2, 2,, 2, (44 Coollay =! t= j= k=! =! t= j= k=! t= j= n 2 p i,kq t,j gcd(k,j, (45 (2 n k= p i,kgcd(k,j q t,j, (46 = Z S (2 n k= p i,kgcd(k,,, 2 n k= p i,kgcd(k, (47 [Z Sn [2] Z S (x, x 2,, x ](2,, 2 = Z S (2 n, 2 n, 2 n, 2 n, (48 Poof By definition, p 2, = n 2, p 2,2 =, p 2,k = 0, 3 k n Substituting these into the last equation in Lemma poves the statement Lemma 2 n k= p i,k n, i, 2 i (49 Poof Recall fom (35 that n k= kp i,k = n, i, i Hence n k= p i,k = n n k= (k p i,k, and so the maximum value of n k= p i,k occus when n k= (k p i,k is minimized Futhemoe, at least one of p i,k, i, 2 i must be fo some k 2 since none of the pemutations we conside is the identity Thus, n k= (k p i,k and the statement follows Lemma 3 If n k= p i,kgcd(k, α + = n, then n k= p i,kgcd(k, α n, i, 2 i and fo any intege α 2 Poof If n k= p i,kgcd(k, α + = n as stated in the lemma, then we must have gcd(k, α + = k whee p i,k, i, 2 i Theefoe k α + Now if k = α +, then tivially gcd(k, α < k On the othe hand if k < α+, then α+ must be a multiple of k Theefoe, α can not be a multiple 5
of k fo any k 2 At this point we find that gcd(k, α < k, k, 2 k n Since as in the pevious lemma, none of the pemutations we conside is the identity, at least one of p i,k, i, 2 i must be fo some k 2 and so we conclude that n k= p i,kgcd(k, α n Lemma 4 Z S (2 n, 2 n, Z S (2 n, 2 n,, fo 2 n Poof Using (6, we get Z S (2 n, 2 n, = β odd i 2 n Z S i (2 n, 2 n, + β 2 2 n Z S i (2 n, 2 n,, (50 whee β =, β 2 = 0 if is even and β = 0, β 2 = if is odd Similaly, fo, ( Z S (2 n, 2 n, = Subtacting 5 fom 50 gives β 2 2 n Z S i (2 n, 2 n, + 2 n Z S i (2 n, 2 n, (5 odd i Z S (2 n, 2 n, ( Z S (2 n, 2 n, = β 2 + β odd i odd i β β 2 2 n Z S i (2 n, 2 n, 2 n Z S i (2 n, 2 n β 2 n Z S i (2 n, 2 n, Z S (2 n, 2 n, ( Z S (2 n, 2 n, β 2 = 2 n Z S i (2 n, 2 n,, (52 β 2 n Z S i (2 n, 2 n, + 2 n Z S (2 n, 2 n, 2 n Z S i (2 n, 2 n,, (53 Z S (2 n, 2 n, = ( + 2 n Z S (2 n, 2 n ( β2 β + 2 n Z S i (2 n, 2 n, Z S i (2 n, 2 n, (54 We now pove the lemma by induction on Basis = By (6, Z S (2 n = 2 n Z S0 ( = 2 n So we have Z S (2 n = 2 n Z S0 ( = fo 2 n Induction Step Suppose that the lemma holds fom to That is, Z S i Z S i 0, i Now if is even then the diffeence of the two sums in (54 becomes (Z S 2 Z S 3 + (Z S 4 Z S 5 +(Z S2 Z S +Z S0, which is clealy 0 by the induction hypothesis Theefoe, Z S (2 n, 2 n, ( + 2 n Z S (2 n, 2 n,, (55 Z S (2 n, 2 n, Z S (2 n, 2 n,, n 2 (56 On the othe hand, if is odd then the diffeence of the two sums in the same equation becomes (Z S 2 Z S 3 + (Z S 4 Z S 5 + (Z S2 Z S + (Z S Z S0, which is again 0, and the statement follows in this case as well We now ae eady to pove that [Z Sn [2] Z S (x, x 2,, x ](2,,2 [Z Sn [i] Z S (x, x 2,, x ](2,,2, i, 2 i 6
Theoem 2 [Z Sn [2] Z S (x, x 2,, x ](2, 2,, 2 [Z Sn [i] Z S (x, x 2,, x ](2, 2,, 2 (57 i, 2 i and n, n < Poof Using Lemma and Coollay it suffices to show that Z S (2 n, 2 n, Z S (2 n k= pi,kgcd(k,,, 2 n k= pi,kgcd(k, (58 We pove the statement by induction on Basis: ( = By (6, Z S (2 n = 2 n Z S0 ( = 2 n Similaly, by (6, Z S (2 n k= pi,kgcd(k, = 2 n k= pi,kgcd(k, Z S0 ( = 2 n k= p i,k Given that n k= p i,k n by Lemma 2, we have 2 n k= p i,k 2 n, and hence the statement holds in this case Induction Step: Fist, by (6, 2 n Z S (2 n, 2 n, Z S (2 n, 2 n, = +2 n Z S 2 (2 n, 2 n, +2 n Z S 3 (2 n, 2 n,, (59 +2 β Z S0 ( whee β = n if is even and β = n if is odd Similaly, Z S (2 n k= p i,kgcd(k,,, 2 n k= p i,kgcd(k, = Subtacting (60 fom (59, we have 2 n k= pi,kgcd(k, Z S (2 n k= pi,kgcd(k,, +2 n k= pi,kgcd(k,2 Z S 2 (2 n k= pi,kgcd(k,, +2 n k= pi,kgcd(k,3 Z S 3 (2 n k= pi,kgcd(k,, +2 n k= pi,kgcd(k, Z S0 ( (60 Z S (2 n, 2 n, Z S (2 n k= pi,kgcd(k,,, 2 n k= pi,kgcd(k, 2 n Z S (2 n, 2 n, 2 n k= pi,kgcd(k, Z S (2 n k= pi,kgcd(k,, 2 n k= pi,kgcd(k,2, = +2 n Z S 2 (2 n, 2 n, +2 n Z S 3 (2 n, 2 n, +2 n k= pi,kgcd(k,2 Z S 2 (2 n k= pi,kgcd(k,, 2 n k= pi,kgcd(k,2, +2 n k= pi,kgcd(k,3 Z S 3 (2 n k= pi,kgcd(k,, 2 n k= pi,kgcd(k,2, +2 β Z S0 ( +2 n k= pi,kgcd(k, Z S0 ( (6 Thus, it suffices to show that the ight hand side of the above equation is 0, o 2 n Z S (2 n, 2 n, 2 n k= pi,kgcd(k, Z S (2 n k= pi,kgcd(k,, 2 n k= pi,kgcd(k,2, +2 n Z S 2 (2 n, 2 n, 2 n k= pi,kgcd(k,2 Z S 2 (2 n k= pi,kgcd(k,, 2 n k= pi,kgcd(k,2, +2 n Z S 3 (2 n, 2 n, 2 n k= pi,kgcd(k,3 Z S 3 (2 n k= pi,kgcd(k,, 2 n k= pi,kgcd(k,2, +2 β Z S0 ( 2 n k= pi,kgcd(k, Z S0 ( 0 Now by induction hypothesis, (58 holds fo, 2,, Thus, (62 can be eplaced by (62 7
2 n Z S (2 n, 2 n, 2 n k= pi,kgcd(k, Z S (2 n, 2 n, +2 n Z S 2 (2 n, 2 n, 2 n k= pi,kgcd(k,2 Z S 2 (2 n, 2 n, +2 n Z S 3 (2 n, 2 n, 2 n k= pi,kgcd(k,3 Z S 3 (2 n, 2 n, +2 β Z S0 ( 2 n k= pi,kgcd(k, Z S0 ( 0 Moeove, invoking Lemma 2 gives 2 n Z S (2 n, 2 n, 2 n k= p i,kgcd(k, Z S (2 n, 2 n (63 2 n Z S (2 n, 2 n, 2 n Z S (2 n, 2 n, = 0 (64 Hence the diffeence in the fist line in (63 0, and theefoe it is sufficient to show that 2 n Z S 2 (2 n, 2 n, 2 n k= pi,kgcd(k,2 Z S 2 (2 n, 2 n, +2 n Z S 3 (2 n, 2 n, 2 n k= pi,kgcd(k,3 Z S 3 (2 n, 2 n, +2 β Z S0 ( 2 n k= pi,kgcd(k, Z S0 ( 0 To pove this inequality, we will combine fou tems in pais of consecutive lines fo the emaining lines by consideing two cases If is odd then β = n and no exta line emains in this paiing Thus, fo all even α, 2 α, it suffices to pove o, 2 n Z S α (2 n, 2 n, 2 n k= pi,kgcd(k,α Z S α (2 n, 2 n, +2 n Z S α (2 n, 2 n, 2 n k= pi,kgcd(k,α+ Z S α (2 n, 2 n 0 2 n Z S α (2 n, 2 n, 2 n k= pi,kk Z S α (2 n, 2 n +2 n Z S α (2 n, 2 n, 2 n k= pi,kgcd(k,α+ Z S α (2 n, 2 n 0 Now if n k= p i,kgcd(k, α + n, then (65 (66 (67 2 n Z S α (2 n, 2 n, 2 n k= p i,kk Z S α (2 n, 2 n, +2 n Z S α (2 n, 2 n, 2 n Z S α (2 n, 2 n, 2 n Z S α (2 n, 2 n, 2 n Z S α (2 n, 2 n, +2 n Z S α (2 n, 2 n, 2 n Z S α (2 n, 2 n, = 0 (68 On the othe hand, if n k= p i,kgcd(k, α + = n, then we pove (66 by noting that n k= p i,kgcd(k, α n by Lemma 3 Thus, 2 n Z S α (2 n, 2 n, 2 n Z S α (2 n, 2 n, (69 + 2 n Z S α (2 n, 2 n, 2 n Z S α (2 n, 2 n, = 2 n Z S α (2 n, 2 n, 2 n Z S α (2 n, 2 n, 2 n [ Z S α (2 n, 2 n, Z S α (2 n, 2 n, ] (70 Now by Lemma 4, Z S α (2 n, 2 n, Z S α (2 n, 2 n, and the statement is poved fo odd, n < Fo even, the last line in (65 is left out in the paiing of consecutive lines and β = n In this case we have 2 n Z S0 ( 2 n k= pi,kgcd(k, Z S0 ( 2 n Z S0 ( 2 n k= pi,kk Z S0 ( = 2 n Z S0 ( 2 n Z S0 ( = 0 and the statement follows 8
Theoem 3 whee 2 n < Poof By Coollay [Z Sn [2] Z S (x, x 2,, x ] (2, 2,, 2 ( +2 n ( (7 [Z Sn [2] Z S (x, x 2,, x ] (2, 2,, 2 = Z S (2 n, 2 n, (72 Thus, to pove the theoem, it is sufficient to show whee 2 n < Now, using (6, we get Z S (2 n, 2 n, 2 n, 2 n, ( +2 n ( (73 Z S (2 n, 2 n, = β odd i 2 n Z S i (2 n, 2 n, + β 2 2 n Z S i (2 n, 2 n, (74 whee β =, β 2 = 0 if is even and β = 0, β 2 = if is odd Similaly, fo 2, ( 2Z S 2 (2 n, 2 n, = Subtacting (75 fom (74 gives 2 β odd i Z S (2 n, 2 n, ( 2Z S 2 (2 n, 2 n, 2 β 2 2 n Z S 2 i (2 n, 2 n, + 2 n Z S 2 i (2 n, 2 n, = 2 n Z S (2 n, 2 n, + 2 n Z S 2 (2 n, 2 n,, (76 Z S (2 n, 2 n, = 2 n Z S (2 n, 2 n, + ( 2 + 2 n Z S 2 (2 n, 2 n,, (77 Z S (2 n, 2 n, = [ 2 n Z S (2 n, 2 n, + ( 2 + 2 n Z S 2 (2 n, 2 n, ] (78 We will use induction on and the ecuence given in (78 to pove this inequality Basis Case = 3: Recall that (75 Z Sn [2] = xn 2 x 2, (79 Thus, Z S3 (x, x 2, x 3 = 3! (x3 + 3x x 2 + 2x 3 (80 9
[Z Sn [2] Z S3 (x, x 2, x 3 ] (2, 2,, 2 [ = (xn 2 x 2 ] 3! (x3 + 3x x 2 + 2x 3 (2, 2,, 2, (8 = [ (x n 2 x 2 x 3 + (x n 2 x 2 (3x x 2 + (x n 2 x 2 ] 2x 3 (2, 2,, 2, (82 3! = 3! = [ x 3(n 2 x 3 2 + 3x n 2 x 2 x n 2 2 x 2 2 + 2x n 2 ] 3 x 6 (2, 2,, 2, (83 ( [ +2 n 2 3n 3 + 3 2 2n + 2 n] 3! ( (84 fo n = 2 and = 3 Case = 4 In this case we have [Z Sn [2] Z S4 (x, x 2, x 3, x 4 ] (2,, 2 [ = (xn 2 x 2 ] 4! (x4 + 6x 2 x 2 + 3x 2 2 + 8x x 3 + 6x 4 (2,, 2, (85 = [ (x n 2 x 2 x 4 + (x n 2 x 2 (6x 2 4! x 2 + (x n 2 x 2 3x 2 2 + (x n 2 x 2 (8x x 3 + (x n 2 x 2 6x 4 ](2,, 2, (86 = 4! [ x 4(n 2 x 4 2 + 6x 2(n 2 x n 2 2 x 2 2x 2 2 + 3x 2(n 2 x 4 2 + 8x n 2 x n 2 3 x 2 x 6 + 6x n 2 4 x 2 4 ] (2,, 2, (87 = [ 2 4n 4 + 6 2 3n 2 + 3 2 2n + 8 2 2n 2 + 6 2 n], 4! (88 = [ 2 4n 4 + 6 2 3n 2 + 5 2 2n + 6 2 n] 4! (89 Now, given that = 4, the only possible values of n ae 2 and 3 If n = 2 then: [Z Sn [2] Z S4 (x, x 2, x 3, x 4 ] (2, 2,, 2 = [ 2 4n 4 + 6 2 3n 2 + 5 2 2n + 6 2 n], (90 4! = [ 2 4 + 6 2 4 + 5 2 4 + 6 2 2], (9 4!2! 6 + 96 + 80 + 24 = = 45, (92 4!2! ( 7 4 On the othe hand, if n = 3 then: [Z Sn [2] Z S4 (x, x 2, x 3, x 4 ] (2, 2,, 2 = 4! ( +2 n ( = 2!(2! = 35 2 = 75 (93 [ 2 4n 4 + 6 2 3n 2 + 5 2 2n + 6 2 n], (94 0
= [ 2 8 + 6 2 7 + 5 2 6 + 6 2 3], (95 4!3! 256 + 768 + 320 + 48 = = 29 4!3! 3, (96 ( 4 ( +2 n ( = 3!(3! = 330 30 = (97 Induction Step: Suppose that (73 holds fo all values fom 3 to Using the ecuence given in (78 and the induction hypothesis fo and 2 we get: Z S (2 n, 2 n, = [ 2 n Z S (2 n, 2 n, + ( 2 + 2 n Z S 2 (2 n, 2 n, ], (98 = 2n Z S (2 n, 2 n, + 2 + 2n Z S 2 (2 n, 2 n,, (99 ( +2 n 2n 2 ( + 2 + ( +2 n 2n 3 2 (, (00 2 n ( ( + 2 n 2! (!(2 n! + 2 + 2n ( ( + 2 n 3! ( 2!(2 n!, (0 2 n ( + 2 n 2! ( (!(2 n! + ( ( + 2n 2! (!(2 n!, (02 Z S (2 n, 2 n, ( + 2n 2!( + 2 n (!(2 n! ( + 2 n (! (!(2 n! = + 2 n ( ( ( + 2 n This completes the poof ( + 2n 2!( + 2 n (!(2 n, (03!, (04 (05 Combining Theoems 2 and 3 concludes the uppe bound calculation n Theoem 4 B u (n, 2(+2 Poof B u (n, = Z Sn S (2, 2,, 2, (06 = [Z Sn (x, x 2,, x n Z S (x, x 2,, x ] (2, 2,, 2, (07 = [(Z Sn [] + Z Sn [2] + + Z Sn [] Z S (x, x 2,, x ] (2, 2,, 2, (08 = [(Z Sn [] Z S (x, x 2,, x ] (2, 2,, 2 + [(Z Sn [2] Z S (x, x 2,, x ] (2, 2,, 2 + + [(Z Sn [] Z S (x, x 2,, x ] (2, 2,, 2, (09 [(Z Sn [] Z S (x, x 2,, x ] (2, 2,, 2 + [(Z Sn [2] Z S (x, x 2,, x ] (2, 2,, 2 + + [(Z Sn [2] Z S (x, x 2,, x ] (2, 2,, 2, (0 ( +2 ( n +2 n + ( ( = 2 ( +2 n (
Remak It should be mentioned that, if < n, using the elation B u (n, = B u (, n gives B u (n, 2 Likewise, if < n, Theoem and B u (n, = B u (, n togethe imply ( n+2 n! (2 ( n+2 n B u (n,! (3 Futhemoe, if = n, using the cycle index epesentation of bi-coloed gaphs povided in Section 3 in [2] and Theoem gives ( n+2 n n B u (n, n (4 2 The Z tem in the cycle index epesentation of bi-coloed gaphs in [2] pevents us fom deiving an uppe bound fo B u (n, n that is a constant multiple of the lowe bound in this case On the othe hand, an obvious uppe bound fo B u (n, n can be deived by setting = n + in the inequality in Theoem 4 Appendix: Table lists ln B u (n, along with the natual logaithms of lowe and uppe bounds fo n < 5 Refeences [] Michael A Haison On the numbe of classes of binay matices IEEE Tansactions on Computes, 22(2:048 052, 973 [2] Fank Haay On the numbe of bi-coloed gaphs Pacific J Math, 8(958:743 755, 958 [3] Fank Haay and Geet Pins Enumeation of bicolouable gaphs Canad J Math, 5:237 248, 963 [4] Phil Hanlon The enumeation of bipatite gaphs Discete Mathematics, 28(:49 57, 979 [5] E Rodney Canfield, Bendan D McKay, et al Asymptotic enumeation of dense 0- matices with equal ow sums and equal column sums Jounal of Combinatoics, 2(2:R29, 2005 [6] Catheine Geenhill, Bendan D McKay, and Xiaoji Wang Asymptotic enumeation of spase 0 matices with iegula ow and column sums Jounal of Combinatoial Theoy, Seies A, 3(2:29 324, 2006 [7] E Rodney Canfield, Catheine Geenhill, and Bendan D McKay Asymptotic enumeation of dense 0 matices with specified line sums Jounal of Combinatoial Theoy, Seies A, 5(:32 66, 2008 [8] Alexande Bavinok On the numbe of matices and a andom matix with pescibed ow and column sums and 0 enties Advances in Mathematics, 224(:36 339, 200 [9] Fank Haay Gaphical Enumeation ACADEMIC PRESS, INC, 973 [0] Michael A Haison Counting theoems and thei applications to classification of switching functions Recent developments in switching theoy, pages 85 20, 97 2
n 2 3 4 5 6 7 8 9 0 2 3 4 5 0986 0986 7976 38629 38629 207944 60944 60944 230259 7976 7976 24849 9459 9459 263906 207944 207944 277259 29722 29722 289037 230259 230259 299573 23979 23979 30904 24849 24849 37805 256495 256495 3258 263906 263906 33322 270805 270805 3402 277259 277259 346574 2 230259 256495 299573 28332 30904 355535 33322 352636 402535 373767 39202 443082 409434 42485 478749 440672 455388 50595 470048 48283 539363 496284 5084 565599 52040 5332 58975 542495 552943 6203 563479 5730 632794 582895 59889 652209 6027 609582 67044 3 400733 44659 470048 48828 524702 557595 565599 595584 63494 63494 65985 704229 697728 7884 767089 755276 773368 82467 808364 82402 877678 857622 87276 926936 903575 9562 97289 946653 957345 0597 9872 996754 0565 0255 03409 0948 4 64708 69594 76395 772356 80864 8467 886869 94238 95684 99247 0349 0679 09056 0692 5987 829 952 255 2682 27855 33752 3493 35767 486 42603 43287 49534 49885 5045 5686 5686 57287 63748 5 98764 02603 05648 5633 826 22565 3474 33276 38406 4639 47645 53322 6050 6388 67432 73899 74535 8083 86662 8724 93593 98854 9995 205785 2053 20784 2746 22736 22927 228667 6 43253 4577 5085 65086 66637 7207 8588 86849 928 205759 206372 2269 22482 22525 23752 24346 243403 250078 260804 260974 267736 277852 277965 284783 294338 29445 3027 7 990 200463 205942 22665 226996 233097 252339 25282 25927 277633 27795 284564 30228 302295 30906 325895 325995 332827 348992 349053 355924 3747 37507 37840 8 266393 26720 273324 29964 299604 306096 3302 3326 337952 362043 36277 368975 392304 392378 399235 4286 42902 428792 450764 450788 457696 9 345644 346096 352575 38424 384479 3973 42988 4224 42892 458953 45902 465885 49597 495233 50228 530769 530789 53770 0 43693 43787 44386 48502 48635 488434 525284 525353 53226 568335 56837 575266 60705 60723 67636 54038 540528 54732 59036 59 597967 640955 640993 647886 69089 690208 6972 2 65606 6569 663038 72925 72968 79856 769056 769078 775988 3 784205 784254 7937 84725 847275 85482 4 924768 924797 937 Table : Exact values of ln B u (n,, n < 5, and natual logaithms of lowe and uppe bounds 3