±±¾©Ê¯ÓÍ»¯¹¤Ñ§Ôº2026ÄêÑо¿ÉúÕÐÉú½ÓÊÕµ÷¼Á¹«¸æ
²é¿´: 645  |  »Ø¸´: 4
µ±Ç°Ö÷ÌâÒѾ­´æµµ¡£
µ±Ç°Ö»ÏÔʾÂú×ãÖ¸¶¨Ìõ¼þµÄ»ØÌû£¬µã»÷ÕâÀï²é¿´±¾»°ÌâµÄËùÓлØÌû

formleaf

ľ³æ (ÕýʽдÊÖ)

[½»Á÷] ¡¾×ªÌû¡¿ÌÕÕÜÐù²©¿ÍÉϵÄһƪÐÂ×÷

¿´µ½µÄÌÕÕÜÐù²©¿ÍÉÏ×î½üµÄһƪÐÂ×÷£¬²»ÊǺÜÃ÷°×£¬Ìù³öÀ´´ó¼Ò¿´¿´
»Ø¸´´ËÂ¥

» ²ÂÄãϲ»¶

ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

×íÏç³£¿Í

ľ³æ (ÖªÃû×÷¼Ò)

»ìÖ®

¡ï
Сľ³æ(½ð±Ò+0.5):¸ø¸öºì°ü£¬Ð»Ð»»ØÌû½»Á÷
formleaf(½ð±Ò+0,VIP+0):ллÄãµÄºÃÒâÌáÐÑ 10-25 06:33
°æÖ÷ΪÓûù±¾ÎÞÒâÒåµÄÄÚÈݰïÄã¶¥ÌûµÄ³æ×Ó·¢½ð±ÒËÆºõºÜ²»ºÏÊÊ¡£

ÇëÎðΪ±¾È˵ÄÕâ¸ö»ØÌû¼Ó·Ö£¬ÎÒ²»ÊÇÔÚ°ï°æÖ÷¶¥Ìû¶øÊÇÔÚÖÊÒÉijÖÖÒÉËÆ²»Á¼ÏÖÏó¡£
»ì»ì£¬»ì»ì£¡(ÇóÖúÇë×¢ÒâÀñò£¡)
4Â¥2009-10-24 23:37:01
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
²é¿´È«²¿ 5 ¸ö»Ø´ð

formleaf

ľ³æ (ÕýʽдÊÖ)

ÐøÉÏÃæµÄÄÚÈÝ

infinity, but extremely slowly.  Nevertheless, this is the first explicitly quantitative version of the density Hales-Jewett theorem.

The argument is based on the density increment argument as pioneered by Roth, and also used in later papers of Ajtai-Szemer¨¦di and Shkredov on the corners problem, which was also influential in our current work (though, perhaps paradoxically, the generality of our setting makes our argument simpler than the above arguments, in particular allowing one to avoid use of the Fourier transform, regularity lemma, or Szemer¨¦di¡¯s theorem).   I discuss the argument in the first part of this previous blog post.

I¡¯ll end this post with an open problem.  In our paper, we cite the work of P. L. Varnavides, who was the first to observe the elementary averaging argument that showed that Roth¡¯s theorem (which showed that dense sets of integers contained at least one progression of length three) could be amplified (to show that there was in some sense a ¡°dense¡± set of arithmetic progressions of length three).  However, despite much effort, we were not able to expand ¡°P.¡± into the first name.  As one final task of the Polymath1 project, perhaps some readers with skills in detective work could lend a hand in finding out what Varnavides¡¯ first name was?
2Â¥2009-10-23 11:04:25
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] һ־Ըɽ¶«´óѧ£¬085600£¬344 +3 κ×Óper 2026-04-02 4/200 2026-04-02 16:21 by Creta
[¿¼ÑÐ] 318Çóµ÷¼Á +3 óÆÐÐÖÂÔ¶. 2026-03-31 4/200 2026-04-02 15:56 by Jaylen.
[¿¼ÑÐ] 366Çóµ÷¼ÁÒ»Ö¾Ô¸¶«±±´óѧ +7 ÔËÆøÀ´µÃÈôÓÐËÆÎ 2026-04-02 7/350 2026-04-02 14:47 by °¶ÉϵÄÒ»ÌõÓã
[¿¼ÑÐ] Ò»Ö¾Ô¸±±¾©¿Æ¼¼´óѧ085601²ÄÁϹ¤³ÌÓ¢Ò»Êý¶þ³õÊÔ×Ü·Ö335Çóµ÷¼Á +8 Ë«ÂíβƦÀϰå2 2026-04-02 9/450 2026-04-02 14:45 by 5896
[¿¼ÑÐ] »¯Ñ§308·Öµ÷¼Á +14 ÄãºÃÃ÷ÌìÄãºÃ 2026-03-30 15/750 2026-04-02 13:39 by ÎûÎûЦ22
[¿¼ÑÐ] 296²ÄÁÏר˶Çóµ÷¼Á +9 202451007219 2026-04-02 10/500 2026-04-02 11:54 by ms629
[¿¼ÑÐ] 327Çóµ÷¼Á +9 ¼³Òàê» 2026-03-29 9/450 2026-04-02 11:44 by ÔËÆøyunqi
[¿¼ÑÐ] ²ÄÁϵ÷¼Á +12 Ò»ÑùYWY 2026-04-01 12/600 2026-04-02 09:15 by olim
[¿¼ÑÐ] 303Çóµ÷¼Á +8 DLkz1314. 2026-03-30 8/400 2026-04-02 09:08 by sanrepian
[¿¼²©] 26ÄêÉ격 +3 staryer 2026-03-30 4/200 2026-04-01 23:21 by ai4pharm
[¿¼ÑÐ] ²ÄÁϵ÷¼Á +11 Ò»ÑùYWY 2026-03-31 11/550 2026-04-01 22:25 by zhouyuwinner
[¿¼ÑÐ] °²È«¹¤³Ì 285 Çóµ÷¼Á +3 Xinyu56 2026-04-01 4/200 2026-04-01 21:50 by ¾²¾²¾²¾²¾²¾²¾²¾
[¿¼ÑÐ] 284Çóµ÷¼Á +12 СÐÜ¡«¡« 2026-03-31 12/600 2026-04-01 20:23 by »¨??
[¿¼ÑÐ] ¡¾Çóµ÷¼Á¡¿085601²ÄÁϹ¤³Ìר˶ | ×Ü·Ö272 | +10 ½Å»¬µÄÊØ·¨¹«Ãñ 2026-03-27 10/500 2026-04-01 17:23 by pies112
[¿¼ÑÐ] 0703Ò»Ö¾Ô¸ÄÏʦ´ó334Çóµ÷¼Á +4 seven7yu 2026-03-30 4/200 2026-04-01 16:10 by oooqiao
[¿¼ÑÐ] Ò»Ö¾Ô¸£ºÎ÷±±´óѧ£¬Ó¢Ò»ÊýÒ»408-284·ÖÇóµ÷¼Á +7 12.27 2026-03-27 7/350 2026-03-31 21:59 by lbsjt
[¿¼ÑÐ] 263Çóµ÷¼Á +3 DDDDuu 2026-03-27 3/150 2026-03-31 16:21 by ÍÁľ˶ʿÕÐÉú
[¿¼ÑÐ] ÉúÎÑÐ337·ÖÇóµ÷¼Á +4 cgxin 2026-03-30 6/300 2026-03-31 14:18 by ¼Çʱ¾2026
[¿¼ÑÐ] 086000ÉúÎïÓëÒ½Ò©µ÷¼Á +5 Feisty¡£ 2026-03-28 9/450 2026-03-29 12:02 by longlotian
[¿¼ÑÐ] 292Çóµ÷¼Á +4 ÇóÇóÁËÊÕÏÂÎÒ°É£ 2026-03-26 4/200 2026-03-27 10:37 by zhshch
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û