Showing 1–50 of 66 results for author: Koolen, J H

Towards a classification of $1$-homogeneous distance-regular graphs with positive intersection number $a_1$

Authors: Jack H. Koolen, Mamoon Abdullah, Brhane Gebremichel, Jae-Ho Lee

Abstract: Let $Γ$ be a graph with diameter at least two. Then $Γ$ is said to be $1$-homogeneous (in the sense of Nomura) whenever for every pair of adjacent vertices $x$ and $y$ in $Γ$, the distance partition of the vertex set of $Γ$ with respect to both $x$ and $y$ is equitable, and the parameters corresponding to equitable partitions are independent of the choice of $x$ and $y$. Assume $Γ$ is $1$-homogene… ▽ More Let $Γ$ be a graph with diameter at least two. Then $Γ$ is said to be $1$-homogeneous (in the sense of Nomura) whenever for every pair of adjacent vertices $x$ and $y$ in $Γ$, the distance partition of the vertex set of $Γ$ with respect to both $x$ and $y$ is equitable, and the parameters corresponding to equitable partitions are independent of the choice of $x$ and $y$. Assume $Γ$ is $1$-homogeneous distance-regular with intersection number $a_1>0$ and $D\geqslant 5$. Define $b=b_1/(θ_1+1)$, where $b_1$ is the intersection number and $θ_1$ is the second largest eigenvalue of $Γ$. We show that if intersection number $c_2\geqslant 2$, then $b\geqslant 1$ and one of the following (i)--(vi) holds: (i) $Γ$ is a regular near $2D$-gon, (ii) $Γ$ is a Johnson graph $J(2D,D)$, (iii) $Γ$ is a halved $\ell$-cube where $\ell \in \{2D,2D+1\}$, (iv) $Γ$ is a folded Johnson graph $\bar{J}(4D,2D)$, (v) $Γ$ is a folded halved $(4D)$-cube, (vi) the valency of $Γ$ is bounded by a function of $b$. Using this result, we characterize $1$-homogeneous graphs with classical parameters and $a_1>0$, as well as tight distance-regular graphs. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: 19 pages

MSC Class: 05E30; 05C50

Characterizations of amorphic schemes and fusions of pairs

Authors: Edwin R. van Dam, Jack H. Koolen, Yanzhen Xiong

Abstract: An association scheme is called amorphic if every possible fusion of relations gives rise to a fusion scheme. We call a pair of relations fusing if fusing that pair gives rise to a fusion scheme. We define the fusing-relations graph on the set of relations, where a pair forms an edge if it fuses. We show that if the fusing-relations graph is connected but not a path, then the association scheme is… ▽ More An association scheme is called amorphic if every possible fusion of relations gives rise to a fusion scheme. We call a pair of relations fusing if fusing that pair gives rise to a fusion scheme. We define the fusing-relations graph on the set of relations, where a pair forms an edge if it fuses. We show that if the fusing-relations graph is connected but not a path, then the association scheme is amorphic. As a side result, we show that an association scheme in which at most one relation is not strongly regular of (negative) Latin square type, is amorphic. △ Less

Submitted 31 March, 2024; originally announced April 2024.

A structure theory for regular graphs with fixed smallest eigenvalue

Authors: Qianqian Yang, Jack H. Koolen

Abstract: In this paper we will give a structure theory for regular graphs with fixed smallest eigenvalue. As a consequence of this theory, we show that a $k$-regular graph with smallest eigenvalue $-λ$ has clique number linear in $k$ if $k$ is large with respect to $λ$. In this paper we will give a structure theory for regular graphs with fixed smallest eigenvalue. As a consequence of this theory, we show that a $k$-regular graph with smallest eigenvalue $-λ$ has clique number linear in $k$ if $k$ is large with respect to $λ$. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: arXiv admin note: text overlap with arXiv:2011.11935

MSC Class: 05C50; 05C75

Distance-regular graphs with a few $q$-distance eigenvalues

Authors: Mamoon Abdullah, Brhane Gebremichel, Sakander Hayat, Jack H. Koolen

Abstract: In this paper we study when the $q$-distance matrix of a distance-regular graph has few distinct eigenvalues. We mainly concentrate on diameter 3. In this paper we study when the $q$-distance matrix of a distance-regular graph has few distinct eigenvalues. We mainly concentrate on diameter 3. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: 15 pages

MSC Class: 05C50; 05E30

On the (non-)existence of tight distance-regular graphs: a local approach

Authors: Jack H. Koolen, Jae-Ho Lee, Shuang-Dong Li, Yun-Han Li, Xiaoye Liang, Ying-Ying Tan

Abstract: Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$. Jurišić and Vidali conjectured that if $Γ$ is tight with classical parameters $(D,b,α,β)$, $b\geq 2$, then $Γ$ is not locally the block graph of an orthogonal array nor the block graph of a Steiner system. In the present paper, we prove this conjecture and, furthermore, extend it from the following aspect. Assume that for every tripl… ▽ More Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$. Jurišić and Vidali conjectured that if $Γ$ is tight with classical parameters $(D,b,α,β)$, $b\geq 2$, then $Γ$ is not locally the block graph of an orthogonal array nor the block graph of a Steiner system. In the present paper, we prove this conjecture and, furthermore, extend it from the following aspect. Assume that for every triple of vertices $x, y, z$ of $Γ$, where $x$ and $y$ are adjacent, and $z$ is at distance $2$ from both $x$ and $y$, the number of common neighbors of $x$, $y$, $z$ is constant. We then show that if $Γ$ is locally the block graph of an orthogonal array (resp. a Steiner system) with smallest eigenvalue $-m$, $m\geq 3$, then the intersection number $c_2$ is not equal to $m^2$ (resp. $m(m+1)$). Using this result, we prove that if a tight distance-regular graph $Γ$ is not locally the block graph of an orthogonal array or a Steiner system, then the valency (and hence diameter) of $Γ$ is bounded by a function in the parameter $b=b_1/(1+θ_1)$, where $b_1$ is the intersection number of $Γ$ and $θ_1$ is the second largest eigenvalue of $Γ$. △ Less

Submitted 30 April, 2024; v1 submitted 9 December, 2023; originally announced December 2023.

Comments: 18 pages

MSC Class: 05E30

Journal ref: Electron. J. Combin. 31(2) (2024), #P2.25

Distance-regular graphs with exactly one positive $q$-distance eigenvalue

Authors: Jack H. Koolen, Mamoon Abdullah, Brhane Gebremichel, Sakander Hayat

Abstract: In this paper, we study the $q$-distance matrix for a distance-regular graph and show that the $q$-distance matrix of a distance-regular graph with classical parameters ($D, q, α, β$) has exactly three distinct eigenvalues, of which one is zero. Moreover, we study distance-regular graphs whose $q$-distance matrix has exactly one positive eigenvalue. In this paper, we study the $q$-distance matrix for a distance-regular graph and show that the $q$-distance matrix of a distance-regular graph with classical parameters ($D, q, α, β$) has exactly three distinct eigenvalues, of which one is zero. Moreover, we study distance-regular graphs whose $q$-distance matrix has exactly one positive eigenvalue. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Comments: 19 pages

MSC Class: 05C50; 05E30

Extending a conjecture of Graham and Lovász on the distance characteristic polynomial

Authors: Aida Abiad, Boris Brimkov, Sakander Hayat, Antonina P. Khramova, Jack H. Koolen

Abstract: Graham and Lovász conjectured in 1978 that the sequence of normalized coefficients of the distance characteristic polynomial of a tree of order $n$ is unimodal with the maximum value occurring at $\lfloor\frac{n}{2}\rfloor$. In this paper we investigate this problem for block graphs. In particular, we prove the unimodality part and we establish the peak for several extremal cases of uniform block… ▽ More Graham and Lovász conjectured in 1978 that the sequence of normalized coefficients of the distance characteristic polynomial of a tree of order $n$ is unimodal with the maximum value occurring at $\lfloor\frac{n}{2}\rfloor$. In this paper we investigate this problem for block graphs. In particular, we prove the unimodality part and we establish the peak for several extremal cases of uniform block graphs with small diameter. △ Less

Submitted 15 June, 2022; originally announced June 2022.

A New Feasibility Condition for the AT4 Family

Authors: Zheng-Jiang Xia, Jae-Ho Lee, Jack H. Koolen

Abstract: Let $Γ$ be an antipodal distance-regular graph with diameter $4$ and eigenvalues $θ_0>θ_1>θ_2>θ_3>θ_4$. Then $Γ$ is tight in the sense of Jurišić, Koolen, and Terwilliger [12] whenever $Γ$ is locally strongly regular with nontrivial eigenvalues $p:=θ_2$ and $-q:=θ_3$. Assume that $Γ$ is tight. Then the intersection numbers of $Γ$ are expressed in terms of $p$, $q$, and $r$, where $r$ is the size o… ▽ More Let $Γ$ be an antipodal distance-regular graph with diameter $4$ and eigenvalues $θ_0>θ_1>θ_2>θ_3>θ_4$. Then $Γ$ is tight in the sense of Jurišić, Koolen, and Terwilliger [12] whenever $Γ$ is locally strongly regular with nontrivial eigenvalues $p:=θ_2$ and $-q:=θ_3$. Assume that $Γ$ is tight. Then the intersection numbers of $Γ$ are expressed in terms of $p$, $q$, and $r$, where $r$ is the size of the antipodal classes of $Γ$. We denote $Γ$ by $\mathrm{AT4}(p,q,r)$ and call this an antipodal tight graph of diameter $4$ with parameters $p,q,r$. In this paper, we give a new feasibility condition for the $\mathrm{AT4}(p,q,r)$ family. We determine a necessary and sufficient condition for the second subconstituent of $\mathrm{AT4}(p,q,2)$ to be an antipodal tight graph. Using this condition, we prove that there does not exist $\mathrm{AT4}(q^3-2q,q,2)$ for $q\equiv3$ $(\mathrm{mod}~4)$. We discuss the $\mathrm{AT4}(p,q,r)$ graphs with $r=(p+q^3)(p+q)^{-1}$. △ Less

Submitted 23 March, 2023; v1 submitted 16 April, 2022; originally announced April 2022.

Comments: 15 pages, 1 table

MSC Class: 05E30

Journal ref: Electron. J. Combin. 30(2) (2023), #P2.7

An infinite class of Neumaier graphs and non-existence results

Authors: Aida Abiad, Wouter Castryck, Maarten De Boeck, Jack H. Koolen, Sjanne Zeijlemaker

Abstract: A Neumaier graph is a non-complete edge-regular graph containing a regular clique. A Neumaier graph that is not strongly regular is called a strictly Neumaier graph. In this work we present a new construction of strictly Neumaier graphs, and using Jacobi sums, we show that our construction produces infinitely many instances. Moreover, we prove some necessary conditions for the existence of (strict… ▽ More A Neumaier graph is a non-complete edge-regular graph containing a regular clique. A Neumaier graph that is not strongly regular is called a strictly Neumaier graph. In this work we present a new construction of strictly Neumaier graphs, and using Jacobi sums, we show that our construction produces infinitely many instances. Moreover, we prove some necessary conditions for the existence of (strictly) Neumaier graphs that allow us to show that several parameter sets are not admissible. △ Less

Submitted 29 September, 2021; originally announced September 2021.

There does not exist a strongly regular graph with parameters $(1911,270,105,27)$

Authors: Jack H. Koolen, Brhane Gebremichel

Abstract: In this paper we show that there does not exist a strongly regular graph with parameters $(1911,270,105,27)$. In this paper we show that there does not exist a strongly regular graph with parameters $(1911,270,105,27)$. △ Less

Submitted 8 September, 2021; originally announced September 2021.

Comments: 13 pages, 2 tables

MSC Class: 05C50; 05E30

Sesqui-regular graphs with smallest eigenvalue at least $-3$

Authors: Qianqian Yang, Brhane Gebremichel, Masood Ur Rehman, Jae Young Yang, Jack H. Koolen

Abstract: Koolen et al. showed that if a graph with smallest eigenvalue at least $-3$ has large minimal valency, then it is $2$-integrable. In this paper, we will focus on the sesqui-regular graphs with smallest eigenvalue at least $-3$ and study their integrability. Koolen et al. showed that if a graph with smallest eigenvalue at least $-3$ has large minimal valency, then it is $2$-integrable. In this paper, we will focus on the sesqui-regular graphs with smallest eigenvalue at least $-3$ and study their integrability. △ Less

Submitted 8 September, 2021; originally announced September 2021.

MSC Class: 05C50; 05C62; 05C75; 11H99

Two characterizations of the grid graphs

Authors: Brhane Gebremichel, Meng-Yue Cao, Jack H. Koolen

Abstract: In this paper we give two characterizations of the $p \times q$-grid graphs as co-edge-regular graphs with four distinct eigenvalues. In this paper we give two characterizations of the $p \times q$-grid graphs as co-edge-regular graphs with four distinct eigenvalues. △ Less

Submitted 31 July, 2021; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: 18 pages, 1 table

MSC Class: 05C50 (Primary); 05E99 (secondary)

Journal ref: B. Gebremichel, M. Y. Cao, J. H. Koolen, Two characterizations of the grid graphs, Discrete Mathematics, 344(2021) 112550

Maximality of Seidel matrices and switching roots of graphs

Authors: Meng-Yue Cao, Jack H. Koolen, Akihiro Munemasa, Kiyoto Yoshino

Abstract: In this paper, we discuss maximality of Seidel matrices with a fixed largest eigenvalue. We present a classification of maximal Seidel matrices of largest eigenvalue $3$, which gives a classification of maximal equiangular lines in a Euclidean space with angle $\arccos1/3$. Motivated by the maximality of the exceptional root system $E_8$, we define strong maximality of a Seidel matrix, and show th… ▽ More In this paper, we discuss maximality of Seidel matrices with a fixed largest eigenvalue. We present a classification of maximal Seidel matrices of largest eigenvalue $3$, which gives a classification of maximal equiangular lines in a Euclidean space with angle $\arccos1/3$. Motivated by the maximality of the exceptional root system $E_8$, we define strong maximality of a Seidel matrix, and show that every Seidel matrix achieving the absolute bound is strongly maximal. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 18 pages

MSC Class: 05C50; 05C22

Remarks on pseudo-vertex-transitive graphs with small diameter

Authors: Jack H. Koolen, Jae-Ho Lee, Ying-Ying Tan

Abstract: Let $Γ$ denote a $Q$-polynomial distance-regular graph with vertex set $X$ and diameter $D$. Let $A$ denote the adjacency matrix of $Γ$. For a vertex $x\in X$ and for $0 \leq i \leq D$, let $E^*_i(x)$ denote the projection matrix to the $i$th subconstituent space of $Γ$ with respect to $x$. The Terwilliger algebra $T(x)$ of $Γ$ with respect to $x$ is the semisimple subalgebra of… ▽ More Let $Γ$ denote a $Q$-polynomial distance-regular graph with vertex set $X$ and diameter $D$. Let $A$ denote the adjacency matrix of $Γ$. For a vertex $x\in X$ and for $0 \leq i \leq D$, let $E^*_i(x)$ denote the projection matrix to the $i$th subconstituent space of $Γ$ with respect to $x$. The Terwilliger algebra $T(x)$ of $Γ$ with respect to $x$ is the semisimple subalgebra of $\mathrm{Mat}_X(\mathbb{C})$ generated by $A, E^*_0(x), E^*_1(x), \ldots, E^*_D(x)$. Let $V$ denote a $\mathbb{C}$-vector space consisting of complex column vectors with rows indexed by $X$. We say $Γ$ is pseudo-vertex-transitive whenever for any vertices $x,y \in X$, there exists a $\mathbb{C}$-vector space isomorphism $ρ:V\to V$ such that $(ρA - A ρ)V=0$ and $(ρE^*_i(x) - E^*_i(y)ρ)V=0$ for all $0\leq i \leq D$. In this paper, we discuss pseudo-vertex transitivity for distance-regular graphs with diameter $D\in \{2,3,4\}$. For $D=2$, we show that a strongly regular graph is pseudo-vertex-transitive if and only if all its local graphs have the same spectrum. For $D = 3$, we consider the Taylor graphs and show that they are pseudo-vertex transitive. For $D=4$, we consider the antipodal tight graphs and show that they are pseudo-vertex transitive. △ Less

Submitted 9 May, 2022; v1 submitted 29 January, 2021; originally announced February 2021.

Comments: 30 pages

MSC Class: 05E30

Journal ref: Discrete Math. 345 (2022), no. 10, Paper No. 112990

Improving the Delsarte bound

Authors: Gary R. W. Greaves, Jack H. Koolen, Jongyook Park

Abstract: In this paper, we study the order of a maximal clique in an amply regular graph with a fixed smallest eigenvalue by considering a vertex that is adjacent to some (but not all) vertices of the maximal clique. As a consequence, we show that if a strongly regular graph contains a Delsarte clique, then the parameter $μ$ is either small or large. Furthermore, we obtain a cubic polynomial that assures… ▽ More In this paper, we study the order of a maximal clique in an amply regular graph with a fixed smallest eigenvalue by considering a vertex that is adjacent to some (but not all) vertices of the maximal clique. As a consequence, we show that if a strongly regular graph contains a Delsarte clique, then the parameter $μ$ is either small or large. Furthermore, we obtain a cubic polynomial that assures that a maximal clique in an amply regular graph is either small or large (under certain assumptions). Combining this cubic polynomial with the claw-bound, we rule out an infinite family of feasible parameters $(v,k,λ,μ)$ for strongly regular graphs. Lastly, we provide tables of parameters $(v,k,λ,μ)$ for nonexistent strongly regular graphs with smallest eigenvalue $-4, -5, -6$ or $-7$. △ Less

Submitted 16 December, 2020; originally announced December 2020.

Recent progress on graphs with fixed smallest eigenvalue

Authors: Jack H. Koolen, Meng-Yue Cao, Qianqian Yang

Abstract: We give a survey on graphs with fixed smallest eigenvalue, especially on graphs with large minimal valency and also on graphs with good structures. Our survey mainly consists of the following two parts: (i) Hoffman graphs, the basic theory related to Hoffman graphs and the applications of Hoffman graphs to graphs with fixed smallest eigenvalue and large minimal valency; (ii) recent results on… ▽ More We give a survey on graphs with fixed smallest eigenvalue, especially on graphs with large minimal valency and also on graphs with good structures. Our survey mainly consists of the following two parts: (i) Hoffman graphs, the basic theory related to Hoffman graphs and the applications of Hoffman graphs to graphs with fixed smallest eigenvalue and large minimal valency; (ii) recent results on distance-regular graphs and co-edge regular graphs with fixed smallest eigenvalue and the characterizations of certain families of distance-regular graphs. At the end of the survey, we also discuss signed graphs with fixed smallest eigenvalue and present some new findings. △ Less

Submitted 24 November, 2020; originally announced November 2020.

MSC Class: Primary 05C50. Secondary 05C22; 05C75; 05E30; 05D99; 11H06

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

Neumaier graphs with few eigenvalues

Authors: Aida Abiad, Bart De Bruyn, Jozefien D'haeseleer, Jack H. Koolen

Abstract: A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this paper we give some sufficient and necessary conditions for a Neumaier graph to be strongly regular. Further we show that there does not exist Neumaier graphs with exactly four distinct eigenvalues. We also determine the Neumaier graphs with smallest eigenvalue -2. A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this paper we give some sufficient and necessary conditions for a Neumaier graph to be strongly regular. Further we show that there does not exist Neumaier graphs with exactly four distinct eigenvalues. We also determine the Neumaier graphs with smallest eigenvalue -2. △ Less

Submitted 15 July, 2020; originally announced July 2020.

Connectivity concerning the last two subconstituents of a Q-polynomial distance-regular graph

Authors: Sebastian M. Cioabă, Jack H. Koolen, Paul Terwilliger

Abstract: Let $Γ$ be a $Q$-polynomial distance-regular graph of diameter $d\geq 3$. Fix a vertex $γ$ of $Γ$ and consider the subgraph induced on the union of the last two subconstituents of $Γ$ with respect to $γ$. We prove that this subgraph is connected. Let $Γ$ be a $Q$-polynomial distance-regular graph of diameter $d\geq 3$. Fix a vertex $γ$ of $Γ$ and consider the subgraph induced on the union of the last two subconstituents of $Γ$ with respect to $γ$. We prove that this subgraph is connected. △ Less

Submitted 27 August, 2020; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: Journal of Combinatorial Theory, Series A, accepted for publication, 6 pages

On the nonexistence of pseudo-generalized quadrangles

Authors: Ivan Guo, Jack H. Koolen, Greg Markowsky, Jongyook Park

Abstract: In this paper we consider the question of when a strongly regular graph with parameters $((s+1)(st+1),s(t+1),s-1,t+1)$ can exist. These parameters arise when the graph is derived from a generalized quadrangle, but there are other examples which do not arise in this manner, and we term these {\it pseudo-generalized quadrangles}. If the graph is a generalized quadrangle then $t \leq s^2$ and… ▽ More In this paper we consider the question of when a strongly regular graph with parameters $((s+1)(st+1),s(t+1),s-1,t+1)$ can exist. These parameters arise when the graph is derived from a generalized quadrangle, but there are other examples which do not arise in this manner, and we term these {\it pseudo-generalized quadrangles}. If the graph is a generalized quadrangle then $t \leq s^2$ and $s \leq t^2$, while for pseudo-generalized quadrangles we still have the former bound but not the latter. Previously, Neumaier has proved a bound for $s$ which is cubic in $t$, but we improve this to one which is quadratic. The proof involves a careful analysis of cliques and cocliques in the graph. This improved bound eliminates many potential parameter sets which were otherwise feasible. △ Less

Submitted 17 September, 2019; originally announced September 2019.

A spectral characterization of the $s$-clique extension of the triangular graphs

Authors: Ying-Ying Tan, Jack H. Koolen, Zheng-Jiang Xia

Abstract: A regular graph is co-edge regular if there exists a constant $μ$ such that any two distinct and non-adjacent vertices have exactly $μ$ common neighbors. In this paper, we show that for integers $s\ge 2$ and $n$ large enough, any co-edge-regular graph which is cospectral with the $s$-clique extension of the triangular graph $T((n)$ is exactly the $s$-clique extension of the triangular graph… ▽ More A regular graph is co-edge regular if there exists a constant $μ$ such that any two distinct and non-adjacent vertices have exactly $μ$ common neighbors. In this paper, we show that for integers $s\ge 2$ and $n$ large enough, any co-edge-regular graph which is cospectral with the $s$-clique extension of the triangular graph $T((n)$ is exactly the $s$-clique extension of the triangular graph $T(n)$. △ Less

Submitted 8 August, 2019; v1 submitted 30 July, 2019; originally announced July 2019.

Comments: arXiv admin note: text overlap with arXiv:1806.03593

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

Some Remarks on Systems of Equiangular Lines

Authors: Mengyue Cao, Jack H. Koolen, Jae Young Yang

Abstract: In this note, we study the maximum number $N_α(d)$ of a system of equiangular lines in $\mathbb{R}^d$ with cosine $α$, where $\frac{1}α$ is not an odd positive integer. This note is motivated by a remark in a $2018$ paper by Balla, Dräxler, Keevash and Sudakov. In this note, we study the maximum number $N_α(d)$ of a system of equiangular lines in $\mathbb{R}^d$ with cosine $α$, where $\frac{1}α$ is not an odd positive integer. This note is motivated by a remark in a $2018$ paper by Balla, Dräxler, Keevash and Sudakov. △ Less

Submitted 9 May, 2019; originally announced May 2019.

Comments: 4 pages

MSC Class: 05C50; 05C22

Sesqui-regular graphs with fixed smallest eigenvalue

Authors: Jack H. Koolen, Brhane Gebremichel, Jae Young Yang, Qianqian Yang

Abstract: Let $λ\geq2$ be an integer. For strongly regular graphs with parameters $(v, k, a,c)$ and smallest eigenvalue $-λ$, Neumaier gave two bounds on $c$ by using algebraic property of strongly regular graphs. In this paper, we will study a new class of regular graphs called sesqui-regular graphs, which contains strongly regular graphs as a subclass, and prove that for a sesqui-regular graph with parame… ▽ More Let $λ\geq2$ be an integer. For strongly regular graphs with parameters $(v, k, a,c)$ and smallest eigenvalue $-λ$, Neumaier gave two bounds on $c$ by using algebraic property of strongly regular graphs. In this paper, we will study a new class of regular graphs called sesqui-regular graphs, which contains strongly regular graphs as a subclass, and prove that for a sesqui-regular graph with parameters $(v,k,c)$ and smallest eigenvalue at least $-λ$, if $k$ is very large, then either $c \leq λ^2(λ-1)$ or $v-k-1 \leq \frac{(λ-1)^2}{4} + 1$ holds. △ Less

Submitted 8 September, 2021; v1 submitted 2 April, 2019; originally announced April 2019.

MSC Class: 05C50; 05C75; 05C62

Another construction of edge-regular graphs with regular cliques

Authors: Gary R. W. Greaves, J. H. Koolen

Abstract: We exhibit a new construction of edge-regular graphs with regular cliques that are not strongly regular. The infinite family of graphs resulting from this construction includes an edge-regular graph with parameters $(24,8,2)$. We also show that edge-regular graphs with $1$-regular cliques that are not strongly regular must have at least $24$ vertices. We exhibit a new construction of edge-regular graphs with regular cliques that are not strongly regular. The infinite family of graphs resulting from this construction includes an edge-regular graph with parameters $(24,8,2)$. We also show that edge-regular graphs with $1$-regular cliques that are not strongly regular must have at least $24$ vertices. △ Less

Submitted 17 October, 2018; originally announced October 2018.

Comments: 7 pages

There does not exist a distance-regular graph with intersection array $\{80, 54,12; 1, 6, 60\}$

Authors: Jack H. Koolen, Quaid Iqbal, Jongyook Park, Masood Ur Rehman

Abstract: In this paper we will show that there does not exist a distance-regular graph $Γ$ with intersection array $\{80, 54,12; 1, 6, 60\}$. We first show that a local graph $Δ$ of $Γ$ does not contain a coclique with 5 vertices, and then we prove that the graph $Γ$ is geometric by showing that $Δ$ consists of 4 disjoint cliques with 20 vertices. Then we apply a result of Koolen and Bang to the graph $Γ$,… ▽ More In this paper we will show that there does not exist a distance-regular graph $Γ$ with intersection array $\{80, 54,12; 1, 6, 60\}$. We first show that a local graph $Δ$ of $Γ$ does not contain a coclique with 5 vertices, and then we prove that the graph $Γ$ is geometric by showing that $Δ$ consists of 4 disjoint cliques with 20 vertices. Then we apply a result of Koolen and Bang to the graph $Γ$, and we could obtain that there is no such a distance-regular graph. △ Less

Submitted 26 September, 2018; originally announced September 2018.

Comments: 15 pages

MSC Class: 05C50; 05E30

On the order of regular graphs with fixed second largest eigenvalue

Authors: Jae Young Yang, Jack H. Koolen

Abstract: Let $v(k, λ)$ be the maximum number of vertices of a connected $k$-regular graph with second largest eigenvalue at most $λ$. The Alon-Boppana Theorem implies that $v(k, λ)$ is finite when $k > \frac{λ^2 + 4}{4}$. In this paper, we show that for fixed $λ\geq1$, there exists a constant $C(λ)$ such that $2k+2 \leq v(k, λ) \leq 2k + C(λ)$ when $k > \frac{λ^2 + 4}{4}$. Let $v(k, λ)$ be the maximum number of vertices of a connected $k$-regular graph with second largest eigenvalue at most $λ$. The Alon-Boppana Theorem implies that $v(k, λ)$ is finite when $k > \frac{λ^2 + 4}{4}$. In this paper, we show that for fixed $λ\geq1$, there exists a constant $C(λ)$ such that $2k+2 \leq v(k, λ) \leq 2k + C(λ)$ when $k > \frac{λ^2 + 4}{4}$. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Comments: 13 pages

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

On the integrability of strongly regular graphs

Authors: Jack H. Koolen, Masood Ur Rehman, Qianqian Yang

Abstract: Koolen et al. showed that if a connected graph with smallest eigenvalue at least $-3$ has large minimal valency, then it is $2$-integrable. In this paper, we will prove that a lower bound for the minimal valency is 166. Koolen et al. showed that if a connected graph with smallest eigenvalue at least $-3$ has large minimal valency, then it is $2$-integrable. In this paper, we will prove that a lower bound for the minimal valency is 166. △ Less

Submitted 29 June, 2018; originally announced June 2018.

MSC Class: 05C50; 05E30; 11H99

A spectral characterization of the s-clique extension of the square grid graphs

Authors: Sakander Hayat, Jack H. Koolen, Muhammad Riaz

Abstract: In this paper we show that for integers $s\geq2$, $t\geq1$, any co-edge-regular graph which is cospectral with the $s$-clique extension of the $t\times t$-grid is the $s$-clique extension of the $t\times t$-grid, if $t$ is large enough. Gavrilyuk and Koolen used a weaker version of this result to show that the Grassmann graph $J_q(2D,D)$ is characterized by its intersection array as a distance-reg… ▽ More In this paper we show that for integers $s\geq2$, $t\geq1$, any co-edge-regular graph which is cospectral with the $s$-clique extension of the $t\times t$-grid is the $s$-clique extension of the $t\times t$-grid, if $t$ is large enough. Gavrilyuk and Koolen used a weaker version of this result to show that the Grassmann graph $J_q(2D,D)$ is characterized by its intersection array as a distance-regular graph, if $D$ is large enough. △ Less

Submitted 10 June, 2018; originally announced June 2018.

Comments: 13 pages

MSC Class: 05C50; 05C75; 05E30

On a characterization of the Grassmann graphs

Authors: Alexander L. Gavrilyuk, Jack H. Koolen

Abstract: In 1995, Metsch showed that the Grassmann graph $J_q(n,D)$ of diameter $D\geq 3$ is characterized by its intersection numbers with the following possible exceptions: (-) $n=2D$ or $n=2D+1$, $q\geq 2$; (-) $n=2D+2$ and $q\in \{2,3\}$; (-) $n=2D+3$ and $q=2$. In 2005, Van Dam and Koolen constructed the twisted Grassmann graphs with the same intersection numbers as the Grassmann graphs… ▽ More In 1995, Metsch showed that the Grassmann graph $J_q(n,D)$ of diameter $D\geq 3$ is characterized by its intersection numbers with the following possible exceptions: (-) $n=2D$ or $n=2D+1$, $q\geq 2$; (-) $n=2D+2$ and $q\in \{2,3\}$; (-) $n=2D+3$ and $q=2$. In 2005, Van Dam and Koolen constructed the twisted Grassmann graphs with the same intersection numbers as the Grassmann graphs $J_q(2D+1,D)$, for any prime power $q$ and diameter $D\geq 2$, but they are not isomorphic. We show that the Grassmann graph $J_q(2D,D)$ is characterized by its intersection numbers provided that the diameter $D$ is large enough. △ Less

Submitted 7 June, 2018; originally announced June 2018.

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

On graphs with smallest eigenvalue at least -3 and their lattices

Authors: Jack H. Koolen, Jae Young Yang, Qianqian Yang

Abstract: In this paper, we show that a connected graph with smallest eigenvalue at least -3 and large enough minimal degree is 2-integrable. This result generalizes a 1977 result of Hoffman for connected graphs with smallest eigenvalue at least -2. In this paper, we show that a connected graph with smallest eigenvalue at least -3 and large enough minimal degree is 2-integrable. This result generalizes a 1977 result of Hoffman for connected graphs with smallest eigenvalue at least -2. △ Less

Submitted 1 April, 2018; originally announced April 2018.

MSC Class: 05C50; 11H99

Edge-regular graphs with regular cliques

Authors: Gary R. W. Greaves, Jack H. Koolen

Abstract: We exhibit infinitely many examples of edge-regular graphs that have regular cliques and that are not strongly regular. This answers a question of Neumaier from 1981. We exhibit infinitely many examples of edge-regular graphs that have regular cliques and that are not strongly regular. This answers a question of Neumaier from 1981. △ Less

Submitted 1 April, 2018; v1 submitted 20 August, 2017; originally announced August 2017.

Comments: 11 pages; accepted to the European Journal of Combinatorics

Partially metric association schemes with a multiplicity three

Authors: Edwin R. van Dam, Jack H. Koolen, Jongyook Park

Abstract: An association scheme is called partially metric if it has a connected relation whose distance-two relation is also a relation of the scheme. In this paper we determine the symmetric partially metric association schemes with a multiplicity three. Besides the association schemes related to regular complete $4$-partite graphs, we obtain the association schemes related to the Platonic solids, the bip… ▽ More An association scheme is called partially metric if it has a connected relation whose distance-two relation is also a relation of the scheme. In this paper we determine the symmetric partially metric association schemes with a multiplicity three. Besides the association schemes related to regular complete $4$-partite graphs, we obtain the association schemes related to the Platonic solids, the bipartite double scheme of the dodecahedron, and three association schemes that are related to well-known $2$-arc-transitive covers of the cube: the Möbius-Kantor graph, the Nauru graph, and the Foster graph F048A. In order to obtain this result, we also determine the symmetric association schemes with a multiplicity three and a connected relation with valency three. Moreover, we construct an infinite family of cubic arc-transitive $2$-walk-regular graphs with an eigenvalue with multiplicity three that give rise to non-commutative association schemes with a symmetric relation of valency three and an eigenvalue with multiplicity three. △ Less

Submitted 11 January, 2017; originally announced January 2017.

Comments: 26 pages, 12 figures

MSC Class: 05E30; 05C50

A generalization of a theorem of Hoffman

Authors: Jack H. Koolen, Qianqian Yang, Jae Young Yang

Abstract: In 1977, Hoffman gave a characterization of graphs with smallest eigenvalue at least $-2$. In this paper we generalize this result to graphs with smaller smallest eigenvalue. For the proof, we use a combinatorial object named Hoffman graph, introduced by Woo and Neumaier in 1995. Our result says that for every $λ\leq -2$, if a graph with smallest eigenvalue at least $λ$ satisfies some local condit… ▽ More In 1977, Hoffman gave a characterization of graphs with smallest eigenvalue at least $-2$. In this paper we generalize this result to graphs with smaller smallest eigenvalue. For the proof, we use a combinatorial object named Hoffman graph, introduced by Woo and Neumaier in 1995. Our result says that for every $λ\leq -2$, if a graph with smallest eigenvalue at least $λ$ satisfies some local conditions, then it is highly structured. We apply our result to graphs which are cospectral with the Hamming graph $H(3,q)$, the Johnson graph $J(v, 3)$ and the $2$-clique extension of grids, respectively. △ Less

Submitted 7 July, 2018; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: 26 pages

MSC Class: 05C50; 05C75; 05C62

The integrally representable trees of norm 3

Authors: Jack H. Koolen, Masood Ur Rehman, Qianqian Yang

Abstract: In this paper, we determine the integrally representable trees of norm 3. In this paper, we determine the integrally representable trees of norm 3. △ Less

Submitted 20 December, 2016; originally announced December 2016.

Comments: 18 pages

MSC Class: 05C50; 05C62; 11H99

Graphs with two main and two plain eigenvalues

Authors: Sakander Hayat, Muhammad Javaid, Jack H. Koolen

Abstract: In this paper, we introduce the concepts of the plain eigenvalue, the main-plain index and the refined spectrum of graphs. We focus on the graphs with two main and two plain eigenvalues and give some characterizations of them. In this paper, we introduce the concepts of the plain eigenvalue, the main-plain index and the refined spectrum of graphs. We focus on the graphs with two main and two plain eigenvalues and give some characterizations of them. △ Less

Submitted 2 December, 2016; originally announced December 2016.

Comments: 9 pages

MSC Class: 05C50; 05E30

An application of Hoffman graphs for spectral characterizations of graphs

Authors: Qianqian Yang, Aida Abiad, Jack H. Koolen

Abstract: In this paper, we present the first application of Hoffman graphs for spectral characterizations of graphs. In particular, we show that the $2$-clique extension of the $(t+1)\times(t+1)$-grid is determined by its spectrum when $t$ is large enough. This result will help to show that the Grassmann graph $J_2(2D,D)$ is determined by its intersection numbers as a distance regular graph, if $D$ is larg… ▽ More In this paper, we present the first application of Hoffman graphs for spectral characterizations of graphs. In particular, we show that the $2$-clique extension of the $(t+1)\times(t+1)$-grid is determined by its spectrum when $t$ is large enough. This result will help to show that the Grassmann graph $J_2(2D,D)$ is determined by its intersection numbers as a distance regular graph, if $D$ is large enough. △ Less

Submitted 31 August, 2016; originally announced August 2016.

MSC Class: 05C50; 05C75

A note on graphs with exactly two main eigenvalues

Authors: Sakander Hayat, Jack H. Koolen, Fenjin Liu, Zhi Qiao

Abstract: In this note, we consider connected graphs with exactly two main eigenvalues. We will give several constructions for them, and as a consequence we show a family of those graphs with an unbounded number of distinct valencies. In this note, we consider connected graphs with exactly two main eigenvalues. We will give several constructions for them, and as a consequence we show a family of those graphs with an unbounded number of distinct valencies. △ Less

Submitted 30 August, 2016; originally announced August 2016.

Comments: 9 pages, 1 figure, 1 table

MSC Class: 05C50

Hypercubes are determined by their distance spectra

Authors: Jack. H. Koolen, Sakander Hayat, Quaid Iqbal

Abstract: We show that the d-cube is determined by the spectrum of its distance matrix. We show that the d-cube is determined by the spectrum of its distance matrix. △ Less

Submitted 27 April, 2016; v1 submitted 13 December, 2015; originally announced December 2015.

Comments: 10 pages

MSC Class: 05E30; 05C50

A characterization of the graphs of bilinear $(d\times d)$-forms over $\mathbb{F}_2$

Authors: Alexander L. Gavrilyuk, Jack H. Koolen

Abstract: The bilinear forms graph denoted here by $Bil_q(e\times d)$ is a graph defined on the set of $(e\times d)$-matrices ($e\geq d$) over $\mathbb{F}_q$ with two matrices being adjacent if and only if the rank of their difference equals $1$. In 1999, K. Metsch showed that the bilinear forms graph $Bil_q(e\times d)$ is characterized by its intersection array if one of the following holds: (-) $q=2$… ▽ More The bilinear forms graph denoted here by $Bil_q(e\times d)$ is a graph defined on the set of $(e\times d)$-matrices ($e\geq d$) over $\mathbb{F}_q$ with two matrices being adjacent if and only if the rank of their difference equals $1$. In 1999, K. Metsch showed that the bilinear forms graph $Bil_q(e\times d)$ is characterized by its intersection array if one of the following holds: (-) $q=2$ and $e\geq d+4$, (-) $q\geq 3$ and $e\geq d+3$. Thus, the following cases have been left unsettled: (-) $q=2$ and $e\in \{d,d+1,d+2,d+3\}$, (-) $q\geq 3$ and $e\in \{d,d+1,d+2\}$. In this work, we show that the graph of bilinear $(d\times d)$-forms over the binary field, where $d\geq 3$, is characterized by its intersection array. In doing so, we also classify locally grid graphs whose $μ$-graphs are hexagons and the intersection numbers $b_i,c_i$ are well-defined for all $i=0,1,2$. △ Less

Submitted 24 May, 2018; v1 submitted 30 November, 2015; originally announced November 2015.

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

Graphs with three eigenvalues and second largest eigenvalue at most 1

Authors: Xi-Ming Cheng, Gary R. W. Greaves, Jack H. Koolen

Abstract: We classify the connected graphs with precisely three distinct eigenvalues and second largest eigenvalue at most 1. We classify the connected graphs with precisely three distinct eigenvalues and second largest eigenvalue at most 1. △ Less

Submitted 8 June, 2015; originally announced June 2015.

Comments: 20 pages

Journal ref: J. Combin. Theory Ser. B 129 (2018), pp. 31-51

2-walk-regular dihedrants from group-divisible designs

Authors: Zhi Qiao, Shao Fei Du, Jack H. Koolen

Abstract: In this note, we construct bipartite 2-walk-regular graphs with exactly 6 distinct eigenvalues as incidence graphs of group-divisible designs with the dual property. For many of them, we show that they are 2-arc-transitive dihedrants. We note that many of these graphs are not described in Du et al. [7, Theorem1.2], in which they classify the connected 2-arc transitive dihedrants. In this note, we construct bipartite 2-walk-regular graphs with exactly 6 distinct eigenvalues as incidence graphs of group-divisible designs with the dual property. For many of them, we show that they are 2-arc-transitive dihedrants. We note that many of these graphs are not described in Du et al. [7, Theorem1.2], in which they classify the connected 2-arc transitive dihedrants. △ Less

Submitted 2 April, 2015; originally announced April 2015.

MSC Class: 05E30; 05C50

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

Biregular graphs with three eigenvalues

Authors: Xi-Ming Cheng, Alexander L. Gavrilyuk, Gary R. W. Greaves, Jack H. Koolen

Abstract: We consider nonregular graphs having precisely three distinct eigenvalues. The focus is mainly on the case of graphs having two distinct valencies and our results include constructions of new examples, structure theorems, valency constraints, and a classification of certain special families of such graphs. We also present a new example of a graph with three valencies and three eigenvalues of which… ▽ More We consider nonregular graphs having precisely three distinct eigenvalues. The focus is mainly on the case of graphs having two distinct valencies and our results include constructions of new examples, structure theorems, valency constraints, and a classification of certain special families of such graphs. We also present a new example of a graph with three valencies and three eigenvalues of which there are currently only finitely many known examples. △ Less

Submitted 12 April, 2016; v1 submitted 22 December, 2014; originally announced December 2014.

Comments: 28 pages

Journal ref: European J. Combin. 56 (2016), pp. 57--80

Distance-regular graphs

Authors: Edwin R. van Dam, Jack H. Koolen, Hajime Tanaka

Abstract: This is a survey of distance-regular graphs. We present an introduction to distance-regular graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of distance-regular graphs since the monograph 'BCN' [Brouwer, A.E., Cohen, A.M., Neumaier, A., Distance-Regular Graphs, Springer-Verlag, Berlin, 1989] was written. This is a survey of distance-regular graphs. We present an introduction to distance-regular graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of distance-regular graphs since the monograph 'BCN' [Brouwer, A.E., Cohen, A.M., Neumaier, A., Distance-Regular Graphs, Springer-Verlag, Berlin, 1989] was written. △ Less

Submitted 15 April, 2016; v1 submitted 23 October, 2014; originally announced October 2014.

Comments: 156 pages

MSC Class: 05E30; 05Cxx; 05Exx

Journal ref: Electron. J. Combin. (2016) #DS22

Graphs with many valencies and few eigenvalues

Authors: Edwin R. van Dam, Jack H. Koolen, Zheng-jiang Xia

Abstract: Dom de Caen posed the question whether connected graphs with three distinct eigenvalues have at most three distinct valencies. We do not answer this question, but instead construct connected graphs with four and five distinct eigenvalues and arbitrarily many distinct valencies. The graphs with four distinct eigenvalues come from regular two-graphs. As a side result, we characterize the disconnecte… ▽ More Dom de Caen posed the question whether connected graphs with three distinct eigenvalues have at most three distinct valencies. We do not answer this question, but instead construct connected graphs with four and five distinct eigenvalues and arbitrarily many distinct valencies. The graphs with four distinct eigenvalues come from regular two-graphs. As a side result, we characterize the disconnected graphs and the graphs with three distinct eigenvalues in the switching class of a regular two-graph. △ Less

Submitted 7 May, 2015; v1 submitted 14 May, 2014; originally announced May 2014.

MSC Class: 05C50

Journal ref: Electronic Journal of Linear Algebra 28 (2015), 12-24

The Terwilliger polynomial of a Q-polynomial distance-regular graph and its application to the pseudo-partition graphs

Authors: Alexander L. Gavrilyuk, Jack H. Koolen

Abstract: Let $Γ$ be a $Q$-polynomial distance-regular graph with diameter at least $3$. Terwilliger (1993) implicitly showed that there exists a polynomial, say $T(λ)\in \mathbb{C}[λ]$, of degree $4$ depending only on the intersection numbers of $Γ$ and such that $T(η)\geq 0$ holds for any non-principal eigenvalue $η$ of the local graph $Γ(x)$ for any vertex $x\in V(Γ)$. We call $T(λ)$ the Terwilliger po… ▽ More Let $Γ$ be a $Q$-polynomial distance-regular graph with diameter at least $3$. Terwilliger (1993) implicitly showed that there exists a polynomial, say $T(λ)\in \mathbb{C}[λ]$, of degree $4$ depending only on the intersection numbers of $Γ$ and such that $T(η)\geq 0$ holds for any non-principal eigenvalue $η$ of the local graph $Γ(x)$ for any vertex $x\in V(Γ)$. We call $T(λ)$ the Terwilliger polynomial of $Γ$. In this paper, we give an explicit formula for $T(λ)$ in terms of the intersection numbers of $Γ$ and its dual eigenvalues. We then apply this polynomial to show that all pseudo-partition graphs with diameter at least $3$ are known. △ Less

Submitted 17 March, 2014; originally announced March 2014.