The upper bounds for the rate of fluctuation growth of an observable in both open and closed quantum systems have been studied actively recently. In our recent work we showed that the rate of fluctuation growth for an observable in a closed quantum system is upper bounded by the fluctuation of its corresponding velocity-like observable. That bound also indicated a tradeoff between the time derivatives of the mean and the standard deviation. In this paper we will look at open quantum systems in two cases. For the first case we find the generator of evolution for an open system employing both the Taylor expansion and the standard time-ordered evolution via the Dyson series, while in the second case we consider no specific information about the evolution of the system. We then find the rate of fluctuation growth in each case. Comparing the upper bounds for each case and considering the upper bound found for a closed system suggest that including more details by separating the contributions of the system and state dynamics seems to result in looser bounds for the rate of fluctuation growth.
In this review we discuss some results on the asymptotic dynamics of finite-dimensional open quantum systems in the Heisenberg picture. Both the spectral and algebraic approaches to this topic are addressed, with particular emphasis on their relationship. The analysis is conducted in both the discrete-time and the continuous-time Markovian settings. In the final part of the work, some issues emerging in the infinite-dimensional case are also discussed. In particular, we provide an example of a Markovian evolution whose decoherence-free algebra is a type III von Neumann algebra.
We consider the problem of constructing a ``universal set'' of Markovian processes, such that any Markovian open quantum system, described by a one-parameter semigroup of quantum channels, can be simulated through sequential simulations of processes from the universal set. In particular, for quantum systems of dimension
d, we explicitly construct a universal set of semigroup generators, parametrized by ${d}^{2}\ensuremath{-}3$ continuous parameters, and prove that a necessary and sufficient condition for the dynamical simulation of a
d-dimensional Markovian quantum system is the ability to implement (a) quantum channels from the semigroups generated by elements of the universal set of generators, and (b) unitary operations on the system. Furthermore, we provide an explicit algorithm for simulating the dynamics of a Markovian open quantum system using this universal set of generators, and show that it is efficient, with respect to this universal set, when the number of distinct Lindblad operators (representing physical dissipation processes) scales polynomially with respect to the number of subsystems.
We demonstrate a surprising connection between pure steady-state entanglement and relaxation time scales in an extremely broad class of Markovian open systems, where two (possibly many-body) systems, A and B , interact locally with a common dissipative environment. This setup also encompasses a broad class of adaptive quantum dynamics based on continuous measurement and feedback. As steady-state entanglement increases, there is generically an emergent strong symmetry that leads to a dynamical slow-down. Using this, we can prove rigorous bounds on relaxation times set by steady-state entanglement. We also find that this time must necessarily diverge for maximal entanglement. To test our bound, we consider the dynamics of a random ensemble of local Lindbladians that support pure steady states, finding that the bound does an excellent job of predicting how the dissipative gap varies with the amount of entanglement. Our work provides general insights into how dynamics and entanglement are connected in open systems and has specific relevance to quantum reservoir engineering. Published by the American Physical Society 2024
Absolutely maximally entangled (AME) states and, more generally,
k-uniform states in $(\C^q)^{\otimes n}$ are central objects in multipartite entanglement theory, with applications to quantum secret sharing, quantum masking, and quantum error correction. In the extremal case
k=⌊n/2⌋, Scott (2004) proved a sharp nonexistence bound showing that AME states cannot exist once the number of parties
n exceeds a threshold of order
2q2 (with a parity dependence on
n), where
q is the local dimension. Recently, Ning et al.\ studied \emph{defective} AME states (i.e.,
k=⌊n/2⌋−l with
l>0), gave explicit Scott-type bounds for defects
l=1,2 and conjectured a general
(2l+2)q2+o(q2) behavior. In this paper, we solve this conjecture and establish a fully explicit Scott-type upper bound for AME states with arbitrary defect
l≥0, yielding Scott's bound for
l=0 and Ning et al.'s bounds for
l=1,2 as special cases. Equivalently, this gives nonexistence bounds for one-dimensional pure quantum error-correcting codes near the quantum Singleton regime. The proof uses a truncated MacWilliams linear-programming system and an explicit infeasibility certificate. As a direct application, we derive explicit asymptotic upper bounds on
k/n for fixed local dimension
q, improving the implicit upper bounds given by Ning et al.
Using tools from classical signal processing, we show how to determine the dimensionality of a quantum system as well as the effective size of the environment's memory from observable dynamics in a model-independent way. We discuss the dependence on the number of conserved quantities, the relation to ergodicity and prove a converse showing that a Hilbert space of dimension D+2 is sufficient to describe every bounded sequence of measurements originating from any D-dimensional linear equations of motion. This is in sharp contrast to classical stochastic processes which are subject to more severe restrictions: a simple spectral analysis shows that the gap between the required dimensionality of a quantum and a classical description of an observed evolution can be arbitrary large.