Verification of Quantum Computation: An Overview of Existing Approaches

Quantum computers promise to efficiently solve not only problems believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can check whether quantum computers are indeed producing correct...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theory of computing systems Ročník 63; číslo 4; s. 715 - 808
Hlavní autoři: Gheorghiu, Alexandru, Kapourniotis, Theodoros, Kashefi, Elham
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York Springer US 01.05.2019
Springer Nature B.V
Springer Verlag
Témata:
Computational Complexity
Computer Science
Computer Science Symposium in Russia
Computers
Cryptography
Cryptography and Security
Fault tolerance
Physics
Program verification (computers)
Quantum computers
Quantum computing
Quantum Physics
Theory of Computation
Delegated quantum computation
Blind quantum computing
Verification of quantum computation
Quantum cryptography
ISSN:1432-4350, 1433-0490
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Quantum computers promise to efficiently solve not only problems believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can check whether quantum computers are indeed producing correct results. This task, known as quantum verification , has been highlighted as a significant challenge on the road to scalable quantum computing technology. We review the most significant approaches to quantum verification and compare them in terms of structure, complexity and required resources. We also comment on the use of cryptographic techniques which, for many of the presented protocols, has proven extremely useful in performing verification. Finally, we discuss issues related to fault tolerance, experimental implementations and the outlook for future protocols.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1432-4350
1433-0490
DOI:10.1007/s00224-018-9872-3