(via Andrew Sullivan)
(via Andrew Sullivan)
[This is the second part of Bill Gasarch’s guest post on “polynomial” versions of van der Waerden’s theorem. — Luca]
This is a the second of two Guest Postings on the Polynomial VDW Theorem. This one is on the Multi-dimensional Poly VDW Theorem.
For all , for any -coloring there exists , , such that
What would a multidimensional version of VDW look like? What would a multidimensional version of Poly VDW look like? Before stating that, we give corollaries to both to provide the flavor.
Corollary of Two-dimensional VDW:
For all , for any -coloring , there exists a square with all corners the same color. (Formally there exists ,, such that
Think of this as
Corollary of Two-dimensional Poly VDW:
For all , for any -coloring , there exists a rectangle with all corners the same color where the side is the square of its length. (Formally there exists , , such that
Think of this as
In the full Multidimensional theorems the set will be replaced by an arbitrary finite set.
Let . Let be a finite set of points in (e.g., , , , for the square case in the corollary to Multidim VDW). For all , for any -coloring , there exists , , , such that
This was proven by Furstenberg and Weiss (Topological dynamics and combinatorial number theory, Journal d’Analyse Mathematique, Vol. 34, 61–85, 1978); however, it was later observed that it follows from the (ordinary) Hales-Jewitt Theorem.
Furstenberg and Katznelson also proved a density version of the Multidimensional VDW Theorem (An ergodic Szemeredi’s theorem for commuting transformations, Journal d’Analyse Mathematique, Vol. 34, 275–291, 1978). Roughly speaking, if is dense enough then there exists , , such that .
Consider the functions
One may consider replacing these functions with a more complicated function of and . This leads to the following theorem.
Multidimensional Poly VDW:
Let . Let . Let be a finite set of points in . Let For all , for any -coloring , there exists , , , , such that
This was first proven by Bergelson and Leibman (Polynomial extensions of van der Waerden’s and Szemeredi’s theorems, Journal of the American Math Society 1996, Vol. 9, 725–753.
They actually proved a density version.
There is an alternative proof by Bergelson and Liebman (Set-polynomials and Polynomial extension of the Hales-Jewett Theorem, Annals of Math, Vol. 150, 1999, 33-75.}
The proof is in two steps
There is a purely combinatorial proof of the Multi-dimensional Poly VDW Theorem, though it is not stated in the literature:
Putting all this together there is an elementary proof of the Multi-dimensional Poly VDW theorem. There is a general version as well, similar to the Gen Poly VDW from
my last post, but I won’t state it here.
These types of theorems have been generalized in Polynomial Szemeredi theorems for countable modules over integral domains and finite fields by Bergelson, Leibman, and McCutcheon, Journal d’Analyse Mathematique, Vol 95, 243–296, 2005.
There has also been some work on restricting what or could be in the above theorems. We state the easiest of such theorems. It is derivable from the (ordinary) Hales-Jewitt theorem.
VDW’s with restricted:
Let . Let be the set of all sums of distinct elements of . For all , for any -coloring there exists , , , such that
More complicated versions of this for multidimensional polynomials were proven by Bergelson and McCutcheon (An Ergodic IP Polynomial Szemeredi Theorem by Bergelson and McCutcheon. Memoirs of the American Math Society, Vol 46, 2000.
I would like to thank Alexander Leibman for his help in preparing this post.
My new hero is the student in a class of mine who sent me the following email:
There is always a student who shows up 10 minutes late to each of the (…) lectures, carrying a box of takeout food. He proceeds to noisily eat it while you lecture. This is highly distracting [as well as disturbing; this guy doesn’t know how to use chopsticks], especially for those of us who chose to follow the rules. Please take some action as to inform students that eating in class is disrespectful not only to you, but distracting to other students who are trying to take notes. Thanks.
See, eating noisily during class is annoying enough. But not knowing how to use chopsticks? That‘s disturbing!
[Bill Gasarch, known online for his frequent contributions to the Complexity Blog and for his liberal USE of capital LETTERS, has been reading about the “polynomial” and “multi-dimensional” versions of van der Waerden’s theorem (the original theorem being “linear” and “one-dimensional”) and he is going to tell us about it. Enjoy. — Luca]
Guest Posting by William Gasarch (firstname.lastname@example.org)
This is a one of two Guest Posting on the Polynomial van der Waerden Theorem (henceforth Poly VDW). This posting is on the one-dimensional Poly VDW; however,my next posting will be on the Multidimensional Poly VDW. Throughout this posting `Poly VDW’ means `One Dimensional Poly VDW’
For all , for any -coloring , there exists , , such that
The original proof ofVDW’s Theorem was an induction on the following ordering on
For example the proof of depends on the theorem being true for where is very large. Shelah (Primitive recursive bounds for van der Waerden numbers, Journal of the American Math Society, Vol 1, 1-15, 1988) has a proof that avoids this type of induction and hence yields a much slower growth rate for the VDW numbers (which we are not discussing here).
Consider the functions
One may consider replacing with polynomials in . This leads to the following theorem.
For all , for all such that , for any -coloring there exists , , such that
The condition is needed since if the ‘s were constants the theorem would be false. It is an open problem to look at particular sets of polys with constant term.
This was first proven by Bergelson and Leibman (Polynomial extensions of van der Waerden’s and Szemeredi’s theorems, Journal of the American Math Society, Vol. 9, 1996, 725–753.)
The proof uses ergodic (non-elementary) techniques. They actually proved a density version.
Density Poly VDW:
For all such that , for all sets of positive density, there exists , , such that
Walters has a purely combinatorial proof of the Poly VDW Theorem (Combinatorial Proofs of the Polynomial van der Waerden Theorem and the Polynomial Hales-Jewitt Theorem Journal of the London Math Society, Vol 61, 2000, 1-12.)
The proof used an ordering as follows.
For every finite set such that we associate a tuple where the largest degree polynomial in is degree , and, for all , , is the number of different coefficients of that occur in polynomials of degree in .
Let mean that Poly VDW holds for all sets of polys of type . The ordinary VDW theorem can be viewed as .
The Poly VDW is proven by induction on the following -ordering. Let .
Having stated the Poly VDW one can now state a version of VDW over any infinite Commutative Ring (think Reals).
Gen Poly VDW:
Let any infinite commutative ring. For all , for all such that , for any -coloring there exists , , such that
This was proven by by Bergelson and Liebman (Set-polynomials and Polynomial extension of the Hales-Jewett Theorem, Annals of Math, Vol. 150, 1999, 33-75.}
The proof is in two steps
There is a purely combinatorial proof of the Gen Poly VDW theorem, though it is not stated in the literature:
Green and Tao proved that the set of primes has arbitrarily long arithmetic progressions.
More recently, Tao and Ziegler: have shown the following:
For any such that , there exists , , such that
are all prime
The Maryland Math Olympiad is in two parts. Part I is 25 multiple choice questions (but some are quite hard). If you do well on part I then you can take part II which is 5 problems that need proof. We try to number the problems in order of difficulty. I placed the following problem on the 2006 High School Maryland Math Olympiad, as problem 5:
Let be a 3-coloring of . Show that there exists such that and is a square.
Of the 240 students who took the exam around 180 tried this one. Of those 5 got it right and 10 got partial credit. The proof I had in mind (which is the one the students used who got it right) is not a scaled down version of the proof of the poly VDW. I leave it to the reader to see if they can prove this.
What I am really looking forward to, however, is the iCar. It will cost $50,000, it will do 10 miles to the gallon, of a special gasoline sold only at Apple gas stations, and if there is a small mechanical problem you will have to ship it to Cupertino, where they will replace the whole engine for a convenient $10,000 fee. But, as the first car without a steering wheel, it will be so cool!
For the last few days Hong Kong has been swept by a cold wave, and one could see people wearing scarves, down jacket, fur-lined coats and so on, and everybody was complaining about the cold. Highs were in the 60s, and lows in the 50s. The fur-lined coats, by the way, are a cheat: the fur is only on the border of the hood and near the zipper, were it can be seen, but not on the inside of the coat.
Public transportation is fantastic. I love the double-decker buses for at least two reasons: it’s nice to sit upstairs and look around, and they make me feel tall (the ceiling is just a few inches above my head). A single payment card is accepted by the several different companies that run buses, ferries, subway and trains; in fact, the card is also accepted by vending machines, convenience stores and many retail stores. It’s as if in San Francisco one could shop at the Gap and pay with a Bart card.
Hong Kong is crowded, in a most enjoyable way. Not unlike Manhattan, here apartments are very small, so people spend most of their time, and do most of their socializing, outside. Plus, people seem to like to stay up until late. The result is that everywhere there are huge crowds of people who are out and about. After three months in LA, it’s a great change of pace. The Chinese University is in the New Territories, which are as out of the way from the center as it sounds. If Hong Kong island is Manhattan, and Kowloon is Brooklyn, here we may as well be in Long Island. And, yet, the mall here in Sha Tin is open until 10pm or later, and it is lively until then every night.
I cannot decide if this is an expensive or a cheap city. Restaurants can be very cheap, but the cover charges in clubs and the cost of drinks in bars are a real scandal. Something should be done about it; perhaps someone should write angrily about such things on the internet.
The earthquake in Taiwan broke a major internet cable, and internet traffic has been slow in the south of China and here as well, so I could not post daily food updates. I apologizes to the countless disappointed readers (so far, Cantonese, dim sum, seafood, dim sum, hot pot, Shanghainese, Vietnamese, Western, Pekinese, dim sum, Cantonese).
Two days into 2007 and…
And how considerate that they would time the Italian Cultural Festival to coincide with my visit, even at the cost of moving the Befana to January 12.