Structure and Conformational Dynamics of Scaffolded DNA Origami Nanoparticles Keyao Pan1,†, William P

Total Page:16

File Type:pdf, Size:1020Kb

Structure and Conformational Dynamics of Scaffolded DNA Origami Nanoparticles Keyao Pan1,†, William P 6284–6298 Nucleic Acids Research, 2017, Vol. 45, No. 11 Published online 8 May 2017 doi: 10.1093/nar/gkx378 Structure and conformational dynamics of scaffolded DNA origami nanoparticles Keyao Pan1,†, William P. Bricker1,†, Sakul Ratanalert1,2 and Mark Bathe1,* 1Department of Biological Engineering, Massachusetts Institute of Technology, Cambridge, MA 02139, USA and 2Department of Chemical Engineering, Massachusetts Institute of Technology, Cambridge, MA 02139, USA Received October 21, 2016; Revised April 04, 2017; Editorial Decision April 22, 2017; Accepted April 25, 2017 ABSTRACT rials science (1–3). Scaffolded DNA origami (4,5) employs a single-stranded DNA (ssDNA) scaffold strand that forms Synthetic DNA is a highly programmable nanoscale a template for shorter DNA substrands called staples, of- material that can be designed to self-assemble into fering near-quantitative yield over the final, self-assembled 3D structures that are fully determined by underlying product for DX-based wireframe scaffolded DNA origami Watson–Crick base pairing. The double crossover structures. Watson–Crick base pairing between the scaffold (DX) design motif has demonstrated versatility in strand and staple strands enables folding ssDNA into struc- synthesizing arbitrary DNA nanoparticles on the 5– tured DNA assemblies with diverse geometries, including 100 nm scale for diverse applications in biotechnol- wireframe structures (6–11), 2D surfaces (4,12–15), and 3D ogy. Prior computational investigations of these as- solids (16–20). Alternatively, structured DNA assemblies of semblies include all-atom and coarse-grained mod- these three types of geometries can be programmed without eling, but modeling their conformational dynamics scaffold strands (21–26). Integral to the effective design and synthesis of struc- remains challenging due to their long relaxation tured DNA assemblies is computer-aided design (CAD). times and associated computational cost. We ap- Manual software tools including caDNAno (27)andTia- ply all-atom molecular dynamics and coarse-grained mat (28) have been developed to aid in this process. More finite element modeling to DX-based nanoparticles recently, the top-down, geometry-based algorithms vHe- to elucidate their fine-scale and global conforma- lix (10) and DAEDALUS (11) have been developed to au- tional structure and dynamics. We use our coarse- tomate the design of nucleic acid sequences in near-fully grained model with a set of secondary structural and fully automated manners, respectively, for wireframe motifs to predict the equilibrium solution structures geometries. The finite element (FE) modeling approach of 45 DX-based DNA origami nanoparticles includ- CanDo is also routinely used to predict the 3D equilibrium ing a tetrahedron, octahedron, icosahedron, cuboc- conformation of programmed DNA assemblies based on tahedron and reinforced cube. Coarse-grained mod- a coarse-grained representation of B-form DNA (5,29,30). Because numerous applications of structured DNA assem- els are compared with 3D cryo-electron microscopy blies exploit control over the angstrom-level positioning of density maps for these five DNA nanoparticles and individual bases (20,31–33), computational investigation of with all-atom molecular dynamics simulations for the atomic-level structure together with automated tools that tetrahedron and octahedron. Our results elucidate predict non-intuitive equilibrium shapes are of great utility non-intuitive atomic-level structural details of DX- to the field of structural DNA nanotechnology. based DNA nanoparticles, and offer a general frame- While numerous computational tools are capable of pre- work for efficient computational prediction of global dicting equilibrium solution structures of nucleic acid as- and local structural and mechanical properties of DX- semblies, all-atom molecular dynamics (MD) simulations based assemblies that are inaccessible to all-atom (34) in principle represent the gold standard for 3D struc- based models alone. ture prediction (35,36). All-atom models are capable of capturing the detailed structural, mechanical, and physic- ochemical properties of DNA assemblies, albeit at signifi- INTRODUCTION cant computational cost that limits their application using Synthetic DNA nanotechnology leverages the secondary conventional computing resources to short time-scale sim- structure of DNA to reliably program 3D geometries for ulations and low molecular weight assemblies. Larger-scale diverse applications in biotechnology and nanoscale mate- assemblies can be simulated on limited time-scales of tens to *To whom correspondence should be addressed. Tel: +1 617 324 3685; Fax: +1 617 324 7554; Email: [email protected] †These authors contributed equally to this work as first authors. C The Author(s) 2017. Published by Oxford University Press on behalf of Nucleic Acids Research. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by-nc/4.0/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original work is properly cited. For commercial re-use, please contact [email protected] Nucleic Acids Research, 2017, Vol. 45, No. 11 6285 hundreds of nanoseconds using high performance comput- lations of the bulge to determine its rotational stiffness coef- ing resources that are not broadly available (34). In contrast, ficients. Further, we apply all-atom MD to model the equi- coarse-grained models use united atom representations to librium geometry and mechanical properties of a limited set model clusters of atoms and their interactions, thereby re- of DX-based nanoparticles to compare predictions of our ducing the total number of degrees of freedom (DOF) and coarse-grained model with both experimental cryo-electron associated computational cost (37–49) at the expense of all- microscopy (cryo-EM) data and all-atom modeling. atom resolution. In order to maximize structural prediction accuracy while MATERIALS AND METHODS reducing computational cost, numerous coarse-grained Lattice-free finite element model of structured DNA assem- models for DNA have been developed (50–53). Nucleotide- blies level models represented in oxDNA2 (54), an enhanced ver- sion of oxDNA (55), treat each nucleotide as a rigid body The FE method was originally used to model four dis- that interacts with other nucleotides via an empirical poten- tinct topological motifs defined by the secondary structure tial. This coarse-grained model has been applied to simulate of programmed DNA assemblies, which included duplexes, hybridization kinetics (56), overstretching (57), equilibrium nicks, ssDNA, and double crossovers (5,29), where duplexes structures (58), and self-assembly (59) of DNA. An alter- were assumed to reside on a square or honeycomb lattice. native category of models, the 3-site-per-nucleotide (3SPN) Subsequently, the requirement that duplexes reside on such model (60,61), uses three interaction sites to simulate the lattices was removed and single crossovers were also incor- base, sugar, and phosphate group of a nucleotide, and has porated into the model to account for their higher confor- been used to predict DNA melting curves and persistence mational flexibility with respect to double-crossovers (30). lengths (62). In addition, chemical group-level models such Here, we additionally introduce a bulge model to facilitate as the MARTINI coarse-grained force field (63–65)have simulation of DX-based objects, and also differentiate be- been extended to model DNA by treating each nucleotide tween open and closed nicks due to their distinct mechan- as six or seven beads (66). These coarse-grained models ical properties associated with stacked versus non-stacked of DNA have been discussed in more detail in recent re- base pairs (Figure 1). Closed nicks are identified using the view articles (67–69). While useful for predicting conforma- four nucleotides denoted n1, n2, n3 and n4, in the CAD de- tional dynamics of DNA assemblies, particularly involving sign, where base pair n1–n2 stacks with base pair n3–n4 (Fig- duplex dissociation, large-scale equilibrium structural and ure 1B). Otherwise, the two base pairs are modeled as an mechanical properties of highly structured DNA assemblies open nick (Figure 1B). programmed using the principle of scaffolded DNA origami Each base pair in a DNA assembly is modeled as a FE remain challenging to predict using these models. node with three translational DOF and three rotational As an alternative, here we apply our FE modeling frame- DOF in a global 3D Cartesian coordinate system (Figure work CanDo to solve for the ground-state equilibrium 1A). Such a node is rigidly connected to a right-handed structure and mechanical properties of structured DNA orthonormal reference frame (e0, e1, e2, e3) with the center nanoparticles. Compared with the aforementioned compu- e0 located at the position of the node. The all-atom model tational tools, our FE model treats DNA duplexes as worm- of a DNA assembly determines the reference frames of all like chains from polymer physics (70) or elastic beams from nodes, and vice versa. From the all-atom base pair model, mechanical engineering (71) accounting for the full axial, the convention used by the software 3DNA (73) defines the torsional, and bending properties of duplex B-form DNA. origin of the reference frame and its three orthogonal di- Double and single-crossovers are treated explicitly by con- rections:
Recommended publications
  • BY S. RAMASESHAN Number of Diffaent Kinds of Planes Permitted By
    BY S. RAMASESHAN (From thy Department ef Physics, Indian Institute of Science, Bangalore) Received for publication June 20, 1916 (Communicated by Sir C. V. Raman, ~t.,F. R.s., N.L.) number of diffaent kinds of planes permitted by the law of rational indices to appear as faces on a crystal is practically unlimited. The number of "forms " actually observed, however, is limited and there is a decided preference for a few amongst them. This is one of the most striking facts of geometric crystallography and its explanation is obviously of importance. Pierre Curie (1885) stressed the role played by the surface energy of the faces in determining the " forms " of the crystal. According to him, the different faces of a crystal have different surface energies and the form of the crystal as a whole is determined by the condition that the total surface energy of the crystal should be a minimum. According to W. Gibbs (1877), on the other hand, it is the velocity of growth in different directions which is the determining factor, while the surface energy of the crystal plays a subordi- nate role and is only effective in the case of crystals of submicroscopic size, We have little direct knowledge as to how diamond is actually formed in nature. It is necessary, therefore, to rely upon the indications furnished by the observed forms of the crystals. One of the most remarkable facts about diamond is the curvature of the faces which is a very common and marked feature. This is particularly noticeable in the case of the diamonds found in the State of Panna in Central India.
    [Show full text]
  • The Crystal Forms of Diamond and Their Significance
    THE CRYSTAL FORMS OF DIAMOND AND THEIR SIGNIFICANCE BY SIR C. V. RAMAN AND S. RAMASESHAN (From the Department of Physics, Indian Institute of Science, Bangalore) Received for publication, June 4, 1946 CONTENTS 1. Introductory Statement. 2. General Descriptive Characters. 3~ Some Theoretical Considerations. 4. Geometric Preliminaries. 5. The Configuration of the Edges. 6. The Crystal Symmetry of Diamond. 7. Classification of the Crystal Forros. 8. The Haidinger Diamond. 9. The Triangular Twins. 10. Some Descriptive Notes. 11. The Allo- tropic Modifications of Diamond. 12. Summary. References. Plates. 1. ~NTRODUCTORY STATEMENT THE" crystallography of diamond presents problems of peculiar interest and difficulty. The material as found is usually in the form of complete crystals bounded on all sides by their natural faces, but strangely enough, these faces generally exhibit a marked curvature. The diamonds found in the State of Panna in Central India, for example, are invariably of this kind. Other diamondsJas for example a group of specimens recently acquired for our studies ffom Hyderabad (Deccan)--show both plane and curved faces in combination. Even those diamonds which at first sight seem to resemble the standard forms of geometric crystallography, such as the rhombic dodeca- hedron or the octahedron, are found on scrutiny to exhibit features which preclude such an identification. This is the case, for example, witb. the South African diamonds presented to us for the purpose of these studŸ by the De Beers Mining Corporation of Kimberley. From these facts it is evident that the crystallography of diamond stands in a class by itself apart from that of other substances and needs to be approached from a distinctive stand- point.
    [Show full text]
  • [ENTRY POLYHEDRA] Authors: Oliver Knill: December 2000 Source: Translated Into This Format from Data Given In
    ENTRY POLYHEDRA [ENTRY POLYHEDRA] Authors: Oliver Knill: December 2000 Source: Translated into this format from data given in http://netlib.bell-labs.com/netlib tetrahedron The [tetrahedron] is a polyhedron with 4 vertices and 4 faces. The dual polyhedron is called tetrahedron. cube The [cube] is a polyhedron with 8 vertices and 6 faces. The dual polyhedron is called octahedron. hexahedron The [hexahedron] is a polyhedron with 8 vertices and 6 faces. The dual polyhedron is called octahedron. octahedron The [octahedron] is a polyhedron with 6 vertices and 8 faces. The dual polyhedron is called cube. dodecahedron The [dodecahedron] is a polyhedron with 20 vertices and 12 faces. The dual polyhedron is called icosahedron. icosahedron The [icosahedron] is a polyhedron with 12 vertices and 20 faces. The dual polyhedron is called dodecahedron. small stellated dodecahedron The [small stellated dodecahedron] is a polyhedron with 12 vertices and 12 faces. The dual polyhedron is called great dodecahedron. great dodecahedron The [great dodecahedron] is a polyhedron with 12 vertices and 12 faces. The dual polyhedron is called small stellated dodecahedron. great stellated dodecahedron The [great stellated dodecahedron] is a polyhedron with 20 vertices and 12 faces. The dual polyhedron is called great icosahedron. great icosahedron The [great icosahedron] is a polyhedron with 12 vertices and 20 faces. The dual polyhedron is called great stellated dodecahedron. truncated tetrahedron The [truncated tetrahedron] is a polyhedron with 12 vertices and 8 faces. The dual polyhedron is called triakis tetrahedron. cuboctahedron The [cuboctahedron] is a polyhedron with 12 vertices and 14 faces. The dual polyhedron is called rhombic dodecahedron.
    [Show full text]
  • Spectral Realizations of Graphs
    SPECTRAL REALIZATIONS OF GRAPHS B. D. S. \DON" MCCONNELL 1. Introduction 2 The boundary of the regular hexagon in R and the vertex-and-edge skeleton of the regular tetrahe- 3 dron in R , as geometric realizations of the combinatorial 6-cycle and complete graph on 4 vertices, exhibit a significant property: Each automorphism of the graph induces a \rigid" isometry of the figure. We call such a figure harmonious.1 Figure 1. A pair of harmonious graph realizations (assuming the latter in 3D). Harmonious realizations can have considerable value as aids to the intuitive understanding of the graph's structure, but such realizations are generally elusive. This note explains and explores a proposition that provides a straightforward way to generate an entire family of harmonious realizations of any graph: A matrix whose rows form an orthogonal basis of an eigenspace of a graph's adjacency matrix has columns that serve as coordinate vectors of the vertices of an harmonious realization of the graph. This is a (projection of a) spectral realization. The hundreds of diagrams in Section 42 illustrate that spectral realizations of graphs with a high degree of symmetry can have great visual appeal. Or, not: they may exist in arbitrarily-high- dimensional spaces, or they may appear as an uninspiring jumble of points in one-dimensional space. In most cases, they collapse vertices and even edges into single points, and are therefore only very rarely faithful. Nevertheless, spectral realizations can often provide useful starting points for visualization efforts. (A basic Mathematica recipe for computing (projected) spectral realizations appears at the end of Section 3.) Not every harmonious realization of a graph is spectral.
    [Show full text]
  • A Frustrated, Centred Tetrakis Hexahedron†
    ChemComm View Article Online COMMUNICATION View Journal | View Issue [Fe15]: a frustrated, centred tetrakis hexahedron† a a a b Cite this: Chem. Commun., 2021, Daniel J. Cutler, Mukesh K. Singh, Gary S. Nichol, Marco Evangelisti, c d a 57, 8925 Ju¨rgen Schnack, * Leroy Cronin * and Euan K. Brechin * Received 20th July 2021, Accepted 9th August 2021 DOI: 10.1039/d1cc03919a rsc.li/chemcomm The combination of two different FeIII salts in a solvothermal anomalous magnetisation behaviour in an applied magnetic reaction with triethanolamine results in the formation of a high field.8 III symmetry [Fe15] cluster whose structure conforms to a centred, One synthetic methodology proven to enable the construc- tetrakis hexahedron. tion of such species is hydro/solvothermal synthesis, which Creative Commons Attribution 3.0 Unported Licence. typically exploits superheating reaction solutions under auto- Homometallic compounds of FeIII have played a central role in the genous pressure.9 In the chemistry of polynuclear cluster history of molecular magnetism, proving key to the development compounds of paramagnetic transition metal ions, the tem- and understanding of an array of physical properties. For exam- perature regimes employed (which are typically below 250 1C) ple, the study of oxo-bridged [Fe2] dimers allowed the develop- can lead to enhanced solubility, reduced solvent viscosity and ment of detailed magneto-structural correlations that can increased reagent diffusion. The result is often the synthesis of be translated to larger species,1 antiferromagnetically coupled metastable kinetic products of high symmetry, with slow cool- [Fe6–12] ferric wheels revealed interesting quantum size effects ing enabling pristine crystal growth directly from the reaction 2 10 manifested in stepped magnetisation, [Fe17/19] was an early mixture.
    [Show full text]
  • One Shape to Make Them All
    Bridges Finland Conference Proceedings Dual Models: One Shape to Make Them All Mircea Draghicescu ITSPHUN LLC [email protected] Abstract We show how a potentially infinite number of 3D decorative objects can be built by connecting copies of a single geometric element made of a flexible material. Each object is an approximate model of a compound of some polyhe- dron and its dual. We present the underlying geometry and show a few such constructs. The geometric element used in the constructions can be made from a variety of materials and can have many shapes that give different artistic effects. In the workshop, we will build a few models that the participants can take home. Introduction Wireframe models of polyhedra can be built by connecting linear elements that represent polyhedral edges. We describe here a different modeling method where each atomic construction element represents not an edge, but a pair of edges, one belonging to some polyhedron P and the other one to P 0, the dual of P ; the resulting object is a model of the compound of P and P 0. Using the same number of construction elements as the number of edges of P and P 0, the model of the compound exhibits a richer structure and, due to the additional connections, is stronger than the models of P and P 0 alone. The model has at least the symmetry of P and P 0, and can have a higher symmetry if P is self-dual. The construction process challenges the maker to think simultaneously of both P and P 0 and can be used as a teaching aid in the study of polyhedra and duality.
    [Show full text]
  • A Closer Look at Jamnitzer's Polyhedra
    A Closer Look at Jamnitzer's Polyhedra Albert van den Broeke* Zsófia Ruttkay University of Twente E-mail: [email protected] E-mail: [email protected] Abstract The Renaissance artist Wentzel Jamnitzer designed series of intriguing polyhedra in perspective in his book “Perspectiva Corporum Regularium”. In this paper we investigate the possible principles of the construction of the polyhedra and create 3D computer models of them. Comparing those to the originals, we get an idea of how successful he was in drawing the complex structures by imagination. Furthermore, we analyse Jamnitzer's use of linear perspective, an important key in creating such drawings. 1 Introduction Wentzel Jamnitzer (1508-1585) was born in Vienna. Later he moved to Nuremberg where he became the one of the most famous goldsmiths of his time. His refined and richly decorated, almost baroque, masterpieces in museums are of international fame [1]. He, just as many of the Renaissance artists, had an interest in polyhedra - geometrical 3D objects build up from planar faces, each of them being a polygon. The type and variety of polygons used as faces determines families of polyhedra, with different symmetry characteristics. He must have been intrigued by the variety of them. Jamnitzer, with the help of Jost Amman, published a book called “Perspectiva Corporum Regularium” in 1568. This work contains many geometrically interesting drawings. He even came up with a form representing a new symmetry group, the chiral icosahedral symmetry, which is quite a great accomplishment, see [2]. Among other things in his book are multiple series of polyhedra.
    [Show full text]
  • From Klein's Platonic Solids to Kepler's
    Dessin d'Enfants Examples due to Magot and Zvonkin Moduli Spaces From Klein's Platonic Solids to Kepler's Archimedean Solids: Elliptic Curves and Dessins d'Enfants Part II Edray Herber Goins Department of Mathematics Purdue University September 7, 2012 Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Examples due to Magot and Zvonkin Moduli Spaces Abstract In 1884, Felix Klein wrote his influential book, \Lectures on the Icosahedron," where he explained how to express the roots of any quintic polynomial in terms of elliptic modular functions. His idea was to relate rotations of the icosahedron with the automorphism group of 5-torsion points on a suitable elliptic curve. In fact, he created a theory which related rotations of each of the five regular solids (the tetrahedron, cube, octahedron, icosahedron, and dodecahedron) with the automorphism groups of 3-, 4-, and 5-torsion points. Using modern language, the functions which relate the rotations with elliptic curves are Bely˘ımaps. In 1984, Alexander Grothendieck introduced the concept of a Dessin d'Enfant in order to understand Galois groups via such maps. We will complete a circle of ideas by reviewing Klein's theory with an emphasis on the octahedron; explaining how to realize the five regular solids (the Platonic solids) as well as the thirteen semi-regular solids (the Archimedean solids) as Dessins d'Enfant; and discussing how the corresponding Bely˘ımaps relate to moduli spaces of elliptic curves. Number Theory Seminar From Klein's
    [Show full text]
  • Gallerypolys.Pdf
    Associahedron BiscribedDisdyakisDodecahedron BiscribedDisdyakisTriacontahedron BiscribedDualSnubTruncatedIcosa... BiscribedDualSnubTruncatedOctah... BiscribedHexpropelloCube BiscribedHexpropelloDodecahedron BiscribedOrthokisPropelloCube BiscribedOrthokisPropelloDodecah... BiscribedOrthotruncatedPropelloIco... BiscribedOrthotruncatedPropelloOc... BiscribedPentagonalHexecontahed... BiscribedPentagonalIcositetrahedron BiscribedPentakisDodecahedron BiscribedPentakisSnubDodecahedr... BiscribedPropelloCube BiscribedPropelloDisdyakisDodeca... BiscribedPropelloDisdyakisTriacont... BiscribedPropelloDodecahedron BiscribedPropelloIcosahedron BiscribedPropelloOctahedron BiscribedPropelloPentagonalIcosite... BiscribedPropelloPentakisDodecah... BiscribedPropelloSnubCube BiscribedPropelloTetrahedron BiscribedPropelloTetrakisHexahedr... BiscribedPropelloTruncatedCuboct... BiscribedPropelloTruncatedIcosahe... BiscribedPropelloTruncatedIcosido... BiscribedPropelloTruncatedOctahe... BiscribedSnubCube BiscribedSnubDodecahedron BiscribedSnubTruncatedIcosahedron BiscribedSnubTruncatedOctahedron BiscribedTetrakisHexahedron BiscribedTetrakisSnubCube BiscribedTruncatedCuboctahedron BiscribedTruncatedIcosahedron BiscribedTruncatedIcosidodecahed... BiscribedTruncatedOctahedron CanonicalJoinedTruncatedIcosahe... ChamferedCube ChamferedDodecahedron ChamferedIcosahedron ChamferedOctahedron ChamferedTetrahedron ChamferedTruncatedIcosahedron ConcaveDodecahedron Cube CubeOctahedronCompound CubitruncatedCuboctahedron Cuboctahedron Cubohemioctahedron DeltoidalHexecontahedron
    [Show full text]
  • Regular and Irregular Chiral Polyhedra from Coxeter Diagrams Via Quaternions
    Article Regular and Irregular Chiral Polyhedra from Coxeter Diagrams via Quaternions Nazife Ozdes Koca Department of Physics, College of Science, Sultan Qaboos University, P.O. Box 36, Al-Khoud 123, Muscat, Oman; [email protected] Received: 6 July 2017; Accepted: 2 August 2017; Published: 7 August 2017 Abstract: Vertices and symmetries of regular and irregular chiral polyhedra are represented by quaternions with the use of Coxeter graphs. A new technique is introduced to construct the chiral Archimedean solids, the snub cube and snub dodecahedron together with their dual Catalan solids, pentagonal icositetrahedron and pentagonal hexecontahedron. Starting with the proper subgroups of the Coxeter groups ( ⊕ ⊕) , () , () and () , we derive the orbits representing the respective solids, the regular and irregular forms of a tetrahedron, icosahedron, snub cube, and snub dodecahedron. Since the families of tetrahedra, icosahedra and their dual solids can be transformed to their mirror images by the proper rotational octahedral group, they are not considered as chiral solids. Regular structures are obtained from irregular solids depending on the choice of two parameters. We point out that the regular and irregular solids whose vertices are at the edge mid-points of the irregular icosahedron, irregular snub cube and irregular snub dodecahedron can be constructed. Keywords: Coxeter diagrams; irregular chiral polyhedra; quaternions; snub cube; snub dodecahedron 1. Introduction In fundamental physics, chirality plays a very important role. A Weyl spinor describing a massless Dirac particle is either in a left-handed state or in a right-handed state. Such states cannot be transformed to each other by the proper Lorentz transformations. Chirality is a well-defined quantum number for massless particles.
    [Show full text]
  • Measuring Sphericity a Measure of the Sphericity of a Convex Solid Was Introduced by G
    Integre Technical Publishing Co., Inc. College Mathematics Journal 42:2 January 6, 2011 11:00 a.m. aravind.tex page 98 How Spherical Are the Archimedean Solids and Their Duals? P. K. Aravind P. K. Aravind is a Professor of Physics at Worcester Polytechnic Institute. He received his B.Sc. and M.Sc. degrees in Physics from Delhi University in Delhi, India, and his Ph.D. degree in Physics from Northwestern University. His research in recent years has centered around Bell’s theorem and quantum information theory, and particularly the role that polytopes, such as the 600-cell, play in it. For the last fifteen years he has taught in a summer program called Frontiers, conducted by WPI for bright high school students who are interested in pursuing mathematics, science, or engineering in college. A molecule of C-60, or a “Buckyball”, consists of 60 carbon atoms arranged at the vertices of a truncated icosahedron (see Figure 1), with the atoms being held in place by covalent bonds. The Buckyball has a very spherical appearance and its sphericity is the basis of several of its applications, such as a nanoscale ball bearing or a molecular cage to trap other atoms [10]. The buckyball pattern also occurs on the surface of many soccer balls. The huge interest in the Buckyball leads one to ask whether the truncated icosahedron is the most spherical of the elementary geometrical forms or whether there are others that are superior to it. That is the question I address in this paper. The reader who is familiar with the Archimedean solids and their duals is invited to try and guess the most spherical among them before reading on.
    [Show full text]
  • Logical and Geometrical Distance in Polyhedral Aristotelian Diagrams in Knowledge Representation
    S S symmetry Article Logical and Geometrical Distance in Polyhedral Aristotelian Diagrams in Knowledge Representation Lorenz Demey 1,* and Hans Smessaert 2 1 Center for Logic and Analytic Philosophy, KU Leuven, 3000 Leuven, Belgium 2 Research Group on Formal and Computational Linguistics, KU Leuven, 3000 Leuven, Belgium; [email protected] * Correspondence: [email protected]; Tel.: +32-16-328855 Academic Editor: Neil Y. Yen Received: 28 August 2017; Accepted: 27 September 2017; Published: 29 September 2017 Abstract: Aristotelian diagrams visualize the logical relations among a finite set of objects. These diagrams originated in philosophy, but recently, they have also been used extensively in artificial intelligence, in order to study (connections between) various knowledge representation formalisms. In this paper, we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical entities. In particular, we focus on four polyhedral Aristotelian diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron, the tetrakis hexahedron, the tetraicosahedron and the nested tetrahedron. After an in-depth investigation of the geometrical properties and interrelationships of these polyhedral diagrams, we analyze the correlation (or lack thereof) between logical (Hamming) and geometrical (Euclidean) distance in each of these diagrams. The outcome of this analysis is that the Aristotelian rhombic dodecahedron and tetrakis hexahedron exhibit the strongest degree of correlation between logical and geometrical distance; the tetraicosahedron performs worse; and the nested tetrahedron has the lowest degree of correlation. Finally, these results are used to shed new light on the relative strengths and weaknesses of these polyhedral Aristotelian diagrams, by appealing to the congruence principle from cognitive research on diagram design.
    [Show full text]