  We consider the problem of estimating an SU(d) quantum operation when n
copies of it are available at the same time. It is well known that, if one uses
a separable state as the input for the unitaries, the optimal mean square error
will decrease as 1/n. However it is shown here that, if a proper entangled
state is used, the optimal mean square error will decrease at a 1/n^2 rate. It
is also shown that spherical 2-designs (e.g. complete sets of mutually unbiased
bases and symmetric informationally complete positive operator valued measures)
can be used to design optimal input states. Although 2-designs are believed to
exist for every dimension, this has not yet been proven. Therefore, we give an
alternative input state based on approximate 2-designs which can be made
arbitrarily close to optimal. It is shown that measurement strategies which are
based on local operations and classical communication between the ancilla and
the rest of the system can be optimal.
