Expander graphs have played, in the last few decades, an important role in computer science, and in the last decade, also in pure mathematics. In recent years a theory of "high-dimensional expanders" is starting to emerge - i.e., simplical complexes which generalize various properties of expander graphs. This has some geometric motivations (led by Gromov) and combinatorial ones (started by Linial and Meshulam). The talk will survey the various directions of research and their applications, as well as potential applications in math and CS. Some of these lead to questions about buildings and representation theory of p-adic groups.
We will survey the work of a number of people. The works of the speaker in this direction are with various subsets of { S. Evra, K. Golubev, T. Kaufman, D. Kazhdan , R. Meshulam, S. Mozes }
After quadratic equations in two variables come cubic equations, or elliptic curves. The set of rational points on an elliptic curve has the structure of a finitely generated abelian group. I will recall the basic theory of elliptic curves, then discuss the conjecture of Birch and Swinnerton-Dyer, which attempts to predict the rank of the group of rational points from the number of solutions (mod p) for all primes p. I will also discuss some recent results on the average rank, due to Manjul Bhargava and his collaborators. (PIMS-UBC Distinguished Colloquium)
Knowledge of atmospheric carbon dioxide (CO2) concentrations in the past are important to provide an understanding of how the Earth's carbon cycle varies over time. This project combines ice core CO2 concentrations, from Law Dome, Antarctica and a physically based forward model to infer CO2 concentrations on an annual basis. Here the forward model connects concentrations at given time to their depth in the ice core sample and an interesting feature of this analysis is a more complete characterization of the uncertainty in "inverting" this relationship. In particular, Monte Carlo based ensembles are particularly useful for assessing the size of the decrease in CO2 around 1600 AD. This reconstruction problem, also known as an inverse problem, is used to illustrate a general statistical approach where observational information is limited and characterizing the uncertainty in the results is important. These methods, known as Bayesian hierarchical models, have become a mainstay of data analysis for complex problems and have wide application in the geosciences. This work is in collaboration with Eugene Wahl (NOAA), David Anderson (NOAA) and Catherine Truding.
The talk is concerned with the application of sensor array imaging in complex environments. The goal of imaging is to estimate the support of remote sources or strong reflectors using time resolved measurements of waves at a collection of sensors (the array). This is a challenging problem when the imaging environment is complex, due to numerous small scale inhomogeneities and/or rough boundaries that scatter the waves. Mathematically we model such complexity (which is necessarily uncertain in applications) using random processes, and thus study imaging in random media. I will focus attention on the application of imaging in random waveguides, which exhibits all the challenges of imaging in random media. I will present a quantitative study of cumulative scattering effects in such waveguides and then explain how we can use such a study to design high fidelity imaging methods.
Whether the 3D incompressible Euler equations can develop a singularity in finite time from smooth initial data is one of the most challenging problems in mathematical fluid dynamics. This question is closely related to the Clay Millennium Problem on 3D Navier-Stokes Equations. We first review some recent theoretical and computational studies of the 3D Euler equations. Our study suggests that the convection term could have a nonlinear stabilizing effect for certain flow geometry. We then present strong numerical evidence that the 3D Euler equations develop finite time singularities. To resolve the nearly singular solution, we develop specially designed adaptive (moving) meshes with a maximum effective resolution of order $10^12$ in each direction. A careful local analysis also suggests that the solution develops a highly anisotropic self-similar profile which is not of Leray type. A 1D model is proposed to study the mechanism of the finite time singularity. Very recently we prove rigorously that the 1D model develops finite time singularity.This is a joint work of Prof. Guo Luo.
2010 Fields Medal recipient, Cédric Villani, Director of the Institut Henri Poincaré in Paris, France, will give a Friday evening talk entitled The Mathematics of Bats.
It is often convenient or useful in mathematics to treat isomorphic structures as the same. The Univalence Axiom for the foundations of mathematics elevates this idea to a foundational principle in the setting of Homotopy Type Theory. It states, roughly, that isomorphic structures can be identified. In his talk, Prof. Awodey will explain this principle and how it can be taken as an axiom, and explore the motivations and consequences, both mathematical and philosophical, of making such an assumption.
One sometimes hears that the indigenous peoples of the Americas are for some reason not predisposed to be able to do mathematics. This belief is surprising, since the mathematical traditions of the Western Hemisphere prior to European contact were already rich and extensive. This talk will focus on some of those traditions, primarily Central American but with some information about mathematical traditions in Algonkian cultures such as the Blackfoot. Almost all of this talk will be accessible to any interested listener, with perhaps five minutes in the middle using a small amount of very elementary number theory. Along the way any listener who has ever eaten an 18 Rabbits granola bar will learn why doing so celebrates indigenous mathematics.
ABOUT THE RICHARD AND LOUISE GUY LECTURE SERIES:
The Richard & Louise Guy lecture series celebrates the joy of discovery and wonder in mathematics for everyone. Indeed, the lecture series was a 90th birthday present from Louise Guy to Richard in recognition of his love of mathematics and his desire to share his passion with the world. Richard Guy is the author of over 100 publications including works in combinatorial game theory, number theory and graph theory. He strives to make mathematics accessible to all. The other contributions to the lecture series have been made by Elwyn Berlekamp (2006), John Conway (2007), Richard Nowakowski (2008), William Pulleyblank (2009), Erik Demaine (2010), Noam Elkies (2011), Ravi Vakil (2012) and Carl Pomerance (2013).
Expander graphs have played, in the last few decades, an important role in computer science, and in the last decade, also in pure mathematics. In recent years a theory of "high-dimensional expanders" is starting to emerge - i.e., simplical complexes which generalize various properties of expander graphs. This has some geometric motivations (led by Gromov) and combinatorial ones (started by Linial and Meshulam). The talk will survey the various directions of research and their applications, as well as potential applications in math and CS. Some of these lead to questions about buildings and representation theory of p-adic groups.
We will survey the work of a number of people. The works of the speaker in this direction are with various subsets of { S. Evra, K. Golubev, T. Kaufman, D. Kazhdan , R. Meshulam, S. Mozes }