Tensor Products of Quantum Mappings

Seung-Hyeok Kye

Alexander Ya. Helemskii

Sen, Pranab

A classical t-tensor product expander is a natural way of formalising correlated walks of t particles on a regular expander graph. A quantum t-tensor product expander is a completely positive trace preserving map that is a straightforward analogue of a classical t-tensor product expander. Interest in these maps arises from the fact that iterating a quantum t-tensor product expander gives us a unitary t-design, which has many applications to quantum computation and information. We show that the zigzag product of a high dimensional quantum expander (i.e. t = 1) of moderate degree with a moderate dimensional quantum t-tensor product expander of low degree gives us a high dimensional quantum t-tensor product expander of low degree. Previously such a result was known only for quantum expanders i.e. t = 1. Using the zigzag product we give efficient constructions of quantum t-tensor product expanders in dimension D where t = polylog(D). We then show how replacing the zigzag product by the generalised zigzag product leads to almost-Ramanujan quantum tensor product expanders i.e. having near-optimal almost quadratic tradeoff between the degree and the second largest singular value. Both the products give better tradeoffs between the degree and second largest singular value than what was previously known for efficient constructions.

Sergey N. Filippov, Kamil Yu. Magadov

Abstract We analyze positivity of a tensor product of two linear qubit maps, Φ 1 ⊗ Φ 2 . Positivity of maps Φ 1 and Φ 2 is a necessary but not a sufficient condition for positivity of Φ 1 ⊗ Φ 2 . We find a non-trivial sufficient condition for positivity of the tensor product map beyond the cases when both Φ 1 and Φ 2 are completely positive or completely co-positive. We find necessary and (separately) sufficient conditions for n -tensor-stable positive qubit maps, i.e. such qubit maps Φ that Φ ⊗ n is positive. Particular cases of 2- and 3-tensor-stable positive qubit maps are fully characterized, and the decomposability of 2-tensor-stable positive qubit maps is discussed. The case of non-unital maps is reduced to the case of appropriate unital maps. Finally, n -tensor-stable positive maps are used in characterization of multipartite entanglement, namely, in the entanglement depth detection.

A. I︠a︡. Khelemskiĭ

Laura Mančinska, David E. Roberson