graph
34726 papers tagged with this keyword
Eigenvalues, Smith normal form and determinantal ideals
Determinantal ideals of graphs generalize, among others, the spectrum and the Smith normal form (SNF) of integer matrices associated to graphs. In this work we investigate the relationship of the spectrum and the SNF with the determinantal ideals. We show that an eigenvalue divides the $k$-th invariant factor of its SNF if the eigenvalue belongs to a variety of the $k$-th univariate integer determinantal ideal of the matrix. This result has as a corollary a theorem of Rushanan. We also study graphs having the same determinantal ideals with at most one indeterminate; the socalled codeterminantal graphs, which generalize the concepts of cospectral and coinvariant graphs. We establish a necessary and sufficient condition for graphs to be codeterminantal on $\mathbb{R}[x]$, and we present some computational results on codeterminantal graphs up to 9 vertices. Finally, we show that complete graphs and star graphs are determined by the SNF of its distance Laplacian matrix.
Chromatic $λ$-choosable and $λ$-paintable graphs
Published
• View Publication
• BIB
Let $φ(k)$ be the minimum number of vertices in a non-$k$-choosable $k$-chromatic graph. The Ohba conjecture, confirmed by Noel, Reed and Wu, asserts that $φ(k) \ge 2k+2$. This bound is tight if $k$ is even. If $k$ is odd, then it is known that $φ(k) \le 2k+3$ and it is conjectured by Noel that $φ(k) = 2k+3$. For a multi-set $λ=\{k_1,k_2, \ldots, k_q\}$ of positive integers, let $k_λ = \sum_{i=1}^q k_i$. A $λ$-list assignment of $G$ is a $k_λ$-list assignment $L$ for which the colour set $\cup_{v \in V(G)}L(v)$ can be partitioned into the disjoint union $C_1 \cup C_2 \cup \ldots \cup C_q$ of $q$ sets so that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is $λ$-choosable if $G$ is $L$-colourable for any $λ$-list assignment $L$ of $G$. Let $φ(λ)$ be the minimum number of vertices in a non-$λ$-choosable $k_λ$-chromatic graph. Let $1_λ$ be the multiplicity of $1$ in $λ$, and let $o_λ$ be the number of elements in $λ$ that are odd integers. We prove that if $1_λ \ne k_λ$, then $2k_λ+1_λ+2 \leqslant φ(λ) \leqslant 2k_λ+ o_λ+2$. In particular, if $1_λ=o_λ=t$, i.e. $λ$ contains no odd integer greater than $1$, then $φ(λ) = 2k_λ+t+2$. We also prove that $φ(λ) \leqslant 2k_λ+5 1_λ+3$. In particular, if $1_λ=0$, then $2k_λ+2 \leqslant φ(λ) \leqslant 2k_λ+3$.
Quantum walks defined by digraphs and generalized Hermitian adjacency matrices
Published in Quantum Inf Process 20, 95 (2021)
• View Publication
• BIB
We propose a quantum walk defined by digraphs (mixed graphs). This is like Grover walk that is perturbed by a certain complex-valued function defined by digraphs. The discriminant of this quantum walk is a matrix that is a certain normalization of generalized Hermitian adjacency matrices. Furthermore, we give definitions of the positive and negative supports of the transfer matrix, and clarify explicit formulas of their supports of the square. In addition, we give tables by computer on the identification of digraphs by their eigenvalues.
Eigenvalues of zero-divisor graphs of finite commutative rings
We investigate eigenvalues of the zero-divisor graph $Γ(R)$ of finite commutative rings $R$ and study the interplay between these eigenvalues, the ring-theoretic properties of $R$ and the graph-theoretic properties of $Γ(R)$. The graph $Γ(R)$ is defined as the graph with vertex set consisting of all non-zero zero-divisors of $R$ and adjacent vertices $x,y$ whenever $xy = 0$. We provide formulas for the nullity of $Γ(R)$, i.e. the multiplicity of the eigenvalue 0 of $Γ(R)$. Moreover, we precisely determine the spectra of $Γ(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ and $Γ(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ for a prime number $p$. We introduce a graph product $\times_Γ$ with the property that $Γ(R) \cong Γ(R_1) \times_Γ \ldots \times_Γ Γ(R_r)$ whenever $R \cong R_1 \times \ldots \times R_r.$ With this product, we find relations between the number of vertices of the zero-divisor graph $Γ(R)$, the compressed zero-divisor graph, the structure of the ring $R$ and the eigenvalues of $Γ(R)$.
Hamiltonicity of random graphs in the stochastic block model
Published
• View Publication
• BIB
We study the Hamiltonicity of the following model of a random graph. Suppose that we partition [n] into V_1,V_2,...,V_k and add edge {x,y} to our graph with probability p if there exists i such that x,y\in V_i. Otherwise, we add the edge with probbability q. We denote this model by G(n, p,q) and give tight results for Hamiltonicity, including a critical window analysis, under various conditions.
The Alon-Tarsi number of planar graphs without cycles of lengths $4$ and $l$
Published
• View Publication
• BIB
This paper proves that if $G$ is a planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$, then there exists a matching $M$ such that $AT(G-M)\leq 3$. This implies that every planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$ is 1-defective 3-paintable.
The Waring's problem over finite fields through generalized Paley graphs
We show that the Waring's number over a finite field $\mathbb{F}_q$, denoted $g(k,q)$, when exists, coincides with the diameter of the generalized Paley graph $Γ(k,q)=Cay(\mathbb{F}_{q},R_k)$ with $R_k=\{x^k : x\in \mathbb{F}_q^*\}$. We find infinite new families of exact values of $g(k,q)$ from a characterization of graphs $Γ(k,q)$ which are also Hamming graphs previously proved by Lim and Praeger in 2009. Then, we show that every positive integer is the Waring number for some pair $(k,q)$ with $q$ not a prime. Finally, we find a lower bound for $g(k,p)$ with $p$ prime by using that $Γ(k,p)$ is a circulant graph in this case.
Distinguishing numbers and distinguishing indices of oriented graphs
Published in Discrete Applied Mathematics, Elsevier
• View Publication
• BIB
A distinguishing r-vertex-labelling (resp. r-edge-labelling) of an undirected graph G is a mapping $λ$ from the set of vertices (resp. the set of edges) of G to the set of labels {1,. .. , r} such that no non-trivial automorphism of G preserves all the vertex (resp. edge) labels. The distinguishing number D(G) and the distinguishing index D (G) of G are then the smallest r for which G admits a distinguishing r-vertex-labelling or r-edge-labelling, respectively. The distinguishing chromatic number D $χ$ (G) and the distinguishing chromatic index D $χ$ (G) are defined similarly, with the additional requirement that the corresponding labelling must be a proper colouring. These notions readily extend to oriented graphs, by considering arcs instead of edges. In this paper, we study the four corresponding parameters for oriented graphs whose underlying graph is a path, a cycle, a complete graph or a bipartite complete graph. In each case, we determine their minimum and maximum value, taken over all possible orientations of the corresponding underlying graph, except for the minimum values for unbalanced complete bipartite graphs K m,n with m = 2, 3 or 4 and n > 3, 6 or 13, respectively, or m $\ge$ 5 and n > 2 m -- m 2 , for which we only provide upper bounds.
Zeta functions with respect to general coined quantum walk of periodic graphs
Published
• View Publication
• BIB
We define a zeta function of a graph by using the time evolution matrix of a general coined quantum walk on it, and give a determinant expression for the zeta function of a finite graph. Furthermore, we present a determinant expression for the zeta function of an (infinite) periodic graph.
Bounded degree complexes of forests
Published in Discrete Mathematics, Volume 343, Issue 10, October 2020
• View Publication
• BIB
Given an arbitrary sequence of non-negative integers $\vecλ=(λ_1,\dots,λ_n)$ and a graph $G$ with vertex set $\{v_1,\dots,v_n\}$, the bounded degree complex, denoted $\text{BD}^{\vecλ}(G)$, is a simplicial complex whose faces are the subsets $H\subseteq E(G)$ such that for each $i \in \{1,\dots,n\}$, the degree of vertex $v_i$ in the induced subgraph $G[H]$ is at most $λ_i$. When $λ_i=k$ for all $i$, the bounded degree complex $\text{BD}^{\vecλ}(G)$ is called the $k$-matching complex, denoted $M_k(G)$.
In this article, we determine the homotopy type of bounded degree complexes of forests. In particular, we show that, for all $k\geq 1$, the $k$-matching complexes of caterpillar graphs are either contractible or homotopy equivalent to a wedge of spheres, thereby proving a conjecture of Julianne Vega \cite[Conjecture 7.3]{Vega19}. We also give a closed form formula for the homotopy type of the bounded degree complexes of those caterpillar graphs in which every non-leaf vertex is adjacent to at least one leaf vertex.
The unavoidable rotation systems
For each positive integer $m$, Pach, Solymosi, and Tóth identified two canonical complete topological subgraphs $C_m$ and $T_m$, and proved that every sufficiently large topological complete graph contains $C_m$ or $T_m$ as a subgraph. We generalize this result in the setting of abstract rotation systems.
A Novel Method to Construct NSSD Molecular Graphs
Published
• View Publication
• BIB
A graph is said to be NSSD (= non-singular with a singular deck) if it has no eigenvalue equal to zero, whereas all its vertex-deleted subgraphs have eigenvalues equal to zero. NSSD graphs are of importance in the theory of conductance of organic compounds. In this paper, a novel method is described for constructing NSSD molecular graphs from the commuting graphs of the $H_v$-group. An algorithm is presented to construct the NSSD graphs from these commuting graphs.
Cheeger-like inequalities for the largest eigenvalue of the graph Laplace Operator
Published in Journal of Graph Theory 97(3):408-425 (2021)
• View Publication
• BIB
We define a new Cheeger-like constant for graphs and we use it for proving Cheeger-like inequalities that bound the largest eigenvalue of the normalized Laplace operator.
Perfect Italian Domination Number of Graphs
In this paper, an upper bound for the perfect Italian domination number of the cartesian product of any two graphs is obtained and the exact value of this parameter for cartesian product of some special graphs are obtained. We have also proved that for any two positive integers $a$, $b$ there exists a graph $G$ and an induced subgraph $H$ of $G$ such that $γ_I^p(G) = a$ and $γ_I^p(H) = b$. Relationship of the perfect Italian domination number with the Roman domination number and the perfect domination number of a graph $G$ are obtained and the corresponding realization problems are also solved. We have also obtained the perfect Italian domination number of the Mycielskian of a graph in terms of the perfect domination number of the graph. Some open problems related to this parameters are also included.
Neighbor connectivity of $k$-ary $n$-cubes
The neighbor connectivity of a graph $G$ is the least number of vertices such that removing their closed neighborhoods from $G$ results in a graph that is disconnected, complete or empty. If a~graph is used to model the topology of an interconnection network, this means that the failure of a network node causes failures of all its neighbors. We completely determine the neighbor connectivity of $k$-ary $n$-cubes for all $n\ge1$ and $k\ge2$.
The Cost of Edge-distinguishing of the Cartesian Product of Connected Graphs
A graph $G$ is said to be $d$-distinguishable if there is a vertex coloring of $G$ with a set of $d$ colors which breaks all of the automorphisms of $G$ but the identity. We call the minimum $d$ for which a graph $G$ is $d$-distinguishiable the distinguishing number of $G$, denoted by $D(G)$. When $D(G)=2$, the minimum number of vertices in one of the color classes is called the cost of distinguishing of $G$ and is shown by $ρ(G)$. In this paper, we generalize this concept to edge-coloring by introducing the cost of edge-distinguishing of a graph $G$, denoted by $ρ'(G)$. Then, we consider $ρ'(K_n )$ for $n\geq 6$ by finding a procedure that gives the minimum number of edges of $K_n$ that should be colored differently to have a $2$-distinguishing edge-coloring. Afterwards, we develop a machinery to state a sufficient condition for a coloring of the Cartesian product to break all non-trivial automorphisms. Using this sufficient condition, we determine when cost of distinguishing and edge-distinguishing of the Cartesian power of a path equals to one. We also show that this parameters are equal to one for any Cartesian product of finitely many paths of different lengths. Moreover, we do a similar work for the Cartesian powers of a cycle and also for the Cartesian products of finitely many cycles of different orders. Upper bounds for the cost of edge-distinguishing of hypercubes and the Cartesian powers of complete graphs are also presented.
Number of Distinguishing Colorings and Partitions
Published in Discrete Mathematics Volume 343, Issue 9, September 2020, 111984
• View Publication
• BIB
A vertex coloring of a graph $G$ is called distinguishing (or symmetry breaking) if no non-identity automorphism of $G$ preserves it, and the distinguishing number, shown by $D(G)$, is the smallest number of colors required for such a coloring. This paper is about counting non-equivalent distinguishing colorings of graphs with $k$ colors. A parameter, namely $Φ_k (G)$, which is the number of non-equivalent distinguishing colorings of a graph $G$ with at most $k$ colors, is shown here to have an application in calculating the distinguishing number of the lexicographic product and the $X$-join of graphs. We study this index (and some other similar indices) which is generally difficult to calculate. Then, we show that if one knows the distinguishing threshold of a graph $G$, which is the smallest number of colors $θ(G)$ so that, for $k\geq θ(G)$, every $k$-coloring of $G$ is distinguishing, then, in some special cases, counting the number of distinguishing colorings with $k$ colors is very easy. We calculate $θ(G)$ for some classes of graphs including the Kneser graph $K(n,2)$. We then turn to vertex partitioning by studying the distinguishing coloring partition of a graph $G$; a partition of vertices of $G$ which induces a distinguishing coloring for $G$. There, we introduce $Ψ_k (G)$ as the number of non-equivalent distinguishing coloring partitions with at most $k$ cells, which is a generalization to its distinguishing coloring counterpart.
Bounds for Distinguishing Invariants of Infinite Graphs
Published in The electronic journal of combinatorics 24(3) (2017), #P3.6
• View Publication
• BIB
We consider infinite graphs. The distinguishing number $D(G)$ of a graph $G$ is the minimum number of colours in a vertex colouring of $G$ that is preserved only by the trivial automorphism. An analogous invariant for edge colourings is called the distinguishing index, denoted by $D'(G)$. We prove that $D'(G)\leq D(G)+1$. For proper colourings, we study relevant invariants called the distinguishing chromatic number $χ_D(G)$, and the distinguishing chromatic index $χ'_D(G)$, for vertex and edge colourings, respectively. We show that $χ_D(G)\leq 2Δ(G)-1$ for graphs with a finite maximum degree $Δ(G)$, and we obtain substantially lower bounds for some classes of graphs with infinite motion. We also show that $χ'_D(G)\leq χ'(G)+1$, where $χ'(G)$ is the chromatic index of $G$, and we prove a similar result $χ''_D(G)\leq χ''(G)+1$ for proper total colourings. A number of conjectures are formulated.
Graph classes with linear Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number $R_X(p,q)$ for a class of graphs $X$ is the minimum $n$ such that every graph in $X$ with at least $n$ vertices has either a clique of size $p$ or an independent set of size $q$. We say that Ramsey numbers are linear in $X$ if there is a constant $k$ such that $R_{X}(p,q) \leq k(p+q)$ for all $p,q$. In the present paper we conjecture that if $X$ is a hereditary class defined by finitely many forbidden induced subgraphs, then Ramsey numbers are linear in $X$ if and only if $X$ excludes a forest, a disjoint union of cliques and their complements. We prove the "only if" part of this conjecture and verify the "if" part for a variety of classes. We also apply the notion of linearity to bipartite Ramsey numbers and reveal a number of similarities and differences between the bipartite and non-bipartite case.
A Characterization For 2-Self-Centered Graphs
Published in Discussiones Mathematicae Graph Theory 38 (2018) 27-37
• View Publication
• BIB
A Graph is called 2-self-centered if its diameter and radius both equal to 2. In this paper, we begin characterizing these graphs by characterizing edge-maximal 2-self-centered graphs via their complements. Then we split characterizing edge-minimal 2-self-centered graphs into two cases. First, we characterize edge-minimal 2-self-centered graphs without triangles by introducing \emph{specialized bi-independent covering (SBIC)} and a structure named \emph{generalized complete bipartite graph (GCBG)}. Then, we complete characterization by characterizing edge-minimal 2-self-centered graphs with some triangles. Hence, the main characterization is done since a graph is 2-self-centered if and only if it is a spanning subgraph of some edge-maximal 2-self-centered graphs and, at the same time, it is a spanning supergraph of some edge-minimal 2-self-centered graphs.