Quantum field theory and computational paradigms

Krishnamurthy, E. V. ; Krishnamurthy, Vikram (2001) Quantum field theory and computational paradigms International Journal of Modern Physics C, 12 (8). pp. 1179-1205. ISSN 0129-1831

Full text not available from this repository.

Official URL: http://www.worldscinet.com/ijmpc/12/1208/S01291831...

Related URL: http://dx.doi.org/10.1142/S0129183101002437

Abstract

We introduce the basic theory of quantization of radiation field in quantum physics and explain how it relates to the theory of recursive functions in computer science. We outline the basic differences between quantum mechanics (QM) and quantum field theory (QFT) and explain why QFT is better suited for a computational paradigm - based on algorithmic requirement, countably infinite degrees of freedom and the creation of macroscopic output objects. The quanta of the radiation field correspond to the non-negative integers and the harmonic oscillator spectra correspond to the recursive computation - with the creation and annihilation operators, respectively, playing the same role as the successor and predecessor in computability theory. Accordingly, this approach relates the classical computational model and the quantum physical model more directly than the Turing machine approach used earlier. Also, the application of Lambda calculus formalism and the associated denotational semantics (that is widely used in the classical computational paradigm involving recursive functions) for applications to computational paradigm based on quantum field theory is described. Finally, we explain where QFT and conventional paradigm depart from each other, and examine the concept of fixed points, phase transitions, programmability, emergent computation and related open problems.

Item Type:Article
Source:Copyright of this article belongs to World Scientific Publishing Co Pte Ltd.
Keywords:Annihilation-Creation; Bosonic Counter; Conrad's Principle; Denotational Semantics; Emergent Computation; Fermionic Switch; Fixed Points; Harmonic Oscillator; Lambda Calculus; Multiset Rule-Based Paradigm; Nonprogrammability; Occupation Numbers; Phase Transitions; Predecessor-Successor; Recursive Function
ID Code:28182
Deposited On:14 Dec 2010 08:17
Last Modified:04 Jun 2011 06:49

Repository Staff Only: item control page