Week 15-16: Combinatorial Design

Total Page:16

File Type:pdf, Size:1020Kb

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 design is highly developed, yet many interesting problems and fundamental questions still remain open. Many of the methods for constructing designs rely on the algebraic structure called ¯nite ¯eld and more general system of arithmetics. 1 Modular Arithmetic Let Z denote the set of all integers, i.e., Z = f:::; ¡2; ¡1; 0; 1; 2;:::g: We denote by + and £ the ordinary addition and multiplication of integers respectively. Let n be a positive integer with n ¸ 2 and let Zn = f0; 1; 2; : : : ; n ¡ 1g be the set of nonnegative integers which are less than n. We can think of the integers of the set Zn as the possible remainders when any integer is divided by n. If m is an integer, then there is a unique integers q (the quotient) and r (the remainder) such that m = q £ n + r; 0 · r · n ¡ 1: 1 Keep this in mind we introduce an addition, denoted ©, and a multiplica- tion, denoted ­, on Zn as follows: For any two integers a; b 2 Zn, a © b = the remainder of a + b when divided by n, a ­ b = the remainder of a £ b when divided by n. Example 1.1. For n = 2, we have Z2 = f0; 1g, and © 0 1 ­ 0 1 0 0 1 0 0 0 1 1 0 1 0 1 For n = 3, we have Z3 = f0; 1; 2g, and © 0 1 2 ­ 0 1 2 0 0 1 2 0 0 0 0 1 1 2 0 1 0 1 2 2 2 0 1 2 0 2 1 For n = 6, 4 © 5 = 3; 3 © 4 = 1; 4 © 2 = 0; 4 ­ 5 = 2; 3 ­ 4 = 0; 4 ­ 2 = 2: 2 Block Design Example 2.1. Suppose there are 7 varieties of a product to be tested for acceptability among consumers. The manufacturer plans to ask some random (or typical) customers to compare the di®erent varieties. Due to time consuming, a customer is not asked to compare all pairs of the varieties. Instead, each customer is asked to compare a certain 3 of the varieties. In order to draw a meaningful conclusion based on statistical analysis of the results, the test is to have the property that each pair of the 7 varieties is compared by exactly one person. Can such a testing experiment be designed? ¡7¢ ¡3¢ There are 2 = 21 comparisons. Each person can do 2 = 3 comparisons. 21 Then 3 = 7 person are needed for the design. This means that such a design 2 is possible. Can we actually construct one of such designs? Let us denote the 7 varieties by the set f0; 1; 2;:::; 6g. Then the following is one of such designs. f0; 1; 2g; f0; 3; 4g; f0; 5; 6g; f1; 3; 5g; f1; 4; 6g; f2; 3; 6g; f2; 4; 5g: These subsets are called the blocks of the design. Let us denote these block by B1;B2;:::;B7 respectively. Then there is an incidence relation R between the set f0; 1; 2;:::; 7g and the set B = fB1;B2;:::;B7g, de¯ned by (ai;Bj) 2 R if ai 2 Bj: The incidence relation R can be exhibited by the table (or 0-1 matrix) B1 B2 B3 B4 B5 B6 B7 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 2 1 0 0 0 0 1 1 3 0 1 0 1 0 1 0 4 0 1 0 0 1 0 1 5 0 0 1 1 0 0 1 6 0 0 1 0 1 1 0 Let X = fx1; x2; : : : ; xvg be a ¯nite set, whose elements are called varieties. A design on X is a collection B = fB1;B2;:::;Bbg of subsets of X; the objects Bi are called blocks, and the design is denoted by (X; B). A design (X; B) is called complete if X 2 B; otherwise, it is called incomplete. A design (X; B) is called balanced if any two members xi; xj 2 X (i 6= j) meet in B the same number of times, i.e., © ª # B 2 B : fxi; xjg ⊆ B = ¸; the number ¸ is called the index of the design. A design (X; B) is called a block design if all blocks of B have the same number of elements, i.e., there is a number k such that jBj = k for all B 2 B: The block design with the parameters v; b; k is also called a (b; v; k)-design. 3 De¯nition 2.1. Let b, v, k, and ¸ be positive integers such that v > k ¸ 2: Let (X; B) be a block design with X = fx1; x2; : : : ; xvg; B = fB1;B2;:::;Bbg; jBij = k (1 · i · b): If (X; B) is balanced, then the design is called balanced incomplete block design (or BIBD for short). For convenience we call such a BIBD a (b; v; k; ¸)- design or a BIBD(b; v; k; ¸). A design (X; B) can be completely described by the incidence matrix M, whose rows are indexed by the elements of X and whose columns are indexed by the blocks of B. The entry of the matrix M at (x; B) is de¯ned to be 1 if x 2 B; otherwise it is de¯ned to be 0. Theorem 2.2. Let (X; B) be a BIBD(b; v; k; ¸). Then each member of X meets exactly r blocks in B. More precisely, for each x 2 X, ¸(v ¡ 1) jfB 2 B : x 2 Bgj = r and r = : k ¡ 1 Proof. Let x be a member of X, and let Bl1;Bl2;:::;Blr be the blocks that contain the member x. We de¯ne a 0-1 matrix A whose rows are indexed by the members of X ¡ fxg and whose columns are indexed by the blocks Bl1;Bl2;:::;Blr; an entry (xi;Blj ) of A is 1 if and only if xi 2 Blj . We count the number of 1's in A in two ways (along the rows and along the columns): (1) Each member xi 2 X ¡fxg is contained in ¸ blocks since the pair fx; xig is contained in ¸ blocks. (2) Each block Blj contains k ¡ 1 elements of X ¡ fxg. Thus the number of 1's in the matrix A is (v ¡ 1)¸ = (k ¡ 1)r: ¸(v¡1) It follows that r = k¡1 , which is a constant for all x 2 X. 4 There are ¯ve parameters b, v, k, r, and ¸, not all independent, associated with any BIBD. Their meanings are as follows: b: the number of blocks; v: the number of varieties; k: the number of varieties contained in each block; r: the number of blocks containing any one particular variety; ¸: the number of blocks containing any one particular pair of varieties. Corollary 2.3. In any BIBD we have bk = vr; ¸ < r: Proof. Equality follows from counting the number of 1's in the incidence matrix of the design. As for the inequality, since k < v then k ¡ 1 < v ¡ 1, thus ¸(v ¡ 1) r = > ¸: k ¡ 1 Example 2.2. Is there any BIBD with the parameters b = 12, v = 16, k = 4, and r = 3? If there is such a BIBD then the index of the design is r(k ¡ 1) 3 £ 3 3 ¸ = = = v ¡ 1 15 5 which is not an integer. Thus there is no BIBD satisfying the given conditions. Example 2.3. Is there any BIBD with the parameters b = 12, v = 9, k = 3, and r = 4, and ¸ = 1? If yes, ¯nd such a BIBD? Note that ¸(v ¡ 1) 1 £ (9 ¡ 1) r = = = 4; k ¡ 1 3 ¡ 1 bk = 12 £ 3 = 9 £ 4 = vr: It seems that there is contradiction. Such a BIBD is displayed by the following 5 incidence matrix: 2 3 100100100100 6 7 6 100010001010 7 6 7 6 100001010001 7 6 7 6 010100010010 7 6 7 6 010010100001 7 6 7 6 010001001100 7 6 7 6 7 6 001100001001 7 4 001010010100 5 001001100010 Example 2.4. Let X be the set of the 16 squares of a 4-by-4 board; see below. ¤ ¤ ¤ ¤ x ¤ y x x ¤ ¤ ¤ x ¤ ¤ ¤ y ¤ y For each square x = (i; j), we take the 6 squares which are either in its row or in its column (but not the square itself) to be a block Bi;j, i.e., Bx = B(i; j) = f(i; q) 2 X : q 6= jg [ f(p; j) 2 X : p 6= ig: Let B = fB(i; j) : 1 · i; j · 4g. Then (X; B) is a BIBD with parameters b = 16, v = 16, k = 6, r = 6, and ¸ = 2. In fact, for any two squares x; y 2 X, there are two blocks shown above that contain both x and y. Thus (X; B) is a BIBD. Moreover, b = v. Theorem 2.4 (Fisher's Inequality). For any BIBD we have b ¸ v: Proof. Let A be the v-by-b incidence matrix of a BIBD. Since each variety belongs to r blocks and each pair of varieties is contained in ¸ blocks, then the (x; y)-entry of AAT is ½ X r if x = y a a = jfB 2 B : x; y 2 Bgj = xB yB ¸ if x 6= y B2B 6 where axB = 1 if x 2 B and axB = 0 if x 62 B.
Recommended publications
  • Combinatorial Design University of Southern California Non-Parametric Computational Design Strategies
    Jose Sanchez Combinatorial design University of Southern California Non-parametric computational design strategies 1 ABSTRACT This paper outlines a framework and conceptualization of combinatorial design. Combinatorial 1 Design – Year 3 – Pattern of one design is a term coined to describe non-parametric design strategies that focus on the permutation, unit in two scales. Developed by combinatorial design within a game combination and patterning of discrete units. These design strategies differ substantially from para- engine. metric design strategies as they do not operate under continuous numerical evaluations, intervals or ratios but rather finite discrete sets. The conceptualization of this term and the differences with other design strategies are portrayed by the work done in the last 3 years of research at University of Southern California under the Polyomino agenda. The work, conducted together with students, has studied the use of discrete sets and combinatorial strategies within virtual reality environments to allow for an enhanced decision making process, one in which human intuition is coupled to algo- rithmic intelligence. The work of the research unit has been sponsored and tested by the company Stratays for ongoing research on crowd-sourced design. 44 INTRODUCTION—OUTSIDE THE PARAMETRIC UMBRELLA To start, it is important that we understand that the use of the terms parametric and combinatorial that will be used in this paper will come from an architectural and design background, as the association of these terms in mathematics and statistics might have a different connotation. There are certainly lessons and a direct relation between the term ‘combinatorial’ as used in this paper and the field of combinatorics and permutations in mathematics.
    [Show full text]
  • COMBINATORICS, Volume
    http://dx.doi.org/10.1090/pspum/019 PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS Volume XIX COMBINATORICS AMERICAN MATHEMATICAL SOCIETY Providence, Rhode Island 1971 Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society Held at the University of California Los Angeles, California March 21-22, 1968 Prepared by the American Mathematical Society under National Science Foundation Grant GP-8436 Edited by Theodore S. Motzkin AMS 1970 Subject Classifications Primary 05Axx, 05Bxx, 05Cxx, 10-XX, 15-XX, 50-XX Secondary 04A20, 05A05, 05A17, 05A20, 05B05, 05B15, 05B20, 05B25, 05B30, 05C15, 05C99, 06A05, 10A45, 10C05, 14-XX, 20Bxx, 20Fxx, 50A20, 55C05, 55J05, 94A20 International Standard Book Number 0-8218-1419-2 Library of Congress Catalog Number 74-153879 Copyright © 1971 by the American Mathematical Society Printed in the United States of America All rights reserved except those granted to the United States Government May not be produced in any form without permission of the publishers Leo Moser (1921-1970) was active and productive in various aspects of combin• atorics and of its applications to number theory. He was in close contact with those with whom he had common interests: we will remember his sparkling wit, the universality of his anecdotes, and his stimulating presence. This volume, much of whose content he had enjoyed and appreciated, and which contains the re• construction of a contribution by him, is dedicated to his memory. CONTENTS Preface vii Modular Forms on Noncongruence Subgroups BY A. O. L. ATKIN AND H. P. F. SWINNERTON-DYER 1 Selfconjugate Tetrahedra with Respect to the Hermitian Variety xl+xl + *l + ;cg = 0 in PG(3, 22) and a Representation of PG(3, 3) BY R.
    [Show full text]
  • The Fact of Modern Mathematics: Geometry, Logic, and Concept Formation in Kant and Cassirer
    THE FACT OF MODERN MATHEMATICS: GEOMETRY, LOGIC, AND CONCEPT FORMATION IN KANT AND CASSIRER by Jeremy Heis B.A., Michigan State University, 1999 Submitted to the Graduate Faculty of Arts and Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy University of Pittsburgh 2007 UNIVERSITY OF PITTSBURGH COLLEGE OF ARTS AND SCIENCES This dissertation was presented by Jeremy Heis It was defended on September 5, 2007 and approved by Jeremy Avigad, Associate Professor, Philosophy, Carnegie Mellon University Stephen Engstrom, Associate Professor, Philosophy, University of Pittsburgh Anil Gupta, Distinguished Professor, Philosophy, University of Pittsburgh Kenneth Manders, Associate Professor, Philosophy, University of Pittsburgh Thomas Ricketts, Professor, Philosophy, University of Pittsburgh Dissertation Advisor: Mark Wilson, Professor, Philosophy, University of Pittsburgh ii Copyright © by Jeremy Heis 2007 iii THE FACT OF MODERN MATHEMATICS: GEOMETRY, LOGIC, AND CONCEPT FORMATION IN KANT AND CASSIRER Jeremy Heis, PhD University of Pittsburgh, 2007 It is now commonly accepted that any adequate history of late nineteenth and early twentieth century philosophy—and thus of the origins of analytic philosophy—must take seriously the role of Neo-Kantianism and Kant interpretation in the period. This dissertation is a contribution to our understanding of this interesting but poorly understood stage in the history of philosophy. Kant’s theory of the concepts, postulates, and proofs of geometry was informed by philosophical reflection on diagram-based geometry in the Greek synthetic tradition. However, even before the widespread acceptance of non-Euclidean geometry, the projective revolution in nineteenth century geometry eliminated diagrams from proofs and introduced “ideal” elements that could not be given a straightforward interpretation in empirical space.
    [Show full text]
  • The Book Review Column1 by William Gasarch Department of Computer Science University of Maryland at College Park College Park, MD, 20742 Email: [email protected]
    The Book Review Column1 by William Gasarch Department of Computer Science University of Maryland at College Park College Park, MD, 20742 email: [email protected] In this column we review the following books. 1. Combinatorial Designs: Constructions and Analysis by Douglas R. Stinson. Review by Gregory Taylor. A combinatorial design is a set of sets of (say) {1, . , n} that have various properties, such as that no two of them have a large intersection. For what parameters do such designs exist? This is an interesting question that touches on many branches of math for both origin and application. 2. Combinatorics of Permutations by Mikl´osB´ona. Review by Gregory Taylor. Usually permutations are viewed as a tool in combinatorics. In this book they are considered as objects worthy of study in and of themselves. 3. Enumerative Combinatorics by Charalambos A. Charalambides. Review by Sergey Ki- taev, 2008. Enumerative combinatorics is a branch of combinatorics concerned with counting objects satisfying certain criteria. This is a far reaching and deep question. 4. Geometric Algebra for Computer Science by L. Dorst, D. Fontijne, and S. Mann. Review by B. Fasy and D. Millman. How can we view Geometry in terms that a computer can understand and deal with? This book helps answer that question. 5. Privacy on the Line: The Politics of Wiretapping and Encryption by Whitfield Diffie and Susan Landau. Review by Richard Jankowski. What is the status of your privacy given current technology and law? Read this book and find out! Books I want Reviewed If you want a FREE copy of one of these books in exchange for a review, then email me at gasarchcs.umd.edu Reviews need to be in LaTeX, LaTeX2e, or Plaintext.
    [Show full text]
  • Geometry, Combinatorial Designs and Cryptology Fourth Pythagorean Conference
    Geometry, Combinatorial Designs and Cryptology Fourth Pythagorean Conference Sunday 30 May to Friday 4 June 2010 Index of Talks and Abstracts Main talks 1. Simeon Ball, On subsets of a finite vector space in which every subset of basis size is a basis 2. Simon Blackburn, Honeycomb arrays 3. G`abor Korchm`aros, Curves over finite fields, an approach from finite geometry 4. Cheryl Praeger, Basic pregeometries 5. Bernhard Schmidt, Finiteness of circulant weighing matrices of fixed weight 6. Douglas Stinson, Multicollision attacks on iterated hash functions Short talks 1. Mari´en Abreu, Adjacency matrices of polarity graphs and of other C4–free graphs of large size 2. Marco Buratti, Combinatorial designs via factorization of a group into subsets 3. Mike Burmester, Lightweight cryptographic mechanisms based on pseudorandom number generators 4. Philippe Cara, Loops, neardomains, nearfields and sets of permutations 5. Ilaria Cardinali, On the structure of Weyl modules for the symplectic group 6. Bill Cherowitzo, Parallelisms of quadrics 7. Jan De Beule, Large maximal partial ovoids of Q−(5, q) 8. Bart De Bruyn, On extensions of hyperplanes of dual polar spaces 1 9. Frank De Clerck, Intriguing sets of partial quadrangles 10. Alice Devillers, Symmetry properties of subdivision graphs 11. Dalibor Froncek, Decompositions of complete bipartite graphs into generalized prisms 12. Stelios Georgiou, Self-dual codes from circulant matrices 13. Robert Gilman, Cryptology of infinite groups 14. Otokar Groˇsek, The number of associative triples in a quasigroup 15. Christoph Hering, Latin squares, homologies and Euler’s conjecture 16. Leanne Holder, Bilinear star flocks of arbitrary cones 17. Robert Jajcay, On the geometry of cages 18.
    [Show full text]
  • Geometry of the Mathieu Groups and Golay Codes
    Proc. Indian Acad. Sci. (Math. Sci.), Vol. 98, Nos 2 and 3, December 1988, pp. 153-177. 9 Printed in India. Geometry of the Mathieu groups and Golay codes ERIC A LORD Centre for Theoretical Studies and Department of Applied Mathematics, Indian Institute of Science, Bangalore 560012, India MS received 11 January 1988 Abstraet. A brief review is given of the linear fractional subgroups of the Mathieu groups. The main part of the paper then deals with the proj~x-~tiveinterpretation of the Golay codes; these codes are shown to describe Coxeter's configuration in PG(5, 3) and Todd's configuration in PG(11, 2) when interpreted projectively. We obtain two twelve-dimensional representations of M24. One is obtained as the coUineation group that permutes the twelve special points in PC,(11, 2); the other arises by interpreting geometrically the automorphism group of the binary Golay code. Both representations are reducible to eleven-dimensional representations of M24. Keywords. Geometry; Mathieu groups; Golay codes; Coxeter's configuration; hemi- icosahedron; octastigms; dodecastigms. 1. Introduction We shall first review some of the known properties of the Mathieu groups and their linear fractional subgroups. This is mainly a brief resum6 of the first two of Conway's 'Three Lectures on Exceptional Groups' [3] and will serve to establish the notation and underlying concepts of the subsequent sections. The six points of the projective line PL(5) can be labelled by the marks of GF(5) together with a sixth symbol oo defined to be the inverse of 0. The symbol set is f~ = {0 1 2 3 4 oo}.
    [Show full text]
  • Block Designs and Graph Theory*
    JOURNAL OF COMBINATORIAL qtIliORY 1, 132-148 (1966) Block Designs and Graph Theory* JANE W. DI PAOLA The City University of New York Comnumicated by R.C. Bose INTRODUCTION The purpose of this paper is to demonstrate the relation of balanced incomplete block designs to certain concepts of graph theory. The set of blocks of a balanced incomplete block design with Z -- 1 is shown to be related to a maximum internally stable set of vertices of a suitably defined graph. The development yields also an upper bound for the internal stability number of a large subclass of a class of graphs which we call "graphs on binomial coefficients." In a different but related context every balanced incomplete block design with 2 -- 1 is shown to be a solution of a suitably defined irreflexive relation. Some examples of relativizations and extensions of solutions of irreflexive relations (as developed by Richardson [13-15]) are generated as a result of the concepts derived. PRELIMINARY RESULTS A balanced incomplete block design (BIBD) is a set of v elements arranged in b blocks of k elements each in such a way that each element occurs r times and each unordered pair of distinct elements determines ,~ distinct blocks. The v, b, r, k, 2 are called the parameters of the design. * Research on which this paper is based supported by the U. S. Army Research Office-Durham under Contract No. DA-31-124-ARO-D-366. 132 BLOCK DESIGNS AND GRAPH THEORY 133 Following a suggestion implied by Berge [2] we introduce the DEHNmON. Agraph on the binomial coefficient (k)with edge pa- rameter 2, written G rr)k 4, is raphwhosevert ces ar t e (;).siDle k-tuples which can be formed from v elements and having as adjacent vertices those pairs of vertices which have more than 2 and less than k elements in common.
    [Show full text]
  • Modules Over Semisymmetric Quasigroups
    Modules over semisymmetric quasigroups Alex W. Nowak Abstract. The class of semisymmetric quasigroups is determined by the iden- tity (yx)y = x. We prove that the universal multiplication group of a semisym- metric quasigroup Q is free over its underlying set and then specify the point- stabilizers of an action of this free group on Q. A theorem of Smith indicates that Beck modules over semisymmetric quasigroups are equivalent to modules over a quotient of the integral group algebra of this stabilizer. Implementing our description of the quotient ring, we provide some examples of semisym- metric quasigroup extensions. Along the way, we provide an exposition of the quasigroup module theory in more general settings. 1. Introduction A quasigroup (Q, ·, /, \) is a set Q equipped with three binary operations: · denoting multiplication, / right division, and \ left division; these operations satisfy the identities (IL) y\(y · x)= x; (IR) x = (x · y)/y; (SL) y · (y\x)= x; (SR) x = (x/y) · y. Whenever possible, we convey multiplication of quasigroup elements by concatena- tion. As a class of algebras defined by identities, quasigroups constitute a variety (in the universal-algebraic sense), denoted by Q. Moreover, we have a category of quasigroups (also denoted Q), the morphisms of which are quasigroup homomor- phisms respecting the three operations. arXiv:1908.06364v1 [math.RA] 18 Aug 2019 If (G, ·) is a group, then defining x/y := x · y−1 and x\y := x−1 · y furnishes a quasigroup (G, ·, /, \). That is, all groups are quasigroups, and because of this fact, constructions in the representation theory of quasigroups often take their cue from familiar counterparts in group theory.
    [Show full text]
  • Spanning Sets and Scattering Sets in Steiner Triple Systems
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF COMBINATORIAL THEORY, %XieS A 57, 4659 (1991) Spanning Sets and Scattering Sets in Steiner Triple Systems CHARLESJ. COLBOURN Department of Combinatorics and Optimization, University of Waterloo, Waterloo. Ontario, N2L 3G1, Canada JEFFREYH. DMTZ Department of Mathematics, University of Vermont, Burlington, Vermont 05405 AND DOUGLASR. STINSON Department of Computer Science, University of Manitoba, Winnipeg, Manitoba, R3T 2N2, Canada Communicated by the Managing Editors Received August 15, 1988 A spanning set in a Steiner triple system is a set of elements for which each element not in the spanning set appears in at least one triple with a pair of elements from the spanning set. A scattering set is a set of elements that is independent, and for which each element not in the scattering set is in at most one triple with a pair of elements from the scattering set. For each v = 1,3 (mod 6), we exhibit a Steiner triple system with a spanning set of minimum cardinality, and a Steiner triple system with a scattering set of maximum cardinality. In the process, we establish the existence of Steiner triple systems with complete arcs of the minimum possible cardinality. 0 1991 Academic Press, Inc. 1. BACKGROUND A Steiner triple system of order u, or STS(u), is a v-element set V, and a set g of 3-element subsets of V called triples, for which each pair of elements from V appears in precisely one triple of 9% For XG V, the spannedsetV(X)istheset {~EV\X:{~,~,~)E~,~,~EX}.A~~~XEV 46 0097-3165/91 $3.00 Copyright 0 1991 by Academic Press, Inc.
    [Show full text]
  • ON the POLYHEDRAL GEOMETRY of T–DESIGNS
    ON THE POLYHEDRAL GEOMETRY OF t{DESIGNS A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master of Arts In Mathematics by Steven Collazos San Francisco, California August 2013 Copyright by Steven Collazos 2013 CERTIFICATION OF APPROVAL I certify that I have read ON THE POLYHEDRAL GEOMETRY OF t{DESIGNS by Steven Collazos and that in my opinion this work meets the criteria for approving a thesis submitted in partial fulfillment of the requirements for the degree: Master of Arts in Mathematics at San Francisco State University. Matthias Beck Associate Professor of Mathematics Felix Breuer Federico Ardila Associate Professor of Mathematics ON THE POLYHEDRAL GEOMETRY OF t{DESIGNS Steven Collazos San Francisco State University 2013 Lisonek (2007) proved that the number of isomorphism types of t−(v; k; λ) designs, for fixed t, v, and k, is quasi{polynomial in λ. We attempt to describe a region in connection with this result. Specifically, we attempt to find a region F of Rd with d the following property: For every x 2 R , we have that jF \ Gxj = 1, where Gx denotes the G{orbit of x under the action of G. As an application, we argue that our construction could help lead to a new combinatorial reciprocity theorem for the quasi{polynomial counting isomorphism types of t − (v; k; λ) designs. I certify that the Abstract is a correct representation of the content of this thesis. Chair, Thesis Committee Date ACKNOWLEDGMENTS I thank my advisors, Dr. Matthias Beck and Dr.
    [Show full text]
  • The Book Review Column1 by William Gasarch Department of Computer Science University of Maryland at College Park College Park, MD, 20742 Email: [email protected]
    The Book Review Column1 by William Gasarch Department of Computer Science University of Maryland at College Park College Park, MD, 20742 email: [email protected] In the last issue of SIGACT NEWS (Volume 45, No. 3) there was a review of Martin Davis's book The Universal Computer. The road from Leibniz to Turing that was badly typeset. This was my fault. We reprint the review, with correct typesetting, in this column. In this column we review the following books. 1. The Universal Computer. The road from Leibniz to Turing by Martin Davis. Reviewed by Haim Kilov. This book has stories of the personal, social, and professional lives of Leibniz, Boole, Frege, Cantor, G¨odel,and Turing, and explains some of the essentials of their thought. The mathematics is accessible to a non-expert, although some mathematical maturity, as opposed to specific knowledge, certainly helps. 2. From Zero to Infinity by Constance Reid. Review by John Tucker Bane. This is a classic book on fairly elementary math that was reprinted in 2006. The author tells us interesting math and history about the numbers 0; 1; 2; 3; 4; 5; 6; 7; 8; 9; e; @0. 3. The LLL Algorithm Edited by Phong Q. Nguyen and Brigitte Vall´ee. Review by Krishnan Narayanan. The LLL algorithm has had applications to both pure math and very applied math. This collection of articles on it highlights both. 4. Classic Papers in Combinatorics Edited by Ira Gessel and Gian-Carlo Rota. Re- view by Arya Mazumdar. This book collects together many of the classic papers in combinatorics, including those of Ramsey and Hales-Jewitt.
    [Show full text]
  • On Doing Geometry in CAYLEY
    On doing geometry in CAYLEY PJC, November 1988 1 Introduction These notes were produced in response to a question from John Cannon: what issues are involved in adding facilities to CAYLEY for doing finite geometry? More specifically, what facilities would geometers want? At first sight, the idea of geometry in CAYLEY seems very natural. Groups and geometry have been intimately linked since long before the time of Klein. Many of the groups with which CAYLEY users deal act naturally on geometries. An important point which I’ll touch on briefly later is this: if we’re given a group which happens to be a classical group, many algorithmic questions (e.g. finding particular kinds of subgroups) become much easier once we’ve found and coordi- natised the geometry on which the group acts. With further thought, however, we see how opposed in spirit the two areas are. Everyone agrees on what a group is. Moreover, there are only a few ways in which a group is likely to be presented, and CAYLEY has facilities to deal with each of these. In each case, these are basic algorithms of such subtlety as to deter the casual user from implementing them – surely one of the facts that called CAYLEY into being in the first place. On the other hand, the sheer variety of finite geometries daunts the beginner, who meets projective, affine and polar spaces, buildings, generalised polygons, (semi) partial geometries, t-designs, Steiner systems, Latin squares, nets, codes, matroids, permutation geometries, to name just a few. The range of questions asked about them is even more bewildering.
    [Show full text]