Exact and approximate unitary 2-designs and their application to fidelity estimation

  title={Exact and approximate unitary 2-designs and their application to fidelity estimation},
  author={Christoph Dankert and Richard Cleve and Joseph Emerson and Etera R. Livine},
  journal={Physical Review A},
We develop the concept of a unitary $t$-design as a means of expressing operationally useful subsets of the stochastic properties of the uniform (Haar) measure on the unitary group $U({2}^{n})$ on $n$ qubits. In particular, sets of unitaries forming 2-designs have wide applicability to quantum information protocols. We devise an $O(n)$-size in-place circuit construction for an approximate unitary 2-design. We then show that this can be used to construct an efficient protocol for experimentally… 

Figures from this paper

Efficient quantum pseudorandomness with nearly time-independent hamiltonian dynamics
We provide new constructions of unitary $t$-designs for general $t$ on one qudit and $N$ qubits, and propose a design Hamiltonian, a random Hamiltonian of which dynamics always forms a unitary design
On Unitary t-Designs from Relaxed Seeds
This work reduces the requirements for generating an ε-approximate unitary t-design efficiently and conjecture that constant sized seeds such as those which are usually present in the literature are sufficient, thereby overcoming the two requirements which limited previous constructions.
A compressed classical description of quantum states
The compression scheme directly gives a new protocol for the vector in subspace problem with randomized one-way communication complexity that matches (up to polylogarithmic factors) the best known upper bound, due to Raz.
Near-linear construction of exact unitary 2-designs ( Extended abstract )
We present a unitary 2-design on n qubits that can be exactly implemented withO(n log n log log n) elementary gates from the Clifford group (assuming the Extended Riemann Hypothesis is true). This is
Lightweight Detection of a Small Number of Large Errors in a Quantum Circuit
This paper gives an efficient and lightweight procedure under the assumption that $U$ and $\tilde{U}$ are Clifford circuits which are either equal, or different in arbitrary ways, and notes that the Clifford result follows from earlier work of Flammia and Liu.
Noise tailoring for quantum circuits via unitary 2t-design
This work proposes a method whereby the twirled noise over a unitary 2t-design (a set of unitary matrices that approximate the entire unitary group) for quantum circuits can be tailored into stochastic noise, which is an important guarantee for achieving fault-tolerant quantum computation.
Quantum decoupling via efficient `classical' operations and the entanglement cost of one-shot quantum protocols
The question of efficient implementation of quantum protocols, with short depth circuits and small additional resource, is addressed, and a new one-shot entanglement-assisted protocol for quantum channel coding that achieves near-optimal communication through a given channel is constructed.
Unitary designs from statistical mechanics in random quantum circuits.
It is argued that random circuits form approximate unitary $k$-designs in O(nk) depth and are thus essentially optimal in both £n and $k, and can be shown in the limit of large local dimension.
Weak approximate unitary designs and applications to quantum encryption
This work gives a partially derandomized construction of a quantum encryption scheme that has roughly the same key size and security as the quantum one-time pad, but possesses the additional property of being non-malleable against adversaries without quantum side information.
Scalable estimation of pure multi-qubit states
We introduce an inductive n -qubit pure-state estimation method based on projective measurements on m n  + 1 separable bases or m entangled bases plus the computational basis, with m  ≥ 2. The method


Scalable noise estimation with random unitary operators
While the scalability of the stochastic protocol makes it most relevant in large Hilbert spaces (when quantum process tomography is infeasible), the method should be immediately useful for evaluating the degree of control that is achievable in any prototype quantum processing device.
Convergence conditions for random quantum circuits
It is proved that the measure over random circuits converges exponentially (with increasing circuit length) to the uniform (Haar) measure on the unitary group, though the rate for uniform convergence must decrease exponentially with the number of qubits.
Randomizing Quantum States: Constructions and Applications
It is shown that there exists a set of roughly d’log d unitary operators whose average effect on every input pure state is almost perfectly randomizing, as compared to the d2 operators required to randomize perfectly.
Standard forms of noisy quantum operations via depolarization
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
Generic entanglement can be generated efficiently.
We find that generic entanglement is physical, in the sense that it can be generated in polynomial time from two-qubit gates picked at random. We prove as the main result that such a process
Design of strongly modulating pulses to implement precise effective Hamiltonians for quantum information processing
We describe a method for improving coherent control through the use of detailed knowledge of the system’s Hamiltonian. Precise unitary transformations were obtained by strongly modulating the
Remote preparation of quantum states
The paper includes an extensive discussion of the results, including the impact of the choice of model on the resources, the topic of obliviousness, and an application to private quantum channels and quantum data hiding.
Pseudo-Random Unitary Operators for Quantum Information Processing
This work uses a nuclear magnetic resonance quantum processor to realize pseudorandom unitary operators that reproduce the expected random distribution of matrix elements and enables the practical application of random unitary operator in quantum communication and information processing protocols.
Symmetrized Characterization of Noisy Quantum Processes
This work introduces a technique based on symmetrization that enables direct experimental measurement of some key properties of the decoherence affecting a quantum system and reduces the number of experiments required from exponential to polynomial in thenumber of subsystems.
Symmetric informationally complete quantum measurements
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.