connected graph
2591 papers tagged with this keyword
Parking functions and chip-firing on hypergraphs
For a connected graph $G$ with sink vertex $q$, a $G$-parking function is a vector of nonnegative integers whose entries are determined by cut-sets in $G$. Such objects also arise as the superstable configurations in the context of chip-firing. The set of all $G$-parking functions have various algebraic and combinatorial properties; for instance they relate to evaluations of the Tutte polynomial and in particular are counted by spanning trees of $G$. We extend these constructions to the setting of hypergraphs, where edges can have multiple vertices. For a hypergraph $H$ with sink $q$, we define $H$-parking functions in terms of cuts in $H$ and prove that the maximal such sequences are characterized by certain acyclic orientations of $H$. We introduce a notion of a $q$-rooted spanning tree for $H$, and prove that the set of all such objects are counted by $H$-parking functions. We also show how $H$-parking functions can be recovered as the superstable configurations in a version of chip-firing on $H$, where chips have a choice of where to go when fired. We prove that one can recover such configurations via chip-firing on a family of digraphs associated to $H$.
Characterizing $A_σ$-minimizer graphs: given order and independence number
For a given graph $G$, let $A(G)$, $Q(G)$, and $D(G)$ denote the adjacency matrix, signless Laplacian matrix, and diagonal degree matrix of $G$, respectively. The $A_σ(G)$ matrix, proposed by Nikiforov, is defined as $A_σ(G)=σD(G)+(1 - σ)A(G)$, where $σ\in[0,1]$. This matrix captures the gradual transition from $A(G)$ to $Q(G)$. Let $\mathcal{G}_{n,α}$ denote the family of all connected graphs with $n$ vertices and independence number $α$. A graph in $\mathcal{G}_{n,α}$ is referred to as an $A_σ$-minimizer graph if it achieves the minimum $A_σ$ spectral radius. In this paper, we first demonstrate that the $A_σ$-minimizer graph in $\mathcal{G}_{n,α}$ must be a tree when $α\geq\left\lceil\frac{n}{2}\right\rceil$, and we provide several characterizations of such $A_σ$-minimizer graphs. We then specifically characterize the $A_σ$-minimizer graphs for the case $α= \left\lceil\frac{n}{2}\right\rceil + 1$. Furthermore, we obtain a structural characterization for the $A_σ$-minimizer graph when $α=n - c$, where $c\geq4$ is an integer. Finally, we identify 17 potential $A_σ$-minimizer graphs within $\mathcal{G}_{n,n - 4}$, thereby extending the results of Liu and Wang [9].
Proximity and Radius in Outerplanar Graphs with Bounded Faces
Let $G$ be a finite, connected graph and $v$ a vertex of $G$. The average distance and the eccentricity of $v$ in $G$ are defined as the arithmetic mean and the maximum, respectively, of the distances from $v$ to all other vertices of $G$. The proximity of $G$ and the radius of $G$ are defined as the minimum of the average distances and the eccentricities over all vertices of $G$.
In this paper, we establish an upper bound on the proximity of a $2$-connected outerplanar graphs in terms of order and maximum face length. This bound is sharp apart from a small additive constant.
It is known that the radius of a maximal outerplanar graph is at most $\lfloor \frac{n}{4} \rfloor +1$. In the second part of this paper we show that this bound on the radius holds for a much larger subclass of outerplanar graphs, for all $2$-connected outerplanar graphs of order $n$ whose maximum face length does not exceed $\frac{n+2}{4}$.
On Proximity and other Distance Parameters in Planar Graphs
Let $G$ be a connected graph. The average distance of a vertex $v$ of $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The proximity and remoteness of $G$ are defined as the minimum and maximum, respectively, of the average distances of the vertices of $G$.
It was shown by Aouchiche and Hansen [Proximity and remoteness in graphs: bounds and conjectures, Networks 58 no.\ 2 (2011)] that for a connected graph of order $n$, the difference between remoteness and proximity and the difference between radius and proximity are bounded from above by about $\frac{n}{4}$, and the difference between diameter and proximity is bounded from above by about $\frac{3}{4}n$.
In this paper, we show that all three bounds can be improved significantly for maximal planar graphs, and for graphs of given connectivity.
We show that in maximal planar graphs the above bound on the difference between radius and proximity can be improved to about $\frac{1}{12}n$, and further to about $\frac{1}{16}n$ and $\frac{1}{20}n$ if the graphs is, in addition, $4$-connected or $5$-connected, respectively. Similar improvements are shown for quadrangulations, and for maximal outerplanar graphs. We further show that the above bound on the difference between remoteness and proximity can be improved to about $\frac{1}{4κ}n$ if $G$ is $κ$-connected. Finally, we improve the bound on the difference between diameter and proximity to about $\frac{3}{4κ}n$ if $G$ is $κ$-connected. We present graphs that demonstrate that our bounds are either sharp, or sharp apart from an additive constant, even if restricted to planar graphs.
A forbidden pair for quasi 5-contractible edges
An edge of a quasi $k$-connected graph is said to be quasi $k$-contractible if the contraction of the edge results in a quasi $k$-connected graph. If every quasi $k$-connected graph without a quasi $k$-contractible edge has either $H_{1}$ or $H_{2}$ as a subgraph, then an unordered pair of graphs $\{H_{1}, H_{2}\}$ is said to be a forbidden pair for quasi $k$-contractible edges. We prove that $\{K_{4}^{-}, \overline{P_{5}}\}$ is a forbidden pair for quasi 5-contractible edges, where $K_{4}^{-}$ is the graph obtained from $K_{4}$ by removing just one edge and $\overline{P_{5}}$ is the complement of a path on five vertices.
The distance spectrum of the line graph of the crown graph
The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. The crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. Using the equitable partition method, the set of distinct distance eigenvalues of the graph $L(Cr(n))$ has been determined which shows that this graph is distance integral [S.Morteza Mirafzal, The line graph of the crown graph is distance integral, Linear and Multilinear Algebra 71, no. 4 (2023): 662-672]. The distance spectrum of the graph $L(Cr(n))$ has not been found yet. In this paper, having the set of distance eigenvalues of $L(Cr(n))$ in the hand, we determine the distance spectrum of this graph.
A Structural Linear-Time Algorithm for Computing the Tutte Decomposition
The block-cut tree decomposes a connected graph along its cutvertices, displaying its 2-connected components. The Tutte-decomposition extends this idea to 2-separators in 2-connected graphs, yielding a canonical tree-decomposition that decomposes the graph into its triconnected components. In 1973, Hopcroft and Tarjan introduced a linear-time algorithm to compute the Tutte-decomposition. Cunningham and Edmonds later established a structural characterization of the Tutte-decomposition via totally-nested 2-separations. We present a conceptually simple algorithm based on this characterization, which computes the Tutte-decomposition in linear time. Our algorithm first computes all totally-nested 2-separations and then builds the Tutte-decomposition from them.
Along the way, we derive new structural results on the structure of totally-nested 2-separations in 2-connected graphs using a novel notion of stability, which may be of independent interest.
When Are Standard Graph Products Isomorphic?
This article investigates the isomorphism problem for graphs derived from the four standard graph products: Cartesian, Kronecker (direct), strong, and lexicographic product. We provide a complete characterization of all simple connected graphs for which their corresponding products are isomorphic. As a by-product, we identify a novel family of non-distance-regular graphs that possess fewer than d+1 distinct distance eigenvalues, where d represents the diameter of the graph. This result offers a new perspective on Problem 4.3 posed in [2], moving beyond the current approaches.
Barnette Graphs with Faces up to Size 8 are Hamiltonian
Barnette's conjecture states that every cubic, bipartite, planar and 3-connected graph is Hamiltonian. Goodey verified Barnette's conjecture for all graphs with faces of size up to 6.
We substantially strengthen Goodey's result by proving Hamiltonicity for cubic, bipartite, planar and (2-)connected graphs with faces of size up to 8. Parts of the proof are computational, including a distinction of 339.068.624 cases.
Leaky Forcing: Extending Zero Forcing Results to a Fault-Tolerant Setting
We study a recent variation of zero forcing called leaky forcing. Zero forcing is a propagation process on a network whereby some nodes are initially blue with all others white. Blue vertices can "force" a white neighbor to become blue if all other neighbors are blue. The goal is to find the minimum number of initially blue vertices to eventually force all vertices blue after exhaustively applying the forcing rule above. Leaky forcing is a fault-tolerant variation of zero forcing where certain vertices (not necessarily initially blue) cannot force. The goal in this context is to find the minimum number of initially blue vertices needed that can eventually force all vertices to be blue, regardless of which small number of vertices can't force. This work extends results from zero forcing in terms of leaky forcing. In particular, we provide a complete determination of leaky forcing numbers for all unicyclic graphs and upper bounds for generalized Petersen graphs. We also provide bounds for the effect of both edge removal and vertex removal on the $\ell$-leaky forcing number. Finally, we completely characterize connected graphs that have the minimum and maximum possible $1$-leaky forcing number (i.e., when $Z_{1}(G) = 2$ and when $Z_{1}(G) = |V(G)|-1$).
Cliques and High Odd Holes in Graphs with Chromatic Number Equal to Maximum Degree
We give a uniform and self-contained proof that if $G$ is a connected graph with $χ(G) = Δ(G)$ and $G\neq \overline{C_7}$, then $G$ contains either $K_{Δ(G)}$ or an odd hole where every vertex has degree at least $Δ(G)-1$ in $G$. This was previously proved in series of two papers by Chen, Lan, Lin, and Zhou, who used the Strong Perfect Graph Theorem for the cases $Δ(G)=4, 5, 6$.
A new conjecture on the inertia of graphs
Let $G$ be a graph with adjacency matrix $A(G)$. We conjecture that \[2n^+(G) \le n^-(G)(n^-(G) + 1),\] where $n^+(G)$ and $n^-(G)$ denote the number of positive and negative eigenvalues of $A(G)$, respectively. This conjecture generalizes to all graphs the well-known absolute bound for strongly regular graphs. The conjecture also relates to a question posed by Torgašev. We prove the conjecture for special graph families, including line graphs and planar graphs, and provide examples where the conjecture is exact. We also conjecture that for any connected graph $G$, its line graph $L(G)$ satisfies $n^+(L(G)) \le n^-(L(G)) + 1$, and obtain partial results.
Classification of polyhedral graphs by numbers of common neighbours
We propose a classification of polyhedra (planar, $3$-connected graphs) according to their type i.e., their set of quantities of common neighbours for each pair of distinct vertices.
For every (finite) set of non-negative integers, we either classify all the polyhedra of that type, or construct infinitely many polyhedra of that type, or prove that none exist.
This problem is related to the theory of strongly regular and Deza graphs, distances in graphs, and degree sequences. There is potential for application to complex networks and data science.
The spectra of graph substitutions
Let $(X,E_X)$ and $(V,E_V)$ be finite connected graphs without loops. We assume that $V$ has two distinguished vertices $a,b$ and an automorphism $γ$ which exchanges $a$ and~$b$. The $V$-edge substitution of $X$ is the graph $X[V]$ where each edge $[x,y] \in E_X$ is replaced by a copy of $V$, identifying $x$ with $a$ and $y$ with $b$ or vice versa. (The latter choice does not matter; it yields isomorphic graphs.) The aim is to describe the spectrum of $X[V]$ in terms of the spectra of $X$ and $V$. Instead of the spectra of the adjacency matrices, we consider the versions which are normalised by dividing each row by the row sum (the vertex degree). These are stochastic, reversible matrices, and our approach applies more generally to reversible transition matrices corresponding to arbitrary positive edge weights invariant under $γ$. We write $P$ for the transition matrix over $X$ and $Q$ for the one over $V$. Together, they induce the matrix $P_*$ over $X[V]$.
The main part of the spectrum of $P_*$ is the response of the natural frequencies of $X$ to substituting $V$, given by a functional equation coming from a rational function induced by~$Q$. A second part comes from specific eigenvalues of $Q$, if present. Finally, there is the part of $\mathsf{spec}(P_*)$ whose eigenfunctions have $X$ as a nodal set. The results depend on issues like whether $X$ has circles of even length and on the eigenvalues of the restriction of $Q$ to $V \setminus \{ a,b\}$, which are classified into 4 possible types. Quite subtle is the issue of determining the multiplicities of the latter as eigenvalues of $P_*$ in terms of the input.
Potential Theory and the Boundary of Combinatorial Graphs
Let $G=(V,E)$ be a finite, connected graph. We investigate a notion of boundary $\partial G \subseteq V$ and argue that it is well behaved from the point of view of potential theory. This is done by proving a number of discrete analogous of classical results for compact domains $Ω\subset \mathbb{R}^d$. These include (1) an analogue of Pólya's result that a random walk in $Ω$ typically hits the boundary $\partial Ω$ within $\lesssim \mbox{diam}(Ω)^2$ units of time, (2) an analogue of the Faber-Krahn inequality, (3) an analogue of the Hardy inequality, (4) an analogue of the Alexandrov-Bakelman-Pucci estimate, (5) a stability estimate for hot spots and (6) a Theorem of Björck stating that probability measures $μ$ that maximize $\int_{Ω\times Ω} \|x-y\|^α dμ(x) dμ(y)$ are fully supported in the boundary.
Non-Hamiltonian 2-regular Digraphs
In earlier papers, we showed a decomposition of 2-diregular digraphs (2-dds) and used it to provide some sufficient conditions for these graphs to be non-Hamiltonian; we also showed a close connection between the permanent and determinant of the adjacency matrices of these digraphs and gave some enumeration and generation results. In the present paper we extend the discussion to a larger class of digraphs, introduce the notions of routes and quotients and use them to provide additional criteria for 2-dds to be non-Hamiltonian. Though individual non-Hamiltonian regular connected graphs of low degree are known (e.g. Tutte and Meredith graphs), families of such graphs are not common in the literature; even scarcer are families of such digraphs. Our results identify a few such families.
The $d$-distance $p$-packing domination number: complexity, cycles, and trees
A set of vertices $X\subseteq V(G)$ is a $d$-distance dominating set if for every $u\in V(G)\setminus X$ there exists $x\in X$ such that $d(u,x) \le d$, and $X$ is a $p$-packing if $d(u,v) \ge p+1$ for every different $u,v\in X$. The $d$-distance $p$-packing domination number $γ_d^p(G)$ of $G$ is the minimum size of a set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. It is proved that for every two fixed integers $d$ and $p$ with $2 \le d$ and $0 \le p \leq 2d-1$, the decision problem whether $γ_d^p(G) \leq k$ holds is NP-complete for bipartite planar graphs. A necessary and sufficient condition for the existence of a $d$-distance $p$-packing dominating set in $C_n$ is obtained and $γ_d^p(C_n)$ determined for every $d$, $p$, and $n$. For a tree $T$ on $n$ vertices with $\ell$ leaves and $s$ support vertices it is proved that (i) $γ_2^0(T) \geq \frac{n-\ell-s+4}{5}$, (ii) $\left \lceil \frac{n-\ell-s+4}{5} \right \rceil \leq γ_2^2(T) \leq \left \lfloor \frac{n+3s-1}{5} \right \rfloor$, and if $d \geq 2$, then (iii) $γ_d^2(T) \leq \frac{n-2\sqrt{n}+d+1}{d}$. Inequality (i) improves an earlier bound due to Meierling and Volkmann, and independently Raczek, Lemańska, and Cyman, while (iii) extends an earlier result for $γ_2^2(T)$ due to Henning. Sharpness of the bounds are discussed and established in most cases. It is also proved that every connected graph $G$ contains a spanning tree $T$ such that $γ_2^2(T) \leq γ_2^2(G)$.
Resolving Open Problems on the Euler Sombor Index
Recently, the Euler Sombor index $(EUS)$ was introduced as a novel degree-based topological index. For a graph $G$, the Euler Sombor index is defined as $$EUS(G) = \sum_{v_i v_j \in E(G)} \sqrt{d_i^2 + d_j^2 + d_i d_j},$$ where $d_i$ and $d_j$ denote the degrees of the vertices $v_i$ and $v_j$, respectively. Very recently, Khanra and Das \textbf{\bf [Euler Sombor index of trees, unicyclic and chemical graphs, \emph{MATCH Commun. Math. Comput. Chem.} \textbf{94} (2025) 525--548]} proposed several open problems concerning the Euler Sombor index. This paper completely resolves two of the most challenging problems posed therein. First, we determine the minimum value of the $EUS$ index among all unicyclic graphs of a fixed order and prescribed girth, and we characterize the extremal graphs that attain this minimum. Building on this result, we further establish the minimum $EUS$ index within the broader class of connected graphs of the same order and girth, and identify the corresponding extremal structures. In addition, we classify all connected graphs that attain the maximum Euler Sombor index $(EUS)$ when both the order and the number of leaves are fixed.
Bipartite graphs with minimum degree at least 15 are antimagic
An antimagic {labeling} of a graph $G=(V,E)$ is a one-to-one mapping $f: E\rightarrow\{1,2,\ldots,|E|\}$, ensuring that the vertex sums in $V$ are pairwise distinct, where a vertex sum of a vertex $v$ is defined as the sum of the labels of the edges incident to $v$. A graph is called antimagic if it admits an antimagic labeling. The Antimagic Labeling Conjecture, proposed by Hartsfield and Ringel in 1990, posits that every connected graph other than $K_2$ is antimagic. The conjecture was confirmed for graphs of average degree at least 4,182 in 2016 by Eccles, where it was stated that a similar approach could not reduce the bound below 1,000 from 4,182.
This paper shows that every bipartite graph with minimum degree at least 15 is antimagic. Our approach relies on three tools: a consequence of König's Theorem, the existence of a subgraph of a specific size that avoids Eulerian components, and a labeling lemma that ensures some vertex sums are divisible by three while others are not.
Maker-Breaker total domination number
The Maker-Breaker total domination number, $γ_{\rm MBT}(G)$, of a graph $G$ is introduced as the minimum number of moves of Dominator to win the Maker-Breaker total domination game, provided that he has a winning strategy and is the first to play. The Staller-start Maker-Breaker total domination number, $γ_{\rm MBT}'(G)$, is defined analogously for the game in which Staller starts. Upper and lower bounds on $γ_{\rm MBT}(G)$ and on $γ_{\rm MBT}'(G)$ are provided and demonstrated to be sharp. It is proved that for any pair of integers $(k,\ell)$ with $2\leq k\leq \ell$, (i) there exists a connected graph $G$ with $γ_{\rm MB}(G)=k$ and $γ_{\rm MBT}(G)=\ell$, (ii) there exists a connected graph $G'$ with $γ_{\rm MB}'(G')=k$ and $γ_{\rm MBT}'(G')=\ell$, and (iii) there there exists a connected graph $G''$ with $γ_{\rm MBT}(G'')=k$ and $γ_{\rm MBT}'(G'')=\ell$. Here, $γ_{\rm MB}$ and $γ_{\rm MB}'$ are corresponding invariants for the Maker-Breaker domination game.