graph
35150 papers tagged with this keyword
On the Ramsey numbers for a combination of paths and Jahangirs
For given graphs $G$ and $H,$ the \emph{Ramsey number} $R(G,H)$ is the least natural number $n$ such that for every graph $F$ of order $n$ the following condition holds: either $F$ contains $G$ or the complement of $F$ contains $H.$ In this paper, we improve the Surahmat and Tomescu's result \cite{ST:06} on the Ramsey number of paths versus Jahangirs. We also determine the Ramsey number $R(\cup G,H)$, where $G$ is a path and $H$ is a Jahangir graph.
Computing the Tutte polynomial in vertex-exponential time
The deletion--contraction algorithm is perhaps the most popular method for computing a host of fundamental graph invariants such as the chromatic, flow, and reliability polynomials in graph theory, the Jones polynomial of an alternating link in knot theory, and the partition functions of the models of Ising, Potts, and Fortuin--Kasteleyn in statistical physics. Prior to this work, deletion--contraction was also the fastest known general-purpose algorithm for these invariants, running in time roughly proportional to the number of spanning trees in the input graph. Here, we give a substantially faster algorithm that computes the Tutte polynomial--and hence, all the aforementioned invariants and more--of an arbitrary graph in time within a polynomial factor of the number of connected vertex sets. The algorithm actually evaluates a multivariate generalization of the Tutte polynomial by making use of an identity due to Fortuin and Kasteleyn. We also provide a polynomial-space variant of the algorithm and give an analogous result for Chung and Graham's cover polynomial. An implementation of the algorithm outperforms deletion--contraction also in practice.
The fundamental group of random 2-complexes
Published in J. Amer. Math. Soc. 24 (2011), 1-28
• View Publication
• BIB
We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes. These intermediate results do not involve randomness and may be of independent interest.
Every longest circuit of a 3-connected, $K_{3,3}$-minor free graph has a chord
Published in Journal of Graph Theory, 58 (4): 293-298, 2008
• View Publication
• BIB
Carsten Thomassen conjectured that every longest circuit in a 3-connected graph has a chord. We prove the conjecture for graphs having no $K_{3,3}$ minor, and consequently for planar graphs.
Drawing polytopal graphs with polymake
Published
• View Publication
• BIB
This note wants to explain how to obtain meaningful pictures of (possibly high-dimensional) convex polytopes, triangulated manifolds, and other objects from the realm of geometric combinatorics such as tight spans of finite metric spaces and tropical polytopes. In all our cases we arrive at specific, geometrically motivated, graph drawing problems. The methods displayed are implemented in the software system polymake.
Minimum de Bruijn Sequence in a Language with Forbidden Substrings
Let be the following strategy to construct a walk in a labeled digraph: at each vertex, we follow the unvisited arc of minimum label. In this work we study for which languages, applying the previous strategy over the corresponding de Bruijn graph, we finish with an Eulerian cycle, in order to obtain the minimal de Bruijn sequence of the language.
Cutsets in infinite graphs
Published in Published in Combinatorics, Probability and Computing, 16 (2007), issue 1, 159-166
• Search Publication
We answer three questions posed in a paper by Babson and Benjamini. They introduced a parameter $C_G$ for Cayley graphs $G$ that has significant application to percolation. For a minimal cutset of $G$ and a partition of this cutset into two classes, take the minimal distance between the two classes. The supremum of this number over all minimal cutsets and all partitions is $C_G$. We show that if it is finite for some Cayley graph of the group then it is finite for any (finitely generated) Cayley graph. Having an exponential bound for the number of minimal cutsets of size $n$ separating $o$ from infinity also turns out to be independent of the Cayley graph chosen. We show a 1-ended example (the lamplighter group), where $C_G$ is infinite. Finally, we give a new proof for a question of de la Harpe, proving that the number of $n$-element cutsets separating $o$ from infinity is finite unless $G$ is a finite extension of $Z$.
Bondary-connectivity via graph theory
Published in Proceedings of the American Mathematical Society 141 (2013), 475-480
• Search Publication
We generalize theorems of Kesten and Deuschel-Pisztora about the connectedness of the exterior boundary of a connected subset of $\mathbb{Z}^d$, where "connectedness" and "boundary" are understood with respect to various graphs on the vertices of $\mathbb{Z}^d$. We provide simple and elementary proofs of their results. It turns out that the proper way of viewing these questions is graph theory, instead of topology.
Growth of the Number of Spanning Trees of the Erdös-Rényi Giant Component
Published in Combin. Probab. Comput. 17 (2008), 711-726.
• View Publication
• BIB
The number of spanning trees in the giant component of the random graph $\G(n, c/n)$ ($c>1$) grows like $\exp\big\{m\big(f(c)+o(1)\big)\big\}$ as $n\to\infty$, where $m$ is the number of vertices in the giant component. The function $f$ is not known explicitly, but we show that it is strictly increasing and infinitely differentiable. Moreover, we give an explicit lower bound on $f'(c)$. A key lemma is the following. Let $\PGW(λ)$ denote a Galton-Watson tree having Poisson offspring distribution with parameter $λ$. Suppose that $λ^*>λ>1$. We show that $\PGW(λ^*)$ conditioned to survive forever stochastically dominates $\PGW(λ)$ conditioned to survive forever.
Boxicity of Halin Graphs
Published
• View Publication
• BIB
A k-dimensional box is the Cartesian product R_1 x R_2 x ... x R_k where each R_i is a closed interval on the real line. The boxicity of a graph G, denoted as box(G) is the minimum integer k such that G is the intersection graph of a collection of k-dimensional boxes. Halin graphs are the graphs formed by taking a tree with no degree 2 vertex and then connecting its leaves to form a cycle in such a way that the graph has a planar embedding. We prove that if G is a Halin graph that is not isomorphic to K_4, then box(G)=2. In fact, we prove the stronger result that if G is a planar graph formed by connecting the leaves of any tree in a simple cycle, then box(G)=2 unless G is isomorphic to K_4 (in which case its boxicity is 1).
Clique Minors in Cartesian Products of Graphs
Published in New York J. Mathematics 17:627-682, 2011
• Search Publication
A "clique minor" in a graph G can be thought of as a set of connected subgraphs in G that are pairwise disjoint and pairwise adjacent. The "Hadwiger number" h(G) is the maximum cardinality of a clique minor in G. This paper studies clique minors in the Cartesian product G*H.
Our main result is a rough structural characterisation theorem for Cartesian products with bounded Hadwiger number. It implies that if the product of two sufficiently large graphs has bounded Hadwiger number then it is one of the following graphs:
- a planar grid with a vortex of bounded width in the outerface,
- a cylindrical grid with a vortex of bounded width in each of the two `big' faces, or
- a toroidal grid.
Motivation for studying the Hadwiger number of a graph includes Hadwiger's Conjecture, which states that the chromatic number chi(G) <= h(G). It is open whether Hadwiger's Conjecture holds for every Cartesian product. We prove that if |V(H)|-1 >= chi(G) >= chi(H) then Hadwiger's Conjecture holds for G*H. On the other hand, we prove that Hadwiger's Conjecture holds for all Cartesian products if and only if it holds for all G * K_2. We then show that h(G * K_2) is tied to the treewidth of G.
We also develop connections with pseudoachromatic colourings and connected dominating sets that imply near-tight bounds on the Hadwiger number of grid graphs (Cartesian products of paths) and Hamming graphs (Cartesian products of cliques).
On Enumeration of Conjugacy Classes of Coxeter Elements
Published in Proc. Amer. Math. Soc. 136 (2008), 4157-4165.
• View Publication
• BIB
In this paper we study the equivalence relation on the set of acyclic orientations of a graph Y that arises through source-to-sink conversions. This source-to-sink conversion encodes, e.g. conjugation of Coxeter elements of a Coxeter group. We give a direct proof of a recursion for the number of equivalence classes of this relation for an arbitrary graph Y using edge deletion and edge contraction of non-bridge edges. We conclude by showing how this result may also be obtained through an evaluation of the Tutte polynomial as T(Y,1,0), and we provide bijections to two other classes of acyclic orientations that are known to be counted in the same way. A transversal of the set of equivalence classes is given.
Toward a Unit Distance Embedding for the Heawood graph
The unit distance embeddability of a graph, like planarity, involves a mix of constraints that are combinatorial and geometric. We construct a unit distance embedding for $H-e$ in the hope that it will lead to an embedding for $H$. We then investigate analytical methods for a general decision procedure for testing unit distance embeddability.
Complete r-partite subgraphs of dense r-graphs
Published
• View Publication
• BIB
We determine how large r-partite graphs can be found in r-uniform graphs with n vertices and Cn^r edges, where C is a slowly decreasing function of n. This refines results of Erdos from 1964.
Schreier spectrum of the Hanoi Towers group on three pegs
Published
• View Publication
• BIB
Finite dimensional representations of the Hanoi Towers group are used to calculate the spectra of the finite graphs associated to the Hanoi Towers Game on three pegs (the group serves as a renorm group for the game). These graphs are Schreier graphs of the action of the Hanoi Towers group on the levels of the rooted ternary tree. The spectrum of the limiting graph (Schreier graph of the action on the boundary of the tree) is also provided.
Number of sets with small sumset and the clique number of random Cayley graphs
Let $G$ be a finite abelian group of order $n$. For any subset $B$ of $G$ with $B=-B$, the Cayley graph $G_B$ is a graph on vertex set $G$ in which $ij$ is an edge if and only if $i-j\in B.$ It was shown by Ben Green that when $G$ is a vector space over a finite field $Z/pZ$, then there is a Cayley graph containing neither a complete subgraph nor an independent set of size more than $clog nloglog n,$ where $c$ is an absolute constant. In this article we observe that a modification of his arguments shows that for an arbitrary finite abelian group of order $n$, there is a Cayley graph containing neither a complete subgraph nor an independent set of size more than $c(omega^3(n)log omega(n) +log nloglog n)$, where $c$ is an absolute constant and $omega(n)$ denotes the number of distinct prime divisors of $n$.
Tutte chromatic identities from the Temperley-Lieb algebra
Published in Geom. Topol. 13 (2009) 709-741
• View Publication
• BIB
This paper introduces a conceptual framework, in the context of quantum topology and the algebras underlying it, for analyzing relations obeyed by the chromatic polynomial χ(Q) of planar graphs. Using it we give new proofs and substantially extend a number of classical results concerning the combinatorics of the chromatic polynomial. In particular, we show that Tutte's golden identity is a consequence of level-rank duality for SO(N) topological quantum field theories and Birman-Murakami-Wenzl algebras. This identity is a remarkable feature of the chromatic polynomial relating χ({φ+2}) for any triangulation of the sphere to (χ({φ+1}))^2 for the same graph, where φdenotes the golden ratio. The new viewpoint presented here explains that Tutte's identity is special to these values of the parameter Q. A natural context for analyzing such properties of the chromatic polynomial is provided by the {\em chromatic algebra}, whose Markov trace is the chromatic polynomial of an associated graph. We use it to show that another identity of Tutte's for the chromatic polynomial at Q=φ+1 arises from a Jones-Wenzl projector in the Temperley-Lieb algebra. We generalize this identity to each value Q= 2+2\cos(2πj/(n+1)) for j< n positive integers. When j=1, these Q are the Beraha numbers, where the existence of such identities was conjectured by Tutte. We present a recursive formula for this sequence of chromatic polynomial relations.
Ramsey-type problem for an almost monochromatic K_4
Published
• View Publication
• BIB
In this short note we prove that there is a constant $c$ such that every k-edge-coloring of the complete graph K_n with n > 2^{ck} contains a K_4 whose edges receive at most two colors. This improves on a result of Kostochka and Mubayi, and is the first exponential bound for this problem.
Hopf algebras of diagrams
Published
• View Publication
• BIB
We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are exhibited, and it is shown how these algebras fit into a commutative diagram. Hopf deformations and dendriform structures are also considered for some algebras in the picture.
Graphs with extremal energy should have a small number of distinct eigenvalues
Published in Cvetkovi\' c D., Grout J., Maximal energy graphs should have a small number of distinct eigenvalues, Bull. Acad. Serbe Sci. Arts, Cl. Sci. Math. Natur., Sci. Math., 134(2007), No. 32, 43-57
• Search Publication
The sum of the absolute values of the eigenvalues of a graph is called the energy of the graph. We study the problem of finding graphs with extremal energy within specified classes of graphs. We develop tools for treating such problems and obtain some partial results. Using calculus, we show that an extremal graph ``should'' have a small number of distinct eigenvalues. However, we also present data that shows in many cases that extremal graphs can have a large number of distinct eigenvalues.