arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2596 papers tagged with this keyword
2021-04-22 v3
A Graph Decomposition motivated by the Geometry of Randomized Rounding
We introduce a graph decomposition which exists for all simple, connected graphs $G=(V,E)$. The decomposition $V = A \cup B \cup C$ is such that each vertex in $A$ has more neighbors in $B$ than in $A$ and vice versa. $C$ is `balanced': each $v \in C$ has the same number of neighbours in $A$ and $B$. These decompositions arise naturally from the behavior of an associated dynamical system (`Randomized Rounding') on $(\mathbb{S}^1)^{|V|}$. Connections to judicious partitions and the \textsc{MaxCut} problem (in particular the Burer-Monteiro-Zhang heuristic) are being discussed.
2021-04-20 v2
Regular graphs with few longest cycles
Published • View PublicationBIB
Motivated by work of Haythorpe, Thomassen and the author showed that there exists a positive constant $c$ such that there is an infinite family of 4-regular 4-connected graphs, each containing exactly $c$ hamiltonian cycles. We complement this by proving that the same conclusion holds for planar 4-regular 3-connected graphs, although it does not hold for planar 4-regular 4-connected graphs by a result of Brinkmann and Van Cleemput, and that it holds for 4-regular graphs of connectivity 2 with the constant $144 < c$, which we believe to be minimal among all hamiltonian 4-regular graphs of sufficiently large order. We then disprove a conjecture of Haythorpe by showing that for every non-negative integer $k$ there is a 5-regular graph on $26 + 6k$ vertices with $2^{k+10} \cdot 3^{k+3}$ hamiltonian cycles. We prove that for every $d \ge 3$ there is an infinite family of hamiltonian 3-connected graphs with minimum degree $d$, with a bounded number of hamiltonian cycles. It is shown that if a 3-regular graph $G$ has a unique longest cycle $C$, at least two components of $G - E(C)$ have an odd number of vertices on $C$, and that there exist 3-regular graphs with exactly two such components.
2021-04-19
On Fault-Tolerant Resolvability of Double Antiprism and its related Graphs
For a connected graph $Γ=(V,E)$, a subset $R$ of ordered vertices in $V$ is said to be a resolving set in $Γ$, if the vector of distances to the vertices in $R$ is unique for each $u^{i}\in V(Γ)$. The metric dimension of $Γ$ is the minimum cardinality of such a set $R$. If $R\setminus \{u^{i}\}$ is still a resolving set $\forall$ $u^{i}\in R$, then $R$ is called a fault-tolerant resolving set (FTRS) for $Γ$ and its least cardinality is the fault-tolerant metric dimension (FTMD) of $Γ$. In this article, we introduce the concept of an independent fault-tolerant resolving set (IFTRS) and investigate it for several well-known graphs. We also show that the FTMD is four for three closely related families of convex polytopes available in the literature (viz., double antiprism $\mathbb{A}_{n}$, $S_{n}$, and $T_{n}$).
Quantitative characteristics of cycles and their relations with stretch and spanning tree congestion
The main goal of this article is to introduce new quantitative characteristics of cycles in finite simple connected graphs and to establish relations of these characteristics with the stretch and spanning tree congestion of graphs. The main new parameter is named the support number. We give a polynomial approximation algorithm for the support number with the aid of yet another characteristic we introduce, named the cycle width of the graph.
2021-04-13
A zero forcing technique for bounding sums of eigenvalue multiplicities
Published • View PublicationBIB
Given a graph $G$, one may ask: "What sets of eigenvalues are possible over all weighted adjacency matrices of $G$?" (The weight of an edge is positive or negative, while the diagonal entries can be any real numbers.) This is known as the Inverse Eigenvalue Problem for graphs (IEP-$G$). A mild relaxation of this question considers the multiplicity list instead of the exact eigenvalues themselves. That is, given a graph $G$ on $n$ vertices and an ordered partition $\mathbf{m}= (m_1, \ldots, m_\ell)$ of $n$, is there a weighted adjacency matrix where the $i$-th distinct eigenvalue has multiplicity $m_i$? This is known as the ordered multiplicity IEP-$G$. Recent work solved the ordered multiplicity IEP-$G$ for all graphs on 6 vertices. In this work, we develop zero forcing methods for the ordered multiplicity IEP-$G$ in a multitude of different contexts. Namely, we utilize zero forcing parameters on powers of graphs to achieve bounds on consecutive multiplicities. We are able to provide general bounds on sums of multiplicities of eigenvalues for graphs. This includes new bounds on the the sums of multiplicities of consecutive eigenvalues as well as more specific bounds for trees. Using these results, we verify the previous results above regarding the IEP-$G$ on six vertices. In addition, applying our techniques to skew-symmetric matrices, we are able to determine all possible ordered multiplicity lists for skew-symmetric matrices for connected graphs on five vertices.
Grundy domination of forests and the strong product conjecture
Published in The Electronic Journal of Combinatorics 28(2) (2021), #P2.12 • View PublicationBIB
A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the non-isolate vertices of $F$ into caterpillars in which if two caterpillars of $\mathcal{P}$ have an edge between them in $F$, then such an edge must be incident to a non-leaf vertex in at least one of the caterpillars. We use this result to show the strong product conjecture of B. Brešar, Cs. Bujtás, T. Gologranc, S. Klavžar, G. Košmrlj, B. Patkós, Zs. Tuza, and M. Vizer, Dominating sequences in grid-like and toroidal graphs, Electron. J. Combin. 23(4): P4.34 (2016), for all forests. Namely, we show that for any forest $G$ and graph $H$, $γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$. We also show that every connected graph $G$ has a spanning tree $T$ so that $γ_{gr}(G)\le γ_{gr}(T)$ and that every non-complete connected graph contains a Grundy dominating set $S$ so that the induced subgraph of $S$ contains no isolated vertices.
2021-04-08
On the first Banhatti-Sombor index
Let $d_v$ be the degree of the vertex $v$ in a connected graph $G$. The first Banhatti-Sombor index of $G$ is defined as $BSO(G) =\sum_{uv\in E(G)}\sqrt{\frac{1}{d^2_u}+\frac{1}{d^2_v}}$, which is a new vertex-degree-based topological index introduced by Kulli. In this paper, the mathematical relations between the first Banhatti-Sombor index and some other well-known vertex-degree-based topological indices are established. In addition, the trees extremal with respect to the first Banhatti-Sombor index on trees and chemical trees are characterized, respectively.
2021-04-07
Proof of a Conjecture on Wiener Index and Eccentricity of a graph due to edge contraction
Published • View PublicationBIB
For a connected graph $G$, the Wiener index, denoted by $W(G)$, is the sum of the distance of all pairs of distinct vertices and the eccentricity, denoted by $\varepsilon(G)$, is the sum of the eccentricity of individual vertices. In \cite{Kc}, the authors posed a conjecture which states that given a graph $G$ with at least three vertices, the difference between $W(G)$ and $\varepsilon(G)$ decreases when an edge is contracted and proved that the conjecture is true when $e$ is a bridge. In this manuscript, we confirm that the conjecture is true for any connected graph $G$ with at least three vertices irrespective of the nature of the edge chosen.
2021-04-06 v2
Comparing Upper Broadcast Domination and Boundary Independence Numbers of Graphs
A broadcast on a nontrivial connected graph G with vertex set V is a function f from V to {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all v in V. The weight of f is the sum of the function values taken over V. A vertex u hears f from v if f(v) is positive and d(u,v) is at most f(v). A broadcast f is dominating if every vertex of G hears f. The upper broadcast number of G is Γ_{b}(G), which is the maximum weight of a minimal dominating broadcast on G. A broadcast f is boundary independent if, for any vertex w that hears f from vertices v_{1},...,v_{k}, where k is at least 2, the distance d(w,v_{i}) equals f(v_{i}) for each i. The maximum weight of a boundary independent broadcast is the boundary independence broadcast number α_{bn}(G). We compare α_{bn} to Γ_{b}, showing that neither is an upper bound for the other. We show that the differences Γ_{b}-α_{bn} and α_{bn}-Γ_{b} are unbounded, the ratio α_{bn}/Γ_{b} is bounded for all graphs, and Γ_{b}/α_{bn} is bounded for bipartite graphs but unbounded in general.
2021-04-06 v2
A Sharp Upper Bound for the Boundary Independence Broadcast Number of a Tree
A broadcast on a nontrivial connected graph G with vertex set V is a function f from V to {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all vertices v. The weight of f is the sum of the function values taken over V. A vertex u hears f from v if f(v) is positive and d(u,v) is at most f(v). A broadcast f is boundary independent if, for any vertex w that hears f from vertices v_{1},...,v_{k}, where k is at least 2, d(w,v_{i}) equals f(v_{i}) for each i. The maximum weight of a boundary independent broadcast on G is denoted by α_{bn}(G). We prove a sharp upper bound on α_{bn}(T) for a tree T in terms of its order and number of branch vertices of a certain type.
2021-04-03
Distance signless Laplacian spectral radius and perfect matching in graphs and bipartite graphs
The distance matrix $\mathcal{D}$ of a connected graph $G$ is the matrix indexed by the vertices of $G$ which entry $\mathcal{D}_{i,j}$ equals the distance between the vertices $v_i$ and $v_j$. The distance signless Laplacian matrix $\mathcal{Q}(G)$ of graph $G$ is defined as $\mathcal{Q}(G)=Diag(Tr)+\mathcal{D}(G)$, where $Diag(Tr)$ is the diagonal matrix of the vertex transmissions in $G$. The largest eigenvalue of $\mathcal{Q}(G)$ is called the distance signless Laplacian spectral radius of $G$, written as $η_1(G)$. And a perfect matching in a graph is a set of disadjacent edges covering every vertex of $G$. In this paper, we present two suffcient conditions in terms of the distance signless Laplacian sepectral radius for the exsitence of perfect matchings in graphs and bipatite graphs.
2021-04-01
Graph of uv-paths in 2-connected graphs
For a $2$-connected graph $G$ and vertices $u,v$ of $G$ we define an abstract graph $\mathcal{P}(G_{uv})$ whose vertices are the paths joining $u$ and $v$ in $G$, where paths $S$ and $T$ are adjacent if $T$ is obtained from $S$ by replacing a subpath $S_{xy}$ of $S$ with an internally disjoint subpath $T_{xy}$ of $T$. We prove that $\mathcal{P}(G_{uv})$ is always connected and give a necessary and a sufficient condition for connectedness in cases where the cycles formed by the replacing subpaths are restricted to a specific family of cycles of $G$.
2021-03-30 v2
Metric spaces and sparse graphs
Many concrete problems are formulated in terms of a finite set of points in $R^n$ which, via the ambient Euclidean metric, becomes a finite metric space. To obtain information from such a space, it is often useful to associate a graph to it, and do mathematics on the graph, rather than on the space. Connected graphs become finite metric spaces (rather, their set of vertices) via the path-metric. We consider different types of connected graphs that can be associated to a metric space. In turn, the metric spaces obtained from these graphs recover, in some cases, identically the initial space, while they, more often, only "approximate" it. In this last category, we construct a connected sparse graph, denoted CS, that seems to be new. We show that the "general case" for CS is to be a tree, a result of clear practical importance.
2021-03-28
A Lower Bound on the Average Size of a Connected Vertex Set of a Graph
Published • View PublicationBIB
The topic is the average order of a connected induced subgraph of a graph. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs. The main result of this paper confirms this conjecture.
2021-03-26
Diameter and connectivity of finite simple graphs
Published • View PublicationBIB
Let $G$ be a finite simple non-complete connected graph on $\{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. Being motivated by the computation of the depth of the binomial edge ideal of $G$, the possible sequences $(n, q, f, d)$ of integers for which there is a finite simple non-complete connected graph $G$ on $\{1, \ldots, n\}$ with $q = κ(G), f = f(G), d = \mathrm{diam}(G)$ satisfying $f + d = n + 2 - q$ will be determined. Furthermore, finite simple non-complete connected graphs $G$ on $\{1, \ldots, n\}$ satisfying $f(G) + \mathrm{diam}(G) = n + 2 - κ(G)$ will be classified.
2021-03-26 v2
The spanning $k$-trees, perfect matchings and spectral radius of graphs
Published • View PublicationBIB
A $k$-tree is a spanning tree in which every vertex has degree at most $k$. In this paper, we provide a sufficient condition for the existence of a $k$-tree in a connected graph with fixed order in terms of the adjacency spectral radius and the signless Laplacian spectral radius, respectively. Also, we give a similar condition for the existence of a perfect matching in a balanced bipartite graph with fixed order and minimum degree.
2021-03-25
Sombor Index of Polymers
Let $G=(V,E)$ be a finite simple graph. The Sombor index $SO(G)$ of $G$ is defined as $\sum_{uv\in E(G)}\sqrt{d_u^2+d_v^2}$, where $d_u$ is the degree of vertex $u$ in $G$. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identifying these two vertices. Then continue in this manner inductively. We say that $G$ is a polymer graph, obtained by point-attaching from monomer units $G_1,...,G_k$. In this paper, we consider some particular cases of these graphs that are of importance in chemistry and study their Sombor index.
2021-03-19 v2
On the location of zeros of the Laplacian matching polynomials of graphs
Published • View PublicationBIB
The Laplacian matching polynomial of a graph $G$, denoted by $\mathscr{L\hspace{-0.7mm}M}(G,x)$, is a new graph polynomial whose all roots are nonnegative real numbers. In this paper, we investigate the location of zeros of the Laplacian matching polynomials. Let $G$ be a connected graph. We show that $0$ is a root of $\mathscr{L\hspace{-0.7mm}M}(G, x)$ if and only if $G$ is a tree. We prove that the number of distinct positive zeros of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ is at least equal to the length of the longest path in $G$. It is also established that the zeros of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ and $\mathscr{L\hspace{-0.7mm}M}(G-e,x)$ interlace for each edge $e$ of $G$. Using the path-tree of $G$, we present a linear algebraic approach to investigate the largest zero of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ and particularly to give tight upper and lower bounds on it.
2021-03-18
The super-connectivity of Kneser graph KG(n,3)
A vertex cut $S$ of a connected graph $G$ is a subset of vertices of $G$ whose deletion makes $G$ disconnected. A super vertex cut $S$ of a connected graph $G$ is a subset of vertices of $G$ whose deletion makes $G$ disconnected and there is no isolated vertex in each component of $G-S$. The super-connectivity of graph $G$ is the size of the minimum super vertex cut of $G$. Let $KG(n,k)$ be the Kneser graph whose vertices set are the $k$-subsets of $\{1,\cdots,n\}$, where $k$ is the number of labels of each vertex in $G$. We aim to show that the conjecture from Boruzanli and Gauci \cite{EG19} on the super-connectivity of Kneser graph $KG(n,k)$ is true when $k=3$.
2021-03-18 v2
Graphs with unique Grundy dominating sets
Given a graph $G$ consider a procedure of building a dominating set $D$ in $G$ by adding vertices to $D$ one at a time in such a way that whenever vertex $x$ is added to $D$ there exists a vertex $y\in N_G[x]$ that becomes dominated only after $x$ is added to $D$. The maximum cardinality of a set $D$ obtained in the described way is called the Grundy domination number of $G$ and $D$ a Grundy dominating set. While a Grundy dominating set of a connected graph $G$ is not unique unless $G$ is the trivial graph, we consider a natural weaker uniqueness condition, notably that for every two Grundy dominating sets in a graph $G$ there is an automorphism that maps one to the other. We investigate both versions of uniqueness for several concepts of Grundy domination, which appeared in the context of domination games and are also closely related to zero forcing. For each of the four variations of Grundy domination we characterize the graphs that have only one Grundy dominating set of the given type, and characterize those forests that enjoy the weaker (isomorphism based) condition of uniqueness. The latter characterizations lead to efficient algorithms for recognizing the corresponding classes of forests.