Scientific Series

Topological crystalline states are short-range entangled states jointly protected by onsite and crystalline symmetries. While the non-interacting limit of these states, e.g., the topological crystalline insulators, have been intensively studied in band theory and have been experimentally discovered, the classification and diagnosis of their strongly interacting counterparts are relatively less well understood. Here we present a unified scheme for constructing all topological crystalline states, bosonic and fermionic, free and interacting, from real-space "building blocks" and "connectors". Building blocks are finite-size pieces of lower dimensional topological states protected by onsite symmetries alone, and connectors are "glue" that complete the open edges shared by two or multiple pieces of building blocks. The resulted assemblies are selected against two physical criteria we call the "no-open-edge condition" and the "bubble equivalence", which, respectively, ensure that each selected assembly is gapped in the bulk and cannot be deformed to a product state. The scheme is then applied to obtaining the full classification of bosonic topological crystalline states protected by several onsite symmetry groups and each of the 17 wallpaper groups in two dimensions and 230 space groups in three dimensions. We claim that our real-space recipes give the complete set of topological crystalline states for bosons and fermions, and prove the boson case analytically using a spectral sequence expansion of group cohomology.

If General Relativity emerges from quantum gravity, then general covariance, the gauge invariance of GR, will emerge with it. We can ask, within any approach to the problem of quantum gravity, what is the “precursor” principle or precept that will give rise to — or manifest itself as — general covariance in the large scale semi-classical approximation?
Given how important the understanding of general covariance (or lack of it!) was in the development of GR we might expect that thinking about this question will be similarly important in the development of quantum gravity.
I will explain how general covariance is seen from the perspective of the causal set approach to quantum gravity and describe recent progress in creating a framework for causal set dynamics that is completely covariant and does not refer to any gauge degrees of freedom at all.

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.

We consider supersymmetric $AdS_3\times Y_7$ solutions of type IIB supergravity dual to N=(0,2) SCFTs in d=2, as well as  $AdS_2\times Y_9$ solutions of D=11 supergravity dual to N=2 supersymmetric quantum mechanics, some of which arise as the near horizon limit of supersymmetric, charged black hole solutions in $AdS_4$. The relevant geometry on $Y_{2n+1}$, $n\ge 3$ was first identified in 2005-2007 and around that time infinite classes of explicit examples solutions were also found but, surprisingly, there was little progress in identifying the dual SCFTs. We present new results which change the status quo. For the case of $Y_7$, a variational principle allows one to calculate the central charge of the dual SCFT without knowing the explicit metric. This provides a geometric dual of c-extremization for d=2 N=(0,2) SCFTs analogous to the well known geometric duals of a-maximization of d=4 N=1 SCFTs and F-extremization of d=3 N=2 SCFTs in the context of Sasaki-Einstein geometry.  In the case of $Y_9$ a similar variational principle can be used to obtain properties of the dual N=2 quantum mechanics as well as the entropy of a class of supersymmetric black holes in $AdS_4$ thus providing a geometric dual of $I$-extremization.

Understanding entanglement in QFTs is a challenging topic that involves many aspects. One important probe for this is the modular (or entanglement) Hamiltonian, which is closely related to the Unruh effect. We determine this operator for the chiral fermion at finite temperature on the circle using complex analysis, and show that it exhibits surprising new features. This simple system illustrates how a modular flow can transition from complete locality to complete non-locality as a function of temperature, thus bridging the gap between previously known limits. We also derive the first exact results for the entanglement and relative entropies of this system for the different spin sectors. Based on [1905.05768,1906.02207].

In this talk I will report on recent progress in building QFT models on causal sets. The framework I'm using is that of perturbative algebraic quantum field theory (pAQFT). It was developed for rigorous study of perturbative QFT in the continuum, but can also be applied in the situation where spacetime is replaced by a discrete structure. Causality plays a key role in pAQFT, so it is natural to apply it to causets. Construction of models in this framework is purely algebraic and one does not need to specify a state or a Hilbert space representation until the final step, in which correlation functions are computed.

 In the 90s Turaev, Viro, Barrett and Westbury constructed a (2+1)D state sum TQFT associated to any fusion category. The associated phases of matter were popularized by Kiteav, Levin and Wen and are now central  examples in condensed matter physics and quantum information theory.

Despite the importance of these phases, many of the computational techniques for working with fusion categories have not percolated into condensed matter physics. Many of these techniques are "folk theorems"
and have not appeared in the literature in a digestible form.

Jacob Bridgeman and myself have spent the last two years extracting these computational techniques from Corey Jones, and have been using them to understand defects in Levin-Wen phases. Our papers 1806.01279,
1810.09469, 1901.08069, 1907.06692 document the development of our understanding, and demonstrate how to do physically relevant fusion category computations.

We present a paradigm for effective descriptions of quantum magnets. Typically, a magnet has many classical ground states — configurations of spins (as classical vectors) that have the least energy. The set of all such ground states forms an abstract space. Remarkably, the low energy physics of the quantum magnet maps to that of a single particle moving in this space.

This presents an elegant route to simulate simple quantum mechanical models using molecular magnets. For instance, a dimer coupled by an XY bond maps to a particle moving on a ring. An XY triangular magnet maps to a particle moving on two disjoint rings. We can even simulate Berry phases; when the spin has half-integer values, the particle sees a pi-flux  threaded through the rings.

A particularly interesting example is the XY tetrahedral magnet. Here, the ground state space is a 'non-manifold' due to singularities. These singularities behave like strong impurities to create bound states. The entire low energy physics of the magnet is dominated by these bound states. We call this phenomenon 'order by singularity’. This leads to a preference for certain classical ground states purely due to topology, rather than due to thermal or quantum fluctuations. Unlike order-by-disorder, this effect persists even in the classical limit.

Randomness is a valuable resource in both classical and quantum networks and we wish to generate desired probability distributions as cheaply as possible. If we are allowed to slightly change the distribution under some tolerance level, we can sometimes greatly reduce the cardinality of the randomness or the dimension of the entanglement. By studying statistical inequalities, we show how to upper bound of the amount of randomness required for any given classical network and tolerance level. We also present a problem we encounter when compressing the randomness in a quantum network.

We study remarkable RG flows in 4d QFT where supersymmetry enhances from N=1 to N=2 in the IR. This is triggered by the N=1 preserving deformation of 4d N=2 SCFTs with non-Abelian flavor symmetry by adding a chiral multiplet in the adjoint representation of the flavor symmetry and giving a nilpotent vev to the chiral multiplet. When the original N=2 SCFT and choice of the vev satisfy certain conditions, the resulting RG flows give N=2 Argyres-Douglas theories in the IR. These flows thus enable us to compute partition functions of Argyres-Douglas theories via localization. We also consider the more general and systematic deformation procedure which is applicable to any N=1 SCFTs and thus includes the above nilpotent one. Starting from N=1 SCFTs we allow all possible relevant deformations and/or coupling to a free chiral sector. We apply this to simple N=1 SCFTs and discuss the landscape of the IR fixed points, focusing on the enhancement of supersymmetry.

The Wilson formulation of lattice gauge theories provides a first-principles study of many properties of strongly interacting theories, such as quantum chromodynamics (QCD). Certain other properties, such as real-time dynamics, pose insurmountable challenges in this paradigm. Quantum Link Models are generalized lattice gauge theories, which not only offer novel approaches to study dynamics of gauge theories with quantum simulators, but also connect to
gauge theory descriptions of certain condensed matter systems (such as frustrated magnetism). In this talk, we explore some novel properties of gauge theories using quantum link models on classical computers, and explain how to realize them on quantum simulators.