A.K. Fedorov^a, b, c, E.O. Kiktenko^b, c, N.N. Kolachevsky^a, c
^aLebedev Physical Institute, Russian Academy of Sciences, Leninsky prosp. 53, Moscow, 119991, Russian Federation
^bNational University of Science and Technology "MISIS", Leninskii prosp. 4, Moscow, 119049, Russian Federation
^cInternational Center for Quantum Optics and Quantum Technologies (the Russian Quantum Center), ul. Novaya 100, Skolkovo, Moscow Region, 143025, Russian Federation

Significant advances in the development of computing devices based on quantum effects and the demonstration of their use to solve various problems have rekindled interest in the nature of the "quantum computational advantage." Although various attempts to quantify and characterize the nature of the quantum computational advantage have previously been made, this question largely remains open. Indeed, there is no universal approach that allows determining the scope of problems whose solution can be accelerated by quantum computers, in theory of in practice. In this paper, we consider an approach to this question based on the concept of complexity and reachability of quantum states. On the one hand, the class of quantum states that are of interest for quantum computing must be complex, i.e., not amenable to simulation by classical computers with less than exponential resources. On the other hand, such quantum states must be reachable on a practically feasible quantum computer. This means that the unitary operation that transforms the initial quantum state into the desired one must be decomposable into a sequence of one- and two-qubit gates of a length that is at most polynomial in the number of qubits. By formulating several statements and conjectures, we discuss the question of describing a class of problems whose solution can be accelerated by a quantum computer.

Typically, an English full text is available in about 1 month from the date of publication of the original article.

Keywords: quantum computing, quantum complexity, quantum algorithms
PACS: 03.67.Ac, 03.67.Lx, 42.50.Dv (all)
DOI: 10.3367/UFNe.2024.07.039721
URL: https://ufn.ru/en/articles/2024/9/e/
Citation: Fedorov A K, Kiktenko E O, Kolachevsky N N "Computable and noncomputable in the quantum domain: statements and conjectures" Phys. Usp. 67 (9) (2024)

Received: 17th, May 2024, revised: 19th, July 2024, accepted: 19th, July 2024

Оригинал: Федоров А К, Киктенко Е О, Колачевский Н Н «Вычислимое и невычислимое в квантовом мире: утверждения и гипотезы» УФН 194 960–966 (2024); DOI: 10.3367/UFNr.2024.07.039721