Difference Sets from Projective Planes

Total Page:16

File Type:pdf, Size:1020Kb

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. Genauer gesagt führt eine Funktion f auf F2n genau dann zu einer (2n, 2n, 2n, 1)-Differenzmenge, wenn die Abbildung x 7! f (x + a) + f (x) + f (a) + xa für beliebige a 6= 0 eine Permutation auf F2n ist. Solche f nennen wir ebenfalls planare Funktionen. Wir zeigen, dass eine planare Funktion f auf F2n genau dann als Dembowski-Ostrom-Polynom geschrieben werden kann, wenn x ∗ a := f (x + a) + f (x) + f (a) + xa die Multiplikation auf einem Halbkörper n der Ordnung 2 definiert. Für den Fall, dass f eine Abbildung auf F2n mit den Eigenschaften f (0) = 0 und Im( f ) = f0, xg mit x 6= 0 ist, beweisen wir, dass f genau dann eine planare Abbildung ist, wenn f (x + y) = f (x) + f (y) für alle x, y 2 F2n gilt. Wir betrachten auch Projektionen von planaren Funktionen, die wir “shifted-bent” Funktionen nennen. Wir zeigen einen interessante Zusam- n menhang zu bent Funktionen über F2 auf. Schließlich untersuchen wir perfekte Sequenzen über Fp. Wir beweisen, dass diese äquivalent zu verallgemeinerten Differenzmengen sind. Es stellt sich her- aus, dass die klassischen Beispiele Projektionen verschiedener Typen verallge- meinerter Differenzmengen sind, die von desarguesschen Ebenen abgeleitet wer- den. Wir präsentieren auch einige Aussagen zur Nichtexistenz. i Abstract The topic of this dissertation are several types of generalized difference sets in abelian groups. First, we concentrate on (q, q, q, 1)-relative difference sets with q odd, which are equivalent to planar functions over Fq. Most of the known examples lead to commutative semifields. One of our main results is the construction of a new family of semifields of odd characteristic. We determine their left, right and middle nuclei. We show that for certain parameters, some of these semifields lead to two inequivalent planar functions. By applying the character approach to planar functions over Fq with q odd, we present some unexpected links between planar functions over Fpm and planar functions over Fp2m . We study the projections and liftings of planar functions, where we also apply a coding theory approach. Some computational results about the switchings of planar functions on F3n for n = 3, 4, 5, 6 are given. n n n n n Then we turn to (2 , 2 , 2 , 1)-relative difference sets in C4 relative to C2 . Two representations are introduced, one of which is the counterpart of the clas- sical planar functions defined on Fq with q odd. In more detail, a function n n n f on F2n leads to a (2 , 2 , 2 , 1)-relative difference set if and only if for any nonzero a, the mapping x 7! f (x + a) + f (x) + f (a) + xa is a permutation on F2n . We also call such f planar functions. We show that a planar func- tion f on F2n can be written as a Dembowski-Ostrom polynomial if and only if x ∗ a := f (x + a) + f (x) + f (a) + xa defines the multiplication of a semifield of or- n der 2 . When f is a mapping on F2n satisfying f (0) = 0 and Im( f ) = f0, xg with x 6= 0, we prove that f is a planar mapping if and only if f (x + y) = f (x) + f (y) for any x, y 2 F2n . We also consider projections of planar functions, which we call shifted-bent functions. They are shown to have an interesting relation with n bent functions over F2 . Finally, for any prime p, we investigate almost p-ary sequences which are perfect or nearly perfect. They are proved to be equivalent to certain types of generalized difference sets. The classical examples come from the projections of several types of generalized difference sets derived from desarguesian planes. We also present several nonexistence results. iii Acknowledgements First of all, I would like to express my gratitude to my supervisor Prof. Dr. Alexander Pott for the guidance and support. It is always enjoyable for me to discuss mathematics with him. His insight and patience helped me to discover many interesting results and to finish this dissertation. I am also grateful to Prof. Dr. Jürgen Bierbrauer, Dr. Ayça Çe¸smelio˘glo,Dr. Anton Malevich, Dr. Gohar Kyureghyan, Prof. Dr. Ferrüh Özbudak, Dr. Kai-Uwe Schmidt, Wei Su, Dr. Yin Tan, Carsten Thiel, Dr. Qi Wang and Prof. Dr. Wolfgang Willems for fruitful discussions, valuable comments and joyful collaborations. I am further grateful to other people who had indirect influence to my work: To my colleagues for their kindness friendship and support, together with their help on many occasions, to my former Master thesis supervisor Prof. Dr. Chao Li, who taught me finite fields. My deep gratitude goes to my parents and my brother Kai for all their love and encouragement. Finally, but not least, I would like to acknowledge the financial, academic and technical support from the Otto-von-Guericke University of Magdeburg and the financial support from CSC (China scholarship council). iv Contents Overview1 1 Projective planes and related algebraic structures5 1.1 Incidence structures............................ 5 1.2 Difference sets and their generalization ................ 8 1.3 Group rings and characters ....................... 11 1.4 Finite fields................................. 13 1.5 Projective and affine planes ....................... 16 1.6 Collineation and coordinatization.................... 19 1.7 Quasifields................................. 21 1.8 Semifields ................................. 24 1.9 Dembowski-Piper classification..................... 30 1.10 Projections and liftings of difference sets ............... 38 1.11 CCZ and EA equivalences........................ 41 2 A new family of semifields with two parameters 45 2.1 A family of commutative semifields .................. 45 2.2 Left and middle nuclei.......................... 48 2.3 The isotopism between Sk,s ....................... 54 2.4 Sk,s is a new family............................ 64 2.5 APN functions of a similar form .................... 66 3 Two approaches to planar functions 69 3.1 A character approach to planar functions............... 69 3.2 Switchings of planar functions ..................... 72 4 (q, q, q, 1)-relative difference sets with q even 85 4.1 Planar functions over F2n ........................ 86 4.2 Coordinatization.............................. 93 4.3 Nonexistence results for Boolean planar functions.......... 99 4.4 Shifted-bent functions ..........................103 4.5 Notes....................................111 5 Sequences derived from projective planes 115 5.1 Algebraic-combinatorial tools......................117 5.2 Almost p-ary perfect sequences.....................118 5.3 Almost p-ary nearly perfect sequences . 123 5.4 Appendix..................................126 Bibliography 133 Index 145 Notation 147 List of Tables 3.1 Weight distribution of Cf for odd n ................... 75 3.2 Weight distribution of Cf for even n . 76 3 2 3.3 Switching neighbors with respect to all l : F3 ! F3, F3 . 80 3.4 All known inequivalent planar functions over F34 . 81 4 3 2 3.5 Switching Neighbors with respect to all l : F3 ! F3, F3, F3 . 81 3.6 All known inequivalent planar functions over F35 . 81 5 4 3.7 Number of inequivalent l ◦ f for all l : F3 ! F3 . 82 5 3 3.8 Switching neighbors with respect to all l : F3 ! F3 . 82 5 2 3.9 Switching neighbors with respect to all l : F3 ! F3 . 82 3.10 All known inequivalent planar functions over F36 . 83 6 5 3.11 Number of inequivalent l ◦ f for all l : F3 ! F3 . 83 5.1 Orbits of G under x 7! x2 . 122 5.2 Existence Status of Perfect Sequences . 126 5.3 Existence Status of Nearly Perfect Sequences . 128 List of Figures 1.1 Fano plane................................. 17 4.1 Steps (iv) and (v) ............................. 94 Overview In the present thesis, we are interested in generalized difference sets, the devel- opments of which can be uniquely extended to projective planes. In Chapter1, in addition to fundamental definitions and results, I attempt to provide a comprehensive tour, from projective planes to generalized difference sets. After a brief introduction to the foundations of incidence structures, differ- ence sets and finite fields, in Section 1.5 we start to focus on projective planes, which are quite special incidence structures. A projective plane is an incidence structure with points and lines such that any two distinct points (resp.
Recommended publications
  • Steiner Triple Systems and Spreading Sets in Projective Spaces
    Steiner triple systems and spreading sets in projective spaces Zolt´anL´or´ant Nagy,∗ Levente Szemer´edi† Abstract We address several extremal problems concerning the spreading property of point sets of Steiner triple systems. This property is closely related to the structure of subsystems, as a set is spreading if and only if there is no proper subsystem which contains it. We give sharp upper bounds on the size of a minimal spreading set in a Steiner triple system and show that if all the minimal spreading sets are large then the examined triple system must be a projective space. We also show that the size of a minimal spreading set is not an invariant of a Steiner triple system. 1 Introduction h d Let Fq denote the Galois field with q = p elements where p is a prime, h ≥ 1. Fq is the d- dimensional vector space over Fq. Together with its subspaces, this structure corresponds naturally to the affine geometry AG(d; q). The projective space PG(d; q) of dimension d over Fq is defined d+1 as the quotient (Fq n f0g)= ∼, where a = (a1; : : : ; ad+1) ∼ b = (b1; : : : ; bd+1) if there exists λ 2 Fq n f0g such that a = λb; see [16] for an introduction to projective spaces over finite fields. A block design of parameters 2 − (v; k; λ) is an underlying set V of cardinality v together with a family of k-uniform subsets whose members are satisfying the property that every pair of points in V are contained in exactly λ subsets.
    [Show full text]
  • Upper Bounds on the Length Function for Covering Codes
    Upper bounds on the length function for covering codes Alexander A. Davydov 1 Institute for Information Transmission Problems (Kharkevich institute) Russian Academy of Sciences Moscow, 127051, Russian Federation E-mail address: [email protected] Stefano Marcugini 2, Fernanda Pambianco 3 Department of Mathematics and Computer Science, Perugia University, Perugia, 06123, Italy E-mail address: fstefano.marcugini, [email protected] Abstract. The length function `q(r; R) is the smallest length of a q-ary linear code with codimension (redundancy) r and covering radius R. In this work, new upper bounds on `q(tR + 1;R) are obtained in the following forms: (r−R)=R pR (a) `q(r; R) ≤ cq · ln q; R ≥ 3; r = tR + 1; t ≥ 1; q is an arbitrary prime power; c is independent of q: (r−R)=R pR (b) `q(r; R) < 4:5Rq · ln q; R ≥ 3; r = tR + 1; t ≥ 1; arXiv:2108.13609v1 [cs.IT] 31 Aug 2021 q is an arbitrary prime power; q is large enough: In the literature, for q = (q0)R with q0 a prime power, smaller upper bounds are known; however, when q is an arbitrary prime power, the bounds of this paper are better than the known ones. For t = 1, we use a one-to-one correspondence between [n; n − (R + 1)]qR codes and (R − 1)-saturating n-sets in the projective space PG(R; q). A new construction of such saturating sets providing sets of small size is proposed. Then the [n; n − (R + 1)]qR codes, 1A.A. Davydov ORCID https : ==orcid:org=0000 − 0002 − 5827 − 4560 2S.
    [Show full text]
  • 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
    [Show full text]
  • An Overview of Definitions and Their Relationships
    INTERNATIONAL JOURNAL OF GEOMETRY Vol. 10 (2021), No. 2, 50 - 66 A SURVEY ON CONICS IN HISTORICAL CONTEXT: an overview of definitions and their relationships. DIRK KEPPENS and NELE KEPPENS1 Abstract. Conics are undoubtedly one of the most studied objects in ge- ometry. Throughout history different definitions have been given, depending on the context in which a conic is seen. Indeed, conics can be defined in many ways: as conic sections in three-dimensional space, as loci of points in the euclidean plane, as algebraic curves of the second degree, as geometrical configurations in (desarguesian or non-desarguesian) projective planes, ::: In this paper we give an overview of all these definitions and their interre- lationships (without proofs), starting with conic sections in ancient Greece and ending with ovals in modern times. 1. Introduction There is a vast amount of literature on conic sections, the majority of which is referring to the groundbreaking work of Apollonius. Some influen- tial books were e.g. [49], [13], [51], [6], [55], [59] and [26]. This paper is an attempt to bring together the variety of existing definitions for the notion of a conic and to give a comparative overview of all known results concerning their connections, scattered in the literature. The proofs of the relationships can be found in the references and are not repeated in this article. In the first section we consider the oldest definition for a conic, due to Apollonius, as the section of a plane with a cone. Thereafter we look at conics as loci of points in the euclidean plane and as algebraic curves of the second degree going back to Descartes and some of his contemporaries.
    [Show full text]
  • Finite Geometries: Classical Problems and Recent Developments
    Rendiconti Accademia Nazionale delle Scienze detta dei XL Memorie di Matematica e Applicazioni 125ë (2009), Vol. XXXI, fasc. 1, pagg. 129-140 JOSEPH A. THAS (*) ______ Finite Geometries: Classical Problems and Recent Developments ABSTRACT. Ð In recent years there has been an increasing interest in finite projective spaces, and important applications to practical topics such as coding theory, cryptography and design of experimentshave made the field even more attractive. Pioneering work hasbeen done by B. Segre and each of the four topics of this paper is related to his work; two classical problems and two recent developments will be discussed. First I will mention a purely combinatorial characterization of Hermitian curvesin PG(2 ; q2); here, from the beginning, the considered pointset is contained in PG(2; q2). A second approach is where the object is described as an incidence structure satisfying certain properties; here the geometry is not a priori embedded in a projective space. This will be illustrated by a characterization of the classical inversive plane in the odd case. A recent beautiful result in Galois geometry is the discovery of an infinite class of hemisystems of the Hermitian variety in PG(3; q2), leading to new interesting classes of incidence structures, graphs and codes; before this result, just one example for GF(9), due to Segre, was known. An exemplary example of research combining combinatorics, incidence geometry, Galois geometry and group theory is the determina- tion of embeddings of generalized polygons in finite projective spaces. As an illustration I will discuss the embedding of the generalized quadrangle of order (4,2), that is, the Hermitian variety H(3; 4), in PG(3; K) with K any commutative field.
    [Show full text]
  • Arxiv:1512.05251V2 [Math.CO] 27 Jan 2016 T a Applications
    SCATTERED SPACES IN GALOIS GEOMETRY MICHEL LAVRAUW Abstract. This is a survey paper on the theory of scattered spaces in Galois geometry and its applications. 1. Introduction and motivation Given a set Ω and a set S of subsets of Ω, a subset U ⊂ Ω is called scattered with respect to S if U intersects each element of S in at most one element of Ω. In the context of Galois Geometry this concept was first studied in 2000 [4], where the set Ω was the set of points of the projective space PG(11, q) and S was a 3-spread of PG(11, q). The terminology of a scattered space1 was introduced later in [8]. The paper [4] was motivated by the theory of blocking sets, and it was shown that there exists a 5-dimensional subspace, whose set of points U ⊂ Ω is scattered with respect to S, which then led to an interesting construction of a (q + 1)-fold blocking set in PG(2, q4). The notion of “being scattered” has turned out to be a useful concept in Galois Geometry. This paper is motivated by the recent developments in Galois Geometry involving scattered spaces. The first part aims to give an overview of the known results on scattered spaces (mainly from [4], [8], and [31]) and the second part gives a survey of the applications. 2. Notation and terminology A t-spread of a vector space V is a partition of V \{0} by subspaces of constant dimension t. Equivalently, a (t − 1)-spread of PG(V ) (the projective space associated to V ) is a set of (t − 1)-dimensional subspaces partitioning the set of points of PG(V ).
    [Show full text]
  • Constructions and Bounds for Mixed-Dimension Subspace Codes
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by EPub Bayreuth CONSTRUCTIONS AND BOUNDS FOR MIXED-DIMENSION SUBSPACE CODES THOMAS HONOLD Department of Information and Electronic Engineering Zhejiang University, 38 Zheda Road, 310027 Hangzhou, China MICHAEL KIERMAIER Mathematisches Institut, Universitat¨ Bayreuth, D-95440 Bayreuth, Germany SASCHA KURZ Mathematisches Institut, Universitat¨ Bayreuth, D-95440 Bayreuth, Germany ABSTRACT. Codes in finite projective spaces with the so-called subspace distance as met- ric have been proposed for error control in random linear network coding. The resulting Main Problem of Subspace Coding is to determine the maximum size Aq(v; d) of a code in PG(v − 1; Fq) with minimum subspace distance d. Here we completely resolve this problem for d ≥ v − 1. For d = v − 2 we present some improved bounds and determine A2(7; 5) = 34. 1. INTRODUCTION v For a prime power q > 1 let Fq be the finite field with q elements and Fq the standard v vector space of dimension v ≥ 0 over Fq. The set of all subspaces of Fq , ordered by the incidence relation ⊆, is called (v − 1)-dimensional (coordinate) projective geometry over Fq and denoted by PG(v − 1; Fq). It forms a finite modular geometric lattice with meet X ^ Y = X \ Y and join X _ Y = X + Y . The study of geometric and combinatorial properties of PG(v −1; Fq) and related struc- tures forms the subject of Galois Geometry —a mathematical discipline with a long and renowned history of its own but also with links to several other areas of discrete math- ematics and important applications in contemporary industry, such as cryptography and error-correcting codes.
    [Show full text]
  • 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]
  • Some Properties of Projective Geometry in Coding Theory
    UDC: 514.16:519.854 Professional paper SOME PROPERTIES OF PROJECTIVE GEOMETRY IN CODING THEORY Flamure Sadiki1, Alit Ibraimi1, Agan Bislimi2, Florinda Imeri3 1*Department of Mathematics, Faculty of Natural Science and Mathematics 3 Department of Informatics, Faculty of Natural Science and Mathematics *Corresponding author e-mail: [email protected] Abstract In this article we present the basic properties of projective geometry and coding theory and show how finite geometry can contribute to coding theory. Often good codes come from interesting structures in projective geometries. For example, MDS codes come from arcs (i.e. sets of points which are extremal in the sense that they admit no other than the obvious dependencies).We concentrate on introducing the basic concepts of these two research areas and give standard references for all these research areas. We also mention particular results involving ideas from finite geometry, and particular results in coding theory. Keywords: Finite geometry, MDS codes, GDRS code, Hamming code, arcs Introduction This dissertation will focus on the intersection of two areas of discrete mathematics: finite geometries, and coding theory. In each section, we will use finite geometry to construct and analyze new code objects, including new classes of designs and quantum codes. We will show how the structure of the finite geometries carries through to the new code objects and provides them with some of their best properties. In this first section, we will give detailed definitions of the fundamental objects of our study, and examine the links between these objects. A code is a mapping from a vector space of dimension over a finite field (denoted by ) into a vector space of higher dimension over the same field ( ).
    [Show full text]
  • On Sets with Few Intersection Numbers in Finite Projective and Affine Spaces
    On sets with few intersection numbers in finite projective and affine spaces Nicola Durante Dipartimento di Matematica e appl. \R. Caccioppoli" Universit´adi Napoli \Federico II" Naples, Italy [email protected] Submitted: Jun 4, 2013; Accepted: Oct 1, 2014; Published: Oct 16, 2014 Mathematics Subject Classifications: 05B25 Abstract In this paper we study sets X of points of both affine and projective spaces over the Galois field GF(q) such that every line of the geometry that is neither contained in X nor disjoint from X meets the set X in a constant number of points and we determine all such sets. This study has its main motivation in connection with a recent study of neighbour transitive codes in Johnson graphs by Liebler and Praeger [Designs, Codes and Crypt., 2014]. We prove that, up to complements, in PG(n; q) such a set X is either a subspace or n = 2; q is even and X is a maximal arc of degree m. In AG(n; q) we show that X is either the union of parallel hyperplanes or a cylinder with base a maximal arc of degree m (or the complement of a maximal arc) or a cylinder with base the projection of a quadric. Finally we show that in the affine case there are examples (different from subspaces or their complements) in AG(n; 4) and in AG(n; 16) giving new neighbour transitive codes in Johnson graphs. 1 Introduction 1.1 Preliminaries Let AG(n; q), q power of a prime number, be the affine space of dimension n (n > 2) over the Galois field GF(q), let Σ1 be the (n − 1)-dimensional projective space of its points at infinity and let PG(n; q) = AG(n; q) [ Σ1 its projective completion, the projective space of dimension n over GF(q).
    [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]
  • 50 Years of Finite Geometry, The" Geometries Over Finite Rings" Part
    50 years of Finite Geometry, the “geometries over finite rings” part Dirk Keppens Faculty of Engineering Technology, KU Leuven Gebr. Desmetstraat 1 B-9000 Ghent BELGIUM [email protected] Abstract Whereas for a substantial part, “Finite Geometry” during the past 50 years has focussed on geometries over finite fields, geometries over finite rings that are not division rings have got less attention. Nevertheless, several important classes of finite rings give rise to interesting geometries. In this paper we bring together some results, scattered over the literature, concerning finite rings and plane projective geometry over such rings. It doesn’t contain new material, but by collecting stuff in one place, we hope to stimulate further research in this area for at least another 50 years of Finite Geometry. Keywords: Ring geometry, finite geometry, finite ring, projective plane AMS Classification: 51C05,51E26,13M05,16P10,16Y30,16Y60 1 Introduction arXiv:2003.02900v1 [math.CO] 5 Mar 2020 Geometries over rings that are not division rings have been studied for a long time. The first systematic study was done by Dan Barbilian [11], besides a mathematician also one of the greatest Romanian poets (with pseudonym Ion Barbu). He introduced plane projective geometries over a class of associative rings with unit, called Z–rings (abbreviation for Zweiseitig singul¨are Ringe) which today are also known as Dedekind-finite rings. These are rings with the property that ab = 1 implies ba = 1 and they include of course all commutative rings but also all finite rings (even non–commutative). Wilhelm Klingenberg introduced in [52] projective planes and 3–spaces over local rings.
    [Show full text]