arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2651 papers tagged with this keyword
Addressing Graph Products and Distance-Regular Graphs
Graham and Pollak showed that the vertices of any connected graph $G$ can be assigned $t$-tuples with entries in $\{0, a, b\}$, called addresses, such that the distance in $G$ between any two vertices equals the number of positions in their addresses where one of the addresses equals $a$ and the other equals $b$. In this paper, we are interested in determining the minimum value of such $t$ for various families of graphs. We develop two ways to obtain this value for the Hamming graphs and present a lower bound for the triangular graphs.
2016-09-20
Gallai's path decomposition conjecture for graphs of small maximum degree
Published • View Publication • BIB
Gallai's path decomposition conjecture states that the edges of any connected graph on n vertices can be decomposed into at most (n+1)/2 paths. We confirm that conjecture for all graphs with maximum degree at most five.
2016-09-17
The existence of the graphs that have exactly two main eigenvalues
An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. It is well known that a graph $G$ has exactly two main eigenvalues if and only if there exists a unique pair of integers $a$ and $b$ such that $\sum_{u\in N(v)}d(u)=ad(v)+b$ for every vertex $v\in V(G)$. We collect such connected graph $G$ in the set $\mathscr{G}(a,b)$. In this paper, we mainly focus to the existence of such $a$ and $b$, and give the necessary and sufficient condition for $\mathscr{G}(a,b)\neq\emptyset$. In addition, we give the bound for the vertex degrees of $G\in\mathscr{G}(a,b)$ and use the bound to characterize the graphs in $\mathscr{G}(a,b)$ for some feasible pairs $(a,b)$.
2016-09-15
A Method for Computing the Edge-Hyper-Wiener Index of Partial Cubes and an Algorithm for Benzenoid Systems
Published in Appl. Anal. Discr. Math. 12 (2018) 126-142 • View Publication • BIB
The edge-hyper-Wiener index of a connected graph $G$ is defined as $WW_e(G) = \frac{1}{2}\sum_{\lbrace e,f\rbrace \subseteq E(G)}d(e,f) + \frac{1}{2}\sum_{\lbrace e,f\rbrace \subseteq E(G)}d(e,f)^2$. We develop a method for computing the edge-hyper-Wiener index of partial cubes, which constitute a large class of graphs with a lot of applications. It is also shown how the method can be applied to trees. Furthermore, an algorithm for computing the edge-hyper-Wiener index of benzenoid systems is obtained. Finally, the algorithm is used to correct already known closed formulas for the edge-Wiener index and the edge-hyper-Wiener index of linear polyacenes.
2016-09-05 v2
Minimal obstructions for normal spanning trees
Published • View Publication • BIB
Diestel and Leader have characterised connected graphs that admit a normal spanning tree via two classes of forbidden minors. One class are Halin's $(\aleph_0,\aleph_1)$-graphs: bipartite graphs with bipartition $(\mathbb{N},B)$ such that $B$ is uncountable and every vertex of $B$ has infinite degree. Our main result is that under Martin's Axiom and the failure of the Continuum Hypothesis, the class of forbidden $(\aleph_0,\aleph_1)$-graphs in Diestel and Leader's result can be replaced by one single instance of such a graph. Under CH, however, the class of $(\aleph_0,\aleph_1)$-graphs contains minor-incomparable elements, namely graphs of binary type, and $\mathcal{U}$-indivisible graphs. Assuming CH, Diestel and Leader asked whether every $(\aleph_0,\aleph_1)$-graph has an $(\aleph_0,\aleph_1)$-minor that is either indivisible or of binary type, and whether any two $\mathcal{U}$-indivisible graphs are necessarily minors of each other. For both questions, we construct examples showing that the answer is in the negative.
Flow polynomials as Feynman amplitudes and their $α$-representation
Published in Electron. J. Combin., vol. 24, (2017), no.1, paper 11, 19 • View Publication • BIB
Let $G$ be a connected graph; denote by $τ(G)$ the set of its spanning trees. Let $\mathbb F_q$ be a finite field, $s(α,G)=\sum_{T\inτ(G)} \prod_{e \in E(T)} α_e$, where ${α_e\in \mathbb F_q}$. Kontsevich conjectured in 1997 that the number of nonzero values of $s(α, G)$ is a polynomial in $q$ for all graphs. This conjecture was disproved by Brosnan and Belkale. In this paper, using the standard technique of the Fourier transformation of Feynman amplitudes, we express the flow polynomial $F_G(q)$ in terms of the "correct" Kontsevich formula. Our formula represents $F_G(q)$ as a linear combination of Legendre symbols of $s(α, H)$ with coefficients $\pm 1/q^{(|V(H)|-1)/2}$, where $H$ is a contracted graph of $G$ depending on $α\in \left(\mathbb F^*_q\right)^{E(G)}$, and $|V(H)|$ is odd. The case $q=5$ corresponds to the least number with which all coefficients in the linear combination are positive. This allows us to hope that the obtained result can be applied to prove the Tutte 5-flow conjecture.
2016-09-01 v2
Wiener index, Harary index and Hamiltonicity of graphs
Published in MATCH Commun. Math. Comput. Chem.78(2017) no.1, pp.153--162 • Search Publication
In this paper, we prove tight sufficient conditions for traceability and Hamiltonicity of connected graphs with given minimum degree, in terms of Wiener index and Harary index. We also prove some result on Hamiltonicity of balanced bipartite graphs in the similar fashion. In two recent papers \cite{LDJ2016,LDJ2017}, Liu et al. corrected some previous work on traceability of connected graphs in terms of Wiener index and Harary index, respectively, such as \cite{HW2013,Y2013}. We generalize these results and give short and unified proofs. All results in this paper are best possible.
Note on von Neumann and Rényi entropies of a Graph
Published • View Publication • BIB
We conjecture that all connected graphs of order $n$ have von Neumann entropy at least as great as the star $K_{1,n-1}$ and prove this for almost all graphs of order $n$. We show that connected graphs of order $n$ have Rényi 2-entropy at least as great as $K_{1,n-1}$ and for $α>1$, $K_n$ maximizes Rényi $α$-entropy over graphs of order $n$. We show that adding an edge to a graph can lower its von Neumann entropy.
A note on graphs with exactly two main eigenvalues
Published • View Publication • BIB
In this note, we consider connected graphs with exactly two main eigenvalues. We will give several constructions for them, and as a consequence we show a family of those graphs with an unbounded number of distinct valencies.
2016-08-30 v2
On the purity of minor-closed classes of graphs
Published • View Publication • BIB
Given a graph $H$ with at least one edge, let $\operatorname{gap}_{H}(n)$ denote the maximum difference between the numbers of edges in two $n$-vertex edge-maximal graphs with no minor $H$. We show that for exactly four connected graphs $H$ (with at least two vertices), the class of graphs with no minor $H$ is pure, that is, $\operatorname{gap}_{H}(n) = 0$ for all $n \geq 1$; and for each connected graph $H$ (with at least two vertices) we have the dichotomy that either $\operatorname{gap}_{H}(n) = O(1)$ or $\operatorname{gap}_{H}(n) = Θ(n)$. Further, if $H$ is 2-connected and does not yield a pure class, then there is a constant $c>0$ such that $\operatorname{gap}_{H}(n) \sim cn$. We also give some partial results when $H$ is not connected or when there are two or more excluded minors.
2016-08-29
Connectedness of the dart digraph and the squared-dart digraph
In this note we revisit the dart graph and the squared dart digraph constructions and prove that they yield strongly connected digraphs when applied to connected graphs of minimum valence at least 3.
2016-08-25
Maximum atom-bond connectivity index with given graph parameters
Published in Discrete Appl. Math., 2016 • View Publication • BIB
The atom-bond connectivity (ABC) index is a degree-based topological index. It was introduced due to its applications in modeling the properties of certain molecular structures and has been since extensively studied. In this note, we examine the influence on the extremal values of the ABC index by various graph parameters. More specifically, we consider the maximum ABC index of connected graphs of given order, with fixed independence number, number of pendent vertices, chromatic number and edge-connectivity respectively. We provide characterizations of extremal structures as well as some conjectures. Numerical analysis of the extremal values are also presented.
2016-08-25 v3
Geometry of the vacant set left by random walk on random graphs, Wright's constants, and critical random graphs with prescribed degrees
Published • View Publication • BIB
We provide an explicit algorithm for sampling a uniform simple connected random graph with a given degree sequence. By products of this central result include: (i) continuum scaling limits of uniform simple connected graphs with given degree sequence and asymptotics for the number of simple connected graphs with given degree sequence under some regularity conditions, and (ii) scaling limits for the metric space structure of the maximal components in the critical regime of both the configuration model and the uniform simple random graph model with prescribed degree sequence under finite third moment assumption on the degree sequence. As a substantive application we answer a question raised by Cerny and Teixeira by obtaining the metric space scaling limit of maximal components in the vacant set left by random walks on random regular graphs.
2016-08-19
The fractional strong metric dimension in three graph products
Published in Discrete Appl. Math., Vol. 251 (2018) pp. 190-203 • View Publication • BIB
For any two distinct vertices $x$ and $y$ of a graph $G$, let $S\{x, y\}$ denote the set of vertices $z$ such that either $x$ lies on a $y-z$ geodesic or $y$ lies on an $x-z$ geodesic. Let $g: V(G) \rightarrow [0,1]$ be a real valued function and, for any $U \subseteq V(G)$, let $g(U)=\sum_{v \in U}g(v)$. The function $g$ is a strong resolving function of $G$ if $g(S\{x, y\}) \ge 1$ for every pair of distinct vertices $x, y$ of $G$. The fractional strong metric dimension, $sdim_f(G)$, of a graph $G$ is $\min\{g(V(G)): g \mbox{ is a strong resolving function of }G\}$. In this paper, after obtaining some new results for all connected graphs, we focus on the study of the fractional strong metric dimension of the corona product, the lexicographic product, and the Cartesian product of graphs.
R-connectivity Augmentation in Trees
A \emph{vertex separator} of a connected graph $G$ is a set of vertices removing which will result in two or more connected components and a \emph{minimum vertex separator} is a set which contains the minimum number of such vertices, i.e., the cardinality of this set is least among all possible vertex separator sets. The cardinality of the minimum vertex separator refers to the connectivity of the graph G. A connected graph is said to be $k-connected$ if removing exactly $k$ vertices, $ k\geq 1$, from the graph, will result in two or more connected components and on removing any $(k-1)$ vertices, the graph is still connected. A \emph{connectivity augmentation} set is a set of edges which when augmented to a $k$-connected graph $G$ will increase the connectivity of $G$ by $r$, $r \geq 1$, making the graph $(k+r)$-$connected$ and a \emph{minimum connectivity augmentation} set is such a set which contains a minimum number of edges required to increase the connectivity by $r$. In this paper, we shall investigate a $r$-$connectivity$ augmentation in trees, $r \geq 2$. As part of lower bound study, we show that any minimum $r$-connectivity augmentation set in trees requires at least $ \lceil\frac{1}{2} \sum\limits_{i=1}^{r-1} (r-i) \times l_{i} \rceil $ edges, where $l_i$ is the number of vertices with degree $i$. Further, we shall present an algorithm that will augment a minimum number of edges to make a tree $(k+r)$-connected.
2016-08-04 v4
The 2-surviving rate of planar graphs with average degree lower than $4\frac{1}{2}$
Published in Journal of Graph Theory, 89 (2018), 341-349 • View Publication • BIB
Let $G$ be any connected graph on $n$ vertices, $n \ge 2.$ Let $k$ be any positive integer. Suppose that a fire breaks out at some vertex of $G.$ Then, in each turn firefighters can protect at most $k$ vertices of $G$ not yet on fire; Next the fire spreads to all unprotected neighbours. The $k$-surviving rate of G, denoted by $ρ_k(G),$ is the expected fraction of vertices that can be saved from the fire, provided that the starting vertex is chosen uniformly at random. In this note, it is shown that for any planar graph $G$ with average degree $4\frac{1}{2} - ε,$ where $ε\in (0, 1],$ we have $ρ_2(G) \ge \frac{2}{9}ε$. In particular, the result implies a significant improvement of the bound for 2-surviving rate for triangle-free planar graphs (Esperet, van den Heuvel, Maffray and Sipma, 2013) and for planar graphs without 4-cycles (Kong, Wang, Zhang, 2012). The proof is done using the separator theorem for planar graphs. This paper is the corrected version of (Gordinowicz, 2018) unified with the corrigendum.
2016-08-03
Eulerian properties of hypergraphs
Published • View Publication • BIB
In this paper we study three substructures in hypergraphs that generalize the notion of an Euler tour in a graph. A flag-traversing tour of a hypergraph corresponds to an Euler tour of its incidence graph, hence complete characterization of hypergraphs with an Euler tour follows from Euler's Theorem. An Euler tour is a closed walk that traverses each edge of the hypergraph exactly once; and an Euler family is a family of closed walks that cannot be concatenated and that jointly traverse each edge of the hypergraph exactly once. Lonc and Naroski have shown that the problem of existence of an Euler tour is NP-complete even on a very restricted subclass of 3-uniform hypergraphs, while we show that the problem of existence of an Euler family is polynomial on the class of all hypergraphs. Furthermore, we examine the necessary conditions for a hypergraph to admit an Euler family (Euler tour, respectively); we show that while these necessary conditions are sufficient for connected graphs, they are not sufficient for general hypergraphs. On the other hand, we exhibit a new class of hypergraphs for which these necessary conditions are also sufficient, extending a result by Lonc and Naroski. We give a partial characterization of hypergraphs with an Euler family (Euler tour, respectively) in terms of the intersection graph of the hypergraph, and a complete (but not easy to verify) characterization in terms of the incidence graph. For hypergraphs with an Euler family, we give a complete verifiable characterization using a theorem of Lovász, and then show that every 3-uniform hypergraph without cut edges admits an Euler family. Finally, we show that a hypergraph admits an Euler family if and only if it can be decomposed into cycles, and exhibit a relationship between 2-factors in a hypergraph and eulerian properties of its dual.
2016-08-02
Some Bounds on the Zero Forcing Number of a Graph
Published • View Publication • BIB
A set $Z$ of vertices of a graph $G$ is a zero forcing set of $G$ if initially labeling all vertices in $Z$ with $1$ and all remaining vertices of $G$ with $0$, and then, iteratively and as long as possible, changing the label of some vertex $u$ from $0$ to $1$ if $u$ is the only neighbor with label $0$ of some vertex with label $1$, results in the entire vertex set of $G$. The zero forcing number $Z(G)$, defined as the minimum order of a zero forcing set of $G$, was proposed as an upper bound of the corank of matrices associated with $G$, and was also considered in connection with quantum physics and logic circuits. In view of the computational hardness of the zero forcing number, upper and lower bounds are of interest. Refining results of Amos, Caro, Davila, and Pepper, we show that $Z(G)\leq \frac{Δ-2}{Δ-1}n$ for a connected graph $G$ of order $n$ and maximum degree $Δ$ at least $3$ if and only if $G$ does not belong to $\{ K_{Δ+1},K_{Δ,Δ},K_{Δ-1,Δ},G_1,G_2\}$, where $G_1$ and $G_2$ are two specific graphs of orders $5$ and $7$, respectively. For a connected graph $G$ of order $n$, maximum degree $3$, and girth at least $5$, we show $Z(G)\leq \frac{n}{2}-Ω\left(\frac{n}{\log n}\right)$. Using a probabilistic argument, we show $Z(G)\leq \left(1-\frac{H_r}{r}+o\left(\frac{H_r}{r}\right)\right)n$ for an $r$-regular graph $G$ of order $n$ and girth at least $5$, where $H_r$ is the $r$-th harmonic number. Finally, we show $Z(G)\geq (g-2)(δ-2)+2$ for a graph $G$ of girth $g\in \{ 5,6\}$ and minimum degree $δ$, which partially confirms a conjecture of Davila and Kenter.
2016-07-30
Dominating and Irredundant Broadcasts in Graphs
Published in Discrete Applied Math. 220 (2017), 80-90 • View Publication • BIB
A broadcast on a nontrivial connected graph G=(V,E) is a function f from V(G) to {0,1,...,diam(G)} such that f(v) does not exceed the eccentricity of v. The cost of f is the sum of the function values. A broadcast f is dominating if each vertex of G is at distance at most f(v) from a vertex v with positive f(v). We use properties of minimal dominating broadcasts to define the concept of an irredundant broadcast on G. We determine conditions under which an irredundant broadcast is maximal irredundant. Denoting the minimum costs of dominating and maximal irredundant broadcasts by gamma_{b}(G) and ir_{b}(G) respectively, the definitions imply that ir_{b}(G) is bounded above by gamma_{b}(G) for all graphs. We show that gamma_{b} in turn is bounded above by (5/4)ir_{b}(G) for all graphs G. We also briefly consider the upper broadcast number Gamma_{b}(G) and upper irredundant broadcast number IR_{b}(G), and illustrate that the ratio IR_{b} to Gamma_{b} is unbounded for general graphs.
2016-07-30 v3
The $k$-proper index of complete bipartite and complete multipartite graphs
Let $G$ be a nontrivial connected graph of order $n$ with an edge-coloring $c:E(G)\rightarrow\{1,2,\dots,t\}$,$t\in\mathbb{N}$, where adjacent edges may be colored with the same color. A tree $T$ in $G$ is a \emph{proper tree} if no two adjacent edges of it are assigned the same color. Let $k$ be a fixed integer with $2\leq k\leq n$. For a vertex subset $S\subseteq V(G)$ with $|S|\geq 2$, a tree is called an \emph{$S$-tree} if it connects $S$ in $G$ . A \emph{$k$-proper coloring} of $G$ is an edge-coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a proper $S$-tree $T$ in $G$. The minimum number of colors that are needed in a $k$-proper coloring of $G$ is defined as the \emph{$k$-proper index} of $G$, denoted by $px_k(G)$. In this paper, we determine the 3-proper index of all complete bipartite and complete multipartite graphs and partially determine the $k$-proper index of them for $k\geq 4$.