No Arabic abstract
Local master equations are a widespread tool to model open quantum systems, especially in the context of many-body systems. These equations, however, are believed to lead to thermodynamic anomalies and violation of the laws of thermodynamics. In contrast, here we rigorously prove that local master equations are consistent with thermodynamics and its laws without resorting to a microscopic model, as done in previous works. In particular, we consider a quantum system in contact with multiple baths and identify the relevant contributions to the total energy, heat currents and entropy production rate. We show that the second law of thermodynamics holds when one considers the proper expression we derive for the heat currents. We confirm the results for the quantum heat currents by using a heuristic argument that connects the quantum probability currents with the energy currents, using an analogous approach as in classical stochastic thermodynamics. We finally use our results to investigate the thermodynamic properties of a set of quantum rotors operating as thermal devices and show that a suitable design of three rotors can work as an absorption refrigerator or a thermal rectifier. For the machines considered here, we also perform an optimisation of the system parameters using an algorithm of reinforcement learning.
The study of open quantum systems often relies on approximate master equations derived under the assumptions of weak coupling to the environment. However when the system is made of several interacting subsystems such a derivation is in many cases very hard. An alternative method, employed especially in the modelling of transport in mesoscopic systems, consists in using {it local} master equations containing Lindblad operators acting locally only on the corresponding subsystem. It has been shown that this approach however generates inconsistencies with the laws of thermodynamics. In this paper we demonstrate that using a microscopic model of local master equations based on repeated collisions all thermodynamic inconsistencies can be resolved by correctly taking into account the breaking of global detailed balance related to the work cost of maintaining the collisions. We provide examples based on a chain of quantum harmonic oscillators whose ends are connected to thermal reservoirs at different temperatures. We prove that this system behaves precisely as a quantum heat engine or refrigerator, with properties that are fully consistent with basic thermodynamics.
We provide a rigorous construction of Markovian master equations for a wide class of quantum systems that encompass quadratic models of finite size, linearly coupled to an environment modeled by a set of independent thermal baths. Our theory can be applied for both fermionic and bosonic models in any number of physical dimensions, and does not require any particular spatial symmetry of the global system. We show that, for non-degenerate systems under a full secular approximation, the effective Lindblad operators are the normal modes of the system, with coupling constants that explicitly depend on the transformation matrices that diagonalize the Hamiltonian. Both the dynamics and the steady-state (guaranteed to be unique) properties can be obtained with a polynomial amount of resources in the system size. We also address the particle and energy current flowing through the system in a minimal two-bath scheme and find that they hold the structure of Landauers formula, being thermodynamically consistent.
Deep quantum neural networks may provide a promising way to achieve quantum learning advantage with noisy intermediate scale quantum devices. Here, we use deep quantum feedforward neural networks capable of universal quantum computation to represent the mixed states for open quantum many-body systems and introduce a variational method with quantum derivatives to solve the master equation for dynamics and stationary states. Owning to the special structure of the quantum networks, this approach enjoys a number of notable features, including the absence of barren plateaus, efficient quantum analogue of the backpropagation algorithm, resource-saving reuse of hidden qubits, general applicability independent of dimensionality and entanglement properties, as well as the convenient implementation of symmetries. As proof-of-principle demonstrations, we apply this approach to both one-dimensional transverse field Ising and two-dimensional $J_1-J_2$ models with dissipation, and show that it can efficiently capture their dynamics and stationary states with a desired accuracy.
We present a general quantum fluctuation theorem for the entropy production of an open quantum system whose evolution is described by a Lindblad master equation. Such theorem holds for both local and global master equations, thus settling the dispute on the thermodynamic consistency of the local quantum master equations. The theorem is genuinely quantum, as it can be expressed in terms of conservation of an Hermitian operator, describing the dynamics of the system state operator and of the entropy change in the baths. The integral fluctuation theorem follows from the properties of such an operator. Furthermore, it is valid for arbitrary number of baths and for time-dependent Hamiltonians. As such, the quantum Jarzynski equality is a particular case of the general result presented here. Moreover, our result can be extended to non-thermal baths, as long as microreversibility is preserved. We finally present some numerical examples to showcase the exact results previously obtained.
The quantum master equation is a widespread approach to describing open quantum system dynamics. In this approach, the effect of the environment on the system evolution is entirely captured by the dynamical generator, providing a compact and versatile description. However, care needs to be taken when several noise processes act simultaneously or the Hamiltonian evolution of the system is modified. Here, we show that generators can be added at the master equation level without compromising physicality only under restrictive conditions. Moreover, even when adding generators results in legitimate dynamics, this does not generally correspond to the true evolution of the system. We establish a general condition under which direct addition of dynamical generators is justified, showing that it is ensured under weak coupling and for settings where the free system Hamiltonian and all system-environment interactions commute. In all other cases, we demonstrate by counterexamples that the exact evolution derived microscopically cannot be guaranteed to coincide with the dynamics naively obtained by adding the generators.