A Small Symmetric Bibds and Abelian Difference Sets

Total Page:16

File Type:pdf, Size:1020Kb

A Small Symmetric Bibds and Abelian Difference Sets A Small Symmetric BIBDs and Abelian Difference Sets We provide a summary of known existence and nonexistence results for “small” symmetric BIBDs and Abelian difference sets. In Table A.1, we list all parameter triples (v, k, λ) in which λ(v − 1)=k(k − 1), v/2 ≥ k ≥ 3, and 3 ≤ k ≤ 15 (if k > v/2, then apply block complementation, which was presented as Theorem 1.32, and/or Exercise 3.1). We use the following abbreviations in Table A.1. • “Singer” denotes a Singer difference set (Theorem 3.28). • “QR” denotes a quadratic residue difference set (Theorem 3.21). • “H” denotes a (4m − 1, 2m − 1, m − 1)-BIBDconstructed from a Hadamard matrix of order 4m via Theorem 4.5. • ( ) “PGd q ” denotes a projective geometry (Theorem 2.14). • “BRC” denotes the Bruck-Ryser-Chowla Theorems (Theorems 2.16 and 2.19). • “MT” denotes the Multiplier Theorem (Theorem 3.33). For existence of certain symmetric BIBDs and for the nonexistence of cer- tain difference sets, we refer to external sources. Note also that existence of a difference set implies the existence of the corresponding symmetric BIBD, and nonexistence of a symmetric BIBD implies nonexistence of a difference set with the same parameters in any (Abelian or non-Abelian) group. kvλ SBIBD notes difference set notes ( ) 371yes PG2 2 yes Singer ( ) 4131 yes PG2 3 yes Singer ( ) 5211 yes PG2 4 yes Singer 5 11 2 yes H yes QR ( ) 6311 yes PG2 5 yes Singer 6162 yes yes Example3.4 7431 no BRC no 7222 no BRC no ( ) 7153 yes PG3 2 ,H yes Singer ( ) 8571 yes PG2 7 yes Singer 8292 no BRC no ( ) 9731 yes PG2 8 yes Singer 9372 yes yes Example3.24 9 25 3 yes [113, Table 5.25] no [10, Table A.3.1] 9 19 4 yes H yes QR ( ) 10 91 1 yes PG2 9 yes Singer 10 46 2 no BRC no 10 31 3 yes no MT, p = 7 11 111 1 no [74] no MT, p = 2, 5 11 56 2 yes [113, Table 5.25] no [10, Table A.3.1] 11 23 5 yes H yes QR ( ) 12 133 1 yes PG2 11 yes Singer 12 67 2 no BRC no 12 45 3 yes yes Example 3.5 12 34 4 no BRC no 13 157 1 unknown no Example 3.38 13 79 2 yes [113, Table 5.25] no MT, p = 11 13 53 3 no BRC no ( ) 13 40 4 yes PG3 3 yes Singer 13 27 6 yes H yes QR ( ) 14 183 1 yes PG2 13 yes Singer 14 92 2 no BRC no 15 211 1 no BRC no 15 106 2 no BRC no 15 71 3 yes [113, Table 5.25] no [10, Table A.3.1] 15 43 5 no BRC no 15 36 6 yes yes Example 3.6 ( ) 15 31 7 yes PG5 2 ,H yes Singer, QR Table A.1. Small Symmetric BIBDs and Abelian Difference Sets B Finite Fields In this appendix, we give a brief summary of basic facts concerning finite fields. We provide definitions of the main concepts, several illustrative ex- amples, and statements of some important theorems, but no proofs. A reader wanting to study finite fields in more detail can consult a suitable algebra textbook. Definition B.1. A finite field is a triple (X, ×, +) such that X is a finite set with |X|≥2 and “×”and“+” are binary operations on X such that the following conditions are satisfied: 1. addition is closed; i.e., for any a, b ∈ X, a + b ∈ X; 2. addition is commutative; i.e., for any a, b ∈ X, a + b = b + a; 3. addition is associative; i.e., for any a, b, c ∈ X, (a + b)+c = a +(b + c); 4. 0 is an additive identity; i.e., for any a ∈ X, a + 0 = 0 + a = a; 5. for any a ∈ X, there exists an additive inverse of a, denoted −a, such that a +(−a)=(−a)+a = 0; 6. multiplication is closed; i.e., for any a, b ∈ X, a × b ∈ X; 7. multiplication is commutative; i.e., for any a, b ∈ X, a × b = b × a; 8. multiplication is associative; i.e., for any a, b, c ∈ X, (a × b) × c = a × (b × c); 9. 1 is a multiplicative identity; i.e., for any a ∈ X, a × 1 = 1 × a = a; − 10. for any a ∈ X\{0},thereexistsamultiplicative inverse of a, denoted a 1, − − such that a × a 1 = a 1 × a = 1; 11. the distributive property is satisfied; i.e., for any a, b, c ∈ X, (a + b) × c = (a × c)+(b × c),anda× (b + c)=(a × b)+(a × c). The order of the finite field (X, ×, +) is the integer |X|. Suppose that (X, ×, +) is a finite field. Properties 1–5 establish that (X, +) is an Abelian group, and properties 6–10 show that (X\{0}, ×) is an Abelian group. Here are some familiar examples of fields. Example B.2. (R, ×, +) and (Q, ×, +) are both (infinite) fields. 282 B Finite Fields Example B.3. If p is prime, then every nonzero element of Zp has a multiplica- tive inverse, and (Zp, ×, +) is a finite field of order p. A finite ring is a triple (X, ×, +) that satisfies every property of a finite field except for property 10. Example B.4. If m ≥ 2 is an integer, then (Zm, ×, +) is a finite ring. If m is composite, then it is easy to see that (Zm, ×, +) is not a field as follows. Sup- pose that d is a divisor of m,where1 < d < n.Thend does not have a multiplicative inverse modulo m, so property 10 is violated. There exist finite fields that are not of prime order. In fact, there is a finite field with q elements whenever q = pn, p is prime, and n ≥ 1 is an integer. We will now describe very briefly how to construct such a field when n > 1. First, we need several definitions. Definition B.5. Suppose p is prime. Define Zp[x] to be the set of all polynomials in the indeterminate x in which the coefficients are elements of Zp.((Zp[x], ×, +) is a ring, where multiplication and addition of polynomials are defined in the usual way except that all coefficients are reduced modulo p.) 1. For f (x), g(x) ∈ Zp[x], we say that f (x) divides g(x) (notation: f (x) | g(x)) if there exists q(x) ∈ Zp[x] such that g(x)=q(x) f (x). 2. For f (x) ∈ Zp[x],definedeg( f ),thedegree of f , to be the highest exponent in a term of f . 3. Suppose f (x), g(x), h(x) ∈ Zp[x],anddeg( f )=n ≥ 1.Wedefine g(x) ≡ h(x)(mod f (x)) if f (x) | (g(x) − h(x)). Notice the resemblance of the definition of congruence of polynomials to that of congruence of integers. We are now going to define a finite ring of polynomials “modulo f (x)”, which we denote by Zp[x]/( f (x)). The construction of Zp[x]/( f (x)) from Zp[x] is based on the idea of congruences modulo f (x) and is analogous to the construction of Zm from Z. Suppose deg( f )=n. If we divide g(x) by f (x),weobtaina(unique) quotient q(x) and remainder r(x),where g(x)=q(x) f (x)+r(x) and deg(r) < n. B Finite Fields 283 This can be done by the usual long division of polynomials. It follows that any polynomial in Zp[x] is congruent modulo f (x) to a unique polynomial of degree at most n − 1. n Now we define the elements of Zp[x]/( f (x)) to be the p polynomials in Zp[x] of degree at most n − 1. Addition and multiplication in Zp[x]/( f (x)) are defined as in Zp[x], followed by a reduction modulo f (x). Equipped with these operations, Zp[x]/( f (x)) is a finite ring. Recall that Zm is a field if and only if m is prime. A similar situation holds for Zp[x]/( f (x)). The analog of primality for polynomials is irreducibility, which we define as follows. Definition B.6. A polynomial f (x) ∈ Zp[x] is said to be an irreducible polyno- ( ) ( ) ∈ Z [ ] mial if there do not exist polynomials f1 x , f2 x p x such that ( )= ( ) ( ) f x f1 x f2 x , ( ) > ( ) > where deg f1 0 and deg f2 0. Irreducible polynomials of all possible orders exist. More precisely, we have the following theorem. Theorem B.7. For any prime p and for any integer n ≥ 1, there exists an irre- ducible polynomial f (x) ∈ Zp[x] having degree n. The relevance of irreducible polynomials to the construction of finite fields is as follows. Theorem B.8. Suppose p is prime and f (x) ∈ Zp[x].ThenZp[x]/( f (x)) is a (finite) field if and only if f (x) is irreducible. Here is an example to illustrate the concepts described above. Example B.9. Let’s construct a finite field having eight elements. This can be Z [ ] done by finding an irreducible polynomial of degree three in 2 x .Itissuf- ficient to consider the polynomials having constant term equal to 1 since any polynomial with constant term 0 is divisible by x and hence is reducible. There are four such polynomials: ( )= 3 + f1 x x 1 ( )= 3 + + f2 x x x 1 ( )= 3 + 2 + f3 x x x 1 ( )= 3 + 2 + + f4 x x x x 1.
Recommended publications
  • Combinatorial Design Theory - Notes
    COMBINATORIAL DESIGN THEORY - NOTES Alexander Rosa Department of Mathematics and Statistics, McMaster University, Hamilton, Ontario, Canada Combinatorial design theory traces its origins to statistical theory of ex- perimental design but also to recreational mathematics of the 19th century and to geometry. In the past forty years combinatorial design theory has developed into a vibrant branch of combinatorics with its own aims, meth- ods and problems. It has found substantial applications in other branches of combinatorics, in graph theory, coding theory, theoetical computer science, statistics, and algebra, among others. The main problems in design theory are, generally speaking, those of the existence, enumeration and classifica- tion, structural properties, and applications. It is not the objective of these notes to give a comprehensive abbreviated overview of combinatorial design theory but rather to provide an introduc- tion to developing a solid basic knowledge of problems and methods of com- binatorial design theory, with an indication of its flavour and breadth, up to a level that will enable one to approach open research problems. Towards this objective, most of the needed definitions are provided. I. BASICS 1. BALANCED INCOMPLETE BLOCK DESIGNS One of the key notions in design theory, the notion of pairwise balance (or, more generally, t-wise balance), has its origin in the theory of statistical designs of experiments. Coupled with the requirement of a certain type of regularity, it leads to the notion of one of the most common types of combinatorial designs. 1991 Mathematics Subject Classification.. 1 2 A balanced incomplete block design (BIBD) with parameters (v; b; r; k; λ) is an ordered pair (V; B) where V is a finite v-element set of elements or points, B is a family of k-element subsets of V , called blocks such that every point is contained in exactly r blocks, and every 2-subset of V is contained in exactly λ blocks.
    [Show full text]
  • RDS— a GAP4 Package for Relative Difference Sets
    RDS — A GAP4 Package for Relative Difference Sets Version 1.7 by Marc Roder¨ Department of Mathematics, NUI Galway, Ireland marc [email protected] February 2019 Contents 1 About this package 3 8 Block Designs and Projective Planes 34 1.1 Acknowledgements . 3 8.1 Isomorphisms and Collineations . 36 1.2 Installation . 3 8.2 Central Collineations . 37 1.3 Verbosity . 4 8.3 Collineations on Baer Subplanes . 38 1.4 Definitions and Objects . 4 8.4 Invariants for Projective Planes . 39 2 AllDiffsets and OneDiffset 6 9 Some functions for everyday use 41 3 A basic example 8 9.1 Groups and actions . 41 3.1 First Step: Integers instead of group 9.2 Iterators . 41 elements . 8 9.3 Lists and Matrices . 42 3.2 Signatures: An important tool . 9 9.4 Cyclotomic numbers . 43 3.3 Change of coset vs. brute force . 10 9.5 Filters and Categories . 43 4 General concepts 12 Bibliography 45 4.1 Introduction . 12 Index 46 4.2 How partial difference sets are represented 13 4.3 Basic functions for startset generation . 13 4.4 Brute force methods . 17 5 Invariants for Difference Sets 19 5.1 The Coset Signature . 19 5.2 An invariant for large lambda . 24 5.3 Blackbox functions . 25 6 An Example Program 27 7 Ordered Signatures 30 7.1 Ordered signatures by quotient images 30 7.2 Ordered signatures using representations 31 7.3 Definition . 32 7.4 Methods for calculating ordered signatures 32 1 About this package The RDS package is meant to help with complete searches for relative difference sets in non-abelian groups.
    [Show full text]
  • Partitioning Groups with Difference Sets Rebecca Funke
    University of Richmond UR Scholarship Repository Honors Theses Student Research 2016 Partitioning groups with difference sets Rebecca Funke Follow this and additional works at: http://scholarship.richmond.edu/honors-theses Part of the Mathematics Commons Recommended Citation Funke, Rebecca, "Partitioning groups with difference sets" (2016). Honors Theses. Paper 956. This Thesis is brought to you for free and open access by the Student Research at UR Scholarship Repository. It has been accepted for inclusion in Honors Theses by an authorized administrator of UR Scholarship Repository. For more information, please contact [email protected]. Partitioning Groups with Difference sets Rebecca Funke Honors Thesis∗ Department of Mathematics & Computer Science University of Richmond ∗Under the direction of Dr. James A. Davis The signatures below, by the thesis advisor, the departmental reader, and the honors coordinator for mathematics, certify that this thesis, prepared by Rebecca Funke, has been approved, as to style and content. (Dr. James Davis, thesis advisor) (Dr. Della Dumbaugh, departmental reader) (Dr. Van Nall, honors coordinator) Abstract This thesis explores the use of difference sets to partition algebraic groups. Difference sets are a tool belonging to both group theory and combinatorics that provide symmetric properties that can be map into over mathematical fields such as design theory or coding theory. In my work, I will be taking algebraic groups and partitioning them into a subgroup and multiple McFarland difference sets. This partitioning can then be mapped to an association scheme. This bridge between difference sets and association schemes have important contributions to coding theory. Contents 0 Preliminaries 1 1 Introduction 1 1.1 Applications to design theory .
    [Show full text]
  • Recent Progress in Algebraic Design Theory Qing Xiang1
    PG1- Finite Fields and Their Applications 11 (2005) 622–653 http://www.elsevier.com/locate/ffa Recent progress in algebraic design theory Qing Xiang1 Department of Mathematical Sciences, University of Delaware, Newark, DE 19716, USA Received 2 March 2005; revised 1 June 2005 Communicated by Gary L. Mullen Abstract We survey recent results on difference sets, p-ranks and Smith normal forms of certain set-inclusion matrices and subspace-inclusion matrices. © 2005 Elsevier Inc. All rights reserved. Keywords: Bush-type Hadamard matrix; Code; Design; Difference set; Gauss sum; Hadamard difference set; Hadamard matrix; Jacobi sum; Monomial basis; Multiplier; Nonabelian difference set; p-rank; Reversible difference set; Skew Hadamard difference set; Smith normal form; Symmetric design; Strongly regular graph 1. Introduction In this paper, we survey some recent results in algebraic design theory. By algebraic design theory we mean the theory ofstudying combinatorial designs by using algebraic and number theoretic methods. A representative list oftopics in algebraic design theory can be found in Lander’s book [76]. Among the topics of algebraic design theory, difference sets are of central importance. Therefore we will devote a large part of this paper to difference sets. There exist several recent surveys on difference sets, for example, see [63,66,67,12, Chapter 6]. So it is natural for us to concentrate on results obtained after [12, Chapter 6] was written. Besides difference sets, we will also survey E-mail address: [email protected]. 1 Research supported in part by NSF Grant DMS 0400411. 1071-5797/$ - see front matter © 2005 Elsevier Inc. All rights reserved.
    [Show full text]
  • Difference Sets
    Difference Sets Definition Suppose that G = (G,+) is a finite group of order v with identity 0 written additively but not necessarily abelian. A (v,k,λ)-difference set in G is a subset D of G of size k such that the multiset {x-y| x,y ԑ D, x ≠ y} contains every element of G\{0} λ times. Example: In ℤ the set D = {0,1,3,9} is a (13,4,1)-difference 13 set. Consider 1 – 0 = 1 0 – 1 = -1 = 12 3 – 0 = 3 0 – 3 = -3 = 10 9 – 0 = 9 0 – 9 = -9 = 4 3 – 1 = 2 1 – 3 = -2 = 11 9 – 1 = 8 1 – 9 = -8 = 5 9 – 3 = 6 3 – 9 = -6 = 7 More Examples Example: D = {(0,1), (0,2), (0,3), (1,0), (2,0), (3,0)} is a (16,6,2) difference set in (ℤ x ℤ , +). 4 4 Example: D = {a, a2, b, b2, b4} is a (21, 5, 1)difference set in the non- abelian group G = {aibj: a3 = b7 = 1, ba = ab4}. Since this group is written multiplicatively the difference set definition takes on the form: {xy-1 | x, y ԑ D, x ≠ y} = G\{1}. So What? If a (v,k,λ)- difference set exists then λ(v-1) = k(k-1). This is immediate since the the LHS counts the number of non-zero elements of the set each with multiplicity λ, while the RHS counts the number of ordered pairs of distinct elements (each representing a difference). The notation and this relation seem to imply a relationship between difference sets and symmetric BIBDs.
    [Show full text]
  • Difference Sets from Projective Planes
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Digital University Library Saxony-Anhalt Difference Sets From Projective Planes Dissertation zu Erlangung des akademischen Grades doctor rerum naturalium (Dr. rer. nat.) von M. Sc. Yue Zhou geb. am 16.07.1984 in Shanxi genehmigt durch die Fakultät für Mathematik der Otto-von-Guericke-Universität Magdeburg. Gutachter: Prof. Dr. Alexander Pott Prof. Dr. Michel Lavrauw eingereicht am: 28.03.2013 Verteidigung am: 28.06.2013 Zusammenfassung Wir befassen uns in dieser Dissertation mit mehreren Typen verallgemeinerter Differenzmengen in abelschen Gruppen. Zunächst konzentrieren wir uns auf (q, q, q, 1)-relative Differenzmengen mit ungeradem q. Diese sind äquivalent zu planaren Funktionen über Fq. Die mei- sten bekannten Beispiele führen zu kommutativen Halbkörpern. Eines unserer Hauptresultate ist die Konstruktion einer neuen Familie von Halbkörpern un- gerader Charakteristik. Wir bestimmen ihre linken, rechten und mittleren Nu- klei. Wir zeigen, dass dieser Halbkörper für bestimmte Parameter auf zwei nicht äquivalente planare Funktionen führen. Durch Anwendung der Charakter-Methode auf planare Funktionen über Fq mit q ungerade zeigen wir einige überraschende Beziehungen zwischen pla- naren Funktionen über Fpm und planaren Funktionen über Fp2m . Wir untersu- chen Projektionen und Hochhebungen von planaren Funktionen, wobei wir auch einen Ansatz der Kodierungstheorie ausnutzen. Wir geben einige Resultate com- putergestützter Rechnungen über die “Switchings” planarer Funktionen von F3n für n = 3, 4, 5, 6 an. n n n n Danach untersuchen wir (2 , 2 , 2 , 1)-relative Differenzmengen in C4 rela- n tiv zu C2 . Dabei werden zwei Darstellungen eingeführt, von denen eine das Analogon klassischer planarer Funktionen ist, welche auf Fq mit q ungerade de- finiert sind.
    [Show full text]
  • Combinatorial Design Theory
    Combinatorial Design Theory Peter Dukes (University of Victoria), Esther Lamken (University of California), Richard Wilson (California Institute of Technology) November 9 – November 14, 2008 1 Overview Combinatorial design theory is the study of arranging elements of a finite set into patterns (subsets, words, arrays) according to specified rules. Probably the main ob- ject under consideration is a balanced incomplete block design, or BIBD. Specifically, a (v, k, λ)-BIBD is a pair (V, B), where V is a set of v elements and B is a collection of subsets, or blocks, of V such that • every block contains exactly k points; and • every pair of distinct elements is contained in exactly λ blocks. Variations on this definition are commonly considered, and the term ‘design’ includes these similar contexts. Design theory is a field of combinatorics with close ties to several other areas of mathematics including group theory, the theory of finite fields, the theory of finite geometries, number theory, combinatorial matrix theory, and graph theory, and with a wide range of applications in areas such as information theory, statistics, computer science, biology, and engineering. Like most areas of combinatorics, design theory has grown up with computer science and it has experienced a tremendous amount of growth in the last 30 years. The field has developed subfields and groups depending on the main techniques used: combinatorial, algebraic, and algorithmic/computational. There are also groups primarily involved with applications such as in coding theory, cryptography, and computer science. As design theory has grown, researchers have become increasingly specialized and focussed in subfields.
    [Show full text]
  • Theory of Block Designs
    Final Report Theory Of Block Designs Parvathy S MS13020 Indian Institute of Science Education and Research, Mohali Under the supervision of Prof. B. Sury Theoretical Statistics And Mathematics Unit Indian Statistical Institute, Bangalore Acknowledgements It is with immense gratitude that I acknowledge the support and help of my Professor B.Sury, Indian Statistical Institute(ISI), Bangalore. I express my deep sense of gratitude to him for his lectures and meetings which helped me enlighten my knowledge. I take this opportunity to record my sincere thanks to the institution and my guide for the pleasant accommodation. I am also thankful to my parents and friends for their help and support. Parvathy S ii Abstract Combinatorial Design Theory is a branch of combinatorial mathematics which underlines the study of existence, construction and properties of finite sets whose arrangements satisfy some generalized concepts of balance and sym- metry.We focus primarily on Balanced Incomplete Block Designs. In this report, we deal with three chapters of which the first chapter deals with introduction to block designs and we mainly see the definition and properties of a particular kind of design, Balanced Incomplete Block Designs or BIBD's. Secondly, we shift our focus to explore a particular kind of BIBD, called symmetric BIBD's and we see the necessary and sufficient conditions for the existence of the same using the results from number theory. Finally we study the concept of difference sets and how it is related to symmetric BIBD's. We conclude the report with the proof of the multiplier theorem which uses results from algebra.
    [Show full text]