Colloquium

Beginning with the landmark gravitational wave detections by LIGO/Virgo, we have been gaining an unprecedented view of the dynamics of strongly curved spacetime originally predicted by Einstein. Enabling and motivated by these observations, there has been rapid development in the theoretical and computational tools we use to understand and interpret the nature of gravity and matter in this regime. This is essential to fulfilling the promise of gravitational wave astronomy to not only be a new window on the astrophysics of black hole and neutron star mergers, but also to be a unique probe of fundamental physics. I will illustrate this, highlighting the example of how black holes can be used to search for new particles. The same theoretical tools also allow us to push Einstein's theory to the extreme in search of the limits of its predictability, for example testing cosmic censorship, the idea that the breakdown in Einstein's equations associated with unhalted collapse is always hidden behind a black hole horizon. I will describe some recent work resolving a long-standing putative counterexample to this conjecture.

While the concept of topology is often introduced by contrasting oranges with bagels, the idea of topologically distinct quantum phases of matter is far more abstract. In this talk, we will focus on a more tangible form of topology that also arises in quantum condensed matter system: when the sites in a lattice are dragged around in a symmetric manner, what attributes of the lattice would remain unchanged? Such deformation can be viewed as the lattice analog of the familiar (mental) exercise of transforming a bagel into a coffee mug. We will first introduce the mathematical framework for identifying the topological classes of lattices, and then discuss how these invariants can constrain and inform the more abstract notion of topological phases of matter that emerge.

High resolution hydrodynamic simulations of galaxy formation are powerful tools, which can provide important information on the properties of the dark matter halo. Combined with the information obtained from the second data release of the Gaia satellite, simulations can significantly improve our understanding of the dark matter distribution in the Solar neighborhood. Determining the local dark matter velocity distribution is crucial for the correct analysis and interpretation of data from dark matter direct detection experiments. I will discuss the local dark matter distribution of Milky Way-like galaxies extracted from state-of-the-art hydrodynamic simulations, and present an analysis of direct detection data using this distribution. I will also discuss the properties of the dark matter component of the radially anisotropic stellar population recently discovered in the Gaia data, using the Auriga simulations. In particular, I will present the local dark matter density and velocity distributions of the simulated Milky Way-like galaxies with and without the anisotropic substructure, and discuss their implications for dark matter direct detection.

Last fall, a team at Google announced the first-ever demonstration of "quantum computational supremacy"---that is, a clear quantum speedup over a classical computer for some task---using a 53-qubit programmable superconducting chip called Sycamore.  In addition to engineering, Google's accomplishment built on a decade of research in quantum computing theory.  This talk will discuss questions like: what exactly was the contrived computational problem that Google solved?  How does one verify the outputs using a classical computer?  And how confident are we that the problem really is classically hard---especially in light of subsequent counterclaims by IBM?  I'll end with a proposed application for Google's experiment---namely, the generation of certified random bits, for use (for example) in proof-of-stake cryptocurrencies---that I've been developing and that Google is now working to demonstrate.

Fundamental physics (including physics beyond the Standard Model) can be tested using table-top precision measurements. The talk will describe measurements of the size of the proton, the fine-structure constant and the electric dipole moment of the electron. Two recently completed measurements will be described. For the first measurement, the n=2 Lamb shift of atomic hydrogen is measured, allowing for a new determination of the charge radius of the proton. This determination is crucial to resolving the decade-old proton radius puzzle, in which it appeared that the proton radius took on a different value when measured with muons compared to measurements using electrons. The second measurement is of the n=2 triplet P fine structure of atomic helium, and this work is part of a program to obtain a new determination of the fine-structure constant. Both of these measurements use a new measurements technique: Frequency offset separated oscillatory fields. Finally, a new major effort (EDM^3) is starting at York University to measure the electron electric dipole moment using polar molecules embedded into inert-gas solids. This measurement will test for T violation and will probe physics up to the PeV energy scale.    

Our ability to model cosmological observations has reached an awesome level, a tour de force of observational innovation, sophisticated statistical inference, and delicate numerical computation. There’s little doubt that the Standard Cosmological Model will stand the test of time. But what has it told us and what is still missing? What are the prospects for learning particle physics and condensed matter from cosmology? And what can the path we’ve taken to reach this point tell us about where it might lead?

I will start with an introduction into the framework of perturbative algebraic quantum field theory (pAQFT), which is a mathematically rigorous approach to perturbative QFT. In its original formulation, it is based on the Haag-Kastler axiomatic framework, where locality is a fundamental principle. In my talk I will discuss how it can be extended to treat also non-local observables, with potential applications to effective quantum gravity

At the heart of the quantum measurement problem lies the ambiguity about exactly when to use the unitary evolution of the quantum state and when to use the state-update in dynamics of quantum mechanical systems. In the Wigner’s friend gedankenexperiment, different observers (one of whom is observed by the other) describe one and the same interaction differently. One – the friend – uses the state-update rule and the other – Wigner – chooses unitary evolution. This can lead to paradoxical situations in which Wigner and his friend assign different probabilities to the outcomes of subsequent measurements. In my talk, I will apply the Page-Wootters mechanism (PWM) as a timeless description of the Wigner's friend-like scenario. This description assigns one timeless state to the entire experimental scenario from which it is possible to derive probabilities without the need to involve the evolution of the quantum state during – and in-between – measurements. I will consider several rules for assigning two-time conditional probabilities within the PWM. All of these reduce to standard (“textbook”) rules for non-Wigner’s friend scenarios. However, when applied to the Wigner’s friend setup, they differ. Each rule potentially resolves the probability-assignment paradox in a different way. Moreover, one rule imposes that a joint probability distribution for the measurement outcomes of Wigner and his friend is well-defined only when Wigner’s measurement does not disturb the friend’s memory, in agreement with the recent “no-go theorem for observer-independent facts

(with Veronika Baumann, Flavio Del Santo, Alexander R. H. Smith, Flaminia Giacomini, and Esteban Castro-Ruiz)

Cosmological simulations of galaxy formation have evolved significantly over the last years.
In my talk I will describe recent efforts to model the large-scale distribution
of galaxies with cosmological hydrodynamics simulations. I will focus on the
Illustris simulation, and our new simulation campaign, the IllustrisTNG
project. After demonstrating the success of these simulations in terms of
reproducing an enormous amount of observational data, I will also talk about
their limitations and directions for further improvements over the next couple
of years.

We provide the first example of a symmetry protected quantum phase that has universal computational power. Throughout this phase, which lives in spatial dimension two, the ground state is a universal resource for measurement based quantum computation. Joint work with Cihan Okay, Dong-Sheng Wang, David T. Stephen, Hendrik Poulsen Nautrup; J-ref: Phys. Rev. Lett. 122, 090501

Recently they have been generalized to other 3d homogeneous spaces, namely 3d anti de Sitter space and half-pipe space, a 3d homogeneous space with a degenerate metric.

We show that generalized ideal tetrahedra correspond to dual tetrahedra in 3d Minkowski, de Sitter and anti de Sitter space. They are those geodesic tetrahedra whose faces are all lightlike.

We investigate the geometrical properties of these dual tetrahedra in a unifi ed framework.  We then apply these results to obtain a volume formula for generalised ideal tetrahedra and their duals, in terms of their dihedral angles and their edge lengths.

This is joint work with Dr Carlos Scarinci, KIAS.

Analytic renormalisation "à la Speer" using a multivariable approach typically leads to meromorphic germs in several variables whose poles are linear.  In particular,  Feynman integrals, multizeta functions and their generalisations, namely  discrete sums on cones and discrete sums associated with trees give rise to meromorphic germs at zero with linear poles. We shall present  a multivariable renormalisation scheme which amounts to a minimal subtraction scheme in several variables. It preserves locality in so far as the  evaluation at poles is expected to factor  on functions with independent sets of variables. Inspired by Speer, we shall discuss a class of generalised evaluators that do the job. Using a theory of  Laurent expansions  on meromorphic germs with linear poles at zero, we shall relate these generalised evaluators to the geometry of cones.

This talk is based on joint work with Pierre Clavier, Li Guo and Bin Zhang.