New Computational Upper Bounds for Ramsey Numbers R(3,k)

Using computational techniques we derive six new upper bounds on the classical two-color Ramsey numbers: R(3,10) <= 42, R(3,11) <= 50, R(3,13) <= 68, R(3,14) <= 77, R(3,15) <= 87, and R(3,16) <= 98. All of them are improvements by one over the previously best known bounds. Let e(3,k,n) denote the minimum number of edges in any triangle-free graph on n vertices without independent sets of order k. The new upper bounds on R(3,k) are obtained by completing the computation of the exact values of e(3,k,n) for all n with k <= 9 and for all n <= 33 for k = 10, and by establishing new lower bounds on e(3,k,n) for most of the open cases for 10 <= k <= 15. The enumeration of all graphs witnessing the values of e(3,k,n) is completed for all cases with k <= 9. We prove that the known critical graph for R(3,9) on 35 vertices is unique up to isomorphism. For the case of R(3,10), first we establish that R(3,10) = 43 if and only if e(3,10,42) = 189, or equivalently, that if R(3,10) = 43 then every critical graph is regular of degree 9. Then, using computations, we disprove the existence of the latter, and thus show that R(3,10) <= 42.Comment: 28 pages (includes a lot of tables); added improved lower bound for R(3,11); added some note

Difference Ramsey Numbers and Issai Numbers

We present a recursive algorithm for finding good lower bounds for the classical Ramsey numbers. Using notions from this algorithm we then give some results for generalized Schur numbers, which we call Issai numbers.Comment: 10 page

New Lower Bounds for van der Waerden Numbers Using Distributed Computing

This paper provides new lower bounds for van der Waerden numbers. The number $W(k,r)$ is defined to be the smallest integer $n$ for which any $r$-coloring of the integers $0 \ldots, n-1$ admits monochromatic arithmetic progression of length $k$; its existence is implied by van der Waerden's Theorem. We exhibit $r$-colorings of $0\ldots n-1$ that do not contain monochromatic arithmetic progressions of length $k$ to prove that $W(k, r)>n$. These colorings are constructed using existing techniques. Rabung's method, given a prime $p$ and a primitive root $\rho$, applies a color given by the discrete logarithm base $\rho$ mod $r$ and concatenates $k-1$ copies. We also used Herwig et al's Cyclic Zipper Method, which doubles or quadruples the length of a coloring, with the faster check of Rabung and Lotts. We were able to check larger primes than previous results, employing around 2 teraflops of computing power for 12 months through distributed computing by over 500 volunteers. This allowed us to check all primes through 950 million, compared to 10 million by Rabung and Lotts. Our lower bounds appear to grow roughly exponentially in $k$. Given that these constructions produce tight lower bounds for known van der Waerden numbers, this data suggests that exact van der Waerden Numbers grow exponentially in $k$ with ratio $r$ asymptotically, which is a new conjecture, according to Graham.Comment: 8 pages, 1 figure. This version reflects new results and reader comment