Sharif Digital Repository

In this paper, we apply some new algebraic no-homomorphism theorems in conjunction with some new chromatic parameters to estimate the circular chromatic number of graphs. To show the applicability of the general results, as a couple of examples, we generalize a well known inequality for the fractional chromatic number of graphs and we also show that the circular chromatic number of the graph obtained from the Petersen graph by excluding one vertex is equal to 3. Also, we focus on the Johnson–Holroyd–Stahl conjecture about the circular chromatic number of Kneser graphs and we propose an approach to this conjecture. In this regard, we introduce a new related conjecture on Kneser graphs and we... 

A graph G is called uniquelyk-list colorable (UkLC) if there exists a list of colors on its vertices, say L= { Sv∣ v∈ V(G) } , each of size k, such that there is a unique proper list coloring of G from this list of colors. A graph G is said to have propertyM(k) if it is not uniquely k-list colorable. Mahmoodian and Mahdian (Ars Comb 51:295–305, 1999) characterized all graphs with property M(2). For k≥ 3 property M(k) has been studied only for multipartite graphs. Here we find bounds on M(k) for graphs embedded on surfaces, and obtain new results on planar graphs. We begin a general study of bounds on M(k) for regular graphs, as well as for graphs with varying list sizes. © 2018, Springer... 

In this article, we introduce the algebra of block-symmetric cylinders and we show that symmetric cylindrical constructions on base-graphs admitting commutative decompositions behave as generalized tensor products. We compute the characteristic polynomial of such symmetric cylindrical constructions in terms of the spectra of the base-graph and the cylinders in a general setting. This gives rise to a simultaneous generalization of some well-known results on the spectra of a variety of graph amalgams, as various graph products, graph subdivisions and generalized Petersen graph constructions. While our main result introduces a connection between spectral graph theory and commutative... 

This paper proves that almost every n-vertex graph has the property that the multiset of its induced subgraphs on 3log2n vertices is sufficient to determine it up to isomorphism. That is, the probability that there exists two n-vertex graphs with the same multiset of 3log2n-vertex induced subgraphs goes to zero as n goes to infinity. © 2020 World Scientific Publishing Company  

The energy of a graph G, denoted by E(G), is defined as the sum of absolute values of all eigenvalues of G. In (MATCH Commun. Math. Comput. Chem. 83 (2020) 631{633) it was conjectured that for every graph G with maximum degree Δ(G) and minimum degree Δ (G) whose adjacency matrix is non-singular, E(G) +δ (G) + Δ (G) and the equality holds if and only if G is a complete graph. Here, we prove the validity of this conjecture for planar graphs, triangle-free graphs and quadrangle-free graphs. © 2021 University of Kragujevac, Faculty of Science. All rights reserved  

Let Γ = (G, σ) be a signed graph, where G is the underlying simple graph and σ E(G) → {-, +} is the sign function on the edges of G. The adjacency matrix of a signed graph has-1 or +1 for adjacent vertices, depending on the sign of the edges. It was conjectured that if is a signed complete graph of order n with k negative edges, k-lt-n-1 and has maximum index, then negative edges form K1 ,k. In this paper, we prove this conjecture if we confine ourselves to all signed complete graphs of order n whose negative edges form a tree of order k + 1. A [1, 2]-subgraph of G is a graph whose components are paths and cycles. Let Γ be a signed complete graph whose negative edges form a [1, 2]-subgraph.... 

Let n be a positive integer and let Sn be the set of all nonnegative integers less than n which are relatively prime to n. In this paper, we discuss structural properties of circulant graphs generated by the Sn′s and their complements. In particular, we characterize when these graphs are well-covered, Cohen–Macaulay, Buchsbaum or Gorenstein. © 2020, Springer Science+Business Media, LLC, part of Springer Nature  

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 GA and GB of a Deza graph G are defined on the vertex set of G such that every two distinct vertices are adjacent in GA or GB 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. © 2021 Elsevier B.V  

In this paper we introduce some general necessary conditions for the existence of graph homomorphisms, which hold in both directed and undirected cases. Our method is a combination of Diaconis and Saloff–Coste comparison technique for Markov chains and a generalization of Haemers interlacing theorem. As some applications, we obtain a necessary condition for the spanning subgraph problem, which also provides a generalization of a theorem of Mohar (1992) as a necessary condition for Hamiltonicity. In particular, in the case that the range is a Cayley graph or an edge-transitive graph, we obtain theorems with a corollary about the existence of homomorphisms to cycles. This, specially, provides... 

An induced path factor of a graph (Formula presented.) is a set of induced paths in (Formula presented.) with the property that every vertex of (Formula presented.) is in exactly one of the paths. The induced path number (Formula presented.) of (Formula presented.) is the minimum number of paths in an induced path factor of (Formula presented.). We show that if (Formula presented.) is a connected cubic graph on (Formula presented.) vertices, then (Formula presented.). Fix an integer (Formula presented.). For each (Formula presented.), define (Formula presented.) to be the maximum value of (Formula presented.) over all connected (Formula presented.) -regular graphs (Formula presented.) on... 

An induced path factor of a graph (Formula presented.) is a set of induced paths in (Formula presented.) with the property that every vertex of (Formula presented.) is in exactly one of the paths. The induced path number (Formula presented.) of (Formula presented.) is the minimum number of paths in an induced path factor of (Formula presented.). We show that if (Formula presented.) is a connected cubic graph on (Formula presented.) vertices, then (Formula presented.). Fix an integer (Formula presented.). For each (Formula presented.), define (Formula presented.) to be the maximum value of (Formula presented.) over all connected (Formula presented.) -regular graphs (Formula presented.) on... 

Let Γ(R) be the zero-divisor graph of a commutative ring R. An interesting question was proposed by Anderson, Frazier, Lauve, and Livingston: For which finite commutative rings R is Γ (R) planar? We give an answer to this question. More precisely, we prove that if R is a local ring with at least 33 elements, and Γ(R) ≠ 0, then Γ(R) is not planar. We use the set of the associated primes to find the minimal length of a cycle in Γ(R). Also, we determine the rings whose zero-divisor graphs are complete r-partite graphs and show that for any ring R and prime number p, p ≥ 3, if Γ(R) is a finite complete p-partite graph, then Z(R) = p2, R = p3, and R is isomorphic to exactly one of the rings ℤp3,... 

In this paper we introduce some general necessary conditions for the existence of graph homomorphisms, which hold in both directed and undirected cases. Our method is a combination of Diaconis and Saloff-Coste comparison technique for Markov chains and a generalization of Haemers interlacing theorem. As some applications, we obtain a necessary condition for the spanning subgraph problem, which also provides a generalization of a theorem of Mohar (1992) as a necessary condition for Hamiltonicity. In particular, in the case that the range is a Cayley graph or an edge-transitive graph, we obtain theorems with a corollary about the existence of homomorphisms to cycles. This, specially, provides... 

We introduce two necessary conditions for the existence of graph homomorphisms based on the concepts of density and power graph. As corollaries, we obtain a lower bound for the fractional chromatic number, and we set forward elementary proofs of the facts that the circular chromatic number of the Petersen graph is equal to three and the fact that the Coxeter graph is a core  

Graceful labeling is one of the best known labeling methods of graphs. Despite the large number of papers published on the subject of graph labeling, there are few particular techniques to be used by researchers to gracefully label graphs. In this paper, first a new approach based on the mathematical programming technique is presented to model the graceful labeling problem. Then a “branching method” is developed to solve the problem for special classes of graphs. Computational results show the efficiency of the proposed algorithm for different classes of graphs. One of the interesting results of our model is in the class of trees. The largest tree known to be graceful has at most 27 vertices... 

Let R be a ring and Z(R) be the set of all zero-divisors of R. The total graph of R, denoted by T(Γ(R)) is a graph with all elements of R as vertices, and two distinct vertices x, y∈R are adjacent if and only if x+y∈Z(R). Let the regular graph of R, Reg(Γ(R)), be the induced subgraph of T(Γ(R)) on the regular elements of R. In 2008, Anderson and Badawi proved that the girth of total graph and regular graph of a commutative ring are contained in the set {3, 4, ∞}. In this paper, we extend this result to an arbitrary ring (not necessarily commutative). Also, we prove that if R is a reduced left Noetherian ring and 2∈Z(R), then the chromatic number and the clique number of Reg(Γ(R)) are the... 

Let R be a ring and Z(R) be the set of all zero-divisors of R. The total graph of R, denoted by (TΓ (R)) is a graph with all elements of R as vertices, and two distinct vertices x, y in R are adjacent if and only if x + y Z(R). Let the regular graph of R, Reg (Γ(R)), be the induced subgraph of T(Γ (R)) on the regular elements of R. In 2008, Anderson and Badawi proved that the girth of the total graph and the regular graph of a commutative ring are contained in the set { 3, 4,} . In this paper, we extend this result to an arbitrary ring (not necessarily commutative). We also prove that if R is a reduced left Noetherian ring and 2 Z(R), then the chromatic number and the clique number of Reg... 

Let R be a commutative ring with unity. The cozero-divisor graph of R, denoted by Γ′(R), is a graph with vertex set W*(R), where W*(R) is the set of all nonzero and nonunit elements of R, and two distinct vertices a and b are adjacent if and only if a ∉ Rb and b ∉ Ra, where Rc is the ideal generated by the element c in R. Recently, it has been proved that for every nonlocal finite ring R, Γ′(R) is a unicyclic graph if and only if R ≅ ℤ2 × ℤ4, ℤ3 × ℤ3, ℤ2 × ℤ2[x]/(x 2). We generalize the aforementioned result by showing that for every commutative ring R, Γ′(R) is a unicyclic graph if and only if R ≅ ℤ2 × ℤ4, ℤ3 × ℤ3, ℤ2 × ℤ2[x]/(x 2), ℤ2[x, y]/(x, y)2, ℤ4[x]/(2x, x 2). We prove that for every... 

The Zagreb indices have been introduced by Gutman and Trinajstić as M1(G) = ∑ v∈V (G) (dG(v))2 and M2(G) = ∑ uv∈E(G) dG(u)dG(v), where dG(u) denotes the degree of vertex u. We now define a new version of Zagreb indices as M1 *(G) = ∑ uv∈E(G) [εG(u) + εG(v)] and M2 * (G) = ∑ uv∈E(G) εG(u)εG(v), where εG(u) is the largest distance between u and any other vertex v of G. The goal of this paper is to further the study of these new topological index  

For an undirected graph G, a zero-sum flow is an assignment of non-zero real numbers to the edges, such that the sum of the values of all edges incident with each vertex is zero. It has been conjectured that if a graph G has a zero-sum flow, then it has a zero-sum 6-flow. We prove this conjecture and Bouchet's Conjecture for bidirected graphs are equivalent. Among other results it is shown that if G is an r-regular graph (r ≥ 3), then G has a zero-sum 7-flow. Furthermore, if r is divisible by 3, then G has a zero-sum 5-flow. We also show a graph of order n with a zero-sum flow has a zero-sum (n + 3)2-flow. Finally, the existence of k-flows for small graphs is investigated