connected graph
2596 papers tagged with this keyword
Cyclability, Connectivity and Circumference
Published
• View Publication
• BIB
In a graph $G$, a subset of vertices $S \subseteq V(G)$ is said to be cyclable if there is a cycle containing the vertices in some order. $G$ is said to be $k$-cyclable if any subset of $k \geq 2$ vertices is cyclable. If any $k$ \textit{ordered} vertices are present in a common cycle in that order, then the graph is said to be $k$-ordered. We show that when $k \leq \sqrt{n+3}$, $k$-cyclable graphs also have circumference $c(G) \geq 2k$, and that this is best possible. Furthermore when $k \leq \frac{3n}{4} -1$, $c(G) \geq k+2$, and for $k$-ordered graphs we show $c(G) \geq \min\{n,2k\}$. We also generalize a result by Byer et al. on the maximum number of edges in nonhamiltonian $k$-connected graphs, and show that if $G$ is a $k$-connected graph of order $n \geq 2(k^2+k)$ with $|E(G)| > \binom{n-k}{2} + k^2$, then the graph is hamiltonian, and moreover the extremal graphs are unique.
Proper Conflict-free Coloring of Graphs with Large Maximum Degree
Published in SIAM J. Discrete Math. 38 (2024), 3004-3027
• View Publication
• BIB
A proper coloring of a graph is \emph{conflict-free} if, for every non-isolated vertex, some color is used exactly once on its neighborhood. Caro, Petruševski, and Škrekovski proved that every graph $G$ has a proper conflict-free coloring with at most $5Δ(G)/2$ colors and conjectured that $Δ(G)+1$ colors suffice for every connected graph $G$ with $Δ(G)\ge 3$. Our first main result is that even for list-coloring, $\left\lceil 1.6550826Δ(G)+\sqrt{Δ(G)}\right\rceil$ colors suffice for every graph $G$ with $Δ(G)\ge 10^{8}$; we also prove slightly weaker bounds for all graphs with $Δ(G)\ge 750$. These results follow from our more general framework on proper conflict-free list-coloring of a pair consisting of a graph $G$ and a "conflict" hypergraph ${\mathcal H}$. As another corollary of our results in this general framework, every graph has a proper $(\sqrt{30}+o(1))Δ(G)^{1.5}$-list-coloring such that every bi-chromatic component is a path on at most three vertices, where the number of colors is optimal up to a constant factor. Our proof uses a fairly new type of recursive counting argument called Rosenfeld counting, which is a variant of the Lovász Local Lemma or entropy compression.
We also prove an asymptotically optimal result for a fractional analogue of our general framework for proper conflict-free coloring for pairs of a graph and a conflict hypergraph. A corollary states that every graph $G$ has a fractional $(1+o(1))Δ(G)$-coloring such that every fractionally bi-chromatic component has at most two vertices. In particular, it implies that the fractional analogue of the conjecture of Caro et al.\ holds asymptotically in a strong sense.
Note on Sombor index of connected graphs with given degree sequence
Published
• View Publication
• BIB
For a simple connected graph $G=(V,E)$, let $d(u)$ be the degree of the vertex $u$ of $G$. The general Sombor index of $G$ is defined as $$SO_α(G)=\sum_{uv\in E} \left[d(u)^2+d(v)^2\right]^α$$ where $SO(G)=SO_{0.5}(G)$ is the recently invented Sombor index. In this paper, we show that in the class of connected graphs with a fixed degree sequence (for which the minimum degree being equal to one), there exists a special extremal $BFS$-graph with minimum general Sombor index for $0<α<1$ (resp. maximum general Sombor index for either $α>1$ or $α<0$). Moreover, for any given tree, unicyclic, and bicyclic degree sequences with minimum degree 1, there exists a unique extremal $BFS$-graph with minimum general Sombor index for $0<α<1$ and maximum general Sombor index for either $α>1$ or $α<0$.
On the $α$-index of minimally 2-connected graphs with given order or size
Published
• View Publication
• BIB
For any real $α\in [0,1]$, Nikiforov defined the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the diagonal matrix of vertex degrees of $G$, respectively. The largest eigenvalue of $A_α(G)$ is called the $α$-index or the $A_α$-spectral radius of $G$. A graph is minimally $k$-connected if it is $k$-connected and deleting any arbitrary chosen edge always leaves a graph which is not $k$-connected. In this paper, we characterize the extremal graphs with the maximum $α$-index for $α\in [\frac{1}{2},1)$ among all minimally 2-connected graphs with given order or size, respectively.
Random Embeddings of Graphs: The Expected Number of Faces in Most Graphs is Logarithmic
Published in Proceedings: ACM-SIAM Symposium on Discrete Algorithms, SODA 2024
• View Publication
• BIB
A random 2-cell embedding of a connected graph $G$ in some orientable surface is obtained by choosing a random local rotation around each vertex. Under this setup, the number of faces or the genus of the corresponding 2-cell embedding becomes a random variable. Random embeddings of two particular graph classes, those of a bouquet of $n$ loops and those of $n$ parallel edges connecting two vertices, have been extensively studied and are well-understood. However, little is known about more general graphs. The results of this paper explain why Monte Carlo methods cannot work for approximating the minimum genus of graphs.
In his breakthrough work [Permutation-partition pairs, JCTB 1991], Stahl developed the foundation of "random topological graph theory". Most of his results have been unsurpassed until today. In our work, we analyze the expected number of faces of random embeddings (equivalently, the average genus) of a graph $G$. It was very recently shown that for any graph $G$, the expected number of faces is at most linear. We show that the actual expected number of faces $F(G)$ is almost always much smaller. In particular, we prove:
1) $\frac{1}{2}\ln n - 2 < \mathbb{E}[F(K_n)] \le 3.65 \ln n +o(1)$.
2) For random graphs $G(n,p)$ ($p=p(n)$), we have $\mathbb{E}[F(G(n,p))] \le \ln^2 n+\frac{1}{p}$.
3) For random models $B(n,Δ)$ containing only graphs, whose maximum degree is at most $Δ$, we obtain stronger bounds by showing that the expected number of faces is $Θ(\log n)$.
On the Edge Derivative of the Normalized Laplacian with Applications to Kemeny's Constant
Published
• View Publication
• BIB
In a connected graph, Kemeny's constant gives the expected time of a random walk from an arbitrary vertex $x$ to reach a randomly-chosen vertex $y$. Because of this, Kemeny's constant can be interpreted as a measure of how well a graph is connected. It is generally unknown how the addition or removal of edges affects Kemeny's constant. Inspired by the directional derivative of the normalized Laplacian, we derive the directional derivative of Kemeny's constant for several graph families. In addition, we find sharp bounds for the directional derivative of an eigenvalue of the normalized Laplacian and bounds for the directional derivative of Kemeny's constant.
Clique factors in powers of graphs
The $k$th power of a graph $G$, denoted $G^k$, has the same vertex set as $G$, and two vertices are adjacent in $G^k$ if and only if there exists a path between them in $G$ of length at most $k$. A $K_r$-factor in a graph is a spanning subgraph in which every component is a complete graph of order $r$. It is easy to show that for any connected graph $G$ of order divisible by $r$, $G^{2r-2}$ contains a $K_r$-factor. This is best possible as there exist connected graphs $G$ of order divisible by $r$ such that $G^{2r-3}$ does not contain a $K_r$-factor. We conjecture that for any 2-connected graph $G$ of order divisible by $r$, $G^r$ contains a $K_r$-factor. This was known for $r \le 3$ and we prove it for $r = 4$. We prove a stronger statement that the vertex set of any 2-connected graph $G$ of order $4k$ can be partitioned into $k$ parts of size $4$, such that the four vertices in any part are contained in a subtree of $G$ of order at most 5. More generally, we conjecture that for any partition of $n = n_1+n_2+\cdots+n_k$, the vertex set of any 2-connected graph $G$ of order $n$ can be partitioned into $k$ parts $V_1,V_2,\ldots,V_k$, such that $|V_i| = n_i$ and $V_i \subseteq V(T_i)$ for some subtree $T_i$ of $G$ of order at most $n_i+1$, for $1 \le i \le k$.
The $A_α$ spectral radius of $k$-connected graphs with given diameter
Let $G$ be a graph with adjacency matrix $A(G)$ and degree diagonal matrix $D (G)$. In 2017, Nikiforov defined the matrix $A_α(G) = αD(G) + (1-α)A(G)$ for any real $α\in[0,1]$. The largest eigenvalue of $A_α(G)$ is called the $A_α$ spectral radius or the $A_α$-index of $G$.
Let $\mathcal{G}_{n,k}^d$ be the set of $k$-connected graphs of order $n$ with diameter $d$. In this paper, we determine the graphs with maximum $A_α$ spectral radius among all graphs in $\mathcal{G}_{n,k}^d$ for any $α\in[0,1)$, where $k\geq2$ and $d\geq2$. We generalizes the results about adjacency matrix of Theorem 3.6 in [P. Huang, W.C. Shiu, P.K. Sun, Linear Algebra Appl., 488 (2016) 350--362] and the results about signless Laplacian matrix of Theorem 3.4 in [P. Huang, J.X. Li, W.C. Shiu, Linear Algebra Appl., 617 (2021) 78--99]. Furthermore, we also obtain the upper and lower bounds of the extremal graph in $\mathcal{G}_{n,k}^d$.
Gallai's Conjecture for Complete and "Nearly Complete" Graphs
The famous Gallai's Conjecture states that any connected graph with n vertices has a path decomposition containing at most (n+1)/2 paths. In this note, we explore graphs generated from removing edges from complete graphs. We first provide an explicit construction for a path decomposition of complete graphs that satisfies Gallai's Conjecture. We then use that construction to prove that we can remove stars and certain tadpoles such that the resulting graph still satisfies Gallai's Conjecture. We also introduce a potential general approach through analyzing non-isomorphic path decompositions of complete graphs.
Graphs with many independent vertex cuts
Published
• View Publication
• BIB
The cycles are the only $2$-connected graphs in which any two nonadjacent vertices form a vertex cut. We generalize this fact by proving that for every integer $k\ge 3$ there exists a unique graph $G$ satisfying the following conditions: (1) $G$ is $k$-connected; (2) the independence number of $G$ is greater than $k;$ (3) any independent set of cardinality $k$ is a vertex cut of $G.$ The edge version of this result does not hold. We also consider the problem when replacing independent sets by the periphery.
Counting Connected Partitions of Graphs
Published
• View Publication
• BIB
Motivated by the theorem of Gy\H ori and Lovász, we consider the following problem. For a connected graph $G$ on $n$ vertices and $m$ edges determine the number $P(G,k)$ of unordered solutions of positive integers $\sum_{i=1}^k m_i = m$ such that every $m_i$ is realized by a connected subgraph $H_i$ of $G$ with $m_i$ edges such that $\cup_{i=1}^kE(H_i)=E(G)$. We also consider the vertex-partition analogue.
We prove various lower bounds on $P(G,k)$ as a function of the number $n$ of vertices in $G$, as a function of the average degree $d$ of $G$, and also as the size $\mathrm{CMC}_r(G)$ of $r$-partite connected maximum cuts of $G$. Those three lower bounds are tight up to a multiplicative constant.
We also prove that the number $π(G,k)$ of unordered $k$-tuples with $\sum_{i=1}^kn_i=n$, that are realizable by vertex partitions into $k$ connected parts of respective sizes $n_1,n_2,\dots,n_k$, is $Ω(d^{k-1})$.
A note on estimating global subgraph counts by sampling
Published
• View Publication
• BIB
We give a simple proof of a generalization of an inequality for homomorphism counts by Sidorenko (1994). A special case of our inequality says that if $d_v$ denotes the degree of a vertex $v$ in a graph $G$ and $\textrm{Hom}_Δ(H, G)$ denotes the number of homomorphisms from a connected graph $H$ on $h$ vertices to $G$ which map a particular vertex of $H$ to a vertex $v$ in $G$ with $d_v \ge Δ$, then $ \textrm{Hom}_Δ(H,G) \le \sum_{v\in G} d_v^{h-1}\mathbf{1}_{d_v\ge Δ} $
We use this inequality to study the minimum sample size needed to estimate the number of copies of $H$ in $G$ by sampling vertices of $G$ at random.
On distance Laplacian spread and Wiener index of a graph
Published
• View Publication
• BIB
Let $G$ be a simple connected simple graph of order $n$. The distance Laplacian matrix $D^{L}(G)$ is defined as $D^L(G)=Diag(Tr)-D(G)$, where $Diag(Tr)$ is the diagonal matrix of vertex transmissions and $D(G)$ is the distance matrix of $G$. The eigenvalues of $D^{L}(G)$ are the distance Laplacian eigenvalues of $G$ and are denoted by $\partial_{1}^{L}(G), \partial_{2}^{L}(G),\dots,\partial_{n}^{L}(G)$. The \textit{ distance Laplacian spread} $DLS(G)$ of a connected graph $G$ is the difference between largest and second smallest distance Laplacian eigenvalues, that is, $\partial_{1}^{L}(G)-\partial_{n-1}^{L}(G)$. We obtain bounds for $DLS(G)$ in terms of the Wiener index $W(G)$, order $n$ and the maximum transmission degree $Tr_{max}(G)$ of $G$ and characterize the extremal graphs. We obtain two lower bounds for $DLS(G)$, the first one in terms of the order, diameter and the Wiener index of the graph, and the second one in terms of the order, maximum degree and the independence number of the graph. For a connected $ k-partite$ graph $G$, $k\leq n-1$, with $n$ vertices having disconnected complement, we show that
$ DLS(G)\geq \Big \lfloor \frac{n}{k}\Big \rfloor$ with equality if and only if $G$ is a $complete ~ k-partite$ graph having cardinality of each independent class same and $n \equiv 0 \pmod k$.
Cut paths and their remainder structure, with applications
Published
• View Publication
• BIB
In a strongly connected graph $G = (V,E)$, a cut arc (also called strong bridge) is an arc $e \in E$ whose removal makes the graph no longer strongly connected. Equivalently, there exist $u,v \in V$, such that all $u$-$v$ walks contain $e$. Cut arcs are a fundamental graph-theoretic notion, with countless applications, especially in reachability problems.
In this paper we initiate the study of cut paths, as a generalisation of cut arcs, which we naturally define as those paths $P$ for which there exist $u,v \in V$, such that all $u$-$v$ walks contain $P$ as subwalk. We first prove various properties of cut paths and define their remainder structures, which we use to present a simple $O(m)$-time verification algorithm for a cut path ($|V| = n$, $|E| = m$).
Secondly, we apply cut paths and their remainder structures to improve several reachability problems from bioinformatics. A walk is called safe if it is a subwalk of every node-covering closed walk of a strongly connected graph. Multi-safety is defined analogously, by considering node-covering sets of closed walks instead. We show that cut paths provide simple $O(m)$-time algorithms verifying if a walk is safe or multi-safe. For multi-safety, we present the first linear time algorithm, while for safety, we present a simple algorithm where the state-of-the-art employed complex data structures. Finally we show that the simultaneous computation of remainder structures of all subwalks of a cut path can be performed in linear time. These properties yield an $O(mn)$ algorithm outputting all maximal multi-safe walks, improving over the state-of-the-art algorithm running in time $O(m^2+n^3)$.
The results of this paper only scratch the surface in the study of cut paths, and we believe a rich structure of a graph can be revealed, considering the perspective of a path, instead of just an arc.
Distance Seidel matrix of a connected graph
Published
• View Publication
• BIB
For a connected graph $G$, we present the concept of a new graph matrix related to its distance and Seidel matrix, called distance Seidel matrix $\mathcal{D}^S(G)$. Suppose that the eigenvalues of $\mathcal{D}^S(G)$ be $\partial_{1}^{S}(G) \geq \cdots \geq \partial_{n}^{S}(G).$ In this article, we establish a relationship between distance Seidel eigenvalues of a graph with its distance and adjacency eigenvalues. We characterize all the connected graphs with $\partial_{1}^{S}(G)= 3.$ Also, we determine different bounds for the distance Seidel spectral radius and distance Seidel energy. We study the distance Seidel energy change of the complete bipartite graph due to the deletion of an edge. Moreover, we obtain the distance Seidel spectra of different graph operations such as join, cartesian product, lexicographic product, and unary operations like the double graph and extended double cover graph. We give various families of distance Seidel cospectral and distance Seidel integral graphs as an application.
Bounds for DP color function and canonical labelings
Published
• View Publication
• BIB
The DP-coloring is a generalization of the list coloring, introduced by Dvořák and Postle. Let $\mathcal{H}=(L,H)$ be a cover of a graph $G$ and $P_{DP}(G,\mathcal{H})$ be the number of $\mathcal{H}$-colorings of $G$. The DP color function $P_{DP}(G,m)$ of $G$, introduced by Kaul and Mudrock, is the minimum value of $P_{DP}(G,\mathcal{H})$ where the minimum is taken over all possible $m$-fold covers $\mathcal{H}$ of $G$. For the family of $n$-vertex connected graphs, one can deduce that trees maximize the DP color function, from two results of Kaul and Mudrock. In this paper we obtain tight upper bounds for the DP color function of $n$-vertex $2$-connected graphs. Another concern in this paper is the canonical labeling in a cover. It is well known that if an $m$-fold cover $\mathcal{H}$ of a graph $G$ has a canonical labeling, then $P_{DP}(G,\mathcal{H})=P(G,m)$ in which $P(G,m)$ is the chromatic polynomial of $G$. However the converse statement of this conclusion is not always true. We give examples that for some $m$ and $G$, there exists an $m$-fold cover $\mathcal{H}$ of $G$ such that $P_{DP}(G,\mathcal{H})=P(G,m)$, but $\mathcal{H}$ has no canonical labelings. We also prove that when $G$ is a unicyclic graph or a theta graph, for each $m\geq 3$, if $P_{DP}(G,\mathcal{H})=P(G,m)$, then $\mathcal{H}$ has a canonical labeling.
Complete characterization of s-bridge graphs with local antimagic chromatic number 2
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we characterize $s$-bridge graphs with local antimagic chromatic number 2.
On two cycles of consecutive even lengths
Published
• View Publication
• BIB
Bondy and Vince showed that every graph with minimum degree at least three contains two cycles of lengths differing by one or two.We prove the following average degree counterpart that every $n$-vertex graph $G$ with at least $\frac52(n-1)$ edges, unless $4|(n-1)$ and every block of $G$ is a clique $K_5$, contains two cycles of consecutive even lengths. Our proof is mainly based on structural analysis, and a crucial step which may be of independent interest shows that the same conclusion holds for every 3-connected graph with at least 6 vertices. This solves a special case of a conjecture of Verstraëte. The quantitative bound is tight and also provides the optimal extremal number for cycles of length two modulo four.
Reconstruction and Edge Reconstruction of Triangle-free Graphs
Published
• View Publication
• BIB
The Reconstruction Conjecture due to Kelly and Ulam states that every graph with at least 3 vertices is uniquely determined by its multiset of subgraphs $\{G-v: v\in V(G)\}$. Let $diam(G)$ and $κ(G)$ denote the diameter and the connectivity of a graph $G$, respectively, and let $\mathcal{G}_2:=\{G: \textrm{diam}(G)=2\}$ and $\mathcal{G}_3:=\{G:\textrm{diam}(G)=\textrm{diam}(\overline{G})=3\}$. It is known that the Reconstruction Conjecture is true if and only if it is true for every 2-connected graph in $\mathcal{G}_2\cup \mathcal{G}_3$. Balakumar and Monikandan showed that the Reconstruction Conjecture holds for every triangle-free graph $G$ in $\mathcal{G}_2\cup \mathcal{G}_3$ with $κ(G)=2$. Moreover, they asked whether the result still holds if $κ(G)\ge 3$. (If yes, the class of graphs critical for solving the Reconstruction Conjecture is restricted to 2-connected graphs in $\mathcal{G}_2\cup\mathcal{G}_3$ which contain triangles.) In this paper, we give a partial solution to their question by showing that the Reconstruction Conjecture holds for every triangle-free graph $G$ in $\mathcal{G}_3$ and every triangle-free graph $G$ in $\mathcal{G}_2$ with $κ(G)=3$. We also prove similar results about the Edge Reconstruction Conjecture.
Graphs with the same truncated cycle matroid
The classical Whitney's 2-Isomorphism Theorem describes the families of graphs having the same cycle matroid. In this paper we describe the families of graphs having the same truncated cycle matroid and prove, in particular, that every 3-connected graph, except for K4, is uniquely defined by its truncated cycle matroid.