Implementing Brouwer's database of strongly regular graphs

Andries Brouwer maintains a public database of existence results for strongly regular graphs on $n\leq 1300$ vertices. We implemented most of the infinite families of graphs listed there in the open-source software Sagemath, as well as provided constructions of the "sporadic" cases, to obtain a graph for each set of parameters with known examples. Besides providing a convenient way to verify these existence results from the actual graphs, it also extends the database to higher values of $n$.Comment: 18 pages, LaTe

Some Implications on Amorphic Association Schemes

AMS classifications: 05E30, 05B20;amorphic association scheme;strongly regular graph;(negative) Latin square type;cyclotomic association scheme;strongly regular decomposition

Classification of small class association schemes coming from certain combinatorial objects

We explore two- or three-class association schemes. We study aspects of the structure of the relation graphs in association schemes which are not easily revealed by their parameters and spectra. The purpose is to develop some combinatorial methods to characterize the graphs and classify the association schemes, and also to delve deeply into several specific classification problems. We work with several combinatorial objects, including strongly regular graphs, distance-regular graphs, the desarguesian complete set of mutually orthogonal Latin squares, orthogonal arrays, and symmetric Bush-type Hadamard matrices, all of which give rise to many small-class association schemes. We work within the framework of the theory of association schemes.;Our focus is placed on the search for all isomorphism classes of association schemes and characterization of small-class association schemes of specific order. In particular, we examine two-class association schemes (strongly regular graphs) of order 64 and their three-class fission schemes. After we collect \u27feasible\u27 parameter sets for the putative association schemes, we make an attempt to check the realization (existence) of the parameter sets and describe the structure of the schemes chiefly by investigating the structure of their relation graphs. In the course of this thesis, we find a new way to construct orthogonal arrays and investigate their implications for strongly regular graphs, symmetric Bush-type Hadamard matrices, and three-class association schemes. We obtain several results regarding the characterization and classification of two- or three-class association schemes of order 64

Genuinely multipartite entangled states and orthogonal arrays

A pure quantum state of N subsystems with d levels each is called k-multipartite maximally entangled state, written k-uniform, if all its reductions to k qudits are maximally mixed. These states form a natural generalization of N-qudits GHZ states which belong to the class 1-uniform states. We establish a link between the combinatorial notion of orthogonal arrays and k-uniform states and prove the existence of several new classes of such states for N-qudit systems. In particular, known Hadamard matrices allow us to explicitly construct 2-uniform states for an arbitrary number of N>5 qubits. We show that finding a different class of 2-uniform states would imply the Hadamard conjecture, so the full classification of 2-uniform states seems to be currently out of reach. Additionally, single vectors of another class of 2-uniform states are one-to-one related to maximal sets of mutually unbiased bases. Furthermore, we establish links between existence of k-uniform states, classical and quantum error correction codes and provide a novel graph representation for such states.Comment: 24 pages, 7 figures. Comments are very welcome

Some Implications on Amorphic Association Schemes

AMS classifications: 05E30, 05B20;