I’ve just opened the research thread for the mini-polymath3 project over at the polymath blog. I decided to use Q2 of this year’s IMO, in part to see how the polymath format copes with a geometric problem. (The full list of questions for this year is available here.)
This post will serve as the discussion thread of the project, intended to focus all the non-research aspects of the project such as organisational matters or commentary on the progress of the project. The third component of the project is the wiki page, which is intended to summarise the progress made so far on the problem.
As with mini-polymath1 and mini-polymath2, I myself will be serving primarily as a moderator, and hope other participants will take the lead in the research and in keeping the wiki up-to-date.
19 comments
Comments feed for this article
19 July, 2011 at 12:01 pm
Minipolymath3 project: 2011 IMO « The polymath blog
[…] 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 […]
19 July, 2011 at 12:13 pm
International Maths Olympiad 2011 « viXra log
[…] a Fields medalist and expert solver of IMO type problems has been running a mini-polymath feature on his blog each year and the third one starts today, in case you want to join in the fun. He will choose the […]
19 July, 2011 at 12:31 pm
CLH
I struck down the wrong path almost instantly. The following discussion has little to do with planar geometry, so it is in effect worthless. But for what it is worth:
Seems to me that a ‘pivot’ is a mapping from a point P in S to a point Q in S, e.g. f_p(P) = Q. This could be the edge, for instance, of a directed graph. Then what we need to show is that there’s always some element P* and integer k such that:
S = {f_p(P*)} U {f_p(f_p(P*))} U {f^3_p(P^*)} U … U {f^k_p(P^*)}
and f^k_p(P^*) = P^*.
In other words P^* generates all of S under f_p, and also generates itself.
We could map P to a directed multigraph by labeling each node by Q in S, and each edge by sequence (P,Q_1,…,Q_k) of nodes passed through to reach Q from P, ceasing to label at the first occurrence of (P,…,Q_i,P,…,Q_i,P) as this is in some sense the fundamental cycle. This graph will always be a cycle, but may include orphan nodes. Denote this multigraph by G(P). Then the statement is G(P*) has no orphan nodes.
19 July, 2011 at 12:33 pm
Miro
I started a chat for the Minipolymath3 at the following address:
http://numbersruletheuniverse.com/room/agyca8y3
LaTex formulas should be enclosed between dollar signs in the chat. The site has a whiteboard as well. Internet Explorer support is somewhat limited, but other browsers should work well.
Disclaimer: I am the owner of the site, and I use it for personal tutoring. I thought it could be useful for polymath projects too.
19 July, 2011 at 1:19 pm
EPL
Does analyzing starting configurations which don’t work help us? Let’s assume the points aren’t in convex position (o/w it’s trivial). One that springs to mind quickest is if we start with a point on the convex hull of S with a line which doesn’t intersect the hull. Another one would be if we have lets say 20
points in S evenly spread around the unit circle centered at the origin and the
rest of S close to the origin. Starting with a line joining two close points on the circle we can never get at the center points. Any more interesting examples?
19 July, 2011 at 1:27 pm
Kerry
Dear Terry,
Do you already know a solution to this problem? How long did it take you to solve it?
19 July, 2011 at 1:57 pm
Terence Tao
The first confirmed solution to the problem has now appeared (74 minutes after the project started), though some expansion of the argument would be needed to turn it into a complete solution. (For comparison, mini-polymath2 was solved in 148 minutes, and mini-polymath1 ran on for about two days. Of course, this may be due in large part to the relative difficulty of the selected problems.)
This time around, I deliberately refrained from participating (beyond updating the wiki and other administrative tasks), to see whether the discussion would self-organise. (Also, I accidentally ran across an online solution to the problem while setting up the project.) It seems that there was barely enough organisation to be able to follow the threads, although as with the other polymath projects, the discussion did move at an impressively fast rate (over 80 comments in two hours), and it is not clear whether even perfect organisation would really make much of a difference.
It seems to me that the geometric nature of the problem did not really slow down discussion too much – people seemed to be able to communicate with each other even without the ability to draw pictures or wave hands.
I would be interested to hear the impressions of other participants or observers on the project.
19 July, 2011 at 2:19 pm
Thomas H
I found it enjoyable. I believe it does some time to explain (and read) geometric examples, even when a picture makes something clear in a second. A sketchpad might be useful.
I think the key observation was really that the number of points on the right of the line is constant. After this, it really is not such a big step to find the solution.
19 July, 2011 at 2:30 pm
Gal
First of all, thank you! This was really fun and I would be very interested in participating in more sessions like this one.
1. I think this was so much fun precisely because the request not to work in isolation. This contributed to a very relaxed atmosphere, where we could just swap ideas. The encouragement to make “trivial” observation also removed barriers and fears. All in all, I think it has captured the quintessence of the collaborative spirit, and it is great fun to do math collaboratively.
2. Organizationally, I think things were fine as long as we could develop comments into threads via their replies. I believe at some point it would have become unruly, but it didn’t happen here.
3. The wiki was really helpful; I personally used it to read summaries and overviews. It was mainly constructed by quoting the comments, which is great – and I think it would have been even better if there were links to the quoted comments (so that people could find it easily and reply directly).
As I said, I would love to participate again (with IMO questions, Putnam, IMC, etc.). Thanks a lot for organizing this!
Gal.
19 July, 2011 at 8:37 pm
Haggai Nuchi
This was the first polymath I participated in, and I have mixed feelings about whether I feel it was successful.
On the one hand, if the only metric for success is how fast the problem is solved, then 74 minutes is nothing to sneeze at. On the other hand, I find that my expectations for what it would be like to be a part of a mass-mind solution were not met.
Let me explain: part of what I enjoy about doing math collaboratively is being able to see the effect my ideas have on other people. Seeing someone else complete a solution that has my idea hidden inside provides a neat thrill.
The solution that was found was too simple for me to clearly see the influence of other ideas on it. I’m not suggesting that the solution is trivial or easy to find — it involves a very nice idea which is not immediately obvious. I’m also not suggesting that the previous contributors’ ideas had no effect on producing this solution. I’m just saying that the solution didn’t *obviously* depend on previous comments, and hence makes it a little bit less fun for all those previous contributors.
Of course, it’s impossible to predict whether this will happen in advance when one does not already know what a solution will look like. Maybe this is a feature of contest problems? I don’t know how many of them are designed to be solved with just a single trick.
20 July, 2011 at 11:23 am
Srivatsan Narayanan
I too am slightly disappointed that the solution ended up using just one or two neat observations. At the same time, I also enjoyed seeing so many other ideas that still seem not quite useful to solve the problem. To me, this shows how solving a problem typically requires pursuing multiple approaches, only a few of which will eventually succeed.
Terry, I have a question about *your* experience while organizing Minimath 3. What factors made you pick this particular question out a pool of 6 apparently-equally-good ones? Note that even restricting oneself to geometry problems, there was still an alternative (Q6).
20 July, 2011 at 12:37 pm
Terence Tao
To be honest, I felt Q2 was the least bad option for the mini-polymath this time around. Q6 could conceivably be solved by a brute force approach (e.g. using a symbolic computation package, such as Maple), and the inability to easily communicate diagrams to each other would have been rather annoying. For Q4 one could use, say, the OEIS to find the right guess for the answer, and then presumably it would be a routine induction. The other three questions were relatively easy and would have fallen very quickly to a polymath approach, I think. Q2 did indeed rely mostly on one or two neat observations, but it did have the advantage of having a very elementary and appealing formulation, which I thought might make for a more entertaining (albeit briefer) experience than, say, Q6.
Another issue (which fortunately didn’t spoil the project) was that by the time the project started, solutions to all six questions were already available online, which I had not expected to happen quite as rapidly as it did. It made me wonder if for future mini-polymath projects, one would have to select a more obscure problem than an IMO problem from the most recent Olympiad. (But perhaps that would take some of the fun out of it.)
5 August, 2011 at 2:54 pm
Nikita Sidorov
What about Q1? Specifically, is the answer known for the general $n$-tuples of distinct positive integers with sums of $m$ numbers out of $n$?
20 July, 2011 at 10:33 am
Seungly Oh
This was a very fun and unique experience! Thank you for taking your time to organize it. It really provided a refreshing break from work.
The biggest challenge for me during this event was trying to follow multiple threads, while working on the problem myself. It would be nice if I could hire a secretary who could keep me up to date while I work otherwise undisturbed on my board. I realize that one eventually needs to pick a thread and go with it. If only I could know in advance which thread would be the winning one. I know that you have mentioned that this should not be a race, but for all intents and purposes, it was a race, however a collaborative one. And that particularly made it more enjoyable for me, reminding of math competitions during high school years.
I hope this sort of event continues either here or elsewhere, and I will gladly take a break from my work each time!
19 July, 2011 at 3:12 pm
Mini-polymath3 « Euclidean Ramsey Theory
[…] The mini-polymath3 was today. Here is the research thread. The wiki is here. There is a discussion thread here. […]
20 July, 2011 at 6:08 am
Mini Polymath « OU Math Club
[…] of the IMO problems. It started yesterday at 2pm Oklahoma time and already has 130+ comments! If you’re interested in joining in, go here. This year’s question is geometric: Problem 2. Let be a finite set of at least two […]
22 July, 2011 at 3:48 am
Damien Thomine (Garf)
It was quite a fun experience. I think the collaboration worked pretty well, and allowed people to get out of some dead end (instead of getting stuck in, for instance, approaches via graphs). A few comments :
* There was no (or at least I didn’t find) option to see the “last comments”. That would be helpful, especially when there are about 15 threads to follow. The wiki provided some relief, though.
* I would like to see how this medium would cope with “more geometrical” problems. For instance, if one has to introduce some new points, I wonder what would happen if different notations appeared. I also think problems such as (IMO 1996, Problem 1) and (IMO 2004, problem 3) would be quite challenging without pictures.
Anyway, that was really nice. Thank you !
22 July, 2011 at 1:30 pm
mstudent
Aside comment: the actual IMO results are now out http://official.imo2011.nl/year_individual_r.aspx?year=2011 The stats show that Q2 was the second most difficult one after Q6 http://official.imo2011.nl/year_statistics.aspx?year=2011
As for the winners, there’s one perfect score, and also a 13 year-old peruvian contestant who won gold after having won bronze and silver already, so he’s nearly matched Terry’s IMO achievements! It’s great and I hope all those talented students will be well looked after academically speaking so as to develop into profound mathematicians.
9 August, 2019 at 5:34 am
3D windmill
A generalization of the windmill problem to three dimensions:
Consider a set S of points in 3D, no four of which are coplanar. A 3D windmill is the following process: A plane, containing a ray Q which originates at some point q in S, starts rotating about Q (Q defines the direction of rotation by the right hand rule). If the rotating plane’s next intersection with S is at point r, then the plane “pivots” to r: the plane now starts rotating about a ray R, originating at r, that lies in the plane. The process continues indefinitely, with the pivoting always happening whenever the plane intersects S.
Prove that one can choose the initial point q and a line L such that a 3D windmill, starting at q, passes through each point in S infinitely often even if all the rotation-defining rays are constrained to be parallel to L.
The solution rests on a reduction to the solution of the 2D windmill:
There exists a plane P* such that no three points in S have collinear projections in P* (which implies that the projections to P* are distinct points). Choose q to be the point dictated by the 2D windmill solution to the problem in P*. Choose L to be the line passing through q and its projection in P*. The plane for the 3D windmill’s solution is determined by the line in the 2D windmill’s solution in P* and the line passing through the pivot point and its projection in P*.
Proving the existence of P* proceeds from assuming the contrary:
Consider the infinitely many distinct planes that pass through some point p in 3D (p doesn’t need to be a point of S). If each of them have three (or more) collinear projections of the (finite number of) points in S, then at least one triplet of points in S has collinear projections in infinitely many distinct planes passing through p. This implies that the triplet is collinear, which implies that any fourth point in S will be coplanar with this triplet, which contradicts the hypothesis.