Jump to content

Talk:Double bubble theorem

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Accompanying photo

[edit]

I'm very glad that there's a photo that accompanies the article. Most folks appreciate abstract ideas better when they can visualize them. Good illustrations are hard to come by.

However, this photo does not show a minimal surface. The smaller bubble should push/bend into the larger bubble, but the illustration shows a flat surface between them. I mention it because this is a common misconception, and the illustration perpetuates that mistaken mental image.

Does anyone know what software was used to create the illustration in File:Double bubble.png? Thanks, 24.240.67.157 (talk) 01:33, 14 June 2015 (UTC)[reply]

I don't know, but maybe a better question is: what software can we use to get a good image that doesn't have this problem? I agree that it is a problem. —David Eppstein (talk) 02:33, 14 June 2015 (UTC)[reply]
Update: I replaced the bad illustration by a prettier photo. The two bubbles in the photo are quite unbalanced in size, making it more obvious that the surface between them is not flat. —David Eppstein (talk) 04:53, 14 June 2015 (UTC)[reply]

GA Review

[edit]
This review is transcluded from Talk:Double bubble theorem/GA1. The edit link for this section can be used to add comments to the review.

Reviewer: Kusma (talk · contribs) 15:11, 18 June 2022 (UTC)[reply]

Will take this one, shouldn't take too long unless my other reviews on hold all come back at once :) —Kusma (talk) 15:11, 18 June 2022 (UTC)[reply]

Progress box and general comments

[edit]
Good Article review progress box
Criteria: 1a. prose () 1b. MoS () 2a. ref layout () 2b. cites WP:RS () 2c. no WP:OR () 2d. no WP:CV ()
3a. broadness () 3b. focus () 4. neutral () 5. stable () 6a. free or tagged images () 6b. pics relevant ()
Note: this represents where the article stands relative to the Good Article criteria. Criteria marked are unassessed

Let's get started. A very nice topic (probably more accessible than most of geometric measure theory, and there is a nice story to tell about the proofs). I have seen Frank Morgan give a talk about it ca. 20 years ago, but I don't remember much of what he said, just that he enjoyed advertising his undergraduates :)

  • Images are free and appropriately licensed. Might be nicer to have one where the volumes are closer to equal, and/or a diagram, but the images work.
    • I like the lead image, because (1) it is pretty, (2) it shows a real double bubble without wind distortion making it non-spherical, and (3) you can clearly see in it that the central membrane is curved. I don't think we have a lot of other good double bubble photos on commons. But a 2d diagram should be possible. Equal areas is very easy to draw but non-equal but less unbalanced might be more informative. —David Eppstein (talk) 18:52, 19 June 2022 (UTC)[reply]
  • All sources are high quality reliable sources. Formatting is fine except that the Frank Morgan book (which is probably the single best resource for the interested non-expert) should have an ISBN or OCLC or other data that helps to find it.
  • Some page numbers could help, but I'll comment on that in detail in the prose review.
  • Standard copyvio tests are clear.
  • Stable and neutral.

More later! —Kusma (talk) 09:51, 19 June 2022 (UTC)[reply]

Content and prose review

[edit]
  • General mathematical comment: What you explain here is that if there is a minimal solution to the double bubble problem, it is the standard double bubble. What is missing completely is that there is such a thing as a minimal solution. (This is the content of Chapter 13 in Morgan's book). OK, your statement includes that, but none of the things you say about the proof contains existence of a solution to the problem. You should at least mention that it goes through a rather generalized definition of surfaces that then gets reduced again to ordinary surfaces by Taylor's theorem (13.9 in Morgan).
    • Existence of a solution is trivial: just surround the two volumes by disjoint spheres or cubes or whatever. I guess you must mean the fact that there is an area-minimizing solution, rather than a sequence of solutions that converges to but never reaches the minimum. I added a paragraph to the start of the "Statement" section outlining this issue and its solution in very general terms, with an expanded reference to Morgan's book. —David Eppstein (talk) 19:11, 20 June 2022 (UTC)[reply]
    It is existence of admissible double bubbles that is trivial, but as I said, existence of a minimal one is far from trivial. (One simple related counterexample I know is Weierstraß' example that is mentioned in Dirichlet's principle). Famously, Steiner believed he had proved the optimality of the circle in the Isoperimetric inequality by Steiner symmetrisation, but Perron's paradox shows that his reasoning is not valid unless there is an existence proof. —Kusma (talk) 19:45, 20 June 2022 (UTC)[reply]
    • Since you seem to have missed this, and are responding as if I were arguing against your point, let me repeat: I added a paragraph to the start of the "Statement" section outlining this issue and its solution. —David Eppstein (talk) 20:39, 20 June 2022 (UTC)[reply]
      It is better now.
  • Lead: Try to include an extra sentence about the proof and maybe about generalizations to make it a better summary of the article?
  • Statement: This section kind of starts with observation (Plateau's laws) stated about soap bubbles and then cited to Taylor's paper about minimal surfaces (with a highly technical definition in typical terms of geometric measure theory). We then have Young-Laplace, which is physics motivation for the equation for the radii. Then we get a definition of the standard double bubble, and then the statement of the theorem seems almost an afterthought. Could you untangle this a bit? I'm concerned that it looks like using physics to prove mathematics. Also, it might be easier on the reader to cite Plateau's laws also to a more accessibly written reference.
    • Mentioned Taylor's role in-text, moved the Taylor footnote there, and sourced the general statement of Plateau's laws to Morgan instead. Added a little text to the paragraph on double bubbles distinguishing physical principles (pressure difference) from mathematical principles (the equation obeyed by the three radii). —David Eppstein (talk) 19:29, 20 June 2022 (UTC)[reply]
      • Fine, although there is an issue with "division by zero. Solving "1/r=0" isn't really a division by zero, it is a proper (or degenerate, depending on your point of view) limit case. But maybe I am splitting hairs here?
        • The way I had in mind for solving for the middle radius was to rearrange the given radius formula into This really does give a division by zero. But I think putting this additional formula into the article explicitly would unbalance the coverage, giving unnecessary prominence to a minor technicality. —David Eppstein (talk) 17:55, 21 June 2022 (UTC)[reply]
        In my head, "division by zero" is solving , but you are right that is also accurately described as division by zero, so I withdraw that comment. —Kusma (talk) 18:22, 21 June 2022 (UTC)[reply]
  • History: if you mention 2D double bubbles, you could also mention 2D isoperimetry here.
  • Generalization to higher dimensions: you could mention the group of undergraduates that includes Reichardt that did the 4D case a few years before he did the general case.
  • Gaussian double bubbles: you could consider naming the authors and say that they proved something.
  • Proof: Here we are missing the existence bit.
    This is the fallacy exposed in Perron's paradox. You know, the proof that 1 is the largest integer? Obviously, 1 is an integer (you said "obviously the double bubble exists"). If n is the largest integer, then if n>1 we have n2 > n ("nothing is better"), so we must have n=1 . —Kusma (talk) 20:21, 20 June 2022 (UTC)[reply]
  • Brian White: According to the source, it is an "idea by White, written up by Foisy and Hutchings".
    • Yes? So it is a lemma of White. We cannot copy the exact wording of our sources; that would be plagiarism. —David Eppstein (talk) 19:51, 20 June 2022 (UTC)[reply]
      • I'm concerned people might look for it in Brian White's works, but I won't argue.
  • Rest of the proof section is excellent.
  • Related problems: Is Sullivan talking about equal volumes or more generally?
  • Kelvin conjecture: Would it make sense to try an "as of" date for the fact that we don't know whether Weaire-Phelan is optimal?
    • I'd prefer not. That tends to cause more difficulties than it solves: we would need to continually find more recent sources to update the date for which it remains unknown, and then well-meaning gnomes would keep updating the "as of" date to the present without finding those sources. If it ever gets solved, we would need to do a thorough search through the encyclopedia to find mentions in need of updates, regardless of whether they were dated or not. So it doesn't help the readers (because the gnome updates will mean that it contains no more actual information than an undated statement), doesn't help editors change the text if it ever needs changing, and causes ongoing maintenance and verifiability issues. —David Eppstein (talk) 21:14, 20 June 2022 (UTC)[reply]
  • Curve shortening flow: As the volumes are not constant in this flow, I am not convinced that this is related enough.
Anyway, looking at the source I think you should clarify what they say: the actual evolution of course goes to the smaller volume disappearing, but if you go and blow up the solution to constant volume anyway, it will look like the vesica piscis. This is explained better over at Curve-shortening_flow#Gage–Hamilton–Grayson_theorem.
  • You could make it clearer that the triple bubble problem has been done in 2D but it is open in 3D and higher, and Morgan even calls it "inaccessible".
  • External links are OK, even if MathWorld is a bit out of date.

I think that's all. Other than perhaps talking about existence, mostly very small issues. Thank you for the new image! —Kusma (talk) 11:00, 20 June 2022 (UTC)[reply]