The polymath blog

February 14, 2011

Polymath4: Referee report obtained

Filed under: finding primes,news — Terence Tao @ 11:34 am

An update on the status of the Polymath4 paper on finding primes.  I’ve received a referee report from Mathematics of Computation on the submission, which can be found here.   The referee liked the result but wanted a fair number of expository changes before he or she was willing to recommend acceptance, so the editor has asked for a revision.  I will be happy to make the relevant changes, but if there are any other changes that other participants would like to make, now would be a good time to suggest them.  (The most recent version of the paper can be found at the Subversion repository or at this link; see also the arXiv version.)

One change requested is to add a list of participants to the project.  In analogy with what we did for Polymath1, I therefore started a “signup sheet” on the wiki at

http://michaelnielsen.org/polymath1/index.php?title=Polymath4_grant_acknowledgments

for people to self-report their participation, contact information, and grant information for the project.    There is the usual problem of trying to decide who is a “main participant” of the project, and who is a “contributor” (though I think I can safely add Ernie, Harald, and myself as participants); as with Polymath1, I will leave it to each of you to self-report what level of participation you feel is appropriate.

February 13, 2011

Can Bourgain’s argument be usefully modified?

Filed under: Improving Roth bounds — gowers @ 6:23 pm

I’ve been feeling slightly guilty over the last few days because I’ve been thinking privately about the problem of improving the Roth bounds. However, the kinds of things I was thinking about felt somehow easier to do on my own, and my plan was always to go public if I had any idea that was a recognisable advance on the problem.

I’m sorry to say that the converse is false: I am going public, but as far as I know I haven’t made any sort of advance. Nevertheless, my musings have thrown up some questions that other people might like to comment on or think about.

Two more quick remarks before I get on to any mathematics. The first is that I still think it is important to have as complete a record of our thought processes as is reasonable. So I typed mine into a file as I was having them, and the file is available here to anyone who might be interested. The rest of this post will be a sort of digest of the contents of that file. The second remark is that I am writing this as a post rather than a comment because it feels to me as though it is the beginning of a strand of discussion rather than the continuation of one, though it grows out of some of the comments made on the last post. Note that since we are operating on the Polymath blog, anybody else is free to write a post too (if you are likely to be one of the main contributors, haven’t got moderator status and want it, get in touch and I can organize it).

The starting point for this line of thought is that the main difficulty we face seems to be that Bourgain’s Bohr-sets approach to Roth is in a sense the obvious translation of Meshulam’s argument, but because we have to make a width sacrifice at each iteration it gives a (\log N)^{-1/2} type bound rather than a (\log N)^{-1} type bound. Sanders’s argument gives a (\log N)^{-1} type bound, but if we use that then it is no longer clear how to import the new ideas of Bateman and Katz. Therefore, peculiar as it might seem to jettison one of the two papers that made this project seem like a good one in the first place, it is surely worth thinking about whether the width sacrifice that Bourgain makes (and that is also made in subsequent refinements of Bourgain’s method, due to Bourgain and Sanders) is fundamentally necessary or merely hard to avoid. (more…)

February 5, 2011

Polymath6: improving the bounds for Roth’s theorem

Filed under: polymath proposals — gowers @ 12:03 pm

For the time being this is an almost empty post, the main purpose of which is to provide a space for mathematical comments connected with the project of assessing whether it is possible to use the recent ideas of Sanders and of Bateman and Katz to break the 1/\log N barrier in Roth’s theorem. (In a few hours’ time I plan to write a brief explanation of what one of the main difficulties seems to be.)

Added later. Tom Sanders made the following remarks as a comment. It seems to me to make more sense to have them as a post, since they are a good starting point for a discussion. So I have taken the liberty of upgrading the comment. Thus, the remainder of this post is written by Tom.


This will hopefully be an informal post on one aspect of what we might need to do to translate the Bateman-Katz work into the \mathbb{Z}/N\mathbb{Z} setting.

One of the first steps in the Bateman-Katz argument is to note that if A \subset \mathbb{F}_3^n is a cap-set (meaning it is free of three-term progressions) of density \alpha then we can assume that there are no large Fourier coefficients, meaning

\sup_{0_{\widehat{G}}\neq\gamma \in \widehat{\mathbb{F}_3^n}}{|\widehat{1_A}(\gamma)|} \leq C\alpha/n.

They use this to develop structural information about the large spectrum, \rm{Spec}_{\Omega(\alpha)}(1_A), which consequently has size between \Omega(C^{-3}n^3) and O(\alpha^{-3}). This structural information is then carefully analysed in the `beef’ of the paper. (more…)

September 30, 2010

Polymath3 (polynomial Hirsch conjecture) now officially open

Filed under: news — Terence Tao @ 4:38 pm
Tags:

After some discussion and a lengthy hiatus, the Polymath3 project (on attacking the polynomial Hirsch conjecture via combinatorial means) has officially started with a new research thread on Gil Kalai’s blog (which, for now, can also double as the discussion thread, given that the activity level is still quite low), and a Polymath wiki page.

July 8, 2010

Minipolymath2 project: IMO 2010 Q5

Filed under: polymath proposals — Terence Tao @ 3:56 pm

This post marks the official opening of the mini-polymath2 project to solve a problem from the 2010 IMO.  I have selected the fifth question (which appears to be slightly more challenging than the sixth, for a change) as the problem to focus on:

Problem. In each of six boxes B_1, B_2, B_3, B_4, B_5, B_6 there is initially one coin. There are two types of operation allowed:
  1. Type 1: Choose a nonempty box B_j with 1 \leq j \leq 5. Remove one coin from B_j and add two coins to B_{j+1}.
  2. Type 2: Choose a nonempty box B_k with 1 \leq k \leq 4. Remove one coin from B_k and exchange the contents of (possibly empty) boxes B_{k+1} and B_{k+2}.
Determine whether there is a finite sequence of such operations that results in boxes B_1, B_2, B_3, B_4, B_5  being empty and box B_6 containing exactly 2010^{2010^{2010}} coins. (Note that a^{b^c} := a^{(b^c)}.)
The comments to this post shall serve as the research thread for the project, in which participants are encouraged to post their thoughts and comments on the problem, even if (or especially if) they are only partially conclusive.  Participants are also encouraged to visit the discussion thread for this project, and also to visit and work on the wiki page to organise the progress made so far.
This project will follow the general polymath rules.  In particular:
  1. All are welcome. Everyone (regardless of mathematical level) is welcome to participate.  Even very simple or “obvious” comments, or comments that help clarify a previous observation, can be valuable.
  2. No spoilers! It is inevitable that solutions to this problem will become available on the internet very shortly.  If you are intending to participate in this project, I ask that you refrain from looking up these solutions, and that those of you have already seen a solution to the problem refrain from giving out spoilers, until at least one solution has already been obtained organically from the project.
  3. Not a race. This is not intended to be a race between individuals; the purpose of the polymath experiment is to solve problems collaboratively rather than individually, by proceeding via a multitude of small observations and steps shared between all participants.   If you find yourself tempted to work out the entire problem by yourself in isolation, I would request that you refrain from revealing any solutions you obtain in this manner until after the main project has reached at least one solution on its own.
  4. Update the wiki. Once the number of comments here becomes too large to easily digest at once, participants are encouraged to work on the wiki page to summarise the progress made so far, to help others get up to speed on the status of the project.
  5. Metacomments go in the discussion thread. Any non-research discussions regarding the project (e.g. organisational suggestions, or commentary on the current progress) should be made at the discussion thread.
  6. Be polite and constructive, and make your comments as easy to understand as possible. Bear in mind that the mathematical level and background of participants may vary widely.

Have fun!

June 29, 2010

Draft version of polymath4 paper

Filed under: discussion,finding primes — Terence Tao @ 8:36 pm

I’ve written up a draft version of a short paper giving the results we already have in the finding primes project.  The source files for the paper can be found here.

The paper is focused on what I think is our best partial result, namely that the prime counting polynomial \sum_{a < p < b} t^p \hbox{ mod } 2 has a circuit complexity of O(x^{1/2-c+o(1)}) for some absolute constant c>0 whenever 1 < a < b < x and b-a < x^{1/2+c}.  As a corollary, we can compute the parity of the number of primes in the interval [a,b] in time O(x^{1/2-c+o(1)}).

I’d be interested in hearing the other participants opinions about where to go next.  Ernie has suggested that experimenting with variants of the algorithm could make a good REU project, in which case we might try to wrap up the project with the partial result and pass the torch on.

June 12, 2010

Mini-polymath proposal: IMO 2010 Q6

Filed under: news,planning,polymath proposals — Terence Tao @ 11:16 pm

I am proposing the sixth question for the 2010 International Mathematical Olympiad (traditionally, the trickiest of the six problems) as a mini-polymath project for next month.  Details and discussions are in this post on my other blog.

[Update, June 27: the project is scheduled to start on Thursday, July 8 16:00 UTC.]


January 9, 2010

Polymath5: Erdős’s discrepancy problem

Filed under: polymath proposals — Gil Kalai @ 10:56 pm

Is taking place on Gowers’s blog!

December 31, 2009

Proposal (Tim Gowers): Erdos’ Discrepancy Problem

Filed under: polymath proposals — Gil Kalai @ 3:11 pm

For a description of Erdos’ discrepancy problem and a large discussion see this blog on Gowers’s blog.

The decision for the next polymath project over Gowers’s blog will be between three projects: The polynomial DHJ problem, Littlewood problem, and the Erdos discrepency problem. To help making the decision four polls are in place!

November 20, 2009

Proposals (Tim Gowers): Polynomial DHJ, and Littlewood’s problem

Filed under: polymath proposals — Gil Kalai @ 10:06 am

Tim Gowers described two additional proposed polymath projects. One about the first unknown cases of the polynomial Density Hales Jewett problem. Another about the Littelwood’s conjecture.

I will state one problem from each of these posts:

1) (Related to polynomial DHJ) Suppose you have a family \cal F of graphs on n labelled vertices, so that we do not two graphs in the family G,H such that H is a subgraph of G and the edges of G which are not in H form a clique. (A complete graph on 2 or more vertices.) can we conclude that |{\cal F}| =2^{o({{n} \choose {2}}}? (In other words, can we conclude that \cal F contains only a diminishing fraction of all graphs?)

Define the “distance” between two points in the unit cube as the product of the absolute value of the differences in the three coordinates. (See Tim’s remark below.)

2) (Related to Littlewood) Is it possible to find n points in the unit cube [0,1]^3 so that the “distance” between any two of them is at least 1/100000000000000000000n?

A negative answer to Littlewood’s problem will imply a positive answer to problem 2 (with some constant). So the pessimistic saddle thought would be that the answer to Problem 2 is yes without any bearing on Littlewood’s problem.

« Previous PageNext Page »

The Rubric Theme. Blog at WordPress.com.

Follow

Get every new post delivered to your Inbox.

Join 244 other followers