Talks

A 2-group is a categorical generalization of a group: it's a category with a multiplication operation which satisfies the usual group axioms only up to coherent isomorphisms. The isomorphism classes of its objects form an ordinary group, G. Given a 2-group G with underlying group G, we can similarly define a categorical generalization of the notion of principal bundles over a manifold (or stack) X, and obtain a bicategory Bun_G(X), living over the category Bun_G(X) of ordinary G-bundles on X. For G finite and X a Riemann surface, we prove that this gives a categorification of the Freed--Quinn line bundle, a mapping-class group equivariant line bundle on Bun_G(X) which plays an important role in Dijkgraaf--Witten theory (i.e. Chern--Simons theory for the finite group G). This talk is based on joint work with Daniel Berwick-Evans, Laura Murray, Apurva Nakade, and Emma Phillips.

I will not assume previous knowledge of 2-groups: I will provide a quick overview in the main talk, as well as a more detailed discussion during a pre-talk on Tuesday. 

---

Zoom link 

We define a map from an arbitrary quantum circuit to a local Hamiltonian whose ground state encodes the quantum computation. All previous maps relied on the Feynman-Kitaev construction, which introduces an ancillary ‘clock register’ to track the computational steps. Our construction, on the other hand, relies on injective tensor networks with associated parent Hamiltonians, avoiding the introduction of a clock register. This comes at the cost of the ground state containing only a noisy version of the quantum computation, with independent stochastic noise. We can remedy this - making our construction robust - by using quantum fault tolerance. In addition to the stochastic noise, we show that any state with energy density exponentially small in the circuit depth encodes a noisy version of the quantum computation with adversarial noise. We also show that any ‘combinatorial state’ with energy density polynomially small in depth encodes the quantum computation with adversarial noise. This serves as evidence that any state with energy density polynomially small in depth has a similar property. As an application, we give a new proof of the QMA-completeness of the local Hamiltonian problem (with logarithmic locality) and show that contracting injective tensor networks to additive error is BQP- hard. We also discuss the implication of our construction to the quantum PCP conjecture, combining with an observation that QMA verification can be done in logarithmic depth. Based on joint work with Anurag Anshu and Nikolas P. Breuckmann. (https://arxiv.org/abs/2309.16475)

---

Zoom link

It is well known that the study and observation of core collapse Supernovae (SN) provide powerful tools to probe possible scenarios of physics beyond the Standard Model (SM). After reviewing the basics beyond the mechanism of a SN explosion and how these observations can constraint models of new physics, I will focus on two novel ideas to exploit the already available data from past SN and the observation of a future, long due, galactic one. Firstly. I will discuss constraints, from the cooling on the SN, on the interactions of SM particles with an hypothetical dark sector, leading to bounds on the mediators of such interactions competitive with collider ones. Then, I will turn on the constrains on the emission of axion-like particles (ALPs) that can convert into photons in an external magnetic field, leading to a gamma-ray signal. I will discuss the possibility that ALPs can convert to gamma-rays in the stellar magnetic fields of the progenitor stars. Applying this concept to gamma-ray data from SN1987A leads to the strongest constraints on axion-like particles for masses within a few orders of magnitude of 10^-5 eV. The implications for a future galactic blue supergiant supernova will be discussed.

---

Zoom link