connected graph
2596 papers tagged with this keyword
On distance-balanced generalized Petersen graphs
Published
• View Publication
• BIB
A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. We prove that the generalized Petersen graph $GP(n,k)$ is ${\rm diam}(GP(n,k))$-distance-balanced provided that $n$ is large enough relative to $k$. This partially solves a conjecture posed by Miklavič and Šparl \cite{Miklavic:2018}. We also determine ${\rm diam}(GP(n,k))$ when $n$ is large enough relative to $k$.
The $g$-extra connectivity of the strong product of paths and cycles
Published
• View Publication
• BIB
Let $G$ be a connected graph and $g$ be a non-negative integer. The $g$-extra connectivity of $G$ is the minimum cardinality of a set of vertices in $G$, if it exists, whose removal disconnects $G$ and leaves every component with more than $g$ vertices. The strong product $G_1 \boxtimes G_2$ of graphs $G_1=(V_{1}, E_{1})$ and $G_2=(V_{2}, E_{2})$ is the graph with vertex set $V(G_1 \boxtimes G_2)=V_{1} \times V_{2}$, where two distinct vertices $(x_{1}, x_{2}), (y_{1}, y_{2}) \in V_{1} \times V_{2}$ are adjacent in $G_1 \boxtimes G_2$ if and only if $x_{i}=y_{i}$ or $x_{i} y_{i} \in E_{i}$ for $i=1, 2$. In this paper, we obtain the $g$-extra connectivity of the strong product of two paths, the strong product of a path and a cycle, and the strong product of two cycles.
The minimum Kirchhoff index of phenylene chains
Published
• View Publication
• BIB
Let $G$ be a connected graph. The resistance distance between any two vertices of $G$ is equal to the effective resistance between them in the corresponding electrical network constructed from $G$ by replacing each edge with a unit resistor. The Kirchhoff index is defined as the sum of resistance distances between all pairs of the vertices. Recently, Yang and Wang determined the maximum Kirchhoff index of phenylene chains, and they proposed a conjecture about the minimum Kirchhoff index. In this note, we characterized the minimum phenylene chains with respect to the Kirchhoff index. This proves the conjecture.
Speeding up random walk mixing by starting from a uniform vertex
The theory of rapid mixing random walks plays a fundamental role in the study of modern randomised algorithms. Usually, the mixing time is measured with respect to the worst initial position. It is well known that the presence of bottlenecks in a graph hampers mixing and, in particular, starting inside a small bottleneck significantly slows down the diffusion of the walk in the first steps of the process. The average mixing time is defined to be the mixing time starting at a uniformly random vertex and hence is not sensitive to the slow diffusion caused by these bottlenecks.
In this paper we provide a general framework to show logarithmic average mixing time for random walks on graphs with small bottlenecks. The framework is especially effective on certain families of random graphs with heterogeneous properties. We demonstrate its applicability on two random models for which the mixing time was known to be of order $(\log n)^2$, speeding up the mixing to order $\log n$. First, in the context of smoothed analysis on connected graphs, we show logarithmic average mixing time for randomly perturbed graphs of bounded degeneracy. A particular instance is the Newman-Watts small-world model. Second, we show logarithmic average mixing time for supercritically percolated expander graphs. When the host graph is complete, this application gives an alternative proof that the average mixing time of the giant component in the supercritical Erdős-Rényi graph is logarithmic.
Cubic vertex-transitive graphs admitting automorphisms of large order
A connected graph of order $n$ admitting a semiregular automorphism of order $n/k$ is called a $k$-multicirculant. Highly symmetric multicirculants of small valency have been extensively studied, and several classification results exist for cubic vertex- and arc-transitive multicirculants. In this paper we study the broader class of cubic vertex-transitive graphs of order $n$ admitting an automorphism of order $n/3$ or larger that may not be semiregular. In particular, we show that any such graph is either a $k$-multicirculant for some $k \leq 3$, or it belongs to an infinite family of graphs of girth $6$.
Mathematical and chemistry properties of geometry-based invariants
Published
• View Publication
• BIB
Recently, based on elementary geometry, Gutman proposed several geometry-based invariants (i.e., $SO$, $SO_{1}$, $SO_{2}$, $SO_{3}$, $SO_{4}$, $SO_{5}$, $SO_{6}$). The Sombor index was defined as $SO(G)=\sum\limits_{uv\in E(G)}\sqrt{d_{u}^{2}+d_{v}^{2}}$, the first Sombor index was defined as $SO_{1}(G)= \frac{1}{2}\sum\limits_{uv\in E(G)}|d_{u}^{2}-d_{v}^{2}|$, where $d_{u}$ denotes the degree of vertex $u$.
In this paper, we consider the mathematical and chemistry properties of these geometry-based invariants. We determine the maximum trees (resp. unicyclic graphs) with given diameter, the maximum trees with given matching number, the maximum trees with given pendent vertices, the maximum trees (resp. minimum trees) with given branching number, the minimum trees with given maximum degree and second maximum degree, the minimum unicyclic graphs with given maximum degree and girth, the minimum connected graphs with given maximum degree and pendent vertices, and some properties of maximum connected graphs with given pendent vertices with respect to the first Sombor index $SO_{1}$.
As an application, we inaugurate these geometry-based invariants and verify their chemical applicability. We used these geometry-based invariants to model the acentric factor (resp. entropy, enthalpy of vaporization, etc.) of alkanes, and obtained satisfactory predictive potential, which indicates that these geometry-based invariants can be successfully used to model the thermodynamic properties of compounds.
$d$-connectivity of the random graph with restricted budget
Published
• View Publication
• BIB
In this short note, we consider a graph process recently introduced by Frieze, Krivelevich and Michaeli. In their model, the edges of the complete graph $K_n$ are ordered uniformly at random and are then revealed consecutively to a player called Builder. At every round, Builder must decide if they accept the edge proposed at this round or not. We prove that, for every $d\ge 2$, Builder can construct a spanning $d$-connected graph after $(1+o(1))n\log n/2$ rounds by accepting $(1+o(1))dn/2$ edges with probability converging to 1 as $n\to \infty$. This settles a conjecture of Frieze, Krivelevich and Michaeli.
Finite approximation of free groups I: the $F$-inverse cover problem
Published in Adv. Math. 482 (2025) 110563
• View Publication
• BIB
For a finite connected graph $\mathcal{E}$ with set of edges $E$, a finite $E$-generated group $G$ is constructed such that the set of relations $p=1$ satisfied by $G$ (with $p$ a word over $E\cup E^{-1}$) is closed under deletion of generators (i.e.~edges). As a consequence, every element $g\in G$ admits a unique minimal set $\mathrm{C}(g)$ of edges (the \emph{content} of $g$) needed to represent $g$ as a word over $\mathrm{C}(g)\cup\mathrm{C}(g)^{-1}$. The crucial property of the group $G$ is that connectivity in the graph $\mathcal{E}$ is encoded in $G$ in the following sense: if a word $p$ forms a path $u\longrightarrow v$ in $\mathcal{E}$ then there exists a $G$-equivalent word $q$ which also forms a path $u\longrightarrow v$ and uses only edges from their content; in particular, the content of the corresponding group element $[p]_G=[q]_G$ spans a connected subgraph of $\mathcal{E}$ containing the vertices $u$ and $v$. As the free group generated by $E$ obviously has these properties, the construction provides another instance of how certain features of free groups can be ``approximated'' or ``simulated'' in finite groups. As an application it is shown that every finite inverse monoid admits a finite $F$-inverse cover. This solves a long-standing problem of Henckell and Rhodes.
Disproof of a conjecture on the minimum Wiener index of signed trees
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of distances between all unordered pairs of vertices. Sam Spiro [The Wiener index of signed graphs, Appl. Math. Comput., 416(2022)126755] recently introduced the Wiener index for a signed graph and conjectured that the path $P_n$ with alternating signs has the minimum Wiener index among all signed trees with $n$ vertices. By constructing an infinite family of counterexamples, we prove that the conjecture is false whenever $n$ is at least 30.
Primary Non-QE Graphs on Six Vertices
Published in Interdisciplinary Information Sciences Vol. 29 (2023), Pages 141-156
• View Publication
• BIB
A connected graph is called of non-QE class if it does not admit a quadratic embedding in a Euclidean space. A non-QE graph is called primary if it does not contain a non-QE graph as an isometrically embedded proper subgraph. The graphs on six vertices are completely classified into the classes of QE graphs, of non-QE graphs, and of primary non-QE graphs.
Stability in Bondy's theorem on paths and cycles
Published in J. Combin. Theory Ser. B 175 (2025), 213--239
• View Publication
• BIB
In this paper, we study the stability result of a well-known theorem of Bondy. We prove that for any 2-connected non-hamiltonian graph, if every vertex except for at most one vertex has degree at least $k$, then it contains a cycle of length at least $2k+2$ except for some special families of graphs. Our results imply several previous classical theorems including a deep and old result by Voss. We point out our result on stability in Bondy's theorem can directly imply a positive solution (in a slight stronger form) to the following problem: Is there a polynomial time algorithm to decide whether a 2-connected graph $G$ on $n$ vertices has a cycle of length at least $\min\{2δ(G)+2,n\}$. This problem originally motivates the recent study on algorithmic aspects of Dirac's theorem by Fomin, Golovach, Sagunov and Simonov, although a stronger problem was solved by them by completely different methods. Our theorem can also help us to determine all extremal graphs for wheels on odd number of vertices. We also discuss the relationship between our results and some previous problems and theorems in spectral graph theory and generalized Turán problem.
Uniqueness of a solution to a general class of discrete system defined on connected graphs
Published
• View Publication
• BIB
In this work we prove uniqueness result for an implicit discrete system defined on connected graphs. Our discrete system is motivated from a certain class of spatial segregation of reaction-diffusion equations.
Approximating Highly Inapproximable Problems on Graphs of Bounded Twin-Width
For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation trade-off: We establish an $O(1)^{2^q-1}$-approximation algorithm running in time $\exp(O_q(n^{2^{-q}}))$, for every integer $q \geqslant 0$. Guided by the same framework, we obtain similar approximation algorithms for Min Coloring and Max Induced Matching. In general graphs, all these problems are known to be highly inapproximable: for any $\varepsilon > 0$, a polynomial-time $n^{1-\varepsilon}$-approximation for any of them would imply that P$=$NP [Hastad, FOCS '96; Zuckerman, ToC '07; Chalermsook et al., SODA '13]. We generalize the algorithms for Max Independent Set and Max Induced Matching to the independent (induced) packing of any fixed connected graph $H$. In contrast, we show that such approximation guarantees on graphs of bounded twin-width given with an $O(1)$-sequence are very unlikely for Min Independent Dominating Set, and somewhat unlikely for Longest Path and Longest Induced Path. Regarding the existence of better approximation algorithms, there is a (very) light evidence that the obtained approximation factor of $n^\varepsilon$ for Max Independent Set may be best possible. This is the first in-depth study of the approximability of problems in graphs of bounded twin-width. Prior to this paper, essentially the only such result was a~polynomial-time $O(1)$-approximation algorithm for Min Dominating Set [Bonnet et al., ICALP '21].
Unified almost linear kernels for generalized covering and packing problems on nowhere dense classes
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a family of graphs, and let $p,r$ be nonnegative integers. The \textsc{$(p,r,\mathcal{F})$-Covering} problem asks whether for a graph $G$ and an integer $k$, there exists a set $D$ of at most $k$ vertices in $G$ such that $G^p\setminus N_G^r[D]$ has no induced subgraph isomorphic to a graph in $\mathcal{F}$, where $G^p$ is the $p$-th power of $G$. The \textsc{$(p,r,\mathcal{F})$-Packing} problem asks whether for a graph $G$ and an integer $k$, $G^p$ has $k$ induced subgraphs $H_1,\ldots,H_k$ such that each $H_i$ is isomorphic to a graph in $\mathcal{F}$, and for distinct $i,j\in \{1, \ldots, k\}$, the distance between $V(H_i)$ and $V(H_j)$ in $G$ is larger than $r$.
We show that for every fixed nonnegative integers $p,r$ and every fixed nonempty finite family $\mathcal{F}$ of connected graphs, the \textsc{$(p,r,\mathcal{F})$-Covering} problem with $p\leq2r+1$ and the \textsc{$(p,r,\mathcal{F})$-Packing} problem with $p\leq2\lfloor r/2\rfloor+1$ admit almost linear kernels on every nowhere dense class of graphs, and admit linear kernels on every class of graphs with bounded expansion, parameterized by the solution size $k$. We obtain the same kernels for their annotated variants. As corollaries, we prove that \textsc{Distance-$r$ Vertex Cover}, \textsc{Distance-$r$ Matching}, \textsc{$\mathcal{F}$-Free Vertex Deletion}, and \textsc{Induced-$\mathcal{F}$-Packing} for any fixed finite family $\mathcal{F}$ of connected graphs admit almost linear kernels on every nowhere dense class of graphs and linear kernels on every class of graphs with bounded expansion. Our results extend the results for \textsc{Distance-$r$ Dominating Set} by Drange et al. (STACS 2016) and Eickmeyer et al. (ICALP 2017), and the result for \textsc{Distance-$r$ Independent Set} by Pilipczuk and Siebertz (EJC 2021).
Coarse geometry of the Cops and robber game
Published
• View Publication
• BIB
We introduce two variations of the cops and robber game on graphs. These games yield two invariants in $\mathbb{Z}_+\cup\{\infty\}$ for any connected graph $Γ$, the {weak cop number $\mathsf{wcop}(Γ)$} and the {strong cop number $\mathsf{scop}(Γ)$}. These invariants satisfy that $\mathsf{scop}(Γ)\leq\mathsf{wcop}(Γ)$. Any graph that is finite or a tree has strong cop number one. These new invariants are preserved under small local perturbations of the graph, specifically, both the weak and strong cop numbers are quasi-isometric invariants of connected graphs. More generally, we prove that if $Δ$ is a quasi-retract of $Γ$ then $\mathsf{wcop}(Δ)\leq\mathsf{wcop}(Γ)$ and $\mathsf{scop}(Δ)\leq\mathsf{scop}(Γ)$. We exhibit families of examples of graphs with arbitrary weak cop number (resp. strong cop number). We prove that hyperbolic graphs have strong cop number one. We also prove that one-ended non-amenable locally-finite vertex-transitive graphs have infinite weak cop number. We raise the question of whether there exists a connected vertex transitive graph with finite weak (resp. strong) cop number different than one.
On smallest $3$-polytopes of given graph radius
Published
• View Publication
• BIB
The $3$-polytopes are planar, $3$-connected graphs. A classical question is, for $r\geq 3$, is the $2(r-1)$-gonal prism $K_2\times C_{2(r-1)}$ the unique $3$-polytope of graph radius $r$ and smallest size? Under some extra assumptions, we answer this question in the positive.
Vertex Partitions and Maximum $\G$-free Subgraphs
We define a $(V_1, V_2, \ldots, V_k)$-partition for a given graph $H$ and graphical properties $P_1, P_2, \ldots, P_k$ as a partition where each $V_i$ induces a subgraph of $H$ with property $P_i$. Matamala (2007) extended this result by showing that for any graph $H$ with $Δ(H)=p+q$, there exists a $(V_1, V_2)$-partition of $V(H)$ where $H[V_1]$ is a maximum order $(p-1)$-degenerate induced subgraph and $H[V_2]$ is $(q-1)$-degenerate. Additionally, Catlin and Lai proved that if $Δ(H)\geq 5$, $H$ has a $(V_1, V_2)$-partition such that $H[V_1]$ is a maximum order acyclic induced subgraph, $ω(H[V_2])\leq Δ(H)-2$, and $Δ(H[V_2])\leq Δ(H)-2$.
Rowshan and Taherkhani demonstrated that given a graph $G$ with a minimum degree $δ(G)$ and for $k=\lceil \frac{Δ(H)}{δ(G)}\rceil$, there exists a $(V_1, V_2, \ldots, V_k)$-partition of the vertex set of $H$, such that each $H[V_i]$ is $G$-free, meaning it does not contain a subgraph isomorphic to $G$, and $H[V_1]$ is a maximum order $G$-free induced subgraph.
In our paper, we present a novel result for a connected graph $H$ with $Δ(H)\geq 5$ and without $K_{Δ(H)+1}\setminus e$ as a subgraph. We establish that when $p_1\geq p_2\geq\cdots\geq p_{k-1}\geq 2$, $p_k\geq 4$, $\sum_{i=1}^k p_i=Δ(H)-1+k$, and $\mathcal{G}_i$ represents a family of graphs with a minimum degree at least $p_i-1$ for each $i\in [k-1]$, a $(V_1, V_2, \ldots, V_k)$-partition of $V(H)$ exists. This partition guarantees that $H[V_1]$ is a maximum order $\mathcal{G}_1$-free induced subgraph, $H[V_i]$ is $\mathcal{G}_i$-free for each $2\leq i\leq k-1$, $Δ(H[V_k])\leq p_k$, and either $H[V_k]$ is $K_{p_k}$-free or its $p_k$-cliques are disjoint.
On the Maximum Sigma Index of k-Cyclic Graphs
Published
• View Publication
• BIB
Let $G$ be a graph with edge set $E(G)$. Denote by $d_w$ the degree of a vertex $w$ of $G$. The sigma index of $G$ is defined as $\sum_{uv\in E(G)}(d_u-d_v)^2$. A connected graph of order $n$ and size $n+k-1$ is known as a connected $k$-cyclic graph. Abdo, Dimitrov, and Gutman [Discrete Appl. Math. 250 (2018) 57-64] characterized the graphs having the greatest sigma index over the family of all connected graphs of a fixed order. The primary goal of the present note is to determine graphs possessing the greatest sigma index from the class of all connected $k$-cyclic graphs of a fixed order.
Characterising $3$-polytopes of radius one with unique realisation
Let $F$ be a planar, $3$-connected graph of radius one on $p$ vertices, with $a$ vertices of degree three. We characterise all unigraphic degree sequences for such graphs, when $a\geq 3$ and $p$ is large enough with respect to $a$. This complements the work of \cite{mafpo4} for $a\leq 3$.
Non-normal edge rings satisfying $(S_2)$-condition
Let $G$ be a finite simple connected graph on the vertex set $V(G)=[d]=\{1,\dots ,d\}$, with edge set $E(G)=\{e_{1},\dots , e_{n}\}$. Let $K[\mathbf{t}]=K[t_{1},\dots , t_{d}]$ be the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ generated by monomials $\mathbf{t}^{e}:=t_{i}t_{j}$, for $e=\{i,j\} \in E(G)$. In this paper, we will prove that, given integers $d$ and $n$, where $d\geq 7$ and $d+1\leq n\leq \frac{d^{2}-7d+24}{2}$, there exists a finite simple connected graph $G$ with $|V(G)|=d$ and $|E(G)|=n$, such that $K[G]$ is non-normal and satisfies $(S_{2})$-condition.