Borromean rings
Borromean rings | |
---|---|
L6a4 | |
Braid length | 6 |
Braid no. | 3 |
Crossing no. | 6 |
Hyperbolic volume | 7.327724753 |
Stick no. | 9 |
Unknotting no. | 1 |
A-B notation |
63 2 |
Thistlethwaite | L6a4 |
Last /Next | L6a3 / L6a5 |
Other | |
alternating, hyperbolic |
In mathematics, the Borromean rings[lower-alpha 1] consist of three topological circles which are linked and form a Brunnian link (i.e., removing any ring results in two unlinked rings). In other words, no two of the three rings are linked with each other as a Hopf link, but nonetheless all three are linked.
Mathematical properties
Although the typical picture of the Borromean rings (above right picture) may lead one to think the link can be formed from geometrically ideal circles, they cannot be. Freedman and Skora (1987) prove that a certain class of links, including the Borromean links, cannot be exactly circular. Alternatively, this can be seen from considering the link diagram: if one assumes that circles 1 and 2 touch at their two crossing points, then they either lie in a plane or a sphere. In either case, the third circle must pass through this plane or sphere four times, without lying in it, which is impossible; see (Lindström & Zetterström 1991).
It is, however, true that one can use ellipses (right picture). These may be taken to be of arbitrarily small eccentricity; i.e. no matter how close to being circular their shape may be, as long as they are not perfectly circular, they can form Borromean links if suitably positioned; as an example, thin circles made from bendable elastic wire may be used as Borromean rings.
Linking
In knot theory, the Borromean rings are a simple example of a Brunnian link: although each pair of rings is unlinked, the whole link cannot be unlinked. There are a number of ways of seeing this.
Simplest is that the fundamental group of the complement of two unlinked circles is the free group on two generators, a and b, by the Seifert–van Kampen theorem, and then the third loop has the class of the commutator, [a, b] = aba−1b−1, as one can see from the link diagram: over one, over the next, back under the first, back under the second. This is non-trivial in the fundamental group, and thus the Borromean rings are linked.
Another way is that the cohomology of the complement supports a non-trivial Massey product, which is not the case for the unlink. This is a simple example of the Massey product and further, the algebra corresponds to the geometry: a 3-fold Massey product is a 3-fold product which is only defined if all the 2-fold products vanish, which corresponds to the Borromean rings being pairwise unlinked (2-fold products vanish), but linked overall (3-fold product does not vanish).
In arithmetic topology, there is an analogy between knots and prime numbers in which one considers links between primes. The triple of primes (13, 61, 937) are linked modulo 2 (the Rédei symbol is −1) but are pairwise unlinked modulo 2 (the Legendre symbols are all 1). Therefore, these primes have been called a "proper Borromean triple modulo 2"[1] or "mod 2 Borromean primes".[2]
Hyperbolic geometry
The Borromean rings are a hyperbolic link: the complement of the Borromean rings in the 3-sphere admits a complete hyperbolic metric of finite volume. The canonical (Epstein-Penner) polyhedral decomposition of the complement consists of two regular ideal octahedra. The volume is 16Л(π/4) = 7.32772… where Л is the Lobachevsky function.[3]
Connection with braids
If one cuts the Borromean rings, one obtains one iteration of the standard braid; conversely, if one ties together the ends of (one iteration of) a standard braid, one obtains the Borromean rings. Just as removing one Borromean ring unlinks the remaining two, removing one strand of the standard braid unbraids the other two: they are the basic Brunnian link and Brunnian braid, respectively.
In the standard link diagram, the Borromean rings are ordered non-transitively, in a cyclic order. Using the colors above, these are red over green, green over blue, blue over red – and thus after removing any one ring, for the remaining two, one is above the other and they can be unlinked. Similarly, in the standard braid, each strand is above one of the others and below the other.
History
The name "Borromean rings" comes from their use in the coat of arms of the aristocratic Borromeo family in Northern Italy. The link itself is much older and has appeared in the form of the valknut on Norse image stones dating back to the 7th century.
The Borromean rings have been used in different contexts to indicate strength in unity, e.g., in religion or art. In particular, some have used the design to symbolize the Trinity. The psychoanalyst Jacques Lacan famously found inspiration in the Borromean rings as a model for his topology of human subjectivity, with each ring representing a fundamental Lacanian component of reality (the "real", the "imaginary", and the "symbolic").
The rings were used as the logo of Ballantine beer, and are still used by the Ballantine brand beer, now distributed by the current brand owner, the Pabst Brewing Company.[4]
The Borromean rings, especially their mathematical properties, were featured by Martin Gardner in his September 1961 "Mathematical Games column" in Scientific American.
In 2006, the International Mathematical Union decided at the 25th International Congress of Mathematicians in Madrid, Spain to use a new logo based on the Borromean rings.[5]
A stone pillar at Marundeeswarar Temple in Thiruvanmiyur, Chennai, Tamil Nadu, India, has such a figure dating to before 6th century.[6][7]
Partial rings
In medieval and renaissance Europe, a number of visual signs are found that consist of three elements interlaced together in the same way that the Borromean rings are shown interlaced (in their conventional two-dimensional depiction), but the individual elements are not closed loops. Examples of such symbols are the Snoldelev stone horns and the Diana of Poitiers crescents. An example with three distinct elements is the logo of Sport Club Internacional. Less-related visual signs include the Gankyil and the Venn diagram on three sets.
Similarly, a monkey's fist knot is essentially a 3-dimensional representation of the Borromean rings, albeit with three layers, in most cases.
Using the pattern in the incomplete Borromean rings, one can balance three knives on three supports, such as three bottles or glasses, providing a support in the middle for a fourth bottle or glass.[8]
Multiple rings
Some knot-theoretic links contain multiple Borromean rings configurations; one five-loop link of this type is used as a symbol in Discordianism, based on a depiction in the Principia Discordia.
Realizations
Molecular Borromean rings are the molecular counterparts of Borromean rings, which are mechanically-interlocked molecular architectures. In 1997, biologists Chengde Mao and coworkers of New York University succeeded in constructing a set of rings from DNA.[10] In 2003, chemist Fraser Stoddart and coworkers at UCLA utilised coordination chemistry to construct a set of rings in one step from 18 components.[11]
A quantum-mechanical analog of Borromean rings is called a halo state or an Efimov state (the existence of such states was predicted by physicist Vitaly Efimov, in 1970). For the first time the research group of Rudolf Grimm and Hanns-Christoph Nägerl from the Institute for Experimental Physics (University of Innsbruck, Austria) experimentally confirmed such a state in an ultracold gas of caesium atoms in 2006, and published their findings in the scientific journal Nature.[12] A team of physicists led by Randall Hulet of Rice University in Houston achieved this with a set of three bound lithium atoms and published their findings in the online journal Science Express.[13] In 2010, a team led by K. Tanaka created an Efimov state within a nucleus.[14]
See also
Notes
References
- ↑ Vogel, Denis (13 February 2004), Massey products in the Galois cohomology of number fields, urn:nbn:de:bsz:16-opus-44188
- ↑ Morishita, Masanori (22 April 2009), Analogies between Knots and Primes, 3-Manifolds and Number Rings, arXiv:0904.3399
- ↑ Thurston, William (March 2002), "7. Computation of volume" (PDF), The Geometry and Topology of Three-Manifolds, p. 165
- ↑ Borromean Logos: Ballantine's Beer
- ↑ ICM 2006
- ↑ Arul Lakshminarayan (May 2007). "Borromean Triangles and Prime Knots in an Ancient Temple" (PDF). Indian Academy of Sciences. Retrieved 18 September 2014.
- ↑ Blog entry by Arul Lakshminarayan
- ↑ Comments on Knives And Beer Bar Trick: Amazing Balance
- ↑ Molecular Borromean Rings Kelly S. Chichak, Stuart J. Cantrill, Anthony R. Pease, Sheng-Hsien Chiu, Gareth W. V. Cave, Jerry L. Atwood, J. Fraser Stoddart Science, Vol 304, Issue 5675, 1308-1312 , 28 May 2004 Abstract
- ↑ C. Mao, W. Sun & N. C. Seeman (1997). "Assembly of Borromean rings from DNA". Nature. 386 (6621): 137–138. doi:10.1038/386137b0. PMID 9062186.
- ↑ This work was published in Science 2004, 304, 1308–1312. Abstract
- ↑ T. Kraemer; M. Mark; P. Waldburger; J. G. Danzl; C. Chin; B. Engeser; A. D. Lange; K. Pilch; A. Jaakkola; H.-C. Nägerl; R. Grimm (2006). "Evidence for Efimov quantum states in an ultracold gas of caesium atoms". Nature. 440 (7082): 315–318. arXiv:cond-mat/0512394. Bibcode:2006Natur.440..315K. doi:10.1038/nature04626. PMID 16541068.
- ↑ Moskowitz, Clara (December 16, 2009), Strange Physical Theory Proved After Nearly 40 Years, Live Science
- ↑ Tanaka, K. (2010), "Observation of a Large Reaction Cross Section in the Drip-Line Nucleus 22C", Physical Review Letters, 104 (6): 062701, doi:10.1103/PhysRevLett.104.062701
Further reading
- P. R. Cromwell, E. Beltrami and M. Rampichini, "The Borromean Rings", Mathematical Intelligencer Vol. 20 no. 1 (1998) 53–62.
- Freedman, Michael H.; Skora, Richard (1987), "Strange Actions of Groups on Spheres", Journal of Differential Geometry, 25: 75–98
- Lindström, Bernt; Zetterström, Hans-Olov (1991), "Borromean Circles are Impossible", American Mathematical Monthly, 98 (4): 340–341, doi:10.2307/2323803, JSTOR 2323803 (subscription required). This article explains why Borromean links cannot be exactly circular.
- Brown, R. and Robinson, J., "Borromean circles", Letter, American Math. Monthly, April, (1992) 376–377. This article shows how Borromean squares exist, and have been made by John Robinson (sculptor), who has also given other forms of this structure.
- Chernoff, W. W., "Interwoven polygonal frames". (English summary) 15th British Combinatorial Conference (Stirling, 1995). Discrete Math. 167/168 (1997), 197–204. This article gives more general interwoven polygons.
External links
Wikimedia Commons has media related to Borromean rings. |
- "Borromean Rings Homepage", Dr Peter Cromwell's website.
- Jablan, Slavik. "Are Borromean Links So Rare?", Visual Mathematics.
- "Borromean rings", The Knot Atlas.
- "Borromean Rings", The Encyclopedia of Science.
- "Symbolic Sculpture and the Borromean Rings", Sculpture Maths.
- "African Borromean ring carving", Sculpture Maths.
- Borromean rings spinning as a group
- "The Borromean Rings: A new logo for the IMU" [w/video], International Mathematical Union
- Hunton, John. "Higher Linkages and Borromean Rings". Numberphile. Brady Haran.