Clifford Invariants and Three-Copy Quantum Tests

AI summary

Overview

Research area: Quantum information theory and representation theory — specifically the representation theory of the qutrit Clifford group acting on three copies of a quantum state, and the resulting invariants and property-testing protocols.

Technical level: Advanced. The paper assumes familiarity with the Heisenberg–Weyl group, symplectic groups over finite fields, Schur–Weyl duality, character theory of finite groups, and stabilizer formalism / discrete Wigner functions.

Scope (1 sentence): The paper gives an explicit decomposition of the third tensor power of the qutrit Clifford representation into five irreducible constituents, characterizes the resulting four-parameter family of Clifford invariants, and derives three-copy measurement, testing, and query-complexity consequences.

What This Paper Is About

When you hold three copies of an unknown qutrit state and are allowed only measurements that are invariant under a common Clifford transformation applied to all three copies, which properties of the state can you actually learn? The authors answer this by decomposing the three-copy Hilbert space into irreducible Clifford representations, showing that the entire Clifford-invariant information content collapses to four real parameters, and then working out what those parameters do and do not reveal. Along the way they turn this structure into concrete statements about stabilizer testing, quantum Boolean functions, projective designs, and the character theory of the finite projective Clifford groups.

Key Contributions

1. A self-contained derivation of the three-copy decomposition. The authors prove that the third tensor power of the qutrit Clifford representation on $n \geq 2$ qutrits splits into five pairwise inequivalent irreducible constituents with multiplicities $1,1,1,1,2$, supplying explicit projectors and an explicit intertwiner between the two equivalent copies. This reproduces the decomposition stated in Example 4.26 of Gross, Nezami and Walter, but with the projectors written out.

2. A four-parameter description of the Clifford twirl. The Clifford twirl of a tensor cube is shown to reduce to four real parameters: two spectral moments of the input, and two cubic invariants given by sums of cubes of the Weyl characteristic function and of the discrete Wigner function. On trace-one Hermitian matrices, the invariant polynomials of degree at most three are shown to have basis $1, t_2, t_3, u, v$, with the four nonconstant functions algebraically independent (proved by an explicit Jacobian calculation in Appendix A) but failing to separate Clifford orbits.

3. A characterization of the pure-state regime. For pure inputs a single parameter $q \in [0, 3^{-n}]$ suffices; the authors recover its range, the family attaining that range, and the characterization of its maximum by stabilizer states, together with a stabilizer fidelity bound, the full-separability criterion across the three copies in the symmetric family, and the criterion for a complex projective $3$-design.

4. Copy- and query-complexity results, plus Clifford character theory. The authors classify the quantum Boolean functions invariant under both Clifford transformations and permutations of the three copies (all measurable by a five-outcome sector measurement), give explicit copy and query bounds for stabilizer testing and for testing unknown observables, prove a lower bound for repeated three-copy batches with Clifford-invariant outcome effects, prove directly that no nontrivial perfectly complete three-copy stabilizer test exists, and record character formulas for the finite projective Clifford groups including the complete character table of $G_2$.

Main Findings

• Five irreducible constituents, multiplicities 1,1,1,1,2. The tensor cube $\mathcal{K} = \mathcal{H}^{\otimes 3}$ decomposes as $(A \otimes \mathbf{1}) \oplus (B \otimes \mathbf{1}) \oplus (C \otimes \mathrm{sgn}) \oplus (D \otimes \mathrm{sgn}) \oplus (E \otimes \mathrm{Std})$, with the first four modules having dimensions equal to the corresponding sector ranks and $\dim E = 3^n(3^{2n}-1)/3$.

• The Clifford commutant is eight-dimensional. A symplectic-orbit count shows $\mathrm{Sp}(2n,3)$ has exactly eight orbits on ordered pairs $(u,v) \in V_n \times V_n$ — the zero pair, four nonzero rank-one types indexed by $\mathbb{P}^1(\mathbb{F}_3)$, and three rank-two types indexed by the value of $[u,v] \in \mathbb{F}3$ — giving $\dim \mathrm{End}{\mathrm{Cliff}(n,3)}(\mathcal{K}) = 8$. As an algebra this commutant is $\mathbb{C}^4 \oplus M_2(\mathbb{C})$.

• The commutant strictly contains the permutation algebra for every $n \geq 2$. The ordinary three-copy Schur–Weyl commutant has dimension $6$, so the Clifford commutant is strictly larger; the three permutation symmetry sectors alone do not determine the Clifford decomposition, which requires the Calderbank–Shor–Steane code projector.

• Invariants are algebraically independent but orbit-blind. The four nonconstant Clifford invariant polynomials of degree at most three are algebraically independent, yet they do not separate Clifford orbits — a limitation the authors state explicitly rather than paper over.

• Pure states collapse to a single parameter. For pure inputs the third moment is governed by one real parameter $q \in [0, 3^{-n}]$, whose maximum is characterized by stabilizer states; this recovers results of Zhu, Mao and Yi, with precise comparisons given in Section 5.

• No nontrivial perfectly complete three-copy stabilizer test. This is stated as a consequence of Gross–Nezami–Walter Theorem 5.6 and Example 4.26, and the paper supplies a direct proof in Proposition 6.7. The four-copy stabilizer test of Gross–Nezami–Walter Theorem 3.11 uses a different measurement.

• All jointly invariant quantum Boolean functions admit a five-outcome measurement. Every function invariant under both the Clifford action and the permutation action on three copies can be measured using a five-outcome sector measurement.

• Character theory for the projective groups. Character formulas are given for general $n$, with a little-group parametrization. The complete character table for two qutrits is printed in Appendix B. Because $G_2$ has $58$ irreducible characters, the five tensor-cube constituents account for only five of them.

• Copy and query bounds are derived but their numerical values are not reported in the available content. The paper states explicit bounds on copies and queries for stabilizer testing and for testing unknown observables; the truncated content does not include the specific constants.

Methodology in Plain English

The authors work entirely with the finite group structure hiding behind the qutrit Clifford group. Because the Clifford group contains all scalar unitaries it is infinite, which is awkward for representation theory, so they pass to the finite projective quotient $G_n = V_n \rtimes \mathrm{Sp}(2n,3)$ and choose symplectic implementers using the finite Weil representation so that the cocycle becomes trivial. The scalar kernel of the resulting finite lift has exponent three, which means that taking the tensor cube kills the leftover phases — that is precisely the mechanism that lets a genuine three-copy representation of the finite group descend to the Clifford action.

To find the commutant, they expand an arbitrary operator in the Weyl tensor basis and impose commutation with every $W_z^{\otimes 3}$, which forces the three Weyl labels to satisfy $r = -p - q$. Imposing symplectic covariance then forces the coefficients to be constant on symplectic orbits of ordered pairs, so the commutant dimension equals the number of such orbits — eight. They count these orbits by hand using transitivity of the symplectic group on vectors and on symplectic pairs.

To split the commutant further they use a small CSS code projector $P = p^{\otimes n}$ built from three-qutrit states $|\phi_x\rangle$ fixed by $X^{\otimes 3}$ and $Z^{\otimes 3}$, written in Weyl form as $P = 3^{-2n}\sum_u W_u^{\otimes 3}$ with $\mathrm{Tr},P = 3^n$. Combining $P$ with the symmetric and antisymmetric projectors of $S_3$ gives five orthogonal projections $Q_A, Q_B, Q_C, Q_D, Q_E$, and rank counting gives explicit dimension formulas. A comparison of the dimension of the algebra generated by these projections with the orbit-count dimension establishes both irreducibility and inequivalence.

On top of this structural result they build the invariant theory: writing a state in Weyl coordinates, the Clifford twirl depends only on orbit sums, which they evaluate to obtain the two spectral moments and the two cubic invariants, and they check algebraic independence with a Jacobian. The testing results then follow from expressing measurement statistics in terms of these invariants and applying statistical arguments under the access assumptions stated with each result.

Why This Matters

Impact on research. The paper sits at the intersection of two active programs: the Schur–Weyl duality program for Clifford groups initiated by Gross, Nezami and Walter, and the program of characterizing the Clifford group's design properties (second- and third-design results, and the failure of qubit Clifford to be a unitary $4$-design). By making the three-copy qutrit decomposition fully explicit — projectors, intertwiners, and character table included — it turns a structural existence theorem into a computational resource. The observation that Clifford invariants of degree at most three are algebraically independent but do not separate orbits is a precise no-go statement: it delimitates exactly what three-copy Clifford-invariant measurements can and cannot distinguish, which is directly relevant to anyone designing or ruling out three-copy protocols.

Real-world applications (as motivated by the lines of work the paper builds on):

• Fidelity estimation and randomized benchmarking of near-term quantum devices, where low-moment Clifford twirls replace Haar twirls.
• Stabilizer-state verification and testing, where the copy-complexity bounds translate into concrete resource estimates for verifying that a device produces stabilizer states.
• Quantum error correction with qutrits, since the Clifford group, CSS code projectors, and the discrete Wigner function are core tools for odd-prime-dimensional codes.
• Characterizing non-stabilizerness (magic), since Wigner negativity is the resource the paper's cubic invariants are built from, and it is known to be necessary for a computational speed-up in the considered stabilizer model.
• Benchmarking and tomographic protocols for unknown observables, where the query bounds for testing unknown observables apply directly.

Industry relevance. The realistic targets are quantum-computing hardware groups benchmarking Clifford-dominated circuits, qutrit-based architectures, and quantum software teams reasoning about how many copies a verification or benchmarking protocol consumes. The message that a three-copy Clifford-invariant measurement cannot be a perfectly complete stabilizer test is the kind of concrete design constraint that saves expensive protocol engineering.

Future Directions

• Close the orbit-separation gap. The invariant polynomials of degree at most three are algebraically independent but do not separate Clifford orbits. It is natural to ask what degree, or how many copies, would be needed to separate orbits, and what additional non-invariant information must accompany the four parameters.

• Extend beyond three copies and beyond qutrits. The paper treats $d = 3$ and three copies. The orbit-counting method generalizes in principle, but the paper does not report the analogous invariant structure for $d = 5$, for four copies, or for a general prime $d$, leaving those cases open.

• Turn the copy and query bounds into achievable protocols and match them against lower bounds. The authors give explicit bounds but the excerpt does not report the constants; determining whether these bounds are tight, especially for the unknown-observable testing scenario, is a natural follow-up.

• Exploit the full character theory. The complete character table of $G_2$ in Appendix B, and the little-group character formulas for general $n$, open the door to decomposing other quantities — higher tensor powers, other module categories, more observables — that the five tensor-cube constituents alone cannot see, since $G_2$ has $58$ irreducible characters of which only five appear here.

Target Audience

• Quantum information theorists working on stabilizer formalism, Clifford groups, magic-state resources, and discrete Wigner functions in odd prime dimension.
• Mathematicians working in representation theory, character theory of finite groups of Lie type, and invariant theory of finite groups acting on finite-dimensional spaces.
• Quantum algorithm and protocol designers who need explicit copy and query budgets for testing, verification, and benchmarking protocols.
• Graduate students and advanced researchers who want a self-contained worked example of the Weyl-basis commutant method applied to a specific small case before tackling the general Schur–Weyl theory of Gross, Nezami and Walter.

Beginners will find the paper hard going: the representation-theoretic machinery (symplectic orbits, Weil representation linearization, CSS code projectors, character tables) is used without extensive introductory scaffolding, and the paper assumes fluency with the standard Clifford/stabilizer literature.

Authors’ abstract

We give an explicit treatment of the third tensor power of the Clifford representation on $n$ qutrits, for $n\geq2$. 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.