Source author record

William J. Martin

William J. Martin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CO math.GR math.MG math.RA

Catalog footprint

What is connected

5works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2024arXiv

Rational Delsarte designs and Galois fusions of association schemes

Delsarte theory, more specifically the study of codes and designs in association schemes, has proved invaluable in studying an increasing assortment of association schemes in recent years. Tools motivated by the study of error-correcting codes in the Hamming scheme and combinatorial $t$-designs in the Johnson scheme apply equally well in association schemes with irrational eigenvalues. We assume here that we have a commutative association scheme with irrational eigenvalues and wish to study its Delsarte $T$-designs. We explore when a $T$-design is also a $T'$-design where $T'\supseteq T$ is controlled by the orbits of a Galois group related to the splitting field of the association scheme. We then study Delsarte designs in the association schemes of finite groups, with a detailed exploration of the dicyclic groups.

preprint2020arXiv

Scaffolds: a graph-based system for computations in Bose-Mesner algebras

Let $X$ be a finite set and let $\mathsf{Mat}_X(\mathbb{C})$ denote the algebra of matrices with rows and columns indexed by $X$ and entries from the complex numbers acting on $\mathbb{C}^X$ with standard basis $\{ \hat{x} \mid x\in X\}$. For a digraph $G=(V(G),E(G))$, function $R:[m] \rightarrow V(G)$ with $r_j := R(j)$, and a function $w$ from the arcs of $G$ to $\mathsf{Mat}_X(\mathbb{C})$, we define the "scaffold" $\mathsf{S}(G,R;w)$ as the sum over all functions $φ$ from $V(G)$ to $X$ of the $m$-fold tensors $\widehat{φ(r_1)} \otimes \widehat{φ(r_2)} \otimes \cdots \otimes \widehat{φ(r_m)}$ scaled by the product of the entries $w(e)_{φ(a),φ(b)}$ over all arcs $e=(a,b)$ of $G$. Scaffolds can be used to count, among other things, digraph homomorphisms and association scheme parameters such as generalized intersection numbers. They also arise in the the theory of link invariants and spin models. These diagrams were introduced in the late 1980s by Arnold Neumaier and have been used implicitly by various authors working with association schemes. We revisit results of several authors, rephrasing their proofs in terms of these diagrams and certain rules of manipulation (or "moves") on diagrams. Our goal is to collect and present, in a uniform fashion, Neumaier's original idea extended to tensors and its used by various authors. Sometimes the term "star-triangle diagram" appears for what we, in this paper, call "scaffolds". Restricting to the case where edge weights are chosen from a coherent algebra, we explore the vector space $\mathsf{W}((G,R); \mathbb{A})$ spanned by all scaffolds defined on rooted diagram $(G,R)$ and establish a connection to graph minors. We end with a conjecture about planar scaffolds that draws a connection between association scheme duality and the duality of plane graphs.

preprint2014arXiv

On the ideal of the shortest vectors in the Leech lattice and other lattices

Let $X \subset {\mathbb R}^m$ be a spherical code (i.e., a finite subset of the unit sphere) and consider the ideal of all polynomials in $m$ variables which vanish on $X$. Motivated by a study of cometric ($Q$-polynomial) association schemes and spherical designs, we wish to determine certain properties of this ideal. After presenting some background material and preliminary results, we consider the case where $X$ is the set of shortest vectors of one of the exceptional lattices $E_6$, $E_7$, $E_8$, $Λ_{24}$ (the Leech lattice) and determine for each: (i) the smallest degree of a non-trivial polynomial in the ideal, and (ii) the smallest $k$ for which the ideal admits a generating set of polynomials all of degree $k$ or less. As it turns out, in all four cases mentioned above, these two values coincide, as they also do for the icosahedron, our introductory example. The paper concludes with a discussion of these two parameters, two open problems regarding their equality, and a few remarks concerning connections to cometric association schemes.

preprint2013arXiv

Uniformity in association schemes and coherent configurations: cometric Q-antipodal schemes and linked systems

Inspired by some intriguing examples, we study uniform association schemes and uniform coherent configurations, including cometric Q-antipodal association schemes. After a review of imprimitivity, we show that an imprimitive association scheme is uniform if and only if it is dismantlable, and we cast these schemes in the broader context of certain --- uniform --- coherent configurations. We also give a third characterization of uniform schemes in terms of the Krein parameters, and derive information on the primitive idempotents of such a scheme. In the second half of the paper, we apply these results to cometric association schemes. We show that each such scheme is uniform if and only if it is Q-antipodal, and derive results on the parameters of the subschemes and dismantled schemes of cometric Q-antipodal schemes. We revisit the correspondence between uniform indecomposable three-class schemes and linked systems of symmetric designs, and show that these are cometric Q-antipodal. We obtain a characterization of cometric Q-antipodal four-class schemes in terms of only a few parameters, and show that any strongly regular graph with a ("non-exceptional") strongly regular decomposition gives rise to such a scheme. Hemisystems in generalized quadrangles provide interesting examples of such decompositions. We finish with a short discussion of five-class schemes as well as a list of all feasible parameter sets for cometric Q-antipodal four-class schemes with at most six fibres and fibre size at most 2000, and describe the known examples. Most of these examples are related to groups, codes, and geometries.

preprint2008arXiv

Commutative association schemes

Association schemes were originally introduced by Bose and his co-workers in the design of statistical experiments. Since that point of inception, the concept has proved useful in the study of group actions, in algebraic graph theory, in algebraic coding theory, and in areas as far afield as knot theory and numerical integration. This branch of the theory, viewed in this collection of surveys as the "commutative case," has seen significant activity in the last few decades. The goal of the present survey is to discuss the most important new developments in several directions, including Gelfand pairs, cometric association schemes, Delsarte Theory, spin models and the semidefinite programming technique. The narrative follows a thread through this list of topics, this being the contrast between combinatorial symmetry and group-theoretic symmetry, culminating in Schrijver's SDP bound for binary codes (based on group actions) and its connection to the Terwilliger algebra (based on combinatorial symmetry). We propose this new role of the Terwilliger algebra in Delsarte Theory as a central topic for future work.