Basis-copying isometry

ID: basis-copying-isometry

Relative to a fixed orthonormal basis, the displayed linear map is an isometry because its basis images are orthonormal. Its adjoint obeys . If vectors are described by coefficient functions, this adjoint maps to , where the product is pointwise. Although copies every basis quantum state, it does not copy arbitrary superpositions. For example it sends to , whereas two copies would also contain the cross terms and .

New to topics? Read the docs here!