We show that every interval in the homomorphism order of finite undirected graphs is either universal or a gap. Together with density and universality this “fractal” property contributes to the spectacular properties of the homomorphism order. We first show the fractal property by using Sparse Incomparability Lemma and then by a more involved elementary argument.

For a graph $G$ with edge set $E(G)$, the multiplicative sum Zagreb index of $G$ is defined as$Pi^*(G)=Pi_{uvin E(G)}[d_G(u)+d_G(v)]$, where $d_G(v)$ is the degree of vertex $v$ in $G$.In this paper, we first introduce some graph transformations that decreasethis index. In application, we identify the fourteen class of trees, with the first through fourteenth smallest multiplicative sum Zagreb ...

Let $G$ be a finite group and $pi(G)$ be the set of all prime divisors of $|G|$. The prime graph of $G$ is a simple graph $Gamma(G)$ with vertex set $pi(G)$ and two distinct vertices $p$ and $q$ in $pi(G)$ are adjacent by an edge if an only if $G$ has an element of order $pq$. In this case, we write $psim q$. Let $|G= p_1^{alpha_1}cdot p_2^{alpha_2}cdots p_k^{alpha_k}$, where $p_1

Let D be the ordered set of isomorphism types of finite distributive lattices, where the ordering is by embeddability. We study first-order definability in this ordered set. We prove among other things that for every finite distributive lattice D, the set {d, d} is definable, where d and d are the isomorphism types of D and its opposite (D turned upside down). We prove that the only non-identit...

This paper is motivated by R. H. Bruck’s paper[3], in which he proved that the existence of cyclic projective plane of order n ≡ 1 (mod 3) implies that of a non-planar difference set of the same order by proving that such a cyclic projective plane admits a regular non-Abelian automorphism group using n as a multiplier. In this paper we will discuss in detail the possibility of using multipliers...

let g be a simple graph with vertex set v(g) {v1,v2 ,...vn} . for every vertex i v , ( ) i  vrepresents the degree of vertex i v . the h-th order of randić index, h r is defined as the sumof terms1 2 11( ), ( )... ( ) i i ih  v  v  vover all paths of length h contained (as sub graphs) in g . inthis paper , some bounds for higher randić index and a method for computing the higherrandic ind...

let $g$ be a group. the order graph of $g$ is the (undirected)graph $gamma(g)$,those whose vertices are non-trivial subgroups of $g$ and two distinctvertices $h$ and $k$ are adjacent if and only if either$o(h)|o(k)$ or $o(k)|o(h)$. in this paper, we investigate theinterplay between the group-theoretic properties of $g$ and thegraph-theoretic properties of $gamma(g)$. for a finite group$g$, we s...

Let Ln,t be the set of all n-vertex connected graphs with clique number t (2 ≤ t ≤ n). For nvertex connected graphs with given clique number, lexicographic ordering by spectral moments (S-order) is discussed in this paper. The first ∑⌊(n−t−1)/3⌋ i=1 (n − t − 3i) + 1 graphs with 3 ≤ t ≤ n − 4, and the last few graphs, in the Sorder, among Ln,t are characterized. In addition, all graphs in Ln,n ∪...

‎The Steiner distance of a graph‎, ‎introduced by Chartrand‎, ‎Oellermann‎, ‎Tian and Zou in 1989‎, ‎is a natural generalization of the‎ ‎concept of classical graph distance‎. ‎For a connected graph $G$ of‎ ‎order at least $2$ and $Ssubseteq V(G)$‎, ‎the Steiner‎ ‎distance $d(S)$ among the vertices of $S$ is the minimum size among‎ ‎all connected subgraphs whose vertex sets contain $S$‎. ‎Let $...

Let $G$ be a simple graph of order $n$ and size $m$.The edge covering of $G$ is a set of edges such that every vertex of $G$ is incident to at least one edge of the set. The edge cover polynomial of $G$ is the polynomial$E(G,x)=sum_{i=rho(G)}^{m} e(G,i) x^{i}$,where $e(G,i)$ is the number of edge coverings of $G$ of size $i$, and$rho(G)$ is the edge covering number of $G$. In this paper we stud...