TY - GEN
T1 - Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation
AU - Mills, Daniel
AU - Pappa, Anna
AU - Kapourniotis, Theodoros
AU - Kashefi, Elham
PY - 2018/2/27
Y1 - 2018/2/27
N2 - The efficient certification of classically intractable quantum devices has been a central research question for some time. However, to observe a “quantum advantage”, it is believed that one does not need to build a large scale universal quantum computer; a task which has proven extremely challenging. Intermediate quantum models that are easier to implement, but which also exhibit this quantum advantage over classical computers, have been proposed. In this work, we present a certification technique for such a sub-universal quantum server which only performs commuting gates and requires very limited quantum memory. By allowing a verifying client to manipulate single qubits, we exploit properties of measurement based blind quantum computing to give them the tools to prove the “quantum superiority” of the server.
AB - The efficient certification of classically intractable quantum devices has been a central research question for some time. However, to observe a “quantum advantage”, it is believed that one does not need to build a large scale universal quantum computer; a task which has proven extremely challenging. Intermediate quantum models that are easier to implement, but which also exhibit this quantum advantage over classical computers, have been proposed. In this work, we present a certification technique for such a sub-universal quantum server which only performs commuting gates and requires very limited quantum memory. By allowing a verifying client to manipulate single qubits, we exploit properties of measurement based blind quantum computing to give them the tools to prove the “quantum superiority” of the server.
U2 - 10.4204/EPTCS.266.14
DO - 10.4204/EPTCS.266.14
M3 - Conference contribution
T3 - Electronic Proceedings in Theoretical Computer Science
SP - 209
EP - 221
BT - Proceedings 14th International Conference on Quantum Physics and Logic
A2 - Coecke, Bob
A2 - Kissinger, Aleks
PB - Open Publishing Association
ER -