Award Abstract # 1710558
Geometric Analysis and Optimal Control of Quantum Systems in the KP Configuration; Generalizations to nonlinear Systems with Symmetries

NSF Org: ECCS
Division of Electrical, Communications and Cyber Systems
Recipient: IOWA STATE UNIVERSITY OF SCIENCE AND TECHNOLOGY
Initial Amendment Date: July 25, 2017
Latest Amendment Date: May 25, 2022
Award Number: 1710558
Award Instrument: Standard Grant
Program Manager: Lawrence Goldberg
ECCS
 Division of Electrical, Communications and Cyber Systems
ENG
 Directorate for Engineering
Start Date: August 1, 2017
End Date: October 31, 2022 (Estimated)
Total Intended Award Amount: $292,004.00
Total Awarded Amount to Date: $292,004.00
Funds Obligated to Date: FY 2017 = $292,004.00
History of Investigator:
  • Domenico D'Alessandro (Principal Investigator)
    dmdaless@gmail.com
Recipient Sponsored Research Office: Iowa State University
1350 BEARDSHEAR HALL
AMES
IA  US  50011-2103
(515)294-5225
Sponsor Congressional District: 04
Primary Place of Performance: Iowa State University
IA  US  50011-2103
Primary Place of Performance
Congressional District:
04
Unique Entity Identifier (UEI): DQDBM7FGJPC5
Parent UEI: DQDBM7FGJPC5
NSF Program(s): EPCN-Energy-Power-Ctrl-Netwrks
Primary Program Source: 01001718DB NSF RESEARCH & RELATED ACTIVIT
Program Reference Code(s): 092E
Program Element Code(s): 760700
Award Agency Code: 4900
Fund Agency Code: 4900
Assistance Listing Number(s): 47.041

ABSTRACT

The precise and efficient control of the state of quantum mechanical systems, such as atoms, nuclei and electrons, is a requirement in most applications of these systems. Such a control is typically obtained through the interaction with external, appropriately shaped, electromagnetic fields. Moreover, one often wants not only to drive the state to a desired value but also to optimize the available resources. The minimization of time is especially important. In applications to computation, fast dynamics result in the speed-up of the implemented algorithms. Furthermore, in general, the evolution has to occur within the time frame during which the mathematical model can be considered valid, before the effect of un-modeled dynamics becomes relevant. In this context, this research will accomplish three inter-related objectives: 1) It will provide explicit optimal control design algorithms for a large class of quantum mechanical systems very common in important applications. 2) It will provide an in depth mathematical analysis of the role of symmetries in quantum control systems and how these symmetries can be used to simplify mathematical models of quantum systems, thus considerably extending the existing theory. 3) It will validate the mathematical results through experiments in quantum optics and nuclear magnetic resonance via the collaboration with experimental laboratories. The overall result will be a rich toolbox for the optimal manipulation of quantum mechanical systems to be used in applications in secure communication, powerful quantum computing, design of measurement devices, medical diagnostics and, in general, every device which uses quantum systems. The activities will involve an interdisciplinary research team composed of engineers, physicists and mathematicians with the objective of developing a common language and science. The resulting knowledge will be the basis of a new area of engineering and a curriculum in Quantum Engineering, a field that will become very important in the future as the applications of quantum mechanics in everyday life continue to expand.

The main mathematical tools used and developed in this research come from the field of differential geometry and in particular Riemannian and sub-Riemannian geometry. The starting point are the so-called KP mathematical models which are models whose state varies on a Lie group and whose dynamical equations correspond to a Cartan decomposition of the associated Lie algebra. The corresponding optimal control problems are, on one hand, very common in applications, and, on the other hand, explicitly solvable. In the project they serve as a test-bed to investigate properties of quantum control systems in general. These involve the role of symmetries, the qualitative behavior of optimal trajectories (geodesics) and the geometry of the reachable sets. A key technical ingredient of the mathematical approach is the use of symmetry reduction as a tool to analyze the control problem on a lower dimensional quotient space. On this space a simpler control problem can be posed and often explicitly solved. This procedure will substantially enlarge the existing toolbox in quantum control, which is frequently restricted to small dimensional systems. The experimental implementations of the resulting control design will be for systems in quantum optics and nuclear magnetic resonance, which are among the most promising candidates for the construction of quantum computers. Furthermore, the mathematical analysis will require the introduction of elements from the theory of singular and stratified spaces, which is important in other areas of applications of control besides quantum mechanics. In this context, this project will contribute to the development of control theory for classical systems as well.

PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH

Note:  When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

(Showing: 1 - 10 of 15)
Albertini, Francesca and D'Alessandro, Domenico "Subspace controllability of bipartite symmetric spin networks" Linear Algebra and its Applications , v.585 , 2020 10.1016/j.laa.2019.09.034 Citation Details
Albertini, Francesca and D?Alessandro, Domenico "Controllability of symmetric spin networks" Journal of Mathematical Physics , v.59 , 2018 10.1063/1.5004652 Citation Details
Albertini, Francesca and D'Alessandro, Domenico "Corrigendum to Subspace controllability of bipartite symmetric spin networks [Linear Algebra Appl. 585 (2020) 123]" Linear Algebra and its Applications , v.603 , 2020 https://doi.org/10.1016/j.laa.2020.06.023 Citation Details
Albertini, Francesca and D'Alessandro, Domenico "Subspace Controllability of Quantum Ising Spin Networks with a Central Spin" European Control Conference , 2019 10.23919/ECC.2019.8795643 Citation Details
Albertini, Francesca and D'Alessandro, Domenico "Symmetric states and dynamics of three quantum bits" Quantum Information and Computation , v.22 , 2022 https://doi.org/10.26421/QIC22.7-8-1 Citation Details
Albertini, Francesca and DAlessandro, Domenico "Subspace controllability of multi-partite spin networks" Systems & Control Letters , v.151 , 2021 https://doi.org/10.1016/j.sysconle.2021.104913 Citation Details
Albertini, Francesca and D'Alessandro, Domenico and Sheller, Benjamin "Sub-Riemannian Geodesics in $SU(n)/S(U(n-1) \times U(1))$ and Optimal Control of Three Level Quantum Systems" IEEE Transactions on Automatic Control , v.65 , 2020 10.1109/TAC.2019.2950559 Citation Details
D'Alessandro, Domenico "A simple test for the separability of symmetric quantum states" Reports on Mathematical Physics , v.90 , 2022 https://doi.org/10.1016/S0034-4877(22)00055-6 Citation Details
D'Alessandro, Domenico and Sheller, Benjamin "On $K-P$ sub-Riemannian Problems and their Cut Locus" European Control Conference , 2019 10.23919/ECC.2019.8796037 Citation Details
DAlessandro, Domenico and Sheller, Benjamin "Algorithms for quantum control without discontinuities: Application to the simultaneous control of two qubits" Journal of Mathematical Physics , v.60 , 2019 10.1063/1.5105351 Citation Details
DAlessandro, Domenico and Sheller, Benjamin A. and Zhu, Zhifei "Time-optimal control of quantum lambda systems in the KP configuration" Journal of Mathematical Physics , v.61 , 2020 https://doi.org/10.1063/5.0008034 Citation Details
(Showing: 1 - 10 of 15)

PROJECT OUTCOMES REPORT

Disclaimer

This Project Outcomes Report for the General Public is displayed verbatim as submitted by the Principal Investigator (PI) for this award. Any opinions, findings, and conclusions or recommendations expressed in this Report are those of the PI and do not necessarily reflect the views of the National Science Foundation; NSF has not approved or endorsed its content.

In optimal control theory,  one tries to find the best strategy to drive a system of interest to a desired state.   Such types of problems are easy to formalize in mathematical terms but  difficult to solve explicitly. In fact,  a solution becomes nearly impossible when the dimension of the mathematical model increases. Several problems however admits symmetries. Symmetries  allow us to decrease the dimension of a problem and can facilitate  its solution. This research has developed techniques to use symmetries to analyze the dynamics and solve optimal control problems for various systems relevant in applications.  Particular emphasis has been placed on  models  that appear in the manipulation of quantum mechanical systems. Several problems of practical interest have been given an explicit solution. Some notable outcomes  are as follows:

 

1) Quantum Lambda Systems are quantum systems which have three energy levels. It is possible to transfer population directly between the lowest two energy levels and the highest level but not  between the lowest two energy levels themselves (cf. Figure 1). The control,  which in physical terms is typically an appropriately shaped electro-magnetic field,  has to be designed  to minimize the time of transfer and-or to minimize the average occupancy in the highest level. Systems in this level of energy  are the one most subject to the de-cohering effect of the environment. This interaction with the external environment destroys the quantum nature of the dynamical evolution which is useful in technological applications. Explicit expressions have been found for the optimal control laws in these cases. 

 

2) Quantum Bits are quantum systems with two energy levels. They are of paramount importance in quantum computation as they are the elementary physical unit of information. Optimal fields have been calculated for their manipulation. These fields  minimize time of state  transfer and-or the energy used. These results have been also validated with practical experiments which have shown that such theoretical-mathematical results can in fact be physically implemented.

 

3) Sub-Riemannian geometry problems are ubiquitous in applications not only for quantum systems but also in every area of engineering. They appear when  the dynamics is naturally modeled on a configuration manifold and the controls can only steer at every point in certain directions and not in others. The admissible trajectories are the ones that, at every point are tangent to the given directions (cf. Figure 2). A typical problem of interest is to find admissible  trajectories between two points which minimize an appropriately  defined length. Such trajectories are called sub-Riemannian geodesics. This research has shown how, in the presence of symmetries,  a sub-Riemannian problem can be reduced to a Riemannian problem where the whole, well developed, machinery of Riemannian geometry can be applied. Furthermore the Riemannian problem has  typically lower dimension and the Riemannian geodesics minimizing length  can sometimes be visualized. From them the sub-Riemannian geodesics for the original problem can be calculated. Using this technique several sub-Riemannian problems of interest have been explicitly solved. 

 

4)  Networks of particles with spin such has atoms or electrons in crystals appear naturally in applications. In the presence of symmetries,  the dynamics of such systems under the action of a common electromagnetic field, happen  in `invariant subspaces'. As a consequence,  there are transitions from a certain set of states to others which are forbidden. The results of this research have provided mathematical methods to obtain such a decomposition in invariant subspaces explicitly. This allows us, once again, to reduce the dimension of a control problem by focusing only on certain sub-systems of interest which are of lower dimension. 

 

Overall, this research has provided a comprehensive mathematical theory to analyze how the presence of symmetries affects the control and analysis of dynamical systems. The research has  revealed  general principles and, at the same time, has led to the explicit solution of control and analysis problems for practical systems with an emphasis on systems which behave quantum mechanically. 

 

The ability to effectively manipulate quantum mechanical systems is at the heart of any future application of quantum mechanics. These applications involve fast quantum computing, secure communication, precise quantum measurement of physical quantities (quantum metrology), medical diagnostics through NMR and MRI, laser technology, etc. All these applications indicate that quantum mechanics will have a larger impact on our everyday life in the future. For this reason the knowledge and application of quantum mechanics will have to be part of the standard engineering background. In this respect, this research has also contributed to the development of a curriculum in `Quantum Engineering' by promoting research experiences in quantum mechanics for undergraduate students and new courses and instructional material describing mathematical techniques for the  manipulation of quantum systems. 

 

 


Last Modified: 12/20/2022
Modified by: Domenico D'alessandro

Please report errors in award information by writing to: awardsearch@nsf.gov.

Print this page

Back to Top of page