-
Combinatorial transfer: a new method for constructing infinite families of nonabelian difference sets, partial difference sets, and relative difference sets
Authors:
Eric Swartz,
James A. Davis,
John Polhill,
Ken W. Smith
Abstract:
For nearly a century, mathematicians have been developing techniques for constructing abelian automorphism groups of combinatorial objects, and, conversely, constructing combinatorial objects from abelian groups. While abelian groups are a natural place to start, recent computational evidence strongly indicates that the vast majority of transitive automorphism groups of combinatorial objects are n…
▽ More
For nearly a century, mathematicians have been developing techniques for constructing abelian automorphism groups of combinatorial objects, and, conversely, constructing combinatorial objects from abelian groups. While abelian groups are a natural place to start, recent computational evidence strongly indicates that the vast majority of transitive automorphism groups of combinatorial objects are nonabelian. This observation is the guiding motivation for this paper. We propose a new method for constructing nonabelian automorphism groups of combinatorial objects, which could be called the \textit{combinatorial transfer method}, and we demonstrate its power by finding (1) the first infinite families of nonabelian Denniston partial difference sets (including nonabelian Denniston PDSs of odd order), (2) the first infinite family of Spence difference sets in groups with a Sylow 3-subgroup that is non-normal and not elementary abelian, (3) the first infinite families of McFarland difference sets in groups with a Sylow $p$-subgroup that is non-normal and is not elementary abelian, (4) new infinite families of partial difference sets in nonabelian $p$-groups with large exponent, (5) an infinite family of semiregular relative difference sets whose forbidden subgroup is nonabelian, and (6) a converse to Dillon's Dihedral Trick in the PDS setting. We hope this paper will lead to more techniques to explore this largely unexplored topic.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
Sets of mutually orthogoval projective and affine planes
Authors:
Charles J. Colbourn,
Colin Ingalls,
Jonathan Jedwab,
Mark Saaltink,
Ken W. Smith,
Brett Stevens
Abstract:
A pair of planes, both projective or both affine, of the same order and on the same pointset are orthogoval if each line of one plane intersects each line of the other plane in at most two points. In this paper we prove new constructions for sets of mutually orthogoval planes, both projective and affine, and review known results that are equivalent to sets of more than two mutually orthogoval plan…
▽ More
A pair of planes, both projective or both affine, of the same order and on the same pointset are orthogoval if each line of one plane intersects each line of the other plane in at most two points. In this paper we prove new constructions for sets of mutually orthogoval planes, both projective and affine, and review known results that are equivalent to sets of more than two mutually orthogoval planes. We also discuss the connection between sets of mutually orthogoval planes and covering arrays.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Partial Difference Sets in $C_{2^n} \times C_{2^n}$
Authors:
Martin E. Malandro,
Ken W. Smith
Abstract:
We give an algorithm for enumerating the regular nontrivial partial difference sets (PDS) in the group $G_n = C_{2^n}\times C_{2^n}$. We use our algorithm to obtain all of these PDS in $G_n$ for $2\leq n\leq 9$, and we obtain partial results for $n=10$ and $n=11$. Most of these PDS are new. For $n\le 4$ we also identify group-inequivalent PDS. Our approach involves constructing tree diagrams and c…
▽ More
We give an algorithm for enumerating the regular nontrivial partial difference sets (PDS) in the group $G_n = C_{2^n}\times C_{2^n}$. We use our algorithm to obtain all of these PDS in $G_n$ for $2\leq n\leq 9$, and we obtain partial results for $n=10$ and $n=11$. Most of these PDS are new. For $n\le 4$ we also identify group-inequivalent PDS. Our approach involves constructing tree diagrams and canonical colorings of these diagrams. Both the total number and the number of group-inequivalent PDS in $G_n$ appear to grow super-exponentially in $n$. For $n=9$, a typical canonical coloring represents in excess of $10^{146}$ group-inequivalent PDS, and there are precisely $2^{520}$ reversible Hadamard difference sets.
△ Less
Submitted 27 November, 2018;
originally announced November 2018.
-
All $(96,20,4)$ difference sets and related structures
Authors:
Omar A. AbuGhneim,
Dylan Peifer,
Ken W. Smith
Abstract:
In 1978, Robert Kibler at the National Security Agency in Fort Meade, Maryland published a description of all noncyclic difference sets with $k < 20$. Kibler's decision to stop his extensive computer search for difference sets at block size 19 was motivated partly by the difficult barrier at $k=20$, the difference sets with parameters $(96,20,4)$. In this paper, we announce the completion of the s…
▽ More
In 1978, Robert Kibler at the National Security Agency in Fort Meade, Maryland published a description of all noncyclic difference sets with $k < 20$. Kibler's decision to stop his extensive computer search for difference sets at block size 19 was motivated partly by the difficult barrier at $k=20$, the difference sets with parameters $(96,20,4)$. In this paper, we announce the completion of the search for all $(96,20,4)$ difference sets, relying on the computer software GAP and the work of numerous authors over the last few decades. The difference sets and the symmetric designs they create are summarized and links are provided to webpages which explicitly list the difference sets. In addition, we use these $(96,20,4)$ difference sets to construct all $(96, 20, 4, 4)$ and $(96, 19, 2, 4)$ partial difference sets and briefly look at the corresponding strongly regular graphs.
△ Less
Submitted 13 January, 2019; v1 submitted 1 August, 2018;
originally announced August 2018.
-
Algebraic and combinatorial aspects of sandpile monoids on directed graphs
Authors:
Scott Chapman,
Rebecca Garcia,
Luis David García-Puente,
Martin E. Malandro,
Ken W. Smith
Abstract:
The sandpile group of a graph is a well-studied object that combines ideas from algebraic graph theory, group theory, dynamical systems, and statistical physics. A graph's sandpile group is part of a larger algebraic structure on the graph, known as its sandpile monoid. Most of the work on sandpiles so far has focused on the sandpile group rather than the sandpile monoid of a graph, and has also a…
▽ More
The sandpile group of a graph is a well-studied object that combines ideas from algebraic graph theory, group theory, dynamical systems, and statistical physics. A graph's sandpile group is part of a larger algebraic structure on the graph, known as its sandpile monoid. Most of the work on sandpiles so far has focused on the sandpile group rather than the sandpile monoid of a graph, and has also assumed the underlying graph to be undirected. A notable exception is the recent work of Babai and Toumpakari, which builds up the theory of sandpile monoids on directed graphs from scratch and provides many connections between the combinatorics of a graph and the algebraic aspects of its sandpile monoid.
In this paper we primarily consider sandpile monoids on directed graphs, and we extend the existing theory in four main ways. First, we give a combinatorial classification of the maximal subgroups of a sandpile monoid on a directed graph in terms of the sandpile groups of certain easily-identifiable subgraphs. Second, we point out certain sandpile results for undirected graphs that are really results for sandpile monoids on directed graphs that contain exactly two idempotents. Third, we give a new algebraic constraint that sandpile monoids must satisfy and exhibit two infinite families of monoids that cannot be realized as sandpile monoids on any graph. Finally, we give an explicit combinatorial description of the sandpile group identity for every graph in a family of directed graphs which generalizes the family of (undirected) distance-regular graphs. This family includes many other graphs of interest, including iterated wheels, regular trees, and regular tournaments.
△ Less
Submitted 17 August, 2012; v1 submitted 11 May, 2011;
originally announced May 2011.
