Uncomputability and complexity of quantum control - PubMed (original) (raw)

Uncomputability and complexity of quantum control

Denys I Bondar et al. Sci Rep. 2020.

Abstract

In laboratory and numerical experiments, physical quantities are known with a finite 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 findings 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 coefficients and integer unknowns. In addition to proving uncomputability, this technique allows to construct quantum control problems belonging to different complexity classes. In particular, an example of the control problem involving a two-mode coherent field is shown to be NP-hard, contradicting a widely held believe that two-body problems are easy.

PubMed Disclaimer

Conflict of interest statement

The authors declare no competing interests.

Figures

Figure 1

Figure 1

A physical system for simulating Diophantine equations with n variables. The system is either n trapped ions or an _n_–mode coherent field. The controls Dˆ1†, …, Dˆn† independently address each subsystem. For ions, the controls excite transitions between nearest levels, and transfer population of the highest excited state down to the ground state. For coherent states, the control for the _i_-th mode is the displacement Dˆi by the magnitude one. The Diophantine polynomial is embedded in the observable Oˆ whose expectation value has to be optimized as the control goal. A highly non-trivial example corresponds already to the simple case of a two-mode coherent field (n = 2) with Oˆ=−(αaˆ1†aˆ1†+βaˆ2†−γ)(αaˆ1aˆ1+βaˆ2−γ), where α, β, and γ are positive integers. The observable is non-linear but physical; its leading term is of the Kerr-type nonlinearity. Maximizing the expectation of this observable is NP-hard, i.e., it is at least as hard as the famous Traveling Salesman Problem. Note that an n = 9 system is sufficient to solve any Diophantine equation.

Similar articles

References

    1. Glaser, S. J. et al. Training Schrödinger’s cat: quantum optimal control. Eur. Phys. J. D 69, 279, ISSN 1434-6079, 10.1140/epjd/e2015-60464-1 (2015).
    1. Butkovskiy, A. G. & Samoilenko, Y. I. Control of Quantum-Mechanical Processes and Systems (Kluwer Academic, Dordrecht, 1990).
    1. Shapiro, M. & Brumer, P. Principles of the quantum control of molecular processes (Wiley-VCH, 2003).
    1. Tannor, D. J. Introduction to quantum mechanics: a time-dependent perspective (University Science Books, 2007).
    1. Fradkov, A. Cybernetical Physics: From Control of Chaos to Quantum Control (Springer, New York, 2007).

LinkOut - more resources