arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2678 papers tagged with this keyword
2024-03-05
Aα-spectral radius and path-factor covered graphs
Published • View Publication • BIB
Let $α\in[0,1)$, and let $G$ be a connected graph of order $n$ with $n\geq f(α)$, where $f(α)=14$ for $α\in[0,\frac{1}{2}]$, $f(α)=17$ for $α\in(\frac{1}{2},\frac{2}{3}]$, $f(α)=20$ for $α\in(\frac{2}{3},\frac{3}{4}]$ and $f(α)=\frac{5}{1-α}+1$ for $α\in(\frac{3}{4},1)$. A path factor is a spanning subgraph $F$ of $G$ such that every component of $F$ is a path with at least two vertices. Let $k\geq2$ be an integer. A $P_{\geq k}$-factor means a path-factor with each component being a path of order at least $k$. A graph $G$ is called a $P_{\geq k}$-factor covered graph if $G$ has a $P_{\geq k}$-factor containing $e$ for any $e\in E(G)$. Let $A_α(G)=αD(G)+(1-α)A(G)$, where $D(G)$ denotes the diagonal matrix of vertex degrees of $G$ and $A(G)$ denotes the adjacency matrix of $G$. The largest eigenvalue of $A_α(G)$ is called the $A_α$-spectral radius of $G$, which is denoted by $ρ_α(G)$. In this paper, it is proved that $G$ is a $P_{\geq2}$-factor covered graph if $ρ_α(G)>η(n)$, where $η(n)$ is the largest root of $x^{3}-((α+1)n+α-4)x^{2}+(αn^{2}+(α^{2}-2α-1)n-2α+1)x-α^{2}n^{2}+(5α^{2}-3α+2)n-10α^{2}+15α-8=0$. Furthermore, we provide a graph to show that the bound on $A_α$-spectral radius is optimal.
Weakly modular graphs with diamond condition, the interval function and axiomatic characterizations
Published • View Publication • BIB
Weakly modular graphs are defined as the class of graphs that satisfy the \emph{triangle condition ($TC$)} and the \emph{quadrangle condition ($QC$)}. We study an interesting subclass of weakly modular graphs that satisfies a stronger version of the triangle condition, known as the \emph{triangle diamond condition ($TDC$)}. and term this subclass of weakly modular graphs as the \emph{diamond-weakly modular graphs}. It is observed that this class contains the class of bridged graphs and the class of weakly bridged graphs. The interval function $I_G$ of a connected graph $G$ with vertex set $V$ is an important concept in metric graph theory and is one of the prime example of a transit function; a set function defined on the Cartesian product $V\times V$ to the power set of $V$ satisfying the expansive, symmetric and idempotent axioms. In this paper, we derive an interesting axiom denoted as $(J0')$, obtained from a well-known axiom introduced by Marlow Sholander in 1952, denoted as $(J0)$. It is proved that the axiom $(J0')$ is a characterizing axiom of the diamond-weakly modular graphs. We propose certain types of independent first-order betweenness axioms on an arbitrary transit function $R$ and prove that an arbitrary transit function becomes the interval function of a diamond-weakly modular graph if and only if $R$ satisfies these betweenness axioms. Similar characterizations are obtained for the interval function of bridged graphs and weakly bridged graphs.
2024-03-03
Some results on total weight choosability
Published • View Publication • BIB
A graph $G=(V,E)$ is called $(k,k')$-choosable if for any total list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and assigns to each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a mapping $f:V\cup E\rightarrow \mathbb{R}$ such that $f(y)\in L(y)$ for any $y\in V\cup E$ and for any two adjacent vertices $v, v'$, $\sum_{e\in E(v)}f(e)+f(v)\neq \sum_{e\in E(v')}f(e)+f(v')$, where $E(x)$ denotes the set of incident edges of a vertex $x\in V(G)$. In this paper, we characterize a sufficient condition on $(1,2)$-choosable of graphs. We show that every connected $(n,m)$-graph is both $(2,2)$-choosable and $(1,3)$-choosable if $m=n$ or $n+1$, where $(n,m)$-graph denotes the graph with $n$ vertices and $m$ edges. Furthermore, we prove that some graphs obtained by some graph operations are $(2,2)$-choosable.
2024-03-02 v4
Stability of graph pairs involving cycles
Published • View Publication • BIB
A graph pair $(Γ, Σ)$ is called stable if $\aut(Γ)\times\aut(Σ)$ is isomorphic to $\aut(Γ\timesΣ)$ and unstable otherwise, where $Γ\timesΣ$ is the direct product of $Γ$ and $Σ$. A graph is called $R$-thin if distinct vertices have different neighbourhoods. $Γ$ and $Σ$ are said to be coprime if there is no nontrivial graph $Δ$ such that $Γ\cong Γ_1 \times Δ$ and $Σ\cong Σ_1 \times Δ$ for some graphs $Γ_1$ and $Σ_1$. An unstable graph pair $(Γ, Σ)$ is called nontrivially unstable if $Γ$ and $Σ$ are $R$-thin connected coprime graphs and at least one of them is non-bipartite. This paper contributes to the study of the stability of graph pairs with a focus on the case when $Σ= C_n$ is a cycle. We give two sufficient conditions for $(Γ, C_n)$ to be nontrivially unstable, where $n \ne 4$ and $Γ$ is an $R$-thin connected graph. In the case when $Γ$ is an $R$-thin connected non-bipartite graph, we obtain the following results: (i) if $(Γ, K_2)$ is unstable, then $(Γ, C_{n})$ is unstable for every even integer $n \geq 4$; (ii) if an even integer $n \ge 6$ is compatible with $Γ$ in some sense, then $(Γ, C_{n})$ is nontrivially unstable if and only if $(Γ, K_2)$ is unstable; (iii) if there is an even integer $n \ge 6$ compatible with $Γ$ such that $(Γ, C_{n})$ is nontrivially unstable, then $(Γ, C_{m})$ is unstable for all even integers $m \ge 6$. We also prove that if $Γ$ is an $R$-thin connected graph and $n \ge 3$ is an odd integer compatible with $Γ$, then $(Γ, C_{n})$ is stable.
2024-02-28
Decomposability of regular graphs to $4$ locally irregular subgraphs
A locally irregular graph is a graph whose adjacent vertices have distinct degrees. It was conjectured that every connected graph is edge decomposable to $3$ locally irregular subgraphs, unless it belongs to a certain family of exceptions, including graphs of small maximum degrees, which are not decomposable to any number of such subgraphs. Recently Sedlar and Škrekovski exhibited a counterexample to the conjecture, which necessitates a decomposition to (at least) $4$ locally irregular subgraphs. We prove that every $d$-regular graph with $d$ large enough, i.e. $d\geq 54000$, is decomposable to $4$ locally irregular subgraphs. Our proof relies on a mixture of a numerically optimized application of the probabilistic method and certain deterministic results on degree constrained subgraphs due to Addario-Berry, Dalal, McDiarmid, Reed, and Thomason, and to Alon and Wei, introduced in the context of related problems concerning irregular subgraphs.
2024-02-27 v3
On the $(S_2)$-condition of edge rings for cactus graphs
Published • View Publication • BIB
A cactus graph is a connected graph in which every block is either an edge or a cycle. In this paper, we will examine cactus graphs where all the blocks are $3$-cycles, i.e., triangular cactus graphs, of diameter $4$. Our main focus is to prove that the corresponding edge ring of this family of graphs is not normal and satisfies Serre's condition $(S_2)$. We use a criterion due to Katthän for non-normal affine semigroup rings.
2024-02-27 v2
Toughness and Aα-spectral radius in graphs
Let $α\in[0,1)$, and let $G$ be a connected graph of order $n$ with $n\geq f(α)$, where $f(α)=6$ for $α\in[0,\frac{2}{3}]$ and $f(α)=\frac{4}{1-α}$ for $α\in(\frac{2}{3},1)$. A graph $G$ is said to be $t$-tough if $|S|\geq tc(G-S)$ for each subset $S$ of $V(G)$ with $c(G-S)\geq2$, where $c(G-S)$ is the number of connected components in $G-S$. The $A_α$-spectral radius of $G$ is denoted by $ρ_α(G)$. In this paper, it is verified that $G$ is a 1-tough graph unless $G=K_1\vee(K_{n-2}\cup K_1)$ if $ρ_α(G)\geqρ_α(K_1\vee(K_{n-2}\cup K_1))$, where $ρ_α(K_1\vee(K_{n-2}\cup K_1))$ equals the largest root of $x^{3}-((α+1)n+α-3)x^{2}+(αn^{2}+(α^{2}-α-1)n-2α+1)x-α^{2}n^{2}+(3α^{2}-α+1)n-4α^{2}+5α-3=0$. Further, we present an $A_α$-spectral radius condition for a graph to be a $t$-tough graph.
2024-02-21
On 1-skeleton of the cut polytopes
Published • View Publication • BIB
Given an undirected graph $G = (V,E)$, the cut polytope $\mathrm{CUT}(G)$ is defined as the convex hull of the incidence vectors of all cuts in $G$. The 1-skeleton of $\mathrm{CUT}(G)$ is a graph whose vertex set is the vertex set of the polytope, and the edge set is the set of geometric edges or one-dimensional faces of the polytope. We study the diameter and the clique number of 1-skeleton of cut polytopes for several classes of graphs. These characteristics are of interest since they estimate the computational complexity of the max-cut problem for certain computational models and classes of algorithms. It is established that while the diameter of the 1-skeleton of a cut polytope does not exceed $|V|-1$ for any connected graph, the clique number varies significantly depending on the class of graphs. For trees, cacti, and almost trees (2), the clique number is linear in the dimension, whereas for complete bipartite and $k$-partite graphs, it is superpolynomial.
2024-02-21 v2
A spectral condition for a graph having a strong parity factor
Published in Discrete Applied Mathematics 360(2025)188-195 • View Publication • BIB
A graph $G$ contains a strong parity factor $F$ if for every subset $X\subseteq V(G)$ with $|X|$ even, $G$ has a spanning subgraph $F$ satisfying $δ(F)\geq1$, $d_F(u)\equiv1$ (mod 2) for any $u\in X$, and $d_F(v)\equiv0$ (mod 2) for any $v\in V(G)\setminus X$. In this paper, we give a spectral radius condition to guarantee that a connected graph contains a strong parity factor.
2024-02-20
Removal paths avoiding vertices
In this paper, we show that for any positive integer $m$ and $k\in [2]$, let $G$ be a $(2m+2k+2)$-connected graph and let $a_1,\ldots , a_m, s, t$ be any distinct vertices of $G$, there are $k$ internally disjoint $s$-$t$ paths $P_1, \ldots, P_k$ in $G$ such that $\{a_1,\ldots , a_m\} \cap \bigcup^{k}_{i=1}V (P_i) = \emptyset$ and $G- \bigcup^{k}_{i=1}V (P_i)$ is 2-connected, which generalizes the result by Chen, Gould and Yu [Combinatorica 23 (2003) 185--203], and Kriesell [J. Graph Theory 36 (2001) 52--58]. The case $k=1$ implies that for any $(2m+5)$-connected graph $G$, any edge $e \in E(G)$, and any distinct vertices $a_1,\ldots , a_m$ of $G-V(e)$, there exists a cycle $C$ in $G- \{a_1,\ldots , a_m\}$ such that $e\in E(C)$ and $G- V(C)$ is 2-connected, which improves the bound $10m+11$ of Y. Hong, L. Kang and X. Yu in [J. Graph Theory 80 (2015) 253--267].
2024-02-19 v2
Conformally rigid graphs
Published • View Publication • BIB
Given a finite, simple, connected graph $G=(V,E)$ with $|V|=n$, we consider the associated graph Laplacian matrix $L = D - A$ with eigenvalues $0 = λ_1 < λ_2 \leq \dots \leq λ_n$. One can also consider the same graph equipped with positive edge weights $w:E \rightarrow \mathbb{R}_{> 0}$ normalized to $\sum_{e \in E} w_e = |E|$ and the associated weighted Laplacian matrix $L_w$. We say that $G$ is conformally rigid if constant edge-weights maximize the second eigenvalue $λ_2(w)$ of $L_w$ over all $w$, and minimize $λ_n(w')$ of $L_{w'}$ over all $w'$, i.e., for all $w,w'$, $$ λ_2(w) \leq λ_2(1) \leq λ_n(1) \leq λ_n(w').$$ Conformal rigidity requires an extraordinary amount of symmetry in $G$. Every edge-transitive graph is conformally rigid. We prove that every distance-regular graph, and hence every strongly-regular graph, is conformally rigid. Certain special graph embeddings can be used to characterize conformal rigidity. Cayley graphs can be conformally rigid but need not be, we prove a sufficient criterion. We also find a small set of conformally rigid graphs that do not belong into any of the above categories; these include the Hoffman graph, the crossing number graph 6B and others. Conformal rigidity can be certified via semidefinite programming, we provide explicit examples.
2024-02-16 v2
Every connected graph admits a local antimagic orientation and almost every graph admits an antimagic orientation
Published • View Publication • BIB
An undirected graph $G$ is said to admit an antimagic orientation if there exist an orientation $D$ and a bijection between $E(G)$ and $\{1,2,\ldots,|E(G)|\}$ such that any two vertices have distinct vertex sums, where the vertex sum of a vertex is the sum of the labels of the in-edges minus that of the out-edges incident to the vertex. It is conjectured by Hefetz, Mütze, and Schwartz that every connected graph admits an antimagic orientation. A weak version of this problem is to require the distinct vertex sums only for the adjacent vertices. In that case, we say the graph admits a local antimagic orientation. Chang, Jing, and Wang~\cite{CJW20} conjectured that every connected graph admits a local antimagic orientation. In this paper, we give an affirmative answer to the conjecture of Chang et al., and show that almost every graph satisfies the conjecture of Hefetz et al.
2024-02-14
Monochromatic $k$-connection of graphs
Published • View Publication • BIB
An edge-coloured path is monochromatic if all of its edges have the same colour. For a $k$-connected graph $G$, the monochromatic $k$-connection number of $G$, denoted by $mc_k(G)$, is the maximum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint monochromatic paths. In this paper, we shall study the parameter $mc_k(G)$. We obtain bounds for $mc_k(G)$, for general graphs $G$. We also compute $mc_k(G)$ exactly when $k$ is small, and $G$ is a graph on $n$ vertices, with a spanning $k$-connected subgraph having the minimum possible number of edges, namely $\lceil\frac{kn}{2}\rceil$. We prove a similar result when $G$ is a bipartite graph.
2024-02-14
Hitting times in the stochastic block model
Published • View Publication • BIB
Given a large connected graph $G=(V,E)$, and two vertices $w,\neq v$, let $T_{w,v}$ be the first hitting time to $v$ starting from $w$ for the simple random walk on $G$. We prove a general theorem that guarantees, under some assumptions on $G$, to approximate $\mathbb E[T_{w,v}]$ up to $o(1)$ terms. As a corollary, we derive explicit formulas for the stochastic block model with two communities and connectivity parameters $p$ and $q$, and show that the average hitting times, for fixed $v$ and as $w$ varies, concentrates around four possible values. The proof is purely probabilistic and uses a coupling argument.
2024-02-08
Toward Grünbaum's Conjecture
Given a spanning tree $T$ of a planar graph $G$, the co-tree of $T$ is the spanning tree of the dual graph $G^*$ with edge set $(E(G)-E(T))^*$. Grünbaum conjectured in 1970 that every planar 3-connected graph $G$ contains a spanning tree $T$ such that both $T$ and its co-tree have maximum degree at most 3. While Grünbaum's conjecture remains open, Biedl proved that there is a spanning tree $T$ such that $T$ and its co-tree have maximum degree at most 5. By using new structural insights into Schnyder woods, we prove that there is a spanning tree $T$ such that $T$ and its co-tree have maximum degree at most 4.
2024-02-07
A conjecture implying Thomassen's chord conjecture in graph theory
Published • View Publication • BIB
Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. This is one of the most important unsolved problems in graph theory. We pose a new conjecture which implies Thomassen's conjecture. It involves bound vertices in a longest path between two vertices in a $k$-connected graph. We also give supporting evidence and analyze a special case. The purpose of making this new conjecture is to explore the surroundings of Thomassen's conjecture.
2024-02-05 v2
On the $D_α$ spectral radius of non-transmission regular graphs
Let $G$ be a connected graph with order $n$ and size $m$. Let $D(G)$ and $Tr(G)$ be the distance matrix and diagonal matrix with vertex transmissions of $G$, respectively. For any real $α\in[0,1]$, the generalized distance matrix $D_α(G)$ of $G$ is defined as $$D_α(G)=αTr(G)+(1-α)D(G).$$ The largest eigenvalue of $D_α(G)$ is called the $D_α$ spectral radius or generalized distance spectral radius of $G$, denoted by $μ_α(G)$. In this paper, we establish a lower bound on the difference between the maximum vertex transmission and the $D_α$ spectral radius of non-transmission regular graphs, and we also characterize the extremal graphs attaining the bound.
2024-02-02 v3
Trees and co-trees in planar 3-connected graphs An easier proof via Schnyder woods
Let $G$ be a 3-connected planar graph. Define the co-tree of a spanning tree $T$ of $G$ as the graph induced by the dual edges of $E(G)-E(T)$. The well-known cut-cycle duality implies that the co-tree is itself a tree. Let a $k$-tree be a spanning tree with maximum degree $k$. In 1970, Grünbaum conjectured that every 3-connected planar graph contains a 3-tree whose co-tree is also a 3-tree. In 2014, Biedl showed that every such graph contains a 5-tree whose co-tree is a 5-tree. In this paper, we present an easier proof of Biedl's result
2024-02-02
Classification and Construction of Planar, 3-Connected Kronecker Products
We give a complete classification of the Kronecker (i.e. direct) product graphs that are planar and $3$-connected (i.e. $3$-polytopal). They are all of the form \[H\wedge K_2,\] where $H$ is a $2$-connected graph, possibly non-planar, and satisfying specific properties that we will describe. Our proof is constructive, in the sense that we prescribe how to obtain all such graphs $H$, by adding a few edges in a specific way to a given planar, bipartite graph, that is either $3$-connected, or semi-hyper-$2$-connected. Moreover, for $H$ planar, we also give a more precise characterisation of this graph, regarding the number of its odd regions, and how they intersect. If $H\wedge K_2$ is a $3$-polytope, then we have $δ(H\wedge K_2)=3$, so that the connectivity of $H\wedge K_2$ is $3$, and the connectivity of $H$ is either $2$ or $3$. We also briefly discuss which Cartesian and strong products are $3$-polytopal.
2024-02-01
A characterization of extremal non-transmission-regular graphs by the distance (signless Laplacian) spectral radius
Let $G$ be a simple connected graph of order $n$ and $\partial(G)$ is the spectral radius of the distance matrix $D(G)$ of $G$. The transmission $D_i$ of vertex $i$ is the $i$-th row sum of $D(G)$. Denote by $D_{\max}(G)$ the maximum of transmissions over all vertices of $G$, and $\partial^Q(G)$ is the spectral radius of the distance signless Laplacian matrix $D(G)+\mbox{diag}(D_1,D_2,\ldots,D_n)$. In this paper, we present a sharp lower bound of $2D_{\max}(G)-\partial^Q(G)$ among all $n$-vertex connected graphs, and characterize the extremal graphs. Furthermore, we give the minimum values of respective $D_{\max}(G)-\partial(G)$ and $2D_{\max}(G)-\partial^Q(G)$ on trees and characterize the extremal trees.