arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
2005-08-17 v2
Grad and Classes with Bounded Expansion II. Algorithmic Aspects
Published in KAM-DIMATIA Series 2005-740 (2005) 1-20 • Search Publication
Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r, ∇r(G). These classes are also characterized by the existence of several partition results such as the existence of low tree-width and low tree-depth colorings. These results lead to several new linear time algorithms, such as an algorithm for counting all the isomorphs of a fixed graph in an input graph or an algorithm for checking whether there exists a subset of vertices of a priori bounded size such that the subgraph induced by this subset satisfies some arbirtrary but fixed first order sentence. We also show that for fixed p, computing the distances between two vertices up to distance p may be performed in constant time per query after a linear time preprocessing. We also show, extending several earlier results, that a class of graphs has sublinear separators if it has sub-exponential expansion. This result result is best possible in general.
Grad and classes with bounded expansion III. restricted dualities
Published in KAM-DIMATIA Series 2005-741 (2005) 1-14 • Search Publication
We study restricted homomorphism dualities in the context of classes with bounded expansion. This presents a generalization of restricted dualities obtained earlier for bounded degree graphs and also for proper minor closed classes. This is related to distance coloring of graphs and to the ''approximative version'' of Hadwiger conjecture.
2005-08-16
Stein's Method and Random Character Ratios
Published • View Publication • BIB
Stein's method is used to prove limit theorems for random character ratios. Tools are developed for four types of structures: finite groups, Gelfand pairs, twisted Gelfand pairs, and association schemes. As one example an error term is obtained for a central limit theorem of Kerov on the spectrum of the Cayley graph of the symmetric group generated by i-cycles, or equivalently for the character ratio of a Plancherel distributed representation on an i-cycle. Other main examples include an error term for a central limit theorem of Ivanov on character ratios of random projective representations of the symmetric group, and a new central limit theorem for the spectrum of certain graphs whose vertices are the set of perfect matchings on 2n symbols. The error terms in the resulting limit theorems are typically O(n^{-1/4}) or better. The results are obtained with remarkably little information: a character formula for a single representation close to the trivial representation and estimates on two step transition probabilities of a random walk. Although the limit theorems stated in this paper are all for the case of normal approximation, many of the tools developed are quite general. Indeed, both the construction of an exchangeable pair used for Stein's method and lemmas computing certain moments are useful for arbitrary distributional approximation.
On a class of Koszul algebras associated to directed graphs
Published • View Publication • BIB
In math.QA/0506507 I. Gelfand and the authors introduced and studied a new class of algebras associated to directed graphs. In this paper we show that these algebras are Koszul for a large class of layered (i.e. ranked) graphs.
2005-08-15
Smith Normal Form and Acyclic Matrics
Published • View Publication • BIB
An approach, based on the Smith Normal Form, is introduced to study the spectra of symmetric matrices with a given graph. The approach serves well to explain how the path cover number (resp. diameter of a tree T) is related to the maximum multiplicity occurring for an eigenvalue of a symmetric matrix whose graph is T (resp. the minimum number q(T) of distinct eigenvalues over the symmetric matrices whose graphs are T). The approach is also applied to a more general class of connected graphs G, not necessarily trees, in order to establish a lower bound on q(G).
2005-08-15 v2
Chord Diagrams and Gauss Codes for Graphs
Chord diagrams on circles and their intersection graphs (also known as circle graphs) have been intensively studied, and have many applications to the study of knots and knot invariants, among others. However, chord diagrams on more general graphs have not been studied, and are potentially equally valuable in the study of spatial graphs. We will define chord diagrams for planar embeddings of planar graphs and their intersection graphs, and prove some basic results. Then, as an application, we will introduce Gauss codes for immersions of graphs in the plane and give algorithms to determine whether a particular crossing sequence is realizable as the Gauss code of an immersed graph.
2005-08-14 v2
Bergman Complexes, Coxeter Arrangements, and Graph Associahedra
Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.
2005-08-10
On the spectra of nonsymmetric Laplacian matrices
Published in Linear Algebra and Its Applications. 2005. V. 399. 157--168 • View Publication • BIB
A Laplacian matrix is a square real matrix with nonpositive off-diagonal entries and zero row sums. As a matrix associated with a weighted directed graph, it generalizes the Laplacian matrix of an ordinary graph. A standardized Laplacian matrix is a Laplacian matrix with the absolute values of the off-diagonal entries not exceeding 1/n, where n is the order of the matrix. We study the spectra of Laplacian matrices and relations between Laplacian matrices and stochastic matrices. We prove that the standardized Laplacian matrices are semiconvergent. The multiplicities of 0 and 1 as the eigenvalues of a standardized Laplacian matrix are equal to the in-forest dimension of the corresponding digraph and one less than the in-forest dimension of the complementary digraph, respectively. These eigenvalues are semisimple. The spectrum of a standardized Laplacian matrix belongs to the meet of two closed disks, one centered at 1/n, another at 1-1/n, each having radius 1-1/n, and two closed angles, one bounded with two half-lines drawn from 1, another with two half-lines drawn from 0 through certain points. The imaginary parts of the eigenvalues are bounded from above by 1/(2n) cot(pi/2n); this maximum converges to 1/pi as n goes to infinity. Keywords: Laplacian matrix; Laplacian spectrum of graph; Weighted directed graph; Forest dimension of digraph; Stochastic matrix
2005-08-10 v3
Products of Foldable Triangulations
Published • View Publication • BIB
Regular triangulations of products of lattice polytopes are constructed with the additional property that the dual graphs of the triangulations are bipartite. The (weighted) size difference of this bipartition is a lower bound for the number of real roots of certain sparse polynomial systems by recent results of Soprunova and Sottile [Adv. Math. 204(1):116-151, 2006]. Special attention is paid to the cube case.
2005-08-08
Rainbow Hamilton cycles in random regular graphs
Published • View Publication • BIB
A rainbow subgraph of an edge-coloured graph has all edges of distinct colours. A random d-regular graph with d even, and having edges coloured randomly with d/2 of each of n colours, has a rainbow Hamilton cycle with probability tending to 1 as n tends to infinity, provided d is at least 8.
2005-08-08
Complexes of Directed Trees and Independence Complexes
The theory of complexes of directed trees was initiated by Kozlov to answer a question by Stanley, and later on, results from the theory were used by Babson and Kozlov in their proof of the Lovasz conjecture. We develop the theory and prove that complexes on directed acyclic graphs are shellable. A related concept is that of independence complexes: construct a simplicial complex on the vertex set of a graph, by including each independent set of vertices as a simplex. Two theorems used for breaking and gluing such complexes are proved and applied to generalize results by Kozlov. A fruitful restriction is anti-Rips complexes: a subset P of a metric space is the vertex set of the complex, and we include as a simplex each subset of P with no pair of points within distance r. For any finite subset P of \mathbb{R} the homotopy type of the anti-Rips complex is determined.
2005-08-07 v2
Coherent permutations with descent statistic and the boundary problem for the graph of zigzag diagrams
Published in Intern. Math. Research Notices 2006, Art. ID 51968, 39 pp. • View Publication • BIB
The graph of zigzag diagrams is a close relative of Young's lattice. The boundary problem for this graph amounts to describing coherent random permutations with descent-set statistic, and is also related to certain positive characters on the algebra of quasi-symmetric functions. We establish connections to some further relatives of Young's lattice and solve the boundary problem by reducing it to the classification of spreadable total orders on integers, as recently obtained by Jacka and Warren.
2005-08-03
Eigenvalue bounds for independent sets
Published • View Publication • BIB
We derive bounds on the size of an independent set based on eigenvalues. This generalizes a result due to Delsarte and Hoffman. We use this to obtain new bounds on the independence number of the Erdős-Rényi graphs. We investigate further properties of our bounds, and show how our results on the Erdős-Rényi graphs can be extended to other polarity graphs.
2005-07-29 v6
Intrinsic linking and knotting of graphs in arbitrary 3-manifolds
Published in Algebr. Geom. Topol. 6 (2006) 1025-1035 • View Publication • BIB
We prove that a graph is intrinsically linked in an arbitrary 3-manifold M if and only if it is intrinsically linked in S^3. Also, assuming the Poincare Conjecture, we prove that a graph is intrinsically knotted in M if and only if it is intrinsically knotted in S^3.
2005-07-27
Elementary elliptic $(R,q)$-polycycles
Published • View Publication • BIB
We consider the following generalization of the decomposition theorem for polycycles. A {\em $(R,q)$-polycycle} is, roughly, a plane graph, whose faces, besides some disjoint {\em holes}, are $i$-gons, $i \in R$, and whose vertices, outside of holes, are $q$-valent. Such polycycle is called {\em elliptic}, {\em parabolic} or {\em hyperbolic} if $\frac{1}{q} + \frac{1}{r} - {1/2}$ (where $r={max_{i \in R}i}$) is positive, zero or negative, respectively. An edge on the boundary of a hole in such polycycle is called {\em open} if both its end-vertices have degree less than $q$. We enumerate all elliptic {\em elementary} polycycles, i.e. those that any elliptic $(R,q)$-polycycle can be obtained from them by agglomeration along some open edges.
On the Metric Dimension of Cartesian Products of Graphs
Published in SIAM J. Discrete Mathematics, 21(2):423-441, 2007 • View Publication • BIB
A set S of vertices in a graph G resolves G if every vertex is uniquely determined by its vector of distances to the vertices in S. The metric dimension of G is the minimum cardinality of a resolving set of G. This paper studies the metric dimension of cartesian products G*H. We prove that the metric dimension of G*G is tied in a strong sense to the minimum order of a so-called doubly resolving set in G. Using bounds on the order of doubly resolving sets, we establish bounds on G*H for many examples of G and H. One of our main results is a family of graphs G with bounded metric dimension for which the metric dimension of G*G is unbounded.
2005-07-25 v2
A general lower bound for mixing of single-site dynamics on graphs
Published in Annals of Applied Probability 2007, Vol. 17, No. 3, 931-952 • View Publication • BIB
We prove that any Markov chain that performs local, reversible updates on randomly chosen vertices of a bounded-degree graph necessarily has mixing time at least $Ω(n\log n)$, where $n$ is the number of vertices. Our bound applies to the so-called ``Glauber dynamics'' that has been used extensively in algorithms for the Ising model, independent sets, graph colorings and other structures in computer science and statistical physics, and demonstrates that many of these algorithms are optimal up to constant factors within their class. Previously, no superlinear lower bound was known for this class of algorithms. Though widely conjectured, such a bound had been proved previously only in very restricted circumstances, such as for the empty graph and the path. We also show that the assumption of bounded degree is necessary by giving a family of dynamics on graphs of unbounded degree with mixing time O(n).
2005-07-22 v4
On lengths of rainbow cycles
Published in Electron. J. Combin. 13 (2006), no. 1, Research Paper 105, 14 pp. (electronic) • View Publication • BIB
We prove several results regarding edge-colored complete graphs and rainbow cycles, cycles with no color appearing on more than one edge. We settle a question posed by Ball, Pultr, and Vojtěchovský by showing that if such a coloring does not contain a rainbow cycle of length $n$, where $n$ is odd, then it also does not contain a rainbow cycle of length $m$ for all $m$ greater than $2n^2$. In addition, we present two examples which demonstrate that this result does not hold for even $n$. Finally, we state several open problems in the area.
2005-07-19 v3
Matched pairs approach to set-theoretic solutions of the Yang-Baxter equation
Published • View Publication • BIB
We study set-theoretic solutions $(X,r)$ of the Yang-Baxter equations on a set $X$ in terms of the induced left and right actions of $X$ on itself. We give a characterization of involutive square-free solutions in terms of cyclicity conditions. We characterise general solutions in terms of abstract matched pair properties of the associated monoid $S(X,r)$ and we show that $r$ extends as a solution $(S(X,r),r_S)$. Finally, we study extensions of solutions both directly and in terms of matched pairs of their associated monoids. We also prove several general results about matched pairs of monoids $S$ of the required type, including iterated products $S\bowtie S\bowtie S$ equivalent to $r_S$ a solution, and extensions $(S\bowtie T,r_{S\bowtie T})$. Examples include a general `double' construction $(S\bowtie S,r_{S\bowtie S})$ and some concrete extensions, their actions and graphs based on small sets.
2005-07-18 v2
Kocay's lemma, Whitney's theorem, and some polynomial invariant reconstruction problems
Published in The Electronic Journal of Combinatorics 12 (2005), #R63. • View Publication • BIB
Given a graph G, an incidence matrix N(G) is defined for the set of distinct isomorphism types of induced subgraphs of G. If Ulam's conjecture is true, then every graph invariant must be reconstructible from this matrix, even when the graphs indexing the rows and the columns of N(G) are unspecified. It is proved that the characteristic polynomial, the rank polynomial, and the number of spanning trees of a graph are reconstructible from its N-matrix. These results are stronger than the original results of Tutte in the sense that actual subgraphs are not used. It is also proved that the characteristic polynomial of a graph with minimum degree 1 can be computed from the characteristic polynomials of all its induced proper subgraphs. The ideas in Kocay's lemma play a crucial role in most proofs. Here Kocay's lemma is used to prove Whitney's subgraph expansion theorem in a simple manner. The reconstructibility of the characteristic polynomial is then demonstrated as a direct consequence of Whitney's theorem as formulated here.