IntroductionThis course will focus on a formal presentation of definitions and theorems on quantum channels in quantum information theory.Numerous mathematical proofs of these theorems will be showed.Lecturer IntroMeng Cao received the PhD degree from the Department of Mathematical Sciences, Tsinghua University, in Aug. 2020. From Sep. 2020 to Nov. 2022, he worked as a postdoctoral researcher i...
Prerequisite"Logic and Computation I". Those who did not take our course last semester had better consult with the lecturer or TA before enrolling this course. Please find more information on "Logic and Computation I" at https://www.bimsa.cn/newsinfo/749634.html AbstractIn the last semester, we studied basics of computable functions, first-order logic and complexity theory. In this semester, we...