connected graph
2591 papers tagged with this keyword
Non-backtracking random walks and cogrowth of graphs
Published in Canadian J. Math.59 (2007) 828-844
• View Publication
• BIB
Let X be a locally finite, connected graph without vertices of degree 1. Non-backtracking random walk moves at each step with equal probability to one of the "forward" neighbours of the actual state, i.e., it does not go back along the preceding edge to the preceding state. This is not a Markov chain, but can be turned into a Markov chain whose state space is the set of oriented edges of X. Thus we obtain for infinite X that the n-step non-backtracking transition probabilities tend to zero, and we can also compute their limit when X is finite. This provides a short proof of old results concerning cogrowth of groups, and makes the extension of that result to arbitrary regular graphs rigorous. Even when X is non-regular, but "small cycles are dense" in X, we show that the graph X is non-amenable if and only if the non-backtracking n-step transition probabilities decay exponentially fast. This is a partial generalization of the cogrowth criterion for regular graphs which comprises the original cogrowth criterion for finitely generated groups of Grigorchuk and Cohen.
On the sandpile group of regular trees
Published
• View Publication
• BIB
The sandpile group of a connected graph is the group of recurrent configurations in the abelian sandpile model on this graph. We study the structure of this group for the case of regular trees. A description of this group is the following: Let T(d,h) be the d-regular tree of depth h and let V be the set of its vertices. Denote the adjacency matrix of T(d,h) by A and consider the modified Laplacian matrix D:=dI-A. Let the rows of D span the lattice L in Z^V. The sandpile group of T(d,h) is Z^V/L. We compute the rank, the exponent and the order of this abelian group and find a cyclic Hall-subgroup of order (d-1)^h. We find that the base (d-1)-logarithm of the exponent and of the order are asymptotically 3h^2/pi^2 and c_d(d-1)^h, respectively. We conjecture an explicit formula for the ranks of all Sylow subgroups.
The First Order Definability of Graphs with Separators via the Ehrenfeucht Game
Published
• View Publication
• BIB
We say that a first order formula $Φ$ defines a graph $G$ if $Φ$ is true on $G$ and false on every graph $G'$ non-isomorphic with $G$. Let $D(G)$ be the minimal quantifier rank of a such formula. We prove that, if $G$ is a tree of bounded degree or a Hamiltonian (equivalently, 2-connected) outerplanar graph, then $D(G)=O(\log n)$, where $n$ denotes the order of $G$. This bound is optimal up to a constant factor. If $h$ is a constant, for connected graphs with no minor $K_h$ and degree $O(\sqrt n/\log n)$, we prove the bound $D(G)=O(\sqrt n)$. This result applies to planar graphs and, more generally, to graphs of bounded genus.
Enumerative problems inspired by Mayer's theory of cluster integrals
Published in Electronic Journal of Combinatorics 11 (2004), #R32
• View Publication
• BIB
The basic functional equations for connected and 2-connnected graphs can be traced back to the statistical physicists Mayer and Husimi. They play an essential role in establishing rigorously the virial expansion for imperfect gases. We survey this approach and inspired by these equations, we investigate the problem of enumerating some classes of connected graphs all of whose blocks are contained in a given class B. Included are the species of Husimi graphs (B = "complete graphs"), cacti (B = "unoriented cycles"), and oriented cacti (B = "oriented cycles"). For each of these, we consider the question of their labelled or unlabelled enumeration and of their molecular expansion, according (or not) to their block-size distributions.
Graph powers and k-ordered Hamiltonicity
Published
• View Publication
• BIB
It is known that if G is a connected simple graph, then G^3 is Hamiltonian (in fact, Hamilton-connected). A simple graph is k-ordered Hamiltonian if for any sequence v_1, v_2, ..., v_k of k vertices there is a Hamiltonian cycle containing these vertices in the given order. In this paper, we prove that G^(3k/2 + 1) is k-ordered Hamiltonian for a connected graph G on at least k vertices. We further show that if G is connected, then G^4 is 4-ordered Hamiltonian and that if G is Hamiltonian, then G^3 is 5-ordered Hamiltonian. We also give bounds on the smallest power p_k such that G^p_k is k-ordered Hamiltonian for G=P_n and G=C_n.
Orientable convexity, geodetic and hull numbers in graphs
Published
• View Publication
• BIB
We prove three results conjectured or stated by Chartrand, Fink and Zhang [European J. Combin {\bf 21} (2000) 181--189, Disc. Appl. Math. {\bf 116} (2002) 115--126, and pre-print of ``The hull number of an oriented graph'']. For a digraph $D$, Chartrand et al. defined the geodetic, hull and convexity number -- $g(D)$, $h(D)$ and $con(D)$, respectively. For an undirected graph $G$, $g^{-}(G)$ and $g^{+}(G)$ are the minimum and maximum geodetic numbers over all orientations of $G$, and similarly for $h^{-}(G)$, $h^{+}(G)$, $con^{-}(G)$ and $con^{+}(G)$. Chartrand and Zhang gave a proof that $g^{-}(G) < g^{+}(G)$ for any connected graph with at least three vertices. We plug a gap in their proof, allowing us also to establish their conjecture that $h^{-}(G) < h^{+}(G)$.
If $v$ is an end-vertex, then in any orientation of $G$, $v$ is either a source or a sink. It is easy to see that graphs without end-vertices can be oriented to have no source or sink; we show that, in fact, we can avoid all extreme vertices. This proves another conjecture of Chartrand et al., that $con^{-}(G) < con^{+}(G)$ iff $G$ has no end-vertices.
Dense graphs are antimagic
Published
• View Publication
• BIB
An {\em antimagic labeling} of a graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called {\em antimagic} if it has an antimagic labeling. A conjecture of Ringel (see \cite{HaRi}) states that every connected graph, but $K_2$, is antimagic. Our main result validates this conjecture for graphs having minimum degree $Ω(\log n)$. The proof combines probabilistic arguments with simple tools from analytic number theory and combinatorial techniques. We also prove that complete partite graphs (but $K_2$) and graphs with maximum degree at least $n-2$ are antimagic.
Negative association in uniform forests and connected graphs
Published
• View Publication
• BIB
We consider three probability measures on subsets of edges of a given finite graph $G$, namely those which govern, respectively, a uniform forest, a uniform spanning tree, and a uniform connected subgraph. A conjecture concerning the negative association of two edges is reviewed for a uniform forest, and a related conjecture is posed for a uniform connected subgraph. The former conjecture is verified numerically for all graphs $G$ having eight or fewer vertices, or having nine vertices and no more than eighteen edges, using a certain computer algorithm which is summarised in this paper. Negative association is known already to be valid for a uniform spanning tree. The three cases of uniform forest, uniform spanning tree, and uniform connected subgraph are special cases of a more general conjecture arising from the random-cluster model of statistical mechanics.
Criteria for Balance in Abelian Gain Graphs, with Applications to Piecewise-Linear Geometry
Published in Discrete and Computational Geometry, 34 (2005), no. 2, 251-268.
• View Publication
• BIB
A gain graph is a triple (G,h,H), where G is a connected graph with an arbitrary, but fixed, orientation of edges, H is a group, and h is a homomorphism from the free group on the edges of G to H. A gain graph is called balanced if the h-image of each closed walk on G is the identity.
Consider a gain graph with abelian gain group having no odd torsion. If there is a basis of the graph's binary cycle space each of whose members can be lifted to a closed walk whose gain is the identity, then the gain graph is balanced, provided that the graph is finite or the group has no nontrivial infinitely 2-divisible elements. We apply this theorem to deduce a result on the projective geometry of piecewise-linear realizations of cell-decompositions of manifolds.
Matroids, motives and conjecture of Kontsevich
Published
• View Publication
• BIB
Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.
The number of edges in critical strongly connected graphs
Published
• View Publication
• BIB
We prove that the maximal number of directed edges in a vertex-critical strongly connected simple digraph on n vertices is n(n-1)/2 - n +4.