A method for constructing splitting (v,c u, ) BIBDs. Stela Zhelezova Institute of Mathematics and Informatics, BAS

Size: px
Start display at page:

Download "A method for constructing splitting (v,c u, ) BIBDs. Stela Zhelezova Institute of Mathematics and Informatics, BAS"

Transcription

1 A method for constructing splitting (v,c u, ) BIBDs Stela Zhelezova Institute of Mathematics and Informatics, BAS

2 Motivation T O m = e(s) a model of G.J.Simmons, 1982 R 3-splitting (2,7,7) A-code (S,M,E) A-code S source state space E key space М message space, m = e(s) splitting strategy to determine m M e(s) =c for е Е, s S е Е, s s 1, е(s) e(s 1 )=0 S 1 S 2 е 1 {2,3,4} {5,6,7} е 2 {1,2,6} {3,4,7} е 3 {1,3,5} {2,4,6} е 4 {1,4,7} {2,3,5} е 5 {3,6,7} {1,4,5} е 6 {2,5,7} {1,3,6} е 7 {4,5,6} {1,2,7}

3 Introduction 2-(v,k,λ) design: V = {P i } v i=1 B = {B j } b j=1 finite set of v points; finite collection of b blocks: k-element subsets of V; D = (V, B ) 2-(v,k,λ) design if any 2-element subset of V is in λ blocks of B; r(k-1) = λ(v-1) bk = vr

4 Introduction Isomorphic designs exists a one-to-one correspondence between the point sets and block families of both designs, which does not change the incidence. Automorphism permutation of the points that transforms the blocks into blocks.

5 Introduction Parallel class partition of the design point set by blocks. Resolution partition of the family of blocks by parallel classes. Isomorphic resolutions - exists an automorphism of the design transforming each parallel class of the first resolution into a parallel class of the second one.

6 Introduction Ogata, Kurosawa, Stinson, Saido, 2004; (v, c u, )-splitting BIBD (V,B) with the next properties: V = v finite set of points p i, 1 i v ; B = b finite family of super-blocks, B j V, B j B, 1 j b; B j B, B j = B ij,1 B j,u, B j,1 = = B j,u =c; p x, p y V, x y, exactly super-blocks B j, x B i,m, y B i,n, m n. splitting BIBDs splitting authentication codes

7 Introduction (v, c u, )-splitting BIBD (V,B) with the next properties: V = v finite set of points p i, 1 i v ; B = b finite family of super-blocks, B j V, B j B, 1 j b; B j B, B j = B ij,1 B j,u, B j,1 = = B j,u =c; p x, p y V, x y, exactly super-blocks B j, x B i,m, y B i,n, m n. r = b = (v 1) c(u 1) v(v 1) c 2 u(u 1) v u. c v 1 0 mod (c(u 1)) v v 1 0 mod (c 2 u(u 1))

8 Introduction Equivalent splitting BIBDs exists a permutation of the points which transforms each super-block of the first splitting design to a super-block of the second one.

9 Existence results: Du, B.: Splitting balanced incomplete block designs with block size 3 2, 2004 Ge G., Miao Y., Wang L., Combinatorial constructions for authentication codes, 2005 Su, R., Wang, J.: On the existence of (v, 3 3, )-splitting balanced incomplete block designs with between 2 to 9, 2008 Su, R., Wang, J.: Further Results on the Existence of Splitting BIBDs and Application to Authentication Codes, 2010

10 Incidence matrix of a resolvable BIBD (6,3,4) BIBD, b=20, r= A=(a ij ) v b a ij = 1, if P i B j a ij = 0, if P i B j i = 1,2,,v, j=1,2,,b Parallel class partition of the point set by blocks. Resolution partition of the collection of design s blocks by parallel classes.

11 Incidence matrix of a resolvable BIBD (6,3,4) BIBD, b=20, R=10 (10,6,6) (qk,k, )BIBD (r,qk,r- ) q equidistant code, q>1 Semakov, Zinoviev, 1968

12 Construction method (7, 3 2, 3)-splitting BIBD incidence super-matrix A=(a ij ) v b a ij = 1, if p i B j,k a ij = 0, if p i B j,k i = 1,2,,v, j=1,2,,b k=1,, u

13 Construction method Construction of the v b incidence super-matrix point by point: alphabet with u elements {1,2,...,u} each symbol is exactly c times in each column and r = (v 1)/(c(u 1)) in each row; each pair of points has exactly times different symbols in each coordinate; exactly v-c.u holes (0) in each coordinate; Minimality test after each point. (7, 3 2, 3)- splitting BIBD

14 Construction method (7, 3 2, 3)- splitting BIBD splitting (2,7,7) A-code S 1 S 2 е 1 {2,3,4} {5,6,7} е 2 {1,2,6} {3,4,7} е 3 {1,3,5} {2,4,6} е 4 {1,4,7} {2,3,5} е 5 {3,6,7} {1,4,5} е 6 {2,5,7} {1,3,6} е 7 {4,5,6} {1,2,7}

15 Results v c u r b Number

On the Classification of Splitting (v, u c, ) BIBDs

On the Classification of Splitting (v, u c, ) BIBDs BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 18, No 5 Special Thematic Issue on Optimal Codes and Related Topics Sofia 2018 Print ISSN: 1311-9702; Online ISSN: 1314-4081

More information

LINEAR SPACES. Define a linear space to be a near linear space in which any two points are on a line.

LINEAR SPACES. Define a linear space to be a near linear space in which any two points are on a line. LINEAR SPACES Define a linear space to be a near linear space in which any two points are on a line. A linear space is an incidence structure I = (P, L) such that Axiom LS1: any line is incident with at

More information

A METHOD FOR CLASSIFICATION OF DOUBLY RESOLVABLE DESIGNS AND ITS APPLICATION. Stela Zhelezova

A METHOD FOR CLASSIFICATION OF DOUBLY RESOLVABLE DESIGNS AND ITS APPLICATION. Stela Zhelezova Serdica J. Computing 5 (2011), 273 308 A METHOD FOR CLASSIFICATION OF DOUBLY RESOLVABLE DESIGNS AND ITS APPLICATION Stela Zhelezova Abstract. The resolvability of combinatorial designs is intensively investigated

More information

Combinatorial Designs: Balanced Incomplete Block Designs

Combinatorial Designs: Balanced Incomplete Block Designs Combinatorial Designs: Balanced Incomplete Block Designs Designs The theory of design of experiments came into being largely through the work of R.A.Fisher and F.Yates in the early 1930's. They were motivated

More information

Week 15-16: Combinatorial Design

Week 15-16: Combinatorial Design Week 15-16: Combinatorial Design May 8, 2017 A combinatorial design, or simply a design, is an arrangement of the objects of a set into subsets satisfying certain prescribed properties. The area of combinatorial

More information

11 Block Designs. Linear Spaces. Designs. By convention, we shall

11 Block Designs. Linear Spaces. Designs. By convention, we shall 11 Block Designs Linear Spaces In this section we consider incidence structures I = (V, B, ). always let v = V and b = B. By convention, we shall Linear Space: We say that an incidence structure (V, B,

More information

Introduction to Block Designs

Introduction to Block Designs School of Electrical Engineering and Computer Science University of Ottawa lucia@eecs.uottawa.ca Winter 2017 What is Design Theory? Combinatorial design theory deals with the arrangement of elements into

More information

Chapter 10 Combinatorial Designs

Chapter 10 Combinatorial Designs Chapter 10 Combinatorial Designs BIBD Example (a,b,c) (a,b,d) (a,c,e) (a,d,f) (a,e,f) (b,c,f) (b,d,e) (b,e,f) (c,d,e) (c,d,f) Here are 10 subsets of the 6 element set {a, b, c, d, e, f }. BIBD Definition

More information

Additional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs

Additional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs Additional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs Colleen M. Swanson Computer Science & Engineering Division University of Michigan Ann Arbor, MI 48109,

More information

A new visual cryptography scheme for STS based access structures

A new visual cryptography scheme for STS based access structures A new visual cryptography scheme for STS based access structures Sucheta Chakrabarti R. K. Khanna Scientific Analysis Group DRDO Metcalfe House Complex Delhi 110 054 India Abstract Visual Cryptography

More information

Characterisations of optimal algebraic manipulation detection codes

Characterisations of optimal algebraic manipulation detection codes Characterisations of optimal algebraic manipulation detection codes M.B. Paterson 1 D.R. Stinson 2 1 David R. Cheriton School of Computer Science, University of Waterloo 2 Department of Economics, Mathematics

More information

Square 2-designs/1. 1 Definition

Square 2-designs/1. 1 Definition Square 2-designs Square 2-designs are variously known as symmetric designs, symmetric BIBDs, and projective designs. The definition does not imply any symmetry of the design, and the term projective designs,

More information

arxiv: v2 [math.co] 17 May 2017

arxiv: v2 [math.co] 17 May 2017 New nonbinary code bounds based on divisibility arguments Sven Polak 1 arxiv:1606.05144v [math.co] 17 May 017 Abstract. For q, n, d N, let A q (n, d) be the maximum size of a code C [q] n with minimum

More information

Steiner triple and quadruple systems of low 2-rank

Steiner triple and quadruple systems of low 2-rank Steiner triple and quadruple systems of low 2-rank Vladimir D. Tonchev Department of Mathematical Sciences Michigan Technological University Houghton, MI 49931, USA tonchev@mtu.edu, www.math.mtu.edu/ tonchev

More information

A new look at an old construction: constructing (simple) 3-designs from resolvable 2-designs

A new look at an old construction: constructing (simple) 3-designs from resolvable 2-designs A new look at an old construction: constructing (simple) 3-designs from resolvable 2-designs Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L

More information

Stanton Graph Decompositions

Stanton Graph Decompositions Stanton Graph Decompositions Hau Chan and Dinesh G. Sarvate Abstract. Stanton graphs S k (in honor of professor Ralph G. Stanton) are defined, and a new graph decomposition problem for Stanton graphs is

More information

Topics Related to Combinatorial Designs

Topics Related to Combinatorial Designs Postgraduate notes 2006/07 Topics Related to Combinatorial Designs 1. Designs. A combinatorial design D consists of a nonempty finite set S = {p 1,..., p v } of points or varieties, and a nonempty family

More information

A Short Overview of Orthogonal Arrays

A Short Overview of Orthogonal Arrays A Short Overview of Orthogonal Arrays John Stufken Department of Statistics University of Georgia Isaac Newton Institute September 5, 2011 John Stufken (University of Georgia) Orthogonal Arrays September

More information

On q-ary optimal equitable symbol weight codes

On q-ary optimal equitable symbol weight codes On q-ary optimal equitable symbol weight codes 1/20 On q-ary optimal equitable symbol weight codes L. A. Bassalygo, V.A. Zinoviev A.A. Kharkevich Institute for Problems of Information Transmission, Moscow,

More information

Some V(12,t) vectors and designs from difference and quasi-difference matrices

Some V(12,t) vectors and designs from difference and quasi-difference matrices AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 4 (28), Pages 69 85 Some V(12,t) vectors and designs from difference and quasi-difference matrices R Julian R Abel School of Mathematics and Statistics University

More information

Bipartite graphs with five eigenvalues and pseudo designs

Bipartite graphs with five eigenvalues and pseudo designs J Algebr Comb (2012) 36:209 221 DOI 10.1007/s10801-011-0331-3 Bipartite graphs with five eigenvalues and pseudo designs Ebrahim Ghorbani Received: 20 November 2010 / Accepted: 11 November 2011 / Published

More information

ON THE CONSTRUCTION OF ORTHOGONAL BALANCED INCOMPLETE BLOCK DESIGNS

ON THE CONSTRUCTION OF ORTHOGONAL BALANCED INCOMPLETE BLOCK DESIGNS Hacettepe Journal of Mathematics and Statistics Volume 35 (2) (2006), 235 240 ON THE CONSTRUCTION OF ORTHOGONAL BALANCED INCOMPLETE BLOCK DESIGNS Hülya Bayrak and Hanife Bulut Received 20 : 02 : 2006 :

More information

Construction of Partially Balanced Incomplete Block Designs

Construction of Partially Balanced Incomplete Block Designs International Journal of Statistics and Systems ISS 0973-675 Volume, umber (06), pp. 67-76 Research India Publications http://www.ripublication.com Construction of Partially Balanced Incomplete Block Designs

More information

Analysis of Variance and Design of Experiments-II

Analysis of Variance and Design of Experiments-II Analysis of Variance and Design of Experiments-II MODULE - II LECTURE - BALANCED INCOMPLETE BLOCK DESIGN (BIBD) Dr. Shalabh Department of Mathematics & Statistics Indian Institute of Technology Kanpur

More information

1. A brief introduction to

1. A brief introduction to 1. A brief introduction to design theory These lectures were given to an audience of design theorists; for those outside this class, the introductory chapter describes some of the concepts of design theory

More information

On generalized Howell designs with block size three

On generalized Howell designs with block size three On generalized Howell designs with block size three R. Julian R. Abel Robert F. Bailey Andrea C. Burgess Peter Danziger Eric Mendelsohn November 2, 2015 Abstract In this paper, we examine a class of doubly

More information

Incidence Structures Related to Difference Sets and Their Applications

Incidence Structures Related to Difference Sets and Their Applications aòµ 05B30 ü èµ Æ Òµ 113350 Æ Æ Ø Ø K8: 'u8'é(9ùa^ = Ø K8: Incidence Structures Related to Difference Sets and Their Applications úôœææ Æ Ø ž

More information

Small Group Divisible Steiner Quadruple Systems

Small Group Divisible Steiner Quadruple Systems Small Group Divisible Steiner Quadruple Systems Artem A. Zhuravlev, Melissa S. Keranen, Donald L. Kreher Department of Mathematical Sciences, Michigan Technological University Houghton, MI 49913-0402,

More information

Balanced Nested Designs and Balanced n-ary Designs

Balanced Nested Designs and Balanced n-ary Designs Balanced Nested Designs and Balanced n-ary Designs Ryoh Fuji-Hara a, Shinji Kuriki b, Ying Miao a and Satoshi Shinohara c a Institute of Policy and Planning Sciences, University of Tsukuba, Tsukuba, Ibaraki

More information

Ma/CS 6b Class 12: Graphs and Matrices

Ma/CS 6b Class 12: Graphs and Matrices Ma/CS 6b Class 2: Graphs and Matrices 3 3 v 5 v 4 v By Adam Sheffer Non-simple Graphs In this class we allow graphs to be nonsimple. We allow parallel edges, but not loops. Incidence Matrix Consider a

More information

Constructing some PBIBD(2)s by Tabu Search Algorithm

Constructing some PBIBD(2)s by Tabu Search Algorithm Constructing some PBIBD(2)s by Tabu Search Algorithm Luis B. Morales IIMAS, Universidad Nacional Autónoma de México Apdo. Postal 70-221, México, D.F., 04510, Mexico lbm@servidor.unam.mx Abstract Some papers

More information

STAT 430 (Fall 2017): Tutorial 8

STAT 430 (Fall 2017): Tutorial 8 STAT 430 (Fall 2017): Tutorial 8 Balanced Incomplete Block Design Luyao Lin November 7th/9th, 2017 Department Statistics and Actuarial Science, Simon Fraser University Block Design Complete Random Complete

More information

Anale. Seria Informatică. Vol. XII fasc Annals. Computer Science Series. 12 th Tome 2 nd Fasc. 2014

Anale. Seria Informatică. Vol. XII fasc Annals. Computer Science Series. 12 th Tome 2 nd Fasc. 2014 Anale. Seria Informatică. Vol. XII fasc. 2 24 Annals. Computer Science Series. 2 th Tome 2 nd Fasc. 24 49 AN ALGORITHM FOR CONSTRUCTING SYMMETRIC ((r+)v, kr, kλ) BIBDs FROM AFFINE RESOLVABLE (v, b, r,

More information

Minimal perfect bicoverings of K v with block sizes two, three and four

Minimal perfect bicoverings of K v with block sizes two, three and four Minimal perfect bicoverings of K v with block sizes two, three and four M.J. Grannell and T.S. Griggs Department of Pure Mathematics The Open University Walton Hall Milton Keynes MK7 6AA UNITED KINGDOM

More information

Optimal algebraic manipulation detection codes and difference families

Optimal algebraic manipulation detection codes and difference families Optimal algebraic manipulation detection codes and difference families Douglas R. Stinson David R. Cheriton School of Computer Science, University of Waterloo Southeastern Conference, Boca Raton, March

More information

Some recent results on all-or-nothing transforms, or All or nothing at all

Some recent results on all-or-nothing transforms, or All or nothing at all Some recent results on all-or-nothing transforms, or All or nothing at all Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Alex Rosa 80, Mikulov, June 27 30, 2017

More information

Orthogonal arrays of strength three from regular 3-wise balanced designs

Orthogonal arrays of strength three from regular 3-wise balanced designs Orthogonal arrays of strength three from regular 3-wise balanced designs Charles J. Colbourn Computer Science University of Vermont Burlington, Vermont 05405 D. L. Kreher Mathematical Sciences Michigan

More information

Group Divisible Designs With Two Groups and Block Size Five With Fixed Block Configuration

Group Divisible Designs With Two Groups and Block Size Five With Fixed Block Configuration Group Divisible Designs With Two Groups and Block Size Five With Fixed Block Configuration Spencer P. Hurd Nutan Mishra and Dinesh G. Sarvate Abstract. We present constructions and results about GDDs with

More information

Classes of block designs and theirs application in the analysis of agricultural experiment organization

Classes of block designs and theirs application in the analysis of agricultural experiment organization Proceedings of the 6th WSEAS International Conference on Applied Computer Science, Hangzhou, China, April 15-17, 007 594 Classes of block designs and theirs application in the analysis of agricultural

More information

arxiv: v4 [math.co] 30 Mar 2009

arxiv: v4 [math.co] 30 Mar 2009 CYCLIC (v;r,s;λ) DIFFERENCE FAMILIES WITH TWO BASE BLOCKS AND v 50 arxiv:0707.2173v4 [math.co] 30 Mar 2009 DRAGOMIR Ž. D OKOVIĆ Abstract. We construct many new cyclic (v;r,s;λ) difference families with

More information

RAMSEY THEORY. 1 Ramsey Numbers

RAMSEY THEORY. 1 Ramsey Numbers RAMSEY THEORY 1 Ramsey Numbers Party Problem: Find the minimum number R(k, l) of guests that must be invited so that at least k will know each other or at least l will not know each other (we assume that

More information

Blocks are formed by grouping EUs in what way? How are experimental units randomized to treatments?

Blocks are formed by grouping EUs in what way? How are experimental units randomized to treatments? VI. Incomplete Block Designs A. Introduction What is the purpose of block designs? Blocks are formed by grouping EUs in what way? How are experimental units randomized to treatments? 550 What if we have

More information

Some New Large Sets of Geometric Designs

Some New Large Sets of Geometric Designs Spyros S. Magliveras Department of Mathematical Sciences Florida Atlantic University Boca Raton, Florida, U.S.A. First annual Kliakhandler Conference Algebraic Combinatorics and Applications Houghton,

More information

CONSTRUCTION OF SEMI-REGULAR GRAPH DESIGNS

CONSTRUCTION OF SEMI-REGULAR GRAPH DESIGNS CHAPTER 4 CONSTRUCTION OF SEMI-REGULAR GRAPH DESIGNS 4.1 Introduction 4.2 Historical Review 4.3 Preliminary Results 4.4 Methods of Construction of SRG Designs 4.4.1 Construction using BIB Designs with

More information

Optimal XOR based (2,n)-Visual Cryptography Schemes

Optimal XOR based (2,n)-Visual Cryptography Schemes Optimal XOR based (2,n)-Visual Cryptography Schemes Feng Liu and ChuanKun Wu State Key Laboratory Of Information Security, Institute of Software Chinese Academy of Sciences, Beijing 0090, China Email:

More information

Resolvable partially pairwise balanced designs and their applications in computer experiments

Resolvable partially pairwise balanced designs and their applications in computer experiments Resolvable partially pairwise balanced designs and their applications in computer experiments Kai-Tai Fang Department of Mathematics, Hong Kong Baptist University Yu Tang, Jianxing Yin Department of Mathematics,

More information

Affine designs and linear orthogonal arrays

Affine designs and linear orthogonal arrays Affine designs and linear orthogonal arrays Vladimir D. Tonchev Department of Mathematical Sciences, Michigan Technological University, Houghton, Michigan 49931, USA, tonchev@mtu.edu Abstract It is proved

More information

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS

AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS AUTOMORPHISM GROUPS AND SPECTRA OF CIRCULANT GRAPHS MAX GOLDBERG Abstract. We explore ways to concisely describe circulant graphs, highly symmetric graphs with properties that are easier to generalize

More information

Definition. Example: In Z 13

Definition. Example: In Z 13 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

More information

On Graph Isomorphism Problem

On Graph Isomorphism Problem On Graph Isomorphism Problem Wenxue Du School of Mathematical Science, Anhui University, Hefei, 30601, China E-mail: wenxuedu@gmail.com Abstract arxiv:1710.0956v1 [math.co 6 Oct 017 Let G and H be two

More information

Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets

Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets Navid Nasr Esfahani, Ian Goldberg and Douglas R. Stinson David R. Cheriton School of Computer Science University of

More information

On balanced incomplete-block designs with repeated blocks

On balanced incomplete-block designs with repeated blocks On balanced incomplete-block designs with repeated blocks P. Dobcsányi a,b, D.A. Preece c,d, L.H. Soicher c a Faculty of Computer Science, Dalhousie University, Halifax, Nova Scotia B3H 1W5, Canada b Department

More information

PALINDROMIC AND SŪDOKU QUASIGROUPS

PALINDROMIC AND SŪDOKU QUASIGROUPS PALINDROMIC AND SŪDOKU QUASIGROUPS JONATHAN D. H. SMITH Abstract. Two quasigroup identities of importance in combinatorics, Schroeder s Second Law and Stein s Third Law, share many common features that

More information

Systems of distinct representatives/1

Systems of distinct representatives/1 Systems of distinct representatives 1 SDRs and Hall s Theorem Let (X 1,...,X n ) be a family of subsets of a set A, indexed by the first n natural numbers. (We allow some of the sets to be equal.) A system

More information

An Algorithm to Determine the Clique Number of a Split Graph. In this paper, we propose an algorithm to determine the clique number of a split graph.

An Algorithm to Determine the Clique Number of a Split Graph. In this paper, we propose an algorithm to determine the clique number of a split graph. An Algorithm to Determine the Clique Number of a Split Graph O.Kettani email :o_ket1@yahoo.fr Abstract In this paper, we propose an algorithm to determine the clique number of a split graph. Introduction

More information

G-invariantly resolvable Steiner 2-designs which are 1-rotational over G

G-invariantly resolvable Steiner 2-designs which are 1-rotational over G G-invariantly resolvable Steiner 2-designs which are 1-rotational over G Marco Buratti Fulvio Zuanni Abstract A 1-rotational (G, N, k, 1) difference family is a set of k-subsets (base blocks) of an additive

More information

On some incidence structures constructed from groups and related codes

On some incidence structures constructed from groups and related codes On some incidence structures constructed from groups and related codes Dean Crnković Department of Mathematics University of Rijeka Croatia Algebraic Combinatorics and Applications The first annual Kliakhandler

More information

--------------------------------------------------------------------------------------------- Math 6023 Topics: Design and Graph Theory ---------------------------------------------------------------------------------------------

More information

QUASIDOUBLES OF HADAMARD 2-(15,7,3) DESIGNS WITH AUTOMORPHISMS OF ORDER 3. Zlatka T. Mateva, Svetlana T. Topalova

QUASIDOUBLES OF HADAMARD 2-(15,7,3) DESIGNS WITH AUTOMORPHISMS OF ORDER 3. Zlatka T. Mateva, Svetlana T. Topalova МАТЕМАТИКА И МАТЕМАТИЧЕСКО ОБРАЗОВАНИЕ, 2007 MATHEMATICS AND EDUCATION IN MATHEMATICS, 2007 Proceedings of the Thirty Sixth Spring Conference of the Union of Bulgarian Mathematicians St. Konstantin & Elena

More information

Introduction to Kleene Algebra Lecture 9 CS786 Spring 2004 February 23, 2004

Introduction to Kleene Algebra Lecture 9 CS786 Spring 2004 February 23, 2004 Introduction to Kleene Algebra Lecture 9 CS786 Spring 2004 February 23, 2004 Completeness Here we continue the program begun in the previous lecture to show the completeness of Kleene algebra for the equational

More information

BALANCED INCOMPLETE BLOCK DESIGNS

BALANCED INCOMPLETE BLOCK DESIGNS BALANCED INCOMPLETE BLOCK DESIGNS V.K. Sharma I.A.S.R.I., Library Avenue, New Delhi -110012. 1. Introduction In Incomplete block designs, as their name implies, the block size is less than the number of

More information

Combinatorial Designs Man versus Machine

Combinatorial Designs Man versus Machine Combinatorial Designs Man versus Machine Anamari Nakić Department of Energy and Power Systems Faculty of Electrical Engineering and Computing University of Zagreb Zagreb 2015 1 / 47 The theory of combinatrial

More information

Construction of Pair-wise Balanced Design

Construction of Pair-wise Balanced Design Journal of Modern Applied Statistical Methods Volume 15 Issue 1 Article 11 5-2016 onstruction of Pair-wise Balanced Design Rajarathinam Arunachalam Manonmaniam Sundaranar University, arrathinam@yahoo.com

More information

Finite geometry codes, generalized Hadamard matrices, and Hamada and Assmus conjectures p. 1/2

Finite geometry codes, generalized Hadamard matrices, and Hamada and Assmus conjectures p. 1/2 Finite geometry codes, generalized Hadamard matrices, and Hamada and Assmus conjectures Vladimir D. Tonchev a Department of Mathematical Sciences Michigan Technological University Houghton, Michigan 49931,

More information

Latin squares: Equivalents and equivalence

Latin squares: Equivalents and equivalence Latin squares: Equivalents and equivalence 1 Introduction This essay describes some mathematical structures equivalent to Latin squares and some notions of equivalence of such structures. According to

More information

Linear Systems of n equations for n unknowns

Linear Systems of n equations for n unknowns Linear Systems of n equations for n unknowns In many application problems we want to find n unknowns, and we have n linear equations Example: Find x,x,x such that the following three equations hold: x

More information

New Lower Bounds for the Number of Blocks in Balanced Incomplete Block Designs

New Lower Bounds for the Number of Blocks in Balanced Incomplete Block Designs New Lower Bounds for the Number of Blocs in Balanced Incomplete Bloc Designs MUHAMMAD A KHAN ABSTRACT: Bose [1] proved the inequality b v+ r 1 for resolvable balanced incomplete bloc designs (RBIBDs) and

More information

Character Polynomials

Character Polynomials Character Polynomials Problem From Stanley s Positivity Problems in Algebraic Combinatorics Problem : Give a combinatorial interpretation of the row sums of the character table for S n (combinatorial proof

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

More information

Abstract. A substitute for the non-existent affine plane of order 6. Chapter 1. Outline. Square lattice designs for n 2 treatments in rn blocks of n

Abstract. A substitute for the non-existent affine plane of order 6. Chapter 1. Outline. Square lattice designs for n 2 treatments in rn blocks of n A substitute for the non-existent affine plane of order R. A. Bailey University of St Andrews QMUL (emerita) Algebra and Combinatorics seminar, University of St Andrews, 1 February 018 Joint work with

More information

Generalized Bhaskar Rao designs with elements from cyclic groups of even order

Generalized Bhaskar Rao designs with elements from cyclic groups of even order University of Wollongong Research Online Faculty of Informatics - Papers (Archive) Faculty of Engineering and Information Sciences 1991 Generalized Bhaskar Rao designs with elements from cyclic groups

More information

Block-Transitive 4 (v, k, 4) Designs and Suzuki Groups

Block-Transitive 4 (v, k, 4) Designs and Suzuki Groups International Journal of Algebra, Vol. 10, 2016, no. 1, 27-32 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.51277 Block-Transitive 4 (v, k, 4) Designs and Suzuki Groups Shaojun Dai Department

More information

into B multisets, or blocks, each of cardinality K (K V ), satisfying

into B multisets, or blocks, each of cardinality K (K V ), satisfying ,, 1{8 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Balanced Part Ternary Designs: Some New Results THOMAS KUNKLE DINESH G. SARVATE Department of Mathematics, College of Charleston,

More information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.

More information

Department of Mathematics, Suzhou University Suzhou China (PRC) Abstract

Department of Mathematics, Suzhou University Suzhou China (PRC) Abstract On the existence of self-orthogonal diagonal Latin squares Du Department of Mathematics, Suzhou University Suzhou 215006 China (PRC) Abstract A diagonal Latin square is a Latin square whose main diagonal

More information

A Tabu Search Algorithm to Construct BIBDs Using MIP Solvers

A Tabu Search Algorithm to Construct BIBDs Using MIP Solvers The Eighth International Symposium on Operations Research and Its Applications (ISORA 09) Zhangjiajie, China, Septemer 20 22, 2009 Copyright 2009 ORSC & APORC, pp. 179 189 A Tau Search Algorithm to Construct

More information

Ma/CS 6a Class 28: Latin Squares

Ma/CS 6a Class 28: Latin Squares Ma/CS 6a Class 28: Latin Squares By Adam Sheffer Latin Squares A Latin square is an n n array filled with n different symbols, each occurring exactly once in each row and exactly once in each column. 1

More information

Mutually Orthogonal Latin Squares: Covering and Packing Analogues

Mutually Orthogonal Latin Squares: Covering and Packing Analogues Squares: Covering 1 1 School of Computing, Informatics, and Decision Systems Engineering Arizona State University Mile High Conference, 15 August 2013 Latin Squares Definition A latin square of side n

More information

NESTED BLOCK DESIGNS

NESTED BLOCK DESIGNS NESTED BLOCK DESIGNS Rajender Parsad I.A.S.R.I., Library Avenue, New Delhi 0 0 rajender@iasri.res.in. Introduction Heterogeneity in the experimental material is the most important problem to be reckoned

More information

Difference sets and Hadamard matrices

Difference sets and Hadamard matrices Difference sets and Hadamard matrices Padraig Ó Catháin National University of Ireland, Galway 14 March 2012 Outline 1 (Finite) Projective planes 2 Symmetric Designs 3 Difference sets 4 Doubly transitive

More information

Planes and MOLS. Ian Wanless. Monash University

Planes and MOLS. Ian Wanless. Monash University Planes and MOLS Ian Wanless Monash University A few of our favourite things A projective plane of order n. An orthogonal array OA(n + 1, n) (strength 2) A (complete) set of n 1 MOLS(n). A classical result

More information

Tactical Decompositions of Steiner Systems and Orbits of Projective Groups

Tactical Decompositions of Steiner Systems and Orbits of Projective Groups Journal of Algebraic Combinatorics 12 (2000), 123 130 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Tactical Decompositions of Steiner Systems and Orbits of Projective Groups KELDON

More information

Quasi-Cyclic Low-Density Parity-Check Codes With Girth Larger Than

Quasi-Cyclic Low-Density Parity-Check Codes With Girth Larger Than IEEE TRANSACTIONS ON INFORMATION THEORY, VOL 53, NO 8, AUGUST 2007 2885 n possible values If the parity check is satisfied, the error probability is closely approximated by the probability of two bit errors,

More information

FREQUENCY hopping spread spectrum (FHSS) [1] is an

FREQUENCY hopping spread spectrum (FHSS) [1] is an 1 Optimal Partitioned Cyclic Difference Packings for Frequency Hopping and Code Synchronization Yeow Meng Chee, Senior Member, IEEE, Alan C. H. Ling, and Jianxing Yin Abstract Optimal partitioned cyclic

More information

Galois Field Commitment Scheme

Galois Field Commitment Scheme Galois Field Commitment Scheme Alexandre Pinto André Souto Armando Matos Luís Antunes University of Porto, Portugal November 13, 2006 Abstract In [3] the authors give the first mathematical formalization

More information

Combinatorial Group Testing for DNA Library Screening

Combinatorial Group Testing for DNA Library Screening 0-0 Combinatorial Group Testing for DNA Library Screening Ying Miao University of Tsukuba 0-1 Contents 1. Introduction 2. An Example 3. General Case 4. Consecutive Positives Case 5. Bayesian Network Pool

More information

Randomized Complete Block Designs Incomplete Block Designs. Block Designs. 1 Randomized Complete Block Designs. 2 Incomplete Block Designs

Randomized Complete Block Designs Incomplete Block Designs. Block Designs. 1 Randomized Complete Block Designs. 2 Incomplete Block Designs Block Designs Randomized Complete Block Designs 1 Randomized Complete Block Designs 2 0 / 18 1 Randomized Complete Block Designs 2 1 / 18 Randomized Complete Block Design RCBD is the most widely used experimental

More information

A Combinatorial Approach to Key Predistribution. for Distributed Sensor Networks

A Combinatorial Approach to Key Predistribution. for Distributed Sensor Networks A Combinatorial Approach to Key Predistribution for Distributed Sensor Networks Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo and Jooyoung Lee National Security

More information

Generalizing Clatworthy Group Divisible Designs. Julie Rogers

Generalizing Clatworthy Group Divisible Designs. Julie Rogers Generalizing Clatworthy Group Divisible Designs by Julie Rogers A dissertation submitted to the Graduate Faculty of Auburn University in partial fulfillment of the requirements for the Degree of Doctor

More information

Combinatorial algorithms

Combinatorial algorithms Combinatorial algorithms computing subset rank and unrank, Gray codes, k-element subset rank and unrank, computing permutation rank and unrank Jiří Vyskočil, Radek Mařík 2012 Combinatorial Generation definition:

More information

Optimal Ramp Schemes and Related Combinatorial Objects

Optimal Ramp Schemes and Related Combinatorial Objects Optimal Ramp Schemes and Related Combinatorial Objects Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo BCC 2017, Glasgow, July 3 7, 2017 1 / 18 (t, n)-threshold Schemes

More information

µ INVARIANT OF NANOPHRASES YUKA KOTORII TOKYO INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF SCIENCE AND ENGINEERING 1. Introduction A word will be a sequ

µ INVARIANT OF NANOPHRASES YUKA KOTORII TOKYO INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF SCIENCE AND ENGINEERING 1. Introduction A word will be a sequ µ INVARIANT OF NANOPHRASES YUKA KOTORII TOKYO INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF SCIENCE AND ENGINEERING 1. Introduction A word will be a sequence of symbols, called letters, belonging to a given

More information

THE UNIVERSITY OF TORONTO UNDERGRADUATE MATHEMATICS COMPETITION March, 2005

THE UNIVERSITY OF TORONTO UNDERGRADUATE MATHEMATICS COMPETITION March, 2005 THE UNIVERSITY OF TORONTO UNDERGRADUATE MATHEMATICS COMPETITION March, 5 Time: 3 1 hours No aids or calculators permitted. It is not necessary to do all the problems. Complete solutions to fewer problems

More information

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples: Monoids Definition: A binary operation on a set M is a function : M M M. If : M M M, we say that is well defined on M or equivalently, that M is closed under the operation. Examples: Definition: A monoid

More information

ON THE EXISTENCE OF APERIODIC COMPLEMENTARY HEXAGONAL LATTICE ARRAYS

ON THE EXISTENCE OF APERIODIC COMPLEMENTARY HEXAGONAL LATTICE ARRAYS ON THE EXISTENCE OF APERIODIC COMPLEMENTARY HEXAGONAL LATTICE ARRAYS YIN TAN AND GUANG GONG Abstract. Binary (periodic aperiodic complementary sequences have been studied extensively due to their wide

More information

Quiz 2 Practice Problems

Quiz 2 Practice Problems Quiz 2 Practice Problems Math 332, Spring 2010 Isomorphisms and Automorphisms 1. Let C be the group of complex numbers under the operation of addition, and define a function ϕ: C C by ϕ(a + bi) = a bi.

More information

EE263 Review Session 1

EE263 Review Session 1 EE263 Review Session 1 October 5, 2018 0.1 Importing Variables from a MALAB.m file If you are importing variables given in file vars.m, use the following code at the beginning of your script. close a l

More information

MAXIMAL VERTEX-CONNECTIVITY OF S n,k

MAXIMAL VERTEX-CONNECTIVITY OF S n,k MAXIMAL VERTEX-CONNECTIVITY OF S n,k EDDIE CHENG, WILLIAM A. LINDSEY, AND DANIEL E. STEFFY Abstract. The class of star graphs is a popular topology for interconnection networks. However it has certain

More information

ARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions

ARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions ARCS IN FINITE PROJECTIVE SPACES SIMEON BALL Abstract. These notes are an outline of a course on arcs given at the Finite Geometry Summer School, University of Sussex, June 26-30, 2017. Let K denote an

More information

Existence and Non-existence Results for Strong External Difference Families

Existence and Non-existence Results for Strong External Difference Families Existence and Non-existence Results for Strong External Difference Families Sophie Huczynska School of Mathematics and Statistics, University of St Andrews, St Andrews, Scotland, U.K. sh70@st-andrews.ac.uk

More information