Kadison-Singer Resolved
In 2013, the Kadison-Singer problem was solved by Adam Marcus, Dan Spielman, and Nikhil Strivastava. As Dana Mackenzie said in the January/February 2014 issue of SIAM News, the Kadison-Singer problem was like a “great subterranean river of mathematics, mysteriously disappearing below the surface and reappearing where you least expect it.” The problem appeared in different guises in mathematical...
Topology Provides Tools for Intrusion Detection with Robot Swarms
Robotic swarms are increasingly being designed for tasks deemed too difficult, time-consuming, or hazardous for humans, such as underwater exploration, wildlife sampling, surveillance, and search and rescue. These cheap, simple robots move using collective behaviors that emerge from local interactions with each other and their environment, functioning much like social insects. One use of robot...
Polygon Iterations
In the Fall of 2013, ICERM had a semester program on experiental geometry, topology, and dynamics. One of the many projects undertaken during this semester was the study of polygon iterations – geometrically defined maps on the space of polygons. Perhaps the simplest polygon iteration is the midpoint map. Starting with an n-gon P1, we let P2 be the n-gon whose vertices lie at the centers of the...
Modeling the Prevention and Reversal of Type 2 Diabetes
A highlight of the August 2013 Workshop for Young Researchers in Mathematical Biology held at MBI was a presentation by Dr. Arthur Sherman of the National Institutes of Health, describing work with NIH post-doctoral fellow, Joon Ha, on modeling the disease process in type 2 diabetes (T2D). Diabetes is an unfortunate byproduct of the phenomenal success of the human race in providing inexpensive...
Mathematics and Cosmology
The subject of cosmology has progressed dramatically in the last 10-20 years. This is illustrated by, among other things, the Nobel prizes in 2006 (cosmic microwave background) and in 2011 (observations of supernovae). In particular, the observations of supernovae led to the unexpected conclusion that the uni- verse is expanding at an accelerated rate. As a result, the currently preferred...
Stochastic Models of Disease Spread
At a yearlong program at MBI, mathematicians, engineers, and bioscientists discussed new ways of analyzing the effects of random events on the long term behavior of large biological systems. A particular topic of interest was the development of stochastic methods in the study of infectious diseases. Within an individual, disease development involves both the stochastic evolution of viral or...
Homotopy Type Theory
During the academic year 2012-13, the School of Mathematics conducted a special program on a new approach to the foundations of mathematics entitled Univalent Foundations of Mathematics. The program was co-organized by Professor Vladimir Voevodsky of the School and Members Steve Awodey of Carnegie Mellon University and Thierry Coquand of the University of Gothenburg, Sweden. There were...
Mathematics Enables Effective Screening of Recessive Genetic Disorders
Yaniv Erlich directs a human genetics lab at the Whitehead Institute for Biomedical Research at the Massachusetts Institute of Technology (MIT). One of his research projects is to identify carriers of recessive genetic disorders that affect a large proportion of the Ashkenazi Jewish population. These genetic disorders are known to cause devastating diseases, such as Tay-Sachs, Canavan disease,...
The Importance of Chemotaxis to the Health of Coral Colonies
Chemotaxis is a mechanism by which organisms navigate their environment using chemical sensors. When mathematician Sasha Kiselev, University of Wisconsin, heard a lecture at the IMA by Jeffrey Weiss, Department of Atmospheric and Oceanic Sciences at the University of Colorado, about broadcast spawning, when egg and sperm are released at separate locations are then brought together by fluid...
Crystals in Number Theory
During the spring semester of 2013, the Institute for Computational and Experimental Mathematics hosted a special program devoted to common themes in automorphic forms, combinatorial representation theory and multiple Dirichlet series. A particular focus was placed on computer exploration and the joint development of the required computational tools within the open source mathematical system...