arXiv subjects

Nicole Yunger Halpern

Publications and source records attributed to Nicole Yunger Halpern.

At least 19 recordsLinked to original sources

arXiv2026

Kirkwood-Dirac Nonpositivity is a Necessary Resource for Quantum Computing

We elucidate the boundary between classical and quantum computation by constructing qubit Clifford circuits with nonstabilizer inputs that can be efficiently simulated classically. We do so by casting the quantum circuits realizable by defect braiding in the surface code in terms of a Kirkwood-Dirac (KD) quasiprobability distribution, a generalization of a joint probability distribution. If this distribution remains a proper (positive) probability distribution throughout a circuit, then a classical algorithm can simulate the circuit efficiently. By leveraging recent results on the geometry of KD-positive states, we construct bound-magic states. Classical computers can efficiently simulate these bound-magic states' evolutions under the circuits, although other magic states enable universal quantum computation when inputted. Furthermore, we show that KD nonpositivity is a resource monotone in this model. Thus, we establish KD nonpositivity as a necessary resource for quantum-computational advantages.

quant-ph↗

arXiv2026

Proposals for experimentally realizing quantum-autonomous gates

Autonomous quantum machines (AQMs) execute tasks without requiring time-dependent external control. Motivations for AQMs include the restrictions imposed by classical control on quantum machines' coherence times and geometries. Most AQM work is theoretical and abstract; yet an experiment recently demonstrated AQMs' usefulness in qubit reset, crucial to quantum computing. To further reduce quantum computing's classical control, we propose realizations of quantum-autonomous gates on three platforms: Rydberg atoms, trapped ions, and superconducting qubits. First, we show that a Rydberg-blockade interaction or an ultrafast transition can quantum-autonomously effect entangling gates on Rydberg atoms. Passive lasers control these gates quantum-autonomously. One can perform $Z$ or entangling gates on trapped ions quantum-autonomously, by sculpting a linear Paul trap or leveraging a ring trap. Finally, circuit quantum electrodynamics can enable quantum-autonomous $Z$ and $XY$ gates on superconducting qubits. The gates can serve as building blocks for (fully or partially) quantum-autonomous circuits, which may reduce classical-control burdens.

quant-ph↗

arXiv2026

Work and heat exchanged during sudden quenches of strongly coupled quantum systems

How should one define thermodynamic quantities (internal energy, work, heat, etc.) for quantum systems coupled to their environments strongly? We examine three (classically equivalent) definitions of a quantum system's internal energy under strong-coupling conditions. Each internal-energy definition implies a definition of work and a definition of heat. Our study focuses on quenches, common processes in which the Hamiltonian changes abruptly. In these processes, the first law of thermodynamics holds for each set of definitions by construction. However, we prove that only two sets obey the second law. We illustrate our findings using a simple spin model. Our results guide studies of thermodynamic quantities in strongly coupled quantum systems.

quant-ph↗

arXiv2026

Numerical evidence for the non-Abelian eigenstate thermalization hypothesis

The eigenstate thermalization hypothesis (ETH) explains how generic quantum many-body systems thermalize internally. It implies that local operators' time-averaged expectation values approximately equal their thermal expectation values, regardless of microscopic details. The ETH's range of applicability therefore impacts theory and experiments. Murthy $\textit{et al.}$ recently showed that non-Abelian symmetries conflict with the ETH. Such symmetries have excited interest in quantum thermodynamics lately, as they are equivalent to conserved quantities that fail to commute with each other and noncommutation is a quintessentially quantum phenomenon. Murthy $\textit{et al.}$ proposed a non-Abelian ETH, which we support numerically. The numerics model a one-dimensional (1D) next-nearest-neighbor Heisenberg chain of 18 qubits. We represent local operators with matrices relative to an energy eigenbasis. The matrices bear out seven predictions of the non-Abelian ETH. We also prove analytically that the non-Abelian ETH exhibits a self-consistency property. The proof relies on a thermodynamic-entropy definition different from that in Murthy $\textit{et al.}$ This work initiates the observation and application of the non-Abelian ETH.

quant-ph↗

arXiv2026

Kubo-Martin-Schwinger relation for energy eigenstates of SU(2)-symmetric quantum many-body systems

The fluctuation-dissipation theorem (FDT) is a fundamental result in statistical mechanics. It stipulates that, if perturbed out of equilibrium, a system responds at a rate proportional to a thermal-equilibrium property. Applications range from particle diffusion to electrical-circuit noise. To prove the FDT, one must prove that common thermal states obey a symmetry property, the Kubo-Martin-Schwinger (KMS) relation. Energy eigenstates of certain quantum many-body systems were recently proved to obey the KMS relation. The proof relies on the eigenstate thermalization hypothesis (ETH), which explains how such systems thermalize internally. This KMS relation contains a finite-size correction that scales as the inverse system size. Non-Abelian symmetries conflict with the ETH, so a non-Abelian ETH was proposed recently. Using it, we derive a KMS relation for SU(2)-symmetric quantum many-body systems' energy eigenstates. The finite-size correction scales as usual under certain circumstances but can be polynomially larger in others, we argue. We support the ordinary-scaling result numerically, simulating a Heisenberg chain of 16-24 qubits. The numerics, limited by computational capacity, indirectly support the larger correction. This work helps extend into nonequilibrium physics the effort, recently of interest across quantum physics, to identify how non-Abelian symmetries may alter conventional thermodynamics.

quant-ph↗

arXiv2026

Integrability of Goldilocks quantum cellular automata

Goldilocks quantum cellular automata (QCA) have been simulated on quantum hardware and produce emergent small-world correlation networks. In Goldilocks QCA, a single-qubit unitary is applied to each qubit in a one-dimensional chain subject to a balance constraint: a qubit is updated if its neighbors are in different computational-basis states. We prove that a subclass of Goldilocks QCA, including the QCA implemented experimentally, map to free fermions and therefore can be simulated classically. We support this claim with two proofs, one involving a Jordan-Wigner transformation and one mapping the integrable six-vertex model to QCA. We compute local conserved quantities of these QCA and predict experimentally measurable expectation values. These calculations can be applied to test large digital quantum computers. In contrast, typical Goldilocks QCA have equilibration properties and quasienergy-level statistics that suggest nonintegrability. Still, each of the latter QCA conserves one quantity useful for error mitigation. Our work yields a parametric quantum circuit with tunable integrability properties useful for testing quantum hardware.

quant-ph↗

arXiv2026

Quantum metrology enhanced by effective time reversal

Quantum metrology involves the application of quantum resources to enhance measurements. Several communities have developed quantum-metrology strategies that leverage effective time reversals. These strategies, we posit, form four classes. First, echo metrology begins with a preparatory unitary and ends with that unitary's time-reverse. The protocol amplifies the visibility of a small parameter to be sensed. Similarly, weak-value amplification enhances a weak coupling's detectability. The technique exhibits counterintuitive properties captured by a retrocausal model. Using the third strategy, one simulates closed timelike curves, worldlines that loop back on themselves in time. The fourth strategy involves indefinite causal order, which characterises channels applied in a superposition of orderings. We review these four strategies, which we unify under the heading of time-reverse metrology. We also outline opportunities for this toolkit in quantum metrology; quantum information science; quantum foundations; atomic, molecular, and optical physics; and solid-state physics.

quant-ph↗

arXiv2026

Bosonic statistics enhance Maxwell's demon in photonic experiment

Maxwell's demon elucidates the value of information in thermodynamics, using measurement and feedback: he evolves an equilibrated gas into a nonequilibrium state, from which one might extract work. The demon can evolve the system farther from equilibrium, on average, if the particles obey Bose-Einstein statistics than if they are distinguishable. We experimentally support this decade-and-a-half-old prediction by comparing indistinguishable with distinguishable photons. We use a fully programmable linear-optics platform, whose local photon statistics were shown recently to behave thermally. Our demon nondestructively measures the number of photons in a subset of the modes. Guided by the outcome, he conditionally interchanges the measured and unmeasured modes. This interchange creates a positive temperature difference between a mode in a particular subset and a mode in the other. The temperature difference is greater, on average, if the photons are indistinguishable. This result bolsters a long-standing prediction about the interplay among thermodynamics, information, and quantum particle statistics. Additionally, this work suggests a thermodynamic means of weakly validating boson-sampling platforms.

quant-ph↗

arXiv2026

Roadmap on Quantum Thermodynamics

The last two decades has seen quantum thermodynamics become a well established field of research in its own right. In that time, it has demonstrated a remarkably broad applicability, ranging from providing foundational advances in the understanding of how thermodynamic principles apply at the nano-scale and in the presence of quantum coherence, to providing a guiding framework for the development of efficient quantum devices. Exquisite levels of control have allowed state-of-the-art experimental platforms to explore energetics and thermodynamics at the smallest scales which has in turn helped to drive theoretical advances. This Roadmap provides an overview of the recent developments across many of the field's sub-disciplines, assessing the key challenges and future prospects, providing a guide for its near term progress.

quant-ph↗

arXiv2025

Quantum complexity in gravity, quantum field theory, and quantum information science

Quantum complexity quantifies the difficulty of preparing a state or implementing a unitary transformation with limited resources. Applications range from quantum computation to condensed matter physics and quantum gravity. We seek to bridge the approaches of these fields, which define and study complexity using different frameworks and tools. We describe several definitions of complexity, along with their key properties. In quantum information theory, we focus on complexity growth in random quantum circuits. In quantum many-body systems and quantum field theory (QFT), we discuss a geometric definition of complexity in terms of geodesics on the unitary group. In dynamical systems, we explore a definition of complexity in terms of state or operator spreading, as well as concepts from tensor-networks. We also outline applications to simple quantum systems, quantum many-body models, and QFTs including conformal field theories (CFTs). Finally, we explain the proposed relationship between complexity and gravitational observables within the holographic anti-de Sitter (AdS)/CFT correspondence.

hep-th↗

arXiv2025

Key Issues Review: Useful autonomous quantum machines

Controlled quantum machines have matured significantly. A natural next step is to increasingly grant them autonomy, freeing them from time-dependent external control. For example, autonomy could pare down the classical control wires that heat and decohere quantum circuits; and an autonomous quantum refrigerator recently reset a superconducting qubit to near its ground state, as is necessary before a computation. Which fundamental conditions are necessary for realizing useful autonomous quantum machines? Inspired by recent quantum thermodynamics and chemistry, we posit conditions analogous to DiVincenzo's criteria for quantum computing. Furthermore, we illustrate the criteria with multiple autonomous quantum machines (refrigerators, circuits, clocks, etc.) and multiple candidate platforms (neutral atoms, molecules, superconducting qubits, etc.). Our criteria are intended to foment and guide the development of useful autonomous quantum machines.

quant-ph↗

arXiv2025

Superconducting antiqubits achieve optimal phase estimation via unitary inversion

A positron is equivalent to an electron traveling backward through time. Casting transmon superconducting qubits as akin to electrons, we simulate a positron with a transmon subject to particular resonant and off-resonant drives. We call positron-like transmons "antiqubits." An antiqubit's effective gyromagnetic ratio equals the negative of a qubit's. This fact enables us to time-invert a unitary implemented on a transmon by its environment. We apply this platform-specific unitary inversion, with qubit--antiqubit entanglement, to achieve a quantum advantage in phase estimation: consider measuring the strength of a field that points in an unknown direction. An entangled qubit--antiqubit sensor offers the greatest possible sensitivity (amount of Fisher information), per qubit, per application of the field. We prove this result theoretically and observe it experimentally. This work shows how antimatter, whether real or simulated, can enable platform-specific unitary inversion and benefit quantum information processing.

quant-ph↗

arXiv2025

Complexity-constrained quantum thermodynamics

Quantum complexity measures the difficulty of realizing a quantum process, such as preparing a state or implementing a unitary. We present an approach to quantifying the thermodynamic resources required to implement a process if the process's complexity is restricted. We focus on the prototypical task of information erasure, or Landauer erasure, wherein an n-qubit memory is reset to the all-zero state. We show that the minimum thermodynamic work required to reset an arbitrary state, via a complexity-constrained process, is quantified by the state's complexity entropy. The complexity entropy therefore quantifies a trade-off between the work cost and complexity cost of resetting a state. If the qubits have a nontrivial (but product) Hamiltonian, the optimal work cost is determined by the complexity relative entropy. The complexity entropy quantifies the amount of randomness a system appears to have to a computationally limited observer. Similarly, the complexity relative entropy quantifies such an observer's ability to distinguish two states. We prove elementary properties of the complexity (relative) entropy and determine the complexity entropy's behavior under random circuits. Also, we identify information-theoretic applications of the complexity entropy. The complexity entropy quantifies the resources required for data compression if the compression algorithm must use a restricted number of gates. We further introduce a complexity conditional entropy, which arises naturally in a complexity-constrained variant of information-theoretic decoupling. Assuming that this entropy obeys a conjectured chain rule, we show that the entropy bounds the number of qubits that one can decouple from a reference system, as judged by a computationally bounded referee. Overall, our framework extends the resource-theoretic approach to thermodynamics to integrate a notion of time, as quantified by complexity.

quant-ph↗

arXiv2025

Thermally driven quantum refrigerator autonomously resets superconducting qubit

Although classical thermal machines power industries and modern living, quantum thermal engines have yet to prove their utility. Here, we demonstrate a useful quantum absorption refrigerator formed from superconducting circuits. We use it to cool a transmon qubit to a temperature lower than that achievable with any one available bath, thereby resetting the qubit to an initial state suitable for quantum computing. The process is driven by a thermal gradient and is autonomous, requiring no external feedback. The refrigerator exploits an engineered three-body interaction between the target qubit and two auxiliary qudits. Each auxiliary qudit is coupled to a physical heat bath, realized with a microwave waveguide populated with synthesized quasithermal radiation. If the target qubit is initially fully excited, its effective temperature reaches a steady-state level of approximately 22~mK, lower than what can be achieved by existing state-of-the-art reset protocols. Our results demonstrate that superconducting circuits with propagating thermal fields can be used to experimentally explore quantum thermodynamics and apply it to quantum information-processing tasks.

quant-ph↗

arXiv2025

Quantum thermodynamics of nonequilibrium processes in lattice gauge theories

A key objective in nuclear and high-energy physics is to describe nonequilibrium dynamics of matter, e.g., in the early universe and in particle colliders, starting from the Standard Model. Classical-computing methods, via the framework of lattice gauge theory, have experienced limited success in this mission. Quantum simulation of lattice gauge theories holds promise for overcoming computational limitations. Because of local constraints (Gauss's laws), lattice gauge theories have an intricate Hilbert-space structure. This structure complicates the definition of thermodynamic properties of systems coupled to reservoirs during equilibrium and nonequilibrium processes. We show how to define thermodynamic quantities such as work and heat using strong-coupling thermodynamics, a framework that has recently burgeoned within the field of quantum thermodynamics. Our definitions suit instantaneous quenches, simple nonequilibrium processes undertaken in quantum simulators. To illustrate our framework, we compute the work and heat exchanged during a quench in a $\mathbb{Z}_2$ lattice gauge theory coupled to matter in 1+1 dimensions. The thermodynamic quantities, as functions of the quench parameter, evidence a phase transition. For general thermal states, we derive a simple relation between a quantum many-body system's entanglement Hamiltonian, measurable with quantum-information-processing tools, and the Hamiltonian of mean force, used to define strong-coupling thermodynamic quantities.

quant-ph↗

arXiv2025

Properties and Applications of the Kirkwood-Dirac Distribution

Recent years have seen the Kirkwood-Dirac (KD) distribution come to the forefront as a powerful quasi-probability distribution for analysing quantum mechanics. The KD distribution allows tools from statistics and probability theory to be applied to problems in quantum-information processing. A notable difference to the Wigner function is that the KD distribution can represent a quantum state in terms of arbitrary observables. This paper reviews the KD distribution, in three parts. First, we present definitions and basic properties of the KD distribution and its generalisations. Second, we summarise the KD distribution's extensive usage in the study or development of measurement disturbance; quantum metrology; weak values; direct measurements of quantum states; quantum thermodynamics; quantum scrambling and out-of-time-ordered correlators; and the foundations of quantum mechanics, including Leggett-Garg inequalities, the consistent-histories interpretation and contextuality. We emphasise connections between operational quantum advantages and negative or non-real KD quasi-probabilities. Third, we delve into the KD distribution's mathematical structure. We summarise the current knowledge regarding the geometry of KD-positive states (the states for which the KD distribution is a classical probability distribution), describe how to witness and quantify KD non-positivity, and outline relationships between KD non-positivity, coherence and observables' incompatibility.

quant-ph↗

arXiv2024

Non-Abelian transport distinguishes three usually equivalent notions of entropy production

We extend entropy production to a deeply quantum regime involving noncommuting conserved quantities. Consider a unitary transporting conserved quantities ("charges") between two systems initialized in thermal states. Three common formulae model the entropy produced. They respectively cast entropy as an extensive thermodynamic variable, as an information-theoretic uncertainty measure, and as a quantifier of irreversibility. Often, the charges are assumed to commute with each other (e.g., energy and particle number). Yet quantum charges can fail to commute. Noncommutation invites generalizations, which we posit and justify, of the three formulae. Charges' noncommutation, we find, breaks the formulae's equivalence. Furthermore, different formulae quantify different physical effects of charges' noncommutation on entropy production. For instance, entropy production can signal contextuality - true nonclassicality - by becoming nonreal. This work opens up stochastic thermodynamics to noncommuting - and so particularly quantum - charges.

quant-ph↗

arXiv2024

Agnostic Phase Estimation

The goal of quantum metrology is to improve measurements' sensitivities by harnessing quantum resources. Metrologists often aim to maximize the quantum Fisher information, which bounds the measurement setup's sensitivity. In studies of fundamental limits on metrology, a paradigmatic setup features a qubit (spin-half system) subject to an unknown rotation. One obtains the maximal quantum Fisher information about the rotation if the spin begins in a state that maximizes the variance of the rotation-inducing operator. If the rotation axis is unknown, however, no optimal single-qubit sensor can be prepared. Inspired by simulations of closed timelike curves, we circumvent this limitation. We obtain the maximum quantum Fisher information about a rotation angle, regardless of the unknown rotation axis. To achieve this result, we initially entangle the probe qubit with an ancilla qubit. Then, we measure the pair in an entangled basis, obtaining more information about the rotation angle than any single-qubit sensor can achieve. We demonstrate this metrological advantage using a two-qubit superconducting quantum processor. Our measurement approach achieves a quantum advantage, outperforming every entanglement-free strategy.

quant-ph↗