arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34516 papers tagged with this keyword
Percolation on dense graph sequences
Published in Annals of Probability 2010, Vol. 38, No. 1, 150-183 • View PublicationBIB
In this paper we determine the percolation threshold for an arbitrary sequence of dense graphs $(G_n)$. Let $λ_n$ be the largest eigenvalue of the adjacency matrix of $G_n$, and let $G_n(p_n)$ be the random subgraph of $G_n$ obtained by keeping each edge independently with probability $p_n$. We show that the appearance of a giant component in $G_n(p_n)$ has a sharp threshold at $p_n=1/λ_n$. In fact, we prove much more: if $(G_n)$ converges to an irreducible limit, then the density of the largest component of $G_n(c/n)$ tends to the survival probability of a multi-type branching process defined in terms of this limit. Here the notions of convergence and limit are those of Borgs, Chayes, Lovász, Sós and Vesztergombi. In addition to using basic properties of convergence, we make heavy use of the methods of Bollobás, Janson and Riordan, who used multi-type branching processes to study the emergence of a giant component in a very broad family of sparse inhomogeneous random graphs.
2007-01-12 v4
A graph theoretic interpretation of the mean first passage times
Let $m_{ij}$ be the mean first passage time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $G$ be the weighted digraph without loops whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. We give a graph-theoretic interpretation to $m_{ij}$. Namely, We show that $m_{ij}=f_{ij}/q_j$ if $i\ne j$ and $m_{ij}=1/\tilde q_j$ if $i=j$, where $f_{ij}$ is the total weight of 2-tree spanning converging forests in $G$ that have one tree containing $i$ and the other tree converging to $j$, $q_j$ is the total weight of spanning trees converging to $j$ in $G$, and $\tilde q_j=q_j/\sum_{k=1}^nq_k$. The result is illustrated by an example. Keywords: Markov chain; Mean first passage time; Spanning rooted forest; Matrix forest theorem; Laplacian matrix
2007-01-11 v4
Critical random graphs: Diameter and mixing time
Published in Annals of Probability 2008, Vol. 36, No. 4, 1267-1286 • View PublicationBIB
Let $\mathcal{C}_1$ denote the largest connected component of the critical Erdős--Rényi random graph $G(n,{\frac{1}{n}})$. We show that, typically, the diameter of $\mathcal{C}_1$ is of order $n^{1/3}$ and the mixing time of the lazy simple random walk on $\mathcal{C}_1$ is of order $n$. The latter answers a question of Benjamini, Kozma and Wormald. These results extend to clusters of size $n^{2/3}$ of $p$-bond percolation on any $d$-regular $n$-vertex graph where such clusters exist, provided that $p(d-1)\le1+O(n^{-1/3})$.
2007-01-10 v2
Shellable graphs and sequentially Cohen-Macaulay bipartite graphs
Published • View PublicationBIB
Associated to a simple undirected graph G is a simplicial complex whose faces correspond to the independent sets of G. We call a graph G shellable if this simplicial complex is a shellable simplicial complex in the non-pure sense of Bjorner-Wachs. We are then interested in determining what families of graphs have the property that G is shellable. We show that all chordal graphs are shellable. Furthermore, we classify all the shellable bipartite graphs; they are precisely the sequentially Cohen-Macaulay bipartite graphs. We also give an recursive procedure to verify if a bipartite graph is shellable. Because shellable implies that the associated Stanley-Reisner ring is sequentially Cohen-Macaulay, our results complement and extend recent work on the problem of determining when the edge ideal of a graph is (sequentially) Cohen-Macaulay. We also give a new proof for a result of Faridi on the sequentially Cohen-Macaulayness of simplicial forests.
2007-01-08 v2
The Moore bound for Spectral Radius
We give an upper bound on the largest eigenvalue of a graph of given order, size, and girth.
2007-01-04
Circular colorings, orientations, and weighted digraphs
In this we consider weighted symmetric digraph. Our result generalizes the work of Zhu (J.Comb.Theory, Ser.B, 86 (2002) 109-113) concerning the (k,d)-coloring of a graph, and thus is also a generalization of a corresponding result of Tuza (J.Comb.Theory, Ser.B, 55 (1992) 236-243). Our result also strengthens a result of Goddyn, Tarsi and Zhang (J.Graph Theory 28 (1998) 155-161) concerning the relation between orientation and the (k,d)-coloring of a graph.
2007-01-02 v4
Specialization of linear systems from curves to graphs
Published • View PublicationBIB
We investigate the interplay between linear systems on curves and graphs in the context of specialization of divisors on an arithmetic surface. We also provide some applications of our results to graph theory, arithmetic geometry, and tropical geometry.
2006-12-31
$Δ+300$ is a Bound on the Adjacent Vertex Distinguishing Edge Chromatic Number
Published in J. Combin. Theory Ser. B 95(2) (2005) pp. 246-256 • Search Publication
An adjacent vertex distinguishing edge-coloring or an \avd-coloring of a simple graph $G$ is a proper edge-coloring of $G$ such that no pair of adjacent vertices meets the same set of colors. We prove that every graph with maximum degree $Δ$ and with no isolated edges has an \avd-coloring with at most $Δ+300$ colors, provided that $Δ>10^{20}$.
2006-12-31
Random cubic graphs are not homomorphic to the cycle of size 7
Published in J. Combin. Theory Ser. B 93(2) (2005) pp. 319-325 • View PublicationBIB
We prove that a random cubic graph almost surely is not homomorphic to a cycle of size 7. This implies that there exist cubic graphs of arbitrarily high girth with no homomorphisms to the cycle of size 7.
Circular chromatic index of graphs of maximum degree 3
Published in Journal of Graph Theory. 49(4) (2005) pp. 325-335 • View PublicationBIB
This paper proves that if $G$ is a graph (parallel edges allowed) of maximum degree 3, then $χ_c'(G) \leq 11/3$ provided that $G$ does not contain $H_1$ or $H_2$ as a subgraph, where $H_1$ and $H_2$ are obtained by subdividing one edge of $K_2^3$ (the graph with three parallel edges between two vertices) and $K_4$, respectively. As $χ_c'(H_1) = χ_c'(H_2) = 4$, our result implies that there is no graph $G$ with $11/3 < χ_c'(G) < 4$. It also implies that if $G$ is a 2-edge connected cubic graph, then $χ'(G) \le 11/3$.
2006-12-31
On Potentially $(K_5-C_4)$-graphic Sequences
In this paper, we characterize the potentially $(K_5-C_4)$-graphic sequences where $K_5-C_4$ is the graph obtained from $K_5$ by removing four edges of a 4 cycle $C_4$. This characterization implies a theorem due to Lai [6].
2006-12-28 v2
Asymptotic normality of the $k$-core in random graphs
Published in Annals of Applied Probability 2008, Vol. 18, No. 3, 1085-1137 • View PublicationBIB
We study the $k$-core of a random (multi)graph on $n$ vertices with a given degree sequence. In our previous paper [Random Structures Algorithms 30 (2007) 50--62] we used properties of empirical distributions of independent random variables to give a simple proof of the fact that the size of the giant $k$-core obeys a law of large numbers as ${n\to \infty}$. Here we develop the method further and show that the fluctuations around the deterministic limit converge to a Gaussian law above and near the threshold, and to a non-normal law at the threshold. Further, we determine precisely the location of the phase transition window for the emergence of a giant $k$-core. Hence, we deduce corresponding results for the $k$-core in $G(n,p)$ and $G(n,m)$.
Probabilistic Inductive Classes of Graphs
Published in Journal of Mathematical Sociology 32: 85-109, 2008 • View PublicationBIB
Models of complex networks are generally defined as graph stochastic processes in which edges and vertices are added or deleted over time to simulate the evolution of networks. Here, we define a unifying framework - probabilistic inductive classes of graphs - for formalizing and studying evolution of complex networks. Our definition of probabilistic inductive class of graphs (PICG) extends the standard notion of inductive class of graphs (ICG) by imposing a probability space. A PICG is given by: (1) class B of initial graphs, the basis of PICG, (2) class R of generating rules, each with distinguished left element to which the rule is applied to obtain the right element, (3) probability distribution specifying how the initial graph is chosen from class B, (4) probability distribution specifying how the rules from class R are applied, and, finally, (5) probability distribution specifying how the left elements for every rule in class R are chosen. We point out that many of the existing models of growing networks can be cast as PICGs. We present how the well known model of growing networks - the preferential attachment model - can be studied as PICG. As an illustration we present results regarding the size, order, and degree sequence for PICG models of connected and 2-connected graphs.
2006-12-27 v4
Spanning Forests and the Golden Ratio
Published in Discrete Applied Mathematics 156 (2008) 813-821 • View PublicationBIB
For a graph G, let f_{ij} be the number of spanning rooted forests in which vertex j belongs to a tree rooted at i. In this paper, we show that for a path, the f_{ij}'s can be expressed as the products of Fibonacci numbers; for a cycle, they are products of Fibonacci and Lucas numbers. The {\em doubly stochastic graph matrix} is the matrix F=(f_{ij})/f, where f is the total number of spanning rooted forests of G and n is the number of vertices in G. F provides a proximity measure for graph vertices. By the matrix forest theorem, F^{-1}=I+L, where L is the Laplacian matrix of G. We show that for the paths and the so-called T-caterpillars, some diagonal entries of F (which provides a measure of the self-connectivity of vertices) converge to φ^{-1} or to 1-φ^{-1}, where φis the golden ratio, as the number of vertices goes to infinity. Thereby, in the asymptotic, the corresponding vertices can be metaphorically considered as "golden introverts" and "golden extroverts," respectively. This metaphor is reinforced by a Markov chain interpretation of the doubly stochastic graph matrix, according to which F equals the overall transition matrix of a random walk with a random number of steps on G.
2006-12-24
Hamilton cycles in highly connected and expanding graphs
Published • View PublicationBIB
In this paper we prove a sufficient condition for the existence of a Hamilton cycle, which is applicable to a wide variety of graphs, including relatively sparse graphs. In contrast to previous criteria, ours is based on only two properties: one requiring expansion of ``small'' sets, the other ensuring the existence of an edge between any two disjoint ``large'' sets. We also discuss applications in positional games, random graphs and extremal graph theory.
2006-12-22
Cubical token systems
Published • View PublicationBIB
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of combinatorial and stochastic parts of media theory hold almost in identical form for cubical token systems, although some underlying concepts are quite different. A representation theorem for a cubical token system is established asserting that the graph of such a system is cubical.
2006-12-22 v2
The Colin de Verdière Graph Parameter for Threshold Graphs
We consider Schrödinger operators on threshold graphs and prove a formula for the Colin de Verdière parameter in terms of the building sequence. We construct an optimal Colin de Verdière matrix for each connected threshold graph $G$ of $n$ vertices. For a large subclass of threshold graphs we construct an alternative Colin de Verdière matrix depending on a large parameter. As a corollary to this last construction, we give estimates on the size of the non-zero eigenvalues of this matrix.
2006-12-22 v2
Quantum permutation groups: a survey
Published in Banach Center Publ. 78 (2007), 13-34 • View PublicationBIB
This is a presentation of recent work on quantum permutation groups. Contains: a short introduction to operator algebras and Hopf algebras; quantum permutation groups, and their basic properties; diagrams, integration formulae, asymptotic laws, matrix models; the hyperoctahedral quantum group, free wreath products, quantum automorphism groups of finite graphs, graphs having no quantum symmetry; complex Hadamard matrices, cocycle twists of the symmetric group, quantum groups acting on 4 points; remarks and comments.
2006-12-21 v2
Removal lemma for infinitely-many forbidden hypergraphs and property testing
We give an extension of a graph result by Alon and Shapira. And it affirmatively settles a question on property testing raised by them. All monotone hypergraph properties and all hereditary partite hypergraph properties are testable. Our proof is constructive and based on a new hypergraph regularity lemma.
2006-12-20 v2
Linear Ramsey numbers for bounded-degree hypergraphs
Published • View PublicationBIB
We show that the Ramsey number is linear for every uniform hypergraph with bounded-degree. This is a hypergraph extension of the famous theorem for ordinary graphs which Chvátal et al. showed in 1983. Our proof is simple, contains the multicolor case, and provides a strong embedding lemma. It shows the potential of a new hypergraph regularity lemma by the author.