A New Way to Implement Quantum Computation  

作　　者：Gennaro Auletta 

机构地区：[1]University of Cassino, Cassino, Italy

出　　处：《Journal of Quantum Information Science》2013年第4期127-137,共11页量子信息科学期刊（英文）

摘　　要：In this paper, I shall sketch a new way to consider a Lindenbaum-Tarski algebra as a 3D logical space in which any one (of the 256 statements) occupies a well-defined position and it is identified by a numerical ID. This allows pure mechanical computation both for generating rules and inferences. It is shown that this abstract formalism can be geometrically represented with logical spaces and subspaces allowing a vectorial representation. Finally, it shows the application to quantum computing through the example of three coupled harmonic oscillators.In this paper, I shall sketch a new way to consider a Lindenbaum-Tarski algebra as a 3D logical space in which any one (of the 256 statements) occupies a well-defined position and it is identified by a numerical ID. This allows pure mechanical computation both for generating rules and inferences. It is shown that this abstract formalism can be geometrically represented with logical spaces and subspaces allowing a vectorial representation. Finally, it shows the application to quantum computing through the example of three coupled harmonic oscillators.

关 键 词：Lindenbaum-Tarski ALGEBRA 3D Logical Space Mechanical Computation INFERENCE Quantum Com-puting RAISING OPERATORS Lowering OPERATORS 

分 类 号：O1[理学—数学]