arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2651 papers tagged with this keyword
2023-07-16 v2
On the sizes of generalized cactus graphs
Published • View Publication • BIB
A cactus is a connected graph in which each edge is contained in at most one cycle. We generalize the concept of cactus graphs, i.e., a $k$-cactus is a connected graph in which each edge is contained in at most $k$ cycles where $k\ge 1$. It is well known that every cactus with $n$ vertices has at most $\lfloor\frac{3}{2}(n-1) \rfloor$ edges. Inspired by it, we attempt to establish analogous upper bounds for general $k$-cactus graphs. In this paper, we first characterize $k$-cactus graphs for $2\le k\le 4$ based on the block decompositions. Subsequently, we give tight upper bounds on their sizes. Moreover, the corresponding extremal graphs are also characterized. However, the case of $k\ge 5$ remains open. For the case of 2-connectedness, the range of $k$ is expanded to all positive integers in our research. We prove that every $2$-connected $k ~(\ge 1)$-cactus graphs with $n$ vertices has at most $n+k-1$ edges, and the bound is tight if $n \ge k + 2$. But, for $n < k+1$, determining best bounds remains a mystery except for some small values of $k$.
2023-07-14
Integral Laplacian graphs with a unique double Laplacian eigenvalue, II
Published in Bulletin of the Korean Mathematical Society, vol. 62, no. 2, 2025, pp. 299-317 • View Publication • BIB
The set $S_{\{i,j\}_{n}^{m}}=\{0,1,2,\ldots,m-1,m,m,m+1,\ldots,n-1,n\}\setminus\{i,j\},\quad 0<i<j\leqslant n$, is called Laplacian realizable if there exists a simple connected graph $G$ whose Laplacian spectrum is $S_{\{i,j\}_{n}^{m}}$. In this case, the graph $G$ is said to realize $S_{\{i,j\}_{n}^{m}}$. In this paper, we completely describe graphs realizing the sets $S_{\{i,j\}_{n}^{m}}$ with $m=1,2$ and determine the structure of these graphs.
2023-07-13 v2
Bootstrap percolation in strong products of graphs
Given a graph $G$ and assuming that some vertices of $G$ are infected, the $r$-neighbor bootstrap percolation rule makes an uninfected vertex $v$ infected if $v$ has at least $r$ infected neighbors. The $r$-percolation number, $m(G,r)$, of $G$ is the minimum cardinality of a set of initially infected vertices in $G$ such that after continuously performing the $r$-neighbor bootstrap percolation rule each vertex of $G$ eventually becomes infected. In this paper, we consider percolation numbers of strong products of graphs. If $G$ is the strong product $G_1\boxtimes \cdots \boxtimes G_k$ of $k$ connected graphs, we prove that $m(G,r)=r$ as soon as $r\le 2^{k-1}$ and $|V(G)|\ge r$. As a dichotomy, we present a family of strong products of $k$ connected graphs with the $(2^{k-1}+1)$-percolation number arbitrarily large. We refine these results for strong products of graphs in which at least two factors have at least three vertices. In addition, when all factors $G_i$ have at least three vertices we prove that $m(G_1 \boxtimes \dots \boxtimes G_k,r)\leq 3^{k-1} -k$ for all $r\leq 2^k-1$, and we again get a dichotomy, since there exist families of strong products of $k$ graphs such that their $2^{k}$-percolation numbers are arbitrarily large. While $m(G\boxtimes H,3)=3$ if both $G$ and $H$ have at least three vertices, we also characterize the strong prisms $G\boxtimes K_2$ for which this equality holds. Some of the results naturally extend to infinite graphs, and we briefly consider percolation numbers of strong products of two-way infinite paths.
2023-07-10
Globally linked pairs of vertices in generic frameworks
A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $xy\in E$ in $(G,p)$ is the distance between $p(x)$ and $p(y)$. A vertex pair $\{u,v\}$ of $G$ is said to be globally linked in $(G,p)$ if the distance between $p(u)$ and $p(v)$ is equal to the distance between $q(u)$ and $q(v)$ for every $d$-dimensional framework $(G,q)$ in which the corresponding edge lengths are the same as in $(G,p)$. We call $(G,p)$ globally rigid in $\mathbb{R}^d$ when each vertex pair of $G$ is globally linked in $(G,p)$. A pair $\{u,v\}$ of vertices of $G$ is said to be weakly globally linked in $G$ in $\mathbb{R}^d$ if there exists a generic framework $(G,p)$ in which $\{u,v\}$ is globally linked. In this paper we first give a sufficient condition for the weak global linkedness of a vertex pair of a $(d+1)$-connected graph $G$ in $\mathbb{R}^d$ and then show that for $d=2$ it is also necessary. We use this result to obtain a complete characterization of weakly globally linked pairs in graphs in $\mathbb{R}^2$, which gives rise to an algorithm for testing weak global linkedness in the plane in $O(|V|^2)$ time. Our methods lead to a new short proof for the characterization of globally rigid graphs in $\mathbb{R}^2$, and further results on weakly globally linked pairs and globally rigid graphs in the plane and in higher dimensions.
The Pairing-Hamiltonian property in graph prisms
Published • View Publication • BIB
Let $G$ be a graph of even order, and consider $K_G$ as the complete graph on the same vertex set as $G$. A perfect matching of $K_G$ is called a pairing of $G$. If for every pairing $M$ of $G$ it is possible to find a perfect matching $N$ of $G$ such that $M \cup N$ is a Hamiltonian cycle of $K_G$, then $G$ is said to have the Pairing-Hamiltonian property, or PH-property, for short. In 2007, Fink [J. Combin. Theory Ser. B, 97] proved that for every $d\geq 2$, the $d$-dimensional hypercube $\mathcal{Q}_d$ has the PH-property, thus proving a conjecture posed by Kreweras in 1996. In this paper we extend Fink's result by proving that given a graph $G$ having the PH-property, the prism graph $\mathcal{P}(G)$ of $G$ has the PH-property as well. Moreover, if $G$ is a connected graph, we show that there exists a positive integer $k_0$ such that the $k^{\textrm{th}}$-prism of a graph $\mathcal{P}^k(G)$ has the PH-property for all $k \ge k_0$.
2023-07-08
Some results on the rainbow vertex-disconnection colorings of graphs
Published • View Publication • BIB
Let $G$ be a nontrivial connected and vertex-colored graph. A vertex subset $X$ is called rainbow if any two vertices in $X$ have distinct colors. The graph $G$ is called \emph{rainbow vertex-disconnected} if for any two vertices $x$ and $y$ of $G$, there exists a vertex subset $S$ such that when $x$ and $y$ are nonadjacent, $S$ is rainbow and $x$ and $y$ belong to different components of $G-S$; whereas when $x$ and $y$ are adjacent, $S+x$ or $S+y$ is rainbow and $x$ and $y$ belong to different components of $(G-xy)-S$. For a connected graph $G$, the \emph{rainbow vertex-disconnection number} of $G$, $rvd(G)$, is the minimum number of colors that are needed to make $G$ rainbow vertex-disconnected. In this paper, we prove for any $K_4$-minor free graph, $rvd(G)\leq Δ(G)$ and the bound is sharp. We show it is $NP$-complete to determine the rainbow vertex-disconnection number for bipartite graphs and split graphs. Moreover, we show for every $ε>0$, it is impossible to efficiently approximate the rainbow vertex-disconnection number of any bipartite graph and split graph within a factor of $n^{\frac{1}{3}-ε}$ unless $ZPP=NP$.
2023-07-03 v5
A graph for which the second largest distance eigenvalue is less than $\frac{-3+\sqrt{5}}{2}$ is chordal
Published • View Publication • BIB
Let $G$ be a connected graph with vertex set $V(G)$. The distance, $d_G(u,v)$, between vertices $u$ and $v$ in $G$ is defined as the length of a shortest path between $u$ and $v$ in $G$. The distance matrix of $G$ is the matrix $D(G)=(d_G(u,v))_{u,v\in V(G)}$. The second largest distance eigenvalue of $G$ is the second largest one in the spectrum of $D(G)$. We show that any connected graph with the second largest distance eigenvalue less than $\frac{-3+\sqrt{5}}{2}$ is chordal, and characterize those bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.
2023-07-03
On the maximal Sombor index of quasi-tree graphs
The Sombor index $SO(G)$ of a graph $G$ is the sum of the edge weights $\sqrt{d^2_G(u)+d^2_G(v)}$ of all edges $uv$ of $G$, where $d_G(u)$ denotes the degree of the vertex $u$ in $G$. A connected graph $G = (V ,E)$ is called a quasi-tree, if there exists $u\in V (G)$ such that $G-u$ is a tree. Denote $\mathscr{Q}(n,k)$=\{$G$: $G$ is a quasi-tree graph of order $n$ with $G-u$ being a tree and $d_G(u)=k$\}. In this paper, we determined the maximum, the second maximum and the third maximum Sombor indices of all quasi-tree graphs in $\mathscr{Q}(n,k)$, respectively. Moreover, we characterized their corresponding extremal graphs, respectively.
2023-06-27
Quadratic embedding constants of graphs: Bounds and distance spectra
Published • View Publication • BIB
The quadratic embedding constant (QEC) of a finite, simple, connected graph $G$ is the maximum of the quadratic form of the distance matrix of $G$ on the subset of the unit sphere orthogonal to the all-ones vector. The study of these QECs was motivated by the classical work of Schoenberg on quadratic embedding of metric spaces [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938]. In this article, we provide sharp upper and lower bounds for the QEC of trees. We next explore the relation between distance spectra and quadratic embedding constants of graphs - and show two further results: $(i)$ We show that the quadratic embedding constant of a graph is zero if and only if its second largest distance eigenvalue is zero. $(ii)$ We identify a new subclass of nonsingular graphs whose QEC is the second largest distance eigenvalue. Finally, we show that the QEC of the cluster of an arbitrary graph $G$ with either a complete or star graph can be computed in terms of the QEC of $G$. As an application of this result, we provide new families of examples of graphs of QE class.
2023-06-27
Extra Connectivity of Strong Product of Graphs
Published • View Publication • BIB
The $g$-$extra$ $connectivity$ $κ_{g}(G)$ of a connected graph $G$ is the minimum cardinality of a set of vertices, if it exists, whose deletion makes $G$ disconnected and leaves each remaining component with more than $g$ vertices, where $g$ is a non-negative integer. The $strong$ $product$ $G_1 \boxtimes G_2$ of graphs $G_1$ and $G_2$ is the graph with vertex set $V(G_1 \boxtimes G_2)=V(G_1)\times V(G_2)$, where two distinct vertices $(x_{1}, y_{1}),(x_{2}, y_{2}) \in V(G_1)\times V(G_2)$ are adjacent in $G_1 \boxtimes G_2$ if and only if $x_{1}=x_{2}$ and $y_{1} y_{2} \in E(G_2)$ or $y_{1}=y_{2}$ and $x_{1} x_{2} \in E(G_1)$ or $x_{1} x_{2} \in E(G_1)$ and $y_{1} y_{2} \in E(G_2)$. In this paper, we give the $g\ (\leq 3)$-$extra$ $connectivity$ of $G_1\boxtimes G_2$, where $G_i$ is a maximally connected $k_i\ (\geq 2)$-regular graph for $i=1,2$. As a byproduct, we get $g\ (\leq 3)$-$extra$ conditional fault-diagnosability of $G_1\boxtimes G_2$ under $PMC$ model.
Total mutual-visibility in graphs with emphasis on lexicographic and Cartesian products
Published • View Publication • BIB
Given a connected graph $G$, the total mutual-visibility number of $G$, denoted $μ_t(G)$, is the cardinality of a largest set $S\subseteq V(G)$ such that for every pair of vertices $x,y\in V(G)$ there is a shortest $x,y$-path whose interior vertices are not contained in $S$. Several combinatorial properties, including bounds and closed formulae, for $μ_t(G)$ are given in this article. Specifically, we give several bounds for $μ_t(G)$ in terms of the diameter, order and/or connected domination number of $G$ and show characterizations of the graphs achieving the limit values of some of these bounds. We also consider those vertices of a graph $G$ that either belong to every total mutual-visibility set of $G$ or does not belong to any of such sets, and deduce some consequences of these results. We determine the exact value of the total mutual-visibility number of lexicographic products in terms of the orders of the factors, and the total mutual-visibility number of the first factor in the product. Finally, we give some bounds and closed formulae for the total mutual-visibility number of Cartesian product graphs.
2023-06-25
Laplacain eigenvalue distribution and diameter of graphs
Published • View Publication • BIB
Let $G$ be a connected graph on $n$ vertices with diameter $d$. It is known that if $2\le d\le n-2$, there are at most $n-d$ Laplacian eigenvalues in the interval $[n-d+2, n]$. In this paper, we show that if $1\le d\le n-3$, there are at most $n-d+1$ Laplacian eigenvalues in the interval $[n-d+1, n]$. Moreover, we try to identify the connected graphs on $n$ vertices with diameter $d$, where $2\le d\le n-3$, such that there are at most $n-d$ Laplacian eigenvalues in the interval $[n-d+1, n]$.
2023-06-21
Game extensions of floppy graph metrics
Published • View Publication • BIB
A $graph$ $metric$ on a set $X$ is any function $d: E_d \to\mathbb R_+:=\{x\in\mathbb R:x>0\}$ defined on a connected graph $ E_d \subseteq[X]^2:=\{A\subseteq X:|A|=2\}$ and such that for every $\{x,y\}\in E_d$ we have $d(\{x,y\})\le\hat d(x,y):=\inf\big\{\sum_{i=1}^nd(\{x_{i-1},x_i\}):\{x,y\}=\{x_0,x_n\}\;\wedge\;\{\{x_{i-1},x_i\}:0<i\le n\}\subseteq E_d \big\}$. A graph metric $d$ is called a $full$ $metric$ on $X$ if $ E_d =[X]^2$. A graph metric $d: E_d \to\bar{\mathbb R}_+$ is $floppy$ if $\hat d(x,y)>\check d(x,y:= \sup\{d(\{a,b\})-\hat d(a,u)-\hat d(b,y):\{a,b\}\in E_d \}$ for every $x,y\in X$ with $\{x,y\}\notin E_d $. We prove that for every floppy graph metric $d: E_d \to\mathbb R_+$ on a set $X$, every points $x,y\in X$ with $\{x,y\}\notin E_d $, and every real number $r$ with $\frac 13\check d(x,y)+\frac23\hat d(x,y)\le r<\hat d(x,y)$ the function $d\cup\{\langle\{x,y\},r\rangle\}$ is a floppy graph metric. This implies that for every floppy graph metric $d: E_d \to\mathbb R_+$ with countable set $[X]^2\setminus E_d $ and for every indexed family $(F_e)_{e\in[X]^2\setminus E_d }$ of dense subsets of $\mathbb R_+$, there exists an injective function $r\in\prod_{e\in[X]^2\setminus E_d}F_e$ such that $d\cup r$ is a full metric. Also, we prove that the latter result does not extend to partial metrics defined on uncountable sets.
2023-06-21 v2
Pancyclicity of highly connected graphs
Published • View Publication • BIB
A well-known result due to Chvatál and Erdős (1972) asserts that, if a graph $G$ satisfies $κ(G) \ge α(G)$, where $κ(G)$ is the vertex-connectivity of $G$, then $G$ has a Hamilton cycle. We prove a similar result implying that a graph $G$ is pancyclic, namely it contains cycles of all lengths between $3$ and $|G|$: if $|G|$ is large and $κ(G) > α(G)$, then $G$ is pancyclic. This confirms a conjecture of Jackson and Ordaz (1990) for large graphs, and improves upon a very recent result of Draganić, Munhá-Correia, and Sudakov.
2023-06-20 v2
Invariant systems of weighted representatives
Published in Journal of Algebraic Combinatorics, 61:3 (2025), 32 • View Publication • BIB
It is known that, if removing some $n$ edges from a graph $Γ$ destroys all subgraphs isomorphic to a given finite graph $K$, then all subgraphs isomorphic to $K$ can be destroyed by removing at most $|E(K)|\cdot n$ edges, which form a set invariant with respect to all automorphisms of $Γ$. We construct the first examples of (connected) graphs $K$ for which this estimate is not sharp. Our arguments are based on a ``weighted analogue'' of an earlier known estimate for the cost of symmetry.
Weak saturation numbers in random graphs
For two given graphs $G$ and $F$, a graph $ H$ is said to be weakly $ (G, F) $-saturated if $H$ is a spanning subgraph of $ G$ which has no copy of $F$ as a subgraph and one can add all edges in $ E(G)\setminus E(H)$ to $ H$ in some order so that a new copy of $F$ is created at each step. The weak saturation number $ wsat(G, F)$ is the minimum number of edges of a weakly $(G, F)$-saturated graph. In this paper, we deal with the relation between $ wsat(G(n,p), F)$ and $ wsat(K_n, F)$, where $G(n,p)$ denotes the Erdős--Rényi random graph and $ K_n$ denotes the complete graph on $ n$ vertices. For every graph $ F$ and constant $ p$, we prove that $ wsat( G(n,p),F)= wsat(K_n,F)(1+o(1))$ with high probability. Also, for some graphs $ F$ including complete graphs, complete bipartite graphs, and connected graphs with minimum degree $ 1$ or $ 2$, it is shown that there exists an $ \varepsilon(F)>0$ such that, for any $ p\geqslant n^{-\varepsilon(F)}\log n$, $ wsat( G(n,p),F)= wsat(K_n,F)$ with high probability.
2023-06-14 v2
Ramsey numbers of connected 4-clique matchings
In this paper, we determine the exact value of the $2$-edge-coloring Ramsey number of a connected $4$-clique matching $c(nK_4)$, which is a set of connected graphs containing an $nK_4$ is $13n-3$ for any positive integer $n \geq 3$. This is an extension of the result by Roberts (2017), which is proved only for $n\geq 18$. We also show that the result still holds when $n=2$ provided that $R_2(2K_4) \leq 23$.
2023-06-13
On the $α$-index of minimally $k$-(edge-)connected graphs for small $k$
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of vertex degrees of $G$. For any real $α\in [0,1]$, Nikiforov defined the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$. The largest eigenvalue of $A_α(G)$ is called the $α$-index or the $A_α$-spectral radius of $G$. A graph is minimally $k$-(edge)-connected if it is $k$-(edge)-connected and deleting any arbitrary chosen edge always leaves a graph which is not $k$-(edge)-connected. In this paper, we characterize the minimally 2-edge-connected graphs and minimally 3-connected graph with given order having the maximum $α$-index for $α\in [\frac{1}{2},1)$, respectively.
Extreme and statistical properties of eigenvalue indices of simple connected graphs
We analyze graphs attaining the extreme values of various spectral indices in the class of all simple connected graphs, as well as in the class of graphs which are not complete multipartite graphs. We also present results on density of spectral gap indices and its nonpersistency with respect to small perturbations of the underlying graph. We show that a small change in the set set of edges may result in a significant change of the spectral index like, e.g., the spectral gap or spectral index. We also present a statistical and numerical analysis of spectral indices of graphs of the order $m\le 10$. We analyze the extreme values for spectral indices for graphs and their small perturbations. Finally, we present the statistical and extreme properties of graphs on $m\le 10$ vertices.
2023-06-12 v5
A framework unifying some bijections for graphs and its connection to Lawrence polytopes
Published • View Publication • BIB
Let $G$ be a connected graph. The Jacobian group (also known as the Picard group or sandpile group) of $G$ is a finite abelian group whose cardinality equals the number of spanning trees of $G$. The Jacobian group admits a canonical simply transitive action on the set $\mathcal{R}(G)$ of cycle-cocycle reversal classes of orientations of $G$. Hence one can construct combinatorial bijections between spanning trees of $G$ and $\mathcal{R}(G)$ to build connections between spanning trees and the Jacobian group. The BBY bijections and the Bernardi bijections are two important examples. In this paper, we construct a new family of such bijections that includes both. Our bijections depend on a pair of atlases (different from the ones in manifold theory) that abstract and generalize certain common features of the two known bijections. The definitions of these atlases are derived from triangulations and dissections of the Lawrence polytopes associated to $G$. The acyclic cycle signatures and cocycle signatures used to define the BBY bijections correspond to regular triangulations. Our bijections can extend to subgraph-orientation correspondences. Most of our results hold for regular matroids. We present our work in the language of fourientations, which are a generalization of orientations.