-
On $2$-integral Cayley graphs
Authors:
Alireza Abdollahi,
Majid Arezoomand,
Tao Feng,
Shixin Wang
Abstract:
In this paper, we introduce the concept of $k$-integral graphs. A graph $Γ$ is called $k$-integral if the extension degree of the splitting field of the characteristic polynomial of $Γ$ over rational field $\mathbb Q$ is equal to $k$. We prove that for any positive integers $k$ and $Δ$, the set of all finite connected graphs with algebraic degree at most $k$ and maximum degree at most $Δ$ is finit…
▽ More
In this paper, we introduce the concept of $k$-integral graphs. A graph $Γ$ is called $k$-integral if the extension degree of the splitting field of the characteristic polynomial of $Γ$ over rational field $\mathbb Q$ is equal to $k$. We prove that for any positive integers $k$ and $Δ$, the set of all finite connected graphs with algebraic degree at most $k$ and maximum degree at most $Δ$ is finite. We study
$2$-integral Cayley graphs over finite groups $G$ with respect to Cayley sets which are a union of conjugacy classes of $G$. Among other general results, we completely characterize all finite abelian groups having a connected $2$-integral Cayley graph with valency $2,3,4$ and $5$.
Furthermore, we classify the finite groups $G$ that all Cayley graphs over $G$ with bounded valency are $2$-integral.
△ Less
Submitted 8 March, 2024; v1 submitted 27 January, 2024;
originally announced January 2024.
-
Algebraic degrees of quasi-abelian semi-Cayley digraphs
Authors:
Shixin Wang,
Majid Arezoomand,
Tao Feng
Abstract:
For a digraph $Γ$, if $F$ is the smallest field that contains all roots of the characteristic polynomial of the adjacency matrix of $Γ$, then $F$ is called the splitting field of $Γ$. The extension degree of $F$ over the field of rational numbers $\mathbb{Q}$ is said to be the algebraic degree of $Γ$. A digraph is a semi-Cayley digraph over a group $G$ if it admits $G$ as a semiregular automorphis…
▽ More
For a digraph $Γ$, if $F$ is the smallest field that contains all roots of the characteristic polynomial of the adjacency matrix of $Γ$, then $F$ is called the splitting field of $Γ$. The extension degree of $F$ over the field of rational numbers $\mathbb{Q}$ is said to be the algebraic degree of $Γ$. A digraph is a semi-Cayley digraph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. A semi-Cayley digraph $\mathrm{SC}(G,T_{11},T_{22},T_{12},T_{21})$ is called quasi-abelian if each of $T_{11},T_{22},T_{12}$ and $T_{21}$ is a union of some conjugacy classes of $G$. This paper determines the splitting field and the algebraic degree of a quasi-abelian semi-Cayley digraph over any finite group in terms of irreducible characters of groups. This work generalizes the previous works on algebraic degrees of Cayley graphs over abelian groups and any group having a subgroup of index 2, and semi-Cayley digraphs over abelian groups.
△ Less
Submitted 6 August, 2023;
originally announced August 2023.
-
Integral Cayley graphs of symmetric groups on transpositions
Authors:
Alireza Abdollahi,
Majid Arezoomand,
Mahdi Ebrahimi
Abstract:
We study subsets $T$ consisting of some transpositions $(i,j)$ of the symmetric group $S_n$ on $\{1,\dots,n\}$ such that the Cayley graph $Γ_T:=Cay(S_n,T)$ is an integral graph, i.e., all eigenvalues of an adjacency matrix of $Γ_T$ are integers. Graph properties of $Γ_T$ are determined in terms of ones of the graph $G_T$ whose vertex set is $\{1,\dots,n\}$ and $\{i,j\}$ is an edge if and only if…
▽ More
We study subsets $T$ consisting of some transpositions $(i,j)$ of the symmetric group $S_n$ on $\{1,\dots,n\}$ such that the Cayley graph $Γ_T:=Cay(S_n,T)$ is an integral graph, i.e., all eigenvalues of an adjacency matrix of $Γ_T$ are integers. Graph properties of $Γ_T$ are determined in terms of ones of the graph $G_T$ whose vertex set is $\{1,\dots,n\}$ and $\{i,j\}$ is an edge if and only if $(i,j)\in T$. Here we prove that if $G_T$ is a tree then $Γ_T$ is integral if and only if $T$ is isomorphic to the star graph $K_{1,n-1}$, answering Problem 5 of [Electron. J. Comnin., 29(2) (2022) \# P2.9]. Problem 6 of the latter article asks to find necessary and sufficient conditions on $T$ for integralness of $Cay(S_n,T)$ without any further assumption on $T$. We show that if $G_T$ is a graph which we call it a ``generalized complete multipartite graph" then $Cay(S_n,T)$ is integral. We conjecture that $Cay(S_n,T)$ is integral only if $G_T$ is a generalized complete multipartitie graph. To support the latter conjecture we show its validity whenever $G_T$ is some classes of graphs including cycles and cubic graphs.
△ Less
Submitted 29 April, 2023;
originally announced May 2023.
-
Tetravalent vertex-transitive graphs of order $6p$
Authors:
Majid Arezoomand,
Mohsen Ghasemi,
Mohammad A. Iranmanesh
Abstract:
A graph is vertex-transitive if its automorphism group acts transitively on vertices of the graph. A vertex-transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this paper, the tetravalent vertex-transitive non-Cayley graphs of order $6p$ are classified for each prime $p$.
A graph is vertex-transitive if its automorphism group acts transitively on vertices of the graph. A vertex-transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this paper, the tetravalent vertex-transitive non-Cayley graphs of order $6p$ are classified for each prime $p$.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
Perfect state transfer on semi-Cayley graphs over abelian groups
Authors:
Majid Arezoomand
Abstract:
In this paper, we consider the problem on the existence of perfect state transfer(PST for short) on semi-Cayley graphs over abelian groups (which are not necessarily regular), i.e on the graphs having semiregular and abelian subgroups of automorphisms with two orbits of equal size. We stablish a characterization of semi-Cayley graphs over abelian groups having PST. As a result, we give a character…
▽ More
In this paper, we consider the problem on the existence of perfect state transfer(PST for short) on semi-Cayley graphs over abelian groups (which are not necessarily regular), i.e on the graphs having semiregular and abelian subgroups of automorphisms with two orbits of equal size. We stablish a characterization of semi-Cayley graphs over abelian groups having PST. As a result, we give a characterization of Cayley graphs over groups with an abelian subgroup of index 2 having PST, which improves the earlier results on Cayley graphs over abelian groups, dihedral groups and dicyclic group and determines Cayley graphs over generalized dihedral groups and generalized dicyclic groups having PST.
△ Less
Submitted 16 February, 2022; v1 submitted 7 February, 2022;
originally announced February 2022.
-
Totally $2$-closed finite groups with trivial Fitting subgroup
Authors:
Majid Arezoomand,
Mohammad A. Iranmanesh,
Cheryl E. Praeger,
Gareth Tracey
Abstract:
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of…
▽ More
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory.
△ Less
Submitted 4 November, 2021; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Fixity of elusive groups and the polycirculant conjecture
Authors:
Majid Arezoomand
Abstract:
Let $G\leq{\rm Sym}(Ω)$ be transitive. Then $G$ is called \textit{elusive} on $Ω$ if it has no fixed point free element of prime order. The \textit{$2$-closure} of $G$, denoted by $G^{(2),Ω}$, is the largest subgroup of ${\rm Sym}(Ω)$ whose orbits on $Ω\timesΩ$ are the same orbits of $G$. $G$ is called $2$-closed on $Ω$ if $G=G^{(2),Ω}$. The \textit{polycirculant conjecture} states that there is n…
▽ More
Let $G\leq{\rm Sym}(Ω)$ be transitive. Then $G$ is called \textit{elusive} on $Ω$ if it has no fixed point free element of prime order. The \textit{$2$-closure} of $G$, denoted by $G^{(2),Ω}$, is the largest subgroup of ${\rm Sym}(Ω)$ whose orbits on $Ω\timesΩ$ are the same orbits of $G$. $G$ is called $2$-closed on $Ω$ if $G=G^{(2),Ω}$. The \textit{polycirculant conjecture} states that there is no $2$-closed elusive group. In this paper, we study the \textit{fixity} of elusive groups, where the fixity of $G$ is the maximal number of fixed points of a non-trivial element of $G$. In particular, we prove that there is no $2$-closed elusive solvable group of fixity at most $5$, a partial answer to the polycirculant conjecture.
△ Less
Submitted 23 February, 2021;
originally announced February 2021.
-
Normality of one-matching semi-Cayley graphs over finite abelian groups with maximum degree three
Authors:
Majid Arezoomand,
Mohsen Ghasemi
Abstract:
A graph $Γ$ is said to be a semi-Cayley graph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. We say that $Γ$ is normal if $G$ is a normal subgroup of ${\rm Aut}(Γ)$. We prove that every connected intransitive one-matching semi-Cayley graph, with maximum degree three, over a finite abelian group is normal and characterize all such non-normal gra…
▽ More
A graph $Γ$ is said to be a semi-Cayley graph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. We say that $Γ$ is normal if $G$ is a normal subgroup of ${\rm Aut}(Γ)$. We prove that every connected intransitive one-matching semi-Cayley graph, with maximum degree three, over a finite abelian group is normal and characterize all such non-normal graphs.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
On $\BCI$-groups and $\CI$-groups
Authors:
Asieh Sattari,
Majid Arezoomand,
Mohammad A. Iranmanesh
Abstract:
Let $G$ be a finite group and $S$ be a subset of $G.$ A bi-Cayley graph $\BCay(G,S)$ is a simple and an undirected graph with vertex-set $G\times\{1,2\}$ and edge-set $\{\{(g,1),(sg,2)\}\mid g\in G, s\in S\}$. A bi-Cayley graph $\BCay(G,S)$ is called a $\BCI$-graph if for any bi-Cayley graph $\BCay(G,T)$, whenever $\BCay(G,S)\cong\BCay(G,T)$ we have $T=gS^σ$ for some $g\in G$ and $σ\in\Aut(G).$ A…
▽ More
Let $G$ be a finite group and $S$ be a subset of $G.$ A bi-Cayley graph $\BCay(G,S)$ is a simple and an undirected graph with vertex-set $G\times\{1,2\}$ and edge-set $\{\{(g,1),(sg,2)\}\mid g\in G, s\in S\}$. A bi-Cayley graph $\BCay(G,S)$ is called a $\BCI$-graph if for any bi-Cayley graph $\BCay(G,T)$, whenever $\BCay(G,S)\cong\BCay(G,T)$ we have $T=gS^σ$ for some $g\in G$ and $σ\in\Aut(G).$ A group $G$ is called a $\BCI$-group if every bi-Cayley graph of $G$ is a $\BCI$-graph. In this paper, we showed that every $\BCI$-group is a $\CI$-group, which gives a positive answer to a conjecture proposed by Arezoomand and Taeri in \cite{arezoomand1}. Also we proved that there is no any non-Abelian $4$-$\BCI$-simple group. In addition all $\BCI$-groups of order $2p$, $p$ a prime, are characterized.
△ Less
Submitted 14 March, 2020;
originally announced March 2020.
-
On finite totally 2-closed groups
Authors:
Alireza Abdollahi,
Majid Arezoomand,
Gareth Tracey
Abstract:
An abstract group $G$ is called totally $2$-closed if $H=H^{(2),Ω}$ for any set $Ω$ with $G\cong H\leq{\rm Sym}(Ω)$, where $H^{(2),Ω}$ is the largest subgroup of ${\rm Sym}(Ω)$ whose orbits on $Ω\timesΩ$ are the same orbits of $H$. In this paper, we classify the finite soluble totally $2$-closed groups. We also prove that the Fitting subgroup of a totally $2$-closed group is a totally $2$-closed g…
▽ More
An abstract group $G$ is called totally $2$-closed if $H=H^{(2),Ω}$ for any set $Ω$ with $G\cong H\leq{\rm Sym}(Ω)$, where $H^{(2),Ω}$ is the largest subgroup of ${\rm Sym}(Ω)$ whose orbits on $Ω\timesΩ$ are the same orbits of $H$. In this paper, we classify the finite soluble totally $2$-closed groups. We also prove that the Fitting subgroup of a totally $2$-closed group is a totally $2$-closed group. Finally, we prove that a finite insoluble totally $2$-closed group $G$ of minimal order with non-trivial Fitting subgroup has shape $Z\cdot X$, with $Z=Z(G)$ cyclic, and $X$ is a finite group with a unique minimal normal subgroup, which is nonabelian.
△ Less
Submitted 19 November, 2021; v1 submitted 27 January, 2020;
originally announced January 2020.
-
Finite nilpotent groups coincide with their $2$-closures in all of their faithful permutation representations
Authors:
Alireza Abdollahi,
Majid Arezoomand
Abstract:
Here we show that a finite nilpotent group is 2-closed if and only if it is either cyclic or a direct product of a generalized quaternion group with a cyclic group of odd order.
Here we show that a finite nilpotent group is 2-closed if and only if it is either cyclic or a direct product of a generalized quaternion group with a cyclic group of odd order.
△ Less
Submitted 5 November, 2016;
originally announced November 2016.