Talks

Stars orbiting in the halo of our galaxy, the Milky Way, are a window into the distribution of dark matter. In particular, tidally disrupted star clusters, which produce thin stellar streams, are optimal tracers of matter. Based on a Fisher-information calculation, we expect that the current data on the known Milky Way streams should constrain the radial profile and the shape of the inner halo to a precision of a few percent. In addition, stellar streams retain a detailed record of the matter field on small scales. Typically, streams are very thin -- approximately 100 times longer than they are wide, so even small gravitational perturbations introduce observable variations in the density of stars along the stream. Recently, significant gaps were detected in the GD-1 stellar stream, as well as stream stars displaced from the main stream. The observed structure is naturally reproduced in simulations where a stream like GD-1 encounters a massive perturber. None of the known Milky Way satellites has recently crossed paths with GD-1. If confirmed, the encounter scenario indicates the presence of an unknown, massive (~10^7 Msun) and compact (~<10 pc) object in the Milky Way -- the first evidence of dark substructure in a galactic halo.

Work of Bezrukavnikov on local geometric Langlands correspondence and works of Gorsky, Neguţ, Rasmussen and Oblomkov, Rozansky on knot homology and matrix factorizations suggest that there should be a categorical version of a certain natural homomorphism from the affine Hecke algebra to the finite Hecke algebra in type A, sending basis lattice elements on the affine side to Jucys-Murphy elements on the finite side. I will try to explain some of the structures involved and will talk about recent progress towards a construction of such a categorification in the setting of Hecke categories.

I will sketch why self-dual versions of the moduli of G-Higgs bundles are expected to arise physically from the study of 4d theories of class S. I will then describe an extension of the Langlands duality results of Hausel-Thaddeus (G=SL(n)) and Donagi-Pantev (arbitrary reductive G) that yields self-dual moduli spaces as a corollary.

The Alday-Gaiotto-Tachikawa correspondence connects gauge theory on a fourfold with conformal field theory. We are interested in a certain algebro-geometric incarnation of this framework, where the fourfold is an algebraic surface and instantons/differential geometry are replaced with sheaves/algebraic geometry. In this talk, we will present a certain approach to AGT that yields partial results for quite general surfaces, and ask questions about what still needs to be done to state and prove the full correspondence in the language of algebraic geometry.

I will discuss certain irrelevant operator deformations of holographic conformal field theories that define a one parameter family of quantum field theories which are thought to be dual to quantum gravity in finite regions. 
Some examples include the "$T\bar{T}$ deformation of two dimensional holographic CFTs, its generalisations and higher dimensional cousins.
I will emphasise the key role played by emergent radial diffeomorphism invariance in this scenario. In particular, I will present an additional criterion for a theory, in the appropriate regime, to possess a dual description in terms of general relativity coupled to matter in one higher dimension. I will also discuss entanglement properties of such theories, and in a particular example, I will show how the holographic entanglement entropy conjectures still hold in the finite radius setting. This is based on the following work: arXiv:1707.08118 [hep-th], arXiv:1712.07955 [hep-th], arXiv:1806.07444 [hep-th] and arXiv:1808.07760 [hep-th]."

Performing a quantum adiabatic optimization (AO) algorithm with the time-dependent Hamiltonian H(t) requires one to have some idea of the spectral gap γ(t) of H(t) at all times t. With only a promise on the size of the minimal gap γmin, a typical statement of the adiabatic theorem promises a runtime of either O(γmin-2) or worse. In this talk, I provide an explicit algorithm that, with access to an oracle that returns the spectral gap γ(t) to within some multiplicative constant, reliably performs QAO in time Õ(γmin-1) with at most O(log(γmin-1)) oracle queries. I then construct such an oracle using only computational basis measurements for the toy problem of a complete graph driving Hamiltonian on V vertices and arbitrary cost function. I explain why one cannot simply perform adiabatic Grover search and prove that one can still perform QAO in time Õ(V2/3)  without any a priori knowledge of γ(t). This work was done in collaboration with Brad Lackey, Aike Liu, and Kianna Wan.