Abstract Schur–Weyl duality is a ubiquitous tool in quantum information. At its heart is the statement that the space of operators that commute with the t -fold tensor powers $$U^{\otimes t}$$ U ⊗ t of all unitaries $$U\in U(d)$$ U ∈ U ( d ) is spanned by the permutations of the t tensor factors. In this work, we describe a similar duality theory for tensor powers of Clifford unitaries . The Clifford group is a central object in many subfields of quantum information, most prominently in the theory of fault-tolerance. The duality theory has a simple and clean description in terms of finite geometries. We demonstrate its effectiveness in several applications: We resolve an open problem in quantum property testing by showing that “stabilizerness” is efficiently testable: There is a protocol that, given access to six copies of an unknown state, can determine whether it is a stabilizer state, or whether it is far away from the set of stabilizer states. We give a related membership test for the Clifford group. We find that tensor powers of stabilizer states have an increased symmetry group. Conversely, we provide corresponding de Finetti theorems , showing that the reductions of arbitrary states with this symmetry are well-approximated by mixtures of stabilizer tensor powers (in some cases, exponentially well). We show that the distance of a pure state to the set of stabilizers can be lower-bounded in terms of the sum-negativity of its Wigner function. This gives a new quantitative meaning to the sum-negativity (and the related mana ) – a measure relevant to fault-tolerant quantum computation. The result constitutes a robust generalization of the discrete Hudson theorem . We show that complex projective designs of arbitrary order can be obtained from a finite number (independent of the number of qudits) of Clifford orbits. To prove this result, we give explicit formulas for arbitrary moments of random stabilizer states.
Abstract Schur–Weyl duality is a ubiquitous tool in quantum information. At its heart is the statement that the space of operators that commute with the t -fold tensor powers U⊗t U ⊗ t of all unitaries U∈U(d) U ∈ U ( d ) is spanned by the permutations of the t tensor factors. In this work, we describe a similar duality theory for tensor powers of Clifford unitaries . The Clifford group is a central object in many subfields of quantum information, most prominently in the theory of fault-tolerance. The duality theory has a simple and clean description in terms of finite geometries. We demonstrate its effectiveness in several applications: We resolve an open problem in quantum property testing by showing that “stabilizerness” is efficiently testable: There is a protocol that, given access to six copies of an unknown state, can determine whether it is a stabilizer state, or whether it is far away from the set of stabilizer states. We give a related membership test for the Clifford group. We find that tensor powers of stabilizer states have an increased symmetry group. Conversely, we provide corresponding de Finetti theorems , showing that the reductions of arbitrary states with this symmetry are well-approximated by mixtures of stabilizer tensor powers (in some cases, exponentially well). We show that the distance of a pure state to the set of stabilizers can be lower-bounded in terms of the sum-negativity of its Wigner function. This gives a new quantitative meaning to the sum-negativity (and the related mana ) – a measure relevant to fault-tolerant quantum computation. The result constitutes a robust generalization of the discrete Hudson theorem . We show that complex projective designs of arbitrary order can be obtained from a finite number (independent of the number of qudits) of Clifford orbits. To prove this result, we give explicit formulas for arbitrary moments of random stabilizer states.
We give an explicit treatment of the third tensor power of the Clifford representation on n qutrits, for n≥2. This representation has five pairwise inequivalent irreducible constituents, with multiplicities 1,1,1,1,2. The decomposition reduces the Clifford twirl of a tensor cube to four real parameters. Two of them are spectral moments of the input. The other two are cubic invariants expressed as sums of cubes of the Weyl characteristic function and the discrete Wigner function. On trace-one Hermitian matrices, the invariant polynomials of degree at most three are spanned by the constant function and four algebraically independent functions. These functions do not separate Clifford orbits. For pure inputs a single parameter suffices. We recover its range and the characterization of its maximum by stabilizer states. We bound the stabilizer fidelity, determine full separability across the three copies in the symmetric family, and recover the criterion for a complex projective 3-design. We classify the jointly invariant quantum Boolean functions. For stabilizer testing and for testing unknown observables we give explicit bounds on copies and queries. We also give character formulas for the finite projective Clifford groups and record the complete character table for two qutrits.
The Clifford group plays a central role in quantum information science. It is the building block for many error-correcting schemes and matches the first three moments of the Haar measure over the unitary group-a property that is essential for a broad range of quantum algorithms, with applications in pseudorandomness, learning theory, benchmarking, and entanglement distillation. At the heart of understanding many properties of the Clifford group lies the Clifford commutant: the set of operators that commute with k -fold tensor powers of Clifford unitaries. Previous understanding of this commutant has been limited to relatively small values of k , constrained by the number of qubits n . In this work, we develop a complete theory of the Clifford commutant. Our first result provides an explicit orthogonal basis for the commutant and computes its dimension for arbitrary n and k . We also introduce an alternative and easy-to-manipulate basis formed by isotropic sums of Pauli operators. We show that this basis is generated by products of permutations, which generate the unitary group commutant, and at most three other operators. Additionally, we develop a graphical calculus allowing a diagrammatic manipulation of elements of this basis. These results enable a wealth of applications: among others, we characterize all measurable magic measures and identify optimal strategies for stabilizer property testing, whose success probability also offers an operational interpretation to stabilizer entropies. Finally, we show that these results also generalize to multi-qudit systems with prime local dimension.
The representation theory of the Clifford group is playing an increasingly prominent role in quantum information theory, including in such diverse use cases as the construction of protocols for quantum system certification, quantum simulation, and quantum cryptography. In these applications, the tensor powers of the defining representation seem particularly important. The representation theory of these tensor powers is understood in two regimes. 1. For odd qudits in the case where the power t is not larger than the number of systems n: Here, a duality theory between the Clifford group and certain discrete orthogonal groups can be used to make fairly explicit statements about the occurring irreps (this theory is related to Howe duality and the η-correspondence). 2. For qubits: Tensor powers up to t = 4 have been analyzed on a case-by-case basis. In this paper, we provide a unified framework for the duality approach that also covers qubit systems. To this end, we translate the notion of rank of symplectic representations to representations of the qubit Clifford group, and generalize the η correspondence between symplectic and orthogonal groups to a correspondence between the Clifford and certain orthogonal-stochastic groups. As a sample application, we provide a protocol to efficiently implement the complex conjugate of a black-box Clifford unitary evolution.
Magic states enable universal, fault-tolerant quantum computation within the stabilizer framework. Their non-stabilizerness supplies the resource needed to bypass the Eastin-Knill theorem while allowing fault-tolerant distillation. Although many measures of magic exist, not every nonzero-magic state is known to be distillable, and many of currently known distillable states are special cases of Clifford-stabilizer states, defined as pure states uniquely stabilized by finite Clifford subgroups. We develop a general framework for group-covariant functionals on Hermitian operators, introducing the notions of G-stabilizer spaces, states, and codes for arbitrary finite subgroups G⊂U(H). We define analytic families of G-covariant functionals and prove that any G-invariant pure state is extremal for a broad class of derived functionals, including symmetric, max-type, and Rényi-type functionals, whenever the underlying family is G-covariant. This extremality holds for purity-preserving variations orthogonal to the stabilized subspace. Specializing to the Pauli and Clifford groups, we recover the extremality structure of canonical magic measures such as mana, stabilizer Rényi entropies, generalized Rényi entropies, and stabilizer fidelity, and show that Clifford-stabilizer states extremize them. We classify such states for qubits, qutrits, ququints, and two-qubit systems, identifying new candidates for magic distillation. We further propose an inefficient distillation protocol for a two-qubit magic state with stabilizer fidelity exceeding standard benchmarks, and conjecture that SIC-POVM fiducial states are Clifford-stabilizer states.
This thesis explores the interplay between representation theory and quantum information. Specifically, we focus on mixed Schur–Weyl duality, which considers the action of the unitary group on mixed tensors. This setting naturally arises in quantum information tasks involving unitary-equivariant channels, such as port-based teleportation, quantum majority vote, and universal transposition of unitary operators. A key contribution of this thesis is an explicit derivation of the action of the generators of the partially transposed permutation matrix algebra—the commutant of the mixed unitary action—in the Gelfand–Tsetlin basis. As another key result of this thesis, we develop efficient quantum circuits for the mixed quantum Schur transform, a novel primitive in quantum information. The key ingredient of our construction is new efficient circuits for the dual Clebsch–Gordan transform of the unitary group. A significant application of our findings is the construction of efficient quantum algorithms for port-based teleportation, a variant of quantum teleportation that eliminates the need for corrective operations. Another application is a symmetry reduction of semidefinite optimisation problems with unitary equivariance symmetry. Finally, we study the extendibility of quantum states possessing unitary, mixed unitary, or orthogonal symmetry on the complete graph. We obtain analytically the exact maximum values for projections onto the maximally entangled state and the antisymmetric state for each of the three symmetry classes. This thesis demonstrates the usefulness of mixed Schur–Weyl duality in quantum information and computing. We expect that our tools will help address other problems in other areas of quantum information processing, such as communication, cryptography, and simulation.
Symmetries are of fundamental interest in many areas of science. In quantum information theory, if a quantum state is invariant under permutations of its subsystems, it is a well-known and widely used result that its marginal can be approximated by a mixture of tensor powers of a state on a single subsystem. Applications of this quantum de Finetti theorem range from quantum key distribution (QKD) to quantum state tomography and numerical separability tests. Recently, it has been discovered by Gross, Nezami and Walter that a similar observation can be made for a larger symmetry group than permutations: states that are invariant under stochastic orthogonal symmetry are approximated by tensor powers of stabilizer states, with an exponentially smaller overhead than previously possible. This naturally raises the question if similar improvements could be found for applications where this symmetry appears (or can be enforced). Here, two such examples are investigated.