Colloquium

There is a rich interplay between higher algebra (category theory, algebraic topology) and condensed matter. I will describe recent mathematical results in the classification of gapped topological phases of matter. These results allow powerful techniques from stable homotopy theory and higher categories to be employed in the classification. In one direction, these techniques allow for complete a priori classifications in spacetime dimensions ≤6. In the other direction, they suggest fascinating and surprising statements in mathematics.

Cooling atomic gases to ultracold temperatures revolutionized the field of atomic physics, connecting with and impacting many other areas in physics. Advances in producing ultracold molecules suggest similarly dramatic discoveries are on the horizon. First, I will review the physics of ultracold molecules, including our work bringing a new class of molecules to nanokelvin temperatures. Chemistry at these temperatures has a very different character than at room temperature. One striking effect is our recent result using spin states of reactants to control chemical reaction pathways.

There has been tremendous progress in the many layers needed to realize large-scale quantum computing, from the hardware layers to the high level software. There has also been vastly increased exploration into the potentially useful applications of quantum computers, which will drive the desire to build quantum computers and make them available to users. I will describe some of my research in quantum algorithmics and quantum compiling.