connected graph
2651 papers tagged with this keyword
The distinguishing index of graphs with at least one cycle is not more than its distinguishing number
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. The complete characterization of finite trees $T$ with $D'(T)=D(T)+ 1$ has been given recently.
In this note we show that if $G$ is a finite connected graph with at least one cycle, then $D'(G)\leq D(G)$. Finally, we characterize all connected graphs for which $D'(G) \leq D(G)$.
On the transmission-based graph topological indices
Published in Kragujevac Journal of Mathematics, 44(1) (2020) 44-63
• View Publication
• BIB
The distance $d(u,v)$ between the vertices $u$ and $v$ of a connected graph $G$ is defined as the number of edges in a minimal path connecting them. The \emph{transmission} of a vertex $v$ of $G$ is defined by $σ(v)=\sum\limits_{u\in V(G)}{d(v,u)}$. In this article we aim to define some transmission-based topological indices. We obtain lower and upper bounds on these indices and characterize graphs for which these bounds are best possible. Finally, we find these indices for various graphs using the group of automorphisms of $G$. This is an efficient method of finding these indices especially when the automorphism group of $G$ has a few orbits on $V(G)$ or $E(G)$.
Rainbow saturation of graphs
In this paper we study the following problem proposed by Barrus, Ferrara, Vandenbussche, and Wenger. Given a graph $H$ and an integer $t$, what is $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(H)}\right)$, the minimum number of edges in a $t$-edge-coloured graph $G$ on $n$ vertices such that $G$ does not contain a rainbow copy of $H$, but adding to $G$ a new edge in any colour from $\{1,2,\ldots,t\}$ creates a rainbow copy of $H$? Here, we completely characterize the growth rates of $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(H)}\right)$ as a function of $n$, for any graph $H$ belonging to a large class of connected graphs and for any $t\geq e(H)$. This classification includes all connected graphs of minimum degree $2$. In particular, we prove that $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(K_r)}\right)=Θ(n\log n)$, for any $r\geq 3$ and $t\geq {r \choose 2}$, thus resolving a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We also pose several new problems and conjectures.
Maximum number of colourings. II. 5-chromatic graphs
Published
• View Publication
• BIB
In 1971, Tomescu conjectured [Le nombre des graphes connexes $k$-chromatiques minimaux aux sommets étiquetés, C. R. Acad. Sci. Paris 273 (1971), 1124--1126] that every connected graph $G$ on $n$ vertices with $χ(G) = k \geq 4$ has at most $k!(k-1)^{n-k}$ $k$-colourings, where equality holds if and only if the graph is formed from $K_k$ by repeatedly adding leaves. In this note we prove (a strengthening of) the conjecture of Tomescu when $k=5$.
Longer Cycles in Essentially 4-Connected Planar Graphs
Published in Discussiones Mathematicae Graph Theory, ISSN (Online) 2083-5892
• View Publication
• BIB
A planar 3-connected graph $G$ is called \emph{essentially $4$-connected} if, for every 3-separator $S$, at least one of the two components of $G-S$ is an isolated vertex. Jackson and Wormald proved that the length $\mathop{\rm circ}\nolimits(G)$ of a longest cycle of any essentially 4-connected planar graph $G$ on $n$ vertices is at least $\frac{2n+4}{5}$ and Fabrici, Harant and Jendrol' improved this result to $\mathop{\rm circ}\nolimits(G)\geq \frac{1}{2}(n+4)$. In the present paper, we prove that an essentially 4-connected planar graph on $n$ vertices contains a cycle of length at least $\frac{3}{5}(n+2)$ and that such a cycle can be found in time $O(n^2)$.
The quantum adjacency algebra and subconstituent algebra of a graph
Published
• View Publication
• BIB
Let $Γ$ denote a finite, undirected, connected graph, with vertex set $X$. Fix a vertex $x \in X$. Associated with $x$ is a certain subalgebra $T=T(x)$ of ${\rm Mat}_X(\mathbb C)$, called the subconstituent algebra. The algebra $T$ is semisimple. Hora and Obata introduced a certain subalgebra $Q \subseteq T$, called the quantum adjacency algebra. The algebra $Q$ is semisimple. In this paper we investigate how $Q$ and $T$ are related. In many cases $Q=T$, but this is not true in general. To clarify this issue, we introduce the notion of quasi-isomorphic irreducible $T$-modules. We show that the following are equivalent: (i) $Q \neq T$; (ii) there exists a pair of quasi-isomorphic irreducible $T$-modules that have different endpoints. To illustrate this result we consider two examples. The first example concerns the Hamming graphs. The second example concerns the bipartite dual polar graphs. We show that for the first example $Q=T$, and for the second example $Q \neq T$.
Nonseparating trees in 2-connected graphs and oriented trees in strongly connected digraphs
Published
• View Publication
• BIB
Mader [J. Graph Theory 65 (2010) 61-69] conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $δ(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. The conjecture has been verified for paths, trees when $k=1$, and stars or double-stars when $k=2$. In this paper we verify the conjecture for two classes of trees when $k=2$.
For digraphs, Mader [J. Graph Theory 69 (2012) 324-329] conjectured that every $k$-connected digraph $D$ with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq 2k+m-1$ for a positive integer $m$ has a dipath $P$ of order $m$ with $κ(D-V(P))\geq k$. The conjecture has only been verified for the dipath with $m=1$, and the dipath with $m=2$ and $k=1$. In this paper, we prove that every strongly connected digraph with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq m+1$ contains an oriented tree $T$ isomorphic to some given oriented stars or double-stars with order $m$ such that $D-V(T)$ is still strongly connected.
On the separation conjecture in Avoider-Enforcer games
Published
• View Publication
• BIB
Given a fixed graph $H$ with at least two edges and positive integers $n$ and $b$, the strict $(1 \colon b)$ Avoider-Enforcer $H$-game, played on the edge set of $K_n$, has the following rules: In each turn Avoider picks exactly one edge, and then Enforcer picks exactly $b$ edges. Avoider wins if and only if the subgraph containing her/his edges is $H$-free after all edges of $K_n$ are taken.
The lower threshold of a graph $H$ with respect to $n$ is the largest $b_0$ for which Enforcer has a winning strategy for the $(1\colon b)$ $H$-game played on $K_n$ for any $b \leq b_0$, and the upper threshold is the largest $b$ for which Enforcer wins the $(1 \colon b)$ game. The separation conjecture of Hefetz, Krivelevich, Stojaković and Szabó states that for any connected $H$, the lower threshold and the upper threshold of the Avoider-Enforcer $H$-game played on $K_n$ are not of the same order in $n$. Until now, the conjecture has been verified only for stars, by Grzesik, Mikalački, Nagy, Naor, Patkos and Skerman.
We show that the conjecture holds for every connected graph $H$ with at most one cycle (and at least two edges), with a polynomial separation between the lower and upper thresholds. We also prove an upper bound for the lower threshold of any graph $H$ with at least two edges, and show that this bound is tight for all graphs in which each connected component contains at most one cycle. Along the way, we establish number-theoretic tools that might be useful for other problems of this type.
Chromatic number, Clique number, and Lovász's bound: In a comparison
In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number. He showed that if neighborhood complex $\mathcal{N}(G)$ of a graph $G$ is topologically $k$-connected, then its chromatic number is at least $k+3$. Then he completed his proof by showing that this bound is tight for the Kneser graph. However, there are some graphs where this bound is not useful at all, even comparing by the obvious bound; the clique number. For instance, if a graph contains no complete bipartite graph $\mathcal{K}_{l, m}$, then its Lovász's bound is at most $l+m-1$. But, it can have an arbitrarily large chromatic number.
In this note, we present new graphs showing that the gaps between the chromatic number, the clique number, and the Lovász bound can be arbitrarily large. More precisely, for given positive integers $l, m$ and $2\leq p\leq q$, we construct a connected graph which contains a copy of $\mathcal{K}_{l,m}$, and its chromatic number, clique number, and Lovász's bound are $q$, $p$, and $3$, respectively.
Distinguishing graphs of maximum valence 3
The distinguishing number $D(G)$ of a graph $G$ is the smallest number of colors that is needed to color $G$ such that the only color preserving automorphism is the identity. We give a complete classification for all connected graphs $G$ of maximum valence $\triangle(G)=3$ and distinguishing number $D(G) = 3$. As one of the consequences we get that all infinite connected graphs with $\triangle(G)=3$ are 2-distinguishable.
Uniform Edge Betweenness Centrality
Published
• View Publication
• BIB
The edge betweenness centrality of an edge is loosely defined as the fraction of shortest paths between all pairs of vertices passing through that edge. In this paper, we investigate graphs where the edge betweenness centrality of edges is uniform. It is clear that if a graph G is edge-transitive (its automorphism group acts transitively on its edges) then G has uniform edge betweenness centrality. However this sufficient condition is not necessary. Graphs that are not edge-transitive but have uniform edge betweenness centrality appear to be very rare. Of the over 11.9 million connected graphs on up to ten vertices, there are only four graphs that are not edge-transitive but have uniform edge betweenness centrality. Despite this rarity among small graphs, we present methods for creating infinite classes of graphs with this unusual combination of properties.
Spanning trees with few branch vertices
Published
• View Publication
• BIB
A branch vertex in a tree is a vertex of degree at least three. We prove that, for all $s\geq 1$, every connected graph on $n$ vertices with minimum degree at least $(\frac{1}{s+3}+o(1))n$ contains a spanning tree having at most $s$ branch vertices. Asymptotically, this is best possible and solves, in less general form, a problem of Flandrin, Kaiser, Kuuzel, Li and Ryjáucek, which was originally motivated by an optimization problem in the design of optical networks.
The Graovac-Pisanski index of connected bipartite graphs with applications to hydrocarbon molecules
Published in Fuller. Nanotub. Car. N. 29 (2021) 884-889
• View Publication
• BIB
The Graovac-Pisanski index, also called the modified Wiener index, was introduced in 1991 and represents an extension of the original Wiener index, because it considers beside the distances in a graph also its symmetries. Similarly as Wiener in 1947 showed the correlation of the Wiener indices of the alkane series with the boiling points, in 2018 the connection between the Graovac-Pisanski index and the melting points of some hydrocarbon molecules was established. In this paper, we prove that the Graovac-Pisanski index of any connected bipartite graph as well as of any connected graph on an even number of vertices is an integer number. These results are applied to some important families of hydrocarbon molecules. By using a computer programme, the graphs with a non-integer Graovac-Pisanski index on at most nine vertices are counted. Finally, an infinite class of unicyclic graphs with a non-integer Graovac-Pisanski index is described.
On the maximum value of conflict-free verex-connection number of graphs
Published
• View Publication
• BIB
A path in a vertex-colored graph is called {\it conflict-free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be {\it conflict-free vertex-connected} if any two vertices of the graph are connected by a conflict-free path. The {\it conflict-free vertex-connection number}, denoted by $vcfc(G)$, is defined as the smallest number of colors required to make $G$ conflict-free vertex-connected. Li et al. conjectured that for a connected graph $G$ of order $n$, $vcfc(G)\leq vcfc(P_n)$. We confirm that the conjecture is true and pose a a relevant conjecture concerning the conflict-free connection number introduced by Czap et al..
On $k$-tuple and $k$-tuple total domination numbers of regular graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph of order $n$, whose minimum vertex degree is at least $k$. A subset $S$ of vertices in $G$ is a $k$-tuple total dominating set if every vertex of $G$ is adjacent to at least $k$ vertices in $S$. The minimum cardinality of a $k$-tuple total dominating set of $G$ is the $k$-tuple total domination number of $G$, denoted by $γ_{\times k,t}(G)$. Henning and Yeo in \cite{hen} proved that if $G$ is a cubic graph different from the Heawood graph, $γ_{\times 2, t}(G) \leq \frac{5}{6}n$, and this bound is sharp. Similarly, a $k$-tuple dominating set is a subset $S$ of vertices of $G$, $V (G)$ such that $|N[v] \cap S| \geq k$ for every vertex $v$, where $N[v] = \{v\}\cup \{u \in V(G) : uv \in E(G)\}$. The $k$-tuple domination number of $G$, denoted by $γ_{\times k}(G)$, is the minimum cardinality of a $k$-tuple dominating set of $G$.
In this paper, we give a simple approach to compute an upper bound for $(r-1)$-tuple total domination number of $r$-regular graphs. Also, we give an upper bound for the $r$-tuple dominating number of $r$-regular graphs. In addition, our method gives algorithms to compute dominating sets with the given bounds, while the previous methods are existential.
Speeding up non-Markovian First Passage Percolation with a few extra edges
Published
• View Publication
• BIB
One model of real-life spreading processes is First Passage Percolation (also called SI model) on random graphs. Social interactions often follow bursty patterns, which are usually modelled with i.i.d.~heavy-tailed passage times on edges. On the other hand, random graphs are often locally tree-like, and spreading on trees with leaves might be very slow, because of bottleneck edges with huge passage times. Here we consider the SI model with passage times following a power law distribution $\mathbb{P}(ξ>t)\sim t^{-α}$, with infinite mean. For any finite connected graph $G$ with a root $s$, we find the largest number of vertices $κ(G,s)$ that are infected in finite expected time, and prove that for every $k \leq κ(G,s)$, the expected time to infect $k$ vertices is at most $O(k^{1/α})$. Then, we show that adding a single edge from $s$ to a random vertex in a random tree $\mathcal{T}$ typically increases $κ(\mathcal{T},s)$ from a bounded variable to a fraction of the size of $\mathcal{T}$, thus severely accelerating the process. We examine this acceleration effect on some natural models of random graphs: critical Galton-Watson trees conditioned to be large, uniform spanning trees of the complete graph, and on the largest cluster of near-critical Erdős-Rényi graphs. In particular, at the upper end of the critical window, the process is already much faster than exactly at criticality.
Undirecting membership in models of ZFA
Published
• View Publication
• BIB
It is known that, if we take a countable model of Zermelo--Fraenkel set theory ZFC and "undirect" the membership relation (that is, make a graph by joining $x$ to $y$ if either $x\in y$ or $y\in x$), we obtain the Erdős--Rényi random graph. The crucial axiom in the proof of this is the Axiom of Foundation, so it is natural to wonder what happens if we delete this axiom, or replace it by an alternative (such as Aczel's Anti-Foundation Axiom). The resulting graph may fail to be simple, it may have loops (if $x\in x$ for some $x$) or multiple edges (if $x\in y$ and $y\in x$ for some $x,y$). We show that, in ZFA, if we keep the loops and ignore the multiple edges, we obtain the "random loopy graph" (which is $\aleph_0$-categorical and homogeneous), but if we keep multiple edges, the resulting graph is not $\aleph_0$-categorical, but has infinitely many $1$-types. Moreover, if we keep only loops and double edges and discard single edges, the resulting graph contains countably many connected components isomorphic to any given finite connected graph with loops.
Graphs with at most three distance eigenvalues different from $-1$ and $-2$
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices, and let $D(G)$ be the distance matrix of $G$. Let $\partial_1(G)\ge\partial_2(G)\ge\cdots\ge\partial_n(G)$ denote the eigenvalues of $D(G)$. In this paper, we characterize all connected graphs with $\partial_{3}(G)\leq -1$ and $\partial_{n-1}(G)\geq -2$. By the way, we determine all connected graphs with at most three distance eigenvalues different from $-1$ and $-2$.
The Weisfeiler-Leman Dimension of Planar Graphs is at most 3
Published
• View Publication
• BIB
We prove that the Weisfeiler-Leman (WL) dimension of the class of all finite planar graphs is at most 3. In particular, every finite planar graph is definable in first-order logic with counting using at most 4 variables. The previously best known upper bounds for the dimension and number of variables were 14 and 15, respectively.
First we show that, for dimension 3 and higher, the WL-algorithm correctly tests isomorphism of graphs in a minor-closed class whenever it determines the orbits of the automorphism group of any arc-colored 3-connected graph belonging to this class.
Then we prove that, apart from several exceptional graphs (which have WL-dimension at most 2), the individualization of two correctly chosen vertices of a colored 3-connected planar graph followed by the 1-dimensional WL-algorithm produces the discrete vertex partition. This implies that the 3-dimensional WL-algorithm determines the orbits of a colored 3-connected planar graph.
As a byproduct of the proof, we get a classification of the 3-connected planar graphs with fixing number 3.
Ramsey-nice families of graphs
Published in Eur. J. Combin. 72 (2018) 29-44
• View Publication
• BIB
For a finite family $\mathcal{F}$ of fixed graphs let $R_k(\mathcal{F})$ be the smallest integer $n$ for which every $k$-coloring of the edges of the complete graph $K_n$ yields a monochromatic copy of some $F\in\mathcal{F}$. We say that $\mathcal{F}$ is $k$-nice if for every graph $G$ with $χ(G)=R_k(\mathcal{F})$ and for every $k$-coloring of $E(G)$ there exists a monochromatic copy of some $F\in\mathcal{F}$. It is easy to see that if $\mathcal{F}$ contains no forest, then it is not $k$-nice for any $k$. It seems plausible to conjecture that a (weak) converse holds, namely, for any finite family of graphs $\mathcal{F}$ that contains at least one forest, and for all $k\geq k_0(\mathcal{F})$ (or at least for infinitely many values of $k$), $\mathcal{F}$ is $k$-nice. We prove several (modest) results in support of this conjecture, showing, in particular, that it holds for each of the three families consisting of two connected graphs with 3 edges each and observing that it holds for any family $\mathcal{F}$ containing a forest with at most 2 edges. We also study some related problems and disprove a conjecture by Aharoni, Charbit and Howard regarding the size of matchings in regular 3-partite 3-uniform hypergraphs.