General Upper Bounds on Fluctuations of Trajectory Observables.

Thermodynamic uncertainty relations (TURs) are general lower bounds on the size of fluctuations of dynamical observables. They have important consequences, one being that the precision of estimation of a current is limited by the amount of entropy production. Here, we prove the existence of general upper bounds on the size of fluctuations of any linear combination of fluxes (including all time-integrated currents or dynamical activities) for continuous-time Markov chains. We obtain these general relations by means of concentration bound techniques. These "inverse TURs" are valid for all times and not only in the long time limit. We illustrate our analytical results with a simple model, and discuss wider implications of these new relations.

Towards a Theory of Metastability in Open Quantum Dynamics.

By generalizing concepts from classical stochastic dynamics, we establish the basis for a theory of metastability in Markovian open quantum systems. Partial relaxation into long-lived metastable states-distinct from the asymptotic stationary state-is a manifestation of a separation of time scales due to a splitting in the spectrum of the generator of the dynamics. We show here how to exploit this spectral structure to obtain a low dimensional approximation to the dynamics in terms of motion in a manifold of metastable states constructed from the low-lying eigenmatrices of the generator. We argue that the metastable manifold is in general composed of disjoint states, noiseless subsystems, and decoherence-free subspaces.

Equivalence of matrix product ensembles of trajectories in open quantum systems.

The equivalence of thermodynamic ensembles is at the heart of statistical mechanics and central to our understanding of equilibrium states of matter. Recently, a formal connection has been established between the dynamics of open quantum systems and statistical mechanics in an extra dimension: an open system dynamics generates a matrix product state (MPS) encoding all possible quantum jump trajectories which allows to construct generating functions akin to partition functions. For dynamics generated by a Lindblad master equation, the corresponding MPS is a so-called continuous MPS which encodes the set of continuous measurement records terminated at some fixed total observation time. Here, we show that if one instead terminates trajectories after a fixed total number of quantum jumps, e.g., emission events into the environment, the associated MPS is discrete. The continuous and discrete MPS correspond to different ensembles of quantum trajectories, one characterized by total time, the other by total number of quantum jumps. Hence, they give rise to quantum versions of different thermodynamic ensembles, akin to "grand canonical" and "isobaric," but for trajectories. Here, we prove that these trajectory ensembles are equivalent in a suitable limit of long time or large number of jumps. This is in direct analogy to equilibrium statistical mechanics where equivalence between ensembles is only strictly established in the thermodynamic limit. An intrinsic quantum feature is that the equivalence holds only for all observables that commute with the number of quantum jumps.

Characterization of dynamical phase transitions in quantum jump trajectories beyond the properties of the stationary state.

We describe how to characterize dynamical phase transitions in open quantum systems from a purely dynamical perspective, namely, through the statistical behavior of quantum jump trajectories. This approach goes beyond considering only properties of the steady state. While in small quantum systems dynamical transitions can only occur trivially at limiting values of the controlling parameters, in many-body systems they arise as collective phenomena and within this perspective they are reminiscent of thermodynamic phase transitions. We illustrate this in open models of increasing complexity: a three-level system, the micromaser, and a dissipative version of the quantum Ising model. In these examples dynamical transitions are accompanied by clear changes in static behavior. This is however not always the case, and, in general, dynamical phases need to be uncovered by observables which are strictly dynamical, e.g., dynamical counting fields. We demonstrate this via the example of a class of models of dissipative quantum glasses, whose dynamics can vary widely despite having identical (and trivial) stationary states.

Asymptotic inference in system identification for the atom maser.

System identification is closely related to control theory and plays an increasing role in quantum engineering. In the quantum set-up, system identification is usually equated to process tomography, i.e. estimating a channel by probing it repeatedly with different input states. However, for quantum dynamical systems such as quantum Markov processes, it is more natural to consider the estimation based on continuous measurements of the output, with a given input that may be stationary. We address this problem using asymptotic statistics tools, for the specific example of estimating the Rabi frequency of an atom maser. We compute the Fisher information of different measurement processes as well as the quantum Fisher information of the atom maser, and establish the local asymptotic normality of these statistical models. The statistical notions can be expressed in terms of spectral properties of certain deformed Markov generators, and the connection to large deviations is briefly discussed.

The elusive Heisenberg limit in quantum-enhanced metrology.

Quantum precision enhancement is of fundamental importance for the development of advanced metrological optical experiments, such as gravitational wave detection and frequency calibration with atomic clocks. Precision in these experiments is strongly limited by the 1/√N shot noise factor with N being the number of probes (photons, atoms) employed in the experiment. Quantum theory provides tools to overcome the bound by using entangled probes. In an idealized scenario this gives rise to the Heisenberg scaling of precision 1/N. Here we show that when decoherence is taken into account, the maximal possible quantum enhancement in the asymptotic limit of infinite N amounts generically to a constant factor rather than quadratic improvement. We provide efficient and intuitive tools for deriving the bounds based on the geometry of quantum channels and semi-definite programming. We apply these tools to derive bounds for models of decoherence relevant for metrological applications including: depolarization, dephasing, spontaneous emission and photon loss.