連続変量系を用いた離散的量子情報処理
Takaya Matsuura
Abstract
Continuous-variable quantum systems are characterized by physical quantities that can take continuous values.It appears in many physical systems, such as the position and momentum of oscillator modes of trapped ions and the complex amplitude of an optical mode.Especially, the quantum optical system is one of the most important continuous-variable systems for the quantum information application since light is an information carrier for telecommunication and behaves quantum mechanically even in the room-temperature environment.Furthermore, the complex amplitude of the optical mode can easily be manipulated.However, using a continuous variable, as it is, in quantum information processing does not work since a continuous variable is subject to continuous noises in the physical world, and such noises cannot completely be corrected.In order to perform reliable and fault-tolerant quantum information processing, information should be encoded in a digitized degree of freedom.In this thesis, digital quantum information processing with continuous-variables systems is studied in the quantum key distribution (QKD) and the quantum computation (QC), two major fields of quantum information processing.For the QKD, the so-called continuous-variable QKD protocols, in which information is encoded on the complex amplitude of an optical pulse and the homodyne or heterodyne detector is used to measure it, are studied.More specifically, a continuousvariable QKD protocol that uses discretely modulated signals and the classical digital information processing is developed, and its security proof against general attacks in the finite-key case is established.This is achieved by virtually introducing the discretevariable quantum system into the continuous-variable system and thereby reducing its security argument to that of discrete-variable QKDs, which is more mature.This is in sharp contrast to the previous security analyses on this kind of QKD protocol, where they directly use continuous variables in the security analyses and thus have difficulty in extending the analyses to the finite-key case.Another key to our security proof is the development of the method of estimating a lower bound on the fidelity to the coherent states, which eventually leads to the evaluation of how well the discrete-variable system can be approximated by the continuous-variable one.These security analyses are further elaborated, and a protocol whose key rate against the loss noise achieves almost optimal scaling is obtained.For the QC with the continuous-variable system, the Gottesman-Kitaev-Preskill (GKP) code, which encodes discrete quantum information into a continuous-variable system, is studied.This code has many desirable properties for the optical implementation of QC; e.g., the universal QC is possible using only the Gaussian operations, which are relatively easy to implement in the quantum optical system, along with the GKP-encoded states.Because the ideal GKP-encoded state is unphysical, only i I have received much support and advice during my Ph.D. studies.First, I would like to express my sincere thanks to my supervisor Masato Koashi for the instruction and all the constructive suggestions.He was always ready to listen to my questions and concerns for both academic and non-academic matters.From him, I learned the approaches to challenging problems and the importance of thorough consideration.