arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2678 papers tagged with this keyword
A Decomposition of the Hitting Time Index Using the Kirchhoff Index and an Asymmetry Term
We study the hitting time index, a graph invariant defined in terms of expected hitting times of simple random walks on finite connected graphs, through its relation with the Kirchhoff index. Using the commute time identity and Tetali's formula, we decompose the hitting time index into a Kirchhoff-index term and a nonnegative asymmetry term expressed by degree-weighted effective resistance sums. We derive lower and upper bounds for the asymmetry term, together with their equality conditions, and obtain a lower bound for the hitting time index in terms of the range of the degree-weighted resistance sums. For trees, we obtain lower and upper bounds for the asymmetry term, with the upper bound expressed in terms of the Wiener index, and characterize the equality case in the lower bound. In particular, we show that among all trees of fixed order, the hitting time index is minimized uniquely by the star graph. Finally, we apply the decomposition to complete bipartite graphs, paths, and graphs obtained by conjoining complete graphs, and recover several known hitting-time formulas.
2026-10-04
Positively Lin-Lu-Yau curved graphs with no $K_{2,t}$ minor
Let $G$ be a connected graph with minimum degree at least two, positive Lin-Lu-Yau Ricci curvature, and no $K_{2,t}$ minor, where $t\ge 3$ is an integer. We first establish tight upper bounds on the maximum degree of $G$ by showing that $Δ(G)\le 2t+3$ for $t=4$, $Δ(G)\le 2t+4$ for $t\in\{5,6\}$, and $Δ(G)\le 2t+2$ for all $t\ge7$. We then prove that $G$ has at most $10$ vertices for $t=3$, and at most $(t+1)\left(Δ(G)^2(Δ(G)-1)/2+1\right)$ vertices for all $t\ge 4$.
2026-10-02
Counterexamples to the Strong Roberson Conjecture
We refute the Strong Roberson Conjecture, which asserts that adding any graph outside a class closed under minors and disjoint unions strictly increases the distinguishing power of homomorphism counts from that class. More precisely, we construct connected graphs $H$ for which counts from graphs excluding $H$ as a minor determine the number of homomorphisms from $H$ to any target graph. We also refute the analogous conjecture with immersions in place of minors. We give explicit infinite families of excluded graphs, including cubic bipartite graphs that yield counterexamples for both relations. The proof introduces a method for deriving exact homomorphism count dependence from modular equivalences. We obtain these equivalences for infinitely many primes using prime-order automorphisms of graphs that exclude their orbit quotients as minors or immersions.
2026-10-02
Partitioning an $S$-packing coloring into broadcast dominating sets
Given a graph $G$ and a positive integer $k$, a packing $k$-domatic coloring of $G$ is a function $f: V(G) \to \{1,\ldots,t\}$ such that (1) for any color $j \in \{1,\ldots, t\}$ and any two distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=j$ we have $d_G(u,v)>j$, and (2) $V(G)$ admits a partition into $k$ sets $A_1,\ldots,A_k$ such that for any $v\in V(G)$ and any $i\in\{1,\ldots,k\}$ there exists a vertex $w\in A_i$ such that $d_G(v,w)\le f(w)$. The minimum integer $t$ such that $G$ admits a packing $k$-domatic coloring of $G$ using colors in $\{1,\ldots,t\}$ is denoted by $χ_{ρ,k}(G)$. The condition (1) in the definition of a packing $k$-domatic coloring implies that $G$ is a packing coloring, hence $χ_{ρ,k}(G)\ge χ_ρ(G)$ holds for any graph $G$, where $χ_ρ(G)$ is the packing chromatic number of $G$. On the other hand, the new concept also leads to a generalization of the domatic number of a graph due to which one can easily see that $χ_{ρ,2}(G)=χ_ρ(G)$ holds for any graph with no isolated vertices. One of the main result in this paper is that $χ_{ρ,3}(G)=χ_ρ(G)$ holds in any connected graph $G$ with minimum degree at least $2$, and the bound is best possible in two different senses. In addition, we provide several exact values and bounds on the new invariant in paths and cycles. We prove that $χ_{ρ,k}(P_n)=k$ for any $k\in\{3,4,5\}$ as soon as $n\ge 8$, and, in contrast, $χ_{ρ,k}(P_n)>k$ for any $n\ge k\ge 12$. We also prove the exact values of $χ_{ρ,k}(P_\infty)$ when $k\in \{3,4,5\}$ for the two-way infinite path $P_\infty$, and exact values of $χ_{ρ,k}(C_n)$ when $k\in\{3,4\}$ for all cycles $C_n$. We also consider a general framework of $S$-packing $k$-domatic colorings, where $S$ is an arbitrary sequence of non-negative integers, and present some basic results in this context.
2026-10-02 v4
Necessary and sufficient conditions of a class of bipartite graphs with local antimagic chromatic number 2 - an algebraic approach
For a connected graph $G = (V, E)$, a bijective edge labeling $f:E \to\{1,\ldots ,|E|\}$ is a local antimagic labeling of $G$ if it induces a vertex labeling $f^+$ 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(xu)$, with $u$ ranging over all the vertices adjacent to $x$. The minimum number of distinct induced vertex labels over all local antimagic labelings of $G$ is the local antimagic chromatic number of $G$, denoted $χ_{la}(G)$. In this paper, we make use of algebraic analysis to obtain necessary and sufficient conditions for every bipartite graph with all vertices of degree 2 except exactly three vertices of degree at least $3$ (say, $u,v,w$, such that every $(u,v)$-, $(u,w)$- and $(v,w)$-path is of even length and not all are of length 2) to have local antimagic chromatic number 2. Moreover, we showed that the consecutive edge labels of every induced path of each case is unique.
Identifying open codes in trees and 4-cycle-free graphs of given maximum degree
Published in Discrete Applied Mathematics 386: 319-333 (2026) • View Publication • BIB
An identifying open code of a graph $G$ is a set $S$ of vertices that is both a separating open code (that is, $N_G(u) \cap S \ne N_G(v) \cap S$ for all distinct vertices $u$ and $v$ in $G$) and a total dominating set (that is, $N(v) \cap S \ne \emptyset$ for all vertices $v$ in $G$). Such a set exists if and only if the graph $G$ is open twin-free and isolate-free; and the minimum cardinality of an identifying open code in an open twin-free and isolate-free graph $G$, its identifying open code number, is denoted by $γ^{\rm {\small IOC}}(G)$. We study the identifying open code number of a graph, in relation with its order and its maximum degree. For $Δ$ a fixed integer at least $3$, we show that if $G$ is a connected graph of order $n \ge 5$ that contains no $4$-cycle and is open twin-free with maximum degree bounded above by $Δ$, then $γ^{\rm {\small IOC}}(G) \le \left( \frac{2Δ- 1}{2Δ} \right) n$, unless $G$ is obtained from a star $K_{1,Δ}$ by subdividing every edge exactly once. Moreover, we show that the bound is best possible by constructing graphs that reach the bound when $Δ=3$, and nearly best possible by another construction when $Δ\geq 4$, with identifying open code numbers $\left(\frac{2Δ- 4}{2Δ-3} \right) n$.
2026-09-30
Edge-Connectivity versus Lin--Lu--Yau Curvature
We systematically explore the relationship between edge-connectivity and Lin--Lu--Yau curvature for graphs. The intuition is that a connected graph with large Lin--Lu--Yau curvature should also have large edge-connectivity, and vice versa under suitable conditions. We prove that the edge-connectivity of a connected graph is bounded lower by the product of its minimum degree, its Lin--Lu--Yau curvature and the constant $\frac{3}{2}$. We also provide two lower bounds on the edge-connectivity of a graph that guarantee positive Lin--Lu--Yau curvature, and discuss the sharpness of these bounds.
2026-09-30
On Eternal Connected Vertex Cover
For a connected graph $G$ with at least one edge, the \textit{eternal connected vertex cover} number $ecvc(G)$ is the minimum number of guards that can maintain a connected vertex cover after every response to an arbitrary sequence of edge attacks. Denote the minimum size of a connected vertex cover by $cvc(G)$. It is known that $cvc(G)\leq ecvc(G)\leq cvc(G)+1$. A necessary condition for $ecvc(G)=cvc(G)$ is that every vertex belongs to some minimum connected vertex cover. We show that this condition is not sufficient: there exists a $32$-vertex graph $G$ that has $cvc(G)=19$ and $ecvc(G)=20$, although every vertex of $G$ belongs to some minimum connected vertex cover. For connected graphs with minimum degree at least two, we establish the sharp bound $cvc(G)\geq 2|V(G)|-|E(G)|-1$ and $\mathcal F$ denotes the class attaining equality. We prove that $G\in\mathcal F$ if and only if the vertices of degree at least three induce a forest. Within $\mathcal F$, the conditions $ecvc(G)=cvc(G)$, membership of every vertex in some minimum connected vertex cover, and the presence of at least two degree-two vertices on every cycle are equivalent. As applications, we obtain $ecvc(G)=cvc(G)$ for full subdivisions of connected graphs of minimum degree at least two and for minimally $2$-connected graphs. In both the families, every minimum connected vertex cover is an eternally winning configuration. This is not true in general for graphs outside $\mathcal{F}$, we show one example of such a graph.
2026-09-30 v3
Localized Erdős-Pósa Property for Subdivisions
For a graph $H$, we say that $H$ has the Erdős-Pósa property for subdivisions with function $f$, if, for every nonnegative integer $k$ and every graph $G$, either $G$ contains (as a subgraph) $k+1$ pairwise vertex-disjoint subdivisions of $H$ or there exists a set $X\subseteq V(G)$ such that $G\setminus X$ contains no $H$-subdivision and $|X|\leq f(k)$. We show that every connected graph $H$ that has the Erdős-Pósa property for subdivision also satisfies a localized version of the Erdős-Pósa property, as follows. Let $H$ be a connected graph that has the Erdős-Pósa property for subdivisions with function $f$, and let $G$ be a graph that does not contain $k+1$ vertex-disjoint subdivisions of $H$. We demonstrate the existence of a set of at most $k$ vertex-disjoint subdivisions of $H$ in $G$ such that in their union, we can find a set $X$ with the property that $G \setminus X$ contains no $H$-subdivision and $|X| \leq 2^{f(k)}mk -k(m-n)$ where $n$ and $m$ are the number of vertices and edges.
2026-09-30 v2
Characterization of Some Graphs Realizing Regularity Bounds for Binomial Edge Ideals
In this paper, we characterize all graphs $G$ satisfying \[\operatorname{reg}(S/J_G)=\ell(G)=c(G)\] where $\ell(G)$ is the sum of the lengths of the longest induced paths in each connected component of $G$ and $c(G)$ is the number of the maximal cliques of $G$. We also characterize all connected graphs $G$ that satisfy \[\operatorname{reg}(S/J_G)=\ell(G)=|V(G)|-ω(G)+1\] where $ω(G)$ is the clique number of $G$. Moreover, we investigate the possible values of the regularity of $S/J_G$ within the intervals $[\ell(G), c(G)]$ and $[\ell(G), |V(G)|-ω(G)+1]$.
2026-09-29
$\ell_{1}$-Embeddability of Regular Quadrilateral Maps on the Torus and the Klein Bottle
A connected graph is called $\ell_1$-embeddable if its shortest-path metric admits an isometric embedding into the $\ell_1$-space; equivalently, in the finite case, it admits a scale embedding into a hypercube. This paper gives a complete parameter-level classification of $\ell_1$-embeddability for regular quadrilateral maps on the torus and the Klein bottle. We treat the two toroidal families $Q_{k,m,r}$ and $Q_{k,m,e}$, obtained from suitable identifications of finite square grids, and, using the known isomorphisms among Klein-bottle quadrilateral maps, the three essential Klein-bottle families $Q_{k,m,a}$, $Q_{k,m,b}$, and $Q_{k,m,h}$. The $\ell_1$-embeddable toroidal maps are exactly $Q_{k,m,0}, Q_{k,2,1}, Q_{k,1,e}, Q_{5,2,e}, Q_{2i,2,e} (i\ge 2)$, and the $\ell_1$-embeddable Klein-bottle maps are exactly $ Q_{2,2,a}, Q_{4,2,a}, Q_{2,m,b}, Q_{1,2,h}.$ All other members of these five families are not $\ell_1$-embeddable.
2026-09-29
Independence number, essential connectivity and the distance spectral radius of graphs
An independent set of a graph G is a subset of VG, no two of which are adjacent. The cardinality of a maximum independent set in a graph G is called the independence number of G, denoted by alpha(G). The essential connectivity kappa'(G) of a graph G is denoted as the minimum number of vertices of G whose removal produces a disconnected graph with at least two non-trivial components. In this paper, we determine the n-vertex connected graphs with given independence number and essential connectivity that attain the minimum distance spectral radius, and fully characterize the corresponding extremal graphs.
2026-09-29
Connected graphs with minimum adjacency spectral gap
Let $G$ be a connected graph, and let $λ_1(G) > λ_2(G)$ denote its two largest adjacency eigenvalues. The spectral gap of $G$ is defined as the difference $λ_1(G) - λ_2(G)$. For integers $r\geq 2$ and $s\geq 0$, the double kite $DK(r,s)$ is formed by taking two vertex-disjoint copies of the complete graph $K_r$ and joining one specified vertex of each clique to a path with $s$ internal vertices. Stanić (2013) conjectured that every connected $n$-vertex graph with minimum adjacency spectral gap is a double kite. In this paper, we confirm this conjecture for sufficiently large $n$.
Antimagicness of join graphs
An antimagic labelling of a graph G = (V,E) is a bijection from E to {1,2,...,|E|}, such that all vertex-sums are pairwise distinct, where the vertex-sum of each vertex is the sum of labels over edges incident to this vertex. A graph is antimagic if it has an antimagic labelling. Hartsfield and Ringel in 1990 stated the celebrated conjecture: Every connected graph other than K_2 is antimagic. We prove the conjecture for join graphs with at least three vertices.
Computing the Helly Number, Radon Number and Rank in Cycle Convexity
In this paper, we investigate three fundamental convexity parameters of graphs under cycle convexity, namely the Helly number, Radon number, and rank. We first study the computational complexity of these parameters. For each of these parameters, we consider the associated threshold decision problem of determining whether the parameter of a given graph is at least a prescribed integer. We establish that all three problems are $\NP$-hard and $\W[1]$-hard when parameterized by the threshold. Moreover, we strengthen these results by showing that the $\NP$-hardness persists even when the input is restricted to planar graphs of maximum degree at most $6$. We also focus on the structural properties of connected graphs corresponding to extremal values of these parameters. In particular, we characterize the graph classes for which the three parameters attain the values $n-1$ and $n-2$, where $n$ is the order of $G$.
2026-09-28 v2
The maximum number of edges in minimal matching covered graphs
A connected graph $G$ with at least two vertices is {\em matching covered} if each of its edges lies in a perfect matching. A matching covered graph is {\em minimal} if the removal of any edge results in a graph that is no longer matching covered. Lovász and Plummer [J. Combin. Theory, Ser. B 23 (1977) 127--138] proved by ear decompositions that every minimal matching covered bipartite graph $G$ different from $K_2$ has at most $(3|V(G)|-6)/2$ edges, and this bound is sharp for all $|V(G)|\ge4$. In this paper, we prove that every minimal matching covered nonbipartite graph $G$ with at least 6 vertices has at most $5(|V(G)|-2)/2$ edges, and this bound is sharp for all $|V(G)|\ge6$.
2026-09-28 v3
Constrained Ramsey numbers for rainbow $P_5$
For any graph $H$, let $R_k(H)$ denote the minimum integer $n$ such that in every $k$-edge-coloring of $K_{n}$, there is a monochromatic copy of $H$. Given two graphs $H$ and $G$, the \emph{constrained Ramsey number} $f(H,G)$ is the minimum integer $n$ such that in every edge-coloring of $K_{n}$ with any number of colors, there is either a monochromatic copy of $H$ or a rainbow copy of $G$. Let $P_t$ be the path on $t$ vertices. Gyárfás, Lehel and Schelp proved that $f(H,P_5)=R_3(H)$ when $H$ is a path, a cycle, or a connected non-bipartite graph. Li, Besse, Magnant, Wang and Watts conjectured that $f(H,P_5)=R_3(H)$ for any graph $H$, and confirmed this for every connected graph and every bipartite graph. In this paper, we address this conjecture for several classes of disconnected graphs with chromatic number at least 3. To the best of our knowledge, our general results encompass all previously known results of this type. We also obtain several results for a bipartite variant of the problem. In addition, we propose a series of related questions from several directions for further research. Our proofs combine the structural characterization of Thomason and Wagner with Simonovits' decomposition-family method and Ramsey numbers for families of graphs.
On the (independent) semitotal domination in subdivision, middle, and central graphs
A dominating set $D$ of a nontrivial connected graph $G$ is called a semitotal dominating set of $G$ if every vertex in $D$ is at distance at most two from another vertex in $D$. If, in addition, $D$ is an independent set, then $D$ is called an independent semitotal dominating set of $G$. The (independent) semitotal domination number of $G$ is the minimum cardinality among all (independent) semitotal dominating sets of $G$. In this paper, we obtain closed formulas for these parameters in the following three well-known graph operators defined from a connected graph: the subdivision, middle, and central graphs.
2026-09-27
Quantitative Merino--Welsh inequalities for joins
For a connected graph \(G\), let \[ Q(G)=\frac{T(G;2,0)T(G;0,2)}{T(G;1,1)^2}. \] We obtain quantitative lower bounds for \(Q\) under the graph join operation. If \(A\) and \(B\) are arbitrary simple graphs of orders \(3\le a\le b\), then \(Q(A\vee B)\) admits an explicit lower bound depending only on \(a\) and \(b\), and this bound is strictly greater than \(1\). We further quantify the improvement produced by edges inside the two factors. For every simple graph \(F\), with \(n=|V(F)|+2\ge4\), we prove \[ Q(K_2\vee F)\ge \frac{27}{n^2}\left(\frac32\right)^{n-4}. \] Consequently, every join of at least three nonempty factors, and every complete multipartite graph with at least one edge and no cut edges, satisfies the strict multiplicative Merino--Welsh inequality. The proofs combine orientation estimates with spanning-tree comparisons based on effective resistance and block elimination.
2026-09-25
On harmonic centers of graphs
The harmonic centrality of a vertex $v$ in a graph $G = (V,E)$ is the sum of reciprocals of distances of vertices of $G$ from $v$. The vertices of $G$ which have the maximum (minimum) harmonic centrality form the harmonic center (or periphery, resp.) of $G$. We study harmonic centers of graphs and their localization in graph blocks, presenting sufficient conditions for graphs (in terms of diameter or number of edges) to have those centers contained in a single block; in addition, we show that each connected graph is the harmonic center as well as harmonic periphery of some graphs.