Quantum Physics

Understanding quantum noise is an essential step towards building practical quantum information processing systems. Pauli noise is a useful model widely applied in quantum benchmarking, quantum error mitigation, and quantum error correction. Despite previous research, the problem of how to learn a Pauli noise model self-consistently, completely, and efficiently has remained open. In this talk, I will introduce a framework of gate-set Pauli noise learning that aims at addressing this problem. The framework treats initialization, measurement, and a set of quantum gates to suffer from unknown Pauli noise channels, which are allowed to have customized locality constraints. The goal is to learn all the Pauli noise channels using only those noisy operations. I will first introduce a theory on the “learnability” of Pauli noise model, i.e., what information is fundamentally identifiable within the model and what is not. This is established using tools from algebraic graph theory and ideas from gate set tomography; I will then discuss a sample-efficient procedure to learn all learnable information of a Paul noise model to any desired precision; Finally, I will demonstrate how to apply our theoretic framework for concrete practical gate set and noise assumptions, and discuss the potential impact on quantum error mitigation and other applications.

Abstract: Randomness is a powerful resource for information-processing applications. For example, classical randomness is essential for modern information security and underpins many cryptographic schemes. Similarly, quantum randomness can protect quantum information against noise or eavesdroppers who wish to access or manipulate that information. These observations raise a set of related questions: How quickly and efficiently can we generate quantum randomness? How much quantum randomness is necessary for a given task? What can we use quantum randomness for? In this talk, I address these questions using all-to-all Brownian circuits, a family of random quantum circuits for which exact results can often be obtained via mean-field theory. I will first demonstrate that all-to-all Brownian circuits form k-designs in a time that scales linearly with k. I will then discuss how these circuits can be applied to study Heisenberg-limited metrology and quantum advantage. In particular, I will discuss a time-reversal protocol that can achieve Heisenberg-limited precision in cavity QED and trapped ion setups; I will also discuss the application of these circuits to studying classical spoofing algorithms for the linear cross-entropy benchmark, a popular measure of quantum advantage.

Random unitaries form the backbone of numerous components of quantum technologies, and serve as indispensable toy models for complex processes in quantum many-body physics. In all of these applications, a crucial consideration is in what circuit depth a random unitary can be generated. I will present recent work, in which we show that local quantum circuits can form random unitaries in exponentially lower circuit depths than previously thought. We prove that random quantum circuits on any geometry, including a 1D line, can form approximate unitary designs over n qubits in log n depth. In a similar manner, we construct pseudorandom unitaries (PRUs) in 1D circuits in poly log n depth, and in all-to-all-connected circuits in poly log log n depth. These shallow quantum circuits have low complexity and create only short-range entanglement, yet are indistinguishable from unitaries with exponential complexity. Applications of our results include proving that classical shadows with 1D log-depth Clifford circuits are as powerful as those with deep circuits, demonstrating superpolynomial quantum advantage in learning low-complexity physical systems, and establishing quantum hardness for recognizing phases of matter with topological order.

To justify the existence of measurements that can not be performed jointly on quantum systems, Heisenberg put forward a heuristic argument, involving the famous gamma-ray microscope Gedankenexperiment, based on the existence of measurements that irreversibly alter the physical system on which they act. Today, the impossibility of jointly measuring some physical quantities, termed measurement incompatibility, and irreversible disturbance, namely the existence of operations that irreversibly alter the system on which they act, are understood to be distinct but related features of quantum mechanics. In our work, we formally characterized the relationship between these two properties, showing that measurement incompatibility implies irreversible disturbance, though the converse is false. The counterexamples are two toy theories: Minimal Classical Theory and Minimal Strongly Causal Bilocal Classical Theory. These two are distinct as counterexamples because the latter allows for classical conditioning. Our research followed an operational approach exploiting the framework of Operational Probabilistic Theories. In particular, it required the development of two new classes of operational theories: Minimal Operational Probabilistic Theories and Minimal Strongly Causal Operational Probabilistic Theories. These theories are characterized by a restricted set of dynamics, limited to the minimal set consistent with the set of states. In Minimal Strongly Causal Operational Probabilistic Theories, classical conditioning is also allowed.