Purdue Quantum Theory Seminar

I will present an overview of a research program dubbed "entanglement bootstrap," which aims to be a mathematical theory for defining topological phases on a lattice and classifying them. If time permits, I will describe a recent progress in making the framework invariant under constant-depth quantum circuits, as well as several classification results for topological phases in two spatial dimensions.

Jacob Lurie's classification of fully extended topological field theories applies in a broad and abstract setting across all dimensions. However, concrete examples remain scarce. In three dimensions, the Turaev-Viro theory has long been conjectured to fit within this framework. In this talk, we will establish that it necessarily does, outline a sketch of the proof, and explore the essential role of skein theory in this context.

The surface code is one of the leading approaches to building a fault-tolerant quantum computer, actively pursued by groups at Google, IBM, Microsoft, and elsewhere. A central challenge for the surface code is implementing non-Clifford -- unitary operations that map Pauli operators to non-Pauli operators. In this talk, I will introduce group surface codes, which are a natural generalization of the usual \(\mathbb{Z}_2\) surface code and can be understood as quantum double models with specific boundary conditions. I will argue that group surface codes, for suitably chosen groups, can be leveraged to perform non-Clifford gates in the \(\mathbb{Z}_2\) surface code. Time permitting I will describe three strategies for completing a universal gate set using group surface codes: (1) through magic state preparation, (2) using transversal non-Clifford gates, and (3) by sliding group surface codes. These strategies extend recent efforts in performing universal quantum computation in topological orders without the braiding of anyons.

This talk is based on upcoming work with Vieri Mattei, Naren Manjunath, and Apoorv Tiwari.

In this talk, I will discuss the gauging of Abelian modulated symmetries -- finite counterparts of subsystem symmetries -- that act non-uniformly across space. In two dimensions, this provides a simple route to constructing symmetry-enriched topological phases (SETs), where crystalline symmetries enrich the charges carried by topological anyons. Using local Hamiltonians of spin chains as a concrete setting, I will show how the dual theories feature exact modulated 1-form symmetries accompanied by mixed anomalies.

As Moore's Law slows, quantum computers promise to accelerate computationally intensive machine learning tasks like training and data generation. However, a fundamental disconnect exists between the continuous, analog nature of modern ML models (defined by real-valued parameters and data) and the discrete, digital logic of the dominant quantum circuit model. This mismatch creates an unnatural and often unintuitive foundation for designing new quantum algorithms and frameworks. In this talk, I argue that the Hamiltonian formalism, a computational model equivalent to quantum circuits, provides a natural and powerful alternative. I will demonstrate how Hamiltonians serve as a unifying language for designing new quantum algorithms for key ML tasks, such as optimization and sampling, leading to provable speedups. Crucially, because Hamiltonians directly describe the low-level physics of quantum hardware, this approach also enables vastly more efficient algorithm compilation. This hardware-aware framework bypasses many overheads of the circuit model, paving the way for deploying large-scale quantum ML applications on near-term devices.

Last minute reschedule needed.

Newly developed experimental capabilities in implementing measurement and feedback opens up new questions about realizing non-equilibrium steady states in quantum many-body systems. For instance, can active feedback stabilize a phase of matter in the presence of noise which, in equilibrium, can only be realized at zero temperature? For certain types of noise, which leave behind classical traces, I will show that the answer is yes for a number of interesting topological states, including certain non-abelian topological orders.

The ability to coherently move nonabelian anyons is an important prerequisite for fusion-tree-based topological quantum computation. We present new results on the minimal resources needed to move and fuse nonabelian anyons in quantum double models, which are topological code with group-valued qudits on a lattice. Under geometrically local unitary circuits, we argue that moving nonabelian anyons coherently requires a linear-depth circuit and an ancilla qudit. However, the resource costs can be reduced by allowing measurement and k-local gates. With measurement, solvable anyons can be moved using finite-depth adaptive circuits. Notably, with k-local unitary circuits under mild conditions, nonabelian anyons can be moved without using ancillas, countering the conventional wisdom that an ancilla is needed. In contrast to moving, fusing anyons is argued to require an ancilla even with k-local unitary circuits, separating the resource complexity of moving anyons from that of fusing anyons.

In universal fault-tolerant quantum computing, implementing logical non-Clifford gates often demands substantial spacetime resources for many error-correcting codes, including the high-threshold surface code. In this talk, I will explore two strategies of implementing logical non-Clifford operations in the surface code with the aid of non-Abelian topological order. The first method produces a logical magic state through transformations of topological codes, including a non-Abelian code at an intermediate stage, which bypasses the need for the resource-intensive distillation procedure. In the second approach, we generalize the standard lattice surgery to hybrid lattice surgery, where operations of rough merge and rough split happen across different topological codes. Such operations are applied between Abelian and non-Abelian codes, which can provide non-Clifford operations in the standard surface code, in the form of a magic state or a non-Clifford gate teleportation.

We investigate the response of a Ramsey interferometric quantum sensor based on a frustrated, three-spin system (a Kitaev trimer) to a classical time-dependent field (signal). The system eigenspectrum is symmetric about a critical point, \(|\vec{b}| = 0\), with four of the spectral components varying approximately linearly with the magnetic field and four exhibiting a nonlinear dependence. Under the adiabatic approximation and for appropriate initial states, we show that the sensor's response to a zero-mean signal is such that below a threshold, \(|\vec{b}| < b_\mathrm{th}\), the sensor does not respond to the signal, whereas above the threshold, the sensor acts as a detector that the signal has occurred. This thresholded response is approximately omnidirectional. Moreover, when deployed in an entangled multisensor configuration, the sensor achieves sensitivity at the Heisenberg limit. Such detectors could be useful both as standalone units for signal detection above a noise threshold and in two- or three-dimensional arrays, analogous to a quantum bubble chamber, for applications such as particle track detection and long-baseline telescopy.

TBA

Understanding the multiplicities of decompositions of tensor products and compositions of irreducible representations of the symmetric and general linear groups is a central problem. While we have been concerned with classical computation and are searching for computational hardness results, recently quantum algorithms were developed which put the problems in QMA (vanishing) and #BQP (counting). Even more recently quantum algorithms that run in polynomial time were developed for certain cases. We will discuss the classical hardness results, the quantum complexity and ultimately show that most of the quantum easy cases are also poly-time computable on a classical computer thereby refuting some hopes for superpolynomial quantum speedups.