graph
35150 papers tagged with this keyword
Online coloring graphs with high girth and high oddgirth
Published
• View Publication
• BIB
We give an upper bound for the online chromatic number of graphs with high girth and for graphs with high oddgirth generalizing Kier- stead's algorithm for graphs that contain neither a C3 or C5 as an induced subgraph.
An improved upper bound on the length of the longest cycle of a supercritical random graph
Published
• View Publication
• BIB
We improve Luczak's upper bounds on the length of the longest cycle in the random graph G(n,M) in the "supercritical phase" where M=n/2+s and s=o(n) but n^{2/3}=o(s). The new upper bound is (6.958+o(1))s^2/n with probability 1-o(1) as n approaches infinity. Letting c=1+2s/n, the equivalence between G(n,p) and G(n,M) implies the same result for G(n,p) where p=c/n, c approaching 1, c-1 = omega(n^{-1/3}).
A bijection theorem for domino tiling with diagonal impurities
Published
• View Publication
• BIB
We consider the dimer problem on a non-bipartite graph $G$, where there are two types of dimers one of which we regard impurities. Results of simulations using Markov chain seem to indicate that impurities are tend to distribute on the boundary, which we set as a conjecture. We first show that there is a bijection between the set of dimer coverings on $G$ and the set of spanning forests on two graphs which are made from $G$, with configuration of impurities satisfying a pairing condition. This bijection can be regarded as a extension of the Temperley bijection. We consider local move consisting of two operations, and by using the bijection mentioned above, we prove local move connectedness. We further obtained some bound of the number of dimer coverings and the probability finding an impurity at given edge, by extending the argument in our previous result.
Sampling complete designs
Published in Discrete Math. 312 (3): 488-497 (2012)
• View Publication
• BIB
In the present paper, complete designs of graphs are considered. The notion of (regular) sampling is introduced and analyzed in detail, showing that the trivial necessary condition for its existence is actually sufficient. Some examples are also provided.
Bootstrap percolation in high dimensions
Published
• View Publication
• BIB
In r-neighbour bootstrap percolation on a graph G, a set of initially infected vertices A \subset V(G) is chosen independently at random, with density p, and new vertices are subsequently infected if they have at least r infected neighbours. The set A is said to percolate if eventually all vertices are infected. Our aim is to understand this process on the grid, [n]^d, for arbitrary functions n = n(t), d = d(t) and r = r(t), as t -> infinity. The main question is to determine the critical probability p_c([n]^d,r) at which percolation becomes likely, and to give bounds on the size of the critical window. In this paper we study this problem when r = 2, for all functions n and d satisfying d \gg log n.
The bootstrap process has been extensively studied on [n]^d when d is a fixed constant and 2 \leq r \leq d, and in these cases p_c([n]^d,r) has recently been determined up to a factor of 1 + o(1) as n -> infinity. At the other end of the scale, Balogh and Bollobas determined p_c([2]^d,2) up to a constant factor, and Balogh, Bollobas and Morris determined p_c([n]^d,d) asymptotically if d > (log log n)^{2+\eps}, and gave much sharper bounds for the hypercube.
Here we prove the following result: let λbe the smallest positive root of the equation \sum_{k=0}^\infty (-1)^k λ^k / (2^{k^2-k} k!) = 0, so λ\approx 1.166. Then
(16λ/ d^2) (1 + (log d / \sqrt{d})) 2^{-2\sqrt{d}} < p_c([2]^d,2) < (16λ/ d^2) (1 + (5(log d)^2 / \sqrt{d})) 2^{-2\sqrt{d}} if d is sufficiently large, and moreover we determine a sharp threshold for the critical probability p_c([n]^d,2) for every function n = n(d) with d \gg log n.
A Lower Bound for the Circumference Involving Connectivity
Let $G$ be a graph, $C$ a longest cycle in $G$ and $\overline{p}$, $\overline{c}$ the lengths of a longest path and a longest cycle in $G\backslash C$, respectively. Almost all lower bounds for the circumference base on a standard procedure: choose an initial cycle $C_0$ in $G$ and try to enlarge it via structures of $G\backslash C_0$ and connections between $C_0$ and $G\backslash C_0$ closely related to $\overline{p}$, $\overline{c}$ and connectivity $κ$. Actually, each lower bound obtained in result of this procedure, somehow or is related to $κ$, $\overline{p}$, $\overline{c}$ but in forms of various particular values of $κ$, $\overline{p}$, $\overline{c}$ and the major problem is to involve these invariants into such bounds as parameters. In this paper we present a lower bound for the circumference involving $δ$, $κ$ and $\overline{c}$ and increasing with $δ$, $κ$ and $\overline{c}$.
Natural join construction of graded posets versus ordinal sum and discrete hyper boxes
One introduces here the natural join $P \os Q$ of graded posets $< P,\leq_P >$ and $< Q,\leq_Q >$ with correspondingly maximal and minimal sets being identical as expressed by ordinal sum $P\oplus Q$ apart from other definition and due to that one arrives at a simple proof of the $M{ö}bius $ function formula for cobweb posets. We also quote the other authors explicit formulas for the zeta matrix and its inverse for any graded posets with the finite set of minimal elements from earlier works of the author. These formulas are based on the formulas for cobweb posets and their $Hasse$ diagrams or graphs named $KoDAGs$ which are interpreted as chains of binary complete or universal relations joined by the natural join operation. Natural join of two independent sets is therefore the ordinal sum of this trivially ordered posets represented also by directed biclique named dibiclique and correspondingly by their $Hasse $ diagrams or graphs named $KoDAGs$. Such cobweb posets and equivalently their Hasse diagrams or graphs named $KoDAGs$ are also encoded by discrete hyper-boxes and the natural join operation of such discrete hyper boxes is just cartesian product of them accompanied with projection out of common faces. All graded posets with no mute vertices in their $Hasse$ diagrams which means that no vertex has indegree or outdegree equal zero are natural join of chain of relations and may be at the same time interpreted an $n-ary$ relation, $n \in N \cup \{\infty \}$.
The Ramsey number of dense graphs
Published
• View Publication
• BIB
The Ramsey number r(H) of a graph H is the smallest number n such that, in any two-colouring of the edges of K_n, there is a monochromatic copy of H. We study the Ramsey number of graphs H with t vertices and density \r, proving that r(H) \leq 2^{c \sqrt{\r} \log (2/\r) t}. We also investigate some related problems, such as the Ramsey number of graphs with t vertices and maximum degree \r t and the Ramsey number of random graphs in \mathcal{G}(t, \r), that is, graphs on t vertices where each edge has been chosen independently with probability \r.
3-Connected Cores In Random Planar Graphs
Published
• View Publication
• BIB
The study of the structural properties of large random planar graphs has become in recent years a field of intense research in computer science and discrete mathematics. Nowadays, a random planar graph is an important and challenging model for evaluating methods that are developed to study properties of random graphs from classes with structural side constraints. In this paper we focus on the structure of random biconnected planar graphs regarding the sizes of their 3-connected building blocks, which we call cores. In fact, we prove a general theorem regarding random biconnected graphs. If B_n is a graph drawn uniformly at random from a class B of labeled biconnected graphs, then we show that with probability 1-o(1) B_n belongs to exactly one of the following categories:
(i) Either there is a unique giant core in B_n, that is, there is a 0 < c < 1 such that the largest core contains ~ cn vertices, and every other core contains at most n^a vertices, where 0 < a < 1; (ii) or all cores of B_n contain O(log n) vertices.
Moreover, we find the critical condition that determines the category to which B_n belongs, and also provide sharp concentration results for the counts of cores of all sizes between 1 and n. As a corollary, we obtain that a random biconnected planar graph belongs to category (i), where in particular c = 0.765... and a = 2/3.
Complete Minors, Independent Sets, and Chordal Graphs
Published in Discuss. Math. Graph Theory. vol 31(4). 2011. 639-674
• View Publication
• BIB
The Hadwiger number h(G) of a graph G is the maximum size of a complete minor of G. Hadwiger's Conjecture states that h(G) >= χ(G). Since χ(G) α(G) >= |V(G)|, Hadwiger's Conjecture implies that α(G) h(G) >= |V(G)|. We show that (2 α(G) - \lceil log_t(t α(G)/2) \rceil) h(G) \geq |V(G)| where t is approximately 6.83. For graphs with α(G) \geq 14, this improves on a recent result of Kawarabayashi and Song who showed (2 α(G) - 2) h(G) >= |V(G)| when α(G) >= 3.
Perfect state transfer, integral circulants and join of graphs
Published in Quantum Information and Computation 10(3&4):325-342, 2010.
• View Publication
• BIB
We propose new families of graphs which exhibit quantum perfect state transfer. Our constructions are based on the join operator on graphs, its circulant generalizations, and the Cartesian product of graphs. We build upon the results of Bašić et al \cite{bps09,bp09} and construct new integral circulants and regular graphs with perfect state transfer. More specifically, we show that the integral circulant $\textsc{ICG}_{n}(\{2,n/2^{b}\} \cup Q)$ has perfect state transfer, where $b \in \{1,2\}$, $n$ is a multiple of 16 and $Q$ is a subset of the odd divisors of $n$. Using the standard join of graphs, we also show a family of double-cone graphs which are non-periodic but exhibit perfect state transfer. This class of graphs is constructed by simply taking the join of the empty two-vertex graph with a specific class of regular graphs. This answers a question posed by Godsil \cite{godsil08}.
Symmetric versions of Laman's Theorem
Published
• View Publication
• BIB
Recent work has shown that if an isostatic bar and joint framework possesses non-trivial symmetries, then it must satisfy some very simply stated restrictions on the number of joints and bars that are `fixed' by various symmetry operations of the framework. For the group $C_3$ which describes 3-fold rotational symmetry in the plane, we verify the conjecture proposed in [4] that these restrictions on the number of fixed structural components, together with the Laman conditions, are also sufficient for a framework with $C_3$ symmetry to be isostatic, provided that its joints are positioned as generically as possible subject to the given symmetry constraints. In addition, we establish symmetric versions of Henneberg's Theorem and Crapo's Theorem for $C_3$ which provide alternate characterizations of `generically' isostatic graphs with $C_3$ symmetry. As shown in [19], our techniques can be extended to establish analogous results for the symmetry groups $C_2$ and $C_s$ which are generated by a half-turn and a reflection in the plane, respectively.
Inapproximability of the Tutte polynomial of a planar graph
Published in Computational Complexity, 2012
• View Publication
• BIB
The Tutte polynomial of a graph G is a two-variable polynomial T(G;x,y) that encodes many interesting properties of the graph. We study the complexity of the following problem, for rationals x and y: given as input a planar graph G, determine T(G;x,y). Vertigan completely mapped the complexity of exactly computing the Tutte polynomial of a planar graph. He showed that the problem can be solved in polynomial time if (x,y) is on the hyperbola H_q given by (x-1)(y-1)=q for q=1 or q=2 or if (x,y) is one of the two special points (x,y)=(-1,-1) or (x,y)=(1,1). Otherwise, the problem is #P-hard. In this paper, we consider the problem of approximating T(G;x,y), in the usual sense of "fully polynomial randomised approximation scheme" or FPRAS. Roughly speaking, an FPRAS is required to produce, in polynomial time and with high probability, an answer that has small relative error. Assuming that NP is different from RP, we show that there is no FPRAS for the Tutte polynomial in a large portion of the (x,y) plane. In particular, there is no FPRAS if x>1, y<-1 or if y>1, x<-1 or if x<0, y<0 and q>5. Also, there is no FPRAS if x<1, y<1 and q=3. For q>5, our result is intriguing because it shows that there is no FPRAS at (x,y)=(1-q/(1+epsilon),-epsilon) for any positive epsilon but it leaves open the limit point epsilon=0, which corresponds to approximately counting q-colourings of a planar graph.
Borel oracles. An analytical approach to constant-time algorithms
Published
• View Publication
• BIB
Nguyen and Onak constructed the first constant-time algorithm for the approximation of the size of the maximum matching in bounded degree graphs. The Borel oracle machinery is a tool that can be used to convert some statements in Borel graph theory to theorems in the field of constant-time algorithms. In this paper we illustrate the power of this tool to prove the existence of the above mentioned constant-time approximation algorithm.
Front representation of set partitions
Published in SIAM J. Discrete Math. 25 (2011) 447-461
• View Publication
• BIB
Let $π$ be a set partition of $[n]=\{1,2,...,n\}$. The standard representation of $π$ is the graph on the vertex set $[n]$ whose edges are the pairs $(i,j)$ of integers with $i<j$ in the same block which does not contain any integer between $i$ and $j$. The front representation of $π$ is the graph on the vertex set $[n]$ whose edges are the pairs $(i,j)$ of integers with $i<j$ in the same block whose smallest integer is $i$. Using the front representation, we find a recurrence relation for the number of $12... k12$-avoiding partitions for $k\geq2$. Similarly, we find a recurrence relation for the number of $k$-distant noncrossing partitions for $k=2,3$. We also prove that the front representation has several joint symmetric distributions for crossings and nestings as the standard representation does.
Chromatic number and complete graph substructures for degree sequences
Given a graphic degree sequence $D$, let $χ(D)$ (respectively $ω(D)$, $h(D)$, and $H(D)$) denote the maximum value of the chromatic number (respectively, the size of the largest clique, largest clique subdivision, and largest clique minor) taken over all simple graphs whose degree sequence is $D$. It is proved that $χ(D)\le h(D)$. Moreover, it is shown that a subdivision of a clique of order $χ(D)$ exists where each edge is subdivided at most once and the set of all subdivided edges forms a collection of disjoint stars. This bound is an analogue of the Hajos Conjecture for degree sequences and, in particular, settles a conjecture of Neil Robertson that degree sequences satisfy the bound $χ(D)\le H(D)$ (which is related to the Hadwiger Conjecture). It is also proved that $χ(D)\le {6/5}ω(D)+{3/5}$ and that $χ(D) \le {4/5}ω(D) + {1/5}Δ(D) + 1$, where $Δ(D)$ denotes the maximum degree in $D$. The latter inequality is a strengthened version of a conjecture of Bruce Reed. All derived inequalities are best possible.
Spectral radius of finite and infinite planar graphs and of graphs of bounded genus
Published in J. Combin. Theory Ser. B 100 (2010) 729-739
• View Publication
• BIB
It is well known that the spectral radius of a tree whose maximum degree is $D$ cannot exceed $2\sqrt{D-1}$. In this paper we derive similar bounds for arbitrary planar graphs and for graphs of bounded genus. It is proved that a the spectral radius $ρ(G)$ of a planar graph $G$ of maximum vertex degree $D\ge 4$ satisfies $\sqrt{D}\le ρ(G)\le \sqrt{8D-16}+7.75$. This result is best possible up to the additive constant--we construct an (infinite) planar graph of maximum degree $D$, whose spectral radius is $\sqrt{8D-16}$. This generalizes and improves several previous results and solves an open problem proposed by Tom Hayes. Similar bounds are derived for graphs of bounded genus. For every $k$, these bounds can be improved by excluding $K_{2,k}$ as a subgraph. In particular, the upper bound is strengthened for 5-connected graphs. All our results hold for finite as well as for infinite graphs.
At the end we enhance the graph decomposition method introduced in the first part of the paper and apply it to tessellations of the hyperbolic plane. We derive bounds on the spectral radius that are close to the true value, and even in the simplest case of regular tessellations of type $\{p,q\}$ we derive an essential improvement over known results, obtaining exact estimates in the first order term and non-trivial estimates for the second order asymptotics.
Crossing-critical graphs with large maximum degree
Published in J. Combin. Theory, Ser. B 100 (2010) 413-417
• View Publication
• BIB
A conjecture of Richter and Salazar about graphs that are critical for a fixed crossing number $k$ is that they have bounded bandwidth. A weaker well-known conjecture of Richter is that their maximum degree is bounded in terms of $k$. In this note we disprove these conjectures for every $k\ge 171$, by providing examples of $k$-crossing-critical graphs with arbitrarily large maximum degree.
A Graph Theoretic Method for Determining Generating Sets of Prime Ideals in Quantum Matrices
Published
• View Publication
• BIB
We take a graph theoretic approach to the problem of finding generators for those prime ideals of $\mathcal{O}_q(\mathcal{M}_{m,n}(\mathbb{K}))$ which are invariant under the torus action ($\mathbb{K}^*)^{m+n}$. Launois \cite{launois3} has shown that the generators consist of certain quantum minors of the matrix of canonical generators of $\mathcal{O}_q(\mathcal{M}_{m,n}(\mathbb{K}))$ and in \cite{launois2} gives an algorithm to find them. In this paper we modify a classic result of Lindström \cite{lind} and Gessel-Viennot~\cite{gv} to show that a quantum minor is in the generating set for a particular ideal if and only if we can find a particular set of vertex-disjoint directed paths in an associated directed graph.
Strongly regular edge-transitive graphs
Published
• View Publication
• BIB
In this paper, we examine the structure of vertex- and edge-transitive strongly regular graphs, using normal quotient reduction. We show that the irreducible graphs in this family have quasiprimitive automorphism groups, and prove (using the Classification of Finite Simple Groups) that no graph in this family has a holomorphic simple automorphism group. We also find some constraints on the parameters of the graphs in this family that reduce to complete graphs.