Showing 1–45 of 45 results for author: D'Alessandro, D

Controllability of the Periodic Quantum Ising Spin Chain

Authors: Domenico D'Alessandro, Yasemin Isik

Abstract: In this paper, we present a controllability analysis of the quantum Ising periodic chain of n spin 1/2 particles where the interpolating parameter between the two Hamiltonians plays the role of the control. A fundamental result in the control theory of quantum systems states that the set of achievable evolutions is (dense in) the Lie group corresponding to the Lie algebra generated by the Hamilton… ▽ More In this paper, we present a controllability analysis of the quantum Ising periodic chain of n spin 1/2 particles where the interpolating parameter between the two Hamiltonians plays the role of the control. A fundamental result in the control theory of quantum systems states that the set of achievable evolutions is (dense in) the Lie group corresponding to the Lie algebra generated by the Hamiltonians of the system. Such a dynamical Lie algebra therefore characterizes all the state transitions available for a given system. For the Ising spin periodic chain we characterize such a dynamical Lie algebra and therefore the set of all reachable states. In particular, we prove that the dynamical Lie algebra is a (3n-1)-dimensional Lie sub-algebra of su(2^n) which is a direct sum of a two dimensional center and a (3n-3)-dimensional semisimple Lie subalgebra. This in turn is the direct sum of n-1 Lie algebras isomorphic to su(2) parametrized by the eigenvalues of a fixed matrix. We display the basis for each of these Lie subalgebras. Therefore the problem of control for the Ising spin periodic chain is, modulo the two dimensional center, a problem of simultaneous control of n-1 spin 1/2 particles. In the process of proving this result, we develop some tools which are of general interest for the controllability analysis of quantum systems with symmetry. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Entanglement of Quantum States which are Zero on the Symmetric Sector

Authors: Domenico D'Alessandro

Abstract: We consider a quantum system of n qudits and the Clebsch-Gordan decomposition of the associated Hilbert space. In this decomposition, one of the subspaces is the so-called symmetric subspace or symmetric sector, that is, the subspace of all states that are invariant under the action of the symmetric group. We prove that any separable state must have a nonzero component on the symmetric sector, or,… ▽ More We consider a quantum system of n qudits and the Clebsch-Gordan decomposition of the associated Hilbert space. In this decomposition, one of the subspaces is the so-called symmetric subspace or symmetric sector, that is, the subspace of all states that are invariant under the action of the symmetric group. We prove that any separable state must have a nonzero component on the symmetric sector, or, equivalently, any state which has zero component on the symmetric sector must be entangled. For the cases of n=2,3 particles, and in arbitrary dimension d, this result can be refined by providing sharp lower bounds on the size of the component of separable states on the symmetric sector. This leads us to identify a class of entanglement witnesses for these systems. We provide an example showing that in the multipartite case, this class of witnesses detects PPT entangled states. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Subspace Controllability and Clebsch-Gordan Decomposition of Symmetric Quantum Networks

Authors: Domenico D'Alessandro

Abstract: We describe a framework for the controllability analysis of networks of $n$ quantum systems of an arbitrary dimension $d$, {\it qudits}, with dynamics determined by Hamiltonians that are invariant under the permutation group $S_n$. Because of the symmetry, the underlying Hilbert space, ${\cal H}=(\mathbb{C}^d)^{\otimes n}$, splits into invariant subspaces for the Lie algebra of $S_n$-invariant ele… ▽ More We describe a framework for the controllability analysis of networks of $n$ quantum systems of an arbitrary dimension $d$, {\it qudits}, with dynamics determined by Hamiltonians that are invariant under the permutation group $S_n$. Because of the symmetry, the underlying Hilbert space, ${\cal H}=(\mathbb{C}^d)^{\otimes n}$, splits into invariant subspaces for the Lie algebra of $S_n$-invariant elements in $u(d^n)$, denoted here by $u^{S_n}(d^n)$. The dynamical Lie algebra ${\cal L}$, which determines the controllability properties of the system, is a Lie subalgebra of such a Lie algebra $u^{S_n}(d^n)$. If ${\cal L}$ acts as $su\left( \dim(V) \right)$ on each of the invariant subspaces $V$, the system is called {\it subspace controllable}. Our approach is based on recognizing that such a splitting of the Hilbert space ${\cal H}$ coincides with the {\it Clebsch-Gordan} splitting of $(\mathbb{C}^d)^{\otimes n}$ into {\it irreducible representations} of $su(d)$. In this view, $u^{S_n}(d^n)$, is the direct sum of certain $su(n_j)$ for some $n_j$'s we shall specify, and its {\it center} which is the Abelian (Lie) algebra generated by the {\it Casimir operators}. Generalizing the situation previously considered in the literature, we consider dynamics with arbitrary local simultaneous control on the qudits and a symmetric two body interaction. Most of the results presented are for general $n$ and $d$ but we recast previous results on $n$ qubits in this new general framework and provide a complete treatment and proof of subspace controllability for the new case of $n=3$, $d=3$, that is, {\it three qutrits}. △ Less

Submitted 24 July, 2023; originally announced July 2023.

Sub-Riemannian Geodesics on $SL(2, \mathbb{R})$

Authors: Domenico D'Alessandro, Gunhee Cho

Abstract: We explicitly describe the length minimizing geodesics for a sub-Riemannian structure of the elliptic type defined on $SL(2, \mathbb{R})$. Our method uses a symmetry reduction which translates the problem into a Riemannian problem on a two dimensional quotient space, on which projections of geodesics can be easily visualized. As a byproduct, we obtain an alternative derivation of the characterizat… ▽ More We explicitly describe the length minimizing geodesics for a sub-Riemannian structure of the elliptic type defined on $SL(2, \mathbb{R})$. Our method uses a symmetry reduction which translates the problem into a Riemannian problem on a two dimensional quotient space, on which projections of geodesics can be easily visualized. As a byproduct, we obtain an alternative derivation of the characterization of the cut-locus obtained in \cite{BoscaRossi}. We use classification results for three dimensional right invariant sub-Riemannian structures on Lie groups \cite{AGBD}, \cite{Biggs}, \cite{HB2} to identify exactly automorphic structures on which our results apply. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Symmetric States and Dynamics of Three Quantum Bits

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: The unitary group acting on the Hilbert space of three quantum bits admits a Lie subgroup, of elements which permute with the symmetric group of permutations. Under the action of such Lie subgroup, the Hilbert space splits into three invariant subspaces of dimensions 4, 2 and 2 respectively, each corresponding to an irreducible representation of su(2). The subspace of dimension 4 is uniquely deter… ▽ More The unitary group acting on the Hilbert space of three quantum bits admits a Lie subgroup, of elements which permute with the symmetric group of permutations. Under the action of such Lie subgroup, the Hilbert space splits into three invariant subspaces of dimensions 4, 2 and 2 respectively, each corresponding to an irreducible representation of su(2). The subspace of dimension 4 is uniquely determined and corresponds to states that are themselves invariant under the action of the symmetric group. This is the so called symmetric sector. We provide an analysis of pure states in the symmetric sector of three quantum bits for what concerns their entanglement properties, separability criteria and dynamics. We parametrize all the possible invariant two-dimensional subspaces and extend the previous analysis to these subspaces as well. We propose a physical set up for the states and dynamics we study which consists of a symmetric network of three spin 1/2 particles under a common driving electro-magnetic field. For such set up, we solve a control theoretic problem which consists of driving a separable state to a state with maximal distributed entanglement. △ Less

Submitted 13 November, 2021; originally announced November 2021.

Optimal Control for Closed and Open System Quantum Optimization

Authors: Lorenzo Campos Venuti, Domenico D'Alessandro, Daniel A. Lidar

Abstract: 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 schedu… ▽ More 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 $t\in \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. △ Less

Submitted 7 July, 2021; originally announced July 2021.

Comments: 21 pages (incl. 9 page appendix), 3 figures

Journal ref: Phys. Rev. Applied 16, 054023 (2021)

Subspace controllability of multi-partite spin networks

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: In a network of spin 1/2 particles, controlled through an external electro-magnetic field, the gyromagnetic ratio of each spin is a parameter that characterizes the interaction of the spin with the external control field. Multipartite networks are such that the spins are divided into subsets according to their gyromagnetic ratio and spins in one set interact in the same way with all spins in anoth… ▽ More In a network of spin 1/2 particles, controlled through an external electro-magnetic field, the gyromagnetic ratio of each spin is a parameter that characterizes the interaction of the spin with the external control field. Multipartite networks are such that the spins are divided into subsets according to their gyromagnetic ratio and spins in one set interact in the same way with all spins in another set. Due to the presence of symmetries in this type of systems, the underlying Hilbert state space splits into invariant subspaces for the dynamics. Subspace controllability is verified if every unitary evolution can be generated by the dynamics on these subspaces. We give an exact characterization, in term of graph theoretic conditions, of subspace controllability for multipartite quantum spin networks. This extends and unifies previous results. △ Less

Submitted 19 June, 2020; originally announced June 2020.

Comments: 14 pages, 3 figures

Algorithms for Quantum Control without Discontinuities; Application to the Simultaneous Control of two Qubits

Authors: Domenico D'Alessandro, Benjamin Sheller

Abstract: We propose a technique to design control algorithms for a class of finite dimensional quantum systems so that the control law does not present discontinuities. The class of models considered admits a group of symmetries which allows us to reduce the problem of control to a quotient space where the control system is `fully actuated'. As a result we can prescribe a desired trajectory which is, to… ▽ More We propose a technique to design control algorithms for a class of finite dimensional quantum systems so that the control law does not present discontinuities. The class of models considered admits a group of symmetries which allows us to reduce the problem of control to a quotient space where the control system is `fully actuated'. As a result we can prescribe a desired trajectory which is, to some extent, arbitrary and derive the corresponding control. We discuss the application to the simultaneous control of two non-interacting spin 1/2 particles with different gyromagnetic ratios in zero field NMR in detail. Our method provides a flexible toolbox for the design of control algorithms to drive the state of finite dimensional quantum systems to any desired final configuration with smooth controls. △ Less

Submitted 26 April, 2019; originally announced April 2019.

On K-P sub-Riemannian Problems and their Cut Locus

Authors: Domenico D'Alessandro, Benjamin Sheller

Abstract: The problem of finding minimizing geodesics for a manifold M with a sub-Riemannian structure is equivalent to the time optimal control of a driftless system on M with a bound on the control. We consider here a class of sub-Riemannian problems on the classical Lie groups G where the dynamical equations are of the form \dot x=\sum_j X_j(x) u_j and the X_j=X_j(x) are right invariant vector fields on… ▽ More The problem of finding minimizing geodesics for a manifold M with a sub-Riemannian structure is equivalent to the time optimal control of a driftless system on M with a bound on the control. We consider here a class of sub-Riemannian problems on the classical Lie groups G where the dynamical equations are of the form \dot x=\sum_j X_j(x) u_j and the X_j=X_j(x) are right invariant vector fields on G and u_j:=u_j(t) the controls. The vector fields X_j are assumed to belong to the P part of a Cartan K-P decomposition. These types of problems admit a group of symmetries K which act on G by conjugation. Under the assumption that the minimal isotropy group in K is discrete, we prove that we can reduce the problem to a Riemannian problem on the regular part of the associated quotient space G/K. On this part we define the corresponding quotient metric. For the special cases of the K-P decomposition of SU(n) of type AIII we prove that the assumption on the minimal isotropy group is verified. Moreover, under the assumption that the quotient space G/K with the given metric has negative curvature we prove that the cut locus has to belong to the singular part of G. As an example of applications of these techniques we characterize the cut locus for a problem on SU(2) of interest in the control of quantum systems. △ Less

Submitted 26 April, 2019; originally announced April 2019.

Comments: Different shorter version to appear in the Proceedings of the European Control Conference 2019

Subspace controllability of bipartite symmetric spin networks under global control

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: We consider a class of spin networks where each spin in a certain set interacts, via Ising coupling, with a set of central spins, and the control acts simultaneously on all the spins. This is a common situation for instance in NV centers in diamonds, and we focus on the physical case of up to two central spins. Due to the permutation symmetries of the network, the system is not globally controllab… ▽ More We consider a class of spin networks where each spin in a certain set interacts, via Ising coupling, with a set of central spins, and the control acts simultaneously on all the spins. This is a common situation for instance in NV centers in diamonds, and we focus on the physical case of up to two central spins. Due to the permutation symmetries of the network, the system is not globally controllable but it displays invariant subspaces of the underlying Hilbert space. The system is said to be subspace controllable if it is controllable on each of these subspaces. We characterize the given invariant subspaces and the dynamical Lie algebra of this class of systems and prove subspace controllability in every case. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Time-optimal Control of Independent Spin-1/2 Systems under Simultaneous Control

Authors: Yunlan Ji, Ji Bian, Min Jiang, Domenico D'Alessandro, Xinhua Peng

Abstract: We derive the explicit solution of the problem of time-optimal control by a common magnetic fields for two independent spin-$\frac{1}{2}$ particles. Our approach is based on the Pontryagin Maximum Principle and a novel symmetry reduction technique. We experimentally implement the optimal control using zero-field nuclear magnetic resonance. This reveals an average gate error of $1\%$ and a $70 \%$… ▽ More We derive the explicit solution of the problem of time-optimal control by a common magnetic fields for two independent spin-$\frac{1}{2}$ particles. Our approach is based on the Pontryagin Maximum Principle and a novel symmetry reduction technique. We experimentally implement the optimal control using zero-field nuclear magnetic resonance. This reveals an average gate error of $1\%$ and a $70 \%$ to $80$ $\%$ decrease in the experiment duration as compared to existing methods. This is the first analytical solution and experimental demonstration of time-optimal control in such a system and it provides a route to achieve time optimal control in more general quantum systems. △ Less

Submitted 18 October, 2018; originally announced October 2018.

Journal ref: Phys. Rev. A 98, 062108 (2018)

Dynamical Decomposition of Bilinear Control Systems subject to Symmetries

Authors: Domenico D'Alessandro, Jonas T. Hartwig

Abstract: We describe a method to analyze and decompose the dynamics of a control system on a Lie group subject to symmetries. The method is based on the concept of generalized Young symmetrizers of representation theory. It naturally applies to the situation where the system evolves on a tensor product space and there exists a finite group of symmetries for the dynamics which interchanges the various facto… ▽ More We describe a method to analyze and decompose the dynamics of a control system on a Lie group subject to symmetries. The method is based on the concept of generalized Young symmetrizers of representation theory. It naturally applies to the situation where the system evolves on a tensor product space and there exists a finite group of symmetries for the dynamics which interchanges the various factors. This is the case for quantum mechanical multipartite systems, such as spin networks, where each factor of the tensor product represents the state of one of the component systems. We present several examples of applications and indicate directions for future research. △ Less

Submitted 2 December, 2019; v1 submitted 4 June, 2018; originally announced June 2018.

Comments: 24 pages

Journal ref: J Dyn Control Syst (2020)

Controllability of Symmetric Spin Networks

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: We consider a network of n spin 1/2 systems which are pairwise interacting via Ising interaction and are controlled by the same electro-magnetic control field. Such a system presents symmetries since the Hamiltonian is unchanged if we permute two spins. This prevents full (operator) controllability in that not every unitary evolution can be obtained. We prove however that controllability is verifi… ▽ More We consider a network of n spin 1/2 systems which are pairwise interacting via Ising interaction and are controlled by the same electro-magnetic control field. Such a system presents symmetries since the Hamiltonian is unchanged if we permute two spins. This prevents full (operator) controllability in that not every unitary evolution can be obtained. We prove however that controllability is verified if we restrict ourselves to unitary evolutions which preserve the above permutation invariance. For low dimensional cases, n=2 and n=3, we provide an analysis of the Lie group of available evolutions and give explicit control laws to transfer between any two permutation invariant states. This class of states includes highly entangled states such as GHZ states and W states, which are of interest in quantum information. △ Less

Submitted 18 March, 2018; originally announced March 2018.

Sub-Riemannian Geodesics on SU(n)/S(U(n-1)xU(1)) and Optimal Control of Three Level Quantum Systems

Authors: Francesca Albertini, Domenico D'Alessandro, Benjamin Sheller

Abstract: We study the time optimal control problem for the evolution operator of an n-level quantum system from the identity to any desired final condition. For the considered class of quantum systems the control couples all the energy levels to a given one and is assumed to be bounded in Euclidean norm. From a mathematical perspective, such a problem is a sub-Riemannian K-P problem, whose underlying symme… ▽ More We study the time optimal control problem for the evolution operator of an n-level quantum system from the identity to any desired final condition. For the considered class of quantum systems the control couples all the energy levels to a given one and is assumed to be bounded in Euclidean norm. From a mathematical perspective, such a problem is a sub-Riemannian K-P problem, whose underlying symmetric space is SU(n)/S(U(n-1) x U(1)). Following the method of symmetry reduction, we consider the action of S(U(n-1) xU(1)) on SU(n) as a conjugation X ---> AXA^{-1}. This allows us to do a symmetry reduction and consider the problem on a quotient space. We give an explicit description of such a quotient space which has the structure of a stratified space. We prove several properties of sub-Riemannian problems with the given structure. We derive the explicit optimal control for the case of three level quantum systems where the desired operation is on the lowest two energy levels (Lambda-systems). We solve this latter problem by reducing it to an integer quadratic optimization problem with linear constraints. △ Less

Submitted 18 March, 2018; originally announced March 2018.

On Symmetries in Time Optimal Control, sub-Riemannian Geometries and the K-P Problem

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: The goal of this paper is to describe a method to solve a class of time optimal control problems which are equivalent to finding the sub-Riemannian minimizing geodesics on a manifold M. In particular, we assume that the manifold M is acted upon by a group G which is a symmetry group for the dynamics. The action of G on M is proper but not necessarily free. As a consequence, the orbit space M/G is… ▽ More The goal of this paper is to describe a method to solve a class of time optimal control problems which are equivalent to finding the sub-Riemannian minimizing geodesics on a manifold M. In particular, we assume that the manifold M is acted upon by a group G which is a symmetry group for the dynamics. The action of G on M is proper but not necessarily free. As a consequence, the orbit space M/G is not necessarily a manifold but it presents the more general structure of a stratified space. The main ingredients of the method are a reduction of the problem to the orbit space M/G and an analysis of the reachable sets on this space. We give general results relating the stratified structure of the orbit space, and its decomposition into orbit types, with the optimal synthesis. We consider in more detail the case of the so-called K-P problem where the manifold M is itself a Lie group and the group G is determined by a Cartan decomposition of M. In this case, the geodesics can be explicitly calculated and are analytic. As an illustration, we apply our method and results to the complete optimal synthesis on SO(3). △ Less

Submitted 29 June, 2016; originally announced June 2016.

Time optimal simultaneous control of two level quantum systems

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: 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 syste… ▽ More 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. △ Less

Submitted 23 October, 2015; originally announced October 2015.

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

Authors: Raffaele Romano, Domenico D'Alessandro

Abstract: 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… ▽ More 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. △ Less

Submitted 27 April, 2015; originally announced April 2015.

Comments: 37 pages, 10 figures; Latex

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

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: 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… ▽ More 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. △ Less

Submitted 28 July, 2014; originally announced July 2014.

Exact Algebraic Conditions for Indirect Controllability in Quantum Coherent Feedback Schemes

Authors: Domenico D'Alessandro, Francesca Albertini, Raffaele Romano

Abstract: 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 controlla… ▽ More 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. △ Less

Submitted 16 September, 2013; v1 submitted 19 October, 2012; originally announced October 2012.

Comments: Expanded version of the previously posted paper where what was before mentioned as a conjecture is proved

Equivalence between indirect controllability and complete controllability for quantum systems

Authors: Domenico D'Alessandro

Abstract: 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 contro… ▽ More 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. △ Less

Submitted 17 October, 2012; originally announced October 2012.

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

Authors: Domenico D'Alessandro, Raffaele Romano

Abstract: 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.… ▽ More 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. △ Less

Submitted 5 March, 2012; originally announced March 2012.

Comments: Paper to appear in final version in IEEE Transactions on Automatic Control, Special issue on Quantum Control

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

Authors: Daniel Burgarth, Domenico D'Alessandro, Leslie Hogben, Simone Severini, Michael Young

Abstract: 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 grap… ▽ More 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. △ Less

Submitted 6 November, 2011; originally announced November 2011.

Comments: 12 pages, 1 figure

Journal ref: IEEE Transactions on Automatic Control 58, 2349 (2013)

Controllability of Quantum Walks on Graphs

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: 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… ▽ More 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. △ Less

Submitted 11 June, 2010; originally announced June 2010.

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

Authors: Domenico D'Alessandro

Abstract: 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 ob… ▽ More 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. △ Less

Submitted 17 April, 2009; originally announced April 2009.

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

Authors: Domenico D'Alessandro

Abstract: 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… ▽ More 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. △ Less

Submitted 19 February, 2009; originally announced February 2009.

A note on generalized concurrences and entanglement detection

Authors: Laura Cattaneo, Domenico D'Alessandro

Abstract: 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. 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. △ Less

Submitted 23 July, 2008; v1 submitted 22 April, 2008; originally announced April 2008.

Comments: It replaces two previous versions. The new version incorporates important references on the topic. It corrects a mistake. Title has changed

Lie Algebraic Analysis and Control of Quantum Dynamics

Authors: Domenico D'Alessandro

Abstract: 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. 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. △ Less

Submitted 13 April, 2009; v1 submitted 7 March, 2008; originally announced March 2008.

Comments: New version. It does not contain the application to quantum walks. This part in the previous version contained an error. It has been corrected and expanded in a new paper called `Analysis of quantum walks with time varying coin on d-dimensional lattices' to be posted on the archives. Also a proof in the previous version was incomplete and it has been corrected

Non-stationary quantum walks on the cycle

Authors: Domenico D'Alessandro, Gianfranco Parlangeli, Francesca Albertini

Abstract: 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. 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. △ Less

Submitted 3 April, 2008; v1 submitted 1 August, 2007; originally announced August 2007.

Comments: Revised version with minor changes

Journal ref: J. Phys. A Math. Theor. (2007) 40 14447-14455

A General Framework for Recursive Decompositions of Unitary Quantum Evolutions

Authors: Mehmet Dagli, Domenico D'Alessandro, Jonathan D. H. Smith

Abstract: 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, usin… ▽ More 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. △ Less

Submitted 5 February, 2008; v1 submitted 26 January, 2007; originally announced January 2007.

Comments: 17 pages. To appear in J. Phys. A: Math. Theor. This article replaces our earlier preprint "A Recursive Decomposition of Unitary Operators on N Qubits." The current version provides a general method to generate recursive decompositions of unitary evolutions. Several decompositions obtained before are shown to be as a special case of this general procedure

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

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: 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 equi… ▽ More 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. △ Less

Submitted 7 June, 2006; originally announced June 2006.

Decompositions of unitary evolutions and entanglement dynamics of bipartite quantum systems

Authors: Domenico D'Alessandro, Raffaele Romano

Abstract: 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. 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. △ Less

Submitted 7 March, 2006; originally announced March 2006.

Comments: 11 pages, revtex4

Journal ref: J. Math. Phys. 47, 082109 (2006)

Environment induced incoherent controllability

Authors: Raffaele Romano, Domenico D'Alessandro

Abstract: 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. 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. △ Less

Submitted 8 November, 2005; originally announced November 2005.

Comments: revtex4, 5 pages

Journal ref: Phys. Rev. Lett. 97, 080402 (2006)

Incoherent control and entanglement for two-dimensional coupled systems

Authors: R. Romano, D. D'Alessandro

Abstract: We investigate accessibility and controllability of a quantum system S coupled to a quantum probe P, both described by two-dimensional Hilbert spaces, under the hypothesis that the external control affects only P. In this context accessibility and controllability properties describe to what extent it is possible to drive the state of the system S by acting on P and using the interaction between… ▽ More We investigate accessibility and controllability of a quantum system S coupled to a quantum probe P, both described by two-dimensional Hilbert spaces, under the hypothesis that the external control affects only P. In this context accessibility and controllability properties describe to what extent it is possible to drive the state of the system S by acting on P and using the interaction between the two systems. We give necessary and sufficient conditions for these properties and we discuss the relation with the entangling capability of the interaction between S and P. In particular, we show that controllability can be expressed in terms of the SWAP operator, acting on the composite system, and its square root. △ Less

Submitted 3 October, 2005; originally announced October 2005.

Comments: Latex, 13 pages

Journal ref: Phys. Rev. A 73, 022323 (2006)

Further results on the observability of quantum systems under general measurement

Authors: D. D'Alessandro, R. Romano

Abstract: In this paper, we present a collection of results on the observability of quantum mechanical systems, in the case the output is the result of a discrete nonselective measurement. By defining an effective observable we extend previous results, on the Lie algebraic characterization of observable systems, to general measurements. Further results include the characterization of a `best probe' (i.e.… ▽ More In this paper, we present a collection of results on the observability of quantum mechanical systems, in the case the output is the result of a discrete nonselective measurement. By defining an effective observable we extend previous results, on the Lie algebraic characterization of observable systems, to general measurements. Further results include the characterization of a `best probe' (i.e. a minimally disturbing probe) in indirect measurement and a study of the relation between disturbance and observability in this case. We also discuss how the observability properties of a quantum system relate to the problem of state reconstruction. Extensions of the formalism to the case of selective measurements are also given. △ Less

Submitted 7 September, 2005; originally announced September 2005.

Comments: 16 pages

Quantum measurement of a mesoscopic spin ensemble

Authors: G. Giedke, J. M. Taylor, D. D'Alessandro, M. D. Lukin, A. Imamoglu

Abstract: We describe a method for precise estimation of the polarization of a mesoscopic spin ensemble by using its coupling to a single two-level system. Our approach requires a minimal number of measurements on the two-level system for a given measurement precision. We consider the application of this method to the case of nuclear spin ensemble defined by a single electron-charged quantum dot: we show… ▽ More We describe a method for precise estimation of the polarization of a mesoscopic spin ensemble by using its coupling to a single two-level system. Our approach requires a minimal number of measurements on the two-level system for a given measurement precision. We consider the application of this method to the case of nuclear spin ensemble defined by a single electron-charged quantum dot: we show that decreasing the electron spin dephasing due to nuclei and increasing the fidelity of nuclear-spin-based quantum memory could be within the reach of present day experiments. △ Less

Submitted 18 September, 2006; v1 submitted 19 August, 2005; originally announced August 2005.

Comments: 8 pages, 2 figures; minor changes, published version

Journal ref: Phys. Rev. A 74, 032316 (2006)

Quantum Symmetries and Cartan Decompositions in Arbitrary Dimensions

Authors: Domenico D'Alessandro, Francesca Albertini

Abstract: 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… ▽ More 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. △ Less

Submitted 6 April, 2005; originally announced April 2005.

Controllability, Observability and Parameter Identification of two coupled spin 1's

Authors: Domenico D'Alessandro

Abstract: In this paper, we study the control theoretic properties of a couple of interacting spin 1's driven by an electro-magnetic field. In particular, we assume that it is possible to observe the expectation value of the total magnetization and we study controllability, observability and parameter identification of these systems. We give conditions for controllability and observability and characteriz… ▽ More In this paper, we study the control theoretic properties of a couple of interacting spin 1's driven by an electro-magnetic field. In particular, we assume that it is possible to observe the expectation value of the total magnetization and we study controllability, observability and parameter identification of these systems. We give conditions for controllability and observability and characterize the classes of equivalent models which have the same input-output behavior. The analysis is motivated by the recent interest in three level systems in quantum information theory and quantum cryptography as well as by the problem of modeling molecular magnets as spin networks. △ Less

Submitted 17 July, 2003; originally announced July 2003.

Model identification for spin networks

Authors: Francesca Albertini, Domenico D'Alessandro

Abstract: We consider the problem of determining the unknown parameters of the Hamiltonian of a network of spin 1/2 particles. In particular, we study experiments in which the system is driven by an externally applied electro-magnetic field and the expectation value of the total magnetization is measured. Under appropriate assumptions, we prove that, if it is possible to prepare the system in a known init… ▽ More We consider the problem of determining the unknown parameters of the Hamiltonian of a network of spin 1/2 particles. In particular, we study experiments in which the system is driven by an externally applied electro-magnetic field and the expectation value of the total magnetization is measured. Under appropriate assumptions, we prove that, if it is possible to prepare the system in a known initial state, the above experiment allows to identify the parameters of the Hamiltonian. In the case where the initial state is itself an unknown parameter, we characterize all the pairs Hamiltonian-Initial State which give the same value of the magnetization for every form of the driving electro-magnetic field. The analysis is motivated by recent results on the isospectrality of Hamiltonians describing Magnetic Molecules. △ Less

Submitted 17 July, 2003; originally announced July 2003.

On Quantum State Observability and Measurement

Authors: Domenico D'Alessandro

Abstract: We consider the problem of determining the state of a quantum system given one or more readings of the expectation value of an observable. The system is assumed to be a finite dimensional quantum control system for which we can influence the dynamics by generating all the unitary evolutions in a Lie group. We investigate to what extent, by an appropriate sequence of evolutions and measurements,… ▽ More We consider the problem of determining the state of a quantum system given one or more readings of the expectation value of an observable. The system is assumed to be a finite dimensional quantum control system for which we can influence the dynamics by generating all the unitary evolutions in a Lie group. We investigate to what extent, by an appropriate sequence of evolutions and measurements, we can obtain information on the initial state of the system. We present a system theoretic viewpoint of this problem in that we study the {\it observability} of the system. In this context, we characterize the equivalence classes of indistinguishable states and propose algorithms for state identification. △ Less

Submitted 17 July, 2003; originally announced July 2003.

The Lie Algebra Rank Condition for Non-Bilinear Quantum System

Authors: Domenico D'Alessandro

Abstract: The controllability condition for finite dimensional quantum systems, the Lie Algebra Rank Condition, has been stated assuming that the right invariant differential system under consideration is bilinear. We remark that this assumption is not necessary and discuss the extension to the general case. The controllability condition for finite dimensional quantum systems, the Lie Algebra Rank Condition, has been stated assuming that the right invariant differential system under consideration is bilinear. We remark that this assumption is not necessary and discuss the extension to the general case. △ Less

Submitted 2 February, 2003; v1 submitted 26 January, 2003; originally announced January 2003.

Comments: A short communication that points out that the Lie algebra rank condition used in quantum control theory can be extended to quantum systems that are not bilinear. The extension can be deduced from the literature on Geometric Control. However, to make the paper self contained a proof is given

Uniform Finite Generation of Compact Lie Groups and universal quantum gates

Authors: D. D'Alessandro

Abstract: Consider a compact connected Lie group $G$ and the corresponding Lie algebra $\cal L$. Let $\{X_1,...,X_m\}$ be a set of generators for the Lie algebra $\cal L$. We prove that $G$ is uniformly finitely generated by $\{X_1,...,X_m\}$. This means that every element $K \in G$ can be expressed as $K=e^{Xt_1}e^{Xt_2} \cdot \cdot \cdot e^{Xt_l}$, where the indeterminates $X$ are in the set… ▽ More Consider a compact connected Lie group $G$ and the corresponding Lie algebra $\cal L$. Let $\{X_1,...,X_m\}$ be a set of generators for the Lie algebra $\cal L$. We prove that $G$ is uniformly finitely generated by $\{X_1,...,X_m\}$. This means that every element $K \in G$ can be expressed as $K=e^{Xt_1}e^{Xt_2} \cdot \cdot \cdot e^{Xt_l}$, where the indeterminates $X$ are in the set $\{X_1,...,X_m \}$, $t_i \in \RR$, $i=1,...,l$, and the number $l$ is uniformly bounded. This extends a previous result by F. Lowenthal in that we do not require the connected one dimensional Lie subgroups corresponding to the $X_i$, $i=1,...,m$, to be compact. We discuss the consequence of this result to the question of universality of quantum gates in quantum computing. △ Less

Submitted 24 November, 2001; originally announced November 2001.

Optimal Evaluation of Generalized Euler Angles with Applications to Classical and Quantum Control

Authors: Domenico D'Alessandro

Abstract: Given two linearly independent matrices in $so(3)$, $Z_1$ and $Z_2$, every rotation matrix $X_f \in SO(3)$ can be written as the product of alternate elements from the one dimensional subgroups corresponding to $Z_1$ and $Z_2$, namely $X_f=e^{Z_1 t_1}e^{Z_2 t_2}e^{Z_1t_3} \cdot \cdot \cdot e^{Z_1t_s}$. The parameters $t_i$, $i=1,...,s$ are called {\it generalized Euler angles}. In this paper,… ▽ More Given two linearly independent matrices in $so(3)$, $Z_1$ and $Z_2$, every rotation matrix $X_f \in SO(3)$ can be written as the product of alternate elements from the one dimensional subgroups corresponding to $Z_1$ and $Z_2$, namely $X_f=e^{Z_1 t_1}e^{Z_2 t_2}e^{Z_1t_3} \cdot \cdot \cdot e^{Z_1t_s}$. The parameters $t_i$, $i=1,...,s$ are called {\it generalized Euler angles}. In this paper, we evaluate the minimum number of factors required for the factorization of $X_f \in SO(3)$, as a function of $X_f$, and provide an algorithm to determine the generalized Euler angles explicitly. The results can be applied to the bang bang control with minimum number of switches of some classical control systems and of two level quantum systems. △ Less

Submitted 19 October, 2001; originally announced October 2001.

Notions of controllability for quantum mechanical systems

Authors: F. Albertini, D. D'Alessandro

Abstract: In this paper, we define four different notions of controllability of physical interest for multilevel quantum mechanical systems. These notions involve the possibility of driving the evolution operator as well as the state of the system. We establish the connections among these different notions as well as methods to verify controllability. The paper also contains results on the relation betw… ▽ More In this paper, we define four different notions of controllability of physical interest for multilevel quantum mechanical systems. These notions involve the possibility of driving the evolution operator as well as the state of the system. We establish the connections among these different notions as well as methods to verify controllability. The paper also contains results on the relation between the controllability in arbitrary small time of a system varying on a compact transformation Lie group and the corresponding system on the associated homogeneous space. As an application, we prove that, for the system of two interacting spin 1/2 particles, not every state transfer can be obtained in arbitrary small time. △ Less

Submitted 20 November, 2002; v1 submitted 22 June, 2001; originally announced June 2001.

Comments: Replaced by a new version which contains the proofs

Control of one and two homonuclear spins

Authors: D. D'Alessandro

Abstract: We consider the problem of steering control for the systems of one spin 1/2 particle and two interacting homonuclear spin 1/2 particles in an electro-magnetic field. The describing models are bilinear systems whose state varies on the Lie group of special unitary matrices of dimensions two and four, respectively. By performing decompositions of Lie groups, taking into account the describing equa… ▽ More We consider the problem of steering control for the systems of one spin 1/2 particle and two interacting homonuclear spin 1/2 particles in an electro-magnetic field. The describing models are bilinear systems whose state varies on the Lie group of special unitary matrices of dimensions two and four, respectively. By performing decompositions of Lie groups, taking into account the describing equations at hand, we derive control laws to steer the state of the system to any desired final configuration. Explicit formulas are given for the parameters involved in the control algorithms. Moreover, the proposed algorithms allow for arbitrary bounds on the magnitude of the controls and for some flexibility in the specification of the final time which must be greater than a given value but otherwise arbitrary. △ Less

Submitted 25 June, 2001; v1 submitted 22 June, 2001; originally announced June 2001.

Comments: Condensed version of a full paper submitted for publication

The Lie algebra Structure and Nonlinear Controllability of Spin Systems

Authors: F. Albertini, D. D'Alessandro

Abstract: In this paper, we study the controllability properties and the Lie algebra structure of networks of particles with spin immersed in an electro-magnetic field. We relate the Lie algebra structure to the properties of a graph whose nodes represent the particles and an edge connects two nodes if and only if the interaction between the two corresponding particles is active. For networks with differe… ▽ More In this paper, we study the controllability properties and the Lie algebra structure of networks of particles with spin immersed in an electro-magnetic field. We relate the Lie algebra structure to the properties of a graph whose nodes represent the particles and an edge connects two nodes if and only if the interaction between the two corresponding particles is active. For networks with different gyromagnetic ratios, we provide a necessary and sufficient condition of controllability in terms of the properties of the above mentioned graph and describe the Lie algebra structure in every case. For these systems all the controllability notions, including the possibility of driving the evolution operator and/or the state, are equivalent. For general networks (with possibly equal gyromagnetic ratios), we give a sufficient condition of controllability. A general form of interaction among the particles is assumed which includes both Ising and Heisenberg models as special cases. Assuming Heisenberg interaction we provide an analysis of low dimensional cases (number of particles less then or equal to three) which include necessary and sufficient controllability conditions as well as a study of their Lie algebra structure. This also, provides an example of quantum mechanical systems where controllability of the state is verified while controllability of the evolution operator is not. △ Less

Submitted 31 August, 2001; v1 submitted 19 June, 2001; originally announced June 2001.