graph
34905 papers tagged with this keyword
Lower bounds on the size of semidefinite programming relaxations
Published
• View Publication
• BIB
We introduce a method for proving lower bounds on the efficacy of semidefinite programming (SDP) relaxations for combinatorial problems. In particular, we show that the cut, TSP, and stable set polytopes on $n$-vertex graphs are not the linear image of the feasible region of any SDP (i.e., any spectrahedron) of dimension less than $2^{n^c}$, for some constant $c > 0$. This result yields the first super-polynomial lower bounds on the semidefinite extension complexity of any explicit family of polytopes.
Our results follow from a general technique for proving lower bounds on the positive semidefinite rank of a matrix. To this end, we establish a close connection between arbitrary SDPs and those arising from the sum-of-squares SDP hierarchy. For approximating maximum constraint satisfaction problems, we prove that SDPs of polynomial-size are equivalent in power to those arising from degree-$O(1)$ sum-of-squares relaxations. This result implies, for instance, that no family of polynomial-size SDP relaxations can achieve better than a 7/8-approximation for MAX-3-SAT.
Generating the cycle space of planar graphs
Published
• View Publication
• BIB
We prove that the cycle space of every planar finitely separable 3-connected graph $G$ is generated by some ${\rm Aut}(G)$-invariant nested set of cycles. We also discuss the situation in the case of smaller connectivity.
Z3-connectivity with independent number 2
Published
• View Publication
• BIB
Let G be a 3-edge-connected graph on n vertices. It is proved in this paper that if the number of independent set no more than 2, then either G can be Z3-contracted to one of graphs {K1;K4} or G is one of the graphs in Fig. 1.
Induced subgraphs of graphs with large chromatic number. II. Three steps towards Gyarfas' conjectures
Published
• View Publication
• BIB
Gyarfas conjectured in 1985 that for all $k$, $l$, every graph with no clique of size more than $k$ and no odd hole of length more than $l$ has chromatic number bounded by a function of $k$ and $l$. We prove three weaker statements: (1) Every triangle-free graph with sufficiently large chromatic number has an odd hole of length different from five; (2) For all $l$, every triangle-free graph with sufficiently large chromatic number contains either a 5-hole or an odd hole of length more than $l$; (3) For all $k$, $l$, every graph with no clique of size more than $k$ and sufficiently large chromatic number contains either a 5-hole or a hole of length more than $l$.
Strongly Regular Graphs as Laplacian Extremal Graphs
The Laplacian spread of a graph is the difference between the largest eigenvalue and the second-smallest eigenvalue of the Laplacian matrix of the graph. We find that the class of strongly regular graphs attains the maximum of largest eigenvalues, the minimum of second-smallest eigenvalues of Laplacian matrices and hence the maximum of Laplacian spreads among all simple connected graphs of fixed order, minimum degree, maximum degree, minimum size of common neighbors of two adjacent vertices and minimum size of common neighbors of two nonadjacent vertices. Some other extremal graphs are also provided.
Parity linkage and the Erdős-Pósa property of odd cycles through prescribed vertices in highly connected graphs
Published
• View Publication
• BIB
We show the following for every sufficiently connected graph $G$, any vertex subset $S$ of $G$, and given integer $k$: there are $k$ disjoint odd cycles in $G$ each containing a vertex of $S$ or there is set $X$ of at most $2k-2$ vertices such that $G-X$ does not contain any odd cycle that contains a vertex of $S$. We prove this via an extension of Kawarabayashi and Reed's result about parity-$k$-linked graphs (Combinatorica 29, 215-225). From this result it is easy to deduce several other well known results about the Erdős-Pósa property of odd cycles in highly connected graphs. This strengthens results due to Thomassen (Combinatorica 21, 321-333), and Rautenbach and Reed (Combinatorica 21, 267-278), respectively.
Traveling in randomly embedded random graphs
Published
• View Publication
• BIB
We consider the problem of traveling among random points in Euclidean space, when only a random fraction of the pairs are joined by traversable connections. In particular, we show a threshold for a pair of points to be connected by a geodesic of length arbitrarily close to their Euclidean distance, and analyze the minimum length Traveling Salesperson Tour, extending the Beardwood-Halton-Hammersley theorem to this setting.
Partial characterizations of 1-perfectly orientable graphs
Published
• View Publication
• BIB
We study the class of 1-perfectly orientable graphs, that is, graphs having an orientation in which every out-neighborhood induces a tournament. 1-perfectly orientable graphs form a common generalization of chordal graphs and circular arc graphs. Even though they can be recognized in polynomial time, little is known about their structure. In this paper, we develop several results on 1-perfectly orientable graphs. In particular, we: (i) give a characterization of 1-perfectly orientable graphs in terms of edge clique covers, (ii) identify several graph transformations preserving the class of 1-perfectly orientable graphs, (iii) exhibit an infinite family of minimal forbidden induced minors for the class of 1-perfectly orientable graphs, and (iv) characterize the class of 1-perfectly orientable graphs within the classes of cographs and of cobipartite graphs. The class of 1-perfectly orientable co-bipartite graphs coincides with the class of co-bipartite circular arc graphs.
Density of 5/2-critical graphs
A graph G is 5/2-critical if G has no circular 5/2-coloring (or equivalently, homomorphism to C_5), but every proper subgraph of G has one. We prove that every 5/2-critical graph on n>=4 vertices has at least (5n-2)/4 edges, and list all 5/2-critical graphs achieving this bound. This implies that every planar or projective-planar graph of girth at least 10 is 5/2-colorable.
Rainbow Ramsey simple structures
Published
• View Publication
• BIB
A relational structure $\mathrm{R}$ is {\em rainbow Ramsey} if for every finite induced substructure $\mathrm{C}$ of $\mathrm{R}$ and every colouring of the copies of $\mathrm{C}$ with countably many colours, such that each colour is used at most $k$ times for a fixed $k$, there exists a copy $\mathrm{R}^\ast$ of $\mathrm{R}$ so that the copies of $\mathrm{C}$ in $\mathrm{R^\ast}$ use each colour at most once.
We show that certain ultrahomogenous binary relational structures, for example the Rado graph, are rainbow Ramsey. Via compactness this then implies that for all finite graphs $\mathrm{B}$ and $\mathrm{C}$ and $k \in ω$, there exists a graph $\mathrm{A}$ so that for every colouring of the copies of $\mathrm{C}$ in $\mathrm{A}$ such that each colour is used at most $k$ times, there exists a copy $\mathrm{B}^\ast$ of $\mathrm{B}$ in $\mathrm{A}$ so that the copies of $\mathrm{C}$ in $\mathrm{B^\ast}$ use each colour at most once.
Morphing Schnyder drawings of planar triangulations
Published
• View Publication
• BIB
We consider the problem of morphing between two planar drawings of the same triangulated graph, maintaining straight-line planarity. A paper in SODA 2013 gave a morph that consists of $O(n^2)$ steps where each step is a linear morph that moves each of the $n$ vertices in a straight line at uniform speed. However, their method imitates edge contractions so the grid size of the intermediate drawings is not bounded and the morphs are not good for visualization purposes. Using Schnyder embeddings, we are able to morph in $O(n^2)$ linear morphing steps and improve the grid size to $O(n)\times O(n)$ for a significant class of drawings of triangulations, namely the class of weighted Schnyder drawings. The morphs are visually attractive. Our method involves implementing the basic "flip" operations of Schnyder woods as linear morphs.
On the symmetry of the Laplacian spectra of signed graphs
Published in Linear Algebra and its Applications, Vol. 495, pp. 24-37 (2016)
• View Publication
• BIB
We study the symmetry properties of the spectra of normalized Laplacians on signed graphs. We find a new machinery that generates symmetric spectra for signed graphs, which includes bipartiteness of unsigned graphs as a special case. Moreover, we prove a fundamental connection between the symmetry of the spectrum and the existence of damped two-periodic solutions for the discrete-time heat equation on the graph.
On a memory game and preferential attachment graphs
Published
• View Publication
• BIB
In a recent paper Velleman and Warrington analyzed the expected values of some of the parameters in a memory game, namely, the length of the game, the waiting time for the first match, and the number of lucky moves. In this paper we continue this direction of investigation and obtain the limiting distributions of those parameters. More specifically, we prove that when suitably normalized, these quantities converge in distribution to a normal, Rayleigh, and Poisson random variable, respectively.
We also make a connection between the memory game and one of the models of preferential attachment graphs. In particular, as a by--product of our methods we obtain simpler proofs (although without rate of convergence) of some of the results of Peköz, Röllin, and Ross on the joint limiting distributions of the degrees of the first few vertices in preferential attachment graphs.
For proving that the length of the game is asymptotically normal, our main technical tool is a limit result for the joint distribution of the number of balls in a multi--type generalized Pólya urn model.
On factorisations of complete graphs into circulant graphs and the Oberwolfach Problem
Published
• View Publication
• BIB
Various results on factorisations of complete graphs into circulant graphs and on 2-factorisations of these circulant graphs are proved. As a consequence, a number of new results on the Oberwolfach Problem are obtained. For example, a complete solution to the Oberwolfach Problem is given for every 2-regular graph of order 2p where p = 5 (mod 8) is prime.
Permutation sorting and a game on graphs
We introduce a game on graphs. By a theorem of Zermelo, each instance of the game on a finite graph is determined. While the general decision problem on which player has a winning strategy in a given instance of the game is unsolved, we solve the decision problem for a specific class of finite graphs. This result is then applied to a permutation sorting game to prove the optimality of a proportional bound under which TWO has a winning strategy.
Continuous anti-forcing spectra of cata-condensed hexagonal systems
Published
• View Publication
• BIB
The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimal number of edges not in $M$ whose removal make $M$ as a unique perfect matching of the resulting graph. The anti-forcing spectrum of $G$ is the set of anti-forcing numbers of all perfect matchings of $G$. In this paper we prove that the anti-forcing spectrum of any cata-condensed hexagonal system is continuous, that is, it is an integer interval.
The Laplacian polynomial of graphs derived from regular graphs and applications
Let $R(G)$ be the graph obtained from $G$ by adding a new vertex corresponding to each edge of $G$ and by joining each new vertex to the end vertices of the corresponding edge. Let $RT(G)$ be the graph obtained from $R(G)$ by adding a new edge corresponding to every vertex of $G$, and by joining each new edge to every vertex of $G$. In this paper, we determine the Laplacian polynomials of $RT(G)$ of a regular graph $G$. Moreover, we derive formulae and lower bounds of Kirchhoff index of the graphs. Finally we also present the formulae for calculating the Kirchhoff index of some special graphs as applications, which show the correction and efficiency of the proposed results.
Interval edge-colorings of complete graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with colors $1,2,\ldots,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. For an interval colorable graph $G$, $W(G)$ denotes the greatest value of $t$ for which $G$ has an interval $t$-coloring. It is known that the complete graph is interval colorable if and only if the number of its vertices is even. However, the exact value of $W(K_{2n})$ is known only for $n \leq 4$. The second author showed that if $n = p2^q$, where $p$ is odd and $q$ is nonnegative, then $W(K_{2n}) \geq 4n-2-p-q$. Later, he conjectured that if $n \in \mathbb{N}$, then $W(K_{2n}) = 4n - 2 - \left\lfloor\log_2{n}\right\rfloor - \left \| n_2 \right \|$, where $\left \| n_2 \right \|$ is the number of $1$'s in the binary representation of $n$.
In this paper we introduce a new technique to construct interval colorings of complete graphs based on their 1-factorizations, which is used to disprove the conjecture, improve lower and upper bounds on $W(K_{2n})$ and determine its exact values for $n \leq 12$.
The Directed Grid Theorem
Published
• View Publication
• BIB
The grid theorem, originally proved by Robertson and Seymour in Graph Minors V in 1986, is one of the most central results in the study of graph minors. It has found numerous applications in algorithmic graph structure theory, for instance in bidimensionality theory, and it is the basis for several other structure theorems developed in the graph minors project.
In the mid-90s, Reed and Johnson, Robertson, Seymour and Thomas (see [Reed 97, Johnson, Robertson, Seymour, Thomas 01]), independently, conjectured an analogous theorem for directed graphs, i.e. the existence of a function f : N -> N such that every digraph of directed tree-width at least f(k) contains a directed grid of order k. In an unpublished manuscript from 2001, Johnson, Robertson, Seymour and Thomas give a proof of this conjecture for planar digraphs. But for over a decade, this was the most general case proved for the Reed, Johnson, Robertson, Seymour and Thomas conjecture.
Only very recently, this result has been extended to all classes of digraphs excluding a fixed undirected graph as a minor (see [Kawarabayashi, Kreutzer 14]). In this paper, nearly two decades after the conjecture was made, we are finally able to confirm the Reed, Johnson, Robertson, Seymour and Thomas conjecture in full generality and to prove the directed grid theorem.
As consequence of our results we are able to improve results in Reed et al. in 1996 [Reed, Robertson, Seymour, Thomas 96] (see also [Open Problem Garden]) on disjoint cycles of length at least l and in [Kawarabayashi, Kobayashi, Kreutzer 14] on quarter-integral disjoint paths. We expect many more algorithmic results to follow from the grid theorem.
Volume doubling, Poincaré inequality and Guassian heat kernel estimate for nonnegative curvature graphs
Published
• View Publication
• BIB
By studying the heat semigroup, we prove Li-Yau type estimates for bounded and positive solutions of the heat equation on graphs, under the assumption of the curvature-dimension inequality $CDE'(n,0)$, which can be consider as a notion of curvature for graphs. Furthermore, we derive that if a graph has non-negative curvature then it has the volume doubling property, from this we can prove the Gaussian estimate for heat kernel, and then Poincaré inequality and Harnack inequality. As a consequence, we obtain that the dimension of space of harmonic functions on graphs with polynomial growth is finite, which original is a conjecture of Yau on Riemannian manifold proved by Colding and Minicozzi. Under the assumption of positive curvature on graphs, we derive the Bonnet-Myers type theorem that the diameter of graphs is finite and bounded above in terms of the positive curvature by proving some Log Sobolev inequalities.