Association Schemes, Codes, and Difference Sets

Citation

Salazar-Lazaro, Carlos Harold (2007) Association Schemes, Codes, and Difference Sets. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/8AMD-KY33. https://resolver.caltech.edu/CaltechETD:etd-05222007-003651

Abstract

This thesis consists of an introductory chapter and three independent chapters. In the first chapter, we give a brief description of the three independent chapters: abelian n-adic codes; generalized skew hadamard difference sets; and equivariant incidence structures.

In the second chapter, we introduce n-adic codes, a generalization of the Duadic Codes studied by Pless and Rushanan, and we solve the corresponding existence problem. We introduce n-adic groups, canonical pplitters, and Margarita Codes to generalize the "self-dual" codes of Rushanan and Pless, and we solve the corresponding existence problem.

In the third chapter, we consider the generalized skew hadamard difference set (GSHDS) existence problem. We introduce the combinatorial matrices A_G,G1, where G₁=(Z/exp(G)Z)* and G is a group, to reduce the existence problem to an integral equation. Using a special finite-dimensional algebra or Association Scheme, we show A_G,G1² = |G|/pI for general G. With the aid of A_G,G1, we show some necessary conditions for the existence of a GSHDS D in the group (Z/pZ) x (Z/p²Z)^2α+1, we provide a proof of Johnsen's exponent bound, we provide a proof of Xiang's exponent bound, and we show a necessary existence condition for general G.

In the fourth chapter, we study the incidence matrices W_t,k(v) of t-subsets of {1,...,v} vs. k-subsets of {1,...,v}. Also, given a group G acting on {1,...,v}, we define analogous incidence matrices M_t,k and M'_t,k of k-subsets' orbits vs. t-subsets' orbits. For general G, we show that M_t,k and M'_t,k have full rank over Q, we give a bound on the exponent of the Smith Group of M_t,k and M'_t,k, and we give a partial answer to the integral preimage problem for M_t,k and M'_t,k. We propose the Equivariant Sign Conjecture for the matrices W_t,k(v) using a special basis of the column module of W_t,k consisting of columns of W_t,k; we verify the Equivariant Sign Conjecture for small cases; and we reduce this conjecture to the case v=2k+t. For the case G=(Z/nZ), we conjecture that M'_t,k has a basis of the column module of M'_t,k that consists of columns of M'_t,k. We prove this conjecture for (t,k)=(2,3),(2,4), and we use these results to calculate the Smith Group of M_2,4, M'_2,4, M_2,3, and M'_2,3 for general n.

Thesis Files