Main Page

From Polymath1Wiki
Revision as of 10:11, 15 February 2009 by Teorth (Talk | contribs)

Jump to: navigation, search

Introduction

This wiki is intended to be a useful resource for anybody who wants to think about the density Hales-Jewett theorem. There are no rules about what can be added to it, but amongst other things it will contain articles that digest parts of the discussion that is taking place as part of the so-called Polymath project and present them in a concise way. This should save people from having to wade through hundreds of comments. If you add an article, it would be good to have it linked from this main page, so that it is easy to find. (A list of all pages on this wiki can be found here.)

The Problem

The basic problem to be considered by the Polymath project is to explore a particular combinatorial approach to the density Hales-Jewett theorem for k=3, suggested by Tim Gowers. The original proof of DHJ(3) used arguments from ergodic theory.

Useful background materials

Here is some background to the project. There is also a general discussion on massively collaborative "polymath" projects. This is a cheatsheet for editing the wiki. Finally, here is the general Wiki user's guide

Threads

Here is a further list of blog posts related to the Polymath1 project. Here is wordpress's list.

A spreadsheet containing the latest upper and lower bounds for [math]c_n[/math] can be found here. Here are the proofs of our upper and lower bounds for these constants.

We are also collecting bounds for Fujimura's problem, motivated by a hyper-optimistic conjecture.

There is also a chance that we will be able to improve the known bounds on Moser's cube problem.

Here are some unsolved problems arising from the above threads.

Here is a tidy problem page.

Proof strategies

It is natural to look for strategies based on one of the following:

Bibliography

Density Hales-Jewett

  1. H. Furstenberg, Y. Katznelson, “A density version of the Hales-Jewett theorem for k=3“, Graph Theory and Combinatorics (Cambridge, 1988). Discrete Math. 75 (1989), no. 1-3, 227–241.
  2. H. Furstenberg, Y. Katznelson, “A density version of the Hales-Jewett theorem“, J. Anal. Math. 57 (1991), 64–119.
  3. R. McCutcheon, “The conclusion of the proof of the density Hales-Jewett theorem for k=3“, unpublished.

Behrend-type constructions

  1. M. Elkin, "An Improved Construction of Progression-Free Sets ", preprint.
  2. B. Green, J. Wolf, "A note on Elkin's improvement of Behrend's construction", preprint.
  3. K. O'Bryant, "Sets of integers that do not contain long arithmetic progressions", preprint.

Triangles and corners

  1. M. Ajtai, E. Szemerédi, Sets of lattice points that form no squares, Stud. Sci. Math. Hungar. 9 (1974), 9--11 (1975). MR369299
  2. I. Ruzsa, E. Szemerédi, Triple systems with no six points carrying three triangles. Combinatorics (Proc. Fifth Hungarian Colloq., Keszthely, 1976), Vol. II, pp. 939--945, Colloq. Math. Soc. János Bolyai, 18, North-Holland, Amsterdam-New York, 1978. MR519318
  3. J. Solymosi, A note on a question of Erdős and Graham, Combin. Probab. Comput. 13 (2004), no. 2, 263--267. MR 2047239