Main Page

comment4, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=399 Hello kitty massager,  :-]], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=515 Cedar grove buyers agents, >:-P, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=335 Kgo radio, >:DDD, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=428 Fart machine, %O, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=489 Conference call vendors, =(((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=509 Stile project, 8-PPP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=381 Tuberose, 37748, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=488 Ahima, ldky, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=549 Wdiv, 519, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=336 Angus movie, jdi, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=555 Staff scheduling software, 8[[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=470 Cosmopolitan cocktail,  :-DDD, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=499 Neupogen, :DD, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=529 Jeff stryker, :DD, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=424 Butlins, >:-(((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=329 Texas lightning, ikm, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=398 Lotto 649 numbers, 894, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=457 Free hallmark greeting cards, zaaj, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=319 Housewives of orange county,  :-P, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=461 Outhouses, ilhsgv, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=451 Dillards, 116785, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=400 2009 camero,  %-), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=572 Canon digital camera sd400, pigy, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=476 Revision cp, 961312, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=416 Rev jesse lee peterson, sfxdrq, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=442 Softice, 615, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=519 Braided rug, 8)), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=406 Craigs list eugene, ism, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=508 Shotgun manufacturers, 698, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=423 Taco bell nutrition, =O, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=350 Amanita muscaria,  :[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=446 Tjmax, 20802, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=369 Lesbo 101, 540, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=354 Gutter guards,  %-))), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=538 American greeting cards, %DDD, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=382 Outlook express email, qrrnzk, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=395 Hot moms nude, sbjfdn, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=328 Proform treadmills, bpq, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=371 M1a1, =-[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=363 Marture hand foot jobs, >:[[[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=550 Istj, %DD, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=598 Marquis de lafayette, 313776, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=474 Northwest isd, kxjjjv, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=448 Rammstein amerika,  %-[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=507 Guilding, zcs, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=497 Soutien scolaire lyon, 8))), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=377 Polk county jail, kclv, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=445 Roatan beaches, lmcj, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=397 Lryics, lcnqhy, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=425 Shaw carpet, =-(, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=531 Wsmv, =]], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=609 Talambuhay ni lapu lapu,  %-))), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=456 Dj cammy dancing in the dark, 188, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=561 Flouride, =-(, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=429 Safc, 32560, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=595 Les humphries singers, 8935, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=443 Longs drug store,  :-)), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=511 Ahvids, oeq, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=527 Washington state child support, nraxj, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=524 Unformat, alk, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=358 Livejasmine, 461, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=486 Arne jacobsen handle, 8-[[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=333 Gen e8ve, dsbt, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=487 Penis photos, 278, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=594 Ayso, 8-((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=532 Apartments in nerja, %O, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=543 Zanessa, ksrt, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=548 Nissan pavillion, lanc, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=431 Fema prison camps, 8-PPP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=571 Bcwipe, jaso, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=430 Lincoln passenger vehicles e bay motors, 12245, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=388 Meguiars, 158007, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=514 Bill bixby, 6552, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=578 Orgys, cfykq, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=331 Auctionzip, 47609, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=468 Michigan eft processing, 053202, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=560 Michelin motorcycle tires, ddjiru, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=312 Romantic spanish phrases, cyrrtf, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=345 Fanniemae, 63219, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=494 Chinua achebe, 5160, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=557 Bravoporn, sgtwy, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=455 Wthr toilet paper, 09129, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=420 Mature cola, wgb, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=485 Ripleys believe it or not, znu, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=518 Sofft, 98988, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=313 Roundnbrown, lyjcdh, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=574 Barksdale afb, 039, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=426 Devoir vacances cp, 3124, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=314 Wisconsin county map, fspzoz, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=504 Peabody sisters,  %),

comment1, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=642 French fry cutter, 8))), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=631 Erotica vintage, qgxxu, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=700 Mrdouble, 86841, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=772 Rude valentines poems, %PP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=865 Kirby vacuum cleaners,  :-[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=684 Clopay garage doors, fda, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=843 Airline job vacancies, 428695, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=771 Indienudes, ahq, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=908 Santa claus history, kcu, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=630 Erico, =-[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=853 Kielbasa, 8[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=719 Arliss howard, 099111, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=699 Pussy spanking, 466194, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=620 Lesbians scissoring, 096, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=723 Wikkipedia, pcl, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=873 Potato famine, >:-(, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=717 Mature housewives, =((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=824 Mrsa pictures, >:-PP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=743 Ober gatlinburg, 1701, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=820 Junie b jones, neqdae, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=809 Hot secretaries, 8]]], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=724 Star tattoo design, rvlft, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=747 Short ghost stories, 574, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=670 Sarah lancaster, :OO, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=847 Fayetteville observer, tias, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=814 Bioidentical hormones, ppycv, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=798 Nicheflixx, 234277, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=796 Sixthseal, 690, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=720 Hallmark greeting cards, ginpob, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=730 Teleblend, 8-O, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=846 Criminal mugshots, 75898, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=624 Shaved beaver, xjnmkd, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=722 Emu oil shampoo, 239, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=801 Habor freight, tavzj, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=788 Dollhouse miniatures, yvxj, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=834 Alex trebek biography, 976850, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=797 Ryobi trimmer parts, 8[[[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=760 Anime tickling forum, 1013, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=833 Riccar, >:-], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=652 Proxify, 8-]]], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=815 Clearview cinemas, 999213, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=656 Women squirt when ejaculating, ebqteg, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=706 Metanet forums, 8], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=695 Whites metal detectors, gnq, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=858 Illinois dmv, 000238, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=793 Sexhungrymoms, 519, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=756 Garmin 760, 241, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=618 Bunco rules, 9857, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=708 French fry cutter, qngp, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=826 Photo de emma watson nue, lpyxwz, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=852 Kreg jig,  %-((,

Basic definitions

• Algebraic line

• Combinatorial line

• Combinatorial subspace

• Corner

• Density

• Geometric line

• Slice

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

• (1-199) A combinatorial approach to density Hales-Jewett (inactive)
• (200-299) Upper and lower bounds for the density Hales-Jewett problem (inactive)
• (300-399) The triangle-removal approach (inactive)
• (400-499) Quasirandomness and obstructions to uniformity (inactive)
• (500-599) Possible proof strategies (inactive)
• (600-699) A reading seminar on density Hales-Jewett (inactive)
• (700-799) Bounds for the first few density Hales-Jewett numbers, and related quantities (inactive)
• (800-849) Brief review of polymath1 (inactive)
• (850-899) DHJ(3): 851-899 (active)
• (900-999) DHJ(3): 900-999 (Density Hales-Jewett type numbers) (active)

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]\displaystyle{ 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:

• Szemerédi's original proof of Szemerédi's theorem.
• Szemerédi's combinatorial proof of Roth's theorem.
• Ajtai-Szemerédi's proof of the corners theorem.
• The density increment method.
• The triangle removal lemma.
• Ergodic-inspired methods.
• The Furstenberg-Katznelson argument.
• Use of equal-slices measure.

Related theorems

• Carlson's theorem.
• The Carlson-Simpson theorem.
• Folkman's theorem.
• The Graham-Rothschild theorem.
• The colouring Hales-Jewett theorem.
• The Kruskal-Katona theorem.
• Roth's theorem.
• The IP-Szemerédi theorem.
• Sperner's theorem.
• Szemerédi's regularity lemma.
• Szemerédi's theorem.
• The triangle removal lemma.

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

• Complexity of a set
• Concentration of measure
• Influence of variables
• Obstructions to uniformity
• Quasirandomness

Complete proofs or detailed sketches of potentially useful results

• The multidimensional Sperner theorem
• Line-free sets correlate locally with complexity-1 sets
• Correlation with a 1-set implies correlation with a subspace (Not finished)
• A Fourier-analytic proof of Sperner's theorem
• A second Fourier decomposition related to Sperner's theorem
• A Hilbert space lemma
• A Modification of the Ajtai-Szemerédi argument
• DHJ(k) implies multidimensional DHJ(k)

Attempts at proofs of DHJ(3)

• An outline of a density-increment argument (ultimately didn't work)
• A second outline of a density-increment argument (seems to be OK but more checking needed)

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.

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.