connected graph
2650 papers tagged with this keyword
Minimal examples of Cohen-Macaulay independence complexes that fail to be shellable or vertex decomposable
We report on an exhaustive census of all 1,006,700,565 connected graphs on $11$ vertices to find the minimal examples of graphs whose independence complexes are Cohen-Macaulay but not shellable, or shellable but not vertex decomposable. In particular, there are exactly two graphs $G$ where ${\rm Ind}(G)$ is Cohen-Macaulay but not shellable, when the characteristic is not two, and exactly six graphs where ${\rm Ind}(G)$ is shellable but not vertex decomposable.
A linear bound for a connectivity partition in graphs
Kühn and Osthus proved that, for every positive integer $\ell$, every $2^{16}\ell^2$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\geq \ell$ for every $v\in S$. And they asked whether the quadratic bound can be replaced by a linear bound. In this paper, we answer this question in the affirmative by proving that every $641\ell$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\ge \ell$ for every $v\in S$. The proof integrates the Moser-Tardos resampling algorithm.
On the maximum degree and order of $K_t$-minor-free graphs with positive Lin--Lu--Yau curvature
Motivated by recent results on the order of connected graphs with positive Lin--Lu--Yau Ricci curvature under forbidden minor or forbidden subgraph conditions and minimum degree assumptions, we prove that, for every integer $t\ge 5$, every connected graph $G$ with no $K_t$ minor, minimum degree at least $t-1$ and positive Lin--Lu--Yau Ricci curvature on every edge satisfies \[ Δ(G)=O(t^5\log^{3/2}t) \quad\text{and}\quad |V(G)|<2tΔ(G)^6=O(t^{31}\log^9 t). \] The minimum degree condition $t-1$ is best possible. Moreover, the bound on the maximum degree $Δ(G)$ extends to locally finite graphs and, consequently, every connected locally finite graph satisfying these conditions is finite.
Theoretical Analysis of DomiRank Centrality: Automorphism, Entropy, and Graph Transformations
DomiRank is a node-importance algorithm for unweighted networks, defined by a dynamical-system model whose steady state is governed by a competition-strength parameter, a dominance threshold, and a natural decay rate. We study its intrinsic relations with graph automorphism: vertices mapped to each other by an automorphism share the same DomiRank value, and a graph whose DomiRank values are pairwise distinct must be asymmetric; we derive DomiRank properties of regular and vertex-transitive graphs and bound the number of orbits by that of distinct DomiRank values. For DomiRank entropy, the maximum over connected graphs is attained only by regular graphs, and under sufficient conditions (rigorously in the low-competition regime) the entropy decreases monotonically with the competition parameter, a behavior observed on all tested networks and conjectured to hold generally; tuning sigma shifts the identification from important to dominant key nodes. We also study how graph transformations (vertex similarity, vertex partitions, edge swaps, m-products) affect the DomiRank vector, and characterize analytically the sensitivity and limiting behavior of sigma: the normalized DomiRank distribution is sigma-invariant iff the degree vector is an eigenvector of the adjacency matrix, and sigma interpolates continuously between degree and least-eigenvector centrality; experiments on four real networks confirm these results. These results position DomiRank as a tunable complement to principal-eigenvector centrality, with distinctive behavior under strong competition and new tools for node-importance evaluation. Because the parameterization by sigma is a structural property of the measure, not a guarantee of advantage on a downstream task, we also relate these results to the companion null-model study of how much of DomiRank's task-level edge over a degree baseline survives an explicit degree correction.
Random $3$-regular graphs are not globally synchronizing
We study the homogeneous Kuramoto model on random 3-regular graphs. A connected graph $G$ is globally synchronizing if, for almost every initial condition, the gradient flow converges to a fully synchronized state, in which all phases coincide. It has been conjectured by Bandeira [Oberwolfach Rep. 21 (2024) 1163-1226] that a random 3-regular graph $G_{2n,3}$ is globally synchronizing with high probability. We disprove this conjecture in a strong way: $G_{2n,3}$ is not globally synchronizing with probability tending to 1.
The maximum size of simple solid matching covered graphs
A connected graph with at least two vertices is matching covered if each of its edges is contained in a perfect matching. A matching covered graph is solid if every separating cut in it is a tight cut. A matching covered graph which is free of nontrivial tight cuts is a brick if it is nonbipartite. Every bipartite matching covered graph is solid. Lucchesi and Murty conjectured that there exists a positive integer $N$ such that, for every integer $n\ge N$, the maximum number of edges in a simple solid matching covered graph on $2n$ vertices is $n^2$. In this paper, we disprove this Conjecture, and show that the maximum number of edges of a simple solid matching covered graph on $2n$ ($n\ge2$) vertices is $n^2+2$. Moreover, we characterize the graphs attaining this bound. In addition, we prove that every simple solid brick of order $2n$ has at most $n^2$ edges for $n\ge4$.
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.
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$.
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.
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.
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$.
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.
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.
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]$.
$\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.
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.
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$.
On the Realizability of Edge-Girth Sequences
The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists, and the edge-girth sequence of a graph is the nondecreasing sequence of the edge-girths of its edges. We characterize the sequences that are realizable as the edge-girth sequence of a simple connected graph. A constant sequence $(g^{(m)})$ with $g$ finite and $m \geq 1$ is realizable if and only if $m = g$ or $m \geq \lceil 3g/2 \rceil$. Otherwise, writing $S = S_0 \uplus (g^{(m)})$, where $g$ is the maximum value of $S$ and $m$ its multiplicity, we prove that $S$ is realizable if and only if $S_0$ is realizable and $m$ lies in an explicit set determined by $g$ and by the maximum diameters of the graphs realizing $S_0$, alone or extended by fewer than $g$ edges of edge-girth $g$. The proof rests on a chaining lemma, which turns a shortest cycle of a realization into a lower bound on the maximum diameter of the realizations of a shorter sequence.
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.