# Evenly distributed unitaries: On the structure of unitary designs

@article{Gross2007EvenlyDU, title={Evenly distributed unitaries: On the structure of unitary designs}, author={David Gross and Koenraad M. R. Audenaert and Jens Eisert}, journal={Journal of Mathematical Physics}, year={2007}, volume={48}, pages={052104-052104} }

We clarify the mathematical structure underlying unitary t-designs. These are sets of unitary matrices, evenly distributed in the sense that the average of any tth order polynomial over the design equals the average over the entire unitary group. We present a simple necessary and sufficient criterion for deciding if a set of matrices constitutes a design. Lower bounds for the number of elements of 2-designs are derived. We show how to turn mutually unbiased bases into approximate 2-designs…

## 90 Citations

Unitary designs and codes

- MathematicsDes. Codes Cryptogr.
- 2009

In this paper, irreducible representations of the unitary group are used to find a general lower bound on the size of a unitary t-design in U(d), for any d and t.

The Clifford group forms a unitary 3-design

- MathematicsQuantum Inf. Comput.
- 2016

It is proved that the Clifford group is a 3-design, showing that it is a better approximation to Haar-random unitaries than previously expected and characterizing how well random Clifford elements approximateHaar- random unitaries.

The Clifford group fails gracefully to be a unitary 4-design

- Mathematics
- 2016

A unitary t-design is a set of unitaries that is "evenly distributed" in the sense that the average of any t-th order polynomial over the design equals the average over the entire unitary group. In…

On the explicit constructions of certain unitary t-designs

- MathematicsJournal of Physics A: Mathematical and Theoretical
- 2019

Unitary t-designs are ‘good’ finite subsets of the unitary group that approximate the whole unitary group well. Unitary t-designs have been applied in randomized benchmarking, tomography, quantum…

Weighted complex projective 2-designs from bases : Optimal state determination by orthogonal measurements

- Mathematics
- 2007

We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then…

Multiqubit Clifford groups are unitary 3-designs

- Mathematics
- 2017

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,…

Isoentangled Mutually Unbiased Bases, Symmetric Quantum Measurements, and Mixed-State Designs.

- MathematicsPhysical review letters
- 2020

The problem of whether a complete set of five isoentangled mutually unbiased bases exists in dimension four is solved, providing an explicit analytical construction and it is shown that partial traces of a projective design in a composite Hilbert space form a mixed-state design.

Efficiency of producing random unitary matrices with quantum circuits

- Mathematics
- 2008

We study the scaling of the convergence of several statistical properties of a recently introduced random unitary circuit ensemble towards their limits given by the circular unitary ensemble (CUE).…

Decoupling with random diagonal unitaries

- Mathematics
- 2015

We investigate decoupling, one of the most important primitives in quantum Shannon theory, by replacing the uniformly distributed random unitaries commonly used to achieve the protocol, with repeated…

Qubit stabilizer states are complex projective 3-designs

- MathematicsArXiv
- 2015

The main technical ingredient is a general recursion formula for the so-called frame potential of stabilizer states, which reduces to a counting problem in discrete symplectic vector spaces for which it is found a simple formula.

## References

SHOWING 1-10 OF 37 REFERENCES

The real symplectic groups in quantum mechanics and optics

- Mathematics
- 1995

We present a utilitarian review of the family of matrix groups Sp(2n, ℛ), in a form suited to various applications both in optics and quantum mechanics. We contrast these groups and their geometry…

An algorithm for constructing representations of finite groups

- Mathematics, Computer ScienceJ. Symb. Comput.
- 2005

Wigner functions and separability for finite systems

- Mathematics
- 2005

A discussion of discrete Wigner functions in phase space related to mutually unbiased bases is presented. This approach requires mathematical assumptions, which limits it to systems with density…

Hudson's theorem for finite-dimensional quantum systems

- Mathematics
- 2006

We show that, on a Hilbert space of odd dimension, the only pure states to possess a non-negative Wigner function are stabilizer states. The Clifford group is identified as the set of unitary…

Symmetric informationally complete–positive operator valued measures and the extended Clifford group

- Mathematics
- 2005

We describe the structure of the extended Clifford group [defined to be the group consisting of all operators, unitary and antiunitary, which normalize the generalized Pauli group (or Weyl–Heisenberg…

Standard forms of noisy quantum operations via depolarization

- Physics
- 2005

We consider completely positive maps that describe noisy, multiparticle unitary operations. We show that by random single-particle operations the completely positive maps can be depolarized to a…

Symmetric informationally complete quantum measurements

- Mathematics
- 2003

It is conjecture that a particular kind of group-covariant SIC–POVM exists in arbitrary dimensions, providing numerical results up to dimension 45 to bolster this claim.

Aspects of mutually unbiased bases in odd-prime-power dimensions

- Mathematics
- 2002

We rephrase the Wootters-Fields construction [W. K. Wootters and B. C. Fields, Ann. Phys. 191, 363 (1989)] of a full set of mutually unbiased bases in a complex vector space of dimensions N=p r ,…

Induced measures in the space of mixed quantum states

- Mathematics
- 2000

We analyse several product measures in the space of mixed quantum states. In particular, we study measures induced by the operation of partial tracing. The natural, rotationally invariant measure on…

Tight informationally complete quantum measurements

- Mathematics
- 2006

We introduce a class of informationally complete positive-operator-valued measures which are, in analogy with a tight frame, 'as close as possible' to orthonormal bases for the space of quantum…