Colloquium

Recently, a new class of topological states has been theoretically predicted and experimentally realized. The topological insulators have an insulating gap in the bulk, but have topologically protected edge or surface states due to the time reversal symmetry. In two dimensions the edge states give rise to the quantum spin Hall (QSH) effect, in the absence of any external magnetic field. I shall review the theoretical prediction[1] of the QSH state in HgTe/CdTe semiconductor quantum wells, and its recent experimental observation[2]. The edge states of the QSH state supports fractionally charged excitations[3]. The QSH effect can be generalized to three dimensions as the topological magneto-electric effect (TME) of the topological insulators[4]. Bi2Te3, Bi2Se3 and Sb2Te3 are theoretically predicted to be topological insulators with a single Dirac cone on the surface[5]. I shall present a realistic experimental proposals to observe the magnetic monopoles on the surface of topological insulators[6]. Topological superconductors and superfluid have been theoretically proposed recently [7], in both two and three dimensions. They have a full pairing gap in the bulk, and their mean field Hamiltonian look identical to that of the topological insulators. However, the gapless surface states consists of a single Majorana cone, containing only half the degree of freedom compared to the single Dirac cone on the surface of a topological insulators. I shall discuss their physics properties and the search for these novel states in real materials. [1] A. Bernevig, T. Hughes and S. C. Zhang, Science, 314, 1757, (2006) [2] M. Koenig et al, Science 318, 766, (2007) [3] J. Maciejko, Chaoxing Liu, Yuval Oreg, Xiao-Liang Qi, Congjun Wu, and Shou-Cheng Zhang, , Phys. Rev. Lett. {\bf 102}, 256803 (2009). [4] Xiao-Liang Qi, Taylor Hughes and Shou-Cheng Zhang, Phys. Rev B. 78, 195424 (2008) [5] Haijun Zhang, Chao-Xing Liu, Xiao-Liang Qi, Xi Dai, Zhong Fang, and Shou-Cheng Zhang, Nature Physics 5, 438 (2009). [6] Xiao-Liang Qi, Run-Dong Li, Jiadong Zang and Shou-Cheng Zhang, Science 323, 1184 (2009). [7] Xiao-Liang Qi, Taylor L. Hughes, Srinivas Raghu and Shou-Cheng Zhang, Phys. Rev. Lett. 102, 187001 (2009)

The hot, gaseous atmospheres of galaxies and clusters of galaxies are repositories for the energy output from accreting, supermassive black holes located in the nuclei of galaxies. X-ray observations show that star formation fueled by gas condensing out of hot atmospheres is strongly suppressed by feedback from active galactic nuclei (AGN). This mechanism may solve several outstanding problems in astrophysics, including the numbers of luminous galaxies and their colors, and the excess number of hot baryons in the Universe. The most energetic AGN outbursts may be powered by rapidly-spinning, ultra-massive black holes.

I will present recent numerical results obtained in collaboration with Frans Pretorius that describe head-on collisions of two solitons coupled to the general relativistic gravitational field and boosted to ultra relativistic energies. The calculations show, for the first time, that at sufficiently high energies such a collision leads to black hole formation, consistent with hoop conjecture arguments. This implies that the non-linear gravitational interaction between the kinetic energy of the solitons results in gravitational collapse, and the arguments for black hole formation in super-Planck scale particle collisions are robust. I will also speculate on the nature of the threshold of black hole formation in the model.

Quantum Bayesianism is a point of view on quantum foundations that says that there is no such thing as a “measurement problem” because there is no such THING as a quantum state: Quantum states are not things---instead information. But the view doesn’t stop there; it starts there! Taking the idea seriously over the last 15 years has been the direct motivation for a number of theorems and objects in quantum information theory: from the no-broadcasting theorem, to the quantum de Finetti theorem, and even some quantum cryptographic alphabets. I will review some of this, and then move on to the holy grail of present efforts: Finding an efficient representation of quantum states in terms of a singular probability function. Doing so leads to the hard technical problem of demonstrating the existence of a certain very symmetric sets of quantum states, and holds out the hope of understanding the amount of “quantum stuff” in a physical system in terms of a single parameter. (I.e., there is the THING that the quantum state is not).

Self-assembly refers to any thermodynamic process in which a bunch of particles (molecules, biomolecules, polymers, colloids) come together in solution to form an ordered structure. In living things it is a widely used and robust manufacturing tool: DNA, RNA and proteins spontaneously form three dimensional structures, and supramolecular structures emerge from protein aggregates with staggering degrees of ordering and specificity. By contrast, most synthetic systems in soft condensed matter do not assemble robustly. In this talk I will discuss experiments on simple systems that allow us to probe the physics and thermodynamics of self-assembly. We use systems consisting of small numbers (N ⇐ 12) of confined spherical colloidal particles to understand what physical parameters (interactions) determine how a system will assemble. We find that the probability of self-assembling a particular configuration can be understood in terms of the geometry of sphere packings. The geometrical model gives some insights into how phase transitions emerge as N approaches the bulk limit. At the same time, it yields some general insights into the design principles for robust self-assembly.

Viscosity is a very old concept which was introduced to physics by Navier in the 19th century. However, in strongly coupled systems, the viscosity is usually difficult to compute. In this talk I will describe how gauge/gravity duality, a by-product of string theory, allows one to compute the viscosity for a class of strongly interacting fluids not too dissimilar to the quark gluon plasma. I will also describe efforts to measure the viscosity and other physical properties of the quark gluon plasma at the Relativistic Heavy Ion Collider.

We will review the definitions of spin foam models for quantum gravity and the recent advances in this field, such as the "graviton propagator", the definition of coherent states of geometry and the derivation of non-commutative field theories as describing the effective dynamics of matter coupled to quantum gravity. I will insist on the role of group field theories as providing a non-perturbative definition of spinfoams and their intricate relation with non-commutative geometry and matrix models.

Last May, NASA astronauts performed a challenging and flawless Space Shuttle servicing mission to the orbiting Hubble Space Telescope. With science instruments repaired on board and incredible new ones installed, the observatory is more powerful now than ever before. I will show the dramatic highlights of the mission, and present some of the first results from the refurbished telescope. The sensitivity and multi-wavelength capabilities are revealing the highest redshift galaxies ever seen as well as details of the cosmic web of intergalactic medium, large scale structure formation, and stellar evolution. Studies of dark matter, dark energy, and exoplanet atmospheres add to the profound contributions to astrophysics that Hubble is making, at the new apex of its capabilities.

Ever since there's been money, there have been people trying to counterfeit it, and governments trying to stop them. In 1969, the physicist Stephen Wiesner raised the remarkable possibility of money whose authenticity would be guaranteed by the laws of quantum mechanics. However, the question of whether one can have secure quantum money that anyone (not only the bank) can verify has remained open for forty years. In this talk, I'll tell you about progress on the question over the last two years. (1) I'll show that no publicly-verifiable quantum money scheme can have security based on quantum physics alone: like in most cryptography, one also needs a computational hardness assumption. (2) I'll show that one can have quantum money that remains hard to counterfeit, even if a counterfeiter gains access to a "black box" for verifying the money. (3) I'll describe a candidate quantum money scheme I proposed last spring, and how that scheme was recently broken by Lutomirski et al. I'll also discuss a new class of schemes that might evade the existing attacks -- schemes with the bizarre property that not even the bank can prepare the same bill twice. The talk is designed to be accessible to those without a quantum information background. Reference for (1)-(2): S. Aaronson, "Quantum copy-protection and quantum money," in Proceedings of CCC'2009, http://www.scottaaronson.com/papers/noclone-ccc.pdf. Reference for (3): A. Lutomirski, S. Aaronson, E. Farhi, D. Gosset, A. Hassidim, J. Kelner, and P. Shor. Breaking and making quantum money: toward a new quantum cryptographic protocol, Proceedings of Innovations in Computer Science (ICS), 2010. http://arxiv.org/abs/0912.3825.

The graph isomorphism (GI) problem plays a central role in the theory of computational complexity and has importance in physics and chemistry as well. While no general efficient algorithm for solving GI is known, it is unlikely to be NP-complete; in this regard it is similar to the factoring problem, for which Shor has developed an efficient quantum algorithm. In this talk I will discuss our investigations of quantum particles walking on graphs and their implications for possible algorithms for GI. We find that single-particle quantum random walks fail to distinguish some nonequivalent graphs that can be distinguished by random walks with two interacting particles. The implications of these observations for classical and quantum algorithms for GI will be discussed.

I will describe a new connection between supersymmetry, geometry and computer science. An exploration of the equations of supersymmetry has revealed a geometrical sub-structure whose classification depends on self-dual error correcting codes.