arxiv: v1 [math.co] 4 May 2017

Size: px
Start display at page:

Download "arxiv: v1 [math.co] 4 May 2017"

Transcription

1 On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv: v [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

2 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

3 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

4 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

5 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,, [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

6 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

7 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

8 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, ( 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

9 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, + ( n Z S 2 (2 n, 2 n,, (77 Z S (2 n, 2 n, = [ 2 n Z S (2 n, 2 n, + ( 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

10 [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 x n 2 x 2 x n 2 2 x x n 2 ] 3 x 6 (2, 2,, 2, (83 ( [ +2 n 2 3n n + 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 x 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 (x n 2 x 2 (8x x 3 + (x n 2 x 2 6x 4 ](2,, 2, (86 = 4! [ x 4(n 2 x x 2(n 2 x n 2 2 x 2 2x x 2(n 2 x x n 2 x n 2 3 x 2 x 6 + 6x n 2 4 x 2 4 ] (2,, 2, (87 = [ 2 4n n n n n], 4! (88 = [ 2 4n n n 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 n n n], (90 4! = [ ], (9 4!2! = = 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 n n n], (94 0

11 = [ ], (95 4!3! = = 29 4!3! 3, (96 ( 4 ( +2 n ( = 3!(3! = = (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, + ( n Z S 2 (2 n, 2 n, ], (98 = 2n Z S (2 n, 2 n, n Z S 2 (2 n, 2 n,, (99 ( +2 n 2n 2 ( ( +2 n 2n 3 2 (, (00 2 n ( ( + 2 n 2! (!(2 n! n ( ( + 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,, [(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,, [(Z Sn [2] Z S (x, x 2,, x ] (2, 2,, 2, (0 ( +2 ( n +2 n + ( ( = 2 ( +2 n (

12 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: , 973 [2] Fank Haay On the numbe of bi-coloed gaphs Pacific J Math, 8(958: , 958 [3] Fank Haay and Geet Pins Enumeation of bicolouable gaphs Canad J Math, 5: , 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

13 n Table : Exact values of ln B u (n,, n < 5, and natual logaithms of lowe and uppe bounds 3

arxiv: v1 [math.co] 6 Mar 2008

arxiv: v1 [math.co] 6 Mar 2008 An uppe bound fo the numbe of pefect matchings in gaphs Shmuel Fiedland axiv:0803.0864v [math.co] 6 Ma 2008 Depatment of Mathematics, Statistics, and Compute Science, Univesity of Illinois at Chicago Chicago,

More information

New problems in universal algebraic geometry illustrated by boolean equations

New problems in universal algebraic geometry illustrated by boolean equations New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic

More information

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0}, ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability

More information

On the ratio of maximum and minimum degree in maximal intersecting families

On the ratio of maximum and minimum degree in maximal intersecting families On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Septembe 5, 011 Abstact To study how balanced o unbalanced a maximal intesecting

More information

ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi

ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated

More information

Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and Applied Mathematics Jounal of Inequalities in Pue and Applied Mathematics COEFFICIENT INEQUALITY FOR A FUNCTION WHOSE DERIVATIVE HAS A POSITIVE REAL PART S. ABRAMOVICH, M. KLARIČIĆ BAKULA AND S. BANIĆ Depatment of Mathematics

More information

A Short Combinatorial Proof of Derangement Identity arxiv: v1 [math.co] 13 Nov Introduction

A Short Combinatorial Proof of Derangement Identity arxiv: v1 [math.co] 13 Nov Introduction A Shot Combinatoial Poof of Deangement Identity axiv:1711.04537v1 [math.co] 13 Nov 2017 Ivica Matinjak Faculty of Science, Univesity of Zageb Bijenička cesta 32, HR-10000 Zageb, Coatia and Dajana Stanić

More information

On the ratio of maximum and minimum degree in maximal intersecting families

On the ratio of maximum and minimum degree in maximal intersecting families On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Mach 6, 013 Abstact To study how balanced o unbalanced a maximal intesecting

More information

arxiv: v1 [math.nt] 12 May 2017

arxiv: v1 [math.nt] 12 May 2017 SEQUENCES OF CONSECUTIVE HAPPY NUMBERS IN NEGATIVE BASES HELEN G. GRUNDMAN AND PAMELA E. HARRIS axiv:1705.04648v1 [math.nt] 12 May 2017 ABSTRACT. Fo b 2 and e 2, let S e,b : Z Z 0 be the function taking

More information

arxiv: v1 [math.co] 1 Apr 2011

arxiv: v1 [math.co] 1 Apr 2011 Weight enumeation of codes fom finite spaces Relinde Juius Octobe 23, 2018 axiv:1104.0172v1 [math.co] 1 Ap 2011 Abstact We study the genealized and extended weight enumeato of the - ay Simplex code and

More information

Fractional Zero Forcing via Three-color Forcing Games

Fractional Zero Forcing via Three-color Forcing Games Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that

More information

Semicanonical basis generators of the cluster algebra of type A (1)

Semicanonical basis generators of the cluster algebra of type A (1) Semicanonical basis geneatos of the cluste algeba of type A (1 1 Andei Zelevinsky Depatment of Mathematics Notheasten Univesity, Boston, USA andei@neu.edu Submitted: Jul 7, 006; Accepted: Dec 3, 006; Published:

More information

Enumerating permutation polynomials

Enumerating permutation polynomials Enumeating pemutation polynomials Theodoulos Gaefalakis a,1, Giogos Kapetanakis a,, a Depatment of Mathematics and Applied Mathematics, Univesity of Cete, 70013 Heaklion, Geece Abstact We conside thoblem

More information

A Bijective Approach to the Permutational Power of a Priority Queue

A Bijective Approach to the Permutational Power of a Priority Queue A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation

More information

KOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS

KOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS Jounal of Applied Analysis Vol. 14, No. 1 2008), pp. 43 52 KOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS L. KOCZAN and P. ZAPRAWA Received Mach 12, 2007 and, in evised fom,

More information

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN TH NUMBR OF TWO CONSCUTIV SUCCSSS IN A HOPP-PÓLYA URN LARS HOLST Depatment of Mathematics, Royal Institute of Technology S 100 44 Stocholm, Sweden -mail: lholst@math.th.se Novembe 27, 2007 Abstact In a

More information

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let

More information

Solution to HW 3, Ma 1a Fall 2016

Solution to HW 3, Ma 1a Fall 2016 Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.

More information

Numerical approximation to ζ(2n+1)

Numerical approximation to ζ(2n+1) Illinois Wesleyan Univesity Fom the SelectedWoks of Tian-Xiao He 6 Numeical appoximation to ζ(n+1) Tian-Xiao He, Illinois Wesleyan Univesity Michael J. Dancs Available at: https://woks.bepess.com/tian_xiao_he/6/

More information

Chromatic number and spectral radius

Chromatic number and spectral radius Linea Algeba and its Applications 426 2007) 810 814 www.elsevie.com/locate/laa Chomatic numbe and spectal adius Vladimi Nikifoov Depatment of Mathematical Sciences, Univesity of Memphis, Memphis, TN 38152,

More information

The Chromatic Villainy of Complete Multipartite Graphs

The Chromatic Villainy of Complete Multipartite Graphs Rocheste Institute of Technology RIT Schola Wos Theses Thesis/Dissetation Collections 8--08 The Chomatic Villainy of Complete Multipatite Gaphs Anna Raleigh an9@it.edu Follow this and additional wos at:

More information

Method for Approximating Irrational Numbers

Method for Approximating Irrational Numbers Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations

More information

9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.

9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic. Chapte 9 Pimitive Roots 9.1 The multiplicative goup of a finite fld Theoem 9.1. The multiplicative goup F of a finite fld is cyclic. Remak: In paticula, if p is a pime then (Z/p) is cyclic. In fact, this

More information

Pascal s Triangle (mod 8)

Pascal s Triangle (mod 8) Euop. J. Combinatoics (998) 9, 45 62 Pascal s Tiangle (mod 8) JAMES G. HUARD, BLAIR K. SPEARMAN AND KENNETH S. WILLIAMS Lucas theoem gives a conguence fo a binomial coefficient modulo a pime. Davis and

More information

A generalization of the Bernstein polynomials

A generalization of the Bernstein polynomials A genealization of the Benstein polynomials Halil Ouç and Geoge M Phillips Mathematical Institute, Univesity of St Andews, Noth Haugh, St Andews, Fife KY16 9SS, Scotland Dedicated to Philip J Davis This

More information

Quasi-Randomness and the Distribution of Copies of a Fixed Graph

Quasi-Randomness and the Distribution of Copies of a Fixed Graph Quasi-Randomness and the Distibution of Copies of a Fixed Gaph Asaf Shapia Abstact We show that if a gaph G has the popety that all subsets of vetices of size n/4 contain the coect numbe of tiangles one

More information

A Multivariate Normal Law for Turing s Formulae

A Multivariate Normal Law for Turing s Formulae A Multivaiate Nomal Law fo Tuing s Fomulae Zhiyi Zhang Depatment of Mathematics and Statistics Univesity of Noth Caolina at Chalotte Chalotte, NC 28223 Abstact This pape establishes a sufficient condition

More information

On decompositions of complete multipartite graphs into the union of two even cycles

On decompositions of complete multipartite graphs into the union of two even cycles On decompositions of complete multipatite gaphs into the union of two even cycles A. Su, J. Buchanan, R. C. Bunge, S. I. El-Zanati, E. Pelttai, G. Rasmuson, E. Spaks, S. Tagais Depatment of Mathematics

More information

3.1 Random variables

3.1 Random variables 3 Chapte III Random Vaiables 3 Random vaiables A sample space S may be difficult to descibe if the elements of S ae not numbes discuss how we can use a ule by which an element s of S may be associated

More information

The Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez y L.H. Harper z M. Rottger U.-P. Schroeder Abstract We consider the pr

The Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez y L.H. Harper z M. Rottger U.-P. Schroeder Abstract We consider the pr The Congestion of n-cube Layout on a Rectangula Gid S.L. Bezukov J.D. Chavez y L.H. Hape z M. Rottge U.-P. Schoede Abstact We conside the poblem of embedding the n-dimensional cube into a ectangula gid

More information

Journal of Number Theory

Journal of Number Theory Jounal of umbe Theoy 3 2 2259 227 Contents lists available at ScienceDiect Jounal of umbe Theoy www.elsevie.com/locate/jnt Sums of poducts of hypegeometic Benoulli numbes Ken Kamano Depatment of Geneal

More information

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version The Binomial Theoem Factoials Auchmuty High School Mathematics Depatment The calculations,, 6 etc. often appea in mathematics. They ae called factoials and have been given the notation n!. e.g. 6! 6!!!!!

More information

Miskolc Mathematical Notes HU e-issn Tribonacci numbers with indices in arithmetic progression and their sums. Nurettin Irmak and Murat Alp

Miskolc Mathematical Notes HU e-issn Tribonacci numbers with indices in arithmetic progression and their sums. Nurettin Irmak and Murat Alp Miskolc Mathematical Notes HU e-issn 8- Vol. (0), No, pp. 5- DOI 0.85/MMN.0.5 Tibonacci numbes with indices in aithmetic pogession and thei sums Nuettin Imak and Muat Alp Miskolc Mathematical Notes HU

More information

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov Intoduction Common Divisos Discete Mathematics Andei Bulatov Discete Mathematics Common Divisos 3- Pevious Lectue Integes Division, popeties of divisibility The division algoithm Repesentation of numbes

More information

THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX. Jaejin Lee

THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX. Jaejin Lee Koean J. Math. 23 (2015), No. 3, pp. 427 438 http://dx.doi.og/10.11568/kjm.2015.23.3.427 THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX Jaejin Lee Abstact. The Schensted algoithm fist descibed by Robinson

More information

Failure Probability of 2-within-Consecutive-(2, 2)-out-of-(n, m): F System for Special Values of m

Failure Probability of 2-within-Consecutive-(2, 2)-out-of-(n, m): F System for Special Values of m Jounal of Mathematics and Statistics 5 (): 0-4, 009 ISSN 549-3644 009 Science Publications Failue Pobability of -within-consecutive-(, )-out-of-(n, m): F System fo Special Values of m E.M.E.. Sayed Depatment

More information

ON SPARSELY SCHEMMEL TOTIENT NUMBERS. Colin Defant 1 Department of Mathematics, University of Florida, Gainesville, Florida

ON SPARSELY SCHEMMEL TOTIENT NUMBERS. Colin Defant 1 Department of Mathematics, University of Florida, Gainesville, Florida #A8 INTEGERS 5 (205) ON SPARSEL SCHEMMEL TOTIENT NUMBERS Colin Defant Depatment of Mathematics, Univesity of Floida, Gainesville, Floida cdefant@ufl.edu Received: 7/30/4, Revised: 2/23/4, Accepted: 4/26/5,

More information

NOTE. Some New Bounds for Cover-Free Families

NOTE. Some New Bounds for Cover-Free Families Jounal of Combinatoial Theoy, Seies A 90, 224234 (2000) doi:10.1006jcta.1999.3036, available online at http:.idealibay.com on NOTE Some Ne Bounds fo Cove-Fee Families D. R. Stinson 1 and R. Wei Depatment

More information

Upper Bounds for Tura n Numbers. Alexander Sidorenko

Upper Bounds for Tura n Numbers. Alexander Sidorenko jounal of combinatoial theoy, Seies A 77, 134147 (1997) aticle no. TA962739 Uppe Bounds fo Tua n Numbes Alexande Sidoenko Couant Institute of Mathematical Sciences, New Yok Univesity, 251 Mece Steet, New

More information

SUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER

SUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER Discussiones Mathematicae Gaph Theoy 39 (019) 567 573 doi:10.7151/dmgt.096 SUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER Lutz Volkmann

More information

Berkeley Math Circle AIME Preparation March 5, 2013

Berkeley Math Circle AIME Preparation March 5, 2013 Algeba Toolkit Rules of Thumb. Make sue that you can pove all fomulas you use. This is even bette than memoizing the fomulas. Although it is best to memoize, as well. Stive fo elegant, economical methods.

More information

arxiv: v2 [math.ag] 4 Jul 2012

arxiv: v2 [math.ag] 4 Jul 2012 SOME EXAMPLES OF VECTOR BUNDLES IN THE BASE LOCUS OF THE GENERALIZED THETA DIVISOR axiv:0707.2326v2 [math.ag] 4 Jul 2012 SEBASTIAN CASALAINA-MARTIN, TAWANDA GWENA, AND MONTSERRAT TEIXIDOR I BIGAS Abstact.

More information

On a quantity that is analogous to potential and a theorem that relates to it

On a quantity that is analogous to potential and a theorem that relates to it Su une quantité analogue au potential et su un théoème y elatif C R Acad Sci 7 (87) 34-39 On a quantity that is analogous to potential and a theoem that elates to it By R CLAUSIUS Tanslated by D H Delphenich

More information

CERFACS 42 av. Gaspard Coriolis, Toulouse, Cedex 1, France. Available at Date: April 2, 2008.

CERFACS 42 av. Gaspard Coriolis, Toulouse, Cedex 1, France. Available at   Date: April 2, 2008. ON THE BLOCK TRIANGULAR FORM OF SYMMETRIC MATRICES IAIN S. DUFF and BORA UÇAR Technical Repot: No: TR/PA/08/26 CERFACS 42 av. Gaspad Coiolis, 31057 Toulouse, Cedex 1, Fance. Available at http://www.cefacs.f/algo/epots/

More information

Bounds for Codimensions of Fitting Ideals

Bounds for Codimensions of Fitting Ideals Ž. JOUNAL OF ALGEBA 194, 378 382 1997 ATICLE NO. JA966999 Bounds fo Coensions of Fitting Ideals Michał Kwiecinski* Uniwesytet Jagiellonski, Instytut Matematyki, ul. eymonta 4, 30-059, Kakow, Poland Communicated

More information

Lecture 18: Graph Isomorphisms

Lecture 18: Graph Isomorphisms INFR11102: Computational Complexity 22/11/2018 Lectue: Heng Guo Lectue 18: Gaph Isomophisms 1 An Athu-Melin potocol fo GNI Last time we gave a simple inteactive potocol fo GNI with pivate coins. We will

More information

Chapter 3: Theory of Modular Arithmetic 38

Chapter 3: Theory of Modular Arithmetic 38 Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences

More information

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution Applied Mathematical Sciences, Vol 11, 2017, no 27, 1337-1351 HIKARI Ltd, wwwm-hikaicom https://doiog/1012988/ams20177273 On the Quasi-invese of a Non-squae Matix: An Infinite Solution Ruben D Codeo J

More information

Do Managers Do Good With Other People s Money? Online Appendix

Do Managers Do Good With Other People s Money? Online Appendix Do Manages Do Good With Othe People s Money? Online Appendix Ing-Haw Cheng Haison Hong Kelly Shue Abstact This is the Online Appendix fo Cheng, Hong and Shue 2013) containing details of the model. Datmouth

More information

On Polynomials Construction

On Polynomials Construction Intenational Jounal of Mathematical Analysis Vol., 08, no. 6, 5-57 HIKARI Ltd, www.m-hikai.com https://doi.og/0.988/ima.08.843 On Polynomials Constuction E. O. Adeyefa Depatment of Mathematics, Fedeal

More information

On the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University

On the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University Zapiski Nauchn. Seminaov POMI, to appea On the Numbe of Rim Hook Tableaux Segey Fomin* Depatment of Mathematics, Massachusetts Institute of Technology Cambidge, MA 0239 Theoy of Algoithms Laboatoy SPIIRAN,

More information

1) (A B) = A B ( ) 2) A B = A. i) A A = φ i j. ii) Additional Important Properties of Sets. De Morgan s Theorems :

1) (A B) = A B ( ) 2) A B = A. i) A A = φ i j. ii) Additional Important Properties of Sets. De Morgan s Theorems : Additional Impotant Popeties of Sets De Mogan s Theoems : A A S S Φ, Φ S _ ( A ) A ) (A B) A B ( ) 2) A B A B Cadinality of A, A, is defined as the numbe of elements in the set A. {a,b,c} 3, { }, while

More information

On the integration of the equations of hydrodynamics

On the integration of the equations of hydrodynamics Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious

More information

ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE

ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE THE p-adic VALUATION OF STIRLING NUMBERS ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE Abstact. Let p > 2 be a pime. The p-adic valuation of Stiling numbes of the

More information

Symmetries of embedded complete bipartite graphs

Symmetries of embedded complete bipartite graphs Digital Commons@ Loyola Maymount Univesity and Loyola Law School Mathematics Faculty Woks Mathematics 1-1-014 Symmeties of embedded complete bipatite gaphs Eica Flapan Nicole Lehle Blake Mello Loyola Maymount

More information

The r-bell Numbers. 1 Introduction

The r-bell Numbers. 1 Introduction 3 47 6 3 Jounal of Intege Sequences, Vol. 4 (, Aticle.. The -Bell Numbes István Meő Depatment of Applied Mathematics and Pobability Theoy Faculty of Infomatics Univesity of Debecen P. O. Box H-4 Debecen

More information

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies Supplementay infomation Efficient Enumeation of Monocyclic Chemical Gaphs with Given Path Fequencies Masaki Suzuki, Hioshi Nagamochi Gaduate School of Infomatics, Kyoto Univesity {m suzuki,nag}@amp.i.kyoto-u.ac.jp

More information

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function Abstact and Applied Analysis Volume 011, Aticle ID 697547, 7 pages doi:10.1155/011/697547 Reseach Aticle On Alze and Qiu s Conjectue fo Complete Elliptic Integal and Invese Hypebolic Tangent Function Yu-Ming

More information

(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2.

(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2. Paabola Volume 5, Issue (017) Solutions 151 1540 Q151 Take any fou consecutive whole numbes, multiply them togethe and add 1. Make a conjectue and pove it! The esulting numbe can, fo instance, be expessed

More information

PROBLEM SET #1 SOLUTIONS by Robert A. DiStasio Jr.

PROBLEM SET #1 SOLUTIONS by Robert A. DiStasio Jr. POBLM S # SOLUIONS by obet A. DiStasio J. Q. he Bon-Oppenheime appoximation is the standad way of appoximating the gound state of a molecula system. Wite down the conditions that detemine the tonic and

More information

ONE-POINT CODES USING PLACES OF HIGHER DEGREE

ONE-POINT CODES USING PLACES OF HIGHER DEGREE ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU

More information

Suborbital graphs for the group Γ 2

Suborbital graphs for the group Γ 2 Hacettepe Jounal of Mathematics and Statistics Volume 44 5 2015, 1033 1044 Subobital gaphs fo the goup Γ 2 Bahadı Özgü Güle, Muat Beşenk, Yavuz Kesicioğlu, Ali Hikmet Değe Keywods: Abstact In this pape,

More information

Goodness-of-fit for composite hypotheses.

Goodness-of-fit for composite hypotheses. Section 11 Goodness-of-fit fo composite hypotheses. Example. Let us conside a Matlab example. Let us geneate 50 obsevations fom N(1, 2): X=nomnd(1,2,50,1); Then, unning a chi-squaed goodness-of-fit test

More information

6 PROBABILITY GENERATING FUNCTIONS

6 PROBABILITY GENERATING FUNCTIONS 6 PROBABILITY GENERATING FUNCTIONS Cetain deivations pesented in this couse have been somewhat heavy on algeba. Fo example, detemining the expectation of the Binomial distibution (page 5.1 tuned out to

More information

Duality between Statical and Kinematical Engineering Systems

Duality between Statical and Kinematical Engineering Systems Pape 00, Civil-Comp Ltd., Stiling, Scotland Poceedings of the Sixth Intenational Confeence on Computational Stuctues Technology, B.H.V. Topping and Z. Bittna (Editos), Civil-Comp Pess, Stiling, Scotland.

More information

Compactly Supported Radial Basis Functions

Compactly Supported Radial Basis Functions Chapte 4 Compactly Suppoted Radial Basis Functions As we saw ealie, compactly suppoted functions Φ that ae tuly stictly conditionally positive definite of ode m > do not exist The compact suppot automatically

More information

arxiv: v1 [math.nt] 28 Oct 2017

arxiv: v1 [math.nt] 28 Oct 2017 ON th COEFFICIENT OF DIVISORS OF x n axiv:70049v [mathnt] 28 Oct 207 SAI TEJA SOMU Abstact Let,n be two natual numbes and let H(,n denote the maximal absolute value of th coefficient of divisos of x n

More information

On a generalization of Eulerian numbers

On a generalization of Eulerian numbers Notes on Numbe Theoy and Discete Mathematics Pint ISSN 1310 513, Online ISSN 367 875 Vol, 018, No 1, 16 DOI: 10756/nntdm018116- On a genealization of Euleian numbes Claudio Pita-Ruiz Facultad de Ingenieía,

More information

An upper bound on the number of high-dimensional permutations

An upper bound on the number of high-dimensional permutations An uppe bound on the numbe of high-dimensional pemutations Nathan Linial Zu Luia Abstact What is the highe-dimensional analog of a pemutation? If we think of a pemutation as given by a pemutation matix,

More information

The Erdős-Hajnal conjecture for rainbow triangles

The Erdős-Hajnal conjecture for rainbow triangles The Edős-Hajnal conjectue fo ainbow tiangles Jacob Fox Andey Ginshpun János Pach Abstact We pove that evey 3-coloing of the edges of the complete gaph on n vetices without a ainbow tiangle contains a set

More information

Syntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)

Syntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland) Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,

More information

Multiple Criteria Secretary Problem: A New Approach

Multiple Criteria Secretary Problem: A New Approach J. Stat. Appl. Po. 3, o., 9-38 (04 9 Jounal of Statistics Applications & Pobability An Intenational Jounal http://dx.doi.og/0.785/jsap/0303 Multiple Citeia Secetay Poblem: A ew Appoach Alaka Padhye, and

More information

Matrix Colorings of P 4 -sparse Graphs

Matrix Colorings of P 4 -sparse Graphs Diplomabeit Matix Coloings of P 4 -spase Gaphs Chistoph Hannnebaue Januay 23, 2010 Beteue: Pof. D. Winfied Hochstättle FenUnivesität in Hagen Fakultät fü Mathematik und Infomatik Contents Intoduction iii

More information

EM Boundary Value Problems

EM Boundary Value Problems EM Bounday Value Poblems 10/ 9 11/ By Ilekta chistidi & Lee, Seung-Hyun A. Geneal Desciption : Maxwell Equations & Loentz Foce We want to find the equations of motion of chaged paticles. The way to do

More information

I. CONSTRUCTION OF THE GREEN S FUNCTION

I. CONSTRUCTION OF THE GREEN S FUNCTION I. CONSTRUCTION OF THE GREEN S FUNCTION The Helmohltz equation in 4 dimensions is 4 + k G 4 x, x = δ 4 x x. In this equation, G is the Geen s function and 4 efes to the dimensionality. In the vey end,

More information

Deterministic vs Non-deterministic Graph Property Testing

Deterministic vs Non-deterministic Graph Property Testing Deteministic vs Non-deteministic Gaph Popety Testing Lio Gishboline Asaf Shapia Abstact A gaph popety P is said to be testable if one can check whethe a gaph is close o fa fom satisfying P using few andom

More information

EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS

EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in

More information

Construction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity

Construction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity Constuction and Analysis of Boolean Functions of 2t + 1 Vaiables with Maximum Algebaic Immunity Na Li and Wen-Feng Qi Depatment of Applied Mathematics, Zhengzhou Infomation Engineeing Univesity, Zhengzhou,

More information

gr0 GRAPHS Hanan Samet

gr0 GRAPHS Hanan Samet g0 GRPHS Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 074 e-mail: hjs@umiacs.umd.edu opyight 1997 Hanan

More information

Results on the Commutative Neutrix Convolution Product Involving the Logarithmic Integral li(

Results on the Commutative Neutrix Convolution Product Involving the Logarithmic Integral li( Intenational Jounal of Scientific and Innovative Mathematical Reseach (IJSIMR) Volume 2, Issue 8, August 2014, PP 736-741 ISSN 2347-307X (Pint) & ISSN 2347-3142 (Online) www.acjounals.og Results on the

More information

SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES

SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES italian jounal of pue and applied mathematics n. 35 015 (433 44) 433 SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF OPERATOR MATRICES Watheq Bani-Domi Depatment of Mathematics

More information

A solution to a problem of Grünbaum and Motzkin and of Erdős and Purdy about bichromatic configurations of points in the plane

A solution to a problem of Grünbaum and Motzkin and of Erdős and Purdy about bichromatic configurations of points in the plane A solution to a poblem of Günbaum and Motzkin and of Edős and Pudy about bichomatic configuations of points in the plane Rom Pinchasi July 29, 2012 Abstact Let P be a set of n blue points in the plane,

More information

Modified Linear Programming and Class 0 Bounds for Graph Pebbling

Modified Linear Programming and Class 0 Bounds for Graph Pebbling Modified Linea Pogamming and Class 0 Bounds fo Gaph Pebbling Daniel W. Canston Luke Postle Chenxiao Xue Cal Yege August 8, 05 Abstact Given a configuation of pebbles on the vetices of a connected gaph

More information

Relating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany

Relating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de

More information

Separation probabilities for products of permutations

Separation probabilities for products of permutations Sepaation pobabilities fo poducts of pemutations Olivie Benadi, Rosena R. X. Du, Alejando H. Moales and Richad P. Stanley Decembe 29, 2011 Abstact We study the mixing popeties of pemutations obtained as

More information

arxiv: v1 [math.ca] 12 Mar 2015

arxiv: v1 [math.ca] 12 Mar 2015 axiv:503.0356v [math.ca] 2 Ma 205 AN APPLICATION OF FOURIER ANALYSIS TO RIEMANN SUMS TRISTRAM DE PIRO Abstact. We develop a method fo calculating Riemann sums using Fouie analysis.. Poisson Summation Fomula

More information

Galois points on quartic surfaces

Galois points on quartic surfaces J. Math. Soc. Japan Vol. 53, No. 3, 2001 Galois points on quatic sufaces By Hisao Yoshihaa (Received Nov. 29, 1999) (Revised Ma. 30, 2000) Abstact. Let S be a smooth hypesuface in the pojective thee space

More information

We give improved upper bounds for the number of primitive solutions of the Thue inequality

We give improved upper bounds for the number of primitive solutions of the Thue inequality NUMBER OF SOLUTIONS OF CUBIC THUE INEQUALITIES WITH POSITIVE DISCRIMINANT N SARADHA AND DIVYUM SHARMA Abstact Let F(X, Y) be an ieducible binay cubic fom with intege coefficients and positive disciminant

More information

A THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM

A THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM A THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM DIEGO AVERNA AND GABRIELE BONANNO Abstact. The aim of this pape is twofold. On one hand we establish a thee citical

More information

On Continued Fraction of Order Twelve

On Continued Fraction of Order Twelve Pue Mathematical Sciences, Vol. 1, 2012, no. 4, 197-205 On Continued Faction of Ode Twelve B. N. Dhamenda*, M. R. Rajesh Kanna* and R. Jagadeesh** *Post Gaduate Depatment of Mathematics Mahaani s Science

More information

Chapter 5 Linear Equations: Basic Theory and Practice

Chapter 5 Linear Equations: Basic Theory and Practice Chapte 5 inea Equations: Basic Theoy and actice In this chapte and the next, we ae inteested in the linea algebaic equation AX = b, (5-1) whee A is an m n matix, X is an n 1 vecto to be solved fo, and

More information

Liquid gas interface under hydrostatic pressure

Liquid gas interface under hydrostatic pressure Advances in Fluid Mechanics IX 5 Liquid gas inteface unde hydostatic pessue A. Gajewski Bialystok Univesity of Technology, Faculty of Civil Engineeing and Envionmental Engineeing, Depatment of Heat Engineeing,

More information

Vanishing lines in generalized Adams spectral sequences are generic

Vanishing lines in generalized Adams spectral sequences are generic ISSN 364-0380 (on line) 465-3060 (pinted) 55 Geomety & Topology Volume 3 (999) 55 65 Published: 2 July 999 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Vanishing lines in genealized Adams spectal

More information

An intersection theorem for four sets

An intersection theorem for four sets An intesection theoem fo fou sets Dhuv Mubayi Novembe 22, 2006 Abstact Fix integes n, 4 and let F denote a family of -sets of an n-element set Suppose that fo evey fou distinct A, B, C, D F with A B C

More information

arxiv: v1 [math.na] 8 Feb 2013

arxiv: v1 [math.na] 8 Feb 2013 A mixed method fo Diichlet poblems with adial basis functions axiv:1302.2079v1 [math.na] 8 Feb 2013 Nobet Heue Thanh Tan Abstact We pesent a simple discetization by adial basis functions fo the Poisson

More information

SPECTRAL SEQUENCES. im(er

SPECTRAL SEQUENCES. im(er SPECTRAL SEQUENCES MATTHEW GREENBERG. Intoduction Definition. Let a. An a-th stage spectal (cohomological) sequence consists of the following data: bigaded objects E = p,q Z Ep,q, a diffeentials d : E

More information

STUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS HAVING THE SAME LOGARITHMIC ORDER

STUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS HAVING THE SAME LOGARITHMIC ORDER UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA doi: 104467/20843828AM170027078 542017, 15 32 STUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS

More information

MATH 417 Homework 3 Instructor: D. Cabrera Due June 30. sin θ v x = v r cos θ v θ r. (b) Then use the Cauchy-Riemann equations in polar coordinates

MATH 417 Homework 3 Instructor: D. Cabrera Due June 30. sin θ v x = v r cos θ v θ r. (b) Then use the Cauchy-Riemann equations in polar coordinates MATH 417 Homewok 3 Instucto: D. Cabea Due June 30 1. Let a function f(z) = u + iv be diffeentiable at z 0. (a) Use the Chain Rule and the fomulas x = cosθ and y = to show that u x = u cosθ u θ, v x = v

More information

Using Laplace Transform to Evaluate Improper Integrals Chii-Huei Yu

Using Laplace Transform to Evaluate Improper Integrals Chii-Huei Yu Available at https://edupediapublicationsog/jounals Volume 3 Issue 4 Febuay 216 Using Laplace Tansfom to Evaluate Impope Integals Chii-Huei Yu Depatment of Infomation Technology, Nan Jeon Univesity of

More information

Turán Numbers of Vertex-disjoint Cliques in r- Partite Graphs

Turán Numbers of Vertex-disjoint Cliques in r- Partite Graphs Univesity of Wyoming Wyoming Scholas Repositoy Honos Theses AY 16/17 Undegaduate Honos Theses Sping 5-1-017 Tuán Numbes of Vetex-disjoint Cliques in - Patite Gaphs Anna Schenfisch Univesity of Wyoming,

More information