Showing 1–18 of 18 results for author: Shalaginov, L

Tightness of the weight-distribution bound for strongly regular polar graphs

Authors: Rhys J. Evans, Sergey Goryainov, Leonid Shalaginov

Abstract: In this paper we show the tightness of the weight-distribution bound for the positive non-principle eigenvalue of strongly regular (affine) polar graphs and characterise the optimal eigenfunctions. Additionally, we show the tightness of the weight-distribution bound for the negative non-principle eigenvalue of some unitary polar graphs. In this paper we show the tightness of the weight-distribution bound for the positive non-principle eigenvalue of strongly regular (affine) polar graphs and characterise the optimal eigenfunctions. Additionally, we show the tightness of the weight-distribution bound for the negative non-principle eigenvalue of some unitary polar graphs. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Divisible design graphs from the symplectic graph

Authors: Bart De Bruyn, Sergey Goryainov, Willem Haemers, Leonid Shalaginov

Abstract: A divisible design graph is a graph whose adjacency matrix is an incidence matrix of a (group) divisible design. Divisible design graphs were introduced in 2011 as a generalization of $(v,k,λ)$-graphs. Here we describe four new infinite families that can be obtained from the symplectic strongly regular graph $Sp(2e,q)$ ($q$ odd, $e\geq 2$) by modifying the set of edges. To achieve this we need two… ▽ More A divisible design graph is a graph whose adjacency matrix is an incidence matrix of a (group) divisible design. Divisible design graphs were introduced in 2011 as a generalization of $(v,k,λ)$-graphs. Here we describe four new infinite families that can be obtained from the symplectic strongly regular graph $Sp(2e,q)$ ($q$ odd, $e\geq 2$) by modifying the set of edges. To achieve this we need two kinds of spreads in $PG(2e-1,q)$ with respect to the associated symplectic form: the symplectic spread consisting of totally isotropic subspaces and, when $e=2$, a special spread consisting of lines which are not totally isotropic. Existence of symplectic spreads is known, but the construction of a special spread for every odd prime power $q$ is a major result of this paper. We have included relevant back ground from finite geometry, and when $q=3,5$ and $7$ we worked out all possible special spreads. △ Less

Submitted 15 April, 2024; originally announced April 2024.

MSC Class: 05B25; 05E30; 51A50

On eigenfunctions and maximal cliques of generalised Paley graphs of square order

Authors: Sergey Goryainov, Leonid Shalaginov, Chi Hoi Yip

Abstract: Let GP$(q^2,m)$ be the $m$-Paley graph defined on the finite field with order $q^2$. We study eigenfunctions and maximal cliques in generalised Paley graphs GP$(q^2,m)$, where $m \mid (q+1)$. In particular, we explicitly construct maximal cliques of size $\frac{q+1}{m}$ or $\frac{q+1}{m}+1$ in GP$(q^2,m)$, and show the weight-distribution bound on the cardinality of the support of an eigenfunction… ▽ More Let GP$(q^2,m)$ be the $m$-Paley graph defined on the finite field with order $q^2$. We study eigenfunctions and maximal cliques in generalised Paley graphs GP$(q^2,m)$, where $m \mid (q+1)$. In particular, we explicitly construct maximal cliques of size $\frac{q+1}{m}$ or $\frac{q+1}{m}+1$ in GP$(q^2,m)$, and show the weight-distribution bound on the cardinality of the support of an eigenfunction is tight for the smallest eigenvalue $-\frac{q+1}{m}$ of GP$(q^2,m)$. These new results extend the work of Baker et. al and Goryainov et al. on Paley graphs of square order. We also study the stability of the Erdős-Ko-Rado theorem for GP$(q^2,m)$ (first proved by Sziklai). △ Less

Submitted 8 December, 2022; v1 submitted 30 March, 2022; originally announced March 2022.

Journal ref: Finite Fields Appl. 87 (2023), Paper No. 102150, 36 pp

On WL-rank and WL-dimension of some Deza dihedrants

Authors: Grigory Ryabov, Leonid Shalaginov

Abstract: The WL-rank of a graph $Γ$ is defined to be the rank of the coherent configuration of $Γ$. The WL-dimension of $Γ$ is defined to be the smallest positive integer $m$ for which $Γ$ is identified by the $m$-dimensional Weisfeiler-Leman algorithm. We establish that some families of strictly Deza dihedrants have WL-rank $4$ or $5$ and WL-dimension $2$. Computer calculations imply that every strictly D… ▽ More The WL-rank of a graph $Γ$ is defined to be the rank of the coherent configuration of $Γ$. The WL-dimension of $Γ$ is defined to be the smallest positive integer $m$ for which $Γ$ is identified by the $m$-dimensional Weisfeiler-Leman algorithm. We establish that some families of strictly Deza dihedrants have WL-rank $4$ or $5$ and WL-dimension $2$. Computer calculations imply that every strictly Deza dihedrant with at most $59$ vertices is circulant or belongs to one of the above families. We also construct a new infinite family of strictly Deza dihedrants whose WL-rank is a linear function of the number of vertices. △ Less

Submitted 10 December, 2021; v1 submitted 30 September, 2021; originally announced September 2021.

Comments: 14 pages

MSC Class: 05C25; 05C60; 05C75

Classification of divisible design graphs with at most 39 vertices

Authors: Dmitry Panasenko, Leonid Shalaginov

Abstract: A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. A DDG with $m = 1$, $n = 1$, or $λ_1 = λ_2$ is called improper, otherwise it is called proper. W… ▽ More A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. A DDG with $m = 1$, $n = 1$, or $λ_1 = λ_2$ is called improper, otherwise it is called proper. We present new constructions of DDGs and, using a computer enumeration algorithm, we find all proper connected DDGs with at most 39 vertices, except for three tuples of parameters: $(32,15,6,7,4,8)$, $(32,17,8,9,4,8)$, $(36,24,15,16,4,9)$. △ Less

Submitted 28 November, 2021; v1 submitted 27 September, 2021; originally announced September 2021.

Divisible design graphs with parameters $(4n,n+2,n-2,2,4,n)$ and $(4n,3n-2,3n-6,2n-2,4,n)$

Authors: Leonid Shalaginov

Abstract: A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. $4\times n$-lattice graph is the line graph of $K_{4,n}$. This graph is a DDG with parameters… ▽ More A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. $4\times n$-lattice graph is the line graph of $K_{4,n}$. This graph is a DDG with parameters $(4n,n+2,n-2,2,4,n)$. In the paper we consider DDGs with these parameters. We prove that if $n$ is odd then such graph can only be a $4\times n$-lattice graph. If $n$ is even we characterise all DDGs with such parameters. Moreover, we characterise all DDGs with parameters $(4n,3n-2,3n-6,2n-2,4,n)$ which are related to $4\times n$-lattice graphs. △ Less

Submitted 16 June, 2021; originally announced June 2021.

Deza graphs: a survey and new results

Authors: Sergey Goryainov, Leonid V. Shalaginov

Abstract: In this paper we survey existing results on Deza graphs and give some new results. We present an introduction to Deza graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of Deza graphs since the initial paper by five authors [M. Erickson, S. Fernando, W. H. Haemers, D. Hardy, J. Hemmeter, Deza graphs: \emph{A generalization of strong… ▽ More In this paper we survey existing results on Deza graphs and give some new results. We present an introduction to Deza graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of Deza graphs since the initial paper by five authors [M. Erickson, S. Fernando, W. H. Haemers, D. Hardy, J. Hemmeter, Deza graphs: \emph{A generalization of strongly regular graphs}, J. Comb. Designs. 7 (1999), 395--405.] was written. We then investigate 3-class cyclotomic schemes and give necessary and sufficient conditions to get a Deza graph as a graph given by one relation or the union of two relations. Finally, we prove that a strictly Deza circulant on $2p$ vertices, where $p$ is prime, is isomorphic to the lexicographical product of the Paley graph on $p$ vertices with an edge. △ Less

Submitted 1 June, 2021; v1 submitted 27 February, 2021; originally announced March 2021.

Enumeration of strictly Deza graphs with at most 21 vertices

Authors: Sergey Goryainov, Dmitry Panasenko, Leonid Shalaginov

Abstract: A Deza graph $Γ$ with parameters $(v,k,b,a)$ is a $k$-regular graph with $v$ vertices such that any two distinct vertices have $b$ or $a$ common neighbours, where $b \ge a$. A Deza graph of diameter 2 which is not a strongly regular graph is called a strictly Deza graph. We find all 139 strictly Deza graphs up to 21 vertices. A Deza graph $Γ$ with parameters $(v,k,b,a)$ is a $k$-regular graph with $v$ vertices such that any two distinct vertices have $b$ or $a$ common neighbours, where $b \ge a$. A Deza graph of diameter 2 which is not a strongly regular graph is called a strictly Deza graph. We find all 139 strictly Deza graphs up to 21 vertices. △ Less

Submitted 28 November, 2021; v1 submitted 21 February, 2021; originally announced February 2021.

On a correspondence between maximal cliques in Paley graphs of square order

Authors: Sergey Goryainov, Alexander Masley, Leonid Shalaginov

Abstract: Let $q$ be an odd prime power. Denote by $r(q)$ the value of $q$ modulo 4. In this paper, we establish a linear fractional correspondence between two types of maximal cliques of size $\frac{q+r(q)}{2}$ in the Paley graph of order $q^2$. Let $q$ be an odd prime power. Denote by $r(q)$ the value of $q$ modulo 4. In this paper, we establish a linear fractional correspondence between two types of maximal cliques of size $\frac{q+r(q)}{2}$ in the Paley graph of order $q^2$. △ Less

Submitted 26 January, 2022; v1 submitted 7 February, 2021; originally announced February 2021.

Spectra of strongly Deza graphs

Authors: Saieed Akbari, Willem H. Haemers, Mohammad Ali Hosseinzadeh, Vladislav V. Kabanov, Elena V. Konstantinova, Leonid Shalaginov

Abstract: A Deza graph $G$ with parameters $(n,k,b,a)$ is a $k$-regular graph with $n$ vertices such that any two distinct vertices have $b$ or $a$ common neighbours. The children $G_A$ and $G_B$ of a Deza graph $G$ are defined on the vertex set of $G$ such that every two distinct vertices are adjacent in $G_A$ or $G_B$ if and only if they have $a$ or $b$ common neighbours, respectively. A strongly Deza gra… ▽ More A Deza graph $G$ with parameters $(n,k,b,a)$ is a $k$-regular graph with $n$ vertices such that any two distinct vertices have $b$ or $a$ common neighbours. The children $G_A$ and $G_B$ of a Deza graph $G$ are defined on the vertex set of $G$ such that every two distinct vertices are adjacent in $G_A$ or $G_B$ if and only if they have $a$ or $b$ common neighbours, respectively. A strongly Deza graph is a Deza graph with strongly regular children. In this paper we give a spectral characterisation of strongly Deza graphs, show relationships between eigenvalues, and study strongly Deza graphs which are distance-regular. △ Less

Submitted 18 January, 2021; originally announced January 2021.

Journal ref: Discrete Mathematics, 2021

Generalised dual Seidel switching and Deza graphs with strongly regular children

Authors: Vladislav V. Kabanov, Elena V. Konstantinova, Leonid Shalaginov

Abstract: A Deza graph G with parameters (n,k,b,a) is a k-regular graph with n vertices such that any two distinct vertices have b or a common neighbours, where b >= a. The children G_A and G_B of a Deza graph G are defined on the vertex set of G such that every two distinct vertices are adjacent in G_A or G_B if and only if they have a or b common neighbours, respectively. In this paper we present a genera… ▽ More A Deza graph G with parameters (n,k,b,a) is a k-regular graph with n vertices such that any two distinct vertices have b or a common neighbours, where b >= a. The children G_A and G_B of a Deza graph G are defined on the vertex set of G such that every two distinct vertices are adjacent in G_A or G_B if and only if they have a or b common neighbours, respectively. In this paper we present a general approach to dual Seidel switching and investigate Deza graphs whose children are strongly regular graphs. △ Less

Submitted 28 May, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 8 pages

MSC Class: 05C50; 05E10; 15A18

Journal ref: Discrete Mathematics, Volume 344, Issue 3, March 2021

Minimum supports of eigenfunctions with the second largest eigenvalue of the Star graph

Authors: Vladislav Kabanov, Elena V. Konstantinova, Leonid Shalaginov, Alexandr Valyuzhenich

Abstract: The Star graph $S_n$, $n\ge 3$, is the Cayley graph on the symmetric group $Sym_n$ generated by the set of transpositions $\{(12),(13),\ldots,(1n)\}$. In this work we study eigenfunctions of $S_n$ corresponding to the second largest eigenvalue $n-2$. For $n\ge 8$ and $n=3$, we find the minimum cardinality of the support of an eigenfunction of $S_n$ corresponding to the second largest eigenvalue an… ▽ More The Star graph $S_n$, $n\ge 3$, is the Cayley graph on the symmetric group $Sym_n$ generated by the set of transpositions $\{(12),(13),\ldots,(1n)\}$. In this work we study eigenfunctions of $S_n$ corresponding to the second largest eigenvalue $n-2$. For $n\ge 8$ and $n=3$, we find the minimum cardinality of the support of an eigenfunction of $S_n$ corresponding to the second largest eigenvalue and obtain a characterization of eigenfunctions with the minimum cardinality of the support. △ Less

Submitted 3 October, 2019; originally announced October 2019.

MSC Class: 05C50; 05C25; 05E15; 05B30

On divisible design Cayley graphs

Authors: Vladislav V. Kabanov, Leonid Shalaginov

Abstract: We present a construction that gives an infinite series of divisible design graphs which are Cayley graphs. We present a construction that gives an infinite series of divisible design graphs which are Cayley graphs. △ Less

Submitted 28 November, 2019; v1 submitted 28 June, 2019; originally announced June 2019.

Comments: Some minor mistakes were fixed in this version

ACM Class: F.2.2

Journal ref: The Art of Discrete and Applied Mathematics, 2020

Deza graphs with parameters (v,k,k-2,a)

Authors: Vladislav Kabanov, Leonid Shalaginov

Abstract: A Deza graph with parameters $(v,k,b,a)$ is a $k$-regular graph on $v$ vertices in which the number of common neighbors of two distinct vertices takes two values $a$ or $b$ ($a\leq b$) and both cases exist. In the previous papers Deza graphs with parameters $(v,k,b,a)$ where $k-b = 1$ were characterized. In the paper we characterise Deza graphs with $k-b = 2$. A Deza graph with parameters $(v,k,b,a)$ is a $k$-regular graph on $v$ vertices in which the number of common neighbors of two distinct vertices takes two values $a$ or $b$ ($a\leq b$) and both cases exist. In the previous papers Deza graphs with parameters $(v,k,b,a)$ where $k-b = 1$ were characterized. In the paper we characterise Deza graphs with $k-b = 2$. △ Less

Submitted 24 April, 2019; v1 submitted 15 April, 2019; originally announced April 2019.

Comments: Version 2

MSC Class: 05C75; 05B30; 05E30 ACM Class: G.2.2

Journal ref: J Combin Des. (2020) 1-12

Deza graphs with parameters $(n,k,k-1,a)$ and $β=1$

Authors: Sergey Goryainov, Willem H. Haemers, Vladislav V. Kabanov, Leonid Shalaginov

Abstract: A Deza graph with parameters $(n,k,b,a)$ is a $k$-regular graph with $n$ vertices in which any two vertices have $a$ or $b$ ($a\leq b$) common neighbours. A Deza graph is strictly Deza if it has diameter $2$, and is not strongly regular. In an earlier paper, the two last authors et el. characterized the strictly Deza graphs with $b=k-1$ and $β> 1$, where $β$ is the number of vertices with $b$ comm… ▽ More A Deza graph with parameters $(n,k,b,a)$ is a $k$-regular graph with $n$ vertices in which any two vertices have $a$ or $b$ ($a\leq b$) common neighbours. A Deza graph is strictly Deza if it has diameter $2$, and is not strongly regular. In an earlier paper, the two last authors et el. characterized the strictly Deza graphs with $b=k-1$ and $β> 1$, where $β$ is the number of vertices with $b$ common neighbours with a given vertex. Here we deal with the case $β=1$, thus we complete the characterization of strictly Deza graphs with $b=k-1$. It follows that all Deza graphs with $b=k-1$ and $β=1$ can be made from special strongly regular graphs, and we present several examples of such strongly regular graphs. A divisible design graph is a special Deza graph, and a Deza graph with $β=1$ is a divisible design graph. The present characterization reveals an error in a paper on divisible design graphs by the second author et al. We discuss the cause and the consequences of this mistake and give the required errata. △ Less

Submitted 9 June, 2018; originally announced June 2018.

$PI$-eigenfunctions of the Star graphs

Authors: Sergey Goryainov, Vladislav Kabanov, Elena Konstantinova, Leonid Shalaginov, Alexandr Valyuzhenich

Abstract: We consider the symmetric group $\mathrm{Sym}_n,\,n\geqslant 2$, generated by the set $S$ of transpositions $(1~i),\,2 \leqslant i \leqslant n$, and the Cayley graph $S_n=Cay(\mathrm{Sym}_n,S)$ called the Star graph. For any positive integers $n\geqslant 3$ and $m$ with $n > 2m$, we present a family of $PI$-eigenfunctions of $S_n$ with eigenvalue $n-m-1$. We establish a connection of these functio… ▽ More We consider the symmetric group $\mathrm{Sym}_n,\,n\geqslant 2$, generated by the set $S$ of transpositions $(1~i),\,2 \leqslant i \leqslant n$, and the Cayley graph $S_n=Cay(\mathrm{Sym}_n,S)$ called the Star graph. For any positive integers $n\geqslant 3$ and $m$ with $n > 2m$, we present a family of $PI$-eigenfunctions of $S_n$ with eigenvalue $n-m-1$. We establish a connection of these functions with the standard basis of a Specht module. In the case of largest non-principal eigenvalue $n-2$ we prove that any eigenfunction of $S_n$ can be reconstructed by its values on the second neighbourhood of a vertex. △ Less

Submitted 19 February, 2018; originally announced February 2018.

On eigenfunctions and maximal cliques of Paley graphs of square order

Authors: Sergey Goryainov, Vladislav V. Kabanov, Leonid Shalaginov, Alexandr Valyuzhenich

Abstract: In this paper we find new maximal cliques of size $\frac{q+1}{2}$ or $\frac{q+3}{2}$, accordingly as $q\equiv 1(4)$ or $q\equiv 3(4)$, in Paley graphs of order $q^2$, where $q$ is an odd prime power. After that we use new cliques to define a family of eigenfunctions corresponding to both non-principal eigenvalues and having the cardinality of support $q+1$, which is the minimum by the weight-distr… ▽ More In this paper we find new maximal cliques of size $\frac{q+1}{2}$ or $\frac{q+3}{2}$, accordingly as $q\equiv 1(4)$ or $q\equiv 3(4)$, in Paley graphs of order $q^2$, where $q$ is an odd prime power. After that we use new cliques to define a family of eigenfunctions corresponding to both non-principal eigenvalues and having the cardinality of support $q+1$, which is the minimum by the weight-distribution bound. △ Less

Submitted 1 January, 2018; originally announced January 2018.

On strictly Deza graphs with parameters (n,k,k-1,a)

Authors: V. V. Kabanov, N. V. Maslova, L. V. Shalaginov

Abstract: A nonempty $k$-regular graph $Γ$ on $n$ vertices is called a Deza graph if there exist constants $b$ and $a$ $(b \geq a)$ such that any pair of distinct vertices of $Γ$ has precisely either $b$ or $a$ common neighbours. The quantities $n$, $k$, $b$, and $a$ are called the parameters of $Γ$ and are written as the quadruple $(n,k,b,a)$. If a Deza graph has diameter 2 and is not strongly regular, the… ▽ More A nonempty $k$-regular graph $Γ$ on $n$ vertices is called a Deza graph if there exist constants $b$ and $a$ $(b \geq a)$ such that any pair of distinct vertices of $Γ$ has precisely either $b$ or $a$ common neighbours. The quantities $n$, $k$, $b$, and $a$ are called the parameters of $Γ$ and are written as the quadruple $(n,k,b,a)$. If a Deza graph has diameter 2 and is not strongly regular, then it is called a strictly Deza graph. In the paper we investigate strictly Deza graphs with parameters $ (n, k, b, a) $, where its quantities satisfy the conditions $k = b + 1$ and $\frac{k(k - 1) - a(n - 1)}{b - a} > 1$. △ Less

Submitted 19 February, 2018; v1 submitted 27 December, 2017; originally announced December 2017.

Comments: Any comments or suggestions are very welcome

MSC Class: 20D60; 20D06

Journal ref: European Journal of Combinatorics Volume 80, August 2019, Pages 194-202