[Paper Review] Negative Quasi-Probability Representation is a Necessary Resource for Magic State Distillation

Victor Veitch, Christopher Ferrie+1 more|arXiv (Cornell University)|Jan 5, 2012

Quantum Computing Algorithms and Architecture5 citations

TL;DR

This paper establishes that negative values in a quasi-probability representation—specifically, the discrete Wigner function—are a necessary resource for magic state distillation in fault-tolerant quantum computation. It proves the existence of bound states that cannot be distilled into non-stabilizer states using stabilizer operations, resolving an open question and enabling an efficient simulation protocol for Clifford circuits on a broad class of mixed states.

ABSTRACT

A central problem in quantum information is to determine the minimal physical resources that are required for quantum computational speedup and, in particular, for fault-tolerant quantum computation. We establish a remarkable connection between the potential for quantum speed-up and the onset of negative values in a distinguished quasi-probability representation, a discrete analog of the Wigner function for quantum systems of odd dimension. This connection allows us to resolve an open question on the existence of bound states for magic-state distillation: we prove that there exist mixed states outside the convex hull of stabilizer states that cannot be distilled to non-stabilizer target states using stabilizer operations. We also provide an efficient simulation protocol for Clifford circuits that extends to a large class of mixed states, including bound universal states.

Motivation & Objective

• To determine the minimal physical resources required for quantum computational speedup, particularly in fault-tolerant quantum computation.
• To resolve the open question of whether bound states exist that cannot be distilled into non-stabilizer states using stabilizer operations.
• To establish a connection between quantum speedup and the presence of negative values in the discrete Wigner function representation.
• To develop an efficient simulation protocol for Clifford circuits that extends to a large class of mixed states, including bound universal states.

Proposed method

• The authors use a discrete quasi-probability representation analogous to the Wigner function for odd-dimensional quantum systems.
• They analyze the role of negative values in this representation as a resource for quantum advantage.
• The proof relies on showing that states outside the convex hull of stabilizer states with non-negative Wigner function values cannot be distilled to non-stabilizer states via stabilizer operations.
• They construct an efficient simulation protocol for Clifford circuits by leveraging the non-negativity of Wigner function values in stabilizer states and extending it to mixed states with similar properties.
• The framework uses convex geometry and properties of stabilizer states to characterize the set of distillable states.
• The method establishes a necessary condition for distillability based on the absence of negativity in the Wigner representation.

Experimental results

Research questions

• RQ1 Is negative quasi-probability in the Wigner representation a necessary resource for magic state distillation in quantum computation?
• RQ2 Do there exist mixed states outside the convex hull of stabilizer states that are immune to distillation using only stabilizer operations?
• RQ3 Can an efficient simulation protocol be developed for Clifford circuits that applies to a broad class of mixed states, including those that are universal but not distillable?
• RQ4 What is the role of the discrete Wigner function in characterizing the limits of quantum computational speedup?
• RQ5 How do the properties of the Wigner representation relate to the existence of bound states in magic state distillation?

Key findings

• Negative values in the discrete Wigner function representation are a necessary resource for magic state distillation, establishing a fundamental link between negativity and quantum advantage.
• There exist mixed states outside the convex hull of stabilizer states that cannot be distilled into non-stabilizer target states using stabilizer operations, confirming the existence of bound universal states.
• The paper provides a rigorous proof of the non-distillability of such bound states, resolving a long-standing open question in quantum information theory.
• An efficient simulation protocol for Clifford circuits is developed that extends to a large class of mixed states, including bound universal states, by exploiting the structure of the Wigner representation.
• The results demonstrate that non-negative Wigner function values are a sufficient condition for efficient classical simulation, while negativity is required for universal quantum computation via distillation.
• The framework establishes that the onset of negativity in the Wigner representation marks the threshold for non-classical resources enabling fault-tolerant quantum advantage.