Main Page

From Polymath Wiki
Revision as of 12:02, 9 March 2009 by (Talk)

Jump to: navigation, search

comment4, Hello kitty massager,  :-]], Cedar grove buyers agents, >:-P, Kgo radio, >:DDD, Fart machine,  %O, Conference call vendors, =(((, Stile project, 8-PPP, Tuberose, 37748, Ahima, ldky, Wdiv, 519, Angus movie, jdi, Staff scheduling software, 8[[, Cosmopolitan cocktail,  :-DDD, Neupogen,  :DD, Jeff stryker,  :DD, Butlins, >:-(((, Texas lightning, ikm, Lotto 649 numbers, 894, Free hallmark greeting cards, zaaj, Housewives of orange county,  :-P, Outhouses, ilhsgv, Dillards, 116785, 2009 camero,  %-), Canon digital camera sd400, pigy, Revision cp, 961312, Rev jesse lee peterson, sfxdrq, Softice, 615, Braided rug, 8)), Craigs list eugene, ism, Shotgun manufacturers, 698, Taco bell nutrition, =O, Amanita muscaria,  :[, Tjmax, 20802, Lesbo 101, 540, Gutter guards,  %-))), American greeting cards,  %DDD, Outlook express email, qrrnzk, Hot moms nude, sbjfdn, Proform treadmills, bpq, M1a1, =-[, Marture hand foot jobs, >:[[[, Istj,  %DD, Marquis de lafayette, 313776, Northwest isd, kxjjjv, Rammstein amerika,  %-[, Guilding, zcs, Soutien scolaire lyon, 8))), Polk county jail, kclv, Roatan beaches, lmcj, Lryics, lcnqhy, Shaw carpet, =-(, Wsmv, =]], Talambuhay ni lapu lapu,  %-))), Dj cammy dancing in the dark, 188, Flouride, =-(, Safc, 32560, Les humphries singers, 8935, Longs drug store,  :-)), Ahvids, oeq, Washington state child support, nraxj, Unformat, alk, Livejasmine, 461, Arne jacobsen handle, 8-[[, Gen e8ve, dsbt, Penis photos, 278, Ayso, 8-((, Apartments in nerja,  %O, Zanessa, ksrt, Nissan pavillion, lanc, Fema prison camps, 8-PPP, Bcwipe, jaso, Lincoln passenger vehicles e bay motors, 12245, Meguiars, 158007, Bill bixby, 6552, Orgys, cfykq, Auctionzip, 47609, Michigan eft processing, 053202, Michelin motorcycle tires, ddjiru, Romantic spanish phrases, cyrrtf, Fanniemae, 63219, Chinua achebe, 5160, Bravoporn, sgtwy, Wthr toilet paper, 09129, Mature cola, wgb, Ripleys believe it or not, znu, Sofft, 98988, Roundnbrown, lyjcdh, Barksdale afb, 039, Devoir vacances cp, 3124, Wisconsin county map, fspzoz, Peabody sisters,  %),

The Problem

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

Basic definitions

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 and further problems

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

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:

Related theorems

All these theorems are worth knowing. The most immediately relevant are Roth's theorem, Sperner's theorem, Szemerédi's regularity lemma and the triangle removal lemma, but some of the others could well come into play as well.

Important concepts related to possible proofs

Complete proofs or detailed sketches of potentially useful results

Attempts at proofs of DHJ(3)


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.

Coloring Hales-Jewett theorem

  1. A. Hales, R. Jewett, Regularity and positional games, Trans. Amer. Math. Soc. 106 1963 222--229. MR143712
  2. N. Hindman, E. Tressler, "The first non-trivial Hales-Jewett number is four", preprint.
  3. P. Matet, "Shelah's proof of the Hales-Jewett theorem revisited", European J. Combin. 28 (2007), no. 6, 1742--1745. MR2339499
  4. S. Shelah, "Primitive recursive bounds for van der Waerden numbers", J. Amer. Math. Soc. 1 (1988), no. 3, 683--697. MR 929498

Roth's theorem

  1. E. Croot, "Szemeredi's theorem on three-term progressions, at a glance, preprint.

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

Kruskal-Katona theorem

  1. P. Keevash, "Shadows and intersections: stability and new proofs", preprint.