DOCSLIB.ORG

Hypoelliptic Diffusion Maps and Their Applications in Automated

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Hypoelliptic Diffusion Maps and Their Applications in Automated Hypoelliptic Diffusion Maps and Their Applications in Automated Geometric Morphometrics by Tingran Gao Department of Mathematics Duke University Date: Approved: Ingrid Daubechies, Supervisor Mauro Maggioni Mark Stern Yaron Lipman Dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the Graduate School of Duke University 2015 Abstract Hypoelliptic Diffusion Maps and Their Applications in Automated Geometric Morphometrics by Tingran Gao Department of Mathematics Duke University Date: Approved: Ingrid Daubechies, Supervisor Mauro Maggioni Mark Stern Yaron Lipman An abstract of a dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Mathematics in the Graduate School of Duke University 2015 Copyright c 2015 by Tingran Gao All rights reserved Abstract We introduce Hypoelliptic Diffusion Maps (HDM), a novel semi-supervised machine learning framework for the analysis of collections of anatomical surfaces. Triangular meshes obtained from discretizing these surfaces are high-dimensional, noisy, and unorganized, which makes it difficult to consistently extract robust geometric features for the whole collection. Traditionally, biologists put equal numbers of \landmarks" on each mesh, and study the \shape space" with this fixed number of landmarks to understand patterns of shape variation in the collection of surfaces; we propose here a correspondence-based, landmark-free approach that automates this process while maintaining morphological interpretability. Our methodology avoids explicit feature extraction and is thus related to the kernel methods, but the equivalent notion of \kernel function" takes value in pairwise correspondences between triangular meshes in the collection. Under the assumption that the data set is sampled from a fibre bundle, we show that the new graph Laplacian defined in the HDM framework is the discrete counterpart of a class of hypoelliptic partial differential operators. This thesis is organized as follows: Chapter 1 is the introduction; Chapter 2 describes the correspondences between anatomical surfaces used in this research; Chapter 3 and 4 discuss the HDM framework in detail; Chapter 5 illustrates some interesting applications of this framework in geometric morphometrics. iv To my parents, Liqin Lou & Bichi Gao v Contents Abstract iv List of Figures ix List of Abbreviations and Symbolsx Acknowledgements xii 1 Introduction1 1.1 Shape Spaces...............................3 1.2 Non-Rigid Geometry Processing.....................6 1.3 Correspondence-Based Shape Distances.................6 1.4 Diffusion Geometry............................8 2 A Rigid-Motion-Invariant Wasserstein Distance9 2.1 Wasserstein Distance but Rigid-Motion-Invariant........... 10 2.2 The Continuous Kantorovich-Procrustes Distance (CKPD)...... 17 2.3 Relation with Some Other Shape Distances............... 21 3 Hypoelliptic Diffusion Maps on Tangent Bundles 24 3.1 Introduction................................ 24 3.2 Motivating The Fibre Bundle Assumption............... 30 3.3 Hypoelliptic Diffusion Maps: The Formulation............. 40 3.3.1 Basic Setup............................ 40 3.3.2 Graph Hypoelliptic Laplacians.................. 41 vi 3.3.3 Spectral Distances and Embeddings............... 42 3.4 HDM on Tangent and Unit Tangent Bundles.............. 47 3.4.1 HDM on Tangent Bundles.................... 47 3.4.2 HDM on Unit Tangent Bundles................. 52 3.4.3 Finite Sampling on Unit Tangent Bundles........... 55 3.5 Numerical Experiments and the Riemannian Adiabatic Limits.... 63 3.5.1 Sampling without Noise..................... 63 3.5.2 Sampling from Empirical Tangent Spaces............ 65 3.5.3 As-Flat-As-Possible (AFAP) Connections............ 66 3.5.4 An Excursion to the Riemannian Adiabatic Limits...... 69 3.6 Discussion and Future Work....................... 70 4 Hypoelliptic Diffusion Maps on the Heisenberg Group 73 4.1 The Heisenberg Group H3 pRq ...................... 73 4.2 Hypoelliptic Diffusion Maps on H3 pRq ................. 76 4.2.1 Construction........................... 76 4.2.2 Proof of Theorem 26....................... 78 5 Applications and Future Work 89 5.1 Applying HDM to Collections of Anatomical Surfaces......... 89 5.2 Automatic Landmarking for Morphometircs via Sparsity....... 92 5.3 Tree-Based Metric Approximation in Shape Spaces.......... 93 5.4 Phylogeny Reconstruction with Distance Methods........... 95 A The Geometry of Tangent Bundles 97 A.0.1 Coordinate Charts on Tangent Bundles............. 97 A.0.2 Horizontal and Vertical Differential Operators on Tangent Bun- dles................................. 100 A.0.3 The Unit Tangent Bundle as a Subbundle........... 103 vii B Proofs of Theorem 10, 14, 21, and 23 106 B.0.4 Proofs of Theorem 10 and Theorem 14............. 106 B.0.5 Proofs of Theorem 21 and Theorem 23............. 128 Bibliography 167 Biography 180 viii List of Figures 1.1 Automatic correspondence generated by the continuous Procrustes al- gorithm, between second mandibular molars of two lemurs.......3 3.1 A diffusion map incorporating local geometric information...... 27 3.2 Non-triviality in analyzing a collection of teeth (c.f. [25])....... 35 3.3 Holonomy on a unit sphere........................ 38 3.4 Bar plots of the smallest 36 eigenvalues of 3 graph hypoelliptic Lapla- cians with fixed “ 0:2 and varying δ (sampling without noise)... 65 3.5 Bar plots of the smallest 36 eigenvalues of 3 graph hypoelliptic Lapla- cians with fixed “ 0:2 and varying δ (sampling from empirical tan- gent spaces)................................ 67 2 3.6 The vector field (near ξj) on S determined by (3.5.5)......... 67 5.1 MDS embeddings of CPD (left) and HBDD (right).......... 91 5.2 Globally consistent segmentation by spectral clustering for HDM... 92 5.3 Automatic landmarking using sparse eigenvectors for a group of 4 teeth 93 5.4 Phylogenies of a collection of 19 lemur teeth from 5 extant genera, constructed by applying UPGMA to shape distance matrices..... 95 5.5 Phylogenetic tree estimated with molecular-based methods....... 96 ix List of Abbreviations and Symbols Symbols Put general notes about symbol usage in text here. Notice this text is double-spaced, as required. Rn n-dimensional Euclidean space M base manifold F fibre TM the tangent bundle of the Riemannian manifold M UTM the unit tangent bundle of the Riemannian manifold M TxM the tangent space of M at x P M gij components of the Riemannian metric tensor on M dM p¨; ¨q geodesic distance on M dvolM the volume form of M Inj pMq injectivity radius of M Py;x parallel transport from TxM to TyM along the geodesic segment connecting x to y (for x; y sufficiently close) ∆H {∆V horizontal/vertical Laplacian K; KPCA kernel functions , B diffusion bandwidth on the base manifold δ; F diffusion bandwidth on the fibre x Abbreviations CPD Continuous Procrustes Distance CKPD Continuous Procrustes-Kantorovich Distance GPD Generalized Procrustes Distance DM Diffusion Maps VDM Vector Diffusion Maps HDM Hypoelliptic Diffusion Maps HBD Hypoelliptic Diffusion Distance HBDM Hypoelliptic Base Diffusion Maps HBDD Hypoelliptic Base Diffusion Distance xi Acknowledgements First and foremost, I would like to thank my Ph.D. advisor, Prof. Ingrid Daubechies, for her constant support and advice in the past few years. I sincerely appreciate the many efforts she made, financially and academically, that helped develop my path. I gratefully acknowledge the valuable information provided by Dr. Yaron Lipman and Dr. Roi Poranne that built up my geometry processing skill sets. Special thanks go to Dr. Yaron Lipman for my two visit to the Weizmann Institute of Science. I am truly and deeply indebted to my mentors in all branches of mathematics: Prof. Robert Bryant, Prof. Mark Stern, Prof. Lenhard Ng, and Dr. Hangjun Xu for differential geometry; Prof. Mauro Maggioni and Dr. Hau-Tieng Wu for diffusion maps; Prof. Jianfeng Lu and Prof. Thomas Beale for analysis. I would also like to thank my first-year mentors, Prof. Jian-Guo Liu and Prof. Thomas Witelski, for the opportunity to pursue my Ph.D. at Duke. I thank Dr. Andrew Schretter for his enormous assistance in computational resources, and Prof. Doug Boyer and Dr. Gabriel Yapuncich for many informative discussions in biology. I want to thank Kangkang Wang, Hangjun Xu, and all my friends at Duke, for the precious memories from the good old days. I reserve a last special appreciation for Rujie Yin, my friend, teacher, and soul companion, the redefinition of my life. xii 1 Introduction Phylogeny is the science that studies evolution of and evolutionary patterns among groups of species or populations. Molecular-based phylogeny, or phylogenetics, is a very successful tool to explore the evolutionary history of species on earth, in which evolutionary biologists analyze nucleotide sequences or amino acid data, build gene trees from probabilistic substitution models that describe the mutation process of pyrimidines (the nucleobases A and G) and purines (C and T), and eventually estimate species trees from biological phenomena such as horizontal gene transfer, gene duplication/loss, or deep coalescence. The past few decades have witnessed enormous progress in this field. Contrasting to this, the phylogenetics based on morphology, the branch of evolu- tionary biology founded on classifying geometric and structural features of the organ- isms of different species, is still in its infancy. Designing reliable methods to construct
Load more

Recommended publications
  • Characterization of Exact Lumpability for Vector Fields on Smooth Manifolds
    Preprint. Final version in: Differ.Geom.Appl. 48 (2016) 46-60 doi: 10.1016/j.difgeo.2016.06.001 Characterization of Exact Lumpability for Vector Fields on Smooth Manifolds Leonhard Horstmeyer∗ † Fatihcan M. Atay‡ Abstract We characterize the exact lumpability of smooth vector fields on smooth man- ifolds. We derive necessary and sufficient conditions for lumpability and express them from four different perspectives, thus simplifying and generalizing various re- sults from the literature that exist for Euclidean spaces. We introduce a partial connection on the pullback bundle that is related to the Bott connection and be- haves like a Lie derivative. The lumping conditions are formulated in terms of the differential of the lumping map, its covariant derivative with respect to the con- nection and their respective kernels. Some examples are discussed to illustrate the theory. PACS numbers: 02.40.-k, 02.30.Hq, 02.40.Hw AMS classification scheme numbers: 37C10, 34C40, 58A30, 53B05, 34A05 Keywords: lumping, aggregation, dimensional reduction, Bott connection 1 Introduction Dimensional reduction is an important aspect in the study of smooth dynamical systems and in particular in modeling with ordinary differential equations (ODEs). Often a reduction can elucidate key mechanisms, find decoupled subsystems, reveal conserved quantities, make the problem computationally tractable, or rid it from redundancies. A dimensional reduction by which micro state variables are aggregated into macro state variables also goes by the name of lumping. Starting from a micro state dynamics, this arXiv:1607.01237v2 [math.DG] 6 Jul 2016 aggregation induces a lumped dynamics on the macro state space. Whenever a non- trivial lumping, one that is neither the identity nor maps to a single point, confers the ∗Max Planck Institute for Mathematics in the Sciences, Inselstraße 22, 04103 Leipzig, Germany.
    [Show full text]
  • Lorentzian Cobordisms, Compact Horizons and the Generic Condition
    Lorentzian Cobordisms, Compact Horizons and the Generic Condition Eric Larsson Master of Science Thesis Stockholm, Sweden 2014 Lorentzian Cobordisms, Compact Horizons and the Generic Condition Eric Larsson Master’s Thesis in Mathematics (30 ECTS credits) Degree programme in Engineering Physics (300 credits) Royal Institute of Technology year 2014 Supervisor at KTH was Mattias Dahl Examiner was Mattias Dahl TRITA-MAT-E 2014:29 ISRN-KTH/MAT/E--14/29--SE Royal Institute of Technology School of Engineering Sciences KTH SCI SE-100 44 Stockholm, Sweden URL: www.kth.se/sci iii Abstract We consider the problem of determining which conditions are necessary for cobordisms to admit Lorentzian metrics with certain properties. In particu- lar, we prove a result originally due to Tipler without a smoothness hypothe- sis necessary in the original proof. In doing this, we prove that compact hori- zons in a smooth spacetime satisfying the null energy condition are smooth. We also prove that the ”generic condition” is indeed generic in the set of Lorentzian metrics on a given manifold. Acknowledgements I would like to thank my advisor Mattias Dahl for invaluable advice and en- couragement. Thanks also to Hans Ringström. Special thanks to Marc Nardmann for feedback on Chapter 2. Contents Contents iv 1 Lorentzian cobordisms 1 1.1 Existence of Lorentzian cobordisms . 2 1.2 Lorentzian cobordisms and causality . 4 1.3 Lorentzian cobordisms and energy conditions . 8 1.3.1 C 2 null hypersurfaces . 9 1.3.1.1 The null Weingarten map . 9 1.3.1.2 Generator flow on C 2 null hypersurfaces .
    [Show full text]
  • The Holomorphic Φ-Sectional Curvature of Tangent Sphere Bundles with Sasakian Structures
    ANALELE S¸TIINT¸IFICE ALE UNIVERSITAT¸II˘ \AL.I. CUZA" DIN IAS¸I (S.N.) MATEMATICA,˘ Tomul LVII, 2011, Supliment DOI: 10.2478/v10157-011-0004-5 THE HOLOMORPHIC '-SECTIONAL CURVATURE OF TANGENT SPHERE BUNDLES WITH SASAKIAN STRUCTURES BY S. L. DRUT¸ A-ROMANIUC˘ and V. OPROIU Abstract. We study the holomorphic '-sectional curvature of the natural diagonal tangent sphere bundles with Sasakian structures, determined by Drut¸a-Romaniuc˘ and Oproiu. After finding the explicit expressions for the components of the curvature tensor field and of the curvature tensor field corresponding to the Sasakian space forms, we find that there are no tangent sphere bundles of natural diagonal lift type of constant holomorphic '-sectional curvature. Mathematics Subject Classification 2000: 53C05, 53C15, 53C55. Key words: natural lift, tangent sphere bundle, Sasakian structure, holomorphic '-sectional curvature. 1. Introduction The geometry of the tangent sphere bundles of constant radius r, endowed with the metrics induced by some Riemannian metrics from the ambi- ent tangent bundle, was studied by authors like Abbassi, Boeckx, Cal- varuso, Kowalski, Munteanu, Park, Sekigawa, Sekizawa (see [1], [2], [4]-[7], [9], [12]-[14], [16]). In the most part of the papers, such as [4], [5] and [16], the metric considered on the tangent bundle TM was the Sasaki metric, but Boeckx noticed that the unit tangent bundle equipped with the induced Cheeger-Gromoll metric is isometric to the tangent sphere bun- dle T p1 M with the induced Sasaki metric. Then, in 2000, Kowalski and 2 Sekizawa showed how the geometry of the tangent sphere bundles depends on the radius (see [10]).
    [Show full text]
  • Fundamental Theorems in Mathematics
    SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635].
    [Show full text]
  • On Manifolds of Negative Curvature, Geodesic Flow, and Ergodicity
    ON MANIFOLDS OF NEGATIVE CURVATURE, GEODESIC FLOW, AND ERGODICITY CLAIRE VALVA Abstract. We discuss geodesic flow on manifolds of negative sectional curva- ture. We find that geodesic flow is ergodic on the tangent bundle of a manifold, and present the proof for both n = 2 on surfaces and general n. Contents 1. Introduction 1 2. Riemannian Manifolds 1 2.1. Geodesic Flow 2 2.2. Horospheres and Horocycle Flows 3 2.3. Curvature 4 2.4. Jacobi Fields 4 3. Anosov Flows 4 4. Ergodicity 5 5. Surfaces of Negative Curvature 6 5.1. Fuchsian Groups and Hyperbolic Surfaces 6 6. Geodesic Flow on Hyperbolic Surfaces 7 7. The Ergodicity of Geodesic Flow on Compact Manifolds of Negative Sectional Curvature 8 7.1. Foliations and Absolute Continuity 9 7.2. Proof of Ergodicity 12 Acknowledgments 14 References 14 1. Introduction We want to understand the behavior of geodesic flow on a manifold M of constant negative curvature. If we consider a vector in the unit tangent bundle of M, where does that vector go (or not go) when translated along its unique geodesic path. In a sense, we will show that the vector goes \everywhere," or that the vector visits a full measure subset of T 1M. 2. Riemannian Manifolds We first introduce some of the initial definitions and concepts that allow us to understand Riemannian manifolds. Date: August 2019. 1 2 CLAIRE VALVA Definition 2.1. If M is a differentiable manifold and α :(−, ) ! M is a dif- ferentiable curve, where α(0) = p 2 M, then the tangent vector to the curve α at t = 0 is a function α0(0) : D ! R, where d(f ◦ α) α0(0)f = j dt t=0 for f 2 D, where D is the set of functions on M that are differentiable at p.
    [Show full text]
  • An Interview with Martin Davis
    Notices of the American Mathematical Society ISSN 0002-9920 ABCD springer.com New and Noteworthy from Springer Geometry Ramanujan‘s Lost Notebook An Introduction to Mathematical of the American Mathematical Society Selected Topics in Plane and Solid Part II Cryptography May 2008 Volume 55, Number 5 Geometry G. E. Andrews, Penn State University, University J. Hoffstein, J. Pipher, J. Silverman, Brown J. Aarts, Delft University of Technology, Park, PA, USA; B. C. Berndt, University of Illinois University, Providence, RI, USA Mediamatics, The Netherlands at Urbana, IL, USA This self-contained introduction to modern This is a book on Euclidean geometry that covers The “lost notebook” contains considerable cryptography emphasizes the mathematics the standard material in a completely new way, material on mock theta functions—undoubtedly behind the theory of public key cryptosystems while also introducing a number of new topics emanating from the last year of Ramanujan’s life. and digital signature schemes. The book focuses Interview with Martin Davis that would be suitable as a junior-senior level It should be emphasized that the material on on these key topics while developing the undergraduate textbook. The author does not mock theta functions is perhaps Ramanujan’s mathematical tools needed for the construction page 560 begin in the traditional manner with abstract deepest work more than half of the material in and security analysis of diverse cryptosystems. geometric axioms. Instead, he assumes the real the book is on q- series, including mock theta Only basic linear algebra is required of the numbers, and begins his treatment by functions; the remaining part deals with theta reader; techniques from algebra, number theory, introducing such modern concepts as a metric function identities, modular equations, and probability are introduced and developed as space, vector space notation, and groups, and incomplete elliptic integrals of the first kind and required.
    [Show full text]
  • Thurston's Eight Model Geometries
    Thurston's Eight Model Geometries Nachiketa Adhikari May 2016 Abstract Just like the distance in Euclidean space, we can assign to a manifold a no- tion of distance. Two manifolds with notions of distances can be topologically homoemorphic, but geometrically very different. The question then arises: are there any \standard" or \building block" manifolds such that any manifold is either a quotient of these manifolds or somehow \made up" of such quotients? If so, how do we define such standard manifolds, and how do we discover how many of them there are? In this project, we ask, and partially answer, these questions in three di- mensions. We go over the material necessary for understanding the proof of the existence and sufficiency of Thurston's eight three-dimensional geometries, study a part of the proof, and look at some examples of manifolds modeled on these geometries. On the way we try to throw light on some of the basic ideas of differential and Riemannian geometry. Done as part of the course Low Dimensional Geometry and Topology, under the supervision of Dr Vijay Ravikumar. The main sources used are [7] and [6]. Contents 1 Preliminaries 2 1.1 Basics . .2 1.2 Foliations . .3 1.3 Bundles . .4 2 Model Geometries 8 2.1 What is a model geometry? . .8 2.2 Holonomy and the developing map . .9 2.3 Compact point stabilizers . 11 3 Thurston's Theorem 14 3.1 In two dimensions . 14 3.2 In three dimensions . 14 3.2.1 Group discussion . 15 3.2.2 The theorem .
    [Show full text]
  • Mathematical Challenges of the 21St Century: a Panorama of Mathematics
    comm-ucla.qxp 9/11/00 3:11 PM Page 1271 Mathematical Challenges of the 21st Century: A Panorama of Mathematics On August 7–12, 2000, the AMS held the meeting lenges was a diversity Mathematical Challenges of the 21st Century, the of views of mathemat- Society’s major event in celebration of World ics and of its connec- Mathematical Year 2000. The meeting took place tions with other areas. on the campus of the University of California, Los The Mathematical Angeles, and drew nearly 1,000 participants, who Association of America enjoyed the balmy coastal weather as well as held its annual summer the panorama of contemporary mathematics Mathfest on the UCLA Reception outside Royce Hall. provided in lectures by thirty internationally campus just prior to renowned mathematicians. the Mathematical Chal- This meeting was very different from other na- lenges meeting. On Sunday, August 6, a lecture by tional meetings organized by the AMS, with their master expositor Ronald L. Graham of the Uni- complicated schedules of lectures and sessions versity of California, San Diego, provided a bridge running in parallel. Mathematical Challenges was between the two meetings. Graham discussed a by comparison a streamlined affair, the main part number of unsolved problems that, like those of which comprised thirty plenary lectures, five per presented by Hilbert, have the intriguing combi- day over six days (there were also daily contributed nation of being simple to state while at the same paper sessions). Another difference was that the time being difficult to solve. Among the problems Mathematical Challenges speakers were encour- Graham talked about were Goldbach’s conjecture, aged to discuss the broad themes and major the “twin prime” conjecture, factoring of large outstanding problems in their areas rather than numbers, Hadwiger’s conjecture about chromatic their own research.
    [Show full text]
  • Research Article Slant Curves in the Unit Tangent Bundles of Surfaces
    Hindawi Publishing Corporation ISRN Geometry Volume 2013, Article ID 821429, 5 pages http://dx.doi.org/10.1155/2013/821429 Research Article Slant Curves in the Unit Tangent Bundles of Surfaces Zhong Hua Hou and Lei Sun Institute of Mathematics, Dalian University of Technology, Dalian, Liaoning 116024, China Correspondence should be addressed to Lei Sun; [email protected] Received 26 September 2013; Accepted 25 October 2013 Academic Editors: T. Friedrich and M. Pontecorvo Copyright © 2013 Z. H. Hou and L. Sun. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Let (, ) be a surface and let ((), ) be the unit tangent bundle of endowed with the Sasaki metric. We know that any curve Γ() in () consistofacurve() in and as unit vector field () along (). In this paper we study the geometric properties () and () satisfying when Γ() is a slant geodesic. 1. Introduction Theorem 1. Let Γ() = ((), ()) be a Legendrian geodesic parameterized by arc length in () with domain ∈[,]. (,,,,) Let be a 3-dimensional contact metric mani- If the set consisting of points ∈[,]such that () = 1 fold.Theslantcurvesin are generalization of Legendrian is discrete, then () is a geodesic of velocity 2 and () is the curves which form a constant angle with the Reeb vector field normal direction of in . .Choetal.[1] studied Lancret type problem for curves in Sasakian 3-manifold. They showed that a curve () ⊂ Theorem 2. Let Γ() = ((), ()) be a slant geodesic param- is slant if and only if ( ± 1)/ is constant where and eterized by arc length in () which is not Legendrian.
    [Show full text]
  • EMS Newsletter No 38
    CONTENTS EDITORIAL TEAM EUROPEAN MATHEMATICAL SOCIETY EDITOR-IN-CHIEF ROBIN WILSON Department of Pure Mathematics The Open University Milton Keynes MK7 6AA, UK e-mail: [email protected] ASSOCIATE EDITORS STEEN MARKVORSEN Department of Mathematics Technical University of Denmark Building 303 NEWSLETTER No. 38 DK-2800 Kgs. Lyngby, Denmark e-mail: [email protected] December 2000 KRZYSZTOF CIESIELSKI Mathematics Institute Jagiellonian University EMS News: Reymonta 4 Agenda, Editorial, Edinburgh Summer School, London meeting .................. 3 30-059 Kraków, Poland e-mail: [email protected] KATHLEEN QUINN Joint AMS-Scandinavia Meeting ................................................................. 11 The Open University [address as above] e-mail: [email protected] The World Mathematical Year in Europe ................................................... 12 SPECIALIST EDITORS INTERVIEWS The Pre-history of the EMS ......................................................................... 14 Steen Markvorsen [address as above] SOCIETIES Krzysztof Ciesielski [address as above] Interview with Sir Roger Penrose ............................................................... 17 EDUCATION Vinicio Villani Interview with Vadim G. Vizing .................................................................. 22 Dipartimento di Matematica Via Bounarotti, 2 56127 Pisa, Italy 2000 Anniversaries: John Napier (1550-1617) ........................................... 24 e-mail: [email protected] MATHEMATICAL PROBLEMS Societies: L’Unione Matematica
    [Show full text]
  • Taubes Receives NAS Award in Mathematics
    Taubes Receives NAS Award in Mathematics Clifford H. Taubes has re- four-manifolds. The latter was, of course, crucial in ceived the 2008 NAS Award Donaldson’s celebrated application of gauge theory in Mathematics from the Na- to four-dimensional differential topology. Taubes tional Academy of Sciences. himself proved the existence of uncountably many He was honored “for ground- exotic differentiable structures on R​4​; he reinter- breaking work relating to preted Casson’s invariant in terms of gauge theory Seiberg-Witten and Gromov- and proved a homotopy approximation theorem Witten invariants of symplec- for Yang-Mills moduli spaces. Taubes also proved tic 4-manifolds, and his proof a powerful existence theorem for anti-self-dual of the Weinstein conjecture conformal structures on four-manifolds. for all contact 3-manifolds.” “When Witten proposed the study of the so- The NAS Award in Math- called Seiberg-Witten equations in 1994, Cliff ematics was established by Taubes was one of the handful of mathematicians the AMS in commemora- who quickly worked out the basics of the theory Clifford H. Taubes tion of its centennial, which and launched it on its meteoric path. From an was celebrated in 1988. The analyst’s point of view, the quasi-linear Seiberg- award is presented every four Witten equations may seem rather mundane, at years in recognition of excellence in research in least when compared to the challenges offered up the mathematical sciences published within the by the Yang-Mills equations. True to this spirit, past ten years. The award carries a cash prize of Taubes announced at the time that he would never US$5,000.
    [Show full text]
  • Lectures on Mechanics Second Edition
    Lectures on Mechanics Second Edition Jerrold E. Marsden March 24, 1997 Contents Preface iv 1 Introduction 1 1.1 The Classical Water Molecule and the Ozone Molecule ........ 1 1.2 Lagrangian and Hamiltonian Formulation ............... 3 1.3 The Rigid Body .............................. 4 1.4 Geometry, Symmetry and Reduction .................. 11 1.5 Stability .................................. 13 1.6 Geometric Phases ............................. 17 1.7 The Rotation Group and the Poincare Sphere ............. 23 2 A Crash Course in Geometric Mechanics 26 2.1 Symplectic and Poisson Manifolds ................... 26 2.2 The Flow of a Hamiltonian Vector Field ................ 28 2.3 Cotangent Bundles ............................ 28 2.4 Lagrangian Mechanics .......................... 29 2.5 Lie-Poisson Structures and the Rigid Body .............. 30 2.6 The Euler-Poincare Equations ...................... 33 2.7 Momentum Maps ............................. 35 2.8 Symplectic and Poisson Reduction ................... 37 2.9 Singularities and Symmetry ....................... 40 2.10 A Particle in a Magnetic Field ..................... 41 3 Tangent and Cotangent Bundle Reduction 44 3.1 Mechanical G-systems .......................... 44 3.2 The Classical Water Molecule ...................... 47 3.3 The Mechanical Connection ....................... 50 3.4 The Geometry and Dynamics of Cotangent Bundle Reduction .... 55 3.5 Examples ................................. 59 3.6 Lagrangian Reduction and the Routhian ................ 65 3.7 The Reduced Euler-Lagrange
    [Show full text]