Association Schemes in Designed Experiments Association Schemes Arise in Designed Experiments in Many Ways

Total Page:16

File Type:pdf, Size:1020Kb

Association Schemes in Designed Experiments Association Schemes Arise in Designed Experiments in Many Ways Abstract Association schemes in designed experiments Association schemes arise in designed experiments in many ways. R. A. Bailey They were first used in incomplete-block designs, but University of St Andrews QMUL (emerita) they are implicit in the treatment structure of factorial designs and in many common block structures, such as row-column designs or nested blocks. What is nice about them is the link between the matrices which show the patterns and the matrices which project onto the common eigenspaces. In recent work, Agnieszka Łacka and I have considered designs 25th International Workshop on Matrices and Statistics where the treatments consist of all combinations of levels of (IWMS 2016), two treatment factors and one additional control treatment. Funchal, June 2016 We construct nested row-column designs which have what we call control orthogonality and supplemented partial balance. 1/36 2/36 An example of a designed experiment Outline Example I want to compare 6 new varieties of wheat (3 Dutch, 3 British). I can use 30 plots, which form a 5 6 rectangle in a single field. × How do I decide which variety to plant in which plot? I Association schemes In general, II Incomplete-block designs I Ω is a set of experimental units, III Blocking factors with random effects I is a set of treatments, IV Near-factorial treatments T V I a design is a function f : Ω such that Nested row-column designs for near-factorial treatments → T if ω Ω then f (ω) is the treatment allocated to unit ω. ∈ Ω is given: usually it has some sort of structure. is given: usually it has some sort of structure. T My job is to choose f , possibly subject to some constraints. 3/36 4/36 I. What is an association scheme? First example of an association scheme (s = 2) consists of 6 new varieties of wheat (3 Dutch, 3 British). T The structure on the set Ω of experimental units is often an Dutch British association scheme. 1 2 3 4 5 6 The structure on the set of treatments is often another T association scheme. D 1 But what is an association scheme? D 2 An association scheme on Ω with s associate classes D 3 is a partition of the unordered pairs of distinct elements of Ω B 4 into s classes such that . B 5 (a technical condition that I’ll tell you about later). B 6 And similarly for . T Class 1, shown in red: different varieties from the same country. Class 2, shown in blue: varieties from different countries. Class 0, shown in white: same variety. 5/36 6/36 Second example of an association scheme (s = 3) Third example of an association scheme (s = 2) Row 1 1 ... 1 2 2 ... 5 Diallel cross from 5 parental lines with no self-crosses Column 1 2 ... 6 1 2 ... 6 12 13 14 15 23 24 25 34 35 45 R1 C1 ... ... 1, 2 { } R1 C2 ... ... 1, 3 { } . .. .. 1, 4 . { } Ω is a 5 6 rectangle. 1, 5 × R1 C6 ... .. { } 2, 3 R2 C1 ... ... { } 2, 4 R2 C2 ... ... { } 2, 5 . .. .. { } . 3, 4 { } R5 C6 ... ... 3, 5 { } 4, 5 Class 1, shown in red: different plots in the same row. { } Class 2, shown in blue: different plots in the same column. Class 1, in red: crosses with one parental line in common. Class 3, shown in yellow: plots in different rows and columns. Class 2, in blue: crosses with no parental line in common. Class 0, shown in white: same plot. Class 0, in white: same cross. 7/36 8/36 Fourth example of an association scheme (s = 4) Adjacency matrices So where do matrices come in? Given an association scheme on a set of size N, 3 blocks, each consisting of 4 rows 6 columns the adjacency matrix for class i is the N N matrix × × 1 if (α, β) is in class i whose (α, β) entry is equal to (0 otherwise. Dutch British A0 = I 1 2 3 4 5 6 Class 0: same plot. D 1 0 1 1 0 0 0 0 0 0 1 1 1 Class 1: different plots in the same row. D 2 1 0 1 0 0 0 0 0 0 1 1 1 Class 2: different plots in the same column. 1 1 0 0 0 0 0 0 0 1 1 1 Class 3: plots in the same block but different rows and columns. D 3 A = A = 1 2 Class 4: plots in different blocks. 0 0 0 0 1 1 1 1 1 0 0 0 B 4 0 0 0 1 0 1 1 1 1 0 0 0 B 5 0 0 0 1 1 0 1 1 1 0 0 0 B 6 9/36 10/36 Definition of association scheme First example (N = 6, s = 2) Definition 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 1 1 An association scheme with s classes on a set of size N consists 1 1 0 0 0 0 0 0 0 1 1 1 of N N adjacency matrices A0, A1, A2,..., As satisfying A = IA = A = × 0 1 0 0 0 0 1 1 2 1 1 1 0 0 0 (i) A0 = I (the identity matrix); 0 0 0 1 0 1 1 1 1 0 0 0 (ii) A0 + A1 + A2 + + As = J (the all-1 matrix); 0 0 0 1 1 0 1 1 1 0 0 0 ··· (iii) A is symmetric for i = 0, 1, 2, . , s; i a0 = 1 a1 = 2 a2 = 3 (iv) For 0 i s and 0 j s, ≤ ≤ ≤ ≤ AiAj is a linear combination of A0, A1, A2,..., As. A0Ai = AiA0 = Ai for i = 0, 1, 2. 2 The diagonal entries of Ai are equal to the row sums of Ai, so an easy consequence of this definition is that AiJ = JAi = aiJ for i = 0, 1, 2. there are integers a = 1, a , a ,..., a such that 2 0 1 2 s So it is enough to check A1. Ai has ai non-zero entries in every row and in every column. 2 A1 = 2I + A1, so this is an association scheme. 11/36 12/36 Bose–Mesner algebra Eigenspaces in our examples Given an association scheme with s classes on a set of size N, let consists of 6 new varieties of wheat (3 Dutch, 3 British). be the set of all real linear combinations of A0, A1, A2,..., As. T A N = 6 and s = 2; a = 1, a = 2 and a = 3. Conditions (iii) and (iv) show that is a commutative algebra. 0 1 2 A It is called the Bose–Mesner algebra. subspace description dimension W constant vectors 1 Theorem 0 N W1 differences between countries 1 There are subspaces W0,W1,...,Ws of R such that W2 differences within countries 4 1. if j = k then W is orthogonal to W ; 6 j k 2. every vector v in RN can be expressed uniquely Ω is a 5 6 rectangle. × as v = ∑ w with w W ; N = 30 and s = 3; a0 = 1, a1 = 5, a2 = 4 and a3 = 20. j j j ∈ j 3. Wj is contained in an eigenspace of Ai, for all i and all j; subspace description dimension 4. the idempotent matrix Pj of orthogonal projection onto Wj W0 constant vectors 1 is in , so it is a linear combination of A ,...,A ; W1 differences between rows 4 A 0 s W2 differences between columns 5 5. if λij is the the eigenvalue of Ai on Wj then Ai = ∑j λijPj; W3 everything else 20 6. W0 is the 1-dimensional space of constant vectors. 13/36 14/36 Eigenspaces in more of our examples II. Incomplete-block designs Diallel cross from 5 parental lines with no self-crosses. N = 10 and s = 2; a0 = 1, a1 = 6 and a2 = 3. Ω is a set of experimental units; is a set of treatments; subspace description dimension T f (ω) is the treatment allocated to unit ω. W constant vectors 1 0 Suppose that Ω is partitioned into blocks of equal size, W main effects of parental lines 4 1 and g(ω) is the block containing unit ω. W2 everything else 5 The usual linear model for the response Yω is 3 blocks, each consisting of 4 rows 6 columns. × 2 N = 72 and s = 4; a0 = 1, a1 = 5, a2 = 3, a3 = 15 and a4 = 48. E(Yω) = τf (ω) + βg(ω) and Var(Y) = σ I. subspace description dimension In vector form W constant vectors 1 0 Y = X1τ + X2β + e, W1 differences between blocks 2 where the ω-row of matrix X picks out the treatment f (ω) W2 differences between rows within blocks 9 1 and the ω-row of matrix X2 picks out the block g(ω). W3 differences between columns within blocks 15 W4 everything else 45 15/36 16/36 Concurrence matrix and information matrix Partial balance 1 2 N12 = X10 X2 and C = X10 X1 k− N12N120 ; also Var(τˆ ) = σ C−. Y = X1τ + X2β + e. − Definition Put N12 = X10 X2, whose entries show how often each treatment occurs in each block (we assume at most once). An incomplete-block design is partially balanced if there is an association scheme on such that The entries in the concurrence matrix N12N120 show how often T the information matrix C is in its Bose–Mesner algebra .
Recommended publications
  • Epidemiology, Statistics and Data Management
    THIRD JOINT CONFERENCE OF BHIVA AND BASHH 2014 Dr Carol Emerson The Royal Hospitals, Belfast 1-4 April 2014, Arena and Convention Centre Liverpool THIRD JOINT CONFERENCE OF BHIVA AND BASHH 2014 Dr Carol Emerson The Royal Hospitals, Belfast COMPETING INTEREST OF FINANCIAL VALUE > £1,000: Speaker Name Statement Dr Carol Emerson none declared Date April 2014 1-4 April 2014, Arena and Convention Centre Liverpool BASHH & BHIVA Mentoring Scheme for New Consultants & SAS doctors Dr Carol Emerson Consultant GU/HIV Medicine, Belfast Trust Overview What mentoring is The BASHH & BHIVA mentoring scheme Feedback from first wave participants Future plans for the mentoring scheme What is mentoring? SCOPME 1998 ‘A process whereby an experienced, highly regarded, empathic person (the mentor) guides another usually younger individual (the mentee) in the development and re-examination of their own ideas, learning and personal or professional development. The mentor, who often but not necessarily works in the same organisation or field as the mentee, achieves this by listening or talking in confidence to the mentee’ What is mentoring? Department of Health 2000 ....helping another person to become what that person aspires to be.... Mentoring for Doctors Supported by • Department of Health NHS Plan 2000 • British International Doctors Association – scheme since 1998 • BMA 2003 – lobbies for government funding to develop mentoring for all doctors • National Clinical Assessment Authority (NCAS) – encourages mentoring as a development / support tool / intervention for underperforming doctors • Academy of Medical Sciences • Royal Colleges • Royal College Psychiatrists • Royal College Paediatrics and Child • Royal College Obstetricians and Gynaecologists • Royal College Surgeons Mentoring and the GMC Good Medical Practice 2013 Domain 1: Knowledge skills and performances Develop and maintain your professional performance • 10 - ‘You should be willing to find and take part in structured support opportunities offered by your employer or contracting body (for example, mentoring).
    [Show full text]
  • Latin Square Design and Incomplete Block Design Latin Square (LS) Design Latin Square (LS) Design
    Lecture 8 Latin Square Design and Incomplete Block Design Latin Square (LS) design Latin square (LS) design • It is a kind of complete block designs. • A class of experimental designs that allow for two sources of blocking. • Can be constructed for any number of treatments, but there is a cost. If there are t treatments, then t2 experimental units will be required. Latin square design • If you can block on two (perpendicular) sources of variation (rows x columns) you can reduce experimental error when compared to the RBD • More restrictive than the RBD • The total number of plots is the square of the number of treatments • Each treatment appears once and only once in each row and column A B C D B C D A C D A B D A B C Facts about the LS Design • With the Latin Square design you are able to control variation in two directions. • Treatments are arranged in rows and columns • Each row contains every treatment. • Each column contains every treatment. • The most common sizes of LS are 5x5 to 8x8 Advantages • You can control variation in two directions. • Hopefully you increase efficiency as compared to the RBD. Disadvantages • The number of treatments must equal the number of replicates. • The experimental error is likely to increase with the size of the square. • Small squares have very few degrees of freedom for experimental error. • You can’t evaluate interactions between: • Rows and columns • Rows and treatments • Columns and treatments. Examples of Uses of the Latin Square Design • 1. Field trials in which the experimental error has two fertility gradients running perpendicular each other or has a unidirectional fertility gradient but also has residual effects from previous trials.
    [Show full text]
  • Association Schemes1
    Association Schemes1 Chris Godsil Combinatorics & Optimization University of Waterloo ©2010 1June 3, 2010 ii Preface These notes provide an introduction to association schemes, along with some related algebra. Their form and content has benefited from discussions with Bill Martin and Ada Chan. iii iv Contents Preface iii 1 Schemes and Algebras1 1.1 Definitions and Examples........................1 1.2 Strongly Regular Graphs.........................3 1.3 The Bose-Mesner Algebra........................6 1.4 Idempotents................................7 1.5 Idempotents for Association Schemes.................9 2 Parameters 13 2.1 Eigenvalues................................ 13 2.2 Strongly Regular Graphs......................... 15 2.3 Intersection Numbers.......................... 16 2.4 Krein Parameters............................. 17 2.5 The Frame Quotient........................... 20 3 An Inner Product 23 3.1 An Inner Product............................. 23 3.2 Orthogonal Projection.......................... 24 3.3 Linear Programming........................... 25 3.4 Cliques and Cocliques.......................... 28 3.5 Feasible Automorphisms........................ 30 4 Products and Tensors 33 4.1 Kronecker Products............................ 33 4.2 Tensor Products.............................. 34 4.3 Tensor Powers............................... 37 4.4 Generalized Hamming Schemes.................... 38 4.5 A Tensor Identity............................. 39 v vi CONTENTS 4.6 Applications................................ 41 5 Subschemes
    [Show full text]
  • Group Divisible Association Scheme Let There Be V Treatments Which Can Be Represented As V = Pq
    Analysis of Variance and Design of Experiments-II MODULE - III LECTURE - 17 PARTIALLY BALANCED INCOMPLETE BLOCK DESIGN (PBIBD) Dr. Shalabh Department of Mathematics & Statistics Indian Institute of Technology Kanpur 2 Group divisible association scheme Let there be v treatments which can be represented as v = pq. Now divide the v treatments into p groups with each group having q treatments such that any two treatments in the same group are the first associates and the two treatments in different groups are the second associates. This is called the group divisible type scheme. The scheme simply amounts to arrange the v = pq treatments in a (p x q) rectangle and then the association scheme can be exhibited. The columns in the (p x q) rectangle will form the groups. Under this association scheme, nq1 = −1 n2 = qp( − 1), hence (q−+− 1)λλ12 qp ( 1) =− rk ( 1) and the parameters of second kind are uniquely determined by p and q. In this case qq−−20 0 1 PP12= , = , 0qp (− 1) q −−1 qp ( 2) For every group divisible design, r ≥ λ1, rk−≥ vλ2 0. 3 If r = λ1 , then the group group divisible design is said to be singular. Such singular group divisible design can always be derived from a corresponding BIBD. To obtain this, just replace each treatment by a group of q treatments. In general, if a BIBD has parameters bvrk*, *, *, *,λ *, then a divisible group divisible design is obtained which has following parameters b= b*, v = qv*, r = r*, k = qk*, λ12 = r, λλ =*, n 1 = p, n 2 = q.
    [Show full text]
  • Latin Squares in Experimental Design
    Latin Squares in Experimental Design Lei Gao Michigan State University December 10, 2005 Abstract: For the past three decades, Latin Squares techniques have been widely used in many statistical applications. Much effort has been devoted to Latin Square Design. In this paper, I introduce the mathematical properties of Latin squares and the application of Latin squares in experimental design. Some examples and SAS codes are provided that illustrates these methods. Work done in partial fulfillment of the requirements of Michigan State University MTH 880 advised by Professor J. Hall. 1 Index Index ............................................................................................................................... 2 1. Introduction................................................................................................................. 3 1.1 Latin square........................................................................................................... 3 1.2 Orthogonal array representation ........................................................................... 3 1.3 Equivalence classes of Latin squares.................................................................... 3 2. Latin Square Design.................................................................................................... 4 2.1 Latin square design ............................................................................................... 4 2.2 Pros and cons of Latin square design...................................................................
    [Show full text]
  • Chapter 30 Latin Square and Related Designs
    Chapter 30 Latin Square and Related Designs We look at latin square and related designs. 30.1 Basic Elements Exercise 30.1 (Basic Elements) 1. Di®erent arrangements of same data. Nine patients are subjected to three di®erent drugs (A, B, C). Two blocks, each with three levels, are used: age (1: below 25, 2: 25 to 35, 3: above 35) and health (1: poor, 2: fair, 3: good). The following two arrangements of drug responses for age/health/drugs, health, i: 1 2 3 age, j: 1 2 3 1 2 3 1 2 3 drugs, k = 1 (A): 69 92 44 k = 2 (B): 80 47 65 k = 3 (C): 40 91 63 health # age! j = 1 j = 2 j = 3 i = 1 69 (A) 80 (B) 40 (C) i = 2 91 (C) 92 (A) 47 (B) i = 3 65 (B) 63 (C) 44 (A) are (choose one) the same / di®erent data sets. This is a latin square design and is an example of an incomplete block design. Health and age are two blocks for the treatment, drug. 2. How is a latin square created? True / False Drug treatment A not only appears in all three columns (age block) and in all three rows (health block) but also only appears once in every row and column. This is also true of the other two treatments (B, C). 261 262 Chapter 30. Latin Square and Related Designs (ATTENDANCE 12) 3. Other latin squares. Which are latin squares? Choose none, one or more. (a) latin square candidate 1 health # age! j = 1 j = 2 j = 3 i = 1 69 (A) 80 (B) 40 (C) i = 2 91 (B) 92 (C) 47 (A) i = 3 65 (C) 63 (A) 44 (B) (b) latin square candidate 2 health # age! j = 1 j = 2 j = 3 i = 1 69 (A) 80 (C) 40 (B) i = 2 91 (B) 92 (A) 47 (C) i = 3 65 (C) 63 (B) 44 (A) (c) latin square candidate 3 health # age! j = 1 j = 2 j = 3 i = 1 69 (B) 80 (A) 40 (C) i = 2 91 (C) 92 (B) 47 (B) i = 3 65 (A) 63 (C) 44 (A) In fact, there are twelve (12) latin squares when r = 3.
    [Show full text]
  • Counting Latin Squares
    Counting Latin Squares Jeffrey Beyerl August 24, 2009 Jeffrey Beyerl Counting Latin Squares Write a program, which given n will enumerate all Latin Squares of order n. Does the structure of your program suggest a formula for the number of Latin Squares of size n? If it does, use the formula to calculate the number of Latin Squares for n = 6, 7, 8, and 9. Motivation On the Summer 2009 computational prelim there were the following questions: Jeffrey Beyerl Counting Latin Squares Does the structure of your program suggest a formula for the number of Latin Squares of size n? If it does, use the formula to calculate the number of Latin Squares for n = 6, 7, 8, and 9. Motivation On the Summer 2009 computational prelim there were the following questions: Write a program, which given n will enumerate all Latin Squares of order n. Jeffrey Beyerl Counting Latin Squares Motivation On the Summer 2009 computational prelim there were the following questions: Write a program, which given n will enumerate all Latin Squares of order n. Does the structure of your program suggest a formula for the number of Latin Squares of size n? If it does, use the formula to calculate the number of Latin Squares for n = 6, 7, 8, and 9. Jeffrey Beyerl Counting Latin Squares Latin Squares Definition A Latin Square is an n × n table with entries from the set f1; 2; 3; :::; ng such that no column nor row has a repeated value. Jeffrey Beyerl Counting Latin Squares Sudoku Puzzles are 9 × 9 Latin Squares with some additional constraints.
    [Show full text]
  • Geometry and Combinatorics 1 Permutations
    Geometry and combinatorics The theory of expander graphs gives us an idea of the impact combinatorics may have on the rest of mathematics in the future. Most existing combinatorics deals with one-dimensional objects. Understanding higher dimensional situations is important. In particular, random simplicial complexes. 1 Permutations In a hike, the most dangerous moment is the very beginning: you might take the wrong trail. So let us spend some time at the starting point of combinatorics, permutations. A permutation matrix is nothing but an n × n-array of 0's and 1's, with exactly one 1 in each row or column. This suggests the following d-dimensional generalization: Consider [n]d+1-arrays of 0's and 1's, with exactly one 1 in each row (all directions). How many such things are there ? For d = 2, this is related to counting latin squares. A latin square is an n × n-array of integers in [n] such that every k 2 [n] appears exactly once in each row or column. View a latin square as a topographical map: entry aij equals the height at which the nonzero entry of the n × n × n array sits. In van Lint and Wilson's book, one finds the following asymptotic formula for the number of latin squares. n 2 jS2j = ((1 + o(1)) )n : n e2 This was an illumination to me. It suggests the following asymptotic formula for the number of generalized permutations. Conjecture: n d jSdj = ((1 + o(1)) )n : n ed We can merely prove an upper bound. Theorem 1 (Linial-Zur Luria) n d jSdj ≤ ((1 + o(1)) )n : n ed This follows from the theory of the permanent 1 2 Permanent Definition 2 The permanent of a square matrix is the sum of all terms of the deter- minants, without signs.
    [Show full text]
  • ISMS 1993 2096T.Pdf
    Tht1 library ~ the Oepertmef't of St.at~ics North ~rolin8 St. University . , ASSOCIATION-BALANCED ARRAYS WITH APPLICATIONS TO EXPERIMENTAL DESIGN by Kamal Benchekroun A Dissertation submitted to the faculty of The Uni­ versity of North Carolina at Chapel Hill in partial fnlfiJ1rnent of the requirements for the degree of • Doctor of Philosophy in the Department of Statistics. Chapel Hill 1993 ~pproved by: J~L c~~v __L· Advisor KAMAL BENCHEKROUN. Association-Balanced Arrays with Applications to Experimental Design (Under the direction of INDRA M. CHAKRAVARTI.) • ABSTRACT This dissertation considers block designs for the comparison of v treatments where measurements from different blocks are uncorrelated and measurements in the same block have an arbitrary positive definite covariance matrix V, which is the same for all the blocks. Martin and Eccleston (1991) show that, for any V, a semi-balanced array of strength two, defined in Rao (1961, 1973), is universally optimal for the gen­ eralized least squares estimate of treatment effects over binary block designs, and weakly universally optimal for the ordinary least squares estimate over balanced incomplete block designs. The existence of these arrays requires a large number of columns (or blocks). The purpose of this dissertation is to introduce new series of • arrays relaxing this constraint and to discuss their performance as block designs. Based on the concept of association scheme, .an s-associate class association­ balanced array (or simply ABA) is defined, and some constructions are given. For any V, the variance matrix of the generalized (or the ordinary) least squares esti­ mate of treatment effects for an ABA is shown to be a constant multiple of that under the usual uncorrelated model, and a combinatorial characterization of the latter condition is given.
    [Show full text]
  • Latin Puzzles
    Latin Puzzles Miguel G. Palomo Abstract Based on a previous generalization by the author of Latin squares to Latin boards, this paper generalizes partial Latin squares and related objects like partial Latin squares, completable partial Latin squares and Latin square puzzles. The latter challenge players to complete partial Latin squares, Sudoku being the most popular variant nowadays. The present generalization results in partial Latin boards, completable partial Latin boards and Latin puzzles. Provided examples of Latin puzzles illustrate how they differ from puzzles based on Latin squares. The exam- ples include Sudoku Ripeto and Custom Sudoku, two new Sudoku variants. This is followed by a discussion of methods to find Latin boards and Latin puzzles amenable to being solved by human players, with an emphasis on those based on constraint programming. The paper also includes an anal- ysis of objective and subjective ways to measure the difficulty of Latin puzzles. Keywords: asterism, board, completable partial Latin board, con- straint programming, Custom Sudoku, Free Latin square, Latin board, Latin hexagon, Latin polytope, Latin puzzle, Latin square, Latin square puzzle, Latin triangle, partial Latin board, Sudoku, Sudoku Ripeto. 1 Introduction Sudoku puzzles challenge players to complete a square board so that every row, column and 3 × 3 sub-square contains all numbers from 1 to 9 (see an example in Fig.1). The simplicity of the instructions coupled with the entailed combi- natorial properties have made Sudoku both a popular puzzle and an object of active mathematical research. arXiv:1602.06946v1 [math.HO] 22 Feb 2016 Figure 1. Sudoku 1 Figure 2.
    [Show full text]
  • Sets of Mutually Orthogonal Sudoku Latin Squares Author(S): Ryan M
    Sets of Mutually Orthogonal Sudoku Latin Squares Author(s): Ryan M. Pedersen and Timothy L. Vis Source: The College Mathematics Journal, Vol. 40, No. 3 (May 2009), pp. 174-180 Published by: Mathematical Association of America Stable URL: http://www.jstor.org/stable/25653714 . Accessed: 09/10/2013 20:38 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to The College Mathematics Journal. http://www.jstor.org This content downloaded from 128.195.64.2 on Wed, 9 Oct 2013 20:38:10 PM All use subject to JSTOR Terms and Conditions Sets ofMutually Orthogonal Sudoku Latin Squares Ryan M. Pedersen and Timothy L Vis Ryan Pedersen ([email protected]) received his B.S. inmathematics and his B.A. inphysics from the University of the Pacific, and his M.S. inapplied mathematics from the University of Colorado Denver, where he is currently finishing his Ph.D. His research is in the field of finiteprojective geometry. He is currently teaching mathematics at Los Medanos College, inPittsburg California. When not participating insomething math related, he enjoys spending timewith his wife and 1.5 children, working outdoors with his chickens, and participating as an active member of his local church.
    [Show full text]
  • On Highly Regular Digraphs Oktay Olmez Iowa State University
    Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2012 On highly regular digraphs Oktay Olmez Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Mathematics Commons Recommended Citation Olmez, Oktay, "On highly regular digraphs" (2012). Graduate Theses and Dissertations. 12626. https://lib.dr.iastate.edu/etd/12626 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. On highly regular digraphs by Oktay Olmez A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Sung Yell Song, Major Professor Maria Axenovich Clifford Bergman L. Steven Hou Paul Sacks Iowa State University Ames, Iowa 2012 Copyright c Oktay Olmez, 2012. All rights reserved. ii DEDICATION I would like to dedicate this thesis to my wife, Sevim, without whose support I would not have been able to complete this work. I would also like to thank my friends and family for their loving guidance during the writing of this work. iii TABLE OF CONTENTS ACKNOWLEDGEMENTS . v ABSTRACT . vi CHAPTER 1. GENERAL OVERVIEW AND INTRODUCTION . 1 CHAPTER 2. PREMINILARIES . 4 2.1 Finite Incidence Structures . .4 2.2 Difference Sets . .7 1 2.3 1 2 -Designs . .9 2.4 Association Schemes .
    [Show full text]