Does the world embody beautiful ideas? This is a question that people have thought about for a long time. Pythagoras and Plato intuited that the world should embody beautiful ideas; Newton and Maxwell demonstrated how the world could embody beautiful ideas, in specific impressive cases. Finally in the twentieth century in modern physics, and especially in quantum physics, we find a definitive answer: Yes! The world does embody beautiful ideas.
School of Mathematics
For all practical purposes, the Micali-Vazirani algorithm, discovered in 1980, is still the most efficient known maximum matching algorithm (for very dense graphs, slight asymptotic improvement can be obtained using fast matrix multiplication). However, this has remained a ``black box" result for the last 32 years. We hope to change this with the help of a recent paper giving a simpler proof and exposition of the algorithm:
We study the nonlinear Klein-Gordon equation, in one dimension, with a qudratic term and variable coefficient qubic term. This equation arises from the asymptotic stability theory of the kink solution.Our main result is the global existence and decay estimates for this equation. We discovered a striking new phenomena in this problem: a resonant interaction between the spacial frequencies of the nonlinear coefficient and the temporal oscillations of the solution.
We study open-closed orbifold Gromov-Witten invariants of toric Calabi-Yau 3-orbifolds with respect to Lagrangian branes of Aganagic-Vafa type. We prove an open mirror theorem which expresses generating functions of orbifold disk invariants in terms of Abel-Jacobi maps of the mirror curves. This is a joint work with Bohan Fang and Hsian-Hua Tseng.
In this talk we will discuss information complexity -- a measure of the amount of information Alice and Bob need to exchange to solve a problem over distributed inputs. We will present an information-theoretically optimal protocol for computing the AND of two bits distributed between Alice and Bob. We prove that the information complexity of AND is ~1.4923 bits. We use the optimal protocol and its properties to obtain tight bounds for the Disjointness problem, showing that the randomized communication complexity of Disjointness on n bits is ~0.4827n ± o(n).