arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2591 papers tagged with this keyword
2009-12-23 v3
Asymptotic enumeration of labelled graphs with a given genus
Published • View PublicationBIB
We enumerate rooted 2-connected and 3-connected surface maps with respect to vertices and edges. We also derive the bivariate version of the large face-width result for random 3-connected maps. These results are then used to derive asymptotic formulas for the number of labelled graphs of genus g (1-connected, 2-connected, and 3-connected graphs.)
2009-12-18
A note on the third invariant factor of the Laplacian matrix of a graph
Let $G$ be a simple connected graph with $n\geq 5$ vertices. In this note, we will prove that $s_3(G)\leq n$, and characterize the graphs which satisfy that $s_3(G)=n, n-1, n-2, $ or $n-3$, where $s_3(G)$ is the third invariant factor of the Laplacian matrix of $G$.
On the geodetic and the hull numbers in strong product graphs
A set S of vertices of a connected graph G is convex, if for any pair of vertices u; v 2 S, every shortest path joining u and v is contained in S . The convex hull CH(S) of a set of vertices S is defined as the smallest convex set in G containing S. The set S is geodetic, if every vertex of G lies on some shortest path joining two vertices in S, and it is said to be a hull set if its convex hull is V(G). The geodetic and the hull numbers of G are the cardinality of a minimum geodetic and a minimum hull set, respectively. In this work, we investigate the behavior of both geodetic and hull sets with respect to the strong product operation for graphs. We also stablish some bounds for the geodetic number and the hull number and obtain the exact value of these parameters for a number of strong product graphs.
2009-11-13
Orientable embeddings and orientable cycle double covers of projective-planar graphs
Published • View PublicationBIB
In a closed 2-cell embedding of a graph each face is homeomorphic to an open disk and is bounded by a cycle in the graph. The Orientable Strong Embedding Conjecture says that every 2-connected graph has a closed 2-cell embedding in some orientable surface. This implies both the Cycle Double Cover Conjecture and the Strong Embedding Conjecture. In this paper we prove that every 2-connected projective-planar cubic graph has a closed 2-cell embedding in some orientable surface. The three main ingredients of the proof are (1) a surgical method to convert nonorientable embeddings into orientable embeddings; (2) a reduction for 4-cycles for orientable closed 2-cell embeddings, or orientable cycle double covers, of cubic graphs; and (3) a structural result for projective-planar embeddings of cubic graphs. We deduce that every 2-edge-connected projective-planar graph (not necessarily cubic) has an orientable cycle double cover.
The Graphicahedron
Published • View PublicationBIB
The paper describes a construction of abstract polytopes from Cayley graphs of symmetric groups. Given any connected graph G with p vertices and q edges, we associate with G a Cayley graph of the symmetric group S_p and then construct a vertex-transitive simple polytope of rank q, called the graphicahedron, whose 1-skeleton (edge graph) is the Cayley graph. The graphicahedron of a graph G is a generalization of the well-known permutahedron; the latter is obtained when the graph is a path. We also discuss symmetry properties of the graphicahedron and determine its structure when G is small.
2009-10-19 v3
Chordality and hyperbolicity of a graph
Published • View PublicationBIB
Let $G$ be a connected graph with the usual shortest-path metric $d$. The graph $G$ is $δ$-hyperbolic provided for any vertices $x,y,u,v$ in it, the two larger of the three sums $d(u,v)+d(x,y),d(u,x)+d(v,y)$ and $d(u,y)+d(v,x)$ differ by at most $2δ.$ The graph $G$ is $k$-chordal provided it has no induced cycle of length greater than $k.$ Brinkmann, Koolen and Moulton find that every 3-chordal graph is 1-hyperbolic and is not 1/2-hyperbolic if and only if it contains one of two special graphs as an isometric subgraph. For every $k\geq 4,$ we show that a $k$-chordal graph must be $\frac{\lfloor \frac{k}{2}\rfloor}{2}$-hyperbolic and there does exist a $k$-chordal graph which is not $\frac{\lfloor \frac{k-2}{2}\rfloor}{2}$-hyperbolic. Moreover, we prove that a 5-chordal graph is 1/2-hyperbolic if and only if it does not contain any of a list of six special graphs (See Fig. 3) as an isometric subgraph.
2009-10-16 v4
Bipartite and neighborhood graphs and the spectrum of the normalized graph Laplacian
Published • View PublicationBIB
We study the spectrum of the normalized Laplace operator of a connected graph $Γ$. As is well known, the smallest nontrivial eigenvalue measures how difficult it is to decompose $Γ$ into two large pieces, whereas the largest eigenvalue controls how close $Γ$ is to being bipartite. The smallest eigenvalue can be controlled by the Cheeger constant, and we establish a dual construction that controls the largest eigenvalue. Moreover, we find that the neighborhood graphs $Γ[l]$ of order $l\geq2$ encode important spectral information about $Γ$ itself which we systematically explore. In particular, the neighborhood graph method leads to new estimates for the smallest nontrivial eigenvalue that can improve the Cheeger inequality, as well as an explicit estimate for the largest eigenvalue from above and below. As applications of such spectral estimates, we provide a criterion for the synchronizability of coupled map lattices, and an estimate for the convergence rate of random walks on graphs.
2009-10-15 v2
Packing 3-vertex Paths In Cubic 3-connected Graphs
A subgraph (a spanning subgraph) of a graph G whose all components are 3-vertex paths is called an L-packing (respectively, an L-factor} of G. We discuss the following old PROBLEM (A. Kelmans, 1984). Is the following claim true? (C) If G is a cubic 3-connected graph, then G has an L-packing that avoids at most two vertices of G. We show, in particular, that claim (C) is equivalent to some seemingly stronger claims (see Theorem 3.1 below). For example, if G is a cubic 3-connected graph and the number of vertices of G is divisible by three, then then the following claims are equivalent: G has an L-factor, for every edge e of G there is an L-factor of G avoiding (containing) e, G - {e,f} has an L-factor for every two edges e and f of G, and G - P has an L-factor for every 3-vertex path P in G. It follows that if claim (C) is true, then Reed's dominating graph conjecture is true for cubic 3-connected graphs. We also show that certain claims in Theorem 3.1 are best possible. We give a construction providing infinitely many cyclically 6-connected graphs G with two disjoint 3-vertex paths P and P' such that the number of vertices of G is divisible by three and G - P- P' has no L-factor. Keywords: cubic 3-connected graph, 3-vertex path packing, 3-vertex path factor, domination.
2009-09-29 v3
Graphs having many holes but with small competition numbers
Published in Applied Mathematics Letters 24 (2011) 1331-1335 • View PublicationBIB
The competition number k(G) of a graph G is the smallest number k such that G together with k isolated vertices added is the competition graph of an acyclic digraph. A chordless cycle of length at least 4 of a graph is called a hole of the graph. The number of holes of a graph is closely related to its competition number as the competition number of a graph which does not contain a hole is at most one and the competition number of a complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$ which has so many holes that no more holes can be added is the largest among those of graphs with n vertices. In this paper, we show that even if a connected graph G has many holes, the competition number of G can be as small as 2 under some assumption. In addition, we show that, for a connected graph G with exactly h holes and at most one non-edge maximal clique, if all the holes of G are pairwise edge-disjoint and the clique number $ω= ω(G)$ of G satisfies $2 \leq ω\leq h+1$, then the competition number of G is at most $h - ω+ 3$.
2009-09-07 v2
More on the phi = beta Conjecture and Eigenvalues of Random Graph Lifts
Let $G$ be a connected graph, and let $λ_1$ and $ρ$ denote the spectral radius of $G$ and the universal cover of $G$, respectively. In \cite{Fri03}, Friedman has shown that almost every $n$-lift of $G$ has all of its new eigenvalues bounded by $O(λ_1^{1/2}ρ^{1/2})$. In \cite{LP10}, Linial and Puder have improved this bound to $O(λ_1^{1/3}ρ^{2/3})$. Friedman had conjectured that this bound can actually be improved to $ρ+ o_n(1)$ (e.g., see \cite{Fri03,HLW06}). In \cite{LP10}, Linial and Puder have formulated two new categorizations of formal words, namely $φ$ and $β$, which assign a non-negative integer or infinity to each word. They have shown that for every word $w$, $φ(w) = 0$ iff $β(w) = 0$, and $φ(w) = 1$ iff $β(w) = 1$. They have conjectured that $φ(w) = β(w)$ for every word $w$, and have run extensive numerical simulations that strongly suggest that this conjecture is true. This conjecture, if proven true, gives us a very promising approach to proving a slightly weaker version of Friedman's conjecture, namely the bound $O(ρ)$ on the new eigenvalues (see \cite{LP10}). In this paper, we make further progress towards proving this important conjecture by showing that $φ(w) = 2$ iff $β(w) = 2$ for every word $w$.
2009-08-27 v2
The lattice of integer flows of a regular matroid
Published • View PublicationBIB
For a finite multigraph G, let Λ(G) denote the lattice of integer flows of G -- this is a finitely generated free abelian group with an integer-valued positive definite bilinear form. Bacher, de la Harpe, and Nagnibeda show that if G and H are 2-isomorphic graphs then Λ(G) and Λ(H) are isometric, and remark that they were unable to find a pair of nonisomorphic 3-connected graphs for which the corresponding lattices are isometric. We explain this by examining the lattice Λ(M) of integer flows of any regular matroid M. Let M_\bullet be the minor of M obtained by contracting all co-loops. We show that Λ(M) and Λ(N) are isometric if and only if M_\bullet and N_\bullet are isomorphic.
Inductive Construction of 2-Connected Graphs for Calculating the Virial Coefficients
Published in J. Phys. A: Math. Theor. 43 (2010) 315004 • View PublicationBIB
In this paper we give a method for constructing systematically all simple 2-connected graphs with n vertices from the set of simple 2-connected graphs with n-1 vertices, by means of two operations: subdivision of an edge and addition of a vertex. The motivation of our study comes from the theory of non-ideal gases and, more specifically, from the virial equation of state. It is a known result of Statistical Mechanics that the coefficients in the virial equation of state are sums over labelled 2-connected graphs. These graphs correspond to clusters of particles. Thus, theoretically, the virial coefficients of any order can be calculated by means of 2-connected graphs used in the virial coefficient of the previous order. Our main result gives a method for constructing inductively all simple 2-connected graphs, by induction on the number of vertices. Moreover, the two operations we are using maintain the correspondence between graphs and clusters of particles.
2009-07-22
The Maximum Wiener Index of Trees with Given Degree Sequences
The Wiener index of a connected graph is the sum of topological distances between all pairs of vertices. Since Wang gave a mistake result on the maximum Wiener index for given tree degree sequence, in this paper, we investigate the maximum Wiener index of trees with given degree sequences and extremal trees which attain the maximum value.
2009-07-09
Spectral radius of finite and infinite planar graphs and of graphs of bounded genus
Published in J. Combin. Theory Ser. B 100 (2010) 729-739 • View PublicationBIB
It is well known that the spectral radius of a tree whose maximum degree is $D$ cannot exceed $2\sqrt{D-1}$. In this paper we derive similar bounds for arbitrary planar graphs and for graphs of bounded genus. It is proved that a the spectral radius $ρ(G)$ of a planar graph $G$ of maximum vertex degree $D\ge 4$ satisfies $\sqrt{D}\le ρ(G)\le \sqrt{8D-16}+7.75$. This result is best possible up to the additive constant--we construct an (infinite) planar graph of maximum degree $D$, whose spectral radius is $\sqrt{8D-16}$. This generalizes and improves several previous results and solves an open problem proposed by Tom Hayes. Similar bounds are derived for graphs of bounded genus. For every $k$, these bounds can be improved by excluding $K_{2,k}$ as a subgraph. In particular, the upper bound is strengthened for 5-connected graphs. All our results hold for finite as well as for infinite graphs. At the end we enhance the graph decomposition method introduced in the first part of the paper and apply it to tessellations of the hyperbolic plane. We derive bounds on the spectral radius that are close to the true value, and even in the simplest case of regular tessellations of type $\{p,q\}$ we derive an essential improvement over known results, obtaining exact estimates in the first order term and non-trivial estimates for the second order asymptotics.
2009-07-08
All Connected Graphs with Maximum Degree at Most 3 whose Energies are Equal to the Number of Vertices
The energy $E(G)$ of a graph $G$ is defined as the sum of the absolute values of its eigenvalues. Let $S_2$ be the star of order 2 (or $K_2$) and $Q$ be the graph obtained from $S_2$ by attaching two pendent edges to each of the end vertices of $S_2$. Majstorović et al. conjectured that $S_2$, $Q$ and the complete bipartite graphs $K_{2,2}$ and $K_{3,3}$ are the only 4 connected graphs with maximum degree $Δ\leq 3$ whose energies are equal to the number of vertices. This paper is devoted to giving a confirmative proof to the conjecture.
2009-07-02
Graph classes with given 3-connected components: asymptotic enumeration and random graphs
Consider a family $\mathcal{T}$ of 3-connected graphs of moderate growth, and let $\mathcal{G}$ be the class of graphs whose 3-connected components are graphs in $\mathcal{T}$. We present a general framework for analyzing such graphs classes based on singularity analysis of generating functions, which generalizes previously studied cases such as planar graphs and series-parallel graphs. We provide a general result for the asymptotic number of graphs in $\mathcal{G}$, based on the singularities of the exponential generating function associated to $\mathcal{T}$. We derive limit laws, which are either normal or Poisson, for several basic parameters, including the number of edges, number of blocks and number of components. For the size of the largest block we find a fundamental dichotomy: classes similar to planar graphs have almost surely a unique block of linear size, while classes similar to series-parallel graphs have only sublinear blocks. This dichotomy also applies to the size of the largest 3-connected component. For some classes under study both regimes occur, because of a critical phenomenon as the edge density in the class varies.
2009-07-01
A geometric approach to acyclic orientations
Published in Order Volume 26, Number 4 (2009), 283-288 • View PublicationBIB
The set of acyclic orientations of a connected graph with a given sink has a natural poset structure. We give a geometric proof of a result of Jim Propp: this poset is the disjoint union of distributive lattices.
2009-06-29
Randić index, diameter and the average distance
The Randić index of a graph $G$, denoted by $R(G)$, is defined as the sum of $1/\sqrt{d(u)d(v)}$ over all edges $uv$ of $G$, where $d(u)$ denotes the degree of a vertex $u$ in $G$. In this paper, we partially solve two conjectures on the Randić index $R(G)$ with relations to the diameter $D(G)$ and the average distance $μ(G)$ of a graph $G$. We prove that for any connected graph $G$ of order $n$ with minimum degree $δ(G)$, if $δ(G)\geq 5$, then $R(G)-D(G)\geq \sqrt 2-\frac{n+1} 2$; if $δ(G)\geq n/5$ and $n\geq 15$, $\frac{R(G)}{D(G)} \geq \frac{n-3+2\sqrt 2}{2n-2}$ and $R(G)\geq μ(G)$. Furthermore, for any arbitrary real number $\varepsilon \ (0<\varepsilon<1)$, if $δ(G)\geq \varepsilon n$, then $\frac{R(G)}{D(G)} \geq \frac{n-3+2\sqrt 2}{2n-2}$ and $R(G)\geq μ(G)$ hold for sufficiently large $n$.
2009-06-27
Large cycles in 4-connected graphs
Published • View PublicationBIB
Every 4-connected graph $G$ with minimum degree $δ$ and connectivity $κ$ either contains a cycle of length at least $4δ-κ-4$ or every longest cycle in $G$ is a dominating cycle.
2009-06-22
The rainbow $k$-connectivity of two classes of graphs
A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is called a rainbow path if no two edges of $G$ are colored the same. For a $κ$-connected graph $G$ and an integer $k$ with $1\leq k\leq κ$, the rainbow $k$-connectivity $rc_k(G)$ of $G$ is defined as the minimum integer $j$ for which there exists a $j$-edge-coloring of $G$ such that every two distinct vertices of $G$ are connected by $k$ internally disjoint rainbow paths. Let $G$ be a complete $(\ell+1)$-partite graph with $\ell$ parts of size $r$ and one part of size $p$ where $0\leq p <r$ (in the case $p=0$, $G$ is a complete $\ell$-partite graph with each part of size $r$). This paper is to investigate the rainbow $k$-connectivity of $G$. We show that for every pair of integers $k\geq 2$ and $r\geq 1$, there is an integer $f(k,r)$ such that if $\ell\geq f(k,r)$, then $rc_k(G)=2$. As a consequence, we improve the upper bound of $f(k)$ from $(k+1)^2$ to $ck^{3/2}+C$, where $0<c<1$, $C=o(k^{3/2})$, and $f(k)$ is the integer such that if $n \geq f(k)$ then $rc_k(K_n)=2$.