Physics

In quantum error correcting codes, there is a distinction
between coherent and incoherent noise. Coherent noise can cause the
average infidelity to accumulate quadratically when a fixed channel is
applied many times in succession, rather than linearly as in the case
of incoherent noise. I will present a proof that unitary single qubit
noise in the 2D toric code with minimum weight decoding is mapped to
less coherent logical noise, and as the code size grows, the coherence
of the logical noise channel is suppressed. In the process, I will
describe how to characterize the coherence of noise using either the
growth of infidelity or the relation between the diamond distance from
identity and the average infidelity. I will explain how coherence in
the noise on physical qubits is transformed by error correction in
stabilizer codes. Then, I will sketch the proof that coherence is
suppressed for the 2D toric code. The result holds even when the
single qubit unitary rotation are allowed to have arbitrary directions
and angles, so long as the angles are below a threshold, and even when
the rotations are correlated. Joint work with John Preskill.

The out-of-time-ordered correlator (OTOC) and entanglement are two physically motivated and widely used probes of the ``scrambling'' of quantum information, which has drawn great interest recently in quantum gravity and many-body physics. By proving upper and lower bounds for OTOC saturation on graphs with bounded degree and a lower bound for entanglement on general graphs, we show that the time scales of scrambling as given by the growth of OTOC and entanglement entropy can be asymptotically separated in a random quantum circuit model defined on graphs with a tight bottleneck. Our result counters the intuition that a random quantum circuit mixes in time proportional to the diameter of the underlying graph of interactions.  It also serves as a more rigorous justification for an argument of [Shor, 1807.04363], that black holes may be very slow scramblers in terms of entanglement generation. Such observations may be of fundamental importance in the understanding of the black hole information problem. The bound we obtained for OTOC is interesting in its own right in that it generalized previous studies of OTOC on lattices to the geometries on graphs and proved it rigorously.   Based on [Harrow-Kong-Liu-Mehraban-Shor, 1906.02219]

It was during his stay in Prague when Einstein started in earnest to develop his ideas about general relativity. I will evoke those days in 1911 and 1912, discuss Einstein's papers on gravitation from that period, emphasize which new concepts and ideas he introduced. I also want to show you how the main themes that preoccupied him then, the principle of equivalence, bending of light, gravitational redshift and frame dragging effects are still alive in contemporary relativity.

Computing has had many fundamental platform shifts in its history, and each came shrouded with mystery, hype, and dazzling potential: Alan Turing's universal machines, Doug Engelbart's Dynamic Knowledge Repository, J.C.R. Licklider's Intergalactic Network, the development of the internet, and all the waves of personal computers. More recently, Web 1.0, Web 2.0, and now Web 3.0 have all been heralded with barely-working demos and baffling hype, only to quietly install and broadly distribute fundamental improvements to our everyday life, to our work, and to our society. Each time the smoke cleared, our civilization had been transformed.

Right now, there are fundamental improvements being designed, built, and deployed in the web 3.0 landscape. These improvements and the applications they enable have the potential to transform our lives, our societies, and our civilization yet again. Some of those changes have started to happen, but the vast majority loom in the horizon. To understand the potential changes to our future, we must first understand what the technologies are, what properties they have, and what applications and actions they enable. After looking at the pieces concretely, both in theory and in practice, we can then put the puzzle of the future back together.

This colloquium will explore:

- What web 3.0 is, and its key technologies
- Decentralized Web systems, and their applications
- Blockchain systems, as a next generation platform for computing
- Cryptocurrencies, and the systems they enable
- Smart contracts and autonomous programs
- Cryptoeconomics and incentive structure engineering
- Open Services -- open source internet-wide utilities
- and a set of Open Problems in the field.

Embezzlement of entanglement is the (impossible) task of producing an entangled state from a product state via a local change of basis, when a suitable catalytic entangled state is available.  The possibility to approximate this task was first observed by van Dam and Hayden in 2002.  Since then, the phenomenon is found to play crucial roles in many aspects of quantum information theory.  In this colloquium, we will explain various methods to embezzlement entanglement and explore applications (such as an extension to approximately violate other conservation laws, a Bell inequality that cannot be violated maximally with finite amount of entanglement, consequences for resource theories, and the quantum reverse Shannon theorem).

Einstein is well known for his rejection of quantum mechanics in the form it emerged from the work of Heisenberg, Born and Schrodinger in 1926. Much less appreciated are the many seminal contributions he made to quantum theory prior to his final scientific verdict: that the theory was at best incomplete. In this talk I present an overview of Einstein’s many conceptual breakthroughs and place them in historical context. I argue that Einstein, much more than Planck, introduced the concept of quantization of energy in atomic mechanics. Einstein proposed the photon, the first force-carrying particle discovered for a fundamental interaction, and put forward the notion of wave-particle duality, based on sound statistical arguments 14 years before De Broglie’s work. He was the first to recognize the intrinsic randomness in atomic processes, and introduced the notion of transition probabilities, embodied in the A and B coefficients for atomic emission and absorption. He also preceded Born in suggesting the interpretation of wave fields as probability densities for particles, photons, in the case of the electromagnetic field. Finally, stimulated by Bose, he introduced the notion of indistinguishable particles in the quantum sense and derived the condensed phase of bosons, which is one of the fundamental states of matter at low temperatures. His work on quantum statistics in turn directly stimulated Schrodinger towards his discovery of the wave equation of quantum mechanics. It was only due to his rejection of the final theory that he is not generally recognized as the most central figure in this historic achievement of human civilization.   

Gauge theories are fundamental to our understanding of interactions between the elementary constituents of matter as mediated by gauge bosons. However, computing the real-time dynamics in gauge theories is a notorious challenge for classical computational methods. In the spirit of Feynman's vision of a quantum simulator, this has recently stimulated theoretical effort to devise schemes for simulating such theories on engineered quantum-mechanical devices, with the difficulty that gauge invariance and the associated local conservation laws (Gauss laws) need to be implemented. Here we report the first digital quantum simulation of a lattice gauge theory, by realising 1+1-dimensional quantum electrodynamics (Schwinger model) on a few-qubit trapped-ion quantum computer. We are interested in the real-time evolution of the Schwinger mechanism, describing the instability of the bare vacuum due to quantum fluctuations, which manifests itself in the spontaneous creation of electron-positron pairs. Our work represents a first step towards quantum simulating high-energy theories with atomic physics experiments, the long-term vision being the extension to real-time quantum simulations of non-Abelian lattice gauge theories.