Lecture notes on quantum entanglement:From stabilizer states to stabilizer channels  

作　　者：Amir R.Arab 

机构地区：[1]Steklov Mathematical Institute of Russian Academy of Sciences,Gubkina Str.,8,Moscow 119991,Russia [2]Moscow Institute of Physics and Technology,9 Institutskiy Per.,Dolgoprudny,Moscow Region,141701,Russia

出　　处：《Frontiers of physics》2024年第5期207-226,共20页物理学前沿（英文版）

摘　　要：We study mathematical,physical and computational aspects of the stabilizer formalism arising in quantum information and quantum computation.The measurement process of Pauli observables with its algorithm is given.It is shown that to detect genuine entanglement we need a full set of stabilizer generators and the stabilizer witness is coarser than the GHZ(Greenberger-Horne-Zeilinger)witness.We discuss stabilizer codes and construct a stabilizer code from a given linear code.We also discuss quantum error correction,error recovery criteria and syndrome extraction.The symplectic structure of the stabilizer formalism is established and it is shown that any stabilizer code is unitarily equivalent to a trivial code.The structure of graph codes as stabilizer codes is identified by obtaining the respective stabilizer generators.The distance of embeddable stabilizer codes in lattices is obtained.We discuss the Knill-Gottesman theorem,tableau representation and frame representation.The runtime of simulating stabilizer gates is obtained by applying stabilizer matrices.Furthermore,an algorithm for updating global phases is given.Resolution of quantum channels into stabilizer channels is shown.We discuss capacity achieving codes to obtain the capacity of the quantum erasure channel.Finally,we discuss the shadow tomography problem and an algorithm for constructing classical shadow is given.

关 键 词：Pauli product stabilizer state measurement process entanglement detection stabilizer code stabilizer circuit quantum channel TOMOGRAPHY 

分 类 号：O413[理学—理论物理]