Analysis and synthesis of attractive
quantum Markovian dynamics
Abstract
We propose a general framework for investigating a large class of stabilization problems in Markovian quantum systems. Building on the notions of invariant and attractive quantum subsystem, we characterize attractive subspaces by exploring the structure of the invariant sets for the dynamics. Our general analysis results are exploited to assess the ability of openloop Hamiltonian and outputfeedback control strategies to synthesize Markovian generators which stabilize a target subsystem, subspace, or purestate. In particular, we provide an algebraic characterization of the manifold of stabilizable pure states in arbitrary finitedimensional Markovian systems, that leads to a constructive strategy for designing the relevant controllers. Implications for stabilization of entangled pure states are addressed by example.
Keywords: Quantum control; Quantum dynamical semigroups; Quantum subsystems.
1 Introduction
Stabilization problems have a growing significance for a variety of quantum control applications, ranging from state preparation of optical, atomic, and nanomechanical systems to the generation of noiseprotected realizations of quantum information in realistic devices [1, 2]. Dynamical systems undergoing Markovian evolution [3, 4] are relevant from the standpoint of typifying irreversible quantum dynamics and present distinctive control challenges [5]. In particular, openloop quantumengineering and (approximate) stabilization methods based on dynamical decoupling cease to be viable in the Markovian regime [6, 7]. It is our goal in this work to show how a wide class of Markovian stabilization problems can nevertheless be effectively treated within a general framework, provided by invariant and attractive quantum subsystems.
After providing the relevant technical background, we proceed establishing a first analysis result that fully characterizes the attractive subspaces for a given generator. This is done by analyzing the structure induced by the generator in the system’s Hilbert space, and by invoking KrasowskiiLaSalle’s invariance principle. We next explore the application of the result to stabilization problems for Markovian Hamiltonian and outputfeedback control. Our approach leads to a complete characterization of the stabilizable pure states, subspaces, and subsystems as well as to constructive design strategies for the control parameters. Some partial results in this sense have been presented in [8], and in the conference paper [9]. We also refer to the journal article [8] for a more detailed discussion of the connection between invariant, attractive and noiseless subsystems, along with a thorough analysis of model robustness issues which shall not be our focus here.
2 Preliminaries and background
2.1 Quantum Markov processes
Consider a separable Hilbert space over the complex field . Let represent the set of linear bounded operators on , with denoting the real subspace of Hermitian operators, and , being the identity and the zero operator, respectively. Throughout our analysis, we consider a finitedimensional quantum system : following the standard quantum statistical mechanics formalism [10], we associate to a complex, finitedimensional . Our (possibly uncertain) knowledge of the state of is condensed in a density operator on , with and . Density operators form a convex set , with onedimensional projectors corresponding to extreme points (pure states, ). Observable quantities are represented by Hermitian operators in and expectation values are computed by using the trace functional: If is the composite system obtained from two distinguishable quantum systems , the corresponding mathematical description is carried out in the tensor product space, , observables and density operators being associated with Hermitian and positivesemidefinite, normalized operators on , respectively. The partial trace over is the unique linear operator , ensuring that for every , . Partial trace is used to compute marginal states and partial expectations on multipartite systems.
In the presence of either intended or unwanted couplings (such as with a measurement apparatus, or with a surrounding quantum environment), the evolution of a subsystem of interest is no longer unitary and reversible, and the general formalism of open quantum systems is required [11, 3, 4]. A wide class of open quantum systems obeys Markovian dynamics [3, 12, 13, 4]. Let denote the physical quantum system of interest, with associated Hilbert space , . Assume that we have no access or control over the state of the system’s environment, and that the dynamics in is continuous in time and described at each instant by a TracePreserving Completely Positive (TPCP) linear map [14]. If a forward composition law is also assumed, we obtain a quantum Markov process, or Quantum Dynamical Semigroup (QDS):
Definition 1 (Qds)
A quantum dynamical semigroup is a oneparameter family of TPCP maps that satisfies:

,


is a continuous function of , , .
Due to the trace and positivitypreserving assumptions, a QDS is a semigroup of contractions. As proven in [12, 15], the HilleYoshida generator for the semigroup exists and can be cast in the following canonical form:
with denoting the spectrum of . The effective Hamiltonian and the noise operators (also known as “Lindblad operators”) completely specify the dynamics, including the effect of the Markovian environment. In general, is equal to the Hamiltonian for the isolated, free evolution of the system, , plus a correction, , induced by the coupling to the environment (aka “Lamb shift”). The nonHamiltonian terms in (2.1) account for the nonunitary character of the dynamics, specified by noise operators .
In principle, the exact form of the generator of a QDS may be rigorously derived from a Hamiltonian model for the joint systemenvironment dynamics under appropriate limiting conditions (the socalled “singular coupling limit” or the “weak coupling limit,” respectively [3, 4]). In most physical situations, however, an analytical derivation is unfeasible, since the full microscopic Hamiltonian describing the systemenvironment interaction is unavailable. A Markovian generator of the form (2.1) is then postulated on a phenomenological basis. In practice, it is often the case that knowledge of the noise effect may be assumed, allowing to specify the Markovian generator by directly assigning a set of noise operators (not necessarily orthogonal or complete) in (2.1), and the corresponding noise strengths . Each of the noise operators may be associated to a distinct noise channel , by which information irreversibly leaks from the system to the environment.
2.2 Quantum subsystems: Invariance and attractivity
Quantum subsystems are the basic building block for describing composite systems in quantum mechanics [10], and provide a general framework for scalable quantum information engineering in physical systems. In fact, the socalled subsystem principle [2, 1, 16] states that any “faithful” representation of information in a quantum system requires to specify a subsystem desired information. Many of the control tasks considered in this paper are motivated by the need for strategies to create and maintain quantum information in open quantum systems. A definition of quantum subsystem suitable to our scopes is the following:
Definition 2 (Quantum subsystem)
A quantum subsystem of a system defined on is a quantum system whose state space is a tensor factor of a subspace of ,
(2) 
for some cofactor and remainder space . The set of linear operators on , , has the same statistical properties and is isomorphic to the (associative) subalgebra of of operators of the form .
Let , and let be orthonormal bases for respectively. The decomposition (2) is then naturally associated with the following basis for :
This induces a block structure for matrices acting on :
(3) 
where, in general, . We denote by the projector onto , that is, .
In this paper, we study Markov dynamics of a quantum system with a given decomposition of the associated Hilbert space of the form (2), with respect to the quantum subsystem associated to . By describing the dynamics in the Schrödinger picture, i.e. , with evolving states and timeinvariant observables, the first step is to specify whether the system has been properly initialized in a state which faithfully represents a state of the subsystem , and what is the structure of such states.
Definition 3 (State initialization)
The system with state is initialized in with state if the blocks of satisfy:
(i) for some 
(ii) 
We denote by the set of states that satisfy (i)(ii) for some .
Condition (ii) guarantees that is a valid (normalized) state of , while condition (i) ensures that measurements or dynamics affecting the factor have no effect on the state in .
We now proceed to characterize in which sense, and under which conditions, a quantum subsystem may be defined as invariant. Recall that a set is said to be invariant for a dynamical system if the trajectories that start in remain in for all .^{1}^{1}1For clarity, let us also recall other standard dynamical systems notions relevant in our context. Given and a suitable norm for the state manifold, we call invariant, stationary, or equilibrium state any such that An equilibrium state is said to be stable if for every there exists such that if , then any trajectory starting from does not leave the ball of radius centered in . A state is said to be (globally) attractive if the trajectories from any initial condition converge to it. In view of Definition 3, the natural definition considering dynamics in the state space may be phrased as follows:
Definition 4 (Invariance)
Let evolve under a family of TPCP maps . is an invariant subsystem if is an invariant subset of .
In explicit form, as given in [8], this means that , the state of obeys
(4) 
where, for every and are TPCP maps on and , respectively, not depending on the initial state. For Markovian evolution of , and are required to be QDSs on their respective domain.
We next recall a characterization of dynamical models able to ensure invariance for a fixed subsystem, based on appropriately constraining the blockstructure of the matrix representation of the operators specifying the Markovian generator. We refer to [8] for the proofs.
Lemma 1 (Markovian invariance)
Assume that , and let be the Hamiltonian and the error generators of a Markovian QDS as in (2.1). Then supports an invariant subsystem iff :
(5)  
where for each either or (or both).
One may require to have dynamics independent from evolution affecting and also in the case where is not initialized in the sense of Definition 3. If neither conditions (i)(ii) are satisfied, one may still define an unnormalized reduced state for the subsystem:
This allows for entangled mixed states to be supported on as well as for blocks to differ from zero. Similar to the case of socalled “initializationfree” subsystems considered in [17, 8], an additional constraint on the Lindblad operators is required to ensure independent reduced dynamics in this case. That is, with respect to the matrix blockdecomposition above, it must be for every . Such a constraint decouples the evolution of the block of the state from the rest, rendering both and separately invariant.
This imposes tighter conditions on the noise operators, which may be hard to ensure in reality and, from a control perspective, leave less room for Hamiltonian compensation as examined in Section 4.1. In order to address situations where such extra constraints cannot be met, as well as a question which is interesting on its own, we explore conditions for a subsystem to be attractive:
Definition 5 (Attractive subsystem)
Assume that . Then supports an attractive subsystem with respect to a family of TPCP maps if the following condition is asymptotically obeyed:
(6) 
where
This implies that every trajectory in converges to Thus, an attractive subsystem may be thought of as a subsystem that “selfinitializes” in the longtime limit, by reabsorbing initialization errors. Although such a desirable behavior only emerges asymptotically, for QDSs one can see that convergence is exponential, as long as the relevant eigenvalues of have strictly negative real part.
We conclude this section by recalling two partial results on attractive subsystems which we established in [8]. The first is a negative result, which shows, in particular, how the possibility of “initializationfree” and attractive behavior are mutually exclusive.
Proposition 1
Assume that , and let be the Hamiltonian and the error generators as in (2.1), respectively. Let support an invariant subsystem. If for every , then is not attractive.
Note that he conditions of the above Proposition are obeyed, in particular, if , . As a consequence, attractivity is never possible for the class of unital (preserving) Markovian QDSs with purely selfadjoint ’s. Still, even if the condition condition holds, attractive subsystems may exist in the purefactor case, where . Sufficient conditions are provided by the following:
Proposition 2
Assume that (), and let be invariant under a QDS with generator of the form
If has a unique attractive state , then is attractive.
3 Characterizing attractive Markovian dynamics
We begin by presenting new necessary and sufficient conditions for attractivity of a subspace, which will provide the basis for the synthesis results in the next sections. Notice that if supports an attractive subsystem, the entire set of states with support on is attractive. Once this is verified, the dynamics confined to the invariant subspace (that supports a pure subsystem) may be studied with the aid of the results recalled in the previous section. The following Lemma will be used in the proof of the main result, but is also interesting on its own. We denote with the support of i.e., the orthogonal complement of its kernel.
Lemma 2
Let be an invariant subset of for the QDS dynamics generated by and define:
Then is invariant.
Proof. Let be the convex hull of Thus, every element of may be expressed as where , and By using linearity of the dynamics,
with Hence is invariant. Furthermore, from the definition of , there exist a such that Consider and the corresponding matrix partitioning:
With respect to this partition, the block of is fullrank, while are zeroblocks. The trajectory is contained in only if:
so that, upon computing explicitly the generator blocks, we must impose:
Since is fullrank and positive, it must be:
Comparing with the conditions given in Corollary 1, we infer that is invariant, hence we conclude.
We are now in a position to prove our main result:
Theorem 1 (Subspace attractivity)
Let and assume that is an invariant subspace for the QDS dynamics generated by (2.1). Define:
(7) 
with the matrix blocks representing linear operators from to Then is an attractive subspace iff does not support any invariant subsystem.
Proof. Clearly, if supports an invariant set , then cannot be attractive, since for every the dynamics is confined to To prove the other implication, we shall prove that if does not support an invariant set, then is attractive. Consider the nonnegative, linear functional It is zero iff , i.e., for perfectly initialized states. By LaSalle’s invariance principle (see e.g. [20]), every trajectory will converge to the largest invariant subset contained in the set:
Explicit calculation of the blocks of the generator (see also [8]) yields:
By the cyclic property of the trace, the last term is equivalent to the trace of which is a sum of positive operators, and thus can be zero iff each term is zero. Being the ’s fixed, this can hold iff has support contained in , defined as above. Thus, the support of is Call the support of the maximal invariant set in : By Lemma 2, is invariant. But is defined as the maximal invariant set in , so it must be Recalling that by hypothesis is itself an invariant subset contained in , it must be with We next prove that supports an invariant set iff i.e. ^{2}^{2}2To the scope of this proof, the “if” implication would suffice, but since the converse arises naturally, we prove both.. Consider a such that has nontrivial support on If no such state exists, has support only on so clearly If such a state exists, let
where is the orthogonal projector on Since has support only on its trajectory is confined to On the other hand, hence it must be for all By observing that and that are continuous, we can conclude that the trajectory must have support only on some endowing with an invariant set, and by the Lemma above, the invariant subsystem associated to . We conclude by observing that if does not support an invariant set, then hence is attractive.
In spite of its nonconstructive nature, the power of this characterization will be apparent in the proofs of the results concerning active stabilization of states and subspaces by Hamiltonian control in the next section. We observe here that Lemma 2 lends itself to the following useful specialization:
Proposition 3
If is an invariant state for the QDS dynamics generated by and then is invariant. Conversely, if supports an invariant subset, it contains at least an invariant state.
Proof. The first implication follows from Lemma 2 above. If supports an invariant subset, then by the same Lemma it supports an invariant subsystem, and the density operators with support on form a convex, compact set that evolves accordingly to a (reduced) QDS. Hence, it must admit at least an invariant state [3].
This result provides us with an explicit criterion for verifying whether contains an invariant subset: It will suffice to check if supports an invariant state. Invariant (or “fixed”) states may be found by analyzing the structure of . An efficient algorithm for generic TPCP maps has been recently presented in [16].
4 Engineering attractive Markovian dynamics
In this section, we illustrate the relevance of the theoretical framework developed thus far to a wide class of Markovian stabilization problem associated with the task of making a desired (fixed) quantum subsystem invariant or attractive. Interestingly, these problems may be regarded as instances of Markovian reservoir engineering, which has long been investigated on a phenomenological basis by the physics community in the context of both decoherence mitigation and the quantumclassical transition, see e.g. [21, 22, 23].
In the special yet relevant case of sinthesizing attractive dynamics with respect to an intended pure state, our results fully characterize the manifold of pure states that may be “prepared” given a reference dissipative dynamics using either openloop Hamiltonian or feedback control resources. As discussed in [8], provided a sufficient level of accuracy in tuning the relevant control parameters may be ensured, the “direct” Markovian feedback considered here has the important advantage of substantially relaxing implementation constraints in comparison with “Bayesian” feedback techniques requiring realtime state estimation update [24, 25].
4.1 Openloop Hamiltonian control
We begin by exploring what can be achieved by considering only openloop Hamiltonian control, specifically, the application of timeindependent Hamiltonians to the dynamical generator. This allows us to consider generators involving, in general, multiple and yields interesting characterizations of the possibilities offered by this class of controls for stabilization problems, complementing previous work from a controllability perspective [26, 27]. The results established below will also be of key importance in the proofs of the theorems on closedloop stabilization. Lastly, a separate presentation will serve to clarify the different scopes and limitations of the two class of control strategies. As a direct consequence of the Markovian invariance theorem, we have the following:
Corollary 1 (Openloop invariant subspaces)
Let Then can be made invariant by openloop Hamiltonian control iff for every .
Proof. By specializing Corollary 1, supports an invariant subsystem iff:
(8)  
(9) 
The only condition that is affected by a change of Hamiltonian is (9), which however can always be satisfied by an appropriate choice of control Hamiltonian. This leaves us with condition (8) alone.
The above result makes it possible to enforce invariant subspaces for the controlled dynamics by solely using Hamiltonian resources, without directly modifying the nonunitary part. The ability of openloop Hamiltonian control to induce stronger attractivity properties is characterized in the following:
Theorem 2 (Openloop attractive subspaces)
Let and assume that supports an invariant subsystem. Then can be made attractive by openloop Hamiltonian control iff is not invariant.
Proof. If supports an invariant subsystem, then by Corollary 1 it must be for every . Since invariant, this implies Any Hamiltonian control perturbation that preserves invariance on must satisfy this condition, hence preserve invariance on too, thus cannot be rendered attractive. If the whole does not support an invariant subsystem, we can devise an iterative procedure that builds up a control Hamiltonian such that becomes attractive. Theorem 1 states that if there is no invariant subsystem supported in (defined in (7)), then is attractive. If there is an invariant subsystem with support let us consider the following Hilbert space decomposition:
After imposing the invariance conditions on and the associated blockdecomposition of the Lindblad operators and Hamiltonian turns out to be of the form:
subject to the conditions:
One sees that the most general Hamiltonian perturbation that preserves the invariance of has the form:
Consider a control Hamiltonian such that the block has full columnrank, while are arbitrary and is still to be determined. If then for every hence cannot support any invariant subsystem, since conditions in Corollary 1 cannot be satisfied for any subspace of . Conversely, if choosing an as above, by dimension comparison must have a nontrivial left kernel , and thus there exists a that supports an invariant whose dimension is strictly lesser than dimension of We can iterate the reasoning with a new, refined decomposition with . With this decomposition, the generator matrices exhibits the same block structure as above, with Thus, we can exploit the freedom of choice on the block to further reduce the dimension of the invariant set. At each iteration, the procedure either stops rendering attractive, if or decrease the dimension of the invariant set by at least The procedure thus ends in at most steps.
Remarkably, the proof of the above theorem, combined with a strategy to find invariant subspaces, provides a constructive procedure to build a constant Hamiltonian that makes the desired invariant subspace attractive whenever the Theorem’s hypothesis are satisfied.
4.2 Markovian feedback control
The potential of Hamiltonian compensation for controlling Markovian evolutions is clearly limited by the impossibility to directly modify the noise action. To our scopes, openloop control is then mostly devoted to connect subspaces in that are already invariant, and to adjust the generator parameters so that the interplay between Hamiltonian and dissipative contributions (as in Eq. (5)) can stabilize the desired subspace or subsystem.
A way to overcome these limitations is offered by closedloop control strategies. Measurementbased feedback control requires the ability to both effectively monitor the environment, and condition the target evolution upon the measurement record. Feedback strategies have been considered since the beginning of the quantum control field [28], and successfully employed in a wide variety of settings (see e.g. [29, 30, 24, 31, 32]).
We focus on a measurement scheme which mimics optical homodyne detection for fieldquadrature measurements, whereby the target system (e.g. an atomic cloud trapped in an optical cavity) is indirectly monitored via measurements of the outgoing laser field quadrature [29, 33]. The conditional dynamics of the state is stochastic, driven by the fluctuation one observes in the measurement. Considering a suitable infinitesimal feedback operator determined by a feedback Hamiltonian , and taking the expectation with respect to the noise trajectories, this leads to the WisemanMilburn Markovian Feedback Master equation (FME) [29, 30]:
(10) 
The feedback statestabilization problem for Markovian dynamics has been extensively studied for a single twolevel system (qubit) [34, 35]. The standard approach is to to design a Markovian feedback loop by assigning both the measurement and feedback operators and to treat the measurement strength and the feedback gain as the relevant control parameters accordingly. Throughout the following section, we will assume to have more freedom, by considering, for a fixed measurement operator , both and as tunable control Hamiltonians
Definition 6 (Chc)
A controlled FME of the form (10) supports complete Hamiltonian control (CHC) if (i) arbitrary feedback Hamiltonians may be enacted; (ii) arbitrary constant control perturbations may be added to the free Hamiltonian .
This leads to both new insights and constructive control protocols for systems where the noise operator is a generalized angular momentumtype observable, for generic finitedimensional systems. Physically, the CHC assumption must be carefully scrutinized on a case by case basis, since constraints on the form of the Hamiltonian with respect to the Lindblad operator may emerge, notably in the abovementioned weakcoupling limit derivations of Markovian models [3].
We now address the general subspacestabilization problem for controlled Markovian dynamics described by FMEs. A characterization of the subspaces supporting stabilizable subsystems is provided by the following:
Theorem 3 (Feedback attractive subspaces)
Let , with being the orthogonal projection on Assume CHC capabilities. Then, for any measurement operator , there exist a feedback Hamiltonian and a Hamiltonian compensation that make the subsystem supported by attractive for the FME (10) iff
(11) 
Proof. Write , with both and being Hermitian, thus . Condition (11) holds iff is not blockdiagonal when partitioned according to the chosen decomposition. If is blockdiagonal, then, by Corollary 1, enforcing invariance of the subsystem supported by requires that . But then it must also be so that supports an invariant subsystem. Since the choice of and does not affect invariance, by Theorem 2 it follows that cannot be made attractive by Hamiltonian control. On the other hand, if is not blockdiagonal, we can always find in such a way that is upper diagonal, by choosing . With as the new noise operator, we now have to devise a control Hamiltonian with a block that makes invariant (this is always possible by Corollary 1, since =0), and a block constructed following the procedure in the proof of Theorem 2.
The following specialization to pure states, i.e. onedimensional subspaces, is immediate:
Corollary 2
Assume CHC. For any measurement operator , there exist a feedback Hamiltonian and a Hamiltonian compensation able to stabilize an arbitrary desired pure state for the FME (10) iff
(12) 
The proof of Theorem 3 provides a constructive algorithm for designing the feedback and correction Hamiltonians needed for the stabilization task. In particular, our analysis recovers the qubit stabilization results of [34] recalled before. For example, the states that are not stabilizable within the control assumptions of [34] are the ones commuting with the Hermitian part of that is, In the plane of the Bloch’s representation, the latter correspond precisely to the equatorial points.
As a corollary of Theorem 3 and Proposition 2, we present sufficient and necessary conditions for engineering a generic attractive quantum subsystem (with a nontrivial cofactor). We start with a Lemma, which is a straightforward specialization of Proposition 5 in [8]:
Lemma 3
Assume that , (), and a QDS of the form If admits at least two invariant states, then is not attractive.
Theorem 4 (Feedback attractive subsystems)
Let with and assume CHC capabilities. Then for any , with Hermitian part , there exist a feedback Hamiltonian and a Hamiltonian compensation that make the subsystem attractive for the FME (10) iff the following conditions hold:

(13) 
(14) 
(15)
Proof. By Theorem 3, condition (13) is necessary and sufficient to render attractive, which is a necessary condition for attractivity of In fact, if this is not the case, by Theorem 1 there would exist an invariant subsystem whose support is contained To ensure invariance of by Corollary 1, the block of has to satisfy with or (or both). Thus, both the Hermitian and antiHermitian parts of must have the same structure. The Hermitian part of is equal the Hermitian part of , whereby it follows that is necessary for invariance of . Assume (the other case may be treated in a similar way, by interchanging the roles of and in what follows). If is not satisfied, then must be unitarily similar to a diagonal matrix for any choice of that ensures invariance of . Hence, the dynamics restricted to admits at least two different stationary states ( by hypothesis). By Lemma 3, we conclude that cannot be attractive. Conversely, if i) holds, following the proof of Theorem 3, we can devise a Hamiltonian correction and a feedback Hamiltonian for which is attractive. Since the block is irrelevant to this stage, and may be further chosen to render a pure state of attractive for the reduced dynamics. Assume ii) and iii), with different from a scalar matrix (again, to treat the other case, it suffices to switch the appropriate subscripts in what follows). Thus, there exists a onedimensional projector such that By Corollary 2, we can find and that render it attractive. By choosing an Hamiltonian control so that and the stated conditions are also sufficient for the existence of attractivityensuring controls.
5 Applications
The following examples will serve to exemplify the application of our stabilization results to prototypical finitedimensional control systems, which are also of direct relevance to quantum information devices. Different scenarios may arise depending on whether the target system is (or is regarded as) indecomposable, or explicit reference to a decomposition into subsystems is made.
5.1 Single systems
Example 1: Consider a single qubit on , with uncontrolled dynamics specified by , with and Assume we wish to stabilize Since this is possible. Following the procedure in the above proof, consider so that
and Substituting in the FME (10), one obtains the desired result, as it can also be directly verified by using Proposition 7 in [8].
Assume, more generally, that it is possible to continuously monitor an arbitrary singlespin observable, . Since the choice of the reference frame for the spin axis is conventional, by suitably adjusting the relative orientation of the measurement apparatus and the sample, it is then in principle possible to prepare and stabilize any desired pure state with a similar control strategy.
Example 2: Consider a threelevel system (a qutrit), whose Hilbert space carries a spin1 representation of spin angular momentum observables , . Without loss of generality, we may choose a basis in such that the desired pure state to be stabilized is , and by CHC we may also ensure that . In analogy with Example 1, a natural strategy is to continuously monitor a nondiagonal spin observable, for instance:
Since the state is stabilizable. Choosing the feedback Hamiltonian as
yields
Unlike the qubit case, , thus a Hamiltonian compensation is needed to ensure that . With these choices, it is easy to see that does not support any invariant subsystem, hence is attractive.
Provided that a similar structure of the observables is ensured, the previous examples naturally extend to generic level systems, as formally established in [8] by using Lyapunov techniques.
5.2 Bipartite systems
If a multipartite structure is specified on , it is both conceptually and practically important to understand whether stabilization of physically relevant class of states (including nonclassical entangled states) is achievable with control resources which respect appropriate operational constraints, such as locality. We focus here on the simplest setting offered by bipartite qubit systems, with emphasis on Markovianfeedback preparation of entangled states, which has also been recently analyzed within a quantum filtering approach in [36].
Example 3: Consider a twoqubit system defined on a Hilbert space , with a preferred basis (e.g., defines the computational basis in quantum information applications). The control task is to engineer a QDS generator that stabilizes the maximally entangled “cat state”:
In order to employ the synthesis techniques developed above, we consider a change of basis such that in the new representation A particularly natural choice is to consider the socalled Bell basis:
Let be the unitary matrix realizing the change of basis. In the Bell basis, which we use to build our controller, we consider a Hilbert space decomposition where and and the associated matrix block decomposition.
Let us consider in the canonical basis. It is easy to verify that In the Bell basis, and If, in this basis, we are able to implement the feedback Hamiltonian (where now the tensor product should simply be meant as a matrix operation), we render invariant, yet obtaining with Direct computation yields back in the computational basis. With this choice, using the definitions in the proof of Theorem 2, we have:
and is itself invariant. Hence, we need to produce a control Hamiltonian to “destabilize” By inspection, we find that contains a proper subspace that supports an invariant and attractive state for the dynamics reduced to . To “connect” this state to the attractive domain of we need a nontrivial Hamiltonian coupling between and . This may be obtained by a control Hamiltonian in the standard basis – which completes the specification of the control strategy that renders the unique attractive state for the dynamics. Notice that both the measurement and Hamiltonian compensation can be implemented locally, which may be advantageous in practice.
This example suggests how our results, obtained under CHC assumptions, may be interesting to explore the compatibility with existing control constraints. A further illustration comes from the following example.
Example 4: Consider again the above twoqubit system, but now imagine that we can only implement “nonselective” measurement and control Hamiltonians, i.e., must commute with the operation that swaps the qubit states. It is then natural to restrict attention to the dynamics in the threedimensional subspace generated by the triplet states, which correspond to eigenvalue , , of the total spin angular momentum , [10]:
Notice that corresponds to the fixed subspace with respect to the swap operation.
Our goal is to engineer a FME such that the maximally entangled state is attractive for the dynamics restricted to . Consider a collective measurement of spin along the axis, described by . Upon reordering the triplet vectors so that in the new (primed) basis the projection ranges over and we have: