What Is Research?

August 9, 2009

Collaborative mathematics, etc.

Filed under: polymath — vipulnaik @ 12:51 am

UPDATE: See the polymath project backgrounder for the latest information.

It’s been some time since I last wrote about the polymath project (see this, this for past coverage), and an even longer time since I wrote an extremely lengthy blog post about Michael Nielsen’s ideas about collaborative science.

The first polymath project, polymath1, was about the density Hales-Jewett theorem. This was declared a success, since the original problem was solved within about a month, though the writing up of the paper is still proceeding. The problem for the project was proposed by Timothy Gowers.

Terry Tao (WordPress blog) has now started a polymath blog discussing possible open problems for the polymath project, strategies for how to organize the problem-selection and problem-solving process, and other issues related to writing up final solutions and sharing of credit.

In this blog post, Jon Udell reflects on how the introduction of LaTeX typesetting into wordpress was a positive factor in getting talented mathematicians like Terence Tao and Timothy Gowers into the blogosphere, and leading to innovative user projects such as the polymath project. Udell notes that introducing existing typesetting solutions into new contexts such as Internet blogging software can have profound positive effects. (more…)

March 24, 2009

Concluding notes on the polymath project — and a challenge

Filed under: polymath,Wikis — vipulnaik @ 4:27 pm

In this previous blog post, I gave a quick summary of the polymath project, as of February 20, 2009. The project, which began around February 2, 2009, has now been declared successful by Gowers. While the original aim was to find a new proof of a special case of an already proved theorem, the project seems to have managed to find a new proof of the general case. There’s still discussion on how to clean up, prepare the draft of the final paper, and wrap up various loose ends.

In a subsequent blog post, Gowers gave his own summary of the project as well as what he thinks about the future potential of open collaborative mathematics. Michael Nielsen, who hosted the Polymath1 wiki where much of the collaboration occurred, also weighed in with this blog post.

In Gowers’ assessment, the project didn’t have the same kind of massive participation as he had hoped for. People like Gowers and Terence Tao participated quite a bit, and there were also a number of other people who made important contributions (my own estimate of this is around eight or nine, based on the comment threads, with an additional three or four who made a few crucial comments but did not participate extensively). But it still wasn’t “massive” the way that Gowers had envisaged it. Nielsen felt that, for a project just taking off, it did pretty well. He compared it to the early days of Wikipedia and the early days of Linux, and argued that the polymath project did pretty well compared to these other two projects, even though those projects probably had a lot larger appeal.

Good start, but does it scale?

Before the polymath project began (or rather, before I became aware of it), I wrote this blog post, where my main point was that while forums, blogs and “activity” sound a lot appealing, the greater value creation lies in having reliable online reference material that people can go to.

Does that make me a critic of polymath projects?

Well, yes and no. I had little idea at the time (just like everybody else) about whether the particular polymath project started by Gowers would be a success. Moreover, because Ramsey theory is pretty far from the kind of math I have a strong feel for, I had no idea how hard the problem would be. Nonetheless, a solution within a month for any nontrivial problem does seem very impressive. More important than the success in the project, what Gowers and the many others working on it should be congratulated for is the willingness to invest a huge amount of time into this somewhat new approach to doing math. Only through experimentation with new approaches can we get a feel for whether they work, and Gowers has possibly kickstarted a new mode of collaboration.

The “no” part, though, comes from my strong suspicion that this kind of thing doesn’t scale. (more…)

February 20, 2009

A quick review of the polymath project

Filed under: polymath — vipulnaik @ 12:15 am

In an earlier blog post on new modes of mathematical collaboration, I offered my critical views on Michael Nielsen’s ideas about making mathematics more collaborative using the Internet. Around the time, Timothy Gowers, a prominent mathematician, was inspired by Michael Nielsen’s post, to muse in this blog post about whether massively collaborated mathematics is possible. The post was later critiqued by Michael Nielsen.

Since then, Gowers decided to actually experiment with solving a problem using collaborative methods. The project is called the “polymath” project. “Polymath” means a person with extensive knowledge of a wide range of subjects. Gowers was arguably punning on the word, with the idea being that when many people do math together, it is like a “polymath”.

Gowers, who is more of a problem-solver than a theory-builder, naturally chose solving a problem as the testing ground for collaborative mathematics. Further, he chose a combinatorial problem (the density Hales-Jewett theorem) that had already been solved, albeit by methods that were not directly combinatorial, and defined his goal as trying to get to a combinatorial solution for the problem. Gowers wrote a background post about the problem and a post about the procedure, where he incorporated feedback from Michael Nielsen and others. These rules stipulated, among other things, that those participating in the collaborative project must not try to think too much about the problem away from the computer, and must not do any technical calculations away from the computer. Rather, they should share their insights. The idea was to see whether sharing and pooling insights led to discovery faster than working on them alone. I may have misunderstood Gowers’ words, so I’ll quote them here:

If you are convinced that you could answer a question but that it would just need a couple of weeks to go away and try a few things out, then still resist the temptation to do that. Instead, explain briefly, but as precisely as you can, why you think it is feasible to answer the question and see if the collective approach gets to the answer more quickly. (The hope is that every big idea can be broken down into a sequence of small ideas. The job of any individual collaborator is to have these small ideas until the big idea becomes obvious — and therefore just a small addition to what has gone before.) Only go off on your own if there is a general consensus that that is what you should do.

In the next post, Gowers listed his ideas broken down into thirty-eight points. He also clarified the circumstances under which the project could be declared finished. In Gowers’ words:

It is not the case that the aim of the project is to find a combinatorial proof of the density Hales-Jewett theorem when k=3. I would love it if that was the result, but the actual aim is more modest: it is either to prove that a certain approach to that theorem (which I shall soon explain) works, or to give a very convincing argument that that approach cannot work. (I shall have a few remarks later about what such a convincing argument might conceivably look like.)

In the next post, Gowers explained the rationale for selecting this particular problem. He explained that, first, he wanted to select a serious problem, the kind whose solution would be considered important for researchers in the field. Second, he didn’t want to select a problem that was parallelizable in a natural sense — rather, he believes that the solution to every problem does parallelize at some stage, and how this parallelization is to occur can itself be determined.

By this time, Gowers’ blog was receiving hundreds of comments, mostly comments by Gowers himself, but also including comments from distinguished mathematicians such as Terence Tao. Tao has his own blog, and he published a post giving the background of the Hales-Jewett theorem and a later post with some of his own ideas about the problem.

A few days later, Gowers announced at the end of this post that there was a wiki on the enterprise of solving the density Hales-Jewett theorem. In the same post, Gowers also summarized all the proof strategies that had come up thanks to the comments. Since then, there have been no more blog posts about the problem.

A look at the wiki

It’s still early days to know the eventual shape that the Polymath1 wiki will take. One thing that seems to be conspicuous by its absence is a copyright notice. This could create problems, particularly considering that this is a collaboratively edited website aimed at solving a problem.

There are some other things that I think need to be decided.

  1. Is the wiki intended only to provide leads or reference points to ideas elaborated elsewhere, or is it intended to provide the structure, substance and background material as well? If the former is the case, then the wiki can be designed in a problem-centric fashion. However, if the wiki is designed this way (i.e., only to provide leads), its generic comprehensibility is going to be poor. Moreover, the “cross-fertilization” of ideas with other problems is going to be minimal if the organization is centered completely around the density Hales-Jewett theorem. On the other hand, if the wiki provides too much of background information, it would be better to organize it according to the background information. This would make it lose its problem-specific focus. I think there is a trade-off here.

  2. Style of pages: The pages currently have a very conversational style. This may be because, currently, the pages are adaptations of material put up in blog posts and blog comments. But this conversational style makes it hard to use the pages as a handy reference or lookup point.

  3. Classifying page types: There needs to be some sort of separation between definition pages, pages about known theorems, pages about speculation and conjectures, and pages describing conjectures and thoughts. As of now, such a separation or classification is not available.

  4. Interfacing with other reference sources: If (and this goes back to the first point) it is decided that the wiki will not provide too much background information and will focus on a style suited to the problem focus, then some decisions will need to be made on how to link up to outside reference sources.

  5. Linking mechanisms between pages: A person who reads about one idea, definition, theorem, or conjecture, should have a way of knowing what else is most closely related to that. Robust linking mechanisms need to be decided for this.

To give an illustration of this, consider the current page on Line (permalink to current version). This page introduces definitions for three kinds of “lines” talked about in combinatorics — combinatorial lines, algebraic lines, and geometric lines. Some of the things I’d recommend for this page are:

  • Create separate pages for combinatorial line, algebraic line, geometric line.

  • In each page, create a “definition” section with a precise definition, and perhaps an “examples” section with examples, as well as links to the other two pages, explaining the differences.

  • For the page on combinatorial line, link to generalizations such as combinatorial subspace.

  • For the page on combinatorial line, provide a reverse link to pages that use this concept, or link to expository articles/blog entries that explain how and why the concept of combinatorial line is important.

Here are some suggestions on the theorem pages.

  • Create a separate section in the theorem page giving a precise statement of the theorem.

  • For each theorem, have sections of the page devoted to listing/discussing stronger and weaker theorems, generalizations and special cases. For instance, the coloring Hales-Jewett theorem is “weaker” than the density Hales-Jewett theorem as well as the Graham-Rothschild theorem.

Another suggestion I’d have would be to use the power of tools such as Semantic MediaWiki to store the relationships between theorems in useful ways.

I’ll post more comments as things progress.

Create a free website or blog at WordPress.com.