The silent hexagon: explaining comb structures

Abstract

The paper presents, and discusses, four candidate explanations of the structure, and construction, of the bees’ honeycomb. So far, philosophers have used one of these four explanations, based on the mathematical Honeycomb Conjecture, while the other three candidate explanations have been ignored. I use the four cases to resolve a dispute between Pincock (Mathematics and Scientific Representation, Oxford University Press, Oxford, 2012) and Baker (Synthese, 2015) about the Honeycomb Conjecture explanation. Finally, I find that the two explanations focusing on the construction mechanism are more promising than those focusing exclusively on the resulting, optimal structure. The main reason for this is that optimal structures do not uniquely determine the relevant optimization leading to the optimal structure.

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Notes

  1. 1.

    See the entry ‘The evolution of honeycomb’ of the Darwin Correspondence Project, https://www.darwinproject.ac.uk/the-evolution-of-honey-comb, last retrieved June 23, 2015, and references therein.

  2. 2.

    Not only certain kinds of bees (such as Apis mellifera), but also hornets (such as Vespa orientalis), and social wasps, build combs of high regularity.

  3. 3.

    I will drop the qualifier “candidate” from here on. It should be noted that all four proposals are not (fully) accepted as actual explanations in science.

  4. 4.

    Fejes Tóth’s formulation of honeycomb-type structures is but one possibility. In principle, there might be other relevant kinds of honeycombs. For example, honeycombs with different global structures, say, cells between two concentric cylinders, might be taken into consideration.

  5. 5.

    The width w is the distance between the two planes. The choice of width determines the depth of cells: if the width is large compared to the volume, i.e., if \(w \gg \root 3 \of {v}\), which is true for actual honeycombs, then the cells will be deep orthogonal to the planes; otherwise, they will be shallow. Fejes Tóth also considers the optimization problem which lets the width of cells vary; this is the second isoperimetric problem. He shows that the bees’ solution is not optimal with respect to this problem, but notes that it might be biologically sensible to let the cells be of a certain, fixed depth: a certain depth might be necessary for breeding purposes. Thus, the biologically relevant problem is the first isoperimetric problem.

  6. 6.

    Fejes Tóth’s is only a relative optimality result. The optimal solutions to both isoperimetric problems seems to be unknown.

  7. 7.

    For example, the optimal solution to the first isoperimetric problem formulated by Fejes Tóth is still open. Even problems that seem relatively easy are unsolved. For example, the optimal way of stacking cylinders in two layers is unknown; the same is true for the general “tin can stacking problem” in three dimensions; see Hales (2000, p. 440).

  8. 8.

    The following discussion of different kinds of (mathematical) foams is based on Klarreich (2000) and Hales (2000). Weaire and Hutzler (1999) give an introduction to the physical aspects of foams.

  9. 9.

    The solution to the circle packing problem is depicted in Fig. 3, part (a). See Szpiro (2003, ch. 3–4) for a detailed account of the history of the problem.

  10. 10.

    The Kepler problem was solved by Hales, but the Kelvin problem remains open. For a long time, the candidate solution was a structure proposed by Kelvin, but in 1994, Denis Weaire and Robert Phelan found a counterexample to Kelvin’s structure, now called Weaire-Phelan structure.

  11. 11.

    The experiment does not constitutes a mathematical answer to the mathematical dry-foam and the wet-foam problems. A mathematical proof is missing in both cases.

  12. 12.

    Hypotheses linking the bees’ honeycomb to soap bubbles via an equilibrium process have been around for some time; see e.g. Klarreich (2000, p. 159). The biological results reported below were unknown to Weaire & Phelan in 1994.

  13. 13.

    Pirk et al. also found that the cell bottoms, or closings, are not in fact formed by three rhombi (see Fig. 2a for the rhombic design), but spherical. This finding about the cell bases, however, has been contested by Hepburn et al. (2007). They examined moulds taken from newly constructed as well as from old cells, and found that while old cells indeed have spherical bases, newly-constructed cells have rhombic bases. Pirk et al. made the mistake of taking moulds exclusively from old cells. This finding is an important part of the bigger picture: if the cell bases were spherical, this would indicate that not all parts of cells were constructed by thermal equilibrium; the finding by Hepburn et al. shows that the thermal construction can explain the structure of the whole cell.

  14. 14.

    The idea that the primary optimization might concern packing has been around for some time; see Pirk et al. (2004) for some useful references.

  15. 15.

    Other parameters besides optimized packing and tiling are relevant to comb construction. For example, the structure has to be sufficiently stable; see Weaire and Hutzler (1999, p. 167). The actual honeycomb might not reach the point of structural transition realized in the Weaire-Phelan experiment because stability stands in the way.

  16. 16.

    The biological reason for this variation is that the cells are built for breeding different kinds of hornets. Breeding drones and queens requires larger cells than breeding smaller working hornets.

  17. 17.

    Note that if the explanandum is the lateral symmetry of cells, it could be thought that the HC is relevant to the explanation. We will see below that it is not.

  18. 18.

    See Pierce (1989, sections 6.5; 7.1) for a detailed account of the relevant models.

  19. 19.

    The following is based on Kadmon et al. (2009).

  20. 20.

    Note that if the boundary is hexagonal, this problem does not have closed-form analytic solutions and has to be solved numerically. The numerical procedure yields eigenvalues; see Kadmon et al. (2009, Table 1).

  21. 21.

    Representation theory studies symmetries by examining how a group acts on linear vector spaces. An irreducible representation is the fundamental building block of this action. The determination of symmetry works as follows. According to representation theory, the number p of components of an irreducible representation has to be at least as big as the number s of distinct eigenvalues of an operator associated with a system, if the system has the symmetry group of this representation (\(s \le p\)) (this is an application of Schur’s lemma). If the number of distinct eigenvalues s is bigger than the number p of the components of an irreducible representation, this means that the system does not have the symmetry group of this representation. If, however, s matches p, we have evidence that this is the right symmetry group. In the current situation, the connection between frequencies and symmetry is as follows. Assume we observe s distinct frequencies. Each frequency corresponds to an eigenvalue. If two frequencies of the cell coincide, we have one eigenvalue associated with a lateral mode, i.e., \(s = 1\), which means that we have evidence for \(p=1\), such that the two-dimensional space has an irreducible representation with one component, i.e., the irreducible representation itself is two-dimensional. Thus, the cell has a symmetry with a two-dimensional irreducible representation. A useful account of the mathematics can be found in Sternberg (1994, Ch. 2–3).

  22. 22.

    This fact has been known since antiquity; its first statement is usually attributed to Pappus; see Hales (2001).

  23. 23.

    Numerical calculations provide the eigenvalues of the physical model with a hexagonal cross section; this makes it possible to get approximations of the acoustic frequencies that may be used in comb construction. Kadmon et al. also address the other idealizations.

  24. 24.

    There is now an extensive philosophical literature on idealizations; see Frigg and Hartmann (2012) for a useful discussion of idealizations in the context of scientific models.

  25. 25.

    An anonymous referee has pointed out that the HC might play an explanatory role in the Acoustic Resonance Hypothesis after all: The HC shows that using the optimal regular polygon is sufficient, because it is also the global optimum. I agree. However, this is an explanatory relation between two mathematical results, not between the explanandum in question, which is an empirical structure, and a mathematical result. An explanatory relation between the two mathematical results does not imply that the HC explains anything about empirical comb structures; for the latter, additional empirical considerations come into play.

References

  1. Baker, A. (2009). Mathematical explanation in science. British Journal for the Philosophy of Science, 60(3), 611–633.

    Article  Google Scholar 

  2. Baker, A. (2012). Science-driven mathematical explanation. Mind, 121(482), 243–267.

    Article  Google Scholar 

  3. Baker, A. (2015). Parsimony and inference to the best mathematical explanation. Synthese. doi:10.1007/s11229-015-0723-3.

  4. Baker, A., & Colyvan, M. (2011). Indexing and mathematical explanation. Philosophia Mathematica, 19(3), 323–334.

    Article  Google Scholar 

  5. Baron, S. (2014). Optimisation and mathematical explanation: doing the Lévi walk. Synthese, 191, 459–479.

  6. Bauer, D., & Bienefeld, K. (2013). Hexagonal comb cells of honeybees are not produced via a liquid equilibrium process. Naturwissenschaften, 100, 45–49.

    Article  Google Scholar 

  7. Bergman, D. J., & Ishay, J. S. (2007). Do bees and hornets use acoustic resonance in order to monitor and coordinate comb construction? Bulletin of Mathematical Biology, 69, 1777–1790.

    Article  Google Scholar 

  8. Cartwright, N. (1983). How the laws of physics lie. Oxford: Oxford University Press.

  9. Cartwright, N. (1989). Nature’s capacities and their measurement. Oxford: Oxford University Press.

    Google Scholar 

  10. Fejes Tóth, L. (1964). What the bees know and what they do not know. Bulletin AMS, 70, 468–481.

    Article  Google Scholar 

  11. Frigg, R., & Hartmann, S. (2012). Models in science. http://plato.stanford.edu/entries/models-science/.

  12. Glennan, S. (2002). Rethinking mechanistic explanation. Philosophy of Science, 69(S3), 342–353.

    Article  Google Scholar 

  13. Hales, T. C. (2000). Cannonballs and honeycombs. Notices of the AMS, 47(4), 440–449.

    Google Scholar 

  14. Hales, T. C. (2001). The honeycomb conjecture. Discrete and Computational Geometry, 25, 1–22.

    Article  Google Scholar 

  15. Hepburn, J. R., Muerrle, T., & Radloff, S. E. (2007). The cell bases of honeybee combs. Apidologie, 38(3), 268–271.

    Article  Google Scholar 

  16. Kadmon, J., Ishay, J. S., & Bergman, D. J. (2009). Properties of ultrasonic acoustic resonances for exploitation in comb construction by social hornets and honeybees. Physical Review E, 79, 061909.

    Article  Google Scholar 

  17. Klarreich, E. G. (2000). Foams and honeycombs. American Scientist, 88(2), 152–161.

    Article  Google Scholar 

  18. Lange, M. (2013). What makes a scientific explanation distinctively mathematical? British Journal for the Philosophy of Science, 64(3), 485–511.

    Article  Google Scholar 

  19. Lyon, A. (2012). Mathematical explanations of empirical facts, and mathematical realism. Australasian Journal of Philosophy, 90(3), 559–578.

    Article  Google Scholar 

  20. Lyon, A., & Colyvan, M. (2008). The explanatory power of phase spaces. Philosophia Mathematica, 16(2), 227–243.

    Article  Google Scholar 

  21. Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25.

    Article  Google Scholar 

  22. Norton, J. D. (2012). Approximation and idealization: Why the difference matters. Philosophy of Science, 79(2), 207–232.

    Article  Google Scholar 

  23. Pierce, A. D. (1989). Acoustics. An introduction to its physical principles and applications. New York: Acoustic Society of America.

    Google Scholar 

  24. Pincock, C. (2007). A role for mathematics in the physical sciences. Noûs, 41(2), 253–275.

    Article  Google Scholar 

  25. Pincock, C. (2012). Mathematics and scientific representation. Oxford: Oxford University Press.

    Google Scholar 

  26. Pincock, C. (2015). Abstract explanations in science. British Journal for the Philosophy of Science, 66(4), 857–882.

  27. Pirk, C. W. W., Hepburn, H. R., & Radloff, S. E. (2004). Honeybee combs: Construction through a liquid equilibrium process? Naturwissenschaften, 91(7), 350–353.

    Article  Google Scholar 

  28. Räz, T. (2013). On the application of the honeycomb conjecture to the bee’s honeycomb. Philosophia Mathematica, 21(3), 351–360.

  29. Rice, C. (2013). Moving beyond causes: Optimality models and scientific explanation. Noûs, 49(3), 589–615.

  30. Saatsi, J. (2011). The enhanced indispensability argument: Representational versus explanatory role of mathematics in science. British Journal for the Philosophy of Science, 62, 143–154.

    Article  Google Scholar 

  31. Sternberg, S. (1994). Group theory and physics. Cambridge: Cambridge University Press.

    Google Scholar 

  32. Szpiro, G. G. (2003). Kepler’s conjecture. Hoboken: Wiley.

    Google Scholar 

  33. Tallant, J. (2013). Optimus prime: Paraphrasing prime number talk. Synthese, 190(12), 2065–2083.

    Article  Google Scholar 

  34. Weaire, D., & Hutzler, S. (1999). The physics of foams. Oxford: Clarendon Press.

    Google Scholar 

  35. Weaire, D., & Phelan, R. (1994). Optimal design of honeycombs. Nature, 367(13), 123.

    Article  Google Scholar 

Download references

Acknowledgments

I thank Claus Beisbart, Michael Esfeld, Hannes Leitgeb, Thomas Müller, Tilman Sauer, Raphael Scholl, and participants of the research colloquium AG Müller in Konstanz for comments on the paper at various stages of the writing process.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Tim Räz.

Ethics declarations

Funding

This work was partially supported by the Swiss National Science Foundation, grant numbers 100011-124462/1 and 100018-140201/1, as well as by the Templeton World Charity Foundation through grant TWCF0078/AB4.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Räz, T. The silent hexagon: explaining comb structures. Synthese 194, 1703–1724 (2017). https://doi.org/10.1007/s11229-016-1014-3

Download citation

Keywords

  • Mathematical explanation
  • Mechanistic explanation
  • Optimization
  • Honeycomb