Source-linked AI summary
Contextuality supplies the magic for quantum computation
Mark Howard, Joel J. Wallman, Victor Veitch, Joseph Emerson
TL;DR
이 논문은 중첩, 얽힘, discord를 포함한 제안들로도 해결되지 않은, 어떤 고유한 양자 자원이 계산적 이점을 가능하게 하는지라는 문제를 다룬다. CSW graph-theoretic framework와 stabilizer measurements를 사용해, state-dependent contextuality가 odd-prime qudits에서 magic state distillation을 통한 universal quantum computation의 가능성과 일치함을 증명한다.
문제
quantum parallelism, 얽힘, discord를 포함한 제안들이 있었음에도 어떤 고유한 양자 자원이 양자 계산적 이점을 가능하게 하는지는 여전히 해결되지 않았다.
방법
이 논문은 contextuality와 graph theory 사이의 CSW connection을 사용해 stabilizer-measurement noncontextuality inequalities를 구성하고 관련 양자 상태를 특성화한다.
결과
odd prime 차원의 qudits에서는 구성상 PSIM 외부의 상태만이 정확히 contextuality를 보이며, 이는 magic state distillation을 통한 quantum speed-up의 조건과 일치한다.
핵심 시사점 및 한계
이 결과는 qudits에서 universal quantum computation을 가능하게 하는 magic에 대해 contextuality가 필요조건이자, 어쩌면 충분조건이라는 operational meaning을 부여한다.
핵심 시사점 및 한계
qubits에서는 contextuality만으로는 충분하지 않으며, qudits에서는 magic-state distillation에 대한 contextuality의 충분성이 여전히 미해결 문제다.
Abstract
from arXiv · showhide
Quantum computers promise dramatic advantages over their classical counterparts, but the answer to the most basic question "What is the source of the power in quantum computing?" has remained elusive. Here we prove a remarkable equivalence between the onset of contextuality and the possibility of universal quantum computation via magic state distillation. This is a conceptually satisfying link because contextuality provides one of the fundamental characterizations of uniquely quantum phenomena and, moreover, magic state distillation is the leading model for experimentally realizing fault-tolerant quantum computation. Furthermore, this connection suggests a unifying paradigm for the resources of quantum information: the nonlocality of quantum theory is a particular kind of contextuality and nonlocality is already known to be a critical resource for achieving advantages with quantum communication. In addition to clarifying these fundamental issues, this work advances the resource framework for quantum computation, which has a number of practical applications, such as characterizing the efficiency and trade-offs between distinct theoretical and experimental schemes for achieving robust quantum computation and bounding the overhead cost for the classical simulation of quantum algorithms.