graph
35150 papers tagged with this keyword
On 2-Fold Covers of Graphs
Published
• View Publication
• BIB
A regular covering projection $\p\colon \tX \to X$ of connected graphs is $G$-admissible if $G$ lifts along $\p$. Denote by $\tG$ the lifted group, and let $\CT(\p)$ be the group of covering transformations. The projection is called $G$-split whenever the extension $\CT(\p) \to \tG \to G$ splits. In this paper, split 2-covers are considered. Supposing that $G$ is transitive on $X$, a $G$-split cover is said to be $G$-split-transitive if all complements $\bG \cong G$ of $\CT(\p)$ within $\tG$ are transitive on $\tX$; it is said to be $G$-split-sectional whenever for each complement $\bG$ there exists a $\bG$-invariant section of $\p$; and it is called $G$-split-mixed otherwise.
It is shown, when $G$ is an arc-transitive group, split-sectional and split-mixed 2-covers lead to canonical double covers. For cubic symmetric graphs split 2-cover are necessarily cannonical double covers when $G$ is 1- or 4-regular. In all other cases, that is, if $G$ is $s$-regular, $s=2,3$ or 5, a necessary and sufficient condition for the existence of a transitive complement $\bG$ is given, and an infinite family of split-transitive 2-covers based on the alternating groups of the form $A_{12k+10}$ is constructed.
Finally, chains of consecutive 2-covers, along which an arc-transitive group $G$ has successive lifts, are also considered. It is proved that in such a chain, at most two projections can be split. Further, it is shown that, in the context of cubic symmetric graphs, if exactly two of them are split, then one is split-transitive and the other one is either split-sectional or split-mixed.
Transitive Group Actions: (IM)PRIMITIVITY and Semiregular Subgroups
Published in Journal of Algebraic Combinatorics, 2014
• Search Publication
The following problem is considered: if $H$ is a semiregular abelian subgroup of a transitive permutation group $G$ acting on a finite set $X$, find conditions for (non) existence of $G$-invariant partitions of $X$. Conditions presented in this paper are derived by studying spectral properties of associated $G$-invariant digraphs. As an essential tool, irreducible complex characters of $H$ are used.
Questions of this kind arise naturally when classifying combinatorial objects which enjoy a certain degree of symmetry. As an illustration, a new and short proof of an old result of Frucht, Graver and Watkins ({\it Proc. Camb. Phil. Soc.}, {\bf 70} (1971), 211-218) classifying edge-transitive generalized Petersen graphs, is given.
Zero-divisor graphs of amalgamated duplication of a ring along an ideal
Published
• View Publication
• BIB
Let $R$ be a commutative ring with identity and let $I$ be an ideal of $R$. Let $R\Join I$ be the subring of $R\times R$ consisting of the elements $(r,r+i)$ for $r\in R$ and $i\in I$. We study the diameter and girth of the zero-divisor graph of the ring $R\Join I$.
Counting non-isomorphic maximal independent sets of the n-cycle graph
Published in Journal of Integer Sequences 11 (5) (2008), Article 08.5.7
• Search Publication
The number of maximal independent sets of the n-cycle graph C_n is known to be the nth term of the Perrin sequence. The action of the automorphism group of C_n on the family of these maximal independent sets partitions this family into disjoint orbits, which represent the non-isomorphic (i.e., defined up to a rotation and a reflection) maximal independent sets. We provide exact formulas for the total number of orbits and the number of orbits having a given number of isomorphic representatives. We also provide exact formulas for the total number of unlabeled (i.e., defined up to a rotation) maximal independent sets and the number of unlabeled maximal independent sets having a given number of isomorphic representatives. It turns out that these formulas involve both Perrin and Padovan sequences.
Asymptotic evolution of acyclic random mappings
Published
• View Publication
• BIB
An acyclic mapping from an $n$ element set into itself is a mapping $φ$ such that if $φ^k(x) = x$ for some $k$ and $x$, then $φ(x) = x$. Equivalently, $φ^\ell = φ^{\ell+1} = ...$ for $\ell$ sufficiently large. We investigate the behavior as $n \to \infty$ of a Markov chain on the collection of such mappings. At each step of the chain, a point in the $n$ element set is chosen uniformly at random and the current mapping is modified by replacing the current image of that point by a new one chosen independently and uniformly at random, conditional on the resulting mapping being again acyclic. We can represent an acyclic mapping as a directed graph (such a graph will be a collection of rooted trees) and think of these directed graphs as metric spaces with some extra structure. Heuristic calculations indicate that the metric space valued process associated with the Markov chain should, after an appropriate time and ``space'' rescaling, converge as $n \to \infty$ to a real tree ($\R$-tree) valued Markov process that is reversible with respect to a measure induced naturally by the standard reflected Brownian bridge. The limit process, which we construct using Dirichlet form methods, is a Hunt process with respect to a suitable Gromov-Hausdorff-like metric. This process is similar to one that appears in earlier work by Evans and Winter as the limit of chains involving the subtree prune and regraft tree (SPR) rearrangements from phylogenetics.
Random dense bipartite graphs and directed graphs with specified degrees
Published
• View Publication
• BIB
Let S and T be vectors of positive integers with the same sum. We study the uniform distribution on the space of simple bipartite graphs with degree sequence S in one part and T in the other; equivalently, binary matrices with row sums S and column sums T. In particular, we find precise formulae for the probabilities that a given bipartite graph is edge-disjoint from, a subgraph of, or an induced subgraph of a random graph in the class. We also give similar formulae for the uniform distribution on the set of simple directed graphs with out-degrees S and in-degrees T. In each case, the graphs or digraphs are required to be sufficiently dense, with the degrees varying within certain limits, and the subgraphs are required to be sufficiently sparse. Previous results were restricted to spaces of sparse graphs. Our theorems are based on an enumeration of bipartite graphs avoiding a given set of edges, proved by multidimensional complex integration. As a sample application, we determine the expected permanent of a random binary matrix with row sums S and column sums T.
Bounds On Isoperimetric Values of Trees
Published
• View Publication
• BIB
Let G = (V,E) be a finite, simple and undirected graph. For $S \subseteq V$, let $δ(S,G) = \{(u,v) \in E : u \in S \mbox {and} v \in V-S \}$ be the edge boundary of $S$. Given an integer $i$, $1 \leq i \leq | V |$, let the edge isoperimetric value of $G$ at $i$ be defined as $b_e(i,G) = \min_{S \subseteq V; |S| = i} |δ(S,G)|$. The edge isoperimetric peak of $G$ is defined as $b_e(G)=\max_{1 \leq j \leq | V |} b_e(j,G)$. Let $b_v(G)$ denote the vertex isoperimetric peak defined in a corresponding way. The problem of determining a lower bound for the vertex isoperimetric peak in complete $t$-ary trees was recently considered in \cite{OatYam}. In this paper we provide bounds which improve those in \cite{OatYam}. We show that for a complete binary tree of depth $d$ (denoted as $T_d^2$), $c_1d \leq b_e(T_d^2) \leq d$ and $c_2d \leq b_v(T_d^2) \leq d$ where $c_1$, $c_2$ are constants. For a complete $t$-ary tree of depth $d$ (denoted as $T_d^t$) and $d \geq c\log{t}$ where $c$ is a constant, we show that $c_1\sqrt{t}d \leq b_e(T_d^t) \leq td$ and $c_2\frac{d}{\sqrt{t}} \leq b_v(T_d^t) \leq d$ where $c_1$, $c_2$ are constants. Our results are generalized to arbitrary(rooted) trees.
The Graphs for which the Maximum Multiplicity of an Eigenvalue is Two
Published
• View Publication
• BIB
Characterized are all simple undirected graphs $G$ such that any real symmetric matrix that has graph $G$ has no eigenvalues of multiplicity more than 2. All such graphs are partial 2-trees (and this follows from a result for rather general fields), but only certain partial 2-trees guarantee maximum multiplicity 2. Among partial linear 2-trees, they are only those whose vertices can be covered by two "parallel" induced paths. The remaining graphs that guarantee maximum multiplicity 2 are comprised by certain identified families of "exceptional" partial 2-trees that are not linear.
Covering arrays on graphs: qualitative independence graphs and extremal set partition theory
The main focus of this thesis is a generalization of covering arrays, covering arrays on graphs. Two vectors v,w in Z_k^n are qualitatively independent if for all ordered pairs (a,b) in Z_k x Z_k there is a position i in the vectors where (a,b) = (v_i,w_i). A covering array is an array with the property that any pair of rows are qualitatively independent. A covering array on a graph is an array with a row for each vertex of the graph with the property that any two rows which correspond to adjacent vertices are qualitatively independent. The addition of a graph structure to covering arrays makes it possible to use methods from graph theory to study these designs. In this thesis, we define a family of graphs called the qualitative independence graphs. A graph has a covering array, with given parameters, if and only if there is a homomorphism from the graph to a particular qualitative independence graph. Cliques in qualitative independence graphs relate to covering arrays and independent sets are connected to intersecting partition systems. It is known that the exact size of an optimal binary covering array can be determined using Sperner's Theorem and the Erdos-Ko-Rado Theorem. Since the rows of general covering arrays correspond to set partitions, we give extensions of Sperner's Theorem and the Erdos-Ko-Rado Theorem to set-partition systems. We also consider a subgraph of a general qualitative independence graph called the uniform qualitative independence graph. We give the spectra for several of these graphs and conjecture that they are graphs in an association scheme. We also give a new construction for covering arrays which yields many new upper bounds on the size of optimal covering arrays.
On the hardness of sampling independent sets beyond the tree threshold
Published
• View Publication
• BIB
We consider local Markov chain Monte-Carlo algorithms for sampling from the weighted distribution of independent sets with activity $ł$, where the weight of an independent set $I$ is $ł^{|I|}$. A recent result has established that Gibbs sampling is rapidly mixing in sampling the distribution for graphs of maximum degree $d$ and $ł<ł_c(d)$, where $ł_c(d)$ is the critical activity for uniqueness of the Gibbs measure (i.e., for decay of correlations with distance in the weighted distribution over independent sets) on the $d$-regular infinite tree.
We show that for $d \geq 3$, $ł$ just above $ł_c(d)$ with high probability over $d$-regular bipartite graphs, any local Markov chain Monte-Carlo algorithm takes exponential time before getting close to the stationary distribution.
Our results provide a rigorous justification for ``replica'' method heuristics. These heuristics were invented in theoretical physics and are used in order to derive predictions on Gibbs measures on random graphs in terms of Gibbs measures on trees. We conjecture that $ł_c$ is in fact the exact threshold for this computational problem, i.e., that for $ł>ł_c$ it is NP-hard to approximate the above weighted sum overindependent sets to within a factor polynomial in the size of the graph.
The Evolution of the Mixing Rate
Published
• View Publication
• BIB
In this paper we present a study of the mixing time of a random walk on the largest component of a supercritical random graph, also known as the giant component. We identify local obstructions that slow down the random walk, when the average degree d is at most (ln n lnln n)^{1/2}, proving that the mixing time in this case is O((ln n/d)^2) asymptotically almost surely. As the average degree grows these become negligible and it is the diameter of the largest component that takes over, yielding mixing time O(ln n/ln d). We proved these results during the 2003-04 academic year. Similar results but for constant d were later proved independently by I. Benjamini, G. Kozma and N. Wormald.
Eulerian graphs and local complementation
We define pure graphs, invertible graphs, and the notion of complementation of bicoloured graphs. The study of pure graphs is motivated by two conjectures about the transition systems of eulerian graphs and by the Cycle Double Cover Conjecture. We show how substitution rules can be used to determine when two complementation words produce the same graph. For bicoloured graphs, complementation words give way to complementation sets. The invertible graphs (bicoloured graphs whose vertex set is a complementation set) are shown to have the property that their inverse has the same automorphisms. The property of being invertible can also be defined for non-coloured graphs by endowing them with their natural colouring. It is proposed that a characterization of pure graphs would contribute to establish the truth of the Cycle Double Cover Conjecture. We show how pure graphs have essential factorizations into primitive pure graphs. The four primitive pure parity classes are presented.
The birthday problem and Markov chain Monte Carlo
We study the problem of generating a sample from the stationary distribution of a Markov chain, given a method to simulate the chain. We give an approximation algorithm for the case of a random walk on a regular graph with n vertices that runs in expected time O^*(\sqrt{n} x L^2-mixing time). This is close to the best possible, since \sqrt{n} is a lower bound on the worst-case expected running time of any algorithm.
Concrete and abstract structure of the sandpile group for thick trees with loops
We answer a question of Laszlo Babai concerning the abelian sandpile model. Given a graph, the model yields a finite abelian group of recurrent configurations which is closely related to the combinatorial Laplacian of the graph. We explicitly describe the group elements and operations in the case of thick trees with loops--that is, graphs which are obtained from trees by setting arbitrary edge multiplicities and adding loops at vertices. We do this both concretely (by describing the so-called recurrent and identity configurations) and abstractly (by computing the group's abstract structure), and define maps identifying the two.
Percolation on dense graph sequences
Published in Annals of Probability 2010, Vol. 38, No. 1, 150-183
• View Publication
• BIB
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.
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
Critical random graphs: Diameter and mixing time
Published in Annals of Probability 2008, Vol. 36, No. 4, 1267-1286
• View Publication
• BIB
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})$.
Shellable graphs and sequentially Cohen-Macaulay bipartite graphs
Published
• View Publication
• BIB
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.
The Moore bound for Spectral Radius
We give an upper bound on the largest eigenvalue of a graph of given order, size, and girth.
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.