No Arabic abstract
Optimal control theory is implemented with fully converged hierarchical equations of motion (HEOM) describing the time evolution of an open system density matrix strongly coupled to the bath in a spin-boson model. The populations of the two-level sub-system are taken as control objectives; namely, their revivals or exchange when switching off the field. We, in parallel, analyze how the optimal electric field consequently modifies the information back flow from the environment through different non-Markovian witnesses. Although the control field has a dipole interaction with the central sub-system only, its indirect influence on the bath collective mode dynamics is probed through HEOM auxiliary matrices, revealing a strong correlation between control and dissipation during a non-Markovian process. A heterojunction is taken as an illustrative example for modeling in a realistic way the two-level sub-system parameters and its spectral density function leading to a non-perturbative strong coupling regime with the bath. Although, due to strong system-bath couplings, control performances remain rather modest, the most important result is a noticeable increase of the non-Markovian bath response induced by the optimally driven processes.
A universal definition of non-Markovianity for open systems dynamics is proposed. It is extended from the classical definition to the quantum realm by showing that a `transition from the Markov to the non-Markov regime occurs when the correlations between the system and the environment, generated by their joint evolution, can no longer be neglected. The suggested definition is based on the comparison between measured correlation functions and those built by assuming that the system is in a Markov regime thus giving a figure of merit of the error coming from this assumption. It is shown that the knowledge of the dynamical map and initial condition of the system is not enough to fully characterise the non-Markovian dynamics of the reduced system. The example of three exactly solvable models, i.e. decoherence and spontaneous emission of the qubit in a bosonic bath and decoherence of the photons polarization induced by interaction with its spacial degrees of freedom, reveals that previously proposed Markovianity criteria and measures which are based on dynamical map analysis fail to recognise non-Markov behaviour.
We show that non-Markovian open quantum systems can exhibit exact Markovian dynamics up to an arbitrarily long time; the non-Markovianity of such systems is thus perfectly hidden, i.e. not experimentally detectable by looking at the reduced dynamics alone. This shows that non-Markovianity is physically undecidable and extremely counterintuitive, since its features can change at any time, without precursors. Some interesting examples are discussed.
A Markovian process of a system is defined classically as a process in which the future state of the system is fully determined by only its present state, not by its previous history. There have been several measures of non-Markovianity to quantify the degrees of non-Markovian effect in a process of an open quantum system based on information backflow from the environment to the system. However, the condition for the witness of the system information backflow does not coincide with the classical definition of a Markovian process. Recently, a new measure with a condition that coincides with the classical definition in the relevant limit has been proposed. Here, we focus on the new definition (measure) for quantum non-Markovian processes, and characterize the Markovian condition as a quantum process that has no information backflow through the reduced environment state (IBTRES) and no system-environment correlation effect (SECE). The action of IBTRES produces non-Markovian effects by flowing the information of quantum operations performed by an experimenter at earlier times back to the system through the environment, while the SECE can produce non-Markovian effect without carrying any earlier quantum operation information. We give the necessary and sufficient conditions for no IBTRES and no SECE, respectively, and show that a process is Markovian if and only if it has no IBTRES and no SECE. The quantitative measures and algorithms for calculating non-Markovianity, IBTRES and soly-SECE are explicitly presented.
Detuned systems can spontaneously achieve a synchronous dynamics and display robust quantum correlations in different local and global dissipation regimes. Beyond the Markovian limit, information backflow from the environment becomes a crucial mechanism whose interplay with spontaneous synchronization is unknown. Considering a model of two coupled qubits, one of which interacts with a dissipative environment, we show that non-Markovianity is highly detrimental for the emergence of synchronization, for the latter can be delayed and hindered because of the presence of information backflow. The results are obtained considering both a master equation approach and a collision model based on repeated interactions, which represents a very versatile tool to tailor the desired kind of environment.
We provide a rigorous analysis of the quantum optimal control problem in the setting of a linear combination $s(t)B+(1-s(t))C$ of two noncommuting Hamiltonians $B$ and $C$. This includes both quantum annealing (QA) and the quantum approximate optimization algorithm (QAOA). The target is to minimize the energy of the final ``problem Hamiltonian $C$, for a time-dependent and bounded control schedule $s(t)in [0,1]$ and $tin mc{I}:= [0,t_f]$. It was recently shown, in a purely closed system setting, that the optimal solution to this problem is a ``bang-anneal-bang schedule, with the bangs characterized by $s(t)= 0$ and $s(t)= 1$ in finite subintervals of $mc{I}$, in particular $s(0)=0$ and $s(t_f)=1$, in contrast to the standard prescription $s(0)=1$ and $s(t_f)=0$ of quantum annealing. Here we extend this result to the open system setting, where the system is described by a density matrix rather than a pure state. This is the natural setting for experimental realizations of QA and QAOA. For finite-dimensional environments and without any approximations we identify sufficient conditions ensuring that either the bang-anneal, anneal-bang, or bang-anneal-bang schedules are optimal, and recover the optimality of $s(0)=0$ and $s(t_f)=1$. However, for infinite-dimensional environments and a system described by an adiabatic Redfield master equation we do not recover the bang-type optimal solution. In fact we can only identify conditions under which $s(t_f)=1$, and even this result is not recovered in the fully Markovian limit. The analysis, which we carry out entirely within the geometric framework of Pontryagin Maximum Principle, simplifies using the density matrix formulation compared to the state vector formulation.