Quantum thermodynamic uncertainty relations establish fundamental trade-offs between the precision achievable in quantum systems and associated thermodynamic quantities such as entropy production or dynamical activity. While foundational, empirical demonstrations have thus far been confined to specific cases, either assuming time-reversal symmetry or involving particular measurement types, leaving the verification of their universal validity unrealized. This work leverages a quantum computer to present the first empirical verification of a general quantum thermodynamic uncertainty relation, valid for arbitrary dynamics and observables. We theoretically derive the relation, identifying survival activity as the pivotal thermodynamic quantity governing the precision bound. The verification is demonstrated on IBM's cloud-based quantum processor, which is treated as a real thermodynamic system. To achieve accurate results despite substantial device errors, we introduce a generic protocol for measuring survival activity and employ circuit reduction techniques based on the relation's properties. This strategy allows us to empirically measure survival activity for the first time and confirm the derived relation. Furthermore, the quantum computer's versatility enables the implementation of optimal observables, leading to the saturation of the relation and demonstrating the sharpness of our bound on a physical device. The method's broad applicability is further illustrated by verifying the trade-off for quantum time correlators. Our findings establish quantum computers as effective platforms for investigating fundamental thermodynamic trade-off relations.
Quantum thermodynamic uncertainty relations establish fundamental trade-offs between the precision achievable in quantum systems and associated thermodynamic quantities such as entropy production or dynamical activity. While foundational, empirical demonstrations have thus far been confined to specific cases, either assuming time-reversal symmetry or involving particular measurement types, leaving the verification of their universal validity unrealized. This work leverages a quantum computer to present the first empirical verification of a general quantum thermodynamic uncertainty relation, valid for arbitrary dynamics and observables. We theoretically derive the relation, identifying survival activity as the pivotal thermodynamic quantity governing the precision bound. The verification is demonstrated on IBM's cloud-based quantum processor, which is treated as a real thermodynamic system. To achieve accurate results despite substantial device errors, we introduce a generic protocol for measuring survival activity and employ circuit reduction techniques based on the relation's properties. This strategy allows us to empirically measure survival activity for the first time and confirm the derived relation. Furthermore, the quantum computer's versatility enables the implementation of optimal observables, leading to the saturation of the relation and demonstrating the sharpness of our bound on a physical device. The method's broad applicability is further illustrated by verifying the trade-off for quantum time correlators. Our findings establish quantum computers as effective platforms for investigating fundamental thermodynamic trade-off relations.
The thermodynamic and kinetic uncertainty relations indicate trade-offs between the relative fluctuation of observables and thermodynamic quantities such as dissipation and dynamical activity. Although these relations have been well studied for classical systems, they remain largely unexplored in the quantum regime. In this Letter, we investigate such trade-off relations for Markovian open quantum systems whose underlying dynamics are quantum jumps, such as thermal processes and quantum measurement processes. Specifically, we derive finite-time lower bounds on the relative fluctuation of both dynamical observables and their first passage times for arbitrary initial states. The bounds imply that the precision of observables is constrained not only by thermodynamic quantities but also by quantum coherence. We find that the product of the relative fluctuation and entropy production or dynamical activity is enhanced by quantum coherence in a generic class of dissipative processes of systems with nondegenerate energy levels. Our findings provide insights into the survival of the classical uncertainty relations in quantum cases.
The precision and response of trajectory observables offer valuable insights into the behavior of nonequilibrium systems. For classical systems, trade-offs between these characteristics and thermodynamic costs, such as entropy production and dynamical activity, have been established through uncertainty relations. Quantum systems, however, present unique challenges, where quantum coherence can enhance precision and violate classical uncertainty relations. In this study, we derive trade-off relations for stochastic observables in Markovian open quantum systems. Specifically, we present three key results: (i) a quantum generalization of the thermokinetic uncertainty relation, which bounds the relative fluctuations of currents in terms of entropy production and dynamical activity; (ii) a quantum inverse uncertainty relation, which constrains the relative fluctuations of arbitrary counting observables based on their instantaneous fluctuations and the spectral gap of the symmetrized Liouvillian; and (iii) a quantum response kinetic uncertainty relation, which bounds the response of general observables to kinetic perturbations in terms of dynamical activity. These fundamental bounds, validated numerically using a three-level maser and a boundary-driven X X Z spin chain, provide a comprehensive framework for understanding the interplay between precision, response, and thermodynamic costs in quantum systems.
Thermodynamic uncertainty relations (TURs) are a set of inequalities expressing a fundamental trade-off between precision and dissipation in non-equilibrium classical and quantum thermodynamic processes. TURs show that achieving low fluctuations in a thermodynamic quantity (e.g., heat or work) requires a minimum entropy production, with profound implications for the efficiency of biological and artificial thermodynamic processes. The accurate evaluation of TURs is a necessary requirement to quantify the fluctuation and dissipation entailed by a thermodynamic process, and ultimately to optimize the performance of quantum devices, whose operation is fundamentally a quantum thermodynamic process. Here, we simulate TURs in a transverse-field Ising model subjected to a time-dependent driving protocol, using quantum and classical computers in concert. Varying the duration and strength of the drive as well as the system size, we verify the validity of TURs, identify quantum signatures in the work statistics within the linear response regime, and observe TUR saturation in the high-temperature limit.
Thermodynamic uncertainty relations (TURs) are a set of inequalities expressing a fundamental trade-off between precision and dissipation in nonequilibrium classical and quantum thermodynamic processes. TURs show that achieving low fluctuations in a thermodynamic quantity (e.g., heat or work) requires a minimum entropy production, with profound implications for the efficiency of biological and artificial thermodynamic processes. The accurate evaluation of TURs is a necessary requirement to quantify the fluctuation and dissipation entailed by a thermodynamic process, and ultimately to optimize the performance of quantum devices, whose operation is fundamentally a quantum thermodynamic process. Here, we simulate TURs in a transverse-field Ising model subjected to a time-dependent driving protocol, using quantum and classical computers in concert. Varying the duration and strength of the drive as well as the system size, we verify the validity of TURs, identify quantum signatures in the work statistics within the linear response regime, and observe TUR saturation in the high-temperature limit.
Abstract In this work, we experimentally investigate the lower bound of the thermodynamic uncertainty relation (TUR) using a quantum Maxwell’s demon, specifically modeled as a Szilard engine. A quantum circuit representing the Szilard engine was designed and implemented on an IBM quantum computer that showcases the integration of quantum information processing. The circuit was executed multiple times to extract currents associated with various thermodynamic quantities, allowing for an estimation of the thermodynamic uncertainty product. TUR establishes a universal trade-off between the precision of thermodynamic currents (such as heat, work, or entropy) and entropy production rate in non-equilibrium systems, placing a universal bound on their fluctuations. Our findings indicate that the TUR’s lower bound is upheld in the quantum regime, with the uncertainty product consistently exceeding the theoretical limit of two. This result reaffirms the robustness of the thermodynamic uncertainty relation in quantum thermodynamic systems.
We derive a thermodynamic uncertainty relation for general open quantum dynamics, described by a joint unitary evolution on a composite system comprising a system and an environment. By measuring the environmental state after the system-environment interaction, we bound the counting observables in the environment by the survival activity, which reduces to the dynamical activity in classical Markov processes. Remarkably, the relation derived herein holds for general open quantum systems with any counting observable and any initial state. Therefore, our relation is satisfied for classical Markov processes with arbitrary time-dependent transition rates and initial states. We apply our relation to continuous measurement and the quantum walk to find that the quantum nature of the system can enhance the precision. Moreover, we can make the lower bound arbitrarily small by employing appropriate continuous measurement.