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

On the van der Waerden numbers w(2;3,t)

We present results and conjectures on the van der Waerden numbers w(2;3,t) and on the new palindromic van der Waerden numbers pdw(2;3,t). We have computed the new number w(2;3,19) = 349, and we provide lower bounds for 20 <= t <= 39, where for t <= 30 we conjecture these lower bounds to be exact. The lower bounds for 24 <= t <= 30 refute the conjecture that w(2;3,t) <= t^2, and we present an improved conjecture. We also investigate regularities in the good partitions (certificates) to better understand the lower bounds. Motivated by such reglarities, we introduce *palindromic van der Waerden numbers* pdw(k; t_0,...,t_{k-1}), defined as ordinary van der Waerden numbers w(k; t_0,...,t_{k-1}), however only allowing palindromic solutions (good partitions), defined as reading the same from both ends. Different from the situation for ordinary van der Waerden numbers, these "numbers" need actually to be pairs of numbers. We compute pdw(2;3,t) for 3 <= t <= 27, and we provide lower bounds, which we conjecture to be exact, for t <= 35. All computations are based on SAT solving, and we discuss the various relations between SAT solving and Ramsey theory. Especially we introduce a novel (open-source) SAT solver, the tawSolver, which performs best on the SAT instances studied here, and which is actually the original DLL-solver, but with an efficient implementation and a modern heuristic typical for look-ahead solvers (applying the theory developed in the SAT handbook article of the second author).Comment: Second version 25 pages, updates of numerical data, improved formulations, and extended discussions on SAT. Third version 42 pages, with SAT solver data (especially for new SAT solver) and improved representation. Fourth version 47 pages, with updates and added explanation

Lower Bounds on the van der Waerden Numbers: Randomized- and Deterministic-Constructive

The van der Waerden number W(k,2) is the smallest integer n such that every 2-coloring of 1 to n has a monochromatic arithmetic progression of length k. The existence of such an n for any k is due to van der Waerden but known upper bounds on W(k,2) are enormous. Much effort was put into developing lower bounds on W(k,2). Most of these lower bound proofs employ the probabilistic method often in combination with the Lov\'asz Local Lemma. While these proofs show the existence of a 2-coloring that has no monochromatic arithmetic progression of length k they provide no efficient algorithm to find such a coloring. These kind of proofs are often informally called nonconstructive in contrast to constructive proofs that provide an efficient algorithm. This paper clarifies these notions and gives definitions for deterministic- and randomized-constructive proofs as different types of constructive proofs. We then survey the literature on lower bounds on W(k,2) in this light. We show how known nonconstructive lower bound proofs based on the Lov\'asz Local Lemma can be made randomized-constructive using the recent algorithms of Moser and Tardos. We also use a derandomization of Chandrasekaran, Goyal and Haeupler to transform these proofs into deterministic-constructive proofs. We provide greatly simplified and fully self-contained proofs and descriptions for these algorithms

Symmetry within Solutions

We define the concept of an internal symmetry. This is a symmety within a solution of a constraint satisfaction problem. We compare this to solution symmetry, which is a mapping between different solutions of the same problem. We argue that we may be able to exploit both types of symmetry when finding solutions. We illustrate the potential of exploiting internal symmetries on two benchmark domains: Van der Waerden numbers and graceful graphs. By identifying internal symmetries we are able to extend the state of the art in both cases.Comment: AAAI 2010, Proceedings of Twenty-Fourth AAAI Conference on Artificial Intelligenc