Showing 1–25 of 25 results for author: Cioabă, S M

On the minimum spectral radius of connected graphs of given order and size

Authors: Sebastian M. Cioabă, Vishal Gupta, Celso Marques

Abstract: In this paper, we study a question of Hong from 1993 related to the minimum spectral radii of the adjacency matrices of connected graphs of given order and size. Hong asked if it is true that among all connected graphs of given number of vertices $n$ and number of edges $e$, the graphs having minimum spectral radius (the minimizer graphs) must be almost regular, meaning that the difference between… ▽ More In this paper, we study a question of Hong from 1993 related to the minimum spectral radii of the adjacency matrices of connected graphs of given order and size. Hong asked if it is true that among all connected graphs of given number of vertices $n$ and number of edges $e$, the graphs having minimum spectral radius (the minimizer graphs) must be almost regular, meaning that the difference between their maximum degree and their minimum degree is at most one. In this paper, we answer Hong's question positively for various values of $n$ and $e$ and in several cases, we determined the graphs with minimum spectral radius. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 19 pages, 6 figures

MSC Class: 05C50; 15A18

A lower bound for the smallest eigenvalue of a graph and an application to the associahedron graph

Authors: Sebastian M. Cioabă, Vishal Gupta

Abstract: In this paper, we obtain a lower bound for the smallest eigenvalue of a regular graph containing many copies of a smaller fixed subgraph. This generalizes a result of Aharoni, Alon, and Berger in which the subgraph is a triangle. We apply our results to obtain a lower bound on the smallest eigenvalue of the associahedron graph, and we prove that this bound gives the correct order of magnitude of t… ▽ More In this paper, we obtain a lower bound for the smallest eigenvalue of a regular graph containing many copies of a smaller fixed subgraph. This generalizes a result of Aharoni, Alon, and Berger in which the subgraph is a triangle. We apply our results to obtain a lower bound on the smallest eigenvalue of the associahedron graph, and we prove that this bound gives the correct order of magnitude of this eigenvalue. We also survey what is known regarding the second-largest eigenvalue of the associahedron graph. △ Less

Submitted 16 October, 2022; originally announced October 2022.

Comments: 12 pages, 1 figure

Extremal Graphs for a Spectral Inequality on Edge-Disjoint Spanning Trees

Authors: Sebastian M. Cioabă, Anthony Ostuni, Davin Park, Sriya Potluri, Tanay Wakhare, Wiseley Wong

Abstract: Liu, Hong, Gu, and Lai proved if the second largest eigenvalue of the adjacency matrix of graph $G$ with minimum degree $δ\ge 2m+2 \ge 4$ satisfies $λ_2(G) < δ- \frac{2m+1}{δ+1}$, then $G$ contains at least $m+1$ edge-disjoint spanning trees, which verified a generalization of a conjecture by Cioabă and Wong. We show this bound is essentially the best possible by constructing $d$-regular graphs… ▽ More Liu, Hong, Gu, and Lai proved if the second largest eigenvalue of the adjacency matrix of graph $G$ with minimum degree $δ\ge 2m+2 \ge 4$ satisfies $λ_2(G) < δ- \frac{2m+1}{δ+1}$, then $G$ contains at least $m+1$ edge-disjoint spanning trees, which verified a generalization of a conjecture by Cioabă and Wong. We show this bound is essentially the best possible by constructing $d$-regular graphs $\mathcal{G}_{m,d}$ for all $d \ge 2m+2 \ge 4$ with at most $m$ edge-disjoint spanning trees and $λ_2(\mathcal{G}_{m,d}) < d-\frac{2m+1}{d+3}$. As a corollary, we show that a spectral inequality on graph rigidity by Cioabă, Dewar, and Gu is essentially tight. △ Less

Submitted 4 April, 2021; originally announced April 2021.

Comments: 13 pages, 2 figures

MSC Class: 05C50; 05C35

On the eigenvalues of Grassmann graphs, Bilinear forms graphs and Hermitian forms graphs

Authors: Sebastian M. Cioabă, Himanshu Gupta

Abstract: Recently, Brouwer, Cioabă, Ihringer and McGinnis obtained some new results involving the eigenvalues of various graphs coming from association schemes and posed some conjectures related to the eigenvalues of Grassmann graphs, bilinear forms graphs and Hermitian forms graphs. In this paper, we prove some of their conjectures. Recently, Brouwer, Cioabă, Ihringer and McGinnis obtained some new results involving the eigenvalues of various graphs coming from association schemes and posed some conjectures related to the eigenvalues of Grassmann graphs, bilinear forms graphs and Hermitian forms graphs. In this paper, we prove some of their conjectures. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Comments: 22 pages

MSC Class: 05C50; 15A18

On a question of Haemers regarding vectors in the nullspace of Seidel matrices

Authors: Saieed Akbari, Sebastian M. Cioabă, Samira Goudarzi, Aidin Niaparast, Artin Tajdini

Abstract: In 2011, Haemers asked the following question: If $S$ is the Seidel matrix of a graph of order $n$ and $S$ is singular, does there exist an eigenvector of $S$ corresponding to $0$ which has only $\pm 1$ elements? In this paper, we construct infinite families of graphs which give a negative answer to this question. One of our constructions implies that for every natural number $N$, there exists a… ▽ More In 2011, Haemers asked the following question: If $S$ is the Seidel matrix of a graph of order $n$ and $S$ is singular, does there exist an eigenvector of $S$ corresponding to $0$ which has only $\pm 1$ elements? In this paper, we construct infinite families of graphs which give a negative answer to this question. One of our constructions implies that for every natural number $N$, there exists a graph whose Seidel matrix $S$ is singular such that for any integer vector in the nullspace of $S$, the absolute value of any entry in this vector is more than $N$. We also derive some characteristics of vectors in the nullspace of Seidel matrices, which lead to some necessary conditions for the singularity of Seidel matrices. Finally, we obtain some properties of the graphs which affirm the above question. △ Less

Submitted 21 January, 2021; v1 submitted 12 November, 2020; originally announced November 2020.

On the spectrum and linear programming bound for hypergraphs

Authors: Sebastian M. Cioabă, Jack H. Koolen, Masato Mimura, Hiroshi Nozaki, Takayuki Okuda

Abstract: The spectrum of a graph is closely related to many graph parameters. In particular, the spectral gap of a regular graph which is the difference between its valency and second eigenvalue, is widely seen an algebraic measure of connectivity and plays a key role in the theory of expander graphs. In this paper, we extend previous work done for graphs and bipartite graphs and present a linear programmi… ▽ More The spectrum of a graph is closely related to many graph parameters. In particular, the spectral gap of a regular graph which is the difference between its valency and second eigenvalue, is widely seen an algebraic measure of connectivity and plays a key role in the theory of expander graphs. In this paper, we extend previous work done for graphs and bipartite graphs and present a linear programming method for obtaining an upper bound on the order of a regular uniform hypergraph with prescribed distinct eigenvalues. Furthermore, we obtain a general upper bound on the order of a regular uniform hypergraph whose second eigenvalue is bounded by a given value. Our results improve and extend previous work done by Feng-Li (1996) on Alon-Boppana theorems for regular hypergraphs and by Dinitz-Schapira-Shahaf (2020) on the Moore or degree-diameter problem. We also determine the largest order of an $r$-regular $u$-uniform hypergraph with second eigenvalue at most $θ$ for several parameters $(r,u,θ)$. In particular, orthogonal arrays give the structure of the largest hypergraphs with second eigenvalue at most $1$ for every sufficiently large $r$. Moreover, we show that a generalized Moore geometry has the largest spectral gap among all hypergraphs of that order and degree. △ Less

Submitted 5 April, 2022; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: references updated, fixed some typos, added explanation describing the differences between the graphs and hypergraphs results, 27 pages, 3 tables, European Journal of Combinatorics, accepted for publication

Journal ref: European Journal of Combinatorics, 104 (2022), 103535

On the flip graphs on perfect matchings of complete graphs and signed reversal graphs

Authors: Sebastian M. Cioabă, Gordon Royle, Zhao Kuang Tan

Abstract: In this paper, we study the flip graph on the perfect matchings of a complete graph of even order. We investigate its combinatorial and spectral properties including connections to the signed reversal graph and we improve a previous upper bound on its chromatic number. In this paper, we study the flip graph on the perfect matchings of a complete graph of even order. We investigate its combinatorial and spectral properties including connections to the signed reversal graph and we improve a previous upper bound on its chromatic number. △ Less

Submitted 19 October, 2021; v1 submitted 23 June, 2020; originally announced June 2020.

Comments: 15 pages, 6 figures, 2 tables

Eigenvalues of graphs and spectral Moore theorems

Authors: Sebastian M. Cioabă

Abstract: In this paper, we describe some recent spectral Moore theorems related to determining the maximum order of a connected graph of given valency and second eigenvalue. We show how these spectral Moore theorems have applications in Alon-Boppana theorems for regular graphs and in the classical degree-diameter/Moore problem. In this paper, we describe some recent spectral Moore theorems related to determining the maximum order of a connected graph of given valency and second eigenvalue. We show how these spectral Moore theorems have applications in Alon-Boppana theorems for regular graphs and in the classical degree-diameter/Moore problem. △ Less

Submitted 20 April, 2020; originally announced April 2020.

Comments: 14 pages, 1 table,to appear in RIMS Kôkyûroku

Some observations on the smallest adjacency eigenvalue of a graph

Authors: Sebastian M. Cioabă, Randall J. Elzinga, David A. Gregory

Abstract: In this paper, we discuss various connections between the smallest eigenvalue of the adjacency matrix of a graph and its structure. There are several techniques for obtaining upper bounds on the smallest eigenvalue, and some of them are based on Rayleigh quotients, Cauchy interlacing using induced subgraphs, and Haemers interlacing with vertex partitions and quotient matrices. In this paper, we ar… ▽ More In this paper, we discuss various connections between the smallest eigenvalue of the adjacency matrix of a graph and its structure. There are several techniques for obtaining upper bounds on the smallest eigenvalue, and some of them are based on Rayleigh quotients, Cauchy interlacing using induced subgraphs, and Haemers interlacing with vertex partitions and quotient matrices. In this paper, we are interested in obtaining lower bounds for the smallest eigenvalue. Motivated by results on line graphs and generalized line graphs, we show how graph decompositions can be used to obtain such lower bounds. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 24 pages, Discussiones Mathematicae Graph Theory, Special Issue in honor of Slobodan K. Simić, accepted for publication

MSC Class: 05C50; 05C75; 05C76; 05E30; 15A18

Open problems in the spectral theory of signed graphs

Authors: Francesco Belardo, Sebastian M. Cioabă, Jack H. Koolen, Jianfeng Wang

Abstract: Signed graphs are graphs whose edges get a sign $+1$ or $-1$ (the signature). Signed graphs can be studied by means of graph matrices extended to signed graphs in a natural way. Recently, the spectra of signed graphs have attracted much attention from graph spectra specialists. One motivation is that the spectral theory of signed graphs elegantly generalizes the spectral theories of unsigned graph… ▽ More Signed graphs are graphs whose edges get a sign $+1$ or $-1$ (the signature). Signed graphs can be studied by means of graph matrices extended to signed graphs in a natural way. Recently, the spectra of signed graphs have attracted much attention from graph spectra specialists. One motivation is that the spectral theory of signed graphs elegantly generalizes the spectral theories of unsigned graphs. On the other hand, unsigned graphs do not disappear completely, since their role can be taken by the special case of balanced signed graphs. Therefore, spectral problems defined and studied for unsigned graphs can be considered in terms of signed graphs, and sometimes such generalization shows nice properties which cannot be appreciated in terms of (unsigned) graphs. Here, we survey some general results on the adjacency spectra of signed graphs, and we consider some spectral problems which are inspired from the spectral theory of (unsigned) graphs. △ Less

Submitted 9 July, 2019; originally announced July 2019.

Comments: 22 pages, 4 figures, submitted to The Art of Discrete and Applied Mathematics, https://adam-journal.eu/index.php/ADAM

MSC Class: 05C22; 05C50

Addressing Johnson graphs, complete multipartite graphs, odd cycles and other graphs

Authors: Noga Alon, Sebastian M. Cioabă, Brandon D. Gilbert, Jack H. Koolen, Brendan D. McKay

Abstract: Graham and Pollak showed that the vertices of any graph $G$ can be addressed with $N$-tuples of three symbols, such that the distance between any two vertices may be easily determined from their addresses. An addressing is optimal if its length $N$ is minimum possible. In this paper, we determine an addressing of length $k(n-k)$ for the Johnson graphs $J(n,k)$ and we show that our addressing is… ▽ More Graham and Pollak showed that the vertices of any graph $G$ can be addressed with $N$-tuples of three symbols, such that the distance between any two vertices may be easily determined from their addresses. An addressing is optimal if its length $N$ is minimum possible. In this paper, we determine an addressing of length $k(n-k)$ for the Johnson graphs $J(n,k)$ and we show that our addressing is optimal when $k=1$ or when $k=2, n=4,5,6$, but not when $n=6$ and $k=3$. We study the addressing problem as well as a variation of it in which the alphabet used has more than three symbols, for other graphs such as complete multipartite graphs and odd cycles. We also present computations describing the distribution of the minimum length of addressings for connected graphs with up to $10$ vertices. Motivated by these computations we settle a problem of Graham, showing that most graphs on $n$ vertices have an addressing of length at most $n-(2-o(1))\log_2 n$. △ Less

Submitted 28 October, 2018; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: 18 page, 24 tables, accepted for publication to Experimental Mathematics

MSC Class: 05C12; 05C35; 05C50; 05C62

A spectral version of the Moore problem for bipartite regular graphs

Authors: Sebastian M. Cioabă, Jack H. Koolen, Hiroshi Nozaki

Abstract: Let $b(k,θ)$ be the maximum order of a connected bipartite $k$-regular graph whose second largest eigenvalue is at most $θ$. In this paper, we obtain a general upper bound for $b(k,θ)$ for any $0\leq θ< 2\sqrt{k-1}$. Our bound gives the exact value of $b(k,θ)$ whenever there exists a bipartite distance-regular graph of degree $k$, second largest eigenvalue $θ$, diameter $d$ and girth $g$ such that… ▽ More Let $b(k,θ)$ be the maximum order of a connected bipartite $k$-regular graph whose second largest eigenvalue is at most $θ$. In this paper, we obtain a general upper bound for $b(k,θ)$ for any $0\leq θ< 2\sqrt{k-1}$. Our bound gives the exact value of $b(k,θ)$ whenever there exists a bipartite distance-regular graph of degree $k$, second largest eigenvalue $θ$, diameter $d$ and girth $g$ such that $g\geq 2d-2$. For certain values of $d$, there are infinitely many such graphs of various valencies $k$. However, for $d=11$ or $d\geq 15$, we prove that there are no bipartite distance-regular graphs with $g\geq 2d-2$. △ Less

Submitted 4 March, 2019; v1 submitted 2 May, 2018; originally announced May 2018.

Comments: 24 pages, 7 tables; In the revised version, a new result (Theorem 4.12) is added at the end of Section 4 showing that the bipartite bound from this paper (Theorem 4.7) is always better than the general upper bound from our previous SIDMA paper (Theorem 4.9)

MSC Class: 05C50; 05E30

The smallest eigenvalues of Hamming graphs, Johnson graphs and other distance-regular graphs with classical parameters

Authors: Andries E. Brouwer, Sebastian M. Cioabă, Ferdinand Ihringer, Matt McGinnis

Abstract: We prove a conjecture by Van Dam and Sotirov on the smallest eigenvalue of (distance-$j$) Hamming graphs and a conjecture by Karloff on the smallest eigenvalue of (distance-$j$) Johnson graphs. More generally, we study the smallest eigenvalue and the second largest eigenvalue in absolute value of the graphs of the relations of classical $P$- and $Q$-polynomial association schemes. We prove a conjecture by Van Dam and Sotirov on the smallest eigenvalue of (distance-$j$) Hamming graphs and a conjecture by Karloff on the smallest eigenvalue of (distance-$j$) Johnson graphs. More generally, we study the smallest eigenvalue and the second largest eigenvalue in absolute value of the graphs of the relations of classical $P$- and $Q$-polynomial association schemes. △ Less

Submitted 20 April, 2018; v1 submitted 26 September, 2017; originally announced September 2017.

Comments: 30 pages, accepted by JCTB

MSC Class: 05C50; 05E30; 33C47; 33D45; 68R10; 90C47

Spectral and Combinatorial Properties of Some Algebraically Defined Graphs

Authors: Sebastian M. Cioabă, Felix Lazebnik, Shuying Sun

Abstract: Let $k\ge 3$ be an integer, $q$ be a prime power, and $\mathbb{F}_q$ denote the field of $q$ elements. Let $f_i, g_i\in\mathbb{F}_q[X]$, $3\le i\le k$, such that $g_i(-X) = -\, g_i(X)$. We define a graph $S(k,q) = S(k,q;f_3,g_3,\cdots,f_k,g_k)$ as a graph with the vertex set $\mathbb{F}_q^k$ and edges defined as follows: vertices $a = (a_1,a_2,\ldots,a_k)$ and $b = (b_1,b_2,\ldots,b_k)$ are adjace… ▽ More Let $k\ge 3$ be an integer, $q$ be a prime power, and $\mathbb{F}_q$ denote the field of $q$ elements. Let $f_i, g_i\in\mathbb{F}_q[X]$, $3\le i\le k$, such that $g_i(-X) = -\, g_i(X)$. We define a graph $S(k,q) = S(k,q;f_3,g_3,\cdots,f_k,g_k)$ as a graph with the vertex set $\mathbb{F}_q^k$ and edges defined as follows: vertices $a = (a_1,a_2,\ldots,a_k)$ and $b = (b_1,b_2,\ldots,b_k)$ are adjacent if $a_1\ne b_1$ and the following $k-2$ relations on their components hold: $$ b_i-a_i = g_i(b_1-a_1)f_i\Bigl(\frac{b_2-a_2}{b_1-a_1}\Bigr)\;,\quad 3\le i\le k. $$ We show that graphs $S(k,q)$ generalize several recently studied examples of regular expanders and can provide many new such examples. △ Less

Submitted 24 August, 2017; originally announced August 2017.

Comments: 21 pages

Cospectral mates for the union of some classes in the Johnson association scheme

Authors: Sebastian M. Cioabă, Willem H. Haemers, Travis Johnston, Matt McGinnis

Abstract: Let $n\geq k\geq 2$ be two integers and $S$ a subset of $\{0,1,\dots,k-1\}$. The graph $J_{S}(n,k)$ has as vertices the $k$-subsets of the $n$-set $[n]=\{1,\dots,n\}$ and two $k$-subsets $A$ and $B$ are adjacent if $|A\cap B|\in S$. In this paper, we use Godsil-McKay switching to prove that for $m\geq 0$, $k\geq \max(m+2,3)$ and $S = \{0, 1, ..., m\}$, the graphs $J_S(3k-2m-1,k)$ are not determine… ▽ More Let $n\geq k\geq 2$ be two integers and $S$ a subset of $\{0,1,\dots,k-1\}$. The graph $J_{S}(n,k)$ has as vertices the $k$-subsets of the $n$-set $[n]=\{1,\dots,n\}$ and two $k$-subsets $A$ and $B$ are adjacent if $|A\cap B|\in S$. In this paper, we use Godsil-McKay switching to prove that for $m\geq 0$, $k\geq \max(m+2,3)$ and $S = \{0, 1, ..., m\}$, the graphs $J_S(3k-2m-1,k)$ are not determined by spectrum and for $m\geq 2$, $n\geq 4m+2$ and $S = \{0,1,...,m\}$ the graphs $J_{S}(n,2m+1)$ are not determined by spectrum. We also report some computational searches for Godsil-McKay switching sets in the union of classes in the Johnson scheme for $k\leq 5$. △ Less

Submitted 8 August, 2017; v1 submitted 30 January, 2017; originally announced January 2017.

Comments: 9 pages, no figures, 3 tables; 2nd version contains improved results compared to the 1st version

Addressing Graph Products and Distance-Regular Graphs

Authors: Sebastian M. Cioabă, Randall J. Elzinga, Michelle Markiewitz, Kevin Vander Meulen, Trevor Vanderwoerd

Abstract: Graham and Pollak showed that the vertices of any connected graph $G$ can be assigned $t$-tuples with entries in $\{0, a, b\}$, called addresses, such that the distance in $G$ between any two vertices equals the number of positions in their addresses where one of the addresses equals $a$ and the other equals $b$. In this paper, we are interested in determining the minimum value of such $t$ for var… ▽ More Graham and Pollak showed that the vertices of any connected graph $G$ can be assigned $t$-tuples with entries in $\{0, a, b\}$, called addresses, such that the distance in $G$ between any two vertices equals the number of positions in their addresses where one of the addresses equals $a$ and the other equals $b$. In this paper, we are interested in determining the minimum value of such $t$ for various families of graphs. We develop two ways to obtain this value for the Hamming graphs and present a lower bound for the triangular graphs. △ Less

Submitted 2 January, 2017; v1 submitted 19 September, 2016; originally announced September 2016.

Comments: 10 pages, 2 figures; This version is identical to the first in content, but it includes more explicit attributions to David A. Gregory. In particular, for Lemmas 3.1, 3.2, Remark 3.4 and Theorem 3.5 and includes an added acknowledgement

Connectivity, toughness, spanning trees of bounded degree, and the spectrum of regular graphs

Authors: Sebastian M. Cioabă, Xiaofeng Gu

Abstract: In this paper, we present some new results describing connections between the spectrum of a regular graph and its generalized connectivity, toughness, and the existence of spanning trees with bounded degree. In this paper, we present some new results describing connections between the spectrum of a regular graph and its generalized connectivity, toughness, and the existence of spanning trees with bounded degree. △ Less

Submitted 18 February, 2016; originally announced February 2016.

Comments: 13 pages; accepted to Czechoslovak Mathematical Journal, special issue dedicated to Professor Miroslav Fiedler

MSC Class: 05C50; 05C40; 05C42; 05E99; 05C05; 15A18

Max-cut and extendability of matchings in distance-regular graphs

Authors: Sebastian M. Cioabă, Jack H. Koolen, Weiqiang Li

Abstract: 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$-extendabl… ▽ More 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. △ Less

Submitted 6 January, 2017; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 18 pages, accepted to European Journal of Combinatorics

Mixing Rates of Random Walks with Little Backtracking

Authors: Sebastian M. Cioabă, Peng Xu

Abstract: Many regular graphs admit a natural partition of their edge set into cliques of the same order such that each vertex is contained in the same number of cliques. In this paper, we study the mixing rate of certain random walks on such graphs and we generalize previous results of Alon, Benjamini, Lubetzky and Sodin regarding the mixing rates of non-backtracking random walks on regular graphs. Many regular graphs admit a natural partition of their edge set into cliques of the same order such that each vertex is contained in the same number of cliques. In this paper, we study the mixing rate of certain random walks on such graphs and we generalize previous results of Alon, Benjamini, Lubetzky and Sodin regarding the mixing rates of non-backtracking random walks on regular graphs. △ Less

Submitted 3 June, 2015; originally announced June 2015.

Comments: 31 pages; to appear in the CRM Proceedings Series, published by the American Mathematical Society as part of the Contemporary Mathematics Series

MSC Class: 05C81; 05E30; 15A18; 60B10; 60C05; 60G99; 60J10

Maximizing the order of a regular graph of given valency and second eigenvalue

Authors: Sebastian M. Cioabă, Jack H. Koolen, Hiroshi Nozaki, Jason R. Vermette

Abstract: From Alon and Boppana, and Serre, we know that for any given integer $k\geq 3$ and real number $λ<2\sqrt{k-1}$, there are finitely many $k$-regular graphs whose second largest eigenvalue is at most $λ$. In this paper, we investigate the largest number of vertices of such graphs. From Alon and Boppana, and Serre, we know that for any given integer $k\geq 3$ and real number $λ<2\sqrt{k-1}$, there are finitely many $k$-regular graphs whose second largest eigenvalue is at most $λ$. In this paper, we investigate the largest number of vertices of such graphs. △ Less

Submitted 26 January, 2017; v1 submitted 21 March, 2015; originally announced March 2015.

Comments: SIAM Journal of Discrete Mathematics 30, 1509-1525, (2016)

MSC Class: 05C50; 05E30; 15A18; 68R10; 90C05

On the Spectrum of Wenger Graphs

Authors: Sebastian M. Cioabă, Felix Lazebnik, Weiqiang Li

Abstract: Let $q=p^e$, where $p$ is a prime and $e\geq 1$ is an integer. For $m\geq 1$, let $P$ and $L$ be two copies of the $(m+1)$-dimensional vector spaces over the finite field $\mathbb{F}_q$. Consider the bipartite graph $W_m(q)$ with partite sets $P$ and $L$ defined as follows: a point $(p)=(p_1,p_2,\ldots,p_{m+1})\in P$ is adjacent to a line $[l]=[l_1,l_2,\ldots,l_{m+1}]\in L$ if and only if the foll… ▽ More Let $q=p^e$, where $p$ is a prime and $e\geq 1$ is an integer. For $m\geq 1$, let $P$ and $L$ be two copies of the $(m+1)$-dimensional vector spaces over the finite field $\mathbb{F}_q$. Consider the bipartite graph $W_m(q)$ with partite sets $P$ and $L$ defined as follows: a point $(p)=(p_1,p_2,\ldots,p_{m+1})\in P$ is adjacent to a line $[l]=[l_1,l_2,\ldots,l_{m+1}]\in L$ if and only if the following $m$ equalities hold: $l_{i+1} + p_{i+1}=l_{i}p_1$ for $i=1,\ldots, m$. We call the graphs $W_m(q)$ Wenger graphs. In this paper, we determine all distinct eigenvalues of the adjacency matrix of $W_m(q)$ and their multiplicities. We also survey results on Wenger graphs. △ Less

Submitted 13 February, 2014; originally announced February 2014.

Comments: 9 pages; accepted for publication to J. Combin. Theory, Series B

MSC Class: 05C50; 15A18

The spectrum and toughness of regular graphs

Authors: Sebastian M. Cioabă, Wiseley Wong

Abstract: In 1995, Brouwer proved that the toughness of a connected $k$-regular graph $G$ is at least $k/λ-2$, where $λ$ is the maximum absolute value of the non-trivial eigenvalues of $G$. Brouwer conjectured that one can improve this lower bound to $k/λ-1$ and that many graphs (especially graphs attaining equality in the Hoffman ratio bound for the independence number) have toughness equal to $k/λ$. In th… ▽ More In 1995, Brouwer proved that the toughness of a connected $k$-regular graph $G$ is at least $k/λ-2$, where $λ$ is the maximum absolute value of the non-trivial eigenvalues of $G$. Brouwer conjectured that one can improve this lower bound to $k/λ-1$ and that many graphs (especially graphs attaining equality in the Hoffman ratio bound for the independence number) have toughness equal to $k/λ$. In this paper, we improve Brouwer's spectral bound when the toughness is small and we determine the exact value of the toughness for many strongly regular graphs attaining equality in the Hoffman ratio bound such as Lattice graphs, Triangular graphs, complements of Triangular graphs and complements of point-graphs of generalized quadrangles. For all these graphs with the exception of the Petersen graph, we confirm Brouwer's intuition by showing that the toughness equals $k/(-λ_{min})$, where $λ_{min}$ is the smallest eigenvalue of the adjacency matrix of the graph. △ Less

Submitted 8 December, 2013; originally announced December 2013.

Comments: 15 pages, 1 figure, accepted to Discrete Applied Mathematics, special issue dedicated to the "Applications of Graph Spectra in Computer Science" Conference, Centre de Recerca Matematica (CRM), Bellaterra, Barcelona, June 16-20, 2012

MSC Class: 05C42; 05C50; 05E30; 15A18; 68R10

Edge-disjoint spanning trees and eigenvalues of regular graphs

Authors: Sebastian M. Cioabă, Wiseley Wong

Abstract: Partially answering a question of Paul Seymour, we obtain a sufficient eigenvalue condition for the existence of $k$ edge-disjoint spanning trees in a regular graph, when $k\in \{2,3\}$. More precisely, we show that if the second largest eigenvalue of a $d$-regular graph $G$ is less than $d-\frac{2k-1}{d+1}$, then $G$ contains at least $k$ edge-disjoint spanning trees, when $k\in \{2,3\}$. We cons… ▽ More Partially answering a question of Paul Seymour, we obtain a sufficient eigenvalue condition for the existence of $k$ edge-disjoint spanning trees in a regular graph, when $k\in \{2,3\}$. More precisely, we show that if the second largest eigenvalue of a $d$-regular graph $G$ is less than $d-\frac{2k-1}{d+1}$, then $G$ contains at least $k$ edge-disjoint spanning trees, when $k\in \{2,3\}$. We construct examples of graphs that show our bounds are essentially best possible. We conjecture that the above statement is true for any $k<d/2$. △ Less

Submitted 8 December, 2013; originally announced December 2013.

Comments: 4 figures

MSC Class: 05C50; 15A18; 05C42; 15A42

Journal ref: Linear Algebra Appl. 437 (2012), no. 2, 630--647

Disconnecting strongly regular graphs

Authors: Sebastian M. Cioabă, Jack H. Koolen, Weiqiang Li

Abstract: In this paper, we show that the minimum number of vertices whose removal disconnects a connected strongly regular graph into non-singleton components, equals the size of the neighborhood of an edge for many graphs. These include blocks graphs of Steiner $2$-designs, many Latin square graphs and strongly regular graphs whose intersection parameters are at most a quarter of their valency. In this paper, we show that the minimum number of vertices whose removal disconnects a connected strongly regular graph into non-singleton components, equals the size of the neighborhood of an edge for many graphs. These include blocks graphs of Steiner $2$-designs, many Latin square graphs and strongly regular graphs whose intersection parameters are at most a quarter of their valency. △ Less

Submitted 21 November, 2013; originally announced November 2013.

MSC Class: 05E30; 05B05; 05B15; 05C40; 05C50; 15A18; 68R10

Journal ref: European Journal of Combinatorics 38 (2014) pp. 1-11

On a conjecture of Brouwer involving the connectivity of strongly regular graphs

Authors: Sebastian M. Cioaba, Kijung Kim, Jack H. Koolen

Abstract: In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components. We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called $Δ$-spaces are counterexamples to Brouwer's Conjecture. Using J.I. Hall's characteri… ▽ More In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components. We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called $Δ$-spaces are counterexamples to Brouwer's Conjecture. Using J.I. Hall's characterization of finite reduced copolar spaces, we find that the triangular graphs $T(m)$, the symplectic graphs $Sp(2r,q)$ over the field $\mathbb{F}_q$ (for any $q$ prime power), and the strongly regular graphs constructed from the hyperbolic quadrics $O^{+}(2r,2)$ and from the elliptic quadrics $O^{-}(2r,2)$ over the field $\mathbb{F}_2$, respectively, are counterexamples to Brouwer's Conjecture. For each of these graphs, we determine precisely the minimum number of vertices whose removal disconnects the graph into non-singleton components. While we are not aware of an analogue of Hall's characterization theorem for $Δ$-spaces, we show that complements of the point graphs of certain finite generalized quadrangles are point graphs of $Δ$-spaces and thus, yield other counterexamples to Brouwer's Conjecture. We prove that Brouwer's Conjecture is true for many families of strongly regular graphs including the conference graphs, the generalized quadrangles $GQ(q,q)$ graphs, the lattice graphs, the Latin square graphs, the strongly regular graphs with smallest eigenvalue -2 (except the triangular graphs) and the primitive strongly regular graphs with at most 30 vertices except for few cases. We leave as an open problem determining the best general lower bound for the minimum size of a disconnecting set of vertices of a strongly regular graph, whose removal disconnects the graph into non-singleton components. △ Less

Submitted 11 January, 2012; v1 submitted 4 May, 2011; originally announced May 2011.

Comments: 25 pages, 1 table; accepted to JCTA; revised version contains a new section on copolar and Delta spaces

MSC Class: 05E30; 05C40; 05C50; 51E14; 51E12; 15A18