Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2109.13018 · Physical Review Letters

Quantifying Qubit Magic Resource with Gottesman-Kitaev-Preskill Encoding

Oliver Hahn, Alessandro Ferraro, Lina Hultquist, Giulia Ferrini, Laura García-Álvarez

Published May 23, 2022• 34 citations
arXivHTMLPDF

Abstract

Quantum resource theories are a powerful framework for characterizing and quantifying relevant quantum phenomena and identifying processes that optimize their use for different tasks. Here, we define a resource measure for magic, the sought-after property in most fault-tolerant quantum computers. In contrast to previous literature, our formulation is based on bosonic codes, well-studied tools in continuous-variable quantum computation. Particularly, we use the Gottesman-Kitaev-Preskill code to represent multiqubit states and consider the resource theory for the Wigner negativity. Our techniques are useful in finding resource lower bounds for different applications as state conversion and gate synthesis. The analytical expression of our magic measure allows us to extend current analysis limited to small dimensions, easily addressing systems of up to 12 qubits.

DOI
10.1103/physrevlett.128.210502

Related papers

Bridging Magic and Non-Gaussian Resources via Gottesman-Kitaev-Preskill Encoding

Oliver Hahn, Giulia Ferrini, Ryuji Takagi

Although the similarity between nonstabilizer 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 multiqubit states. We further provide the magic measure with an operational interpretation as a runtime of a classical simulation algorithm. In addition, we employ our results to prove that implementing a multiqubit 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.

arXiv:2406.06418•PRX Quantum•Feb 18, 2025•15 citations

Identifying quantum resources in encoded computations

Jack Davis, Nicolas Fabre, Ulysse Chabaud

Characterizing the origin of quantum computational advantage amounts to identifying the key properties, or quantum resources, that distinguish quantum computers from their classical counterparts. Fault-tolerant computation, however, requires error-correcting codes to encode logical information into a larger, physical quantum system. This makes the task of resource identification more difficult, as what constitutes a resource from the logical and physical points of view can differ significantly. Here, we introduce a framework to correctly identify quantum resources in general encoded computations. For a given quantum code, our construction provides a Wigner function that accounts for how the symmetry of the code space is contained within the symmetry of the physical space, resulting in an object capable of describing the logical content of any physical state, both within and outside the code space. We illustrate our general construction with the Gottesman–Kitaev–Preskill encoding of qudits with odd dimension. The resulting Wigner function, which we call the Zak–Gross Wigner function, is shown to correctly identify quantum resources through its phase-space negativity. For instance, it is positive for encoded stabilizer states and negative for the bosonic vacuum. We further show that its negativity provides a measure of magic for the logical content of a state and that its marginals are modular measurement distributions associated with conjugate Zak patches.

arXiv:2407.18394•npj Quantum Information•May 29, 2026•1 citation

Non-Gaussianity in cat codes: global incompatibility and local geometric alignment with the magic resource

Yuwei Zhu, Seungbeom Chin, William J. Munro +1 more

Non-Gaussianity is an essential resource for genuine quantum advantages in continuous-variable quantum systems and is regarded as a counterpart of the magic resource in discrete-variable systems. Recently, an exact correspondence between non-Gaussianity (NG) and the magic resource was identified within the Gottesman--Kitaev--Preskill (GKP) encoding framework. Whether such a relation persists beyond GKP encoding, however, remains unclear. Here, we address this question in the cat-code setting. By comparing the Wigner logarithmic negativity (WLN) and a magic measure defined from a phase-operator basis, we analyze the resource geometry of non-degenerate $d$-peaked cat states. We find that cat codes do not inherit the global value-preserving GKP magic--NG equivalence, but their asymptotic WLN geometry allows a constructive local alignment with the magic-measure geometry. Specifically, under a distinguished SU($d$) asymptotic cat code, we establish a sector-dependent alignment between WLN level sets and magic-measure level sets based on their intrinsic local geometries. These results identify both the global incompatibility and the locally constructive relation between magic and non-Gaussian resources in cat codes, suggesting a geometry-based approach to resource correspondences beyond the GKP framework.

quant-pharXiv:2607.15739•Jul 20, 2026•0 citations

Cost-reduced all-Gaussian universality with the Gottesman-Kitaev-Preskill code: Resource-theoretic approach to cost analysis

Hayata Yamasaki, Takaya Matsuura, Masato Koashi

The authors present a new mechanism to prepare magic states of the Gottesman-Kitaev-Preskill (GKP) continuous-variable quantum error-correcting code from two perspectives. The paper proposes two methods: a cost-reduced scheme of universal quantum computation by experimentally tractable Gaussian operations using the GKP magic states as a single resource, and the formulation of a resource-theoretical method for quantitatively analyzing the usefulness of magic states of the GKP code.

arXiv:1911.11141•Physical Review Research•Jun 2, 2020•50 citations

Phase-space methods for representing, manipulating, and correcting Gottesman-Kitaev-Preskill qubits

Lucas J. Mensen, Ben Q. Baragiola, Nicolas C. Menicucci

The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit into a bosonic mode is a promising bosonic code for quantum computation due to its tolerance for noise and all-Gaussian gate set. We present a toolkit for phase-space description and manipulation of GKP encodings that includes Wigner functions for ideal and approximate GKP states, for various types of mixed GKP states, and for GKP-encoded operators. One advantage of a phase-space approach is that Gaussian unitaries, required for computation with GKP codes, correspond to simple transformations on the arguments of Wigner functions. We use this fact and our toolkit to describe GKP error correction, including magic-state preparation, entirely in phase space using operations on Wigner functions. While our focus here is on the square-lattice GKP code, we provide a general framework for GKP codes defined on any lattice.

arXiv:2012.12488•Physical Review A•Aug 6, 2021•21 citations

Quantifying magic resource for quantum channels via channel-state duality

Xiaohui Li, Shunlong Luo, Zijian Zhang

According to the celebrated Gottesman-Knill theorem, magic resource (nonstabilizerness) is necessary to drive universal quantum computation. Thus characterization and quantification of magic resource for quantum states and quantum channels are significant issues. In this work, we propose a method to construct quantifiers of magic resource for quantum channels from those for quantum states by employing the channel-state duality to convert quantum channels to the corresponding Choi states. We focus on a specific quantifier of magic resource based on characteristic functions (Fourier transforms) of quantum states. This quantifier is well defined for all dimensions and easy to calculate, as opposed to those defined via discrete Wigner functions. It satisfies some desirable properties and provides an upper bound to the mana (a kind of logarithmic negativity of discrete Wigner functions) of quantum channels. Using this quantity, we evaluate the amount of magic resource for some typical quantum channels and compare them with some existing quantifiers of generating-power of magic resource. For the dephasing channels in prime dimensional systems, our quantifier of magic resource essentially characterizes the average generating power of magic resource, while, for general channels, they are quite different and some challenging issues arise.

Physical Review A•May 13, 2025•5 citations
Quantum resource theories are a powerful framework for characterizing and quantifying relevant quantum phenomena and identifying processes that optimize their use for different tasks. Here, we define a resource measure for magic, the sought-after property in most fault-tolerant quantum computers. In contrast to previous literature, our formulation is based on bosonic codes, well-studied tools in continuous-variable quantum computation. Particularly, we use the Gottesman-Kitaev-Preskill code to represent multiqubit states and consider the resource theory for the Wigner negativity. Our techniques are useful in finding resource lower bounds for different applications as state conversion and gate synthesis. The analytical expression of our magic measure allows us to extend current analysis limited to small dimensions, easily addressing systems of up to 12 qubits.
Although the similarity between nonstabilizer 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 multiqubit states. We further provide the magic measure with an operational interpretation as a runtime of a classical simulation algorithm. In addition, we employ our results to prove that implementing a multiqubit 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.
Characterizing the origin of quantum computational advantage amounts to identifying the key properties, or quantum resources, that distinguish quantum computers from their classical counterparts. Fault-tolerant computation, however, requires error-correcting codes to encode logical information into a larger, physical quantum system. This makes the task of resource identification more difficult, as what constitutes a resource from the logical and physical points of view can differ significantly. Here, we introduce a framework to correctly identify quantum resources in general encoded computations. For a given quantum code, our construction provides a Wigner function that accounts for how the symmetry of the code space is contained within the symmetry of the physical space, resulting in an object capable of describing the logical content of any physical state, both within and outside the code space. We illustrate our general construction with the Gottesman–Kitaev–Preskill encoding of qudits with odd dimension. The resulting Wigner function, which we call the Zak–Gross Wigner function, is shown to correctly identify quantum resources through its phase-space negativity. For instance, it is positive for encoded stabilizer states and negative for the bosonic vacuum. We further show that its negativity provides a measure of magic for the logical content of a state and that its marginals are modular measurement distributions associated with conjugate Zak patches.
Non-Gaussianity is an essential resource for genuine quantum advantages in continuous-variable quantum systems and is regarded as a counterpart of the magic resource in discrete-variable systems. Recently, an exact correspondence between non-Gaussianity (NG) and the magic resource was identified within the Gottesman--Kitaev--Preskill (GKP) encoding framework. Whether such a relation persists beyond GKP encoding, however, remains unclear. Here, we address this question in the cat-code setting. By comparing the Wigner logarithmic negativity (WLN) and a magic measure defined from a phase-operator basis, we analyze the resource geometry of non-degenerate ddd-peaked cat states. We find that cat codes do not inherit the global value-preserving GKP magic--NG equivalence, but their asymptotic WLN geometry allows a constructive local alignment with the magic-measure geometry. Specifically, under a distinguished SU(ddd) asymptotic cat code, we establish a sector-dependent alignment between WLN level sets and magic-measure level sets based on their intrinsic local geometries. These results identify both the global incompatibility and the locally constructive relation between magic and non-Gaussian resources in cat codes, suggesting a geometry-based approach to resource correspondences beyond the GKP framework.
The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit into a bosonic mode is a promising bosonic code for quantum computation due to its tolerance for noise and all-Gaussian gate set. We present a toolkit for phase-space description and manipulation of GKP encodings that includes Wigner functions for ideal and approximate GKP states, for various types of mixed GKP states, and for GKP-encoded operators. One advantage of a phase-space approach is that Gaussian unitaries, required for computation with GKP codes, correspond to simple transformations on the arguments of Wigner functions. We use this fact and our toolkit to describe GKP error correction, including magic-state preparation, entirely in phase space using operations on Wigner functions. While our focus here is on the square-lattice GKP code, we provide a general framework for GKP codes defined on any lattice.
According to the celebrated Gottesman-Knill theorem, magic resource (nonstabilizerness) is necessary to drive universal quantum computation. Thus characterization and quantification of magic resource for quantum states and quantum channels are significant issues. In this work, we propose a method to construct quantifiers of magic resource for quantum channels from those for quantum states by employing the channel-state duality to convert quantum channels to the corresponding Choi states. We focus on a specific quantifier of magic resource based on characteristic functions (Fourier transforms) of quantum states. This quantifier is well defined for all dimensions and easy to calculate, as opposed to those defined via discrete Wigner functions. It satisfies some desirable properties and provides an upper bound to the mana (a kind of logarithmic negativity of discrete Wigner functions) of quantum channels. Using this quantity, we evaluate the amount of magic resource for some typical quantum channels and compare them with some existing quantifiers of generating-power of magic resource. For the dephasing channels in prime dimensional systems, our quantifier of magic resource essentially characterizes the average generating power of magic resource, while, for general channels, they are quite different and some challenging issues arise.