STRONGLY REGULAR GRAPHS


 Ashlie Wiggins
 11 months ago
 Views:
Transcription
1 STRONGLY REGULAR GRAPHS By: BAHMAN AHMADI A Project Report for The Course ALGEBRAIC COMBINATORICS Instructor: Dr. Karen Meagher Department of Mathematics and Statistics University of Regina April, 2009.
2 In The Name of GOD, The Most Beneficent, The Most Merciful.
3 1 Introduction One of the most important family of regular graphs is the family of Strongly Regular Graphs (abbreviated SRG) which has so many beautiful properties. One of these wellknown properties is the fact that the eigenvalues of all SRGs depend only the parameters of these graphs. There are many SRGs arising from combinatorial concepts such as orthogonal arrays, Latin squares, conference matrices, designs and geometric graphs. In this report, we try to familiarize the reader with the concept of strongly regular graphs and their nice properties and connections with these combinatorial objects and to describe an interesting open problem related to the cores of SGRs. The main reference for this report is [1].
4 2 1. Definition and basic properties Definition 1.1. Let X be a graph which is neither empty nor complete. Then X is said to be a strongly regular graph (SRG) with parameters (n, k, a, c) if X is a k regular graph on n vertices in which every pair of adjacent vertices has a common neighbors and every pair of nonadjacent vertices has c common neighbors. Throughout the text, when X is supposed to be a SRG, unless otherwise stated, we assume that the parameters of X are (n, k, a, c). We will denote the adjacency matrix of any graph X with A(X). It easily follows from the definition that if X is a bipartite SRG, then a = 0; but as in the following example, the converse is not true. Example 1.2. i) The cycle C 4 is a (bipartite) SRG with parameters (4, 2, 0, 2). The cycle C 5 is a (nonbipartite) SRG with parameters (5, 2, 1, 0). It is easily seen that for any n 6 the cycle C n is not a SRG. ii) The Petersen graph P 10 is a SRG with parameters (10, 3, 0, 1); indeed since the diameter is 2, every nonadjacent pair of vertices has at least a common neighbor, and since the girth is 5, this common neighbor is unique. Also a = 0 follows from the fact that the girth is 5 and so P 10 has no triangle. iii) A connected graph X is said to be a Moore graph if diam(x) = d and girth(x) = 2d + 1. It can be seen ([1], p.90) that X is regular. Now if X is a Moore graph of diameter 2 on n vertices with valency k, then by similar argument as in part (ii), we can see that X is a SRG with parameters (n, k, 0, 1). iv) Let X be L(K n ), the line graph of K n. Then the number of vertices of X, is the number of edges of K n, namely n(n 1) 2. Let x, y V (K n ). Then the edge e = xy is adjacent to n 2 edges through x and to n 2 other edges through y. Therefor X is (2n 4) regular. Let e = xy and e = xz be two adjacent edges in
5 3 K n (i.e. e e as vertices in X). Then e and e are both adjacent to n 3 other edges through x, and both are adjacent to the edge yz. Thus every pair of adjacent vertices in X has n 2 common neighbors. Finally if e = xy and e = wz are two nonadjacent edges in K n ; then both of them are adjacent to the edges xw, xz, yz and yw. Consequently every pair of nonadjacent vertices in X, has 4 common neighbors. The result is that X is a SRG with parameters ( n(n 1) 2, 2n 4, n 2, 4). v) By a similar reasoning as in part (iv), we can see that L(K n,n ) is a SRG with parameters (n 2, 2n 2, n 2, 2). Proposition 1.3. If X is a SRG, then X, the complement of X, is also a SRG with parameters (n, k, ā, c), where k = n k 1, ā = n 2 2k + c, c = n 2k + a. Proof. It is obvious that X is (n k 1) regular and so k = n k 1. Consider two vertices x, y V (X) which are adjacent in X and so nonadjacent in X. Then x and y share c neighbors; each of them has k c neighbors not in common with the other. Therefore the number of all vertices in X \ {x, y} which are adjacent to non of x and y is n c 2(k c) 2, and so ā = n 2 2k + c. Now if x and y are nonadjacent in X, then they are adjacent in X, and so have a common neighbors. Therefore, by a similar argument, x and y will have n 2k + a common neighbors in X; that is, c = n 2k + a. Definition 1.4. Let X be a SRG. Then X is said to be primitive if both X and X are connected. We say X is imprimitive if it is not primitive. Lemma 1.5. Let X be a SRG. Then the following conditions are equivalent:
6 4 i) X is not connected; ii) c = 0; iii) a = k 1; iv) X is isomorphic to mk k+1, for some m > 1. Proof. Suppose X is not connected and let x, y V (X) be such that there is no path joining them to each other. So x is not adjacent to y, and they cannot have a common neighbor; therefore c = 0. Let c = 0, and let x, y V (X) be adjacent. If z V (X) and z y, then x must be adjacent to z; indeed, if x is not adjacent to z, since they have y as a common neighbor, then c 0. Thus x is adjacent to all the neighbors of y and so a = k 1. Obviously a = k 1 implies that each component of X has to be a complete graph, and since the degree is k, each component has to be isomorphic to K k+1, and the result follows. The part (iv) (i) is trivial. Corollary 1.6. Suppose X is an imprimitive SRG. Then either X = mk k+1 or X = mk k+1, for some m > 1. It is reasonable to ask: if n, k, a, c are some positive integers such that k < n and a, c k, whether they are parameters of some SRG or not. The following lemma provides us with a simple feasibility condition. Lemma 1.7. If X is a SRG with parameters (n, k, a, c), then k(n a 1) = (n k 1)c. Proof. Fix a vertex u V (X), and let A be the set of all neighbors of u, and B = V (X) \ A. Note that A = k and B = n k 1. We count t, the number of all edges between A and B, in two ways.
7 5 First, each vertex in A is adjacent to a vertices in A and so is adjacent to k 1 a vertices in B. Thus t = A (k a 1) = k(k a 1). Second, any vertex x B, is adjacent to c vertices in A, since x is not adjacent to u. Therefor t = B c = (n k 1)c, and the result follows. 2. Eigenvalues In this section we try to determine all the eigenvalues of the strongly regular graphs using their parameters. We shall show that all SRGs have at most three distinct eigenvalues and evaluate their multiplicities. Let X be a SRG and let A be the adjacency matrix of X. Note that the ij th entry of the matrix A 2 is the number of walks of length 2 joining i to j. Consider the following cases: If i = j, then (A 2 ) ij is the degree of i. So all the diagonal entries of A 2 are equal to k. If i j and they are adjacent, then (A 2 ) ij is the number of common neighbors of i and j. Thus (A 2 ) ij = a. If i j and they are nonadjacent, then (A 2 ) ij is the number of common neighbors of i and j. Thus (A 2 ) ij = c. Consequently we have the following identity: A 2 = ki + aa + c(j I A), where J is the n n all 1 s matrix. We may rewrite it as A 2 (a c)a (k c)i = cj.
8 6 Since X is k regular, k is an eigenvalue of A with the eigenvector 1, which is the all 1 s vector of length n. Furthermore, if z is another eigenvector of A with eigenvalue λ, then z has to be orthogonal to 1. Therefore A 2 z (a c)az (k c)iz = cjz = 0, so λ 2 (a c)λ (k c) = 0. This means that the other eigenvalues of A are the roots of the monic quadratic equation (2.1) x 2 (a c)x (k c) = 0, Set = (a c) 2 + 4(k c). Then the roots of (2.1), i.e. the eigenvalues of A other than k, are (2.2) θ = (a c) + 2, τ = (a c). 2 Now θτ = (c k) and therefore, for the cases in which c < k, θ and τ have opposite signs. We always assume that τ < 0. Note that c = k if and only if X = mk k+1, for some m > 1. Thus for a strongly regular graph X, which is not isomorphic to mk k+1, (m > 1), we have τ < 0 and θ > 0. Next we try to find the multiplicities of the eigenvalues. We do the work for connected SRGs and the result for all SRGs will follow easily. Let X be a connected SRG with eigenvalues k, θ and τ. Since X is connected, the multiplicity of k is 1. Denote by m θ and m τ the multiplicities of θ and τ, respectively. Because tr(a) = 0, we have that m θ +m τ = n 1 and m θ θ+m τ τ = k. Thus following equalities hold: m θ = (n 1)τ + k, m τ = θ τ (n 1)θ + k. θ τ
9 7 On the other hand, (θ τ) 2 = (θ + τ) 2 4θτ = (a c) 2 + 4(k c) =. We can, therefore, write m θ and m τ as m θ = 1 2k + (n 1)(a c) [(n 1) ], 2 (2.3) m τ = 1 2k + (n 1)(a c) [(n 1) + ]. 2 Note that in equations (2.3), right hand sides of the equations have to be integers. Therefore, (2.3) also can be regarded as other feasibility conditions on a parameter set (to be parameters of some SRGs). Following proposition shows that having three distinct eigenvalues, is indeed a sufficient condition for connected regular graphs to be strongly regular. Proposition 2.1. If X is a connected k regular graph with exactly three distinct eigenvalues k, θ and τ, then X is strongly regular. Proof. Consider the matrix (2.4) M = 1 (A θi)(a τi), (k θ)(k τ) where A is the adjacency matrix of X and n is the number of vertices of X. Since M is a polynomial in A, we can see that all the eigenvalues of M are 0 or 1. Let z be an eigenvector of A with eigenvalue θ. Then 1 Mz = (k θ)(k τ)(a θi)(a τi)z 1 = (k θ)(k τ)(a θi)(az τz) 1 = (k θ)(k τ)(a θi)(θz τz) = 1 (k θ)(k τ) (θaz τaz θ2 z + θτz) = 1 (k θ)(k τ) (θ2 z τθz θ 2 z + θτz) = 0. Therefore all eigenvectors of A corrosponding to the eigenvalue θ are in the kernel of M. The same argument shows that this is also the case for all the eigenvectors of A corresponding to the eigenvalue τ. Since the set of all eigenvectors of A is
10 8 a basis for R n, this implies that the rank of M is equal to the multiplicity of the eigenvalue k which is 1 (since X is connected). That is, all the rows of M are linear combinations of one row. On the other hand, 1 is an eigenvalue of M with eigenvector 1, and so M1 = 1. Therefor M = 1 nj. Substituting this in (2.4) yields A 2 = θτi (θ + τ)a (k θ)(k τ) J. n Since we could write A 2 as a linear combination of I, A and J, this shows that A is a strongly regular graph (i.e. the parameters are welldefined). Definition 2.2. Let X be a SRG with m θ = m τ. Then X is said to be a conference graph. This name arises from the fact that these graphs are associated to socalled symmetric conference matrices. A conference matrix C of order n is an n n, (0, 1, 1) matrix whose diagonal entries are all 0 and CC T = (n 1)I. If C is a symmetric conference matrix, then by permuting rows and columns (if necessary) we may assume that the first row and the first column of C are all 1 s except the element C 11 = 0. Now delete the first row and the first column and switch all +1 s to 0 and all 1 s to 1 to obtain the (n 1) (n 1) matrix A C. Let X C be a graph whose adjacency matrix is A C. It is not hard to show that X C is a conference graph. It has been shown that if n 2 (mod2), then a conference matrix of order n exists if and only if n 1 is the sum of two squares. (For a proof of this, you may refer to [2] or [3]). Therefore we have the following result. Corollary 2.3. A conference graph with n vertices exists if and only if n is the sum of two squares. Example 2.4. Dose a SRG with parameters (21, 10, 4, 5) exists?
11 9 Answer: If X is a SRG with parameters (21, 10, 4, 5), then using (2.3), we see that m θ = m τ = 10, and so X would be a conference graph; but this is contradiction, since 21 is not sum of two squares. Recall that a graph X is said to be vertextransitive if for any pair {x, y} V (X), there is an automorphism g on X such that g(x) = y. One of the obvious properties of vertextransitive graphs is that they are regular. Example 2.5. In this example we introduce an important (infinite) family of conference graphs, namely the Paley graphs. Let q be a prime power such that q 1 (mod4), and let GF (q) be a filed with q elements. Then the Paley graph P (q) is a graph with vertex set GF (q), in which two vertices are adjacent if and only if their difference is a square of an element of GF (q). To show that P (q) is not directed, we should show that 1 is a square. Since GF (q) = GF (q) \ {0} is a cyclic (multiplicative) group, there is an α GF (q) such that GF (q) =< α >= {α, α 2,..., α q 1 = 1}. Let C = {(α 1 ) 2, (α 2 ) 2, (α 3 ) 2,..., (α (q 1)/2 ) 2 } be the set of all squares in GF (q). Obviously C is a subgroup of GF (q) of order (q 1)/2. We claim that 1 C. Note that (α (q 1 )/4) GF (q), (since q 1 (mod4)), and ((α (q 1)/4 ) 2 ) 2 = α q 1 = 1 (α (q 1)/4 ) 2 = ±1; and since GF (q) =< α >, we must have 1 = (α (q 1)/4 ) 2 C (since otherwise we would have < α > < GF (q) ). Now for any β GF (q) consider the homomorphism x x + β. It is easily seen that this homomorphism is an automorphism, and therefore P (q) is vertextransitive. Consequently P (q) is regular. On the other hand the vertex 0 is adjacent to all the elements of C. Thus P (q) is ( q 1 2 ) regular.
12 10 We claim that P (q) is selfcomplementary; i.e. P (q) P (q). Let 0 β / C and define φ : P (q) P (q) by x βx. This map is clearly welldefined and bijection. We claim that φ is an isomorphism. To show that, first note that for some odd number s, β = α s. If x, y V (P (q)) are adjacent in P (q), then x y = (α i ) 2, for some 1 i (q 1)/2. Therefore φ(x) φ(y) = βx βy = βα 2i = α 2i+s / C; that is, φ(x) and φ(y) are not adjacent in P (q), and so are adjacent in P (q). Also if x and y are not adjacent in P (q), then x y = α t for some odd number t. So φ(x) φ(y) = βx βy = βα t = α s+t C; that is, φ(x) and φ(y) are adjacent in P (q), and so are not adjacent in P (q). Consequently φ is an isomorphism and P (q) is selfcomplementary. Now let γ C, and consider the map x γx. It is easily seen that this is an automorphism of P (q), which fixes 0 and maps neighbor 1 of 0 to γ. We can deduce that the number of common vertices of 0 and γ is independent from the choice of γ C. Thus the number of triangles on an edge containing 0 is independent of the edge. Since P (q) is vertextransitive, it follows that any pair of adjacent vertices in P (q) has the same number of common vertices. On the other hand since P (q) is selfcomplementary, every pair of nonadjacent vertices of P (q) has the same common neighbors as well. Therefor P (q) is a strongly regular graph with parameters (n = q, k = q 1 2, a, c). Finally we determine a and c. Since a = ā, from Proposition 1.3, we have a c = n 2k 2 = q 2 q = 1, and using the fact that k(k a 1) = kc, we have a + c = k 1. Together these imply that c = k/2 and a = c 1; thus a = (q 5)/4 and c = (q 1)/4, and so P (q) is a SRG with parameters (q, q 1 2, q 5 4, q 1 4 ).
13 11 Using these parameters we see that θ = ( 1 + q)/2 and τ = ( 1 q)/2. Furthermore the multiplicities are m θ = m τ = (q 1)/2. Consequently P (q) is a conference graph. As we saw in the example above, all the parameters of the Paley graph can be written in terms of q, the number of vertices. We show that this is the case for all conference graphs. We need the following lemma. Lemma 2.6. Let X be a SRG with distinct eigenvalues k, θ and τ. Then m θ m τ = nk k (θ τ) 2. Proof. Let 1 k k P = 1 θ 1 θ 1 τ 1 τ in which first, second and third column are the eigenvalues of I, X and X. We show that (2.5) P T 0 m θ 0 P = n 0 k m τ 0 0 k Denote the left hand side of (2.5) by M. Then we have M 12 = k + m θ θ + m τ τ = 0, M 13 = k + m θ (1 θ) + m τ ( 1 τ) = tr(a( X)) = 0, M 23 = k k + m θ θ( 1 θ) + m τ τ( 1 τ) = tr(a(x)a( X)) = 0, where A(X) is the adjacency matrix of X. To see that tr(a(x)a( X)) = 0, it may help to note that tr(bc) = ij B ij C ji. Given that M is symmetric, these equations show that all the offdiagonal entries of M are zero. Similar calculations show that the diagonal entries of M are n, tr(a(x) 2 ) and tr(a( X) 2 ). But tr(a(x) 2 ) is the number of closed walks of length
14 12 two in X, namely twice the number of edges. Therefore tr(a(x) 2 ) = nk. Similarly tr(a( X) 2 ) = n k and the claim is proved. Now if we take determinant of both sides of (2.5), we will find (det(p )) 2 m θ m τ = n 3 k k (n(τ θ)) 2 m θ m τ = n 3 k k; and the lemma follows. Proposition 2.7. Let X be a conference graph with parameters (n, k, a, c). Then k = (n 1)/2, a = (n 5)/4 and c = (n 1)/4. Proof. Since m θ + m τ = n 1 and m θ = m τ, we have m := m θ = m τ = (n 1)/2. Obviously gcd(m, n) = 1 (i.e. m and n are relatively prime). By Lemma 2.6, we have m 2 nk k m 2 k k. On the other hand k + k = n 1, and so k k (n 1) 2 /4 = m 2 and equality holds if and only if k = k. Therefore k = k = m. Since m(θ + τ) = mθ + mτ = k, we see that a c = θ+τ = k/m = 1 and so a = c 1. Finally because k(k a 1) = kc, we find c = k a 1, and hence c = k/2. Putting these all together shows that X has the stated parameters. If a SRG, X is not conference graph, then m τ m θ will be a nonzero integer. But using (2.3), we have m τ m θ = 2k + (n 1)(a c). Therefore must be a perfect square, and so θ and τ are rational numbers. On the other hand θ and τ are the roots of the monic quadratic equation (2.1). Consequently θ and τ are integers. Therefore we have the following interesting result. Corollary 2.8. Let X be a SRG with eigenvalues k, θ and τ. Then either
15 13 i) X is a conference graph, or ii) (θ τ) 2 is a perfect square and θ and τ are integers. When a SRG has p or 2p vertices, where p is a prime number, using the facts above, we would have very interesting information about the parameter set; in what follows we prove these results. Proposition 2.9. If X is a SRG on p vertices, where p is a prime number, then X is a conference graph. Proof. By Lemma 2.6, we have (2.6) (θ τ) 2 = pk k m θ m τ. By Corollary 2.8, if X is not a conference graph, then (θ τ) 2 will be a perfect square. Thus pk k m θ m τ is a perfect square having p as a factor. So p 2 must divide pk k m θ m τ ; that is, p must divide k k m θ m τ. But this cannot be the case, since all of the numbers k, k, m θ and m τ are nonzero numbers less than p. This contradiction shows that X has to be a conference graph. Lemma Let X be a primitive SRG with an eigenvalue λ of multiplicity n/2. If k < n/2, then the parameters of X are ((2λ + 1) 2 + 1, λ(2λ + 1), λ 2 1, λ 2 ). Proof. Since X is connected, λ k, and so λ is either θ or τ. Since m θ = n 1 m τ, we see that m θ m τ and hence θ and τ are integers. We will show by contradiction that λ = θ. Suppose λ = τ and so m τ = n/2. Note that m τ = (n 1)θ + k θ τ = nθ + k θ θ τ m τ (nθ + k θ).
16 14 On the other hand m τ n. Therefore m τ must divide k θ. Now we claim that 0 < θ < k. Indeed if θ = 0, then using the fact that θτ = (c k), we will have c = k. Therefore by Proposition 1.3, ā = n k 2 = k 1, and so by Lemma 1.5, X would be disconnected which is a contradiction. Consequently θ > 0. Also if θ = k, then using the fact that m θ = n 1 m τ, we will have that the multiplicity of k as an eigenvalue of X is n 2 1 which contradicts with the connectivity of X. So the claim is proved; that is 0 < k θ < n/2 and so m τ (= n/2) cannot divide k θ. This contradiction shows that we must have λ = θ and so m θ = n/2. Next, note that m θ = (n 1)τ + k θ τ = nτ + k τ θ τ m θ (nτ + k τ), and since m θ n, m θ must divide k τ. But since k τ, k τ 2k < n, and so we must have m θ = k τ. Set m = m θ = n/2, so m τ = m 1. Since tr(a(x)) = 0, we have k + mθ + (m 1)τ = 0 k + mθ + mτ τ = 0 k + mθ + mτ k + m = θ + τ = 0, and since tr(a(x) 2 ) = nk, we will have k 2 + mθ 2 + (m 1)τ 2 = 2mk k 2 + mθ 2 + mτ 2 τ 2 = 2mk k 2 + mθ 2 + mτ 2 k 2 + 2mk m 2 = 2mk θ 2 + τ 2 = m. Combining these we will get m = θ 2 + (θ + 1) 2 and hence k = θ(2θ + 1). Also since c k = θτ = (θ 2 + θ), we have c = θ 2. Finally using a c = θ + τ = 1, we get a = θ 2 1 and we are done.
17 15 Lemma If X is a SRG with k and k coprime, then X is imprimitive. Proof. Note that k(k a 1) = kc. Thus k divides kc. Since gcd(k, k) = 1, k must divide c. Since c k, either c = 0 or k = c. If c = 0, then Lemma 1.5 implies that X is not connected, and if k = c, using Proposition 1.3, we will find ā = k 1, and again by Lemma 1.5, we deduce that X would not be connected. Therefore, in any case X is imprimitive. It can be inferred from the last lemma that if p is a prime number, then all SRGs on p + 1 vertices are imprimitive. Proposition Let X be a primitive SRG on 2p vertices. Then the parameters of X or its complement are ((2θ + 1) 2 + 1, θ(2θ + 1), θ 2 1, θ 2 ). Proof. By taking complement if necessary, we may assume that k (2p 1)/2. Note that X cannot be a conference graph, since otherwise we would have 2m θ + 1 = 2p which is contradiction. Therefor θ and τ are integers. By Lemma 2.6 we have (θ τ) 2 m θ m τ = 2pk k, thus p divides (θ τ) 2 m θ m τ. Hence p must divide either (θ τ) 2 or m θ m τ. In the former case, (θ τ) 2 must be divisible by p 2 as well; that is p 2 must divide 2pk k. So p must divide k k. By assumption, k (2p 1)/2, thus p would divide k, and hence k = p and k = p 1; but by Lemma 2.11, this is impossible, since X is primitive. Consequently p must divide m θ m τ and so either m θ = p or m τ = p and the result follows form Lemma Latin Square Graphs In this section we will discuss about the graphs arising from Latin squares, orthogonal arrays, generalized quadrangles and etc. and will try to investigate their properties. We will, also, discuss the problem of cores of SRGs.
18 16 Definition 3.1. A Latin square L = [l ij ] of order n is an n n matrix with entries from a set of size n (called symbols) such that each row and each column contains each symbol exactly once. Example 3.2. The matrix L = is a Latin square of size 4. If G is a group of order n, the the multiplication table of G is a Latin square of size n. Given a Latin square L = [l ij ] of size n, define the graph X to be a graph whose vertex set is the set of all ordered triples (i, j, l ij ) and two vertices are adjacent if and only if they agree exactly in one position. The graphs associated to Latin squares are special cases of the graphs associated to orthogonal arrays. Definition 3.3. An orthogonal array with parameters k and n, OA(k, n), is a k n 2 matrix with entries from a set of size n, in which n 2 ordered pairs defined by any pair of rows of the array are all distinct. Example 3.4. The matrix is an OA(3, 4) Given a Latin square L of order n, we can build an OA(3, n) by taking the three rows of the array to be row numbers, column numbers and symbols. By reversing this process, we can build a Latin square of order n from an OA(3, n).
19 17 Given an orthogonal array OA(k, n), define the graph X to be a graph whose vertices are the column vectors of OA(k, n) and two vertices are adjacent if and only if their corresponding vectors have the same entry exactly in one position. Theorem 3.5. The graph X defined by an OA(k, n) is a SRG with parameters (n 2, (n 1)k, n 2 + (k 1)(k 2), k(k 1)). Proof. Let x = (x 1,..., x k ) V (X). Since for each 0 i k, the element x i happens n times in the i th row, x is adjacent to n 1 other vertices (i.e. vectors) which have the same entry in their i th position. Therefore x is adjacent to k(n 1) vertices and so X is regular of valency k(n 1). Let x = (x 1,..., x k ), y = (y 1,..., y k ) V (X) be adjacent and assume they agree in i th position. For an arbitrary vertex z = (z 1,..., z k ) V (X) to be adjacent to both x and y, we must have either z i = x i = y i or z s = x s and z t = y t, for some s t {1,..., k} \ {i}. For the first case, there are n 2 possibilities, since the entry x i = y i occurs n 2 times in the i th row and columns other than x and y. Also in the second case, there are (k 1)(k 2) possible choices for z, since (s, t) can be chosen in (k 1)(k 2) ways and because of the property of OA(k, n), z is identified by choosing (s, t). Therefor every two adjacent vertices have a = n 2 + (k 1)(k 2) common neighbors. Let x = (x 1,..., x k ), y = (y 1,..., y k ) V (X) are not adjacent. For an arbitrary vertex z = (z 1,..., z k ) V (X) to be adjacent to both x and y, we must have z i = x i and z j = y j, for some i j {1,..., k}. We can choose such i and j in k(k 1) ways, and because of the property of OA(k, n), z is identified by choosing (i, j). Therefore every pair of nonadjacent vertices has c = k(k 1) common neighbors and the theorem is proved.
20 18 Note that the graph defined by an OA(2, n) is isomorphic to L(K n,n ). Now we study the chromatic numbers of the graphs associated to Latin squares and orthogonal arrays. Proposition 3.6. Let L be a Latin square of order n, X be the graph corresponding OA(3, n), the orthogonal array defined by L. Then α(x) n χ(x). Proof. Identify the n 2 vertices of X with the cells of L. Since all the entries in a row (or in a column) are mutually adjacent, any independent set of vertices of X, can contain at most one element form each row. Therefore α(x) n. On the other hand, if there is a coloring of X with fewer than n classes, then at least one of color classes will contain more than n vertices, and since a color class is an independent set, this is a contradiction and so χ(x) n. An OA(k, n) is said to be extendible if we can extend it to an OA(k + 1, n) by adding a new row to it. The following result states when the graph corresponding to an OA(k, n) is n colorable. Theorem 3.7. Let X be the graph corresponding to an OA(k, n). Then χ(x) = n if and only if OA(k, n) is extendible. Proof. Assume first that χ(x) = n and that V (X) = V 1 V n is the partition of V (X) to the color classes of a proper n coloring. Obviously V i = n, for each 1 i n. Define the (k + 1)st row R k+1, such that its entry in j th column is i, where j V i. To show that R k+1 extends OA(k, n) to OA(k + 1, n), let R l be ( ) r the l th row of the OA(k, n), and suppose the ordered pair appears in two s columns j 1 and j 2 by two rows R l and R k+1. Then two vertices of X corresponding to the j 1 th and j 2 th columns cannot be in the same color class, since they are adjacent. Also since R k+1 has element s in both j 1 th and j 2 th columns, by
21 19 definition, these two columns are in the same color class. This contradiction shows that R k+1 extends OA(k, n) to a OA(k + 1, n). Now assume that we can extend OA(k, n) ro an OA(k + 1, n) and let R k+1 be the new added row. Then color each vertex j in X by the color i {1,..., n} where the entry of column j in the row R k+1 is i. It is easily seen that this coloring is proper and each color class contains n vertices. In the rest of this section we study SRGs arising from other combinatorial objects, namely generalized quadrangles. Definition 3.8. An incidence structure I = (P, L, I) is a set P of points, along with a set L of lines (disjoint from P), and a relation I P L called incidence. If (p, L) I, then we say that the point p and the line L are incident. A partial linear space is an incidence structure in which any two points are incident with at most one line. The definition of partial linear space implies that also any two lines are incident with at most one point. From these we can see that the girth of any partial linear space is at least six. Given an incidence structure I, we define the incidence graph, X(I), of I, to be a graph with vertex set P L, where two vertices are adjacent if and only if they are incident. From the definition it can be easily inferred that X(I) is bipartite with bipartition (P, L). Conversely, we can build an incidence structure from a given bipartite graph: define P to be one part, and L to be the other part. Terminologies.
22 20 In an incidence structure, when a point p and a line L are incident, we usually say that L contains p and p lies on L. Also when two points are incident to a common line, we say that these two points are joined by a line or are collinear; similarly, when two lines are incident to a common point, we say that these two lines meet at a point or are concurrent. Definition 3.9. A generalized quadrangle of order (s, t), GQ(s, t), is a partial linear space in which every line contains s + 1 points and every point lies on t + 1 lines; in addition if p is a point not in a line L, then there is a unique point on L collinear with p. Example Let P be the set of all edges of K 6 and L be the set of all 1factors of K 6. We define the incidence of an e P and an F L to be simply e F. Since any 1factor of K 6 is identified by two of its elements, we conclude that every two points can be joined at most by one line. Therefore this incidence structure is a partial linear space. Furthermore, if an edge e is not in a 1factor F, then e has no common vertices with exactly one element e F ; thus e and e belong to one other 1factor. The translation of this fact to the language of incident structures is that, any point e not in a line L is collinear with exactly one point on L. Finally, we see that every line contains 3 points and every points lies on 3 lines. The conclusion is that this incident structure is a GQ(2, 2). The generalized quadrangles are special cases of some other incidence structures called partial geometries in which given a line L and a point p not in L, there are exactly α points on L which are collinear with p. Definition The point graph of a generalized quadrangle GQ(s, t) is a graph whose vertex set is P, the set of points of the GQ(s, t), and two vertices are adjacent if and only if they are collinear.
23 21 The number of vertices of the point graph of a GQ(s, t) is (s + 1)(st + 1). To see that, let L be a fixed line in the GQ(s, t). It has s + 1 points. Each of these points lies on (t+1) 1 lines other than L, each of which has (s+1) 1 points other than the point which lies on L. Therefore we have counted (s+1)+(s+1)(ts) = (s+1)(st+1) points. Now note that since each line meets L, we have considered all lines and that no two of the mentioned lines meet out of L, since otherwise there would be a point not in L, which is collinear with two distinct points of L, which is a contradiction, and so the claim is proven. The point graph of the GQ(2, 2) defined in Example 3.10 is L(K 6 ) which is a SRG. We show that this is the case for the point graphs of all nontrivial generalized quadrangles. Proposition Let X be a point graph of a GQ(s, t), with s, t > 1. Then X is a SRG with parameters ((s + 1)(st + 1), s(t + 1), s 1, t + 1). Proof. Let p be an arbitrary vertex of X, i.e. a point in GQ(s, t). Then p lies on t + 1 lines, any two of which have exactly the point p in common. So p is collinear with s(t + 1) points; thus X is regular of valency s(t + 1). Now let p and p be two collinear points, and let both lie on the line L. there are s 1 other points on L which are so collinear with both p and p. It is clear that no point out of L can be collinear with both of p and p. Therefore a = s 1. Finally let p and p be two noncollinear points. There are t + 1 lines through p, and since p is not on any of them, p is collinear with exactly one point on each of these lines. In other words, the vertices p and p have exactly t + 1 common neighbors, and so c = t + 1, and the proposition is proved.
24 22 Our final goal is to have a short discussion about the problem of the cores of SRGs and to know what one can say about the core of a SRG. Recall that a graph X is core if all the endomorphisms of X are automorphisms; and that a subgraph Y of X is the core of X, denoted by X, if Y is core and there is a homomorphism X Y. (To get more information about the cores see chapter 6 of [1].) For each family of graphs it is always an interesting question to ask if the members are cores, and if not, to find their cores. It is, therefore, reasonable to ask the same question about the strongly regular graphs. Small examples show that we can not give the same answer to all SRGs; in other words, C 4 is a SRG with core K 2, while C 5 is a SRG which is core itself. As other examples, we see that the Petersen graph is core as well, while the core of L(K 5 ) is K 3. In all these examples, either the SRG is core or has a complete graph as its core. Indeed it has been conjectured [4] that this is the case for all SRGs. This problem is still open but in [5], along with some other subfamilies of SRGs, it has been shown that the conjecture is true for point graphs of generalized quadrangles. Theorem 3.13 (5). Let X be the point graph of a generalized quadrangle GQ(s, t) with s, t > 1. Then every endomorphism of X which is not an isomorphism, has a clique of size s + 1 as its image.
25 23 References [1] C. Godsil, G. Royle, Algebraic Graph Theory, Graduate Texts in Math. 207 SpringerVerlag (2001). [2] Belevitch, V. (1950), Theorem of 2nterminal networks with application to conference telephony. Electr. Commun., vol. 26, pp [3] van Lint, J.H., and Seidel, J.J. (1966), Equilateral point sets in elliptic geometry. Indagationes Mathematicae, vol. 28, pp [4] P.J. Cameron, P.A. Kazanidis, Cores of symmetric graphs. Preprint, [5] C. Godsil, G.F. Royle, Cores of geometric graphs. Preprint, 2008.
Matrix techniques for strongly regular graphs and related geometries
Matrix techniques for strongly regular graphs and related geometries Supplement to the notes of W. Haemers Intensive Course on Finite Geometry and its Applications, University of Ghent, April 314, 2000
More informationThe Second Subconstituent of some Strongly Regular Graphs. Norman Biggs
The Second Subconstituent of some Strongly Regular Graphs Norman Biggs Department of Mathematics London School of Economics Houghton Street London WC2A 2AE U.K. n.l.biggs@lse.ac.uk February 2010 Abstract
More informationCOMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the HigmanSims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationSOLUTIONS TO PROBLEM SET 6
SOLUTIONS TO PROBLEM SET 6 18.6 SPRING 16 Note the difference of conventions: these solutions adopt that the characteristic polynomial of a matrix A is det A xi while the lectures adopt the convention
More informationOrthogonal Latin squares and finite projective planes
Chapter 9 Orthogonal Latin squares and finite projective planes Math 40, Spring 0 9. Latin squares Suppose that you wish to make a quilt with 9 patches in a 3 by 3 square but there are only 3 different
More informationUniquely C 4 Saturated Graphs
Uniquely C 4 Saturated Graphs Joshua Cooper, John Lenz, Timothy D. LeSaulnier, Paul S. Wenger, Douglas B. West January 26, 2010 Abstract For a fixed graph H, a graph G is uniquely Hsaturated if G does
More informationQuantum Physics and Graph Spectra
Bristol, July 2009 Outline 1 Background 2 State Transfer Operators and Walks Periodicity and State Transfer VertexTransitive Graphs Some Questions 3 Awful Graphs Matrices Spectra Physics Summary Quote
More informationLecture 1: An Introduction to Spectral Theory
Spectral Graph Theory Instructor: Padraic Bartlett Lecture 1: An Introduction to Spectral Theory Week 3 Mathcamp 2011 1 Motivation/Definitions For those of you who ve been in the graph theory courses for
More informationINTRODUCTION TO RAMSEY THEORY. Kristina Buschur
INTRODUCTION TO RAMSEY THEORY Kristina Buschur 1. Introduction In general, Ramsey theory deals with the guaranteed occurrence of specific structures in some part of a large arbitrary structure which has
More informationGraphs with three eigenvalues
Graphs with three eigenvalues Jack Koolen Joint work with Ximing Cheng and it is work in progress School of Mathematical Sciences, University of Science and Technology of China Villanova University, June
More informationSome Results on 2Lifts of Graphs
Some Results on Lifts of Graphs Carsten Peterson Advised by: Anup Rao August 8, 014 1 Ramanujan Graphs Let G be a dregular graph. Every dregular graph has d as an eigenvalue (with multiplicity equal
More informationSolutions to Exercises Chapter 8: Steiner triple systems
Solutions to Exercises Chapter 8: Steiner triple systems 1 Kirkman s original (incomplete, but basically correct) proof of the existence of Steiner triple systems went as follows. Kirkman defined two kinds
More informationHadamard and conference matrices
Hadamard and conference matrices Peter J. Cameron University of St Andrews & Queen Mary University of London Mathematics Study Group with input from Rosemary Bailey, Katarzyna Filipiak, Joachim Kunert,
More informationCHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism
CHAPTER 2 Graphs 1. Introduction to Graphs and Graph Isomorphism 1.1. The Graph Menagerie. Definition 1.1.1. A simple graph G = (V, E) consists of a set V of vertices and a set E of edges, represented
More informationA graphical characterization of the group Co 2
A graphical characterization of the group Co 2 Hans Cuypers Department of Mathematics Eindhoven University of Technology Postbox 513, 5600 MB Eindhoven The Netherlands 18 September 1992 Abstract In this
More informationCOLLINEATIONS OF PROJECTIVE PLANES
COLLINEATIONS OF PROJECTIVE PLANES TIMOTHY VIS 1. Fixed Structures The study of geometry has three main streams: (1) Incidence Geometry: the study of what points are incident with what lines and what can
More informationarxiv: v2 [math.co] 8 Mar 2016
> k HOMOGENEOUS INFINITE GRAPHS OVE AHLMAN arxiv:1601.07307v2 [math.co] 8 Mar 2016 Abstract. In this article we give an explicit classification for the countably infinite graphs G which are, for some k,
More informationSolutions to Exercises Chapter 11: Graphs
Solutions to Exercises Chapter 11: Graphs 1 There are 34 nonisomorphic graphs on 5 vertices (compare Exercise 6 of Chapter 2). How many of these are (a) connected, (b) forests, (c) trees, (d) Eulerian,
More information1 Introduction. A Partition Problem for Sets of Permutation Matrices
A Partition Problem for Sets of Permutation Matrices Richard A. Brualdi Department of Mathematics, University of Wisconsin, Madison, WI 53706. brualdi@math.wisc.edu Hanley Chiang and ChiKwong Li Department
More informationMATH 2030: EIGENVALUES AND EIGENVECTORS
MATH 200: EIGENVALUES AND EIGENVECTORS Eigenvalues and Eigenvectors of n n matrices With the formula for the determinant of a n n matrix, we can extend our discussion on the eigenvalues and eigenvectors
More informationMT5821 Advanced Combinatorics
MT5821 Advanced Combinatorics 6 Generalised polygons Generalised polygons are a class of geometries introduced by the Belgian geometer Jacques Tits (winner of the Abel prize along with John Thompson a
More information2. Determine each of the 11 nonisomorphic graphs of order 4, and give a planar representation of each.
Chapter 11 Homework. Determine each of the 11 nonisomorphic graphs of order 4, and give a planar representation of each. 3. Does there exist a graph of order 5 whose degree sequence equals (4, 4, 3,, )?
More informationMerciadri Luca
A Sudoku Matrix Study: Determinant, Golden Ratio, Eigenvalues, Transpose, NonHermitianity, NonNormality, Orthogonality Discussion, Order, Condition Number Merciadri Luca LucaMerciadri@studentulgacbe
More informationDefinitions and examples
Chapter 1 Definitions and examples I hate definitions! Benjamin Disraeli In this chapter, we lay the foundations for a proper study of graph theory. Section 1.1 formalizes some of the graph ideas in the
More informationCHAPTER III  MARKOV CHAINS
CHAPTER III  MARKOV CHAINS JOSEPH G. CONLON 1. General Theory of Markov Chains We have already discussed the standard random walk on the integers Z. A Markov Chain can be viewed as a generalization of
More informationResearch Article Algebraic Integers as Chromatic and Domination Roots
International Journal of Combinatorics Volume 01, Article ID 780765, 8 pages doi:10.1155/01/780765 Research Article Algebraic Integers as Chromatic and Domination Roots Saeid Alikhani 1 and Roslan Hasni
More informationUniform Mixing and Continuous Quantum Walks
Preliminaries Uniform Mixing TypeII Matrices Chris Godsil University of Waterloo Kyoto, May 2016 Preliminaries Uniform Mixing TypeII Matrices Outline 1 Preliminaries Physics Quantum Walks 2 Uniform Mixing
More informationarxiv:math/ v1 [math.ho] 28 Oct 2000
THE MODULAR TREE OF PYTHAGORUS arxiv:math/0010281v1 [math.ho] 28 Oct 2000 ROGER C. ALPERIN Department of Mathematics and Computer Science San Jose State University, San Jose, CA 95192 USA 1. Introduction
More informationA Short Course in Combinatorial Designs
A Short Course in Combinatorial Designs Ian Anderson Department of Mathematics University of Glasgow Glasgow G12 8QW, UK email: ia@mathsglaacuk Iiro Honkala Department of Mathematics University of Turku
More informationA geometry of 7point planes
A geometry of 7point planes (Material Based on [Tay09, Chapter 6, pp 4345]) (Wednesday 16th March 2014) Abstract The classification of finite simple groups gives four families of groups whose union is
More information10. Graph Matrices Incidence Matrix
10 Graph Matrices Since a graph is completely determined by specifying either its adjacency structure or its incidence structure, these specifications provide far more efficient ways of representing a
More informationChapter 2 Incidence Matrix
Chapter 2 Incidence Matrix Let G be a graph with V (G) ={1,...,n} and E(G) ={e 1,...,e m }. Suppose each edge of G is assigned an orientation, which is arbitrary but fixed. The (vertexedge) incidence
More informationIsomorphisms and Automorphisms
Isomorphisms and Automorphisms Definition As usual an isomorphism is defined as a map between objects that preserves structure, for general designs this means: Suppose (X,A) and (Y,B) are two designs.
More informationWe have seen in Sections 1.2 and 1.3 that, for any field F, the geometry PG 2 F has the following properties:
2 Projective planes Projective and affine planes are more than just spaces of smallest (nontrivial) dimension: as we will see, they are truly exceptional, and also they play a crucial rôle in the coordinatisation
More informationHadamard matrices/1. A Hadamard matrix is an n n matrix H with entries ±1 which satisfies HH = ni. The name derives from a theorem of Hadamard:
Hadamard matrices 1 Introduction A Hadamard matrix is an n n matrix H with entries ±1 which satisfies HH = ni. The name derives from a theorem of Hadamard: Theorem 1 Let X = (x i j ) be an n n real matrix
More informationTHE FRIENDSHIP THEOREM
THE FRIENDSHIP THEOREM ELIZABETH WALKER Abstract. In this paper we explore the friendship theorem, which in graph theory is stated as if we have a finite graph in which any two nodes have exactly one common
More informationNormally regular digraphs, association schemes and related combinatorial structures.
Normally regular digraphs, association schemes and related combinatorial structures. L. K. Jørgensen a, G. A. Jones b, M. H. Klin c, and S. Y. Song d a Dept. of Math. Sciences, Aalborg University, Fr.
More information1 Connected simple graphs on four vertices
1 Connected simple graphs on four vertices Here we briefly answer Exercise 3.3 of the previous notes. Please come to office hours if you have any questions about this proof. Theorem 1.1. There are exactly
More informationA Survey of the Hadamard Conjecture
A Survey of the Hadamard Conjecture Eric Tressler Thesis submitted to the Faculty of the Virginia Polytechnic Institute and State University in partial fulfillment of the requirements for the degree of
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More informationClassification of regular twographs on 36 and 38 vertices
Classification of regular twographs on 36 and 38 vertices Brendan. D. McKay Department of Computer Science Australian National University Canberra, ACT Australia bdm@anu.edu.au Edward Spence Department
More informationMatrix Partitions of Split Graphs
Matrix Partitions of Split Graphs Tomás Feder a, Pavol Hell b, Oren Shklarsky c a 268 Waverley St., Palo Alto, CA 94301, USA b School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada,
More informationMINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS
MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup
More informationLecture 4: Latin Squares and Geometry
Latin Squares Instructor: Padraic Bartlett Lecture 4: Latin Squares and Geometry Week 3 Mathcamp 2012 In this week s lectures, we re going to shift our emphasis from the theory of Latin square to the applications
More informationSurface Subgroups of Graph Groups
Surface Subgroups of Graph Groups Herman Servatius College of the Holy Cross Worcester, MA 01610 Carl Droms James Madison University Harrisonburg, Va. 22807 Brigitte Servatius Worcester Polytechnic Institute
More informationModules: An Introduction
: An Introduction University of Puget Sound Math 434 April 28, 2010 c 2010 by. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Document License, Version
More informationSynchronization and graph endomorphisms
Synchronization and graph endomorphisms Peter J Cameron University of St Andrews / Queen Mary University of London 44th Southeastern Conference on Combinatorics, Graph Theory and Computing 8 March 2013
More informationDiscrete Mathematics (Math 510) Fall Definitions and Theorems
Discrete Mathematics (Math 510) Fall 2014 Definitions and Theorems Gerald Hoehn October 12, 2014 Chapter 1 Graph Theory 1.1 Basics Definition 1.1. A graph G is an ordered pair (V,E) of disjoint finite
More informationOrbital chromatic and flow roots
Orbital chromatic and flow roots P. J. Cameron and K. K. Kayibi Abstract The chromatic polynomial P Γ (x) of a graph Γ is a polynomial whose value at the positive integer k is the number of proper k colourings
More informationTHE EXISTENCE AND UNIQUENESS OF A SIMPLE GROUP OF ORDER 168
THE EXISTENCE AND UNIQUENESS OF A SIMPLE GROUP OF ORDER 168 TIMOTHY L. VIS Abstract. The study of simple groups has been, and continues to be, the most significant area of work in group theory. In this
More informationGraph Theory. Clemens Heuberger and Stephan Wagner. AIMS, January/February 2009
Graph Theory Clemens Heuberger and Stephan Wagner AIMS, January/February 2009 1 Basic Definitions Definition 1.1 A graph is a pair G = (V (G),E(G)) of a set of vertices V (G) and a set of edges E(G), where
More informationApplications of Linear Algebra to Graph Theory MATH Cutler
Applications of Linear Algebra to Graph Theory MATH 00 Cutler Introduction Graph theory is a relatively new branch of mathematics which deals with the study of objects named graphs. These types of graphs
More informationOrbital combinatorics
Orbital combinatorics Peter J. Cameron Queen Mary University of London University of St Andrews Postgraduate Combinatorics Conference Queen Mary University of London April 2015 Advertisement Jack Edmonds
More informationMath 121 Homework 7: Notes on Selected Problems
Math 121 Homework 7: Notes on Selected Problems 13.1.1. Show that p(x) = x 3 + 9x + 6 is irreducible in Q[x]. Let θ be a root of p(x). Find the inverse of 1 + θ in Q(θ). Solution. The rational roots test
More informationHonours Graph Theory
University of Zimbabwe HMTH215 Graph Theory Honours Graph Theory Author: P. Mafuta Department: Mathematics April 6, 2016 Chapter 1 Introduction: Basic Graph Theory This course serves to answer many questions
More informationAutomorphisms of S n and of A n
Automorphisms of S n and of A n In this note we prove that if n 6, then Aut(S n ) = S n = Aut(An ). In particular, when n 6, every automorphism of S n is inner and every automorphism of A n is the restriction
More informationIntegral Cayley graphs over abelian groups
Integral Cayley graphs over abelian groups Walter Klotz and Torsten Sander Institut für Mathematik Technische Universität Clausthal, Germany klotz@math.tuclausthal.de torsten.sander@math.tuclausthal.de
More informationThe Jordan canonical form for a class of zeroone matrices
The Jordan canonical form for a class of zeroone matrices David A. Cardon a, Bradford Tuckfield a Department of Mathematics, Brigham Young University, Provo, UT 84602 Abstract Let f : N N be a function.
More informationL(n) OA(n, 3): if L is a latin square with colour set [n] then the following is an O(n, 3):
9 Latin Squares Latin Square: A Latin Square of order n is an n n array where each cell is occupied by one of n colours with the property that each colour appears exactly once in each row and in each column.
More informationTHE 0/1BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER
THE 0/1BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER JONATHAN P. MCCAMMOND AND GÜNTER ZIEGLER Abstract. In 1933 Karol Borsuk asked whether every compact subset of R d can be decomposed
More informationOrdering without forbidden patterns
Ordering without forbidden patterns Pavol Hell Bojan Mohar Arash Rafiey Abstract Let F be a set of ordered patterns, i.e., graphs whose vertices are linearly ordered. An Ffree ordering of the vertices
More information13.1 SemiDefinite Programming
CS787: Advanced Algorithms Lecture 13: Semidefinite programming In this lecture we will study an extension of linear programming, namely semidefinite programming. Semidefinite programs are much more
More informationIn this section, we shall assume (except where noted) that graphs are loopless.
6 Graph Colouring In this section, we shall assume (except where noted) that graphs are loopless. Upper and Lower Bounds Colouring: A kcolouring of a graph G is a map φ : V (G) S where S = k with the
More informationOrbital versions of graph parameters
Orbital versions of graph parameters Peter J. Cameron University of St Andrews / Queen Mary University of London 44th Southeastern Conference on Combinatorics, Graph Theory and Computing 8 March 2013 Outline
More informationOrthogonal Complements (Revised Version)
Orthogonal Complements (Revised Version) Math 108A: May 19, 2010 John Douglas Moore 1 The dot product You will recall that the dot product was discussed in earlier calculus courses. If x = (x 1...., x
More informationMath 1180, Hastings. Notes, part 9
Math 8, Hastings Notes, part 9 First I want to recall the following very important theorem, which only concerns square matrices. We will need to use parts of this frequently. Theorem Suppose that A is
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More information13 Solutions for Section 6
13 Solutions for Section 6 Exercise 6.2 Draw up the group table for S 3. List, giving each as a product of disjoint cycles, all the permutations in S 4. Determine the order of each element of S 4. Solution
More informationCirculant Hadamard Matrices
Circulant Hadamard Matrices R. Stanley An n n matrix H is a Hadamard matrix if its entries are ± and its rows are orthogonal. Equivalently, its entries are ± and HH t = ni. In particular, det H = ±n n/2.
More informationThe geometry of hyperbolic lines in polar spaces
The geometry of hyperbolic lines in polar spaces Hans Cuypers Department of Mathematics Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven The Netherlands April 2, 2009 Abstract In this
More informationHomework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS
Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS 1.1.25 Prove that the Petersen graph has no cycle of length 7. Solution: There are 10 vertices in the Petersen graph G. Assume there is a cycle C
More informationHonors Math A Notes. Robert Friedman
Honors Math A Notes Robert Friedman December 10, 2010 Contents 1 Vectors 1 2 Vectors II 14 2.1 Vectors in ndimensional space................. 14 2.2 Abstract vector spaces...................... 15 2.3
More informationInner products and orthogonality
Chapter 5 Inner products and orthogonality Inner product spaces, norms, orthogonality, GramSchmidt process Reading The list below gives examples of relevant reading. (For full publication details, see
More informationGraph Theory. 1 Defining and representing graphs
Graph Theory 1 Defining and representing graphs A graph is an ordered pair G = (V, E), where V is a finite, nonempty set of objects called vertices, and E is a (possibly empty) set of unordered pairs
More informationMAP363 Combinatorics Answers 1
MAP6 Combinatorics Answers Guidance on notation: graphs may have multiple edges, but may not have loops. A graph is simple if it has no multiple edges.. (a) Show that if two graphs have the same degree
More informationSecond Order Partial Derivatives; the Hessian Matrix; Minima and Maxima
Second Order Partial Derivatives; the Hessian Matrix; Minima and Maxima Second Order Partial Derivatives We have seen that the partial derivatives of a differentiable function φ(x) =φ (x,x,, x n ) are
More informationBasic Definitions. A group (G, ) is commutative (abelian) if a b = b a a,b G. , +), (Z p {0}, ) All these examples are abelian groups.
Finite Fields Basic Definitions A group is a set G with a binary operation (i.e., a function from G G into G) such that: 1) The operation is associative, a (b c) = (a b) c a,b,c G. 2) There exists an identity
More informationConference matrices. 1 Hadamard matrices. Peter J. Cameron. CSG, 7 October 2011
Conference matrices Peter J. Cameron CSG, 7 October 2011 1 Hadamard matrices Let H be an n n matrix, all of whose entries are at most 1 in modulus. How large can det(h) be? This question was asked by Hadamard.
More informationStanford University CS359G: Graph Partitioning and Expanders Handout 1 Luca Trevisan January 6, 2011
Stanford University CS359G: Graph Partitioning and Expanders Handout 1 Luca Trevisan January 6, 2011 Lecture 2 In which we review linear algebra and introduce spectral graph theory. 1 Eigenvalues and Eigenvectors
More informationMath 110, Spring 2015: Homework 10 Solutions
Math 0, Spring 205: Homework 0 Solutions Section 7 Exercise 73: Let T be a linear operator on a finitedimensional vector space V such that the characteristic polynomial of T splits, and let λ, λ 2,, λ
More informationREPRESENTATIONS OF THE SYMMETRIC GROUP
REPRESENTATIONS OF THE SYMMETRIC GROUP DAPHNE KAO Abstract. I will introduce the topic of representation theory of finite groups by investigating representations of S 3 and S 4 using character theory.
More informationON COLORING CLAWFREE GRAPHS
ON COLORING CLAWFREE GRAPHS JED YANG Final Report October 29, 2007 Abstract. A graph G is kclawfree if no vertex has k pairwise nonadjacent neighbors. A proper kcoloring of G is a map from the vertex
More informationNotes on Linear Recurrence Sequences
Notes on Linear Recurrence Sequences April 8, 005 As far as preparing for the final exam, I only hold you responsible for knowing sections,,, 6 and 7 Definitions and Basic Examples An example of a linear
More informationTOPICS IN ALGEBRAIC COMBINATORICS. Richard P. Stanley
TOPICS IN ALGEBRAIC COMBINATORICS Richard P. Stanley Course notes for 18.312 (Algebraic Combinatorics) M.I.T., Spring 2010 Preliminary (incomplete) version of 24 April 2010 Acknowledgment. I am grateful
More informationLattice Point Geometry: Pick s Theorem and Minkowski s Theorem. Senior Exercise in Mathematics. Jennifer Garbett Kenyon College
Lattice Point Geometry: Pick s Theorem and Minkowski s Theorem Senior Exercise in Mathematics Jennifer Garbett Kenyon College November 18, 010 Contents 1 Introduction 1 Primitive Lattice Triangles 5.1
More informationNotes on the Proof of the Sylow Theorems. 1 The Theorems. We recall a result we saw two weeks ago.
Notes on the Proof of the Sylow Theorems 1 The Theorems We recall a result we saw two weeks ago. Theorem 1.1 Cauchy s Theorem for Abelian Groups Let A be a finite abelian group. If p is a prime number
More informationFacts About Eigenvalues
Facts About Eigenvalues By Dr David Butler Definitions Suppose A is an n n matrix An eigenvalue of A is a number λ such that Av = λv for some nonzero vector v An eigenvector of A is a nonzero vector v
More informationDistancepreserving Maps in Generalized Polygons, I. Maps on Flags
Distancepreserving Maps in Generalized Polygons, I. Maps on Flags Eline Govaert Hendrik Van Maldeghem Abstract In this paper, we characterize isomorphisms of generalized polygons (in particular automorphisms)
More informationMath 4707: Introduction to Combinatorics and Graph Theory
Math 4707: Introduction to Combinatorics and Graph Theory Lecture Addendum, November 3rd and 8th, 200 Counting Closed Walks and Spanning Trees in Graphs via Linear Algebra and Matrices Adjacency Matrices
More information12. Cartan matrix and Dynkin diagrams
12. Cartan matrix and Dynkin diagrams 1 12. Cartan matrix and Dynkin diagrams A very useful construct in dealing with semisimple Lie algebras is the Cartan matrix A, defined by A ij = 2α (i) α (j) /α
More information1 Bipartite matching and vertex covers
ORF 523 Lecture 6 Spring 2016, Princeton University Instructor: A.A. Ahmadi Scribe: G. Hall Thursday, February 25, 2016 When in doubt on the accuracy of these notes, please cross check with the instructor
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 8 6.
More informationarxiv: v1 [math.co] 26 Jan 2016
Vertex Colorings without Rainbow or Monochromatic Subgraphs Wayne Goddard and Honghai Xu Dept of Mathematical Sciences, Clemson University Clemson SC 29634 {goddard,honghax}@clemson.edu arxiv:1601.06920v1
More informationLecture 5. Introduction to Set Theory and the Pigeonhole Principle
Lecture 5. Introduction to Set Theory and the Pigeonhole Principle A set is an arbitrary collection (group) of the objects (usually similar in nature). These objects are called the elements or the members
More informationBipartite Graphs and Problem Solving
Bipartite Graphs and Problem Solving Jimmy Salvatore University of Chicago August 8, 2007 Abstract This paper will begin with a brief introduction to the theory of graphs and will focus primarily on the
More informationFriendship twographs
DIMACS Technical Report 200814 November 2008 Friendship twographs by Endre Boros 1 RUTCOR, Rutgers Center for Operations Research Rutgers, The State University of New Jersey 640 Bartholomew Road, Piscataway,
More informationLinear Algebra for the Sciences. Thomas Kappeler, Riccardo Montalto
Linear Algebra for the Sciences Thomas Kappeler, Riccardo Montalto 2 Contents Systems of linear equations 5. Linear systems with two equations and two unknowns............ 6.2 Gaussian elimination..............................
More informationBlock designs/1. 1 Background
Block designs 1 Background In a typical experiment, we have a set Ω of experimental units or plots, and (after some preparation) we make a measurement on each plot (for example, the yield of the plot).
More informationMATH 340: EIGENVECTORS, SYMMETRIC MATRICES, AND ORTHOGONALIZATION
MATH 340: EIGENVECTORS, SYMMETRIC MATRICES, AND ORTHOGONALIZATION Let A be an n n real matrix. Recall some basic definitions. A is symmetric if A t = A; A vector x R n is an eigenvector for A if x 0, and
More informationMathematica Bohemica
Mathematica Bohemica Jaroslav Ivančo; Z. Lastivková; A. Semaničová On magic and supermagic line graphs Mathematica Bohemica, Vol. 129 (2004), No. 1, 33 42 Persistent URL: http://dml.cz/dmlcz/134107 Terms
More information