Some Ramsey-type results for the n-cube

In this note we establish a Ramsey-type result for certain subsets of the n-dimensional cube. This can then be applied to obtain reasonable bounds on various related structures, such as (partial) Hales-Jewett lines for alphabets of sizes 3 and 4, Hilbert cubes in sets of real numbers with small sumsets, “corners” in the integer lattice in the plane, and 3-term integer geometric progressions.     

Density theorems for bipartite graphs and related Ramsey-type results

In this paper, we present several density-type theorems which show how to find a copy of a sparse bipartite graph in a graph of positive density. Our results imply several new bounds for classical problems in graph Ramsey theory and improve and generalize earlier results of various researchers. The proofs combine probabilistic arguments with some combinatorial ideas. In addition, these techniques can be used to study properties of graphs with a forbidden induced subgraph, edge intersection patterns in topological graphs, and to obtain several other Ramsey-type statements. Research supported by an NSF Graduate Research Fellowship and a Princeton Centennial Fellowship. Research supported in part by NSF CAREER award DMS-0812005 and by USA-Israeli BSF grant.     

Ramsey-type constructions for arrangements of segments

Improving a result of Károlyi, Pach and Tóth, we construct an arrangement of n segments in the plane with at most n^log8/log169 pairwise crossing or pairwise disjoint segments. We use the recursive method based on flattenable arrangements which was established by Larman, Matoušek, Pach and Tör?csik.     

Induced Ramsey-type theorems

We present a unified approach to proving Ramsey-type theorems for graphs with a forbidden induced subgraph which can be used to extend and improve the earlier results of Rödl, Łuczak-Rödl, Prömel-Rödl, Erdős-Hajnal, and Nikiforov. The proofs are based on a simple lemma (generalizing one by Graham, Rödl, and Ruciński) that can be used as a replacement for Szemerédi's regularity lemma, thereby giving much better bounds. The same approach can be also used to show that pseudo-random graphs have strong induced Ramsey properties. This leads to explicit constructions for upper bounds on various induced Ramsey numbers.     

A Ramsey-type theorem for traceable graphs

A graph G is traceable if there is a path passing through all the vertices of G. It is proved that every infinite traceable graph either contains arbitrarily large finite chordless paths, or contains a subgraph isomorphic to graph A, illustrated in the text. A corollary is that every finitely generated infinite lattice of length 3 contains arbitrarily large finite fences. It is also proved that every infinite traceable graph containing no chordless four-point path contains a subgraph isomorphic to K_ω,ω. The versions of these results for finite graphs are discussed.     

Induced Ramsey-type theorems

We present a unified approach to proving Ramsey-type theorems for graphs with a forbidden induced subgraph which can be used to extend and improve the earlier results of Rödl, Erd?s-Hajnal, Prömel-Rödl, Nikiforov, Chung-Graham, and ?uczak-Rödl. The proofs are based on a simple lemma (generalizing one by Graham, Rödl, and Ruciński) that can be used as a replacement for Szemerédi's regularity lemma, thereby giving much better bounds. The same approach can be also used to show that pseudo-random graphs have strong induced Ramsey properties. This leads to explicit constructions for upper bounds on various induced Ramsey numbers.     

Monotonicity and phase diagram for multirange percolation on oriented trees

We consider Bernoulli bond percolation on oriented regular trees, where besides the usual short bonds, all bonds of a certain length are added. Independently, short bonds are open with probability p and long bonds are open with probability q. We study properties of the critical curve which delimits the set of pairs (p,q) for which there are almost surely no infinite paths. We also show that this curve decreases with respect to the length of the long bonds.     

Profiles of random trees: Plane‐oriented recursive trees

We derive several limit results for the profile of random plane‐oriented recursive trees. These include the limit distribution of the normalized profile, asymptotic bimodality of the variance, asymptotic approximation to the expected width, and the correlation coefficients of two level sizes. Most of our proofs are based on a method of moments. We also discover an unexpected connection between the profile of plane‐oriented recursive trees (with logarithmic height) and that of random binary trees (with height proportional to the square root of tree size). © 2006 Wiley Periodicals, Inc. Random Struct. Alg., 2007     

On the complexity of labeled oriented trees

We define a notion of complexity for labeled oriented trees (LOTs) related to the bridge number in knot theory and prove that LOTs of complexity 2 are aspherical. We also present a class of LOTs of higher complexity which is aspherical, give an upper bound for the complexity of labeled oriented intervals and study the complexity of torus knots.     

Some Ramsey-type theorems for countably determined sets

 Let X be an infinite internal set in an ω¹-saturated nonstandard universe. Then for any coloring of [X] ^k , such that the equivalence E of having the same color is countably determined and there is no infinite internal subset of [X] ^k with all its elements of different colors (i.e., E is condensating on X), there exists an infinite internal set Z⊆X such that all the sets in [Z] ^k have the same color. This Ramsey-type result is obtained as a consequence of a more general one, asserting the existence of infinite internal Q-homogeneous sets for certain Q ⊆ [[X] ^k ] ^m , with arbitrary standard k≥ 1, m≥ 2. In the course of the proof certain minimal condensating countably determined sets will be described. Received: 17 October 2000 / Published online: 12 July 2002     

A linear algorithm for minimum 1-identifying codes in oriented trees

Consider an oriented graph G=(V,A), a subset of vertices C⊆V, and an integer r?1; for any vertex v∈V, let denote the set of all vertices x such that there exists a path from x to v with at most r arcs. If for all vertices v∈V, the sets are all nonempty and different, then we call C an r-identifying code. We describe a linear algorithm which gives a minimum 1-identifying code in any oriented tree.     

Nonseparating trees in 2-connected graphs and oriented trees in strongly connected digraphs

Mader (2010) conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $\delta \left(G\right)\ge \lfloor \frac{3}{2}k\rfloor +m-1$ contains a subtree $T^{\prime }$ isomorphic to $T$ such that $G-V\left(T^{\prime }\right)$ is $k$-connected. The conjecture has been verified for paths, trees when $k=1$, and stars or double-stars when $k=2$. In this paper we verify the conjecture for two classes of trees when $k=2$.For digraphs, Mader (2012) conjectured that every $k$-connected digraph $D$ with minimum semi-degree $\delta \left(D\right)=min\{{\delta }^{+}\left(D\right),{\delta }^{-}\left(D\right)\}\ge 2k+m-1$ for a positive integer $m$ has a dipath $P$ of order $m$ with $\kappa (D-V\left(P\right))\ge k$. The conjecture has only been verified for the dipath with $m=1$, and the dipath with $m=2$ and $k=1$. In this paper, we prove that every strongly connected digraph with minimum semi-degree $\delta \left(D\right)=min\{{\delta }^{+}\left(D\right),{\delta }^{-}\left(D\right)\}\ge m+1$ contains an oriented tree $T$ isomorphic to some given oriented stars or double-stars with order $m$ such that $D-V\left(T\right)$ is still strongly connected.     

Some arrowing results for trees versus complete graphs

For an arbitrary tree T of order m and an arbitrary positive integer n, Chvátal proved that the Ramsey number r(T, K_n) = 1 + (m ? 1) (n ? 1). for graphs G, G₁, and G₂, we say that G arrows G₁ and G₂, written G → (G₁, G₂), if for every factorization G = R ⊕ B, either G₁ is a subgraph of R or G₂ is a subgraph of B. it is shown that (i) for each l ≥ 2, K₁+ (m?1)(n?1) ?E(K₁) → (T, K_n) for m ≥ 2/ ? 1 and n ≥ 2; (ii) K₁ +,(m ?1)(n ?1) ? E(H) → (T, K_n), where H is any tree of order m ? 1, m ≥ 3 and n ≥ 2. It is further shown that result (i) is sharp with respect to the inequality m ≥ 2/? 1; in particular, examples are given to show that K1 + (2l?3)(n?1) E(K₁) ? (P_21?2, K_n) for all n ≥ 2, where P_21?2 denotes the path of order 21 ? 2. Also result (ii) is sharp with respect to the order of H; examples aregiven to show that K₁ + _(m?1)(n?1)? E(K(1, m ? 1)) ?(T, K_n)for any tree T of order m and any n ≥ 2.     

Path-path Ramsey-type numbers for the complete bipartite graph

For a fixed pair of integers r, s ≥ 2, all positive integers m and n are determined which have the property that if the edges of K_m,n (a complete bipartite graph with parts n and m) are colored with two colors, then there will always exist a path with r vertices in the first color or a path with s vertices in the second color.     

On three zero-sum Ramsey-type problems

For a graph G whose number of edges is divisible by k, let R(G,Z_k) denote the minimum integer r such that for every function f: E(K_r) ? Z_k there is a copy G¹ of G in K_r so that Σe∈E(G¹) f(e) = 0 (in Z_k). We prove that for every integer k₁ R(K_n, Z_k) ≤ n + O(k³ log k) provided n is sufficiently large as a function of k and k divides (). If, in addition, k is an odd prime-power then R(K_n, Z_k) ≤ n + 2k - 2 and this is tight if k is a prime that divides n. A related result is obtained for hypergraphs. It is further shown that for every graph G on n vertices with an even number of edges R(G,Z₂) ≤ n + 2. This estimate is sharp. © 1993 John Wiley & Sons, Inc.     

Ramsey-type Theorems with Forbidden Subgraphs

Dedicated to the memory of Paul Erdős   A graph is called H-free if it contains no induced copy of H. We discuss the following question raised by Erdős and Hajnal. Is it true that for every graph H, there exists an such that any H-free graph with n vertices contains either a complete or an empty subgraph of size at least ? We answer this question in the affirmative for a special class of graphs, and give an equivalent reformulation for tournaments. In order to prove the equivalence, we establish several Ramsey type results for tournaments. Received August 22, 1999 RID="*" ID="*" Supported by a USA Israeli BSF grant, by a grant from the Israel Science Foundation and by the Hermann Minkowski Minerva Center for Geometry at Tel Aviv University. RID="†" ID="†" Supported by NSF grant CR-9732101, PSC-CUNY Research Award 663472, and OTKA-T-020914. RID="‡" ID="‡" Supported by TKI grant Stochastics@TUB, and OTKA-T-026203.