arXiv++ Combinatorics

Olmez, in "Symmetric $1\frac{1}{2}$-Designs and $1\frac{1}{2}$-Difference Sets" (2014), introduced the concept of a partial geometric difference set (also referred to as a $1\frac{1}{2}$-design), and showed that partial geometric difference sets give partial geometric designs. Nowak et al., in "Partial Geometric Difference Families" (2014), introduced the concept of a partial difference family, and showed that these also give partial geometric designs. It was shown by Brouwer et al. in "Directed strongly regular graphs from $1\frac{1}{2}$-designs" (2012) that directed strongly regular graphs can be obtained from partial geometric designs. In this correspondence we construct several families of partial geometric difference sets and partial difference families with new parameters, thereby giving directed strongly regular graphs with new parameters. We also discuss some of the links between partially balanced designs, $2$-adesigns (which were recently coined by Cunsheng Ding in "Codes from Difference Sets" (2015)), and partial geometric designs, and make an investigation into when a $2$-adesign is partial geometric.

We study the transition matrix of a quantum walk on strongly regular graphs. It is proposed by Emms, Hancock, Severini and Wilson in 2006, that the spectrum of $S^+(U^3)$, a matrix based on the amplitudes of walks in the quantum walk, distinguishes strongly regular graphs. We probabilistically compute the spectrum of the line intersection graphs of two non-isomorphic generalized quadrangles of order $(5^2,5)$ under this matrix and thus provide strongly regular counter-examples to the conjecture.

The chromatic number of a Latin square is the least number of partial transversals which cover its cells. This is just the chromatic number of its associated Latin square graph. Although Latin square graphs have been widely studied as strongly regular graphs, their chromatic numbers appear to be unexplored. We determine the chromatic number of a circulant Latin square, and find bounds for some other classes of Latin squares. With a computer, we find the chromatic number for all main classes of Latin squares of order at most eight.

Duval, in "A Directed Graph Version of Strongly Regular Graphs" [{\it Journal of Combinatorial Theory}, Series A 47 (1988) 71 - 100], introduced the concept of directed strongly regular graphs. In this paper we construct several rich families of directed strongly regular graphs with new parameters. Our constructions yielding new parameters are based on extending known explicit constructions to cover more parameter sets. We also explore some of the links between Cayley graphs, block matrices and directed strongly regular graphs with certain parameters. Directed strongly regular graphs which are also Cayley graphs are interesting due to their having more algebraic structure. We construct directed strongly regular Cayley graphs with parameters $((m+1)s,ls,ld,ld-d,ld)$ where $d,l$ and $s$ are integers with $dm=ls$ and $1\leq l<m$. We also give a new block matrix characterization for directed strongly regular graphs with parameters $(m(dm+1),dm,m,m-1,m)$, which were first dicussed by Duval et al. in "Semidirect Product Constructions of Directed Strongly Regular Graphs" [{\it Journal of Combinatorial Theory}, Series A 104 (2003) 157 - 167].

We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs.

We show that there is no (75,32,10,16) strongly regular graph. The result is obtained by a mix of algebraic and computational approaches. The main idea is to build large enough induced structure and apply the star complement technique. Our result implies that there is no regular two-graph on 76 vertices and no partial geometry with parameters pg(4,7,2). In particular, it implies that there is no (76,35,18,14) strongly-regular graph. In order to solve this classification problem we also develop an efficient algorithm for the problem of finding a maximal clique in a graph.

An equiangular tight frame (ETF) is a set of unit vectors whose coherence achieves the Welch bound, and so is as incoherent as possible. Though they arise in many applications, only a few methods for constructing them are known. Motivated by the connection between real ETFs and graph theory, we introduce the notion of ETFs that are symmetric about their centroid. We then discuss how well-known constructions, such as harmonic ETFs and Steiner ETFs, can have centroidal symmetry. Finally, we establish a new equivalence between centroid-symmetric real ETFs and certain types of strongly regular graphs (SRGs). Together, these results give the first proof of the existence of certain SRGs, as well as the disproofs of the existence of others.

The distance matrix of a graph $G$ is the matrix containing the pairwise distances between vertices. The distance eigenvalues of $G$ are the eigenvalues of its distance matrix and they form the distance spectrum of $G$. We determine the distance spectra of halved cubes, double odd graphs, and Doob graphs, completing the determination of distance spectra of distance regular graphs having exactly one positive distance eigenvalue. We characterize strongly regular graphs having more positive than negative distance eigenvalues. We give examples of graphs with few distinct distance eigenvalues but lacking regularity properties. We also determine the determinant and inertia of the distance matrices of lollipop and barbell graphs.

Let $G$ be a distance-regular graph of order $v$ and size $e$. In this paper, we show that the max-cut in $G$ is at most $e(1-1/g)$, where $g$ is the odd girth of $G$. This result implies that the independence number of $G$ is at most $\frac{v}{2}(1-1/g)$. We use this fact to also study the extendability of matchings in distance-regular graphs. A graph $G$ of even order $v$ is called $t$-extendable if it contains a perfect matching, $t<v/2$ and any matching of $t$ edges is contained in some perfect matching. The extendability of $G$ is the maximum $t$ such that $G$ is $t$-extendable. We generalize previous results on strongly regular graphs and show that all distance-regular graphs with diameter $D\geq 3$ are $2$-extendable. We also obtain various lower bounds for the extendability of distance-regular graphs of valency $k$ that depend on $k$, $λ$ and $μ$, where $λ$ is the number of common neighbors of any two adjacent vertices and $μ$ is the number of common neighbors of any two vertices in distance two.

The real monomial representations of Clifford algebras give rise to two sequences of bent functions. For each of these sequences, the corresponding Cayley graphs are strongly regular graphs, and the corresponding sequences of strongly regular graph parameters coincide. Even so, the corresponding graphs in the two sequences are not isomorphic, except in the first 3 cases. The proof of this non-isomorphism is a simple consequence of a theorem of Radon.

In this paper we introduce a construction of directed strongly regular graphs from smaller ones using equitable partitions. Each equitable partition of a single DSRG satisfying several conditions leads to an infinite family of directed strongly regular graphs. We construct in this way dozens of infinite families. For order at most 110, we confirm the existence of DSRGs for 30 previously open parameter sets.

We consider several semidefinite programming relaxations for the max-$k$-cut problem, with increasing complexity. The optimal solution of the weakest presented semidefinite programming relaxation has a closed form expression that includes the largest Laplacian eigenvalue of the graph under consideration. This is the first known eigenvalue bound for the max-$k$-cut when $k>2$ that is applicable to any graph. This bound is exploited to derive a new eigenvalue bound on the chromatic number of a graph. For regular graphs, the new bound on the chromatic number is the same as the well-known Hoffman bound; however, the two bounds are incomparable in general. We prove that the eigenvalue bound for the max-$k$-cut is tight for several classes of graphs. We investigate the presented bounds for specific classes of graphs, such as walk-regular graphs, strongly regular graphs, and graphs from the Hamming association scheme.

We give a new bound on the parameter $λ$ (number of common neighbors of a pair of adjacent vertices) in a distance-regular graph $G$, improving and generalizing bounds for strongly regular graphs by Spielman (1996) and Pyber (2014). The new bound is one of the ingredients of recent progress on the complexity of testing isomorphism of strongly regular graphs (Babai, Chen, Sun, Teng, Wilmes 2013). The proof is based on a clique geometry found by Metsch (1991) under certain constraints on the parameters. We also give a simplified proof of the following asymptotic consequence of Metsch's result: if $kμ= o(λ^2)$ then each edge of $G$ belongs to a unique maximal clique of size asymptotically equal to $λ$, and all other cliques have size $o(λ)$. Here $k$ denotes the degree and $μ$ the number of common neighbors of a pair of vertices at distance 2. We point out that Metsch's cliques are "asymptotically Delsarte" when $kμ= o(λ^2)$, so families of distance-regular graphs with parameters satisfying $kμ= o(λ^2)$ are "asymptotically Delsarte-geometric."

We derive a new upper bound on the algebraic connectivity of a regular graph using the Higman-Sims technique. Together with a new result on the connectivity of the neighbourhood graph of strongly regular graphs, our result gives a characterization of a class of strongly regular graphs that maximize the algebraic connectivity amongst regular graphs.

Inspired by Bondarenko's counter-example to Borsuk's conjecture, we notice some strongly regular graphs that provide examples of ball packings whose chromatic numbers are significantly higher than the dimensions. In particular, from generalized quadrangles we obtain unit ball packings in dimension $q^3-q^2+q$ with chromatic number $q^3+1$, where $q$ is a prime power. This improves the previous lower bound for the chromatic number of ball packings.

In 1993 Hong asked what are the best bounds on the $k$'th largest eigenvalue $λ_{k}(G)$ of a graph $G$ of order $n$. This challenging question has never been tackled for any $2<k<n$. In the present paper tight bounds are obtained for all $k>2,$ and even tighter bounds are obtained for the $k$'th largest singular value $λ_{k}^{\ast}(G).$ Some of these bounds are based on Taylor's strongly regular graphs, and other on a method of Kharaghani for constructing Hadamard matrices. The same kind of constructions are applied to other open problems, like Nordhaus-Gaddum problems of the kind: How large can $λ_{k}(G)+λ_{k}(\bar{G})$ be$?$ These constructions are successful also in another open question: How large can the Ky Fan norm $λ_{1}^{\ast}(G)+...+λ_{k}^{\ast }(G)$ be $?$ Ky Fan norms of graphs generalize the concept of graph energy, so this question generalizes the problem for maximum energy graphs. In the final section, several results and problems are restated for $(-1,1)$-matrices, which seem to provide a more natural ground for such research than graphs. Many of the results in the paper are paired with open questions and problems for further study.

We construct and study a new near octagon of order $(2,10)$ which has its full automorphism group isomorphic to the group $\mathrm{G}_2(4){:}2$ and which contains $416$ copies of the Hall-Janko near octagon as full subgeometries. Using this near octagon and its substructures we give geometric constructions of the $\mathrm{G}_2(4)$-graph and the Suzuki graph, both of which are strongly regular graphs contained in the Suzuki tower. As a subgeometry of this octagon we have discovered another new near octagon, whose order is $(2,4)$.

In this paper, we show how certain three-class association schemes and orthogonal arrays give rise to partial geometric designs. We also investigate the connections between partial geometric designs and certain regular graphs having three or four distinct eigenvalues, three-class association schemes, orthogonal arrays of strength two and particular linear codes. We give various characterizations of these graphs, association schemes and orthogonal arrays in terms of partial geometric designs. We also give a list of infinite families of directed strongly regular graphs arising from the partial geometric designs obtained in this paper.

We apply Godsil-McKay switching to the symplectic graphs over $\mathbb{F}_2$ with at least 63 vertices and prove that the 2-rank of (the adjacency matrix of) the graph increases after switching. This shows that the switched graph is a new strongly regular graph with parameters $(2^{2ν}\!-1, 2^{2ν-1}, 2^{2ν-2},2^{2ν-2})$ and 2-rank $2ν+2$ when $ν\geq 3$. For the symplectic graph on $63$ vertices we investigate repeated switching by computer and find many new strongly regular graphs with the above parameters for $ν=3$ with various 2-ranks. Using these results and a recursive construction method for the symplectic graph from Hadamard matrices, we obtain several graphs with the above parameters, but different 2-ranks for every $ν\geq 3$.

The Laplacian spread of a graph is the difference between the largest eigenvalue and the second-smallest eigenvalue of the Laplacian matrix of the graph. We find that the class of strongly regular graphs attains the maximum of largest eigenvalues, the minimum of second-smallest eigenvalues of Laplacian matrices and hence the maximum of Laplacian spreads among all simple connected graphs of fixed order, minimum degree, maximum degree, minimum size of common neighbors of two adjacent vertices and minimum size of common neighbors of two nonadjacent vertices. Some other extremal graphs are also provided.