Searcharxiv⌕ Search

arXiv subjects

Simon Milz

Publications and source records attributed to Simon Milz.

26 records · Page 2Linked to original sources

Completely Positive Divisibility Does Not Mean Markovianity

In the classical domain, it is well-known that divisibility does not imply that a stochastic process is Markovian. However, for quantum processes, divisibility is often considered to be synonymous with Markovianity. We show that completely positive (CP) divisible quantum processes can still involve non-Markovian temporal correlations, that we then fully classify using the recently developed process tensor formalism, which generalizes the theory of stochastic processes to the quantum domain.

quant-ph↗

The Structure of Quantum Stochastic Processes with Finite Markov Order

Non-Markovian quantum processes exhibit different memory effects when measured in different ways; an unambiguous characterization of memory length requires accounting for the sequence of instruments applied to probe the system dynamics. This instrument-specific notion of quantum Markov order displays stark differences to its classical counterpart. Here, we explore the structure of quantum stochastic processes with finite length memory in detail. We begin by examining a generalized collision model with memory, before framing this instance within the general theory. We detail the constraints that are placed on the underlying system-environment dynamics for a process to exhibit finite Markov order with respect to natural classes of probing instruments, including deterministic (unitary) operations and sequences of generalized quantum measurements with informationally-complete preparations. Lastly, we show how processes with vanishing quantum conditional mutual information form a special case of the theory. Throughout, we provide a number of representative, pedagogical examples to display the salient features of memory effects in quantum processes.

quant-ph↗

Quantum Markov Order

We formally extend the notion of Markov order to open quantum processes by accounting for the instruments used to probe the system of interest at different times. Our description recovers the classical Markov order property in the appropriate limit: when the stochastic process is classical and the instruments are non-invasive, \emph{i.e.}, restricted to orthogonal, projective measurements. We then prove that there do not exist non-Markovian quantum processes that have finite Markov order with respect to all possible instruments; the same process exhibits distinct memory effects with respect to different probing instruments. This naturally leads to a relaxed definition of quantum Markov order with respect to specified sequences of instruments. The memory effects captured by different choices of instruments vary dramatically, providing a rich landscape for future exploration.

quant-ph↗

Non-Markovian quantum control as coherent stochastic trajectories

We develop a notion of stochastic quantum trajectories. First, we construct a basis set of trajectories, called elementary trajectories, and go on to show that any quantum dynamical process, including those that are non-Markovian, can be expressed as a linear combination of this set. We then show that the set of processes divide into two natural classes: those that can be expressed as convex mixture of elementary trajectories and those that cannot be. The former are shown to be entanglement breaking processes (in each step), while the latter are dubbed coherent processes. This division of processes is analogous to separable and entangled states. In the second half of the paper, we show, with an information theoretic game, that when a process is non-Markovian, coherent trajectories allow for decoupling from the environment while preserving arbitrary quantum information encoded into the system. We give explicit expressions for the temporal correlations (quantifying non-Markovianity) and show that, in general, there are more quantum correlations than classical ones. This shows that non-Markovian quantum processes are indeed fundamentally different from their classical counterparts. Furthermore, we demonstrate how coherent trajectories (with the aid of coherent control) could turn non-Markovianity into a resource. In the final section of the paper we explore this phenomenon in a geometric picture with a convenient set of basis trajectories.

quant-ph↗

Reconstructing open quantum system dynamics with limited control

The dynamics of an open quantum system can be fully described and tomographically reconstructed if the experimenter has complete control over the system of interest. Most real-world experiments do not fulfill this assumption, and the amount of control is restricted by the experimental set-up. That is, the set of performable manipulations of the system is limited. For instance, imagine a set-up where unitary operations are easy to make, but only one measurement at the end of the experiment is allowed. In this paper, we provide a general reconstruction scheme that yields operationally well-defined dynamics for any conceivable kind of experimental situation. If one additional operation can be performed, these `restricted' dynamics allow for the construction of witnesses for initial correlations and the presence of memory effects. We demonstrate the applicability of our framework for the the two important cases where the set of performable operations comprises only unitary operations or projective measurements, respectively, and show that it provides a powerful tool for the description of quantum control experiments.

quant-ph↗

Entanglement, non-Markovianity, and causal non-separability

Quantum mechanics, in principle, allows for processes with indefinite causal order. However, most of these causal anomalies have not yet been detected experimentally. We show that every such process can be simulated experimentally by means of non-Markovian dynamics with a measurement on additional degrees of freedom. Explicitly, we provide a constructive scheme to implement arbitrary acausal processes. Furthermore, we give necessary and sufficient conditions for open system dynamics with measurement to yield processes that respect causality locally, and find that tripartite entanglement and nonlocal unitary transformations are crucial requirements for the simulation of causally indefinite processes. These results show a direct connection between three counter-intuitive concepts: non-Markovianity, entanglement, and causal indefiniteness.

quant-ph↗

An introduction to operational quantum dynamics

In the summer of 2016, physicists gathered in Torun, Poland for the 48th annual Symposium on Mathematical Physics. This Symposium was special; it celebrated the 40th anniversary of the discovery of the Gorini-Kossakowski-Sudarshan-Lindblad master equation, which is widely used in quantum physics and quantum chemistry. This article forms part of a Special Volume of the journal Open Systems & Information Dynamics arising from that conference; and it aims to celebrate a related discovery -- also by Sudarshan -- that of Quantum Maps (which had their 55th anniversary in the same year). Nowadays, much like the master equation, quantum maps are ubiquitous in physics and chemistry. Their importance in quantum information and related fields cannot be overstated. In this manuscript, we motivate quantum maps from a tomographic perspective, and derive their well-known representations. We then dive into the murky world beyond these maps, where recent research has yielded their generalisation to non-Markovian quantum processes.

quant-ph↗

Volumes of conditioned bipartite state spaces

We analyse the metric properties of $\textit{conditioned}$ quantum state spaces $\mathcal{M}^{(n\times m)}_η$. These spaces are the convex sets of $nm \times nm$ density matrices that, when partially traced over $m$ degrees of freedom, respectively yield the given $n\times n$ density matrix $η$. For the case $n=2$, the volume of $\mathcal{M}^{(2\times m)}_η$ equipped with the Hilbert-Schmidt measure is a simple polynomial of the radius of $η$ in the Bloch-Ball. Remarkably, the probability $p_{\mathrm{sep}}^{(2\times m)}(η)$ to find a separable state in $\mathcal{M}^{(2\times m)}_η$ is independent of $η$ (except for $η$ pure). Both these results are proven analytically for the case of the family of $4\times 4$ $X$-states, and thoroughly numerically investigated for the general case. The important implications of these results for the clarification of open problems in quantum theory are pointed out and discussed.

quant-ph↗