{"id":2845,"date":"2016-10-01T01:00:15","date_gmt":"2016-10-01T01:00:15","guid":{"rendered":"http:\/\/blogs.ams.org\/visualinsight\/?p=2845"},"modified":"2016-10-16T15:37:23","modified_gmt":"2016-10-16T15:37:23","slug":"diamond-cubic","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/visualinsight\/2016\/10\/01\/diamond-cubic\/","title":{"rendered":"Diamond Cubic"},"content":{"rendered":"<div align=\"center\">\n<div id=\"attachment_2847\" style=\"width: 606px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2847\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic.png\" alt=\"Diamond Cubic - Greg Egan\" width=\"600\" height=\"600\" class=\"size-full wp-image-2847\" srcset=\"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic.png 600w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic-150x150.png 150w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic-300x300.png 300w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic-50x50.png 50w\" sizes=\"auto, (max-width: 600px) 100vw, 600px\" \/><\/a><p id=\"caption-attachment-2847\" class=\"wp-caption-text\">Diamond Cubic &#8211; Greg Egan<\/p><\/div>\n<\/div>\n<p>This picture by <a href=\"http:\/\/www.gregegan.net\/\">Greg Egan<\/a> shows the pattern of carbon atoms in a diamond, called the &#8216;diamond cubic&#8217;.  Each atom is bonded to four neighbors. This pattern is found not just in carbon but also other elements in the same column of the periodic table: silicon, germanium, and tin. <\/p>\n<p>To build the diamond cubic, start with a cubical lattice, with an atom at each corner of each cube.  Then put an atom in the center of each face of each cube.  If we stopped there, we would have a <b><a href=\"https:\/\/en.wikipedia.org\/wiki\/Close-packing_of_equal_spheres#fcc_and_hcp_lattices\">face-centered cubic<\/a><\/b>.  But the face-centered cubic has points lying at the vertices of 4 tetrahedra in each cube, and if we add a point at the center of each tetrahedron, we obtain the <b><a href=\"https:\/\/en.wikipedia.org\/wiki\/Diamond_cubic\">diamond cubic<\/a><\/b>:<\/p>\n<div align=\"center\">\n<div id=\"attachment_2854\" style=\"width: 258px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic_animation.gif\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2854\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic_animation.gif\" alt=\"Diamond Cubic -  H. K. D. H. Bhadeshia\" width=\"252\" height=\"248\" class=\"size-full wp-image-2854\" \/><\/a><p id=\"caption-attachment-2854\" class=\"wp-caption-text\">Diamond Cubic &#8211;  H. K. D. H. Bhadeshia<\/p><\/div>\n<\/div>\n<p>The mineral <a href=\"https:\/\/en.wikipedia.org\/wiki\/Sphalerite\">sphalerite<\/a>, a form of zinc sulfide, crystallizes in the same pattern, but with alternating zinc and lead atoms.  This picture clearly shows the four tetrahedra in each <a href=\"https:\/\/en.wikipedia.org\/wiki\/Crystal_structure#Unit_cell\">unit cell<\/a> of the diamond cubic:<\/p>\n<div align=\"center\">\n<div id=\"attachment_2891\" style=\"width: 810px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/sphalerite.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2891\" src=\"http:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/sphalerite.png\" alt=\"Sphalerite Unit Cell\" width=\"800\" height=\"728\" class=\"size-full wp-image-2891\" srcset=\"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/sphalerite.png 800w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/sphalerite-300x273.png 300w, https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/sphalerite-768x699.png 768w\" sizes=\"auto, (max-width: 800px) 100vw, 800px\" \/><\/a><p id=\"caption-attachment-2891\" class=\"wp-caption-text\">Sphalerite Unit Cell<\/p><\/div>\n<\/div>\n<p>In fact, the diamond cubic consists of two interpenetrating <a href=\"https:\/\/en.wikipedia.org\/wiki\/Cubic_crystal_system#Bravais_lattices\">face-centered cubic<\/a> lattices, with the second offset relative to the first along the main diagonal of the cubes in the first cubic lattice.  <\/p>\n<p>The face-centered cubic is the 3-dimensional version of a pattern that exists in any dimension: the <b>\\(\\mathrm{D}_n\\) lattice<\/a><\/b>.   To build this, take an n-dimensional checkerboard and alternately color the hypercubes red and black.  Then, put a point in the center of each black hypercube.   Equivalently, the \\(\\mathrm{D}_n\\) lattice consists of all \\(n\\)-tuples of integers that sum to an even integer.  Requiring that they sum to an <i>even<\/i> integer is a way to pick out the black hypercubes.<\/p>\n<p>The diamond is also an example of a pattern that exists in any dimension. This is called  <b>\\(\\mathrm{D}^+_n\\)<\/b>, because it is the union of two copies of the D<sub>n<\/sub> lattice.   To build it, first take all \\(n\\)-tuples of integers that sum to an even integer.  Then take all those points shifted by the vector \\((1\/2, &#8230;, 1\/2)\\).<\/p>\n<p>In any dimension, the volume of the unit cell of \\(\\mathrm{D}^+_n\\) is 1, so we say it is <b>unimodular<\/b>.  But only in even dimensions is the sum or difference of any two points in \\(\\mathrm{D}^+_n\\) again a point in this set.   In this case \\(\\mathrm{D}^+_n\\) is a <b>lattice<\/b>: a discrete subgroup of \\(\\mathbb{R}^n\\), whose vectors suffice to span \\(\\mathbb{R}^n\\).<\/p>\n<p>In dimensions that are multiples of 4, the \\(\\mathrm{D}^+_n\\) lattice is better still: it is an <b>integral<\/b> lattice, meaning that the inner product of any two vectors in the lattice is again an integer.<\/p>\n<p>In dimensions that are multiples of 8, the \\(\\mathrm{D}^+_n\\) lattice is even better!  It is an <b>even<\/b> lattice, meaning that the inner product of any vector with itself is even.   <\/p>\n<p>In fact, even unimodular lattices only exist in \\(\\mathbb{R}^n\\) when \\(n\\) is a multiple of 8.  In 8 dimensions, the only even unimodular lattice is \\(\\mathrm{D}^+_8\\), which is usually called the <b>\\(\\mathrm{E}_8\\) lattice<\/b>.  <\/p>\n<p>Returning to 3 dimensions, here is a very explicit description of the diamond cubic.   It will be convenient to double the size of the diamond, so we can work with points all of whose coordinates are integers.  So, start with a face-centered cubic consisting of points whose coordinates are even integers summing to a multiple of 4.  It consists of these points:<\/p>\n<p>$$  (0,0,0), \\quad (2,2,0), \\quad (2,0,2), \\quad (0,2,2) $$<\/p>\n<p>and all points obtained from these by adding multiples of 4 to any of the coordinates.  To get the diamond cubic, we take this face-centered cubic together with another face-centered cubic that has been translated by the vector \\((1,1,1)\\).  That consists of these points:<\/p>\n<p>$$ (1,1,1), \\quad (3,3,1), \\quad (3,1,3), \\quad (1,3,3) $$<\/p>\n<p>and all points obtained by adding multiples of 4 to any of the coordinates.<\/p>\n<p>For more on the diamond cubic, see:<\/p>\n<p>&bull; <a href=\"https:\/\/en.wikipedia.org\/wiki\/Diamond_cubic\">Diamond cubic<\/a>, <i>Wikipedia<\/i>.<\/p>\n<p>The diamond cubic can also be described as a &#8216;topological crystal&#8217;, as explained here:<\/p>\n<p>&bull; Toshikazu Sunada, <a href=\"http:\/\/www.ms.u-tokyo.ac.jp\/~toshi\/jjm\/tempo\/newnewtopological.pdf\">Lecture on topological crystallography<\/a>.<\/p>\n<p>&bull; Toshikazu Sunada, <i>Topological Crystallography<\/i>, Springer, Berlin, 2012.<\/p>\n<p>&bull; John Baez, <a href=\"http:\/\/math.ucr.edu\/home\/baez\/crystal.pdf\">Topological crystals<\/a>.<\/p>\n<p>The animated image of the diamond cubic was created by H. K. D. H. Bhadeshia and put into the public domain <a href=\"https:\/\/commons.wikimedia.org\/wiki\/File:Diamond_Cubic-F_lattice_animation.gif\">on Wikicommons<\/a>.<\/p>\n<hr \/>\n<p><i>Visual Insight<\/i> is a place to share striking images that help explain advanced topics in mathematics. I\u2019m always looking for truly beautiful images, so if you know about one, please drop a comment <a href=\"http:\/\/blogs.ams.org\/visualinsight\/about-visual-insight\/\">here<\/a> and let me know!<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>This picture by <a href=\"http:\/\/www.gregegan.net\/\">Greg Egan<\/a> shows the pattern of carbon atoms in a diamond, called the <a href=\"https:\/\/en.wikipedia.org\/wiki\/Diamond_cubic\">diamond cubic<\/a>.  Each atom is bonded to four neighbors. This pattern is found not just in carbon but also other elements in the same column of the periodic table: silicon, germanium, and tin. <\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/visualinsight\/2016\/10\/01\/diamond-cubic\/><\/div>\n","protected":false},"author":66,"featured_media":2847,"comment_status":"open","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[22,5],"tags":[],"class_list":["post-2845","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-graphs","category-lattices"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/10\/diamond_cubic.png","jetpack_shortlink":"https:\/\/wp.me\/p42Vmc-JT","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2845","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/users\/66"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/comments?post=2845"}],"version-history":[{"count":11,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2845\/revisions"}],"predecessor-version":[{"id":2849,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2845\/revisions\/2849"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media\/2847"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media?parent=2845"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/categories?post=2845"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/tags?post=2845"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}