Quantum Logical Gate Based on Fock Space (函数解析学の応用としての情報数理の研究)

Wolfgang Freudenberg, Masanori Ohya, Noboru Watanabe

Wolfgang Freudenberg, Ohya, Masanori, Noboru Watanabe

ファイル差し替え（2021/08/20）

Stanley Gudder

Wolfgang Freudenberg, Masanori Ohya, Noboru Watanabe

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini

The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence α is identified with a quantum information quantity, represented by a density operator of a Hilbert space, whose dimension depends on the logical complexity of α. At the same time, the logical connectives of the language are interpreted as operations defined in terms of quantum logical gates. Standard quantum computational models can be described as special cases of Fock space models, where the meaning of any sentence is localized in a precise sector of a Fock space ℱ. From an intuitive point of view, the increasing number of particles described in the different sectors of ℱ can be interpreted as increasing information.

Wolfgang Freudenberg, Masanori Ohya, NOBURO WATANABE