权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

KP 配置中量子系统的几何分析和优化控制；

基本信息

批准号：
1710558
负责人：
Domenico D'Alessandro
金额：
$ 29.2万
依托单位：
Iowa State University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2017
资助国家：
美国
起止时间：
2017-08-01 至 2022-10-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1710558&HistoricalAwards=false
关键词：
Geometric Analysis Optimal Control Quantum

项目摘要

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.

对量子力学系统（如原子、原子核和电子）的状态的精确和有效控制是这些系统的大多数应用中的要求。这种控制通常通过与外部适当形状的电磁场相互作用来获得。此外，人们通常不仅希望将状态驱动到期望值，而且还希望优化可用资源。时间的最小化尤为重要。在计算应用中，快速动态导致所实现算法的加速。此外，一般而言，演变必须发生在数学模型可以被认为有效的时间范围内，在未建模动态的影响变得相关之前。在此背景下，本研究将完成三个相互关联的目标：1）它将提供显式的最优控制设计算法的一个大类的量子力学系统中非常常见的重要应用。 2)它将对对称性在量子控制系统中的作用进行深入的数学分析，以及如何使用这些对称性来简化量子系统的数学模型，从而大大扩展现有的理论。 3)它将通过与实验室的合作，通过量子光学和核磁共振实验来验证数学结果。总体结果将是一个丰富的工具箱，用于量子力学系统的最佳操纵，用于安全通信，强大的量子计算，测量设备设计，医疗诊断以及一般使用量子系统的每个设备。这些活动将涉及一个由工程师、物理学家和数学家组成的跨学科研究小组，其目标是发展一种共同的语言和科学。由此产生的知识将成为工程新领域和量子工程课程的基础，随着量子力学在日常生活中的应用不断扩大，该领域在未来将变得非常重要。在这项研究中使用和开发的主要数学工具来自微分几何领域，特别是黎曼几何和次黎曼几何。出发点是所谓的KP数学模型，其状态在李群上变化，其动力学方程对应于相关李代数的Cartan分解。相应的最优控制问题，一方面，在应用中非常常见，另一方面，显式可解。在该项目中，它们作为一个测试平台，用于研究量子控制系统的一般特性。这些涉及对称性的作用，最佳轨迹（测地线）的定性行为和可达集的几何形状。一个关键的技术成分的数学方法是使用对称性约简作为工具来分析控制问题的低维商空间。在这个空间上，可以提出一个更简单的控制问题，并经常明确解决。这一过程将大大扩大量子控制中现有的工具箱，而量子控制通常仅限于小维系统。由此产生的控制设计的实验实现将用于量子光学和核磁共振系统，这是构建量子计算机最有前途的候选者之一。此外，数学分析将需要引入来自奇异和分层空间理论的元素，这在除了量子力学之外的控制应用的其他领域中是重要的。在这种情况下，这个项目将有助于控制理论的发展，以及经典系统。