Problems in extremal graph theory

We consider a variety of problems in extremal graph and set theory. The {\em chromatic number} of $G$, $\chi(G)$, is the smallest integer $k$ such that $G$ is $k$-colorable. The {\it square} of $G$, written $G^2$, is the supergraph of $G$ in which also vertices within distance 2 of each other in $G$ are adjacent. A graph $H$ is a {\it minor} of $G$ if $H$ can be obtained from a subgraph of $G$ by contracting edges. We show that the upper bound for $\chi(G^2)$ conjectured by Wegner (1977) for planar graphs holds when $G$ is a $K_4$-minor-free graph. We also show that $\chi(G^2)$ is equal to the bound only when $G^2$ contains a complete graph of that order. One of the central problems of extremal hypergraph theory is finding the maximum number of edges in a hypergraph that does not contain a specific forbidden structure. We consider as a forbidden structure a fixed number of members that have empty common intersection as well as small union. We obtain a sharp upper bound on the size of uniform hypergraphs that do not contain this structure, when the number of vertices is sufficiently large. Our result is strong enough to imply the same sharp upper bound for several other interesting forbidden structures such as the so-called strong simplices and clusters. The {\em $n$-dimensional hypercube}, $Q_n$, is the graph whose vertex set is $\{0,1\}^n$ and whose edge set consists of the vertex pairs differing in exactly one coordinate. The generalized Tur\'an problem asks for the maximum number of edges in a subgraph of a graph $G$ that does not contain a forbidden subgraph $H$. We consider the Tur\'an problem where $G$ is $Q_n$ and $H$ is a cycle of length $4k+2$ with $k\geq 3$. Confirming a conjecture of Erd{\H o}s (1984), we show that the ratio of the size of such a subgraph of $Q_n$ over the number of edges of $Q_n$ is $o(1)$, i.e. in the limit this ratio approaches 0 as $n$ approaches infinity

Near-colorings: non-colorable graphs and NP-completeness

A graph G is (d_1,..,d_l)-colorable if the vertex set of G can be partitioned into subsets V_1,..,V_l such that the graph G[V_i] induced by the vertices of V_i has maximum degree at most d_i for all 1 <= i <= l. In this paper, we focus on complexity aspects of such colorings when l=2,3. More precisely, we prove that, for any fixed integers k,j,g with (k,j) distinct form (0,0) and g >= 3, either every planar graph with girth at least g is (k,j)-colorable or it is NP-complete to determine whether a planar graph with girth at least g is (k,j)-colorable. Also, for any fixed integer k, it is NP-complete to determine whether a planar graph that is either (0,0,0)-colorable or non-(k,k,1)-colorable is (0,0,0)-colorable. Additionally, we exhibit non-(3,1)-colorable planar graphs with girth 5 and non-(2,0)-colorable planar graphs with girth 7

Span programs and quantum algorithms for st-connectivity and claw detection

We introduce a span program that decides st-connectivity, and generalize the span program to develop quantum algorithms for several graph problems. First, we give an algorithm for st-connectivity that uses O(n d^{1/2}) quantum queries to the n x n adjacency matrix to decide if vertices s and t are connected, under the promise that they either are connected by a path of length at most d, or are disconnected. We also show that if T is a path, a star with two subdivided legs, or a subdivision of a claw, its presence as a subgraph in the input graph G can be detected with O(n) quantum queries to the adjacency matrix. Under the promise that G either contains T as a subgraph or does not contain T as a minor, we give O(n)-query quantum algorithms for detecting T either a triangle or a subdivision of a star. All these algorithms can be implemented time efficiently and, except for the triangle-detection algorithm, in logarithmic space. One of the main techniques is to modify the st-connectivity span program to drop along the way "breadcrumbs," which must be retrieved before the path from s is allowed to enter t.Comment: 18 pages, 4 figure

Graph Coloring Problems and Group Connectivity

1. Group connectivity. Let A be an abelian group and let iA(G) be the smallest positive integer m such that Lm(G) is A-connected. A path P of G is a normal divalent path if all internal vertices of P are of degree 2 in G and if |E(P)|= 2, then P is not in a 3-cycle of G. Let l(G) = max{lcub}m : G has a normal divalent path of length m{rcub}. We obtain the following result. (i) If |A| ≥ 4, then iA( G) ≤ l(G). (ii) If | A| ≥ 4, then iA(G) ≤ |V(G)| -- Delta(G). (iii) Suppose that |A| ≥ 4 and d = diam( G). If d ≤ |A| -- 1, then iA(G) ≤ d; and if d ≥ |A|, then iA(G) ≤ 2d -- |A| + 1. (iv) iZ 3 (G) ≤ l(G) + 2. All those bounds are best possible.;2. Modulo orientation. A mod (2p + 1)-orientation D is an orientation of G such that d +D(v) = d--D(v) (mod 2p + 1) for any vertex v ∈ V ( G). We prove that for any integer t ≥ 2, there exists a finite family F = F(p, t) of graphs that do not have a mod (2p + 1)-orientation, such that every graph G with independence number at most t either admits a mod (2p+1)-orientation or is contractible to a member in F. In particular, the graph family F(p, 2) is determined, and our results imply that every 8-edge-connected graph G with independence number at most two admits a mod 5-orientation.;3. Neighbor sum distinguishing total coloring. A proper total k-coloring &phis; of a graph G is a mapping from V(G) ∪ E(G) to {lcub}1,2, . . .,k{rcub} such that no adjacent or incident elements in V(G) ∪ E( G) receive the same color. Let m&phis;( v) denote the sum of the colors on the edges incident with the vertex v and the color on v. A proper total k-coloring of G is called neighbor sum distinguishing if m &phis;(u) ≠ m&phis;( v) for each edge uv ∈ E( G ). Let chitSigma(G) be the neighbor sum distinguishing total chromatic number of a graph G. Pilsniak and Wozniak conjectured that for any graph G, chitSigma( G) ≤ Delta(G) + 3. We show that if G is a graph with treewidth &ell; ≥ 3 and Delta(G) ≥ 2&ell; + 3, then chitSigma( G) + &ell; -- 1. This upper bound confirms the conjecture for graphs with treewidth 3 and 4. Furthermore, when &ell; = 3 and Delta ≥ 9, we show that Delta(G)+1 ≤ chit Sigma(G) ≤ Delta(G)+2 and characterize graphs with equalities.;4. Star edge coloring. A star edge coloring of a graph is a proper edge coloring such that every connected 2-colored subgraph is a path with at most 3 edges. Let ch\u27st(G) be the list star chromatic index of G: the minimum s such that for every s-list assignment L for the edges, G has a star edge coloring from L. By introducing a stronger coloring, we show with a very concise proof that the upper bound of the star chromatic index of trees also holds for list star chromatic index of trees, i.e. ch\u27st( T) ≤ [3Delta/2] for any tree T with maximum degree Delta. And then by applying some orientation technique we present two upper bounds for list star chromatic index of k-degenerate graphs