mathematical foundations of quantum information theory