Thesis (Ph. D.)--Massachusetts Institute of Technology, Department of Mathematics, 2013. / Cataloged from PDF version of thesis. / Includes bibliographical references. / In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable conditions, the existence of an approximate solution to a system of equations implies the existence of an exact solution nearby. This allows us to leverage approximate computational techniques for finding solutions into rigorous computational techniques for proving the existence of solutions. Our first application is to tight codes in compact spaces, i.e., optimal codes whose optimality follows from linear programming bounds. In particular, we show the existence of many hitherto unknown tight regular simplices in quaternionic projective spaces and in the octonionic projective plane. We also consider regular simplices in real Grassmannians. The second application is to gravitational choreographies, i.e., periodic trajectories of point particles under Newtonian gravity such that all of the particles follow the same curve. Many numerical examples of choreographies, but few existence proofs, were previously known. We present a method for computer-assisted proof of existence and demonstrate its effectiveness by applying it to a wide-ranging set of choreographies. / by Gregory T. Minton. / Ph.D.
Identifer | oai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/84405 |
Date | January 2013 |
Creators | Minton, Gregory T. (Gregory Thomas) |
Contributors | Abhinav Kumar., Massachusetts Institute of Technology. Department of Mathematics., Massachusetts Institute of Technology. Department of Mathematics. |
Publisher | Massachusetts Institute of Technology |
Source Sets | M.I.T. Theses and Dissertation |
Language | English |
Detected Language | English |
Type | Thesis |
Format | 126 pages, application/pdf |
Rights | M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission., http://dspace.mit.edu/handle/1721.1/7582 |
Page generated in 0.0015 seconds