connected graph
2591 papers tagged with this keyword
The inverse problem for the Steiner-Wiener index of trees
For a connected graph $G$ and a set $S\subset V(G)$, the Steiner distance $d_G(S)$ is the minimum number of edges in a connected subgraph of $G$ containing $S$. The Steiner-Wiener $k$ index is defined by $\mathrm{SW}_k(G) = \sum_{S\subset V(G), |S|=k} d_G(S)$. We study the inverse problem for this invariant restricted to trees: for fixed $k$, which positive integers occur as $\mathrm{SW}_k(T)$ for a finite tree $T$? We prove that all sufficiently large positive integers occur as $\mathrm{SW}_k(T)$ for some finite tree $T$ if and only if $k$ is even. For odd $k$, we further show that the set of attainable values has asymptotic density of order $k^{-δ}(\log k)^{-3/2}$, where $δ$ is the Erdős-Tenenbaum-Ford constant.
2-Connected Subgraphs of All Orders in Large Graphs with Minimum Degree at Least n/q
We confirm a conjecture of Liu and Ning\cite{LiuNing}: for every fixed integer $q\ge 3$, there exists an integer $n_0(q)$ such that every $2$-connected graph $G$ of order $n\ge n_0(q)$ with minimum degree $δ(G)\ge n/q$ contains a $2$-connected subgraph of order $\ell$ for each $\ell\in\{4,5,\ldots,n\}$. The proof has two main components. First, we construct a small $2$-connected subgraph $D$ such that every vertex outside $D$ has at least two neighbors in $D$. By successively adding the vertices outside $D$, we obtain $2$-connected subgraphs of every order from $|V(D)|$ to $n$. Second, an averaging argument on common neighborhoods yields a large complete bipartite subgraph $K_{2,t}$, which provides $2$-connected subgraphs of all the remaining orders.Finally, we propose the following conjecture: for every pair of fixed integers $r\ge 2$ and $q\ge 3$, every $r$-connected graph $G$ of sufficiently large order $n$ with $δ(G)\ge n/q$ contains an $r$-connected subgraph of every order from $2r$ to $n$.
Some New Sufficient Conditions for a Graph to be $l$-Deficient
For a (molecular) graph $G$ and any real number $α\ne 0$ , the zero-order general Randić index , denote by $^0R_α$, is defined by the following equation: \begin{align*}
{^0R_α} (G) =\sum_{v\in G}d_G (v) ^α (α\in \mathbb{R}-\left\{0\right\}) . \end{align*} The deficiency of $G$, denoted by $def(G)$, is equal to the cardinality of vertices which are not covered by a maximum matching in $G$. A graph G is called $l$-deficient if $def(G)\le l$.
In this paper, we use this index to give sufficient conditions for a connected graph, bipartite graph and a balanced bipartite graph $G$ to satisfy the $l$-deficient property, and show that none of these conditions can be dropped. We will also use these results to enhance and generalise the results that already obtained by M. An and K. C. Das in 2018 and G. Su et al. in 2022.
Minimum degree conditions for removable matchings in $k$-connected graphs
In 1969, Halin proved that every $k$-connected graph $G$ with minimum degree at least $k+1$ contains an edge $e$ such that $G-e$ is $k$-connected. As an edge is a matching of size one, it is natural to ask whether Halin's result extends to matchings of larger size, a question recently investigated by Li, Zhou, Fujita, and Mao. A matching $M$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-M$ is $k$-connected. In this paper, we study minimum degree conditions that guarantee the existence of a $k$-removable matching of prescribed size. Specifically, we prove that for all positive integers $k$ and $m$, every $k$-connected graph $G$ with at least $2m$ vertices contains a $k$-removable matching of size $m$ if \[δ(G)\ \ge\ \begin{cases} \max\bigl\{k+\bigl\lceil\tfrac m2\bigr\rceil,\ 2m\bigr\} & \text{if } k\ge m,\\[2pt] k+m & \text{if } k<m. \end{cases}\] As a consequence, every $k$-connected graph $G$ with $δ(G)\ge2k+1$ contains a $k$-removable matching of size $\bigl\lceil(δ(G)+1)/2\bigr\rceil$, unless $δ(G)$ is even and $G\cong K_{δ(G)+1}$. This verifies a conjecture of Li, Zhou, Fujita, and Mao in the range $δ(G)\ge2k+1$. Our main tool, of independent interest, is a strengthening of Halin's result producing a $k$-removable edge that avoids a prescribed set of vertices.
The positive and negative square-energy conjecture
Let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of the positive and negative adjacency eigenvalues of a graph $G$, respectively. We prove the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies $$
\min\{s^+(G),s^-(G)\}\ge n-1. $$ The proof introduces a new framework for square-energy estimates, in which the Hadamard squares of positive semidefinite matrices that encode these spectral quantities are relaxed to the full doubly nonnegative cone.
The number of perfect matchings in 3-connected planar graphs
A graph is matchable if it admits a perfect matching. Recently, Goedgebeur et al. asked whether there exists a constant $c<12$ such that infinitely many matchable planar $3$-connected graphs, each with exactly $c$ perfect matchings. We prove that every matchable planar $3$-connected graphs on at least 40 vertices has at least 12 perfect matchings, and this lower bound is sharp. This answers the question negatively.
On the Wiener and Harary Indices of Generalized Splitting and Shadow-Splitting Graphs
In this paper, we determine the Wiener index and the Harary index for the $(p,q)$-generalized splitting graph $S_{p,q}(G)$ and the $(c,k)$-shadow-splitting graph $H_{c,k}(G)$ for a connected graph $G$.
Tight lower bound for the spectral radius of connected graphs with given matching number
Let $\mathscr{G}_{n,k}$ denote the family of all connected graphs of order $n$ with matching number $k$. Liu, Lou, and Trevisan~(Linear Algebra Appl., 2026) posed the following problem: Determine the spectrally minimal graphs in $\mathscr{G}_{n,k}$. In this paper we prove that for every graph $G \in \mathscr{G}_{n,k}$, $
ρ(G) \ge \sqrt{\frac{n + 2k - 3}{k}}, $
and we completely characterize the extremal graphs when $k \mid (n-3)$. As applications, we establish $ρ(G) + k \ge 3\sqrt[3]{n/4}$ for $k \ge 2$, settling the asymptotic order of $ρ+ k$ as $Θ(n^{1/3})$ -- strictly smaller than the $Θ(\sqrt{n})$ order suggested by the disproved Aouchiche--Hansen conjecture.
Edge transmission irregular graphs
The transmission of a vertex $v$ in a connected graph $G$ is the sum of distances from $v$ to all vertices in $G$. A transmission irregular (TI) graph is a connected graph in which any two distinct vertices have different transmissions. We extend the concept of transmission to edges by defining the transmission of an edge as the sum of the transmissions of its two endpoints. A connected graph can now be called edge transmission irregular (ETI) if any two distinct edges have different transmissions. We show that almost all graphs are not ETI and then investigate several related order realizability problems involving chemical ETI graphs. In particular, we prove that for every $n \ge 15$, there exists a subcubic tree of order $n$ that is both TI and ETI.
Minimal Isometric Embeddings of Graphs into Cayley Graphs of Finite Abelian Groups
We study when, and how compactly, a finite connected graph (G) embeds isometrically into a Cayley graph of a finite abelian group. The classical theory of partial cubes answers this for isometric subgraphs of hypercubes through the Djokovic-Winkler relation (θ); we extend the question to the full family of abelian Cayley graphs, whose hosts may carry composite generators and cyclic factors of any order. We introduce an involutive edge relation (\varphi), defined by two simultaneous distance equalities, which coincides with (θ) exactly on partial cubes and remains informative beyond them, together with an oriented relation (Φ) for non-involutive hosts, where generator classes are constrained to be partial permutations rather than matchings.The central result is a quotient labeling theorem: for any partition of the edge set into candidate generator classes, the most generic consistent vertex labeling is the quotient of the free module on the classes by the lattice of signed cycle-class incidences, computed by the Smith normal form; the binary case is its reduction modulo two. We prove that the finest partition always yields an isometric labeling, that compactifying the resulting universal group is itself an instance of the same quotient construction, and that the whole construction is algorithmic and certifiable. Worked examples include the triangle, the Petersen graph (embedding into the Clebsch graph of order 16), the Pappus graph (a 1024-fold compaction), and the diamond (a non-diagonal fold). Sharp dimension bounds and an exhaustive census of small graphs are developed in a companion paper. 2020 MSC: 05C12, 05C25, 20K01, 05C50
Dimension and Order Bounds for Isometric Embeddings of Graphs into Abelian Cayley Graphs, and the Abelian Dividend
We investigate the minimum size of finite abelian Cayley graphs that admit an isometric embedding of a finite connected graph. While every connected graph on n vertices embeds isometrically into a binary Cayley graph of dimension at most n-1, the smallest possible abelian host has remained largely unexplored. We establish fundamental lower bounds showing that every binary host has dimension at least max(diam(G), floor(log2 n)), whereas every finite abelian host has order at least max(n, 2^diam(G)). Moreover, we prove that the minimum host order equals n if and only if G is itself an abelian Cayley graph. Exact binary dimensions are obtained for several important graph families. Hypercubes, complete graphs of order 2^k, and even cycles attain the lower bound. For stars we prove k_min(K1,q)=floor(log2 q)+1 using maximum sum-free sets, yielding an exponential improvement over the naive and isometric dimensions. For odd cycles we prove k_min(Cm)=m-1 for all m<17 and reduce the general case to a cyclic-interval lemma, showing that the universal upper bound is tight. Our computational contribution is a certified exhaustive census of all 995 connected graphs with 2<=n<=7 vertices under general abelian compactifications. The data reveal an "abelian dividend": 569 graphs (57 percent) admit a strictly smaller abelian host than the best binary host, 707 (71 percent) admit an optimal host containing a cyclic factor Zm with m>2, and only 17 graphs attain the theoretical order floor max(n,2^diam(G)). These results demonstrate that compact non-binary abelian hosts are typical rather than exceptional, while binary hosts remain the universal worst-case construction. 2020 MSC:05C12, 05C25, 05C30, 11B75, 20K01
On graphs with $1$-matching and $2$-matching edges
Let \(G\) be a graph admitting a perfect matching. An edge is called a {\it \(k\)-matching edge} if it belongs to exactly \(k\) perfect matchings, and a {\it \(k^{+}\)-matching edge} if it belongs to at least \(k\) perfect matchings. Thus, {\it an admissible edge} is a \(1^{+}\)-matching edge, and a connected graph is {\it matching covered} if every edge is admissible. We call a connected graph {\it \(k\)-matching covered} if every edge is a \(k\)-matching edge; in particular, a \(2\)-matching covered graph is called {\it matching double covered}.
Motivated by matching-covered graph theory and the Berge--Fulkerson conjecture (1970s), we introduce the class \(\mathfrak{B}\) of connected graphs in which every edge is either a \(1\)-matching edge or a \(2\)-matching edge, and no perfect matching contains edges of both types. In particular, every matching double covered graph belongs to \(\mathfrak{B}\). Using ear decompositions and tight-cut decompositions, we establish a complete structural characterization of graphs in \(\mathfrak{B}\). These characterizations reveal how restrictions on the number of perfect matchings containing each edge determine the global structure of the corresponding matching-covered graphs.
A coarse block-cutvertex tree-decomposition
We obtain a coarse version of the block-cutvertex tree-decomposition of a connected graph.
Network Realignment Complexes over General Graphs
Network realignment complexes were introduced by Kozlov. We generalise their definition to arbitrary connected base graphs.
For a connected graph $G$, we characterise the connected components of the associated network realignment complex $X_G$ and show that $X_G$ admits an $\operatorname{Aut}(G)$-equivariant strong deformation retraction onto the disjoint union of a complete graph and a discrete $\operatorname{Aut}(G)$-space. For the complete base graph $K_n$, we study the metric structure of the network realignment graph $\mathcal{G}_n$ and obtain explicit upper and lower bounds for its diameter. Finally, we prove that $X_n$ is a cubical flag complex and that every automorphism of $X_n$ is induced by a relabelling of the underlying vertex set. In particular, $\operatorname{Aut}(X_n)\cong S_n$ for all $n\geq 5$.
Sequential cable constructions and linear rank-width
We introduce split-free cable terms and cable plays, a sequential graph-construction language whose live cables impose uniform GF(2)-row behaviour across the current cut. Every play of width w gives a birth-order layout whose cutrank is at most half of w, rounded down, so the sequential split-free width is at least twice the linear rank-width. At the first nontrivial level we prove an exact characterization: a connected graph with at least two vertices has linear rank-width at most one exactly when it admits a stream, equivalently a singleton-birth play of width at most four. We show that unrestricted term width and sequential width differ unboundedly on trees, calibrate the construction on the net graph, and formulate an affine upper-bound conjecture relating sequential split-free width to linear rank-width. For the rank-two case we prove a two-accumulator scheduling criterion that yields width-six plays under a natural future-uniformity hypothesis.
Connected graphs with a large dissociation numberattaining the minimum spectral radius
A dissociation set in a graph is a subset of vertices that induces a subgraph of maximum degree at most one, which is a natural generalization of the notion of an independent set. The dissociation number of a graph is defined as the maximum cardinality of a dissociation set. This paper studies the minimum spectral radius of connected graphs with a given order $n$ and a given dissociation number $ψ$. For $ψ=n-k$ with $k\ge 4$ fixed and $n$ sufficiently large, we establish both upper and lower bounds for this minimum spectral radius and prove the extremal graphs must belong to a specific graph class.
Annihilation, Independence, and Residue: Sharp Matching Bounds for the Annihilation Gap and a TxGraffiti Application
Let $G$ be a finite simple graph. The annihilation number $a(G)$ is an efficiently computable upper bound on the independence number $α(G)$. We develop a sharp matching-number theory for the gap $a(G)-α(G)$. The strongest general theorem is the exact closed form \[a(G)-α(G)\leq 2μ(G)+1- \lceil \sqrt{6 μ(G)} \rceil \qquad(μ(G)\geq 1), \] and the bound is attained for every prescribed matching number. We also prove sharp matching-dependent bounds for forests, bipartite graphs, and König-Egerváry graphs, with equality constructions, equality certificates, and equality criteria. Finally, we treat a TxGraffiti output as a machine-conjecture case study. Using annihilating decompositions together with the classical Havel-Hakimi residue inequality $res(G)\leq α(G)$, we give an independent proof of the TxGraffiti annihilation-residue inequality \[ α(G)\geq \frac{a(G)+res(G)}{Δ(G)} \] for every connected graph $G$ of order at least three, show that both hypotheses are necessary, and compare this proof with a recent Caro-Wei approach. We also refine the Caro-Wei annihilation estimate by an explicit nonnegative slack term, identify its equality cases in degree-sequence form, and combine the refinement with our exact matching-number bound to obtain a combined computable bracket for the independence number and a Gupta-residue bound for the annihilation gap.
Near-bipartite bricks in which every b-invariant edge is a forcing edge
A connected graph is matching covered if it has at least one edge and every edge lies in some perfect matching.Lovász proved that every matching covered graph G can be uniquely decomposed into a list of bricks and braces up to multiple edges. Denote by b(G) the number of bricks in such a decomposition. An edge e of G is removable if G-e is also matching covered; is b-invariant if e is removable and b(G-e)=b(G). Furthermore, an edge e of G is a forcing edge if it lies in precisely one perfect matching of G. Lucchesi and Murty proposed the problem of characterizing bricks, distinct from K_4, \overline{C_6}, and the Petersen graph, in which every b-invariant edge is a forcing edge. In this paper, we solve this problem for near-bipartite bricks by providing a complete characterization.
Generalized Erdős--Rogers problems for $r$-uniform hypergraphs
Let \(F\) and \(G\) be \(r\)-uniform hypergraphs, and let \(f_{F,G}(n)\) be the largest integer \(m\) such that every \(n\)-vertex \(G\)-free \(r\)-graph contains an induced \(F\)-free subgraph on \(m\) vertices. We prove that, if \(r\ge3\), \(F\) is nonempty, \(G\) is \(2\)-tightly connected, and there is no homomorphism from \(G\) to \(F\), then \[
f_{F,G}(n)\le C(\log n)^{β_F},
\qquad
β_F=
\max_{\substack{\emptyset\ne P\subseteq\partial_2F}}
\frac{e(P)}{v(P)-1}. \] For \(r=3\), this confirms a conjecture of He and Nie for tightly connected \(3\)-graphs, sharpening their earlier bound by replacing the exponent $
\max_{\substack{\emptyset\ne P\subseteq\partial_2F}}
\frac{e(P)+1}{v(P)-1} $
with \(β_F\).
When \(F=K_r^r\), our result recovers the Ramsey lower bound $r(G,K_n^r)\ge 2^{Ω(n^{2/r})}$ whenever \(G\) is \(2\)-tightly connected and non-\(r\)-partite.
Path-Minimality for Positive $p$-Energies, Laplacian-Type Spectra, and Line Graphs
We derive several applications of the path-minimality theorem for adjacency $p$-energy proved in the companion paper. First, we prove the sharp inequality $$
\mathcal E_p^+(G)\ge \mathcal E_p^+(P_n), $$ where $P_n$ is the path on $n$ vertices, in three settings: connected bipartite graphs for every real $p\ge2$, all connected graphs for every odd integer $p\ge3$, and all connected graphs for $p=4$. Second, using subdivision graphs, we prove path-minimality for Laplacian and signless Laplacian-type spectral sums, including power sums, Estrada-type quantities, resolvent energies, and thresholded tails. Third, we prove an edge-count second-order stop-loss comparison for the signless Laplacian above the threshold $2$. This yields the sharp line-graph inequality $$
\mathcal E_p^+(\mathcal L(G))\ge \mathcal E_p^+(P_m) $$ for every connected graph $G$ with $m$ edges and every real $p\ge2$.