Bridging magic and non-Gaussian resources via Gottesman-Kitaev-Preskill encoding

Oliver Hahn,Giulia Ferrini,Ryuji Takagi

2024-10-16

Abstract:Although the similarity between non-stabilizer states -- also known as magic states -- in discrete-variable systems and non-Gaussian states in continuous-variable systems has widely been recognized, the precise connections between these two notions have still been unclear. We establish a fundamental link between these two quantum resources via the Gottesman-Kitaev-Preskill (GKP) encoding. We show that the negativity of the continuous-variable Wigner function for an encoded GKP state coincides with a magic measure we introduce, which matches the negativity of the discrete Wigner function for odd dimensions. We also provide a continuous-variable representation of the stabilizer Rényi entropy -- a recent proposal for a magic measure for multi-qubit states. With this in hand, we give a classical simulation algorithm with runtime scaling with the resource contents, quantified by our magic measures. We also employ our results to prove that implementing a multi-qubit logical non-Clifford operation in the GKP code subspace requires a non-Gaussian operation even at the limit of perfect encoding, despite the fact that the ideal GKP states already come with a large amount of non-Gaussianity.

Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to establish a direct quantitative connection between magic resources in discrete - variable systems (such as multi - qubit systems) and non - Gaussian resources in continuous - variable systems (such as optical or superconducting systems) in quantum information processing. Although the similarities between non - stabilizer states (also known as magic states) in discrete - variable systems and non - Gaussian states in continuous - variable systems are known, the precise relationship between these concepts has not been clarified. By introducing Gottesman - Kitaev - Preskill (GKP) encoding, the paper establishes a fundamental connection between these two quantum resources.

Specifically, the paper shows that the negativity of the continuous - variable Wigner function of the encoded GKP state matches a introduced magic measure, and this match is consistent with the negativity of the discrete Wigner function in odd dimensions. In addition, the paper also provides a classical simulation algorithm related to the running time and resource content based on these magic measures, and proves that even in the limit of the ideal GKP state, non - Gaussian operations are still required to implement multi - qubit logical non - Clifford operations, which further deepens the understanding of the relationship between magic resources and non - Gaussian resources.

The main contributions of the paper are as follows:
1. **Establishing a bridge between magic resources and non - Gaussian resources**: Through GKP encoding, the paper reveals the direct relationship between magic measures in discrete - variable systems and non - Gaussian measures in continuous - variable systems.
2. **Proposing a new magic measure**: For all dimensions, the paper proposes a new magic measure that encompasses the negativity of the discrete Wigner function in odd dimensions and the stabilizer Rényi entropy in multi - qubit systems.
3. **Providing a classical simulation algorithm**: The paper introduces a classical simulation algorithm based on magic measures, whose running time is proportional to the resource content.
4. **Extending the relationship between multi - qubit systems and continuous - variable systems**: The results of the paper not only recover the recent findings on the relationship between multi - qubit systems and continuous - variable systems, but also extend them to all dimensions.

These achievements are helpful for better understanding the resource requirements in quantum computing, especially in achieving quantum acceleration. By establishing these connections, researchers can analyze and optimize the resource usage in quantum computing tasks more effectively.