SearcharxivSearch

arXiv subjects

Arthur Jaffe

Publications and source records attributed to Arthur Jaffe.

At least 19 recordsLinked to original sources

Universal Dynamics with Globally Controlled Analog Quantum Simulators

Analog quantum simulators with global control fields have emerged as powerful platforms for exploring complex quantum phenomena. Despite these advances, a fundamental theoretical question remains unresolved: to what extent can such systems realize universal quantum dynamics under global control? Here we establish a necessary and sufficient condition for universal quantum computation using only global pulse control, proving that a broad class of analog quantum simulators is, in fact, universal. We further extend this framework to fermionic and bosonic systems, including modern platforms such as ultracold atoms in optical superlattices. Moreover, we observe that analog simulators driven by random global pulses exhibit information scrambling comparable to random unitary circuits. In a dual-species neutral-atom array setup, the measurement outcomes anti-concentrate on a $\log N$ timescale despite the presence of only temporal randomness, opening opportunities for efficient randomness generation. To bridge theoretical possibility with experimental reality, we introduce \emph{direct quantum optimal control}, a control framework that enables the synthesis of complex effective Hamiltonians while incorporating realistic hardware constraints. Using this approach, we experimentally engineer three-body interactions outside the blockade regime and demonstrate topological dynamics on a Rydberg-atom array. Experimental measurements reveal dynamical signatures of symmetry-protected-topological edge modes, confirming both the expressivity and feasibility of our method. Our work opens a new avenue for quantum simulation beyond native hardware Hamiltonians, enabling the engineering of effective multi-body interactions and advancing the frontier of quantum information processing with globally-controlled analog platforms.

quant-ph

Quantum Higher Order Fourier Analysis and the Clifford Hierarchy

We propose a mathematical framework that we call quantum, higher-order Fourier analysis. This generalizes the classical theory of higher-order Fourier analysis, which led to many advances in number theory and combinatorics. We define a family of quantum measures on a Hilbert space, that reduce in the case of diagonal matrices to the classical uniformity norms. We show that our quantum measures and our related theory of quantum higher-order Fourier analysis characterize the Clifford hierarchy, an important notion of complexity in quantum information. In particular, we give a necessary and sufficient analytic condition that a unitary is an element of the k-th level of the Clifford hierarchy.

quant-ph

A Universal Circuit Set Using the $S_3$ Quantum Double

One potential route toward fault-tolerant universal quantum computation is to use non-Abelian topological codes. In this work, we investigate how to achieve this goal with the quantum double model $\mathcal{D}(S_3)$ -- a specific non-Abelian topological code. By embedding each on-site Hilbert space into a qubit-qutrit pair, we give an explicit construction of the circuits for creating, moving, and locally measuring all non-trivial anyons. We also design a specialized anyon interferometer to remotely measure the total charge of well-separated anyons; this avoids fusion, which would compromise fault tolerance. These protocols enable the implementation of a universal gate set proposed by Cui et al. and active quantum error correction of the circuit-level noise during the computation process. To further reduce the error rate and facilitate error correction, we encode each physical degree of freedom of $\mathcal{D}(S_3)$ into a novel, quantum, error-correcting code, enabling fault-tolerant realization, at the logical level, of all gates in the anyon manipulation circuits. Our proposal offers a promising path to realize robust universal topological quantum computation in the NISQ era.

quant-ph

On the Hardness of Measuring Magic

Quantum computers promise to solve computational problems significantly faster than classical computers. These 'speed-ups' are achieved by utilizing a resource known as magic. Measuring the amount of magic used by a device allows us to quantify its potential computational power. Without this property, quantum computers are no faster than classical computers. Whether magic can be accurately measured on large-scale quantum computers has remained an open problem. To address this question, we introduce Pauli instability as a measure of magic and experimentally measure it on the IBM Eagle quantum processor. We prove that measuring large (i.e., extensive) quantities of magic is intractable. Our results suggest that one may only measure magic when a quantum computer does not provide a speed-up. We support our conclusions with both theoretical and experimental evidence. Our work illustrates the capabilities and limitations of quantum technology in measuring one of the most important resources in quantum computation.

quant-ph

Correlated decoding of logical algorithms with transversal gates

Quantum error correction is believed to be essential for scalable quantum computation, but its implementation is challenging due to its considerable space-time overhead. Motivated by recent experiments demonstrating efficient manipulation of logical qubits using transversal gates (Bluvstein et al., Nature 626, 58-65 (2024)), we show that the performance of logical algorithms can be substantially improved by decoding the qubits jointly to account for error propagation during transversal entangling gates. We find that such correlated decoding improves the performance of both Clifford and non-Clifford transversal entangling gates, and explore two decoders offering different computational runtimes and accuracies. In particular, by leveraging the deterministic propagation of stabilizer measurement errors through transversal Clifford gates, we find that correlated decoding enables the number of noisy syndrome extraction rounds between these gates to be reduced from $O(d)$ to $O(1)$ in Clifford circuits, where $d$ is the code distance. We verify numerically that this approach substantially reduces the space-time cost of deep logical Clifford circuits. These results demonstrate that correlated decoding provides a major advantage in early fault-tolerant computation, as realized in recent experiments, and further indicate it has considerable potential to reduce the space-time cost in large-scale logical algorithms.

quant-ph

Magic Class and the Convolution Group

The classification of many-body quantum states plays a fundamental role in the study of quantum phases of matter. In this work, we propose an approach to classify quantum states by introducing the concept of magic class. In addition, we introduce an efficient coarse-graining procedure to extract the magic feature of states, which we call the ``convolution group (CG).'' We classify quantum states into different magic classes using the fixed points of the CG and circuit equivalence. We also show that magic classes can be characterized by symmetries and the quantum entropy of the CG fixed points. Finally, we discuss the connection between the CG and the renormalization group. These results may provide new insight into the study of the state classification and quantum phases of matter.

quant-ph

Quantum Ruzsa Divergence to Quantify Magic

In this work, we investigate the behavior of quantum entropy under quantum convolution and its application in quantifying magic. We first establish an entropic, quantum central limit theorem (q-CLT), where the rate of convergence is bounded by the magic gap. We also introduce a new quantum divergence based on quantum convolution, called the quantum Ruzsa divergence, to study the stabilizer structure of quantum states. We conjecture a ``convolutional strong subadditivity'' inequality, which leads to the triangle inequality for the quantum Ruzsa divergence. In addition, we propose two new magic measures, the quantum Ruzsa divergence of magic and quantum-doubling constant, to quantify the amount of magic in quantum states. Finally, by using the quantum convolution, we extend the classical, inverse sumset theory to the quantum case. These results shed new insight into the study of the stabilizer and magic states in quantum information theory.

quant-ph

Magic Resource Can Enhance the Quantum Capacity of Channels

We investigate the role of magic resource in the quantum capacity of channels. We consider the quantum channel of the recently proposed discrete beam splitter with the fixed environmental state. We find that if the fixed environmental state is a stabilizer state, then the quantum capacity is zero. Moreover, we find that the quantum capacity is nonzero for some magic states, and the quantum capacity increases linearly with respect to the number of single-qudit magic states in the environment. We also bound the maximal quantum capacity of the discrete beam splitter in terms of the amount of magic resource in the environmental states. These results suggest that magic resource can increase the quantum capacity of channels; it sheds new insight into the role of stabilizer and magic states in quantum communication.

quant-ph

Stabilizer Testing and Magic Entropy via Quantum Fourier Analysis

Quantum Fourier analysis is an important topic in mathematical physics. We introduce a systematic protocol for testing and measuring ``magic'' in quantum states and gates, using a quantum Fourier approach. Magic, as a quantum resource, is necessary to achieve a quantum advantage in computation. Our protocols are based on quantum convolutions and swap tests, implemented via quantum circuits. We describe this for both qubit and qudit systems. Our quantum Fourier approach offers a unified method to quantify magic, in stabilizer circuits, as well as in matchgate and bosonic Gaussian circuits.

quant-ph

The Quantum Perron-Frobenius Space

We introduce $\mathfrak{F}$-positive elements in planar algebras. We establish the Perron-Frobenius theorem for $\mathfrak{F}$-positive elements. We study the existence and uniqueness of the Perron-Frobenius eigenspace. When it is not one-dimensional, we characterize its multiplicative structure. Moreover, we consider the Perron-Frobenius eigenspace as the space of logical qubits for mixed states in quantum information. We describe the relation between these mathematical results and quantum error correction, especially to the Knill-Laflamme theorem.

math.OA

Discrete Quantum Gaussians and Central Limit Theorem

We introduce a quantum convolution and a conceptual framework to study states in discrete-variable (DV) quantum systems. All our results suggest that stabilizer states play a role in DV quantum systems similar to the role that Gaussian states play in continuous-variable systems. Hence we suggest the name ``discrete quantum Gaussians'' for stabilizer states. For example, we prove that the convolution of two stabilizer states is another stabilizer state, and that stabilizer states extremize both quantum entropy and Fisher information. We establish a ``maximal entropy principle,'' a ``second law of thermodynamics for quantum convolution,'' and a ``quantum central limit theorem.'' The latter is based on iterating the convolution of a zero-mean quantum state, which we prove converges to a stabilizer state. We bound the exponential rate of convergence of the quantum central limit theorem by the ``magic gap,'' defined in terms of the support of the characteristic function of the state. We elaborate on our general results with a discussion of some examples, as well as extending many of them to quantum channels.

quant-ph

Quantum Entropy and Central Limit Theorem

We introduce a framework to study discrete-variable (DV) quantum systems based on qudits. It relies on notions of a mean state (MS), a minimal stabilizer-projection state (MSPS), and a new convolution. Some interesting consequences are: The MS is the closest MSPS to a given state with respect to the relative entropy; the MS is extremal with respect to the von Neumann entropy, demonstrating a ''maximal entropy principle in DV systems.'' We obtain a series of inequalities for quantum entropies and for Fisher information based on convolution, giving a ''second law of thermodynamics for quantum convolutions.'' We show that the convolution of two stabilizer states is a stabilizer state. We establish a central limit theorem, based on iterating the convolution of a zero-mean quantum state, and show this converges to its MS. The rate of convergence is characterized by the ''magic gap,'' which we define in terms of the support of the characteristic function of the state. We elaborate on two examples: the DV beam splitter and the DV amplifier.

quant-ph

Magic of Random Matrix Product States

Magic, or nonstabilizerness, characterizes how far away a state is from the stabilizer states, making it an important resource in quantum computing, under the formalism of the Gotteman-Knill theorem. In this paper, we study the magic of the $1$-dimensional Random Matrix Product States (RMPSs) using the $L_{1}$-norm measure. We firstly relate the $L_{1}$-norm to the $L_{4}$-norm. We then employ a unitary $4$-design to map the $L_{4}$-norm to a $24$-component statistical physics model. By evaluating partition functions of the model, we obtain a lower bound on the expectation values of the $L_{1}$-norm. This bound grows exponentially with respect to the qudit number $n$, indicating that the $1$D RMPS is highly magical. Our numerical results confirm that the magic grows exponentially in the qubit case.

quant-ph

Resource theory of quantum scrambling

Quantum scrambling refers to the spread of local quantum information into the many degrees of freedom of a quantum system. In this work, we introduce a resource theory of scrambling which incorporates two mechanisms, "entanglement scrambling" and "magic scrambling". We introduce two resource monotones called the Pauli growth and the OTOC (out-of-time-ordered correlator) magic for these two mechanisms, respectively. We use our resource theory to explain recent experimental observations of magic. We also show that both resource monotones can be used to bound the decoding fidelity in Yoshida's black hole decoding protocol. These applications provide an operational interpretation of the resource monotones defined in this work.

quant-ph

Wasserstein Complexity of Quantum Circuits

Given a unitary transformation, what is the size of the smallest quantum circuit that implements it? This quantity, known as the quantum circuit complexity, is a fundamental property of quantum evolutions that has widespread applications in many fields, including quantum computation, quantum field theory, and black hole physics. In this letter, we obtain a new lower bound for the quantum circuit complexity in terms of a novel complexity measure that we propose for quantum circuits, which we call the quantum Wasserstein complexity. Our proposed measure is based on the quantum Wasserstein distance of order one (also called the quantum earth mover's distance), a metric on the space of quantum states. We also prove several fundamental and important properties of our new complexity measure, which stand to be of independent interest. Finally, we show that our new measure also provides a lower bound for the experimental cost of implementing quantum circuits, which implies a quantum limit on converting quantum resources to computational resources. Our results provide novel applications of the quantum Wasserstein distance and pave the way for a deeper understanding of the resources needed to implement a quantum computation.

quant-ph

Barren plateaus from learning scramblers with local cost functions

The existence of barren plateaus has recently revealed new training challenges in quantum machine learning (QML). Uncovering the mechanisms behind barren plateaus is essential in understanding the scope of problems that QML can efficiently tackle. Barren plateaus have recently been shown to exist when learning global properties of random unitaries, which is relevant when learning black hole dynamics. Establishing whether local cost functions can circumvent these barren plateaus is pertinent if we hope to apply QML to quantum many-body systems. We prove a no-go theorem showing that local cost functions encounter barren plateaus in learning random unitary properties.

quant-ph

Complexity of quantum circuits via sensitivity, magic, and coherence

Quantum circuit complexity-a measure of the minimum number of gates needed to implement a given unitary transformation-is a fundamental concept in quantum computation, with widespread applications ranging from determining the running time of quantum algorithms to understanding the physics of black holes. In this work, we study the complexity of quantum circuits using the notions of sensitivity, average sensitivity (also called influence), magic, and coherence. We characterize the set of unitaries with vanishing sensitivity and show that it coincides with the family of matchgates. Since matchgates are tractable quantum circuits, we have proved that sensitivity is necessary for a quantum speedup. As magic is another measure to quantify quantum advantage, it is interesting to understand the relation between magic and sensitivity. We do this by introducing a quantum version of the Fourier entropy-influence relation. Our results are pivotal for understanding the role of sensitivity, magic, and coherence in quantum computation.

quant-ph

Classical shadows with Pauli-invariant unitary ensembles

The classical shadow estimation protocol is a noise-resilient and sample-efficient quantum algorithm for learning the properties of quantum systems. Its performance depends on the choice of a unitary ensemble, which must be chosen by a user in advance. What is the weakest assumption that can be made on the chosen unitary ensemble that would still yield meaningful and interesting results? To address this question, we consider the class of Pauli-invariant unitary ensembles, i.e. unitary ensembles that are invariant under multiplication by a Pauli operator. This class includes many previously studied ensembles like the local and global Clifford ensembles as well as locally scrambled unitary ensembles. For this class of ensembles, we provide an explicit formula for the reconstruction map corresponding to the shadow channel and give explicit sample complexity bounds. In addition, we provide two applications of our results. Our first application is to locally scrambled unitary ensembles, where we give explicit formulas for the reconstruction map and sample complexity bounds that circumvent the need to solve an exponential-sized linear system. Our second application is to the classical shadow tomography of quantum channels with Pauli-invariant unitary ensembles. Our results pave the way for more efficient or robust protocols for predicting important properties of quantum states, such as their fidelity, entanglement entropy, and quantum Fisher information.

quant-ph