Main Page
comment6, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2279 Allegient air, 682832, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2199 Eos 5d mark ii, 496108, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2227 Thigh muscle pain, xzm, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2302 Psorasis, >:P, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2289 Dutch painter jan, %D, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2309 Teenie tgp, nwi, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2181 Advent candle meaning, 87691, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2153 Human male castration, wrhein, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2164 Marriage license, lif, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2299 Morton's steakhouse, qwtfpk, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2270 Jugy, :-P, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2303 Prontube, 98700, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2407 Elderhostel, 8-P, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2217 Goodmark, 102403, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2408 Airbrush art, =-(((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2329 Used tractors for sale, pve, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2201 Stealth cam, >:-]], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2218 Baltimora, ebbfd, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2352 Sanrio wallpaper, 920275, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2341 Surplus electronics, ofou, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2119 Ip thermostat, 5632, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2144 Windowslivemessenger, 8)), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2316 Viva la vida, 657, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2375 Finnteen, 704, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2317 Hypospadias, >:DD, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2276 Aiko tanaka, 51361, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2157 Haulmark trailer, 62315, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2196 Beograd nekretnine, 8], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2186 Morgan spurlock, 8448, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2215 Wkbt, qotx, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2384 Arceus, >:-[[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2266 Jwr, 8369, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2206 Planet urine reviews, bot, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2150 Brian popko, 8-P, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2262 Gonzo-movies, 063569, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2320 Phoebe cates, 7775, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2246 Horses mating, qlbrc, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2169 Betty friedan, 8983, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2154 Glastron boats, axpks, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2185 G spot orgasm technique, :[[[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2128 Smith sisters murdered anonymously, >:-P, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2171 Enema punishment stories, 747, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2163 Noticiero digital, =((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2346 Sommore, 0523, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2313 Morels, 8709, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2179 Roulette systems, 114, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2350 Nite flirt, >:-[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2274 Luvbright, :[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2248 Aau track and field, 14564, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2238 Pokesav, %[[[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2110 Northern virginia daily, cbamh, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2225 Professional pregnancy photos, >:-((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2139 2010 ford taurus, lub, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2209 Meagan good nude, mlqhx, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2134 Lump charcoal, 8(, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2229 Rowing machine, cybpgf, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2137 Casual dating, wqw, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2389 Dave's esl cafe, :PP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2243 Icd9, :-PP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2265 Wisdom quotes, 946572, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2359 Gatorland, =-(((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2345 Mary waters, 38382, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2327 Naturlist, 662183, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2358 Ourei harada, 8684, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2168 Chameleon flat iron, dpvyhl, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2178 Tiva free porn, 25423, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2324 Fightzilla, 8]]], http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2363 Penectomy, :)), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2254 Turbonick, =((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2387 Gamma oryzanol, wpw, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2296 Foley catheter, >:PP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2259 Club sissy, ragyjq, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2332 Oriole bird feeders, %PPP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2233 Pretty necks and nooses, wtlhnk, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2380 Starwars helpdesk, =-O, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2371 Outlook express problems, 243, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2252 Carmella garcia, 3087, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2109 Waether, sntpj, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2122 Episiotomy, 071129, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2205 Buttermilk biscuits, 8416, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2366 Frases romanticas, jwgvhu, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2344 Ingmar bergman, =OOO, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2194 Multiplication facts, :-PP, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2112 Easygals, wyrgj, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2145 The lansing state journal, 8-), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2357 Bebe neuwirth, scdmn, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2118 Cloth doll patterns, 285, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2220 Jefferson state community college, 9174, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2160 Forfaits internet haut debit, %-OO, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2388 Uncle fester, =-[[[, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2285 Homebased travel business, :-OOO, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2117 Bleachers skinhead, rjp, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2143 Halogen track lighting, :-), http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2374 Dominicks, kcy, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2241 Status report management catalog eca, 8((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2146 Jumeirah guest, =-((, http://www.bronsonmedia.se/thehiddentree/forum/topic.asp?topic_id=2351 Myofascial pain syndrome, %))),
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.
- 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
- 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.
- H. Furstenberg, Y. Katznelson, “A density version of the Hales-Jewett theorem“, J. Anal. Math. 57 (1991), 64–119.
- R. McCutcheon, “The conclusion of the proof of the density Hales-Jewett theorem for k=3“, unpublished.
- A. Hales, R. Jewett, Regularity and positional games, Trans. Amer. Math. Soc. 106 1963 222--229. MR143712
- N. Hindman, E. Tressler, "The first non-trivial Hales-Jewett number is four", preprint.
- P. Matet, "Shelah's proof of the Hales-Jewett theorem revisited", European J. Combin. 28 (2007), no. 6, 1742--1745. MR2339499
- S. Shelah, "Primitive recursive bounds for van der Waerden numbers", J. Amer. Math. Soc. 1 (1988), no. 3, 683--697. MR 929498
- E. Croot, "Szemeredi's theorem on three-term progressions, at a glance, preprint.
Behrend-type constructions
- M. Elkin, "An Improved Construction of Progression-Free Sets ", preprint.
- B. Green, J. Wolf, "A note on Elkin's improvement of Behrend's construction", preprint.
- K. O'Bryant, "Sets of integers that do not contain long arithmetic progressions", preprint.
Triangles and corners
- M. Ajtai, E. Szemerédi, Sets of lattice points that form no squares, Stud. Sci. Math. Hungar. 9 (1974), 9--11 (1975). MR369299
- 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
- J. Solymosi, A note on a question of Erdős and Graham, Combin. Probab. Comput. 13 (2004), no. 2, 263--267. MR 2047239
- P. Keevash, "Shadows and intersections: stability and new proofs", preprint.