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:1504.03773 · Physical Review Letters

Permutation Symmetry Determines the Discrete Wigner Function

Huangjun Zhu

Published Jan 26, 2016• 50 citations
arXivHTMLPDF

Abstract

The Wigner function provides a useful quasiprobability representation of quantum mechanics, with applications in various branches of physics. Many nice properties of the Wigner function are intimately connected with the high symmetry of the underlying operator basis composed of phase point operators: any pair of phase point operators can be transformed to any other pair by a unitary symmetry transformation. We prove that, in the discrete scenario, this permutation symmetry is equivalent to the symmetry group being a unitary 2 design. Such a highly symmetric representation can only appear in odd prime power dimensions besides dimensions 2 and 8. It suffices to single out a unique discrete Wigner function among all possible quasiprobability representations. In the course of our study, we show that this discrete Wigner function is uniquely determined by Clifford covariance, while no Wigner function is Clifford covariant in any even prime power dimension.

DOI
10.1103/physrevlett.116.040501

Related papers

Multiqubit Clifford groups are unitary 3-designs

Huangjun Zhu

Unitary $t$-designs are a ubiquitous tool in many research areas, including randomized benchmarking, quantum process tomography, and scrambling. Despite the intensive efforts of many researchers, little is known about unitary $t$-designs with $t\ensuremath{\ge}3$ in the literature. We show that the multiqubit Clifford group in any even prime-power dimension is not only a unitary 2-design, but also a 3-design. Moreover, it is a minimal 3-design except for dimension 4. As an immediate consequence, any orbit of pure states of the multiqubit Clifford group forms a complex projective 3-design; in particular, the set of stabilizer states forms a 3-design. In addition, our study is helpful in studying higher moments of the Clifford group, which are useful in many research areas ranging from quantum information science to signal processing. Furthermore, we reveal a surprising connection between unitary 3-designs and the physics of discrete phase spaces and thereby offer a simple explanation of why no discrete Wigner function is covariant with respect to the multiqubit Clifford group, which is of intrinsic interest in studying quantum computation.

arXiv:1510.02619•Physical Review A•Dec 29, 2017•182 citations

Interpreting symplectic linear transformations in a two-qubit phase space

William K. Wootters

For the continuous Wigner function and for certain discrete Wigner functions, permuting the values of the Wigner function in accordance with a symplectic linear transformation is equivalent to performing a certain unitary transformation on the state. That is, performing this unitary transformation is simply a matter of moving Wigner-function values around in phase space. This result holds in particular for the simplest discrete Wigner function defined on a $d \times d$ phase space when the Hilbert-space dimension $d$ is odd. It does not hold for a $d \times d$ phase space if the dimension is even. Here we show, though, that a generalized version of this correspondence does apply in the case of a two-qubit phase space. In this case, a symplectic linear permutation of the points of the phase space, together with a certain reinterpretation of the Wigner function, is equivalent to a unitary transformation.

arXiv:2402.09922•Feb 15, 2024•0 citations

Interpreting symplectic linear transformations in a two-qubit phase space

William K. Wootters

For the continuous Wigner function and for certain discrete Wigner functions, permuting the values of the Wigner function in accordance with a symplectic linear transformation is equivalent to performing a certain unitary transformation on the state. That is, performing this unitary transformation is simply a matter of moving Wigner-function values around in phase space. This result holds in particular for the simplest discrete Wigner function defined on a [Formula: see text] phase space when the Hilbert-space dimension [Formula: see text] is odd. It does not hold for a [Formula: see text] phase space if the dimension is even. Here we show, though, that a generalized version of this correspondence does apply in the case of a two-qubit phase space. In this case, a symplectic linear permutation of the points of the phase space, together with a certain reinterpretation of the Wigner function, is equivalent to a unitary transformation.

International Journal of Quantum Information•Apr 30, 2024•1 citation

Wigner’s theorem for stabilizer states and quantum designs

Valentin Obst, Arne Heimendahl, Tanmay Singal +1 more

We describe the symmetry group of the stabilizer polytope for any number n of systems and any prime local dimension d. In the qubit case, the symmetry group coincides with the linear and anti-linear Clifford operations. In the case of qudits, the structure is somewhat richer: For n = 1, it is a wreath product of permutations of bases and permutations of the elements within each basis. For n > 1, the symmetries are given by affine symplectic similitudes. These are the affine maps that preserve the symplectic form of the underlying discrete phase space up to a non-zero multiplier. We phrase these results with respect to a number of a priori different notions of “symmetry,” including Kadison symmetries (bijections that are compatible with convex combinations), Wigner symmetries (bijections that preserve inner products), and symmetries realized by an action on Hilbert space. Going beyond stabilizer states, we extend an observation of Heinrich and Gross [Quantum 3, 132 (2019)] and show that the symmetries of fairly general sets of Hermitian operators are constrained by certain moments. In particular: the symmetries of a set that behaves like a 3-design preserve Jordan products and are therefore realized by conjugation with unitaries or anti-unitaries. (The structure constants of the Jordan algebra are encoded in an order-three tensor, which we connect to the third moments of a design). This generalizes Kadison’s formulation of the classic Wigner theorem on quantum mechanical symmetries.

arXiv:2405.17565•Journal of Mathematical Physics•Nov 1, 2024•3 citations

Clifford covariance of Wigner functions, positive representation of Pauli measurement, and cohomology.

Robert Raussendorf, Cihan Okay, Michael Zurel +1 more

The scheme of quantum computation with magic states, and in particular the role of the Wigner function as an indicator of quantumness, motivate the question of when Clifford-covariant Wigner functions exist, and when Wigner functions exist that represent Pauli measurements positively. This question has been settled affirmatively for all odd dimensions. Here, we discuss the case of even dimension, for Wigner functions obtained from operator bases. We find that such Clifford-covariant Wigner functions do not exist in any even dimension, and furthermore, Pauli measurement cannot be positively represented by them in any even dimension whenever the number of qudits is n >= 2.

•Oct 22, 2021•1 citation

Wigner Quasiprobability with an Application to Coherent Phase States

Alfred Wünsche

Starting from Wigner's definition of the function named now after him we systematically develop different representation of this quasiprobability with emphasis on symmetric representations concerning the canonical variables ( ) , q p of phase space and using the known relation to the parity operator.One of the representations is by means of the Laguerre 2D polynomials which is particularly effective in quantum optics.For the coherent states we show that their Fourier transforms are again coherent states.We calculate the Wigner quasiprobability to the eigenstates of a particle in a square well with infinitely high impenetrable walls which is not smooth in the spatial coordinate and vanishes outside the wall boundaries.It is not well suited for the calculation of expectation values.A great place takes on the calculation of the Wigner quasiprobability for coherent phase states in quantum optics which is essentially new.We show that an unorthodox entire function plays there a role in most formulae which makes all calculations difficult.The Wigner quasiprobability for coherent phase states is calculated and graphically represented but due to the involved unorthodox function it may be considered only as illustration and is not suited for the calculation of expectation values.By another approach via the number representation of the states and using the recently developed summation formula by means of Generalized Eulerian numbers it becomes possible to calculate in approximations with good convergence the basic expectation values, in particular, the basic uncertainties which are additionally represented in graphics.Both considered examples, the square well and the coherent phase states, belong to systems with ( ) 1,1 SU symmetry with the same index 1 2 k = of unitary irreducible representations.

Advances in Pure Mathematics•Jan 1, 2018•2 citations
The Wigner function provides a useful quasiprobability representation of quantum mechanics, with applications in various branches of physics. Many nice properties of the Wigner function are intimately connected with the high symmetry of the underlying operator basis composed of phase point operators: any pair of phase point operators can be transformed to any other pair by a unitary symmetry transformation. We prove that, in the discrete scenario, this permutation symmetry is equivalent to the symmetry group being a unitary 2 design. Such a highly symmetric representation can only appear in odd prime power dimensions besides dimensions 2 and 8. It suffices to single out a unique discrete Wigner function among all possible quasiprobability representations. In the course of our study, we show that this discrete Wigner function is uniquely determined by Clifford covariance, while no Wigner function is Clifford covariant in any even prime power dimension.
Unitary ttt-designs are a ubiquitous tool in many research areas, including randomized benchmarking, quantum process tomography, and scrambling. Despite the intensive efforts of many researchers, little is known about unitary ttt-designs with $t\ensuremath{\ge}3$ in the literature. We show that the multiqubit Clifford group in any even prime-power dimension is not only a unitary 2-design, but also a 3-design. Moreover, it is a minimal 3-design except for dimension 4. As an immediate consequence, any orbit of pure states of the multiqubit Clifford group forms a complex projective 3-design; in particular, the set of stabilizer states forms a 3-design. In addition, our study is helpful in studying higher moments of the Clifford group, which are useful in many research areas ranging from quantum information science to signal processing. Furthermore, we reveal a surprising connection between unitary 3-designs and the physics of discrete phase spaces and thereby offer a simple explanation of why no discrete Wigner function is covariant with respect to the multiqubit Clifford group, which is of intrinsic interest in studying quantum computation.
For the continuous Wigner function and for certain discrete Wigner functions, permuting the values of the Wigner function in accordance with a symplectic linear transformation is equivalent to performing a certain unitary transformation on the state. That is, performing this unitary transformation is simply a matter of moving Wigner-function values around in phase space. This result holds in particular for the simplest discrete Wigner function defined on a d×dd \times dd×d phase space when the Hilbert-space dimension ddd is odd. It does not hold for a d×dd \times dd×d phase space if the dimension is even. Here we show, though, that a generalized version of this correspondence does apply in the case of a two-qubit phase space. In this case, a symplectic linear permutation of the points of the phase space, together with a certain reinterpretation of the Wigner function, is equivalent to a unitary transformation.
For the continuous Wigner function and for certain discrete Wigner functions, permuting the values of the Wigner function in accordance with a symplectic linear transformation is equivalent to performing a certain unitary transformation on the state. That is, performing this unitary transformation is simply a matter of moving Wigner-function values around in phase space. This result holds in particular for the simplest discrete Wigner function defined on a [Formula: see text] phase space when the Hilbert-space dimension [Formula: see text] is odd. It does not hold for a [Formula: see text] phase space if the dimension is even. Here we show, though, that a generalized version of this correspondence does apply in the case of a two-qubit phase space. In this case, a symplectic linear permutation of the points of the phase space, together with a certain reinterpretation of the Wigner function, is equivalent to a unitary transformation.
We describe the symmetry group of the stabilizer polytope for any number n of systems and any prime local dimension d. In the qubit case, the symmetry group coincides with the linear and anti-linear Clifford operations. In the case of qudits, the structure is somewhat richer: For n = 1, it is a wreath product of permutations of bases and permutations of the elements within each basis. For n > 1, the symmetries are given by affine symplectic similitudes. These are the affine maps that preserve the symplectic form of the underlying discrete phase space up to a non-zero multiplier. We phrase these results with respect to a number of a priori different notions of “symmetry,” including Kadison symmetries (bijections that are compatible with convex combinations), Wigner symmetries (bijections that preserve inner products), and symmetries realized by an action on Hilbert space. Going beyond stabilizer states, we extend an observation of Heinrich and Gross [Quantum 3, 132 (2019)] and show that the symmetries of fairly general sets of Hermitian operators are constrained by certain moments. In particular: the symmetries of a set that behaves like a 3-design preserve Jordan products and are therefore realized by conjugation with unitaries or anti-unitaries. (The structure constants of the Jordan algebra are encoded in an order-three tensor, which we connect to the third moments of a design). This generalizes Kadison’s formulation of the classic Wigner theorem on quantum mechanical symmetries.
The scheme of quantum computation with magic states, and in particular the role of the Wigner function as an indicator of quantumness, motivate the question of when Clifford-covariant Wigner functions exist, and when Wigner functions exist that represent Pauli measurements positively. This question has been settled affirmatively for all odd dimensions. Here, we discuss the case of even dimension, for Wigner functions obtained from operator bases. We find that such Clifford-covariant Wigner functions do not exist in any even dimension, and furthermore, Pauli measurement cannot be positively represented by them in any even dimension whenever the number of qudits is n >= 2.
Starting from Wigner's definition of the function named now after him we systematically develop different representation of this quasiprobability with emphasis on symmetric representations concerning the canonical variables ( ) , q p of phase space and using the known relation to the parity operator.One of the representations is by means of the Laguerre 2D polynomials which is particularly effective in quantum optics.For the coherent states we show that their Fourier transforms are again coherent states.We calculate the Wigner quasiprobability to the eigenstates of a particle in a square well with infinitely high impenetrable walls which is not smooth in the spatial coordinate and vanishes outside the wall boundaries.It is not well suited for the calculation of expectation values.A great place takes on the calculation of the Wigner quasiprobability for coherent phase states in quantum optics which is essentially new.We show that an unorthodox entire function plays there a role in most formulae which makes all calculations difficult.The Wigner quasiprobability for coherent phase states is calculated and graphically represented but due to the involved unorthodox function it may be considered only as illustration and is not suited for the calculation of expectation values.By another approach via the number representation of the states and using the recently developed summation formula by means of Generalized Eulerian numbers it becomes possible to calculate in approximations with good convergence the basic expectation values, in particular, the basic uncertainties which are additionally represented in graphics.Both considered examples, the square well and the coherent phase states, belong to systems with ( ) 1,1 SU symmetry with the same index 1 2 k = of unitary irreducible representations.