Searcharxiv⌕ Search

arXiv subjects

Ali Reza Ashrafi

Publications and source records attributed to Ali Reza Ashrafi.

13 recordsLinked to original sources

Graph Irregularity Characterization with Particular Regard to Bidegreed Graphs

In this study we are interested mainly in investigating the relations between two graph irregularity measures which are widely used for structural irregularity characterization of connected graphs. Our study is focused on the comparison and evaluation of the discriminatory ability of irregularity measures called degree deviation S(G) and degree variance Var(G). We establish various upper bounds for irregularity measures S(G) and Var(G). It is shown that the Nikiforov's inequality which is valid for connected graphs can be sharpened in the form of Var(G) < S(G)/2. Among others it is verified that if G is a bidegreed graph then the discrimination ability of S(G) and Var(G) is considered to be completely equivalent.

math.CO↗

Construction of All Gyrogroups of Orders at most 31

The gyrogroup is the closest algebraic structure to the group ever discovered. It has a binary operation $\star$ containing an identity element such that each element has an inverse. Furthermore, for each pair $(a,b)$ of elements of this structure there exists an automorphism $\gyr{a,b}{}$ with this property that left associativity and left loop property are satisfied. Since each gyrogroup is a left Bol loop, some results of Burn imply that all gyrogroups of orders $p, 2p$ and $p^2$ are groups. The aim of this paper is to classify gyrogroups of orders 8, 12, 15, 18, 20, 21, and 28.

math.GR↗

On the Number of $k-$Matchings in Graphs

Suppose $G$ is a undirected simple graph. A $k-$subset of edges in $G$ without common vertices is called a $k-$matching and the number of such subsets is denoted by $p(G,k)$. The aim of this paper is to present exact formulas for $p(G,3)$, $p(G,4)$ and $P(G,5)$ in terms of some degree-based invariants.

math.CO↗

Laplacian Coefficients of a Forest in terms of the Number of Closed Walks in the Forest and its Line Graph

Let $G$ be a finite simple graph with Laplacian polynomial $ψ(G,λ)=\sum_{k=0}^n(-1)^{n-k}c_kλ^k$. In an earlier paper, the coefficients $c_{n-4}$ and $c_{n-5}$ for tree with respect to some degree-based graph invariants were computed. The aim of this paper is to continue this work by giving an exact formula for the coefficients $c_{n-6}$. As a consequence of this work, the Laplacian coefficients $c_{n-k}$ of a forest $F$, $1\leq k \leq 6$, are computed in terms of the number of closed walks in $F$ and its line graph.

math.CO↗

General Form of the Automorphism Group of Bicyclic Graphs

In 1869, Jordan proved that the set $\mathcal{T}$ of all finite group that can be represented as the automorphism group of a tree is containing the trivial group and it is closed under taken direct product of groups of lower order in $\mathcal{T}$ and wreath product of a member in $\mathcal{T}$ and the symmetric group on $n$ symbols. The aim of this paper is to continue this work and another works by Klav$\acute{\rm i}$k and Zeman in 2017 to present a class $\mathcal{S}$ of finite groups for which the automorphism group of each bicyclic graph is a member of $\mathcal{S}$ and this class is minimal with this property.

math.GR↗

On a Conjecture About the Sombor Index of Graphs

Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. The Sombor and reduced Sombor indices of $G$ are defined as $SO(G)=\sum_{uv\in E(G)}\sqrt{deg_G(u)^2+deg_G(v)^2}$ and $SO_{red}(G)=\sum_{uv\in E(G)}\sqrt{(deg_G(u)-1)^2+(deg_G(v)-1)^2}$, respectively. We denote by $H_{n,ν}$ the graph constructed from the star $S_n$ by adding $ν$ edge(s) $(0\leq ν\leq n-2)$, between a fixed pendent vertex and $ν$ other pendent vertices. Réti et al. [T. Réti, T. Došlić and A. Ali, On the Sombor index of graphs, $\textit{Contrib. Math. }$ $\textbf{3}$ (2021) 11-18] proposed a conjecture that the graph $H_{n,ν}$ has the maximum Sombor index among all connected $ν$-cyclic graphs of order $n$, where $5\leq ν\leq n-2$. In this paper we confirm that the former conjecture is true. It is also shown that this conjecture is valid for the reduced Sombor index. The relationship between Sombor, reduced Sombor and first Zagreb indices of graph is also investigated.

math.CO↗

On a Conjecture about Degree Deviation Measure of Graphs

Let G be an n-vertex graph with m edges. The degree deviation measure of G is defined as s(G)=sum v in V(G)|degG(v)-(2m/n)|, where n and m are the number of vertices and edges of G, respectively. The aim of this paper is to prove the Conjecture 4.2 of [J A de Oliveira, C S Oliveira, C Justel and N M Maia de Abreu, Measures of irregularity of graphs, Pesq. Oper. 33 (3) (2013) 383-398]. The degree deviation measure of chemical graphs under some conditions on the cyclomatic number is also computed.

math.CO↗

Proof of Kelly-Ulam Conjecture

The deck of a graph $X$, $D(X)$, is defined as the multiset of all vertex-deleted subgraphs of $X$. Two graphs are said to be hypomorphic, if they have the same deck. Kelly-Ulam conjecture states that any two hypomorphic graphs on at least three vertices are isomorphic. In this paper, we first prove that for two finite simple hypomorphic graphs the number of $l$-paths between two arbitrary vertices are equal, where $1 \leq l \leq n - 2$. As a consequence, it is proved that the Kelly-Ulam conjecture is correct over the category of all finite simple graphs.

math.GM↗

The Automorphism Group of the Reduced Complete-Empty $X-$Join of Graphs

Suppose $X$ is a simple graph. The $X-$join $Γ$ of a set of complete or empty graphs $\{X_x \}_{x \in V(X)}$ is a simple graph with the following vertex and edge sets: \begin{eqnarray*} V(Γ) &=& \{(x,y) \ | \ x \in V(X) \ \& \ y \in V(X_x) \},\\ E(Γ) &=& \{(x,y)(x^\prime,y^\prime) \ | \ xx^\prime \in E(X) \ or \ else \ x = x^\prime \ \& \ yy^\prime \in E(X_x)\}. \end{eqnarray*} The $X-$join graph $Γ$ is called reduced if for vertices $x, y \in V(X)$, $x \ne y$, $N_X(x) \setminus \{ y\} = N_X(y) \setminus \{ x\}$ implies that $(i)$ if $xy \not\in E(X)$ then the graphs $X_x$ or $X_y$ are non-empty; $(ii)$ if $xy \in E(X)$ then $X_x$ or $X_y$ are not complete graphs. In this paper, we want to explore how the graph theoretical properties of $X-$join of graphs effect on its automorphism group. Among other results we compute the automorphism group of reduced complete-empty $X-$join of graphs.

math.GR↗

Vertex and edge orbits of Fibonacci and Lucas cubes

The Fibonacci cube $Γ_n$ is obtained from the $n$-cube $Q_n$ by removing all the vertices that contain two consecutive 1s. If, in addition, the vertices that start and end with 1 are removed, the Lucas cube $Λ_n$ is obtained. The number of vertex and edge orbits, the sets of the sizes of the orbits, and the number of orbits of each size, are determined for the Fibonacci cubes and the Lucas cubes under the action of the automorphism group. In particular, the set of the sizes of the vertex orbits of $Λ_n$ is $\{k \ge 1;\ k \divides n\} \cup\, \{k \ge 18;\ k \divides 2n\}$, the number of the vertex orbits of $Λ_n$ of size $k$, where $k$ is odd and divides $n$, is equal to $\sum_{d\divides k}μ\left(\frac{k}{d}\right) F_{\lfloor \frac{d}{2}\rfloor + 2}$, and the number of the edge orbits of $Λ_n$ is equal to the number of the vertex orbits of $Γ_{n-3}$. Dihedral transformations of strings and primitive strings are essential tools to prove these results.

math.CO↗

On finite groups whose every proper normal subgroup is a union of a given number of conjugacy classes

Let $G$ be a finite group and $A$ be a normal subgroup of $G$. We denote by $ncc(A)$ the number of $G$-conjugacy classes of $A$ and $A$ is called $n$-decomposable, if $ncc(A)=n$. Set ${\cal K}_G = \{ncc(A)| A \lhd G \}$. Let $X$ be a non-empty subset of positive integers. A group $G$ is called $X$-decomposable, if ${\cal K}_G = X$. Ashrafi and his co-authors \cite{ash1,ash2,ash3,ash4,ash5} have characterized the $X$-decomposable non-perfect finite groups for $X = \{1, n \}$ and $n \leq 10$. In this paper, we continue this problem and investigate the structure of $X$-decomposable non-perfect finite groups, for $X = \{1, 2, 3 \}$. We prove that such a group is isomorphic to $Z_6, D_8, Q_8, S_4$, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup$(m,n)$ denotes the $m$th group of order $n$ in the small group library of GAP \cite{gap}.

math.GR↗