Talks

In the context of geometric quantisation, one starts with the data of a symplectic manifold together with a pre-quantum line bundle, and obtains a quantum Hilbert space by means of the auxiliary structure of a polarisation, i.e. typically a Lagrangian foliation or a Kähler structure. One common and widely studied problem is that of quantising Hamiltonian flows which do not preserve it. In the simple case of Kähler quantisation of a symplectic vector space, one may consider the space of all Kähler structures, and organise the corresponding Hilbert spaces to form an infinite-rank vector bundle on it, so the quantisation of symplectic transformations may be understood in terms of their action on this bundle.
In this talk I shall consider a variation of this construction for the case of a hyper-Kähler vector space V, in which case the symplectic form and the pre-quantum line bundle are allowed to change together with the complex structure. In a joint work with Andersen and Rembado, we construct a bundle of Hilbert spaces on the sphere of Kähler structures, on which a flat connection is naturally defined. The group of isometries of V which preserve this sphere globally also acts on the bundle, and the construction determines a quantisation of this group. Time permitting, I shall discuss our main application of this construction—the quantisation of the circle action on the moduli space of reductive Higgs bundles over an elliptic curve.

I will discuss the computation of second-order terms in the entanglement entropy and subregion complexity for a spherical entangling region in the AdS black hole background relative to pure AdS. I will suggest an extension of the conjectured relationship between subregion complexity and Fisher information into a relation that is reminiscent of the first law of thermodynamics. By analogy, entanglement and complexity play the roles of heat and work, respectively. Time permitting, I will also discuss the computation of third- and fourth-order terms in the relative entropy. 

This is practice for a talk at Berkeley, so it will involve explaining stuff many people here probably already know.  I'll try to summarize what I've learned about 3 dimensional N=4 supersymmetric quantum field theories, their twists and how these manifest in terms of interesting objects in mathematics.  If nothing else, hopefully there will be some comedy value in my attempt.  

In this talk, I will discuss some interesting connections between Hamiltonian complexity, error correction, and quantum circuits. First, motivated by the Quantum PCP Conjecture, I will describe a construction of a family of local Hamiltonians where the complexity of ground states — even when subject to large amounts of noise — is superpolynomial (under plausible complexity assumptions). The construction is simple, making use of the well-known Feynman-Kitaev circuit Hamiltonian construction.

Next, I will describe how this complexity result can be repurposed to construct local approximate error correcting codes with (nearly) linear distance and (nearly) constant rate. By contrast, it remains an open problem to construct quantum low-density parity check (QLDPC) stabilizer codes that achieve similarly good parameters.

An interesting component of our code construction is the Brueckmann-Terhal spacetime circuit Hamiltonian construction, and a novel analysis of its spectral gap. Our codes are ground spaces of non-commuting  — but frustration-free -- local Hamiltonians. We believe that our results present additional evidence that the study of approximate error correction and non-stabilizer codes may be much richer than previously thought.

This talk will have more questions than answers, and is based on two papers:

·  https://arxiv.org/abs/1802.07419 (joint with Chinmay Nirkhe and Umesh Vazirani)

·  https://arxiv.org/abs/1811.00277 (joint work with Thom Bohdanowicz, Elizabeth Crosson, and Chinmay Nirkhe)