-
Duality theory for Clifford tensor powers
Authors:
Felipe Montealegre-Mora,
David Gross
Abstract:
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…
▽ More
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 eta-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 eta 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.
△ Less
Submitted 3 November, 2024; v1 submitted 2 August, 2022;
originally announced August 2022.
-
Certifying Numerical Decompositions of Compact Group Representations
Authors:
Felipe Montealegre-Mora,
Denis Rosset,
Jean-Daniel Bancal,
David Gross
Abstract:
We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addresses a problem arising when one seeks solutions to semi-definite programs (SDPs) with a group symmetry. Indeed, in this context, the dimension of the SDP can be significantly reduced if the irreducible representations of…
▽ More
We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addresses a problem arising when one seeks solutions to semi-definite programs (SDPs) with a group symmetry. Indeed, in this context, the dimension of the SDP can be significantly reduced if the irreducible representations of the group action are explicitly known. Rigorous numerical algorithms for decomposing a given group representation into irreps are known, but fairly expensive. To avoid this performance problem, existing software packages -- e.g. RepLAB, which motivated the present work -- use randomized heuristics. While these seem to work well in practice, the problem of to which extent the results can be trusted arises. Here, we provide rigorous guarantees applicable to finite and compact groups, as well as a software implementation that can interface with RepLAB. Under natural assumptions, a commonly used previous method due to Babai and Friedl runs in time O(n^5) for n-dimensional representations. In our approach, the complexity of running both the heuristic decomposition and the certification step is O(max{n^3 log n, D d^2 log d}), where d is the maximum dimension of an irreducible subrepresentation, and D is the time required to multiply elements of the group. A reference implementation interfacing with RepLAB is provided.
△ Less
Submitted 27 August, 2021; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Stabilizer extent is not multiplicative
Authors:
Arne Heimendahl,
Felipe Montealegre-Mora,
Frank Vallentin,
David Gross
Abstract:
The Gottesman-Knill theorem states that a Clifford circuit acting on stabilizer states can be simulated efficiently on a classical computer. Recently, this result has been generalized to cover inputs that are close to a coherent superposition of logarithmically many stabilizer states. The runtime of the classical simulation is governed by the stabilizer extent, which roughly measures how many stab…
▽ More
The Gottesman-Knill theorem states that a Clifford circuit acting on stabilizer states can be simulated efficiently on a classical computer. Recently, this result has been generalized to cover inputs that are close to a coherent superposition of logarithmically many stabilizer states. The runtime of the classical simulation is governed by the stabilizer extent, which roughly measures how many stabilizer states are needed to approximate the state. An important open problem is to decide whether the extent is multiplicative under tensor products. An affirmative answer would yield an efficient algorithm for computing the extent of product inputs, while a negative result implies the existence of more efficient classical algorithms for simulating largescale quantum circuits. Here, we answer this question in the negative. Our result follows from very general properties of the set of stabilizer states, such as having a size that scales subexponentially in the dimension, and can thus be readily adapted to similar constructions for other resource theories.
△ Less
Submitted 19 February, 2021; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Rank-deficient representations in the Theta correspondence over finite fields arise from quantum codes
Authors:
Felipe Montealegre-Mora,
David Gross
Abstract:
Let V be a symplectic vector space and let $μ$ be the oscillator representation of Sp(V). It is natural to ask how the tensor power representation $μ^{\otimes t}$ decomposes. If V is a real vector space, then Howe-Kashiwara-Vergne (HKV) duality asserts that there is a one-one correspondence between the irreducible subrepresentations of Sp(V) and the irreps of an orthogonal group O(t). It is well-k…
▽ More
Let V be a symplectic vector space and let $μ$ be the oscillator representation of Sp(V). It is natural to ask how the tensor power representation $μ^{\otimes t}$ decomposes. If V is a real vector space, then Howe-Kashiwara-Vergne (HKV) duality asserts that there is a one-one correspondence between the irreducible subrepresentations of Sp(V) and the irreps of an orthogonal group O(t). It is well-known that this duality fails over finite fields. Addressing this situation, Gurevich and Howe have recently assigned a notion of rank to each Sp(V) representation. They show that a variant of HKV duality continues to hold over finite fields, if one restricts attention to subrepresentations of maximal rank. The nature of the rank-deficient components was left open. Here, we show that all rank-deficient Sp(V)-subrepresentations arise from embeddings of lower-order tensor products of $μ$ and $\barμ$ into $μ^{\otimes t}$. The embeddings live on spaces that have been studied in quantum information theory as tensor powers of self-orthogonal Calderbank-Shor-Steane (CSS) quantum codes. We then find that the irreducible Sp(V) subrepresentations of $μ^{\otimes t}$ are labelled by the irreps of orthogonal groups O(r) acting on certain r-dimensional spaces for r <= t. The results hold in odd charachteristic and the "stable range" t <= 1/2 dim V. Our work has implications for the representation theory of the Clifford group. It can be thought of as a generalization of the known characterization of the invariants of the Clifford group in terms of self-dual codes.
△ Less
Submitted 24 June, 2020; v1 submitted 17 June, 2019;
originally announced June 2019.
