Towards a molecular logic machine

Finite state logic machines can be realized by pump–probe spectroscopic experiments on an isolated molecule. The most elaborate setup, a Turing machine, can be programmed to carry out a specific computation. We argue that a molecule can be similarly programmed, and provide examples using two photon spectroscopies. The states of the molecule serve as the possible states of the head of the Turing machine and the physics of the problem determines the possible instructions of the program. The tape is written in an alphabet that allows the listing of the different pump and probe signals that are applied in a given experiment. Different experiments using the same set of molecular levels correspond to different tapes that can be read and processed by the same head and program. The analogy to a Turing machine is not a mechanical one and is not completely molecular because the tape is not part of the molecular machine. We therefore also discuss molecular finite state machines, such as sequential devices, for which...

[1]  W. Moerner,et al.  Illuminating single molecules in condensed matter. , 1999, Science.

[2]  George Boolos,et al.  Computability and logic , 1974 .

[3]  J. David Irwin,et al.  An Introduction to Computer Logic , 1974 .

[4]  Charles H. Bennett,et al.  Logical reversibility of computation , 1973 .

[5]  Bergmann,et al.  Coherent population transfer in multilevel systems with magnetic sublevels. III. Experimental results. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[6]  Taylor L. Booth,et al.  Sequential machines and automata theory , 1967 .

[7]  B. Shore.  The Theory of Coherent Atomic Excitation, Volume 2, Multilevel Atoms and Incoherence , 1990 .

[8]  Andrew S. Tanenbaum,et al.  Structured Computer Organization , 1976 .

[9]  M. Reed,et al.  Computing with molecules. , 2000, Scientific American.

[10]  George Boolos,et al.  Computability and logic: 3rd ed. , 1989 .

[11]  John E. Savage,et al.  The Complexity of Computing , 1976 .

[12]  C. cohen-tannoudji,et al.  Atom-photon interactions , 1992 .

[13]  R. Feynman.  Simulating physics with computers , 1999 .

[14]  M. P. Fewell,et al.  Coherent population transfer among three states: full algebraic solutions and the relevance of non adiabatic processes to transfer by delayed pulses , 1997 .

[15]  Morton H. Lewin.  Logic Design and Computer Organization , 1982 .

[16]  C. Hamilton,et al.  Stimulated Emission Pumping: New Methods in Spectroscopy and Molecular Dynamics , 1986 .

[17]  M. Orrit,et al.  Triggered Source of Single Photons based on Controlled Single Molecule Fluorescence , 1999 .

[18]  Thomas Halfmann,et al.  Coherent population transfer and dark resonances in SO2 , 1996 .

[19]  D. Deutsch.  Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[20]  John Ross,et al.  Implementation of logic functions and computations by chemical kinetics , 1995 .

[21]  F Remacle,et al.  Logic gates using high Rydberg states , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[22]  T. Hornung,et al.  Optimal control of molecular states in a learning loop with a parameterization in frequency and time domain , 2000 .

[23]  J. Gimzewski,et al.  Electronics using hybrid-molecular and mono-molecular devices , 2000, Nature.

[24]  Coherent population transfer in NO with pulsed lasers: the consequences of hyperfine structure, doppler broadening aaand electromagnetically induced absorption , 1998 .

[25]  R. Levine,et al.  A molecular logic gate. , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[26]  B. Shore,et al.  Coherent population transfer among quantum states of atoms and molecules , 1998 .

[27]  Jon Barwise,et al.  Turing's World , 1990 .

[28]  Charles H. Bennett,et al.  The thermodynamics of computation—a review , 1982 .

[29]  D. Zeidler,et al.  Optimal control of one- and two-photon transitions with shaped femtosecond pulses and feedback , 2000 .