Searcharxiv⌕ Search

arXiv subjects

Domenico D'Alessandro

Publications and source records attributed to Domenico D'Alessandro.

At least 37 records · Page 2Linked to original sources

Time optimal simultaneous control of two level quantum systems

In this paper, we solve the problem of simultaneously driving in minimum time to arbitrary final conditions, N two level quantum systems subject to independent controls. The solution of this problem is obtained via an explicit description of the reachable set of the associated control system on SU(2). The treatment generalizes previous results on the time optimal control of two level quantum systems and suggests that similar techniques could be used to solve the minimum time control problem for a larger class of right invariant systems on Lie groups.

quant-ph↗

Minimum time control of a pair of two-level quantum systems with opposite drifts

In this paper we solve two equivalent time optimal control problems. On one hand, we design the control field to implement in minimum time the SWAP (or equivalent) operator on a two-level system, assuming that it interacts with an additional, uncontrollable, two-level system. On the other hand, we synthesize the SWAP operator simultaneously, in minimum time, on a pair of two-level systems subject to opposite drifts. We assume that it is possible to perform three independent control actions, and that the total control strength is bounded. These controls either affect the dynamics of the target system, under the first perspective, or, simultaneously, the dynamics of both systems, in the second view. We obtain our results by using techniques of geometric control theory on Lie groups. In particular, we apply the Pontryagin Maximum Principle, and provide a complete characterization of singular and non-singular extremals. Our analysis shows that the problem can be formulated as the motion of a material point in a central force, a well known system in classical mechanics. Although we focus on obtaining the SWAP operator, many of the ideas and techniques developed in this work apply to the time optimal implementation of an arbitrary unitary operator.

quant-ph↗

Minimum Time Optimal Synthesis for a Control System on SU(2)

For the time optimal control on an invariant system on SU(2), with two independent controls and a bound on the norm of the control, the extremals of the maximum principle are explicit functions of time and the resulting differential equations can be explicitly integrated. We use this fact here to perform the optimal synthesis for these systems, i.e., find all optimal trajectories. As a consequence, we describe a simple method to find the minimum time control for every desired final condition. Although the Lie group SU(2) is three dimensional, optimal trajectories can be described in the unit disk of the complex plane. We find that a circular trajectory separates optimal trajectories that reach the boundary of the unit disk from the others. Inside this separatrix circle another trajectory (the critical trajectory) plays an important role in that all optimal trajectories end at an intersection with this curve. Our results are of interest to find the minimum time needed to achieve a given evolution of a two level quantum system.

quant-ph↗

Exact Algebraic Conditions for Indirect Controllability in Quantum Coherent Feedback Schemes

In coherent quantum feedback control schemes, a target quantum system S is put in contact with an auxiliary system A and the coherent control can directly affect only A. The system S is controlled 'indirectly' through the interaction with A. The system S is said to be indirectly controllable if every unitary transformation can be performed on the state of S with this scheme. The indirect controllability of S will depend on the `dynamical Lie algebra' L characterizing the dynamics of the total system S+A and on the initial state of the auxiliary system A. In this paper we describe this characterization exactly. A natural assumption is that the auxiliary system A is minimal which means that there is no part of A which is uncoupled to S, and we denote by n_A the dimension of such a minimal A, which we assume to be fully controllable. We show that, if n_A is greater than or equal to 3, indirect controllability of S is verified if and only if complete controllability of the total system S+A is verified, i.e., L=su(n_Sn_A) or L=u(n_Sn_A), where n_S denotes the dimension of the system S. If n_A=2, it is possible to have indirect controllability without having complete controllability. The exact condition for that to happen is given in terms of a Lie algebra L_S which describes the evolution on the system S only. We prove that indirect controllability is verified if and only if L_S=u(n_S), and the initial state of the auxiliary system A is pure.

quant-ph↗

Equivalence between indirect controllability and complete controllability for quantum systems

We consider a control scheme where a quantum system S is put in contact with an auxiliary quantum system A and the control can affect A only, while S is the system of interest. The system S is then controlled indirectly through the interaction with A. Complete controllability of S +A means that every unitary state transformation for the system S +A can be achieved with this scheme. Indirect controllability means that every unitary transformation on the system S can be achieved. We prove in this paper, under appropriate conditions and definitions, that these two notions are equivalent in finite dimension. We use Lie algebraic methods to prove this result.

quant-ph↗

Indirect Controllability of Quantum Systems; A Study of Two Interacting Quantum Bits

A quantum mechanical system S is indirectly controlled when the control affects an ancillary system A and the evolution of S is modified through the interaction with A only. A study of indirect controllability gives a description of the set of states that can be obtained for S with this scheme. In this paper, we study the indirect controllability of quantum systems in the finite dimensional case. After discussing the relevant definitions, we give a general necessary condition for controllability in Lie algebraic terms. We present a detailed treatment of the case where both systems, S and A, are two-dimensional (qubits). In particular, we characterize the dynamical Lie algebra associated with S+A, extending previous results, and prove that complete controllability of S+A and an appropriate notion of indirect controllability are equivalent properties for this system. We also prove several further indirect controllability properties for the system of two qubits, and illustrate the role of the Lie algebraic analysis in the study of reachable states.

quant-ph↗

Zero forcing, linear and quantum controllability for systems evolving on networks

We study the dynamics of systems on networks from a linear algebraic perspective. The control theoretic concept of controllability describes the set of states that can be reached for these systems. Under appropriate conditions, there is a connection between the quantum (Lie theoretic) property of controllability and the linear systems (Kalman) controllability condition. We investigate how the graph theoretic concept of a zero forcing set impacts the controllability property. In particular, we prove that if a set of vertices is a zero forcing set, the associated dynamical system is controllable. The results open up the possibility of further exploiting the analogy between networks, linear control systems theory, and quantum systems Lie algebraic theory. This study is motivated by several quantum systems currently under study, including continuous quantum walks modeling transport phenomena. Additionally, it proposes zero forcing as a new notion in the analysis of complex networks.

quant-ph↗

Controllability of Quantum Walks on Graphs

In this paper, we consider discrete time quantum walks on graphs with coin focusing on the decentralized model, where the coin operation is allowed to change with the vertex of the graph. When the coin operations can be modified at every time step, these systems can be looked at as control systems and techniques of geometric control theory can be applied. In particular, the set of states that one can achieve can be described by studying controllability. Extending previous results, we give a characterization of the set of reachable states in terms of an appropriate Lie algebra. We then prove general results and criteria relating controllability to the algebraic and topological properties of the walk. As a consequence of these results, we prove that if the degree of the underlying graph is larger than $\frac{N}{2}$, where $N$ is the number of nodes, the quantum walk is always completely controllable, i.e., it is possible to having it to evolve according to an arbitrary unitary evolution. Another result is that controllability for decentralized models only depends on the graph and not on the particular quantum walk defined on it. We also provide explicit algorithms for control and quantify the number of steps needed for an arbitrary state transfer. The results of the paper are of interest in quantum information theory where quantum walks are used and analyzed in the development of quantum algorithms.

quant-ph↗

General methods to control right-invariant systems on compact Lie groups and multilevel quantum systems

For a right-invariant system on a compact Lie group G, I present two methods to design a control to drive the state from the identity to any element of the group. The first method, under appropriate assumptions, achieves exact control to the target but requires estimation of the `size' of a neighborhood of the identity in G. The second method, does not involve any mathematical difficulty, and obtains control to a desired target with arbitrary accuracy. A third method is then given combining the main ideas of the previous methods. This is also very simple in its formulation and turns out to be generically more efficient as illustrated by one of the examples we consider. The methods described in the paper provide arbitrary constructive control for any right-invariant system on a compact Lie group. I give examples including closed multilevel quantum systems and lossless electrical networks. In particular, the results can be applied to the coherent control of general multilevel quantum systems.

quant-ph↗

Lie Algebraic Analysis and Control of Quantum Dynamics

In this paper, we show how to use the analysis of the Lie algebra associated with a quantum mechanical system to study its dynamics and facilitate the design of controls. We give algorithms to decompose the dynamics and describe their application to the control of two coupled spin 1/2's.

quant-ph↗

Connection Between Continuous and Discrete Time Quantum Walks on d-Dimensional Lattices; Extensions to General Graphs

I obtain the dynamics of the continuous time quantum walk on a $d$-dimensional lattice, with periodic boundary conditions, as an appropriate limit of the dynamics of the discrete time quantum walk on the same lattice. This extends the main result of arXiv:quant-ph/0606050 which proved this limit for the infinite line. By highlighting the main features of the limiting procedure, I then extend it to general graphs. For a given discrete time quantum walk on a general graph, I single out the type of continuous dynamics (Hamiltonians) that can be obtained as a limit of the discrete time dynamics.

quant-ph↗

A note on generalized concurrences and entanglement detection

We study generalized concurrences as a tool to detect the entanglement of bipartite quantum systems. By considering the case of 2 X 4 states of rank 2, we prove that generalized concurrences do not, in general, give a necessary and sufficient condition of separability. We identify a set of entangled states which are undetected by this method.

quant-ph↗

Non-stationary quantum walks on the cycle

We consider quantum walks on the cycle in the non-stationary case where the `coin' operation is allowed to change at each time step. We characterize, in algebraic terms, the set of possible state transfers and prove that, as opposed to the stationary case, it is possible to asymnptotically reach a uniform distribution among the nodes of the associated graph.

quant-ph↗

A General Framework for Recursive Decompositions of Unitary Quantum Evolutions

Decompositions of the unitary group U(n) are useful tools in quantum information theory as they allow one to decompose unitary evolutions into local evolutions and evolutions causing entanglement. Several recursive decompositions have been proposed in the literature to express unitary operators as products of simple operators with properties relevant in entanglement dynamics. In this paper, using the concept of grading of a Lie algebra, we cast these decompositions in a unifying scheme and show how new recursive decompositions can be obtained. In particular, we propose a new recursive decomposition of the unitary operator on $N$ qubits, and we give a numerical example.

quant-ph↗

Analysis and identification of quantum dynamics using Lie algebra homomorphisms and Cartan decompositions

In this paper, we consider the problem of model equivalence for quantum systems. Two models are said to be (input-output) equivalent if they give the same output for every admissible input. In the case of quantum systems, the output is the expectation value of a given observable or, more in general, a probability distribution for the result of a quantum measurement. We link the input-output equivalence of two models to the existence of a homomorphism of the underlying Lie algebra. In several cases, a Cartan decomposition of the Lie algebra su(n) is useful to find such a homomorphism and to determine the classes of equivalent models. We consider in detail the important cases of two level systems with a Cartan structure and of spin networks. In the latter case, complete results are given generalizing previous results to the case of networks of spin particles with any value of the spin. In treating this problem, we prove some instrumental results on the subalgebras of su(n) which are of independent interest.

quant-ph↗

Decompositions of unitary evolutions and entanglement dynamics of bipartite quantum systems

We describe a decomposition of the Lie group of unitary evolutions for a bipartite quantum system of arbitrary dimensions. The decomposition is based on a recursive procedure which systematically uses the Cartan classification of the symmetric spaces of the Lie group SO(n). The resulting factorization of unitary evolutions clearly displays the local and entangling character of each factor.

quant-ph↗

Environment induced incoherent controllability

We prove that the environment induced entanglement between two non interacting, two-dimensional quantum systems S and P can be used to control the dynamics of S by means of the initial state of P. Using a simple, exactly solvable model, we show that both accessibility and controllability of S can be achieved under suitable conditions on the interaction of S and P with the environment.

quant-ph↗

Quantum Symmetries and Cartan Decompositions in Arbitrary Dimensions

We investigate the relation between Cartan decompositions of the unitary group and discrete quantum symmetries. To every Cartan decomposition there corresponds a quantum symmetry which is the identity when applied twice. As an application, we describe a new and general method to obtain Cartan decompositions of the unitary group of evolutions of multipartite systems from Cartan decompositions on the single subsystems. The resulting decomposition, which we call of the odd-even type, contains, as a special case, the concurrence canonical decomposition (CCD) presented in the context of entanglement theory. The CCD is therefore extended from the case of a multipartite system of n qubits to the case where the component subsystems have arbitrary dimension.

quant-ph↗