arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2596 papers tagged with this keyword
2023-12-12
Modularity and Graph Expansion
We relate two important notions in graph theory: expanders which are highly connected graphs, and modularity a parameter of a graph that is primarily used in community detection. More precisely, we show that a graph having modularity bounded below 1 is equivalent to it having a large subgraph which is an expander. We further show that a connected component $H$ will be split in an optimal partition of the host graph $G$ if and only if the relative size of $H$ in $G$ is greater than an expansion constant of $H$. This is a further exploration of the resolution limit known for modularity, and indeed recovers the bound that a connected component $H$ in the host graph~$G$ will not be split if~$e(H)<\sqrt{2e(G)}$.
2023-12-08 v2
Mean distance on metric graphs
Published • View PublicationBIB
We introduce a natural notion of mean (or average) distance in the context of compact metric graphs, and study its relation to geometric properties of the graph. We show that it exhibits a striking number of parallels to the reciprocal of the spectral gap of the graph Laplacian with standard vertex conditions: it is maximised among all graphs of fixed length by the path graph (interval), or by the loop in the restricted class of doubly connected graphs, and it is minimised among all graphs of fixed length and number of edges by the equilateral flower graph. We also establish bounds for the correctly scaled product of the spectral gap and the square of the mean distance which depend only on combinatorial, and not metric, features of the graph. This raises the open question whether this product admits absolute upper and lower bounds valid on all compact metric graphs.
2023-12-06
Connectivity Preserving Hamiltonian Cycles in $k$-Connected Dirac Graphs
We show that for $k \geq 2$, there exists a function $f(k) = O(k)$ such that every $k$-connected graph $G$ of order $n \geq f(k)$ with minimum degree at least $\frac{n}{2}$ contains a Hamiltonian cycle $H$ such that $G-E(H)$ is $k$-connected. Applying Nash-Williams' result on edge-disjoint Hamiltonian cycles, we also show that for $k \geq 2$ and $\ell \geq 2$, there exists a function $g(k,\ell) = O(k\ell)$ such that every $k$-connected graph $G$ of order $n \geq g(k,\ell)$ with minimum degree at least $\frac{n}{2}$ contains $\ell$ edge-disjoint Hamiltonian cycles $H_1,H_2,\ldots,H_\ell$ such that $G-\cup_{1 \leq i \leq \ell}E(H_i)$ is $k$-connected. As a corollary, we have a statement that refines the result of Nash-Williams for $k$-connected graphs with $k \leq 8$. Moreover, when the connectivity of $G$ is exactly $k$, a similar result with an improved lower bound on $n$ can be shown, which does not depend on the result of Nash-Williams.
2023-12-05 v2
The relationship between the negative inertia index of graph $G$ and its girth $g$ and diameter $d$
Let $G$ be a simple connected graph. We use $n(G)$, $p(G)$, and $η(G)$ to denote the number of negative eigenvalues, positive eigenvalues, and zero eigenvalues of the adjacency matrix $A(G)$ of $G$, respectively. In this paper, we prove that $2n(G)\geq d(G) + 1$ when $d(G)$ is odd, and $n(G) \geq \lceil \frac{g}{2}\rceil - 1$ for a graph containing cycles, where $d(G)$ and $g$ are the diameter and girth of the graph $G$, respectively. Furthermore, we characterize the extremal graphs for the cases of $2n(G) = d(G) + 1$, $n(G) = \lceil \frac{g}{2}\rceil$, and $n(G) = \lceil \frac{g}{2}\rceil - 1$.
2023-12-04
Every $d(d+1)$-connected graph is globally rigid in $\mathbb{R}^d$
Using a probabilistic method, we prove that $d(d+1)$-connected graphs are rigid in $\mathbb{R}^d$, a conjecture of Lovász and Yemini. Then, using recent results on weakly globally linked pairs, we modify our argument to prove that $d(d+1)$-connected graphs are globally rigid, too, a conjecture of Connelly, Jordán and Whiteley. The constant $d(d+1)$ is best possible.
2023-12-03
The minimum number of detours in graphs
A longest path in a graph is called a detour. It is easy to see that a connected graph of minimum degree at least $2$ and order at least $4$ has at least $4$ detours. We prove that if the number of detours in such a graph of order at least $9$ is odd, then it is at least $9,$ and this lower bound can be attained for every order. Thus the possibilities $3,$ $5$ and $7$ are excluded. Two open problems are posed.
2023-12-01
Extremal graphs without long paths and a given graph
For a family of graphs $\mathcal{F}$, the Turán number $ex(n,\mathcal{F})$ is the maximum number of edges in an $n$-vertex graph containing no member of $\mathcal{F}$ as a subgraph. The maximum number of edges in an $n$-vertex connected graph containing no member of $\mathcal{F}$ as a subgraph is denoted by $ex_{conn}(n,\mathcal{F})$. Let $P_k$ be the path on $k$ vertices and $H$ be a graph with chromatic number more than $2$. Katona and Xiao [Extremal graphs without long paths and large cliques, European J. Combin., 2023 103807] posed the following conjecture: Suppose that the chromatic number of $H$ is more than $2$. Then $ex\big(n,\{H,P_k\}\big)=n\max\big\{\big\lfloor \frac{k}{2}\big\rfloor-1,\frac{ex(k-1,H)}{k-1}\big\}+O_k(1)$. In this paper, we determine the exact value of $ex_{conn}\big(n,\{P_k,H\}\big)$ for sufficiently large $n$. Moreover, we obtain asymptotical result for $ex\big(n,\{P_k,H\}\big)$, which solves the conjecture proposed by Katona and Xiao.
2023-11-30 v3
Star colouring and locally constrained graph homomorphisms
We relate star colouring of even-degree regular graphs to the notions of locally constrained graph homomorphisms to the oriented line graph $ \vec{L}(K_q) $ of the complete graph $ K_q $ and to its underlying undirected graph $ L^*(K_q) $. Our results have consequences for locally constrained graph homomorphisms and oriented line graphs in addition to star colouring. We show that $ L^*(H) $ is a 2-lift of the line graph $ L(H) $ for every graph $ H $. Dvořák, Mohar and Šámal (J. Graph Theory, 2013) proved that for every 3-regular graph $ G $, the line graph of $ G $ is 4-star colourable if and only if $ G $ admits a locally bijective homomorphism to the cube $ Q_3 $. We generalise this result as follows: for $ p\geq 2 $, a $ K_{1,p+1} $-free $ 2p $-regular graph $ G $ admits a $ (p+2) $-star colouring if and only if $ G $ admits a locally bijective homomorphism to $ L^*(K_{p+2}) $. As a result, if a $ K_{p+1} $-free $ 2p $-regular graph $ G $ with $ p\geq 2 $ is $ (p+2) $-star colourable, then $ -2 $ and $ p-2 $ are eigenvalues of $ G $. We also prove the following: (i) for $ p\geq 2 $, a $ 2p $-regular graph $ G $ admits a $ (p+2) $-star colouring if and only if $ G $ has an orientation that admits an out-neighbourhood bijective homomorphism to $ \vec{L}(K_{p+2}) $; (ii) the line graph of a 3-regular graph $ G $ is 4-star colourable if and only if $ G $ is bipartite and distance-two 4-colourable; and (iii) it is NP-complete to check whether a planar 4-regular 3-connected graph is 4-star colourable.
2023-11-28 v2
Recognizing trees from incomplete decks
For a given graph, the unlabeled subgraphs $G-v$ are called the cards of $G$ and the deck of $G$ is the multiset $\{G-v: v \in V(G)\}$. Wendy Myrvold [Ars Combinatoria, 1989] showed that a non-connected graph and a connected graph both on $n$ vertices have at most $\lfloor \frac{n}{2} \rfloor +1$ cards in common and she found (infinite) families of trees and non-connected forests for which this upper bound is tight. Bowler, Brown, and Fenner [Journal of Graph Theory, 2010] conjectured that this bound is tight for $n \geq 44$. In this article, we prove this conjecture for sufficiently large $n$. The main result is that a tree $T$ and a unicyclic graph $G$ on $n$ vertices have at most $\lfloor \frac{n}{2} \rfloor+1$ common cards. Combined with Myrvold's work this shows that it can be determined whether a graph on $n$ vertices is a tree from any $\lfloor \frac{n}{2}\rfloor+2$ of its cards. Based on this theorem, it follows that any forest and non-forest also have at most $\lfloor \frac{n}{2} \rfloor +1$ common cards. Moreover, we have classified all except finitely many pairs for which this bound is strict. Furthermore, the main ideas of the proof for trees are used to show that the girth of a graph on $n$ vertices can be determined based on any $\frac{2n}{3} +1$ of its cards. Lastly, we show that any $\frac{5n}{6} +2$ cards determine whether a graph is bipartite.
2023-11-27
An algorithmic approach in constructing infinitely many even size graphs with local antimagic chromatic number 3
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 first introduce an algorithmic approach to construct a family of infinitely many even size non-regular tripartite graphs with $t\ge 1$ component(s) in which every component, called a {\it Luv} graph, is of odd order $p\ge 9$ and size $q=n(p+1)$ for $n\ge 2$. We show that every graph in this family has local antimagic chromatic number 3. We then allowed the $m$-th component to have order $p_m\ge 9$ and size $n_m(p_m+1)$ for $n_m\ge 2, 1\le m\le t$. We also proved that every such graph with all components having same order and size also has local antimagic chromatic number 3. Lastly, we constructed another family of infinitely many graphs such that different components may have different order and size all of which having local antimagic chromatic number 3. Consequently, many other families of (possibly disconnected) graphs with local antimagic chromatic number 3 are also constructed.
Some results on the Wiener index related to the Šoltés problem of graphs
The Wiener index, $W(G)$, of a connected graph $G$ is the sum of distances between its vertices. In 2021, Akhmejanova et al. posed the problem of finding graphs $G$ with large $R_m(G)= |\{v\in V(G)\,|\,W(G)-W(G-v)=m \in \mathbb{Z} \}|/ |V(G)|$. It is shown that there is a graph $G$ with $R_m(G) > 1/2$ for any integer $m \ge 0$. In particular, there is a regular graph of even degree with this property for any odd $m \ge 1$. The proposed approach allows to construct new families of graphs $G$ with $R_0(G) \rightarrow 1/2$ when the order of $G$ increases.
2023-11-24
Minimal graphs with eigenvalue multiplicity of $n-d$
For a connected graph $G$ with order $n$, let $e(G)$ be the number of its distinct eigenvalues and $d$ be the diameter. We denote by $m_G(μ)$ the eigenvalue multiplicity of $μ$ in $G$. It is well known that $e(G)\geq d+1$, which shows $m_G(μ)\leq n-d$ for any real number $μ$. A graph is called $minimal$ if $e(G)= d+1$. In 2013, Wang (\cite{WD}, Linear Algebra Appl.) characterize all minimal graphs with $m_G(0)=n-d$. In 2023, Du et al. (\cite{Du}, Linear Algebra Appl.) characterize all the trees for which there is a real symmetric matrix with nullity $n-d$ and $n-d-1$. In this paper, by applying the star complement theory, we prove that if $G$ is not a path and $m_G(μ)= n-d$, then $μ\in \{0,-1\}$. Furthermore, we completely characterize all minimal graphs with $m_G(-1)=n-d$.
2023-11-24
Characterization of transmission irregular starlike and double starlike trees
Published in Comp. Appl. Math. 43 (2024) Art. No. 262 • View PublicationBIB
The transmission of a vertex in a connected graph is the sum of its distances to all the other vertices. A graph is transmission irregular (TI) when all of its vertices have mutually distinct transmissions. In an earlier paper, Al-Yakoob and Stevanović [Appl. Math. Comput. 380 (2020), 125257] gave the full characterization of TI starlike trees with three branches. Here, we improve these results by using a different approach to provide the complete characterization of all TI starlike trees. Moreover, we find the precise conditions under which a double starlike tree is TI. Finally, we implement the aforementioned conditions in order to find several infinite families of TI starlike trees and TI double starlike trees.
2023-11-22 v2
On the maximum $A_α$-spectral radius of unicyclic and bicyclic graphs with fixed girth or fixed number of pendant vertices
For a connected graph $G$, let $A(G)$ be the adjacency matrix of $G$ and $D(G)$ be the diagonal matrix of the degrees of the vertices in $G$. The $A_α$-matrix of $G$ is defined as \begin{align*} A_α(G) = αD(G) + (1-α) A(G) \quad \text{for any $α\in [0,1]$}. \end{align*} The largest eigenvalue of $A_α(G)$ is called the $A_α$-spectral radius of $G$. In this article, we characterize the graphs with maximum $A_α$-spectral radius among the class of unicyclic and bicyclic graphs of order $n$ with fixed girth $g$. Also, we identify the unique graphs with maximum $A_α$-spectral radius among the class of unicyclic and bicyclic graphs of order $n$ with $k$ pendant vertices.
2023-11-21 v3
Eigenvalues and spanning trees with constrained degree
In this paper, we study some spanning trees with bounded degree and leaf degree from eigenvalues. For any integer $k\geq2$, a $k$-tree is a spanning tree in which every vertex has degree no more than $k$. Let $T$ be a spanning tree of a connected graph. The leaf degree of $T$ is the maximum number of end-vertices attached to $v$ in $T$ for any $v\in V(T)$. By referring to the technique shown in [Eigenvalues and $[a,b]$-factors in regular graphs, J. Graph Theory. 100 (2022) 458-469], for an $r$-regular graph $G$, we provide an upper bound for the fourth largest adjacency eigenvalue of $G$ to guarantee the existence of a $k$-tree. Moreover, for a $t$-connected graph, we prove a tight sufficient condition for the existence of a spanning tree with leaf degree at most $k$ in terms of spectral radius. This generalizes a result of Theorem 1.5 in [Spectral radius and spanning trees of graphs, Discrete Math. 346 (2023) 113400]. Finally, for a general graph $G$, we present two sufficient conditions for the existence of a spanning tree with leaf degree at most $k$ via the Laplacian eigenvalues of $G$ and the spectral radius of the complement of $G$, respectively.
2023-11-17
Antimagic Labeling of Generalized Edge Corona Graphs
An antimagic labeling of a graph $G$ is a one-to-one correspondence between the edge set $E(G)$ and $\lbrace 1,2,...,|E(G)|\rbrace$ in which the sum of the edge labels incident on the distinct vertices are distinct. Let $G$,$H_1$,$H_2$,...,$H_{m-1}$, and $H_m$ be simple graphs where $|E(G)|=m$. A generalized edge corona of the graph $G$ and $(H_1,H_2,...,H_m)$ (denoted by $G\diamond (H_1,H_2,...H_m)$) is a graph obtained by taking a copy of $G,H_1,H_2,...,H_m$ and joining the end vertices of $i^{th}$ edge of $G$ to every vertex of $H_i$, $i\in\lbrace 1,2,...,m\rbrace$. In this paper, we consider $G$ as a connected graph with exactly one vertex of maximum degree 3 (excluding the spider graph with exactly one vertex of maximum degree 3 containing uneven legs) and each $H_i$, $1\leq i \leq m$ as a connected graph on at least two vertices. We provide an algorithmic approach to prove that $G$ $\diamond$ $(H_1,H_2,...H_m)$ is antimagic under certain conditions.
Extremal Polynomial Norms of Graphs
Recent work shows that a new family of norms on Hermitian matrices arise by evaluating the even degree complete homogeneous symmetric (CHS) polynomials on the eigenvalues of a Hermitian matrix. The CHS norm of a graph is then defined by evaluating the even degree CHS polynomials on the eigenvalues of the adjacency matrix of a graph. The fact that these norms are defined in terms of eigenvalues (as opposed to singular values) ensures they can distinguish between graphs that other norms cannot. In addition, we prove that the CHS norms are minimized over all connected graphs by the path and maximized over all connected graphs by the complete graph. Finally, we prove that the CHS norms are minimized over all trees by the path and maximized over all trees by the star. Our paper is intended for a wide mathematical audience and we assume no prior knowledge about graphs or symmetric polynomials.
Graphs and groups with unique geodesics
A connected graph is called \emph{geodetic} if there is a unique geodesic between each pair of vertices. In this paper we prove that if a finitely generated group admits a Cayley graph which is geodetic, then the group must be virtually free. Before now, it was open whether finitely generated and geodetic implied hyperbolic. In fact we prove something more general: if a quasi-transitive locally finite connected undirected graph is geodetic then it is quasi-isometric to a tree. Our main tool is to define a \emph{boundary} of a graph and understand how the local behaviour influences it when the graph is geodetic. Our results unify, and represent significant progress on, research initiated by Ore, Shapiro, and Madlener and Otto.
$K_{1,2,2,2}$ has no $n$-fold planar cover graph for $n<14$
S. Negami conjectured in $1988$ that a connected graph has a finite planar cover if and only if it embeds in the projective plane. It follows from the works of D. Archdeacon, M. Fellows, P. Hliněný, and S. Negami that this conjecture is true if the graph $K_{1, 2, 2, 2}$ has no finite planar cover. We prove a number of structural results about putative finite planar covers of $K_{1,2,2,2}$ that may be of independent interest. We then apply these results to prove that $K_{1, 2, 2, 2}$ has no planar cover of fold number less than $14$.
2023-11-03
Graphs with arbitrary Ramsey number and connectivity
The Ramsey number $r(G)$ of a graph $G$ is the minimum number $N$ such that any red-blue colouring of the edges of $K_N$ contains a monochromatic copy of $G$. Pavez-Signé, Piga and Sanhueza-Matamala proved that for any function $n\leq f(n) \leq r(K_n)$, there is a sequence of connected graphs $(G_n)_{n\in \mathbb{N}}$ with $|V(G_n)|=n$ such that $r(G_n)=Θ(f(n))$ and conjectured that $G_n$ can additionally have arbitrarily large connectivity. In this note we prove their conjecture.