Difference between revisions of "Main Page"

From Polymath Wiki
Jump to: navigation, search
(Unsolved questions)
Line 22: Line 22:
Here are some [[unsolved problems]] arising from the above threads.
Here are some [[unsolved problems]] arising from the above threads.
== Unsolved questions ==
'''Gowers.462:''' Incidentally, it occurs to me that we as a collective are doing what I as an individual mathematician do all the time: have an idea that leads to an interesting avenue to explore, get diverted by some temporarily more exciting idea, and forget about the first one. I think we should probably go through the various threads and collect together all the unsolved questions we can find (even if they are vague ones like, “Can an approach of the following kind work?”) and write them up in a single post. If this were a more massive collaboration, then we could work on the various questions in parallel, and update the post if they got answered, or reformulated, or if new questions arose.
=== IP-Szemeredi (a weaker problem than DHJ) ===
'''Solymosi.2:''' In this note I will try to argue that we should consider a variant of the original problem first. If the removal technique doesn’t work here, then it won’t work in the more difficult setting. If it works, then we have a nice result! Consider the Cartesian product of an IP_d set. (An IP_d set is generated by d numbers by taking all the <math>2^d</math> possible sums. So, if the n numbers are independent then the size of the IP_d set is <math>2^d</math>. In the following statements we will suppose that our IP_d sets have size <math>2^n</math>.)
Prove that for any <math>c>0</math> there is a <math>d</math>, such that any <math>c</math>-dense subset of the Cartesian product of an IP_d set (it is a two dimensional pointset) has a corner.
The statement is true. One can even prove that the dense subset of a Cartesian product contains a square, by using the density HJ for <math>k=4</math>. (I will sketch the simple proof later) What is promising here is that one can build a not-very-large tripartite graph where we can try to prove a removal lemma. The vertex sets are the vertical, horizontal, and slope -1 lines, having intersection with the Cartesian product. Two vertices are connected by an edge if the corresponding lines meet in a point of our <math>c</math>-dense subset. Every point defines a triangle, and if you can find another, non-degenerate, triangle then we are done. This graph is still sparse, but maybe it is well-structured for a removal lemma.
Finally, let me prove that there is square if <math>d</math> is large enough compare to <math>c</math>. Every point of the Cartesian product has two coordinates, a 0,1 sequence of length <math>d</math>. It has a one to one mapping to <math>[4]^d</math>; Given a point <math>( (x_1,…,x_d),(y_1,…,y_d) )</math> where <math>x_i,y_j</math> are 0 or 1, it maps to <math>(z_1,…,z_d)</math>, where <math>z_i=0</math> if <math>x_i=y_i=0</math>, <math>z_i=1</math> if <math>x_i=1</math> and <math>y_i=0, z_i=2</math> if <math>x_i=0</math> and <math>y_i=1</math>, and finally <math>z_i=3</math> if <math>x_i=y_i=1</math>. Any combinatorial line in <math>[4]^d</math> defines a square in the Cartesian product, so the density HJ implies the statement.
'''Gowers.7:'''  With reference to Jozsef’s comment, if we suppose that the <math>d</math> numbers used to generate the set are indeed independent, then it’s natural to label a typical point of the Cartesian product as <math>(\epsilon,\eta)</math>, where each of <math>\epsilon</math> and <math>\eta</math> is a 01-sequence of length <math>d</math>. Then a corner is a triple of the form <math>(\epsilon,\eta)</math>, <math>(\epsilon,\eta+\delta)</math>, <math>(\epsilon+\delta,\eta)</math>, where <math>\delta</math> is a <math>\{-1,0,1\}</math>-valued sequence of length <math>d</math> with the property that both <math>\epsilon+\delta</math> and <math>\eta+\delta</math> are 01-sequences. So the question is whether corners exist in every dense subset of the original Cartesian product.
This is simpler than the density Hales-Jewett problem in at least one respect: it involves 01-sequences rather than 012-sequences. But that simplicity may be slightly misleading because we are looking for corners in the Cartesian product. A possible disadvantage is that in this formulation we lose the symmetry of the corners: the horizontal and vertical lines will intersect this set in a different way from how the lines of slope -1 do.
I feel that this is a promising avenue to explore, but I would also like a little more justification of the suggestion that this variant is likely to be simpler.
'''Gowers.22:''' A slight variant of the problem you propose is this. Let’s take as our ground set the set of all pairs <math>(U,V)</math> of subsets of <math>[n]</math>, and let’s take as our definition of a corner a triple of the form <math>(U,V), (U\cup D,V), (U,V\cup D)</math>, where both the unions must be disjoint unions. This is asking for more than you asked for because I insist that the difference <math>D</math> is positive, so to speak. It seems to be a nice combination of Sperner’s theorem and the usual corners result. But perhaps it would be more sensible not to insist on that positivity and instead ask for a triple of the form <math>(U,V), ((U\cup D)\setminus C,V), (U, (V\cup D)\setminus C</math>, where <math>D</math> is disjoint from both <math>U</math> and <math>V</math> and <math>C</math> is contained in both <math>U</math> and <math>V</math>. That is your original problem I think.
I think I now understand better why your problem could be a good toy problem to look at first. Let’s quickly work out what triangle-removal statement would be needed to solve it. (You’ve already done that, so I just want to reformulate it in set-theoretic language, which I find easier to understand.) We let all of <math>X</math>, <math>Y</math> and <math>Z</math> equal the power set of <math>[n]</math>. We join <math>U\in X</math> to <math>V\in Y</math> if <math>(U,V)\in A</math>.
Ah, I see now that there’s a problem with what I’m suggesting, which is that in the normal corners problem we say that <math>(x,y+d)</math> and <math>(x+d,y)</math> lie in a line because both points have the same coordinate sum. When should we say that <math>(U,V\cup D)</math> and <math>(U\cup D,V)</math> lie in a line? It looks to me as though we have to treat the sets as 01-sequences and take the sum again. So it’s not really a set-theoretic reformulation after all.
'''O'Donnell.35:''' Just to confirm I have the question right…
There is a dense subset <math>A</math> of <math>\{0,1\}^n x \{0,1\}^n</math>. Is it true that it must contain three nonidentical strings <math>(x,x’), (y,y’), (z,z’)</math> such that for each <math>i = 1…n,</math> the 6 bits
<math>[ x_i x'_i ]</math>
<math>[ y_i y'_i ]</math>
<math>[ z_i z'_i ]</math>
are equal to one of the following:
<math>[ 0 0 ] [ 0 0 ] [ 0, 1 ] [ 1 0 ] [ 1 1 ] [ 1 1 ]</math>
<math>[ 0 0 ], [ 0 1 ], [ 0, 1 ], [ 1 0 ], [ 1 0 ], [ 1 1 ],</math>
<math>[ 0 0 ] [ 1 0 ] [ 0, 1 ] [ 1 0 ] [ 0 1 ] [ 1 1 ]</math>
'''McCutcheon.469:''' IP Roth:
Just to be clear on the formulation I had in mind (with apologies for the unprocessed code): for every <math>\delta>0</math> there is an <math>n</math> such that any <math>E\subset [n]^{[n]}\times [n]^{[n]}</math> having relative density at least <math>\delta</math> contains a corner of the form <math>\{a, a+(\sum_{i\in \alpha} e_i ,0),a+(0, \sum_{i\in \alpha} e_i)\}</math>. Here <math>(e_i)</math> is the coordinate basis for <math>[n]^{[n]}</math>, i.e. <math>e_i(j)=\delta_{ij}</math>.
Presumably, this should be (perhaps much) simpler than DHJ, <math>k=3</math>.
=== High-dimensional Sperner ===
'''Kalai.29:''' There is an analogous for Sperner but with high dimensional combinatorial spaces instead of "lines" but I do not remember the details (Kleitman(?) Katona(?) those are ususal suspects.)
=== Fourier approach ===
'''Kalai.29:''' A sort of generic attack one can try with Sperner is to look at <math>f=1_A</math> and express using the Fourier expansion of <math>f</math> the expression <math>\int f(x)f(y)1_{x<y}</math> where <math>x<y</math> is the partial order (=containment) for 0-1 vectors. Then one may hope that if <math>f</math> does not have a large Fourier coefficient then the expression above is similar to what we get when <math>A</math> is random and otherwise we can raise the density for subspaces. (OK, you can try it directly for the <math>k=3</math> density HJ problem too but Sperner would be easier;)
This is not unrealeted to the regularity philosophy.
'''Gowers.31:''' Gil, a quick remark about Fourier expansions and the <math>k=3</math> case. I want to explain why I got stuck several years ago when I was trying to develop some kind of Fourier approach. Maybe with your deep knowledge of this kind of thing you can get me unstuck again.
The problem was that the natural Fourier basis in <math>[3]^n</math> was the basis you get by thinking of <math>[3]^n</math> as the group <math>\mathbb{Z}_3^n</math>. And if that’s what you do, then there appear to be examples that do not behave quasirandomly, but which do not have large Fourier coefficients either. For example, suppose that <math>n</math> is a multiple of 7, and you look at the set <math>A</math> of all sequences where the numbers of 1s, 2s and 3s are all multiples of 7. If two such sequences lie in a combinatorial line, then the set of variable coordinates for that line must have cardinality that’s a multiple of 7, from which it follows that the third point automatically lies in the line. So this set <math>A</math> has too many combinatorial lines. But I’m fairly sure — perhaps you can confirm this — that <math>A</math> has no large Fourier coefficient.
You can use this idea to produce lots more examples. Obviously you can replace 7 by some other small number. But you can also pick some arbitrary subset <math>W</math> of <math>[n]</math> and just ask that the numbers of 0s, 1s and 2s inside <math>W</math> are multiples of 7.
=== DHJ for dense subsets of a random set ===
'''Tao.18:''' A sufficiently good Varnavides type theorem for DHJ may have a separate application from the one in this project, namely to obtain a “relative” DHJ for dense subsets of a sufficiently pseudorandom subset of <math>[3]^n</math>, much as I did with Ben Green for the primes (and which now has a significantly simpler proof by Gowers and by Reingold-Trevisan-Tulsiani-Vadhan). There are other obstacles though to that task (e.g. understanding the analogue of “dual functions” for Hales-Jewett), and so this is probably a bit off-topic.
== Bibliography ==
== Bibliography ==

Revision as of 01:51, 13 February 2009

The Problem

Let [math][3]^n[/math] be the set of all length [math]n[/math] strings over the alphabet [math]1, 2, 3[/math]. A combinatorial line is a set of three points in [math][3]^n[/math], formed by taking a string with one or more wildcards [math]x[/math] in it, e.g., [math]112x1xx3\ldots[/math], and replacing those wildcards by [math]1, 2[/math] and [math]3[/math], respectively. In the example given, the resulting combinatorial line is: [math]\{ 11211113\ldots, 11221223\ldots, 11231333\ldots \}[/math]. A subset of [math][3]^n[/math] is said to be line-free if it contains no lines. Let [math]c_n[/math] be the size of the largest line-free subset of [math][3]^n[/math].

[math]k=3[/math] Density Hales-Jewett (DHJ(3)) theorem: [math]\lim_{n \rightarrow \infty} c_n/3^n = 0[/math]

The original proof of DHJ(3) used arguments from ergodic theory. The basic problem to be consider by the Polymath project is to explore a particular combinatorial approach to DHJ, suggested by Tim Gowers. Some background to this project can be found here, and general discussion on massively collaborative "polymath" projects can be found here.


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

A spreadsheet containing the latest lower and upper bounds for [math]c_n[/math] can be found here.

Here are some unsolved problems arising from the above threads.


  1. M. Elkin, "An Improved Construction of Progression-Free Sets ", preprint.
  2. 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.
  3. H. Furstenberg, Y. Katznelson, “A density version of the Hales-Jewett theorem“, J. Anal. Math. 57 (1991), 64–119.
  4. B. Green, J. Wolf, "A note on Elkin's improvement of Behrend's construction", preprint.
  5. K. O'Bryant, "Sets of integers that do not contain long arithmetic progressions", preprint.
  6. R. McCutcheon, “The conclusion of the proof of the density Hales-Jewett theorem for k=3“, unpublished.

Other resources