The Computational Power of Frictional Mechanical Systems

Abstract

In this paper we deene a class of mechanical systems consisting of rigid objects (deened by linear or quadratic surface patches) connected by frictional contact linkages between surfaces. (This class of mechanisms is similar to the Analytical Engine developed by Babbage in 1800s except that we assume frictional surfaces instead of toothed gears.) We prove that a universal Turing Machine (TM) can be simulated by a (universal) frictional mechanical system in this class. Our universal frictional mechanical system has the property that it can reach a distinguished nal conngura-tion through a sequence of legal movements if and only if the universal TM accepts the input string encoded by its initial connguration. There are two implications from this result. First, the mover's problem is undecid-able when there are frictional linkages. Second, a mechanical computer can be constructed that has the computational power of any conventional electronic computer and yet has only a constant number of mechanical parts. Previous constructions for mechanical computing devices (such as Babbage's Analytical Engine) either provided no general construction for nite state control or the control was provided by electronic devices (as was common in electro-mechanical computers such as Mark I subsequent to Turing's result). Our result seems to be the rst to provide a general proof of the simulation of a universal TM via a purely mechanical mechanism. In addition, we discuss the universal frictional mechanical system in the context of an error model that allows error up to in each mechanical operation. First, we show that for a universal TM M, a frictional mechanical system of this-error model can be constructed such that, given any space bound S, the system can simulate the computation of M on any input string ! if M decides ! in space bound S, provided that < 2 ?cS for some constant c. Second, we show that, for any universal TM M and space bound S, if we let = O(S ?1), there exists a frictional mechanical system in the-error model that can simulate M on any input which M decides in space bound S.