RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
Main page
About this project
Software
Classifications
Links
Terms of Use

Search papers
Search references

RSS
Current issues
Archive issues
What is RSS






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Sci. Rep., 2020, Volume 10, 1195, 10 pages (Mi sr1)  

Uncomputability and complexity of quantum control

Denys I. Bondara, Alexander N. Pechenbc

a Tulane University, New Orleans, LA 70118, USA
b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow 119991, Russia
c National University of Science and Technology "MISIS", Moscow 119049, Russia

Abstract: In laboratory and numerical experiments, physical quantities are known with a fnite precision and described by rational numbers. Based on this, we deduce that quantum control problems both for open and closed systems are in general not algorithmically solvable, i.e., there is no algorithm that can decide whether dynamics of an arbitrary quantum system can be manipulated by accessible external interactions (coherent or dissipative) such that a chosen target reaches a desired value. This conclusion holds even for the relaxed requirement of the target only approximately attaining the desired value. These fndings do not preclude an algorithmic solvability for a particular class of quantum control problems. Moreover, any quantum control problem can be made algorithmically solvable if the set of accessible interactions (i.e., controls) is rich enough. To arrive at these results, we develop a technique based on establishing the equivalence between quantum control problems and Diophantine equations, which are polynomial equations with integer coefcients and integer unknowns. In addition to proving uncomputability, this technique allows to construct quantum control problems belonging to diferent complexity classes. In particular, an example of the control problem involving a two-mode coherent feld is shown to be NP-hard, contradicting a widely held believe that two-body problems are easy.

Funding Agency Grant Number
Russian Science Foundation 17-11-01388
Humboldt Research Fellowship for Experienced Researchers
United States of America W911NF-19-1-0377
Defense Advanced Research Projects Agency D19AP00043
Ministry of Science and Higher Education of the Russian Federation 1.669.2016/1.4
The results for uncomputability and complexity of controlling open quantum systems are obtained with the support of the RSF project 17-11-01388 at Steklov Mathematical Institute. The rest is supported by the Humboldt Research Fellowship for Experienced Researchers, the Army Research Oce (ARO) (grant W911NF-19-1-0377), and Defense Advanced Research Projects Agency (DARPA) (grant D19AP00043) for D.I.B. and by project 1.669.2016/1.4 of the Ministry of Science and Higher Education of the Russian Federation for A.P.


DOI: https://doi.org/10.1038/s41598-019-56804-1

ArXiv: 1907.10082
Language:

Linking options:
  • http://mi.mathnet.ru/eng/sr1

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Related presentations:
  • Number of views:
    This page:28

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020