A reversible and conservative model

Jérôme Durand-Lose

Description

Niveau: Supérieur, Doctorat, Bac+8
A reversible and conservative model based on rational signal machines for Black hole computation Jérôme Durand-Lose ? ?? LIFO, Université d'Orléans, B.P. 6759, F-45067 ORLÉANS Cedex 2. Abstract. In the context of Abstract geometrical computation, it has been proved that black hole model (and SAD computers) can be imple- mented. To be more physic-like, it would be interesting that the construc- tion is reversible and preserves some energy. There is already a (energy) conservative and reversible two-counter automaton simulation. In the present paper, based on reversible and conservative stacks, re- versible Turing machines are simulated. Then a shrinking construction that preserves these properties is presented. All together, a black hole model implementation that is reversible and conservative (both the shrink- ing structure and the universal Turing machine) is provided. Key-words. Abstract geometrical computation; Black hole model; En- ergy conservation; Reversibility; Signal machine 1 Introduction Reversibility forward and backward determinism is a very important issue in computer science [Bennett, 1988]. It has been studied from the mathematical point of view [Lecerf, 1963] from the 1960's and on a more machine approach from the 1970's: Turing machines [Bennett, 1973, 1989, MORITA et al.

• entangled inside undergo


• stack implementation


• conservative


• move inside


• collision rules


• space-time diagram


• signals

Sujets

• Conservatism
• Signals

Informations

• Publié par: profil-zyak-2012
• Nombre de lectures: 63
• Langue: English

Extrait

? ??
?
??
conservativemonotthlulardelanbasedredkinonquanrationalhesignalhasmacuringhinescounforRevBlacwithktholeholecomputationeJ?r?mepDurand-LosemacandetersibleMLIFmoO,oliUnivortanersit?tid'Orl?ans,energyB.Pg.energy6759,vF-45067dORL?ANSANR-09-BLAN-Cedexennett,2.studiedAbstract.viewInandthefromcon1973,textlogicofi,Abstract1993],geometrical1996],computation,[Tit19has90,balsoeenstepproInvareedofthatitblacexpkconservholeofmelooears,deltherevcomputationwydy(andSADorcomputers)procancobscienceeIimple-eementhetted.1963]T1960'oabapproace1970's:morehinesphMORITysic-lik,e,tsitTwMorita,ouldlbweautomatainysics-likterestingofthat1980],the[Tconstruc-TtionMargolus,is1997,revyersibleeenaasnwdcompu-preservaeswsomeinenergyconserv.loThererevismighalreadyeaene(energy).conservrefersativpreservequanandexplainedrevInersiblefteenteoplewexitedo-counBlacterdelautomatonasim2002,ulation.Ng,InJerome.Durand-Lose@unthewpresenpartiallytedpapeer,Abasedinonmputrevrersible[Band1988].conservtativbenstacfromks,mathematicalre-oinvofersib[Lecerf,lefromTeuringsmaconhinesmorearehinesimhulated.theThenTamacshrinking[Bennett,construction1989,thatApreserval.es1989],thesecircuiprop[Fertiesandisoolpresen1982,ted1990,.erkAlle,together,taoblacterk[Morita,holephmoeddelselcomputationsimplemenooli,tcel-aautomatatooli,ion77,thatoisandrev19ersibleDurand-Lose,and2001].conserversibilitativhaseb(bimpothttheashrink-toingardstructuretumandtation.thethisunivrersalcle,Teuringalsomacteresthine)theisationprosomevided.calKey-wsinceords.ersibilAbstractygeometricaltcomputation;preservBlacthekectedholermoydHere,el;ationEn-toergyheconationservsomeatitiedoasnb;w.Revtersibilitlasty;ySignalpmacgothineery1withInso-called,trkomoductionofRev[EtesiersibilitnyN?meti,forwLloardandand2004]Abackwiv-orleans.frardThisdeorkterminismasissuppatvberythimpANRortanjecttGAPE,issue0159-03.SADcomputers[Hogarth,1994,collreceivplain2004]ysincehowhileholesbailableeingthephactysicallTheyersiblefeasiblecelorustatatleastthenotleastraigh2009],tforwothardlyulatesimpvossconstribblec[EarmanhiandamoNorton,t1y993,revN?metiFandbAndr?ksystem,a,the2006,InN?metiaandenD?vthis,ihineryd,ything2006,hievAndr?ktheapresenetonal.,of2009]pittrefutestinChap-urc[20h-Trunuring'sofThesisanbeynevusingit!atheoreticallycceleratingmacoroinnite-timesystem,Tmouringcompute,maconehinesa[Coponeland,v2002,andHamkins2andvLewis,i20c00]kascomputations.decisionvoracles.plemenRoughlystructure.,oinitundergoweectorkslettingas(Leafolloonws:ananeobservareermacthroerswsdoadcomputingthatdeviceossibleinacttoinitiatedsomespacesp2008a]ecialJacopinikindeutiofasblacdamatzky,kanhole.nTheitdevicevhasitedaneinniteaamounittconsumeofttimeefullyaheadsofthereitunivtoofcom(seepeuteaandimplemenmakymeanssendableaacceleratesingleomputationsofiallognalsignalthateispartptoerceptiblesomethingfromthetheupbarticlesorder2006b,ofethepro-blacekAholeometricbandybltheforobservandeore.shoThetokcomputingeyapstructureoinsometandistangledthatinniteitkgetstheninnitelbysignalacthecelerated,isoandthatsideitsnotwholeInlifearticle,spanvideistionsinersiblethevpastandofTheanbilitobservstruc-ernotafteroaaccumbtsoundedblacdurationnotaftertheheAthrewometricthewdevice.aSotimeanterpartyautomatasignaltosenhestSonbTyHagiytheanddevice,idealizationwcomputingouldtobforeunlimitedreuceivtedtime,bmeforehathatetime.unlim-Knoamounwingofthatnthergytimevisorpast,shouldtheerobservaneramounknoofwHopwhether,orleanottthe,deviceareeversibleerersalsendhinethemanmekindsabsagev.references).Iorfdynamicthetomessagetisblacsenholetdelonlytobeeforetohalting,totheninnitelythechaltingonproblempartisthesolvtoedwinsinglesuctohvaandwanotheraofysystem,.haReveersibilittoyeandsignalblacactkon.holepreviouscomputation[Durand-Lose,migh005,t2008b,lowokhalikeevidedindepsendentttng,con-bstrceptsgenevalerthelessomputationatevsomenestedlevacel,holesthebfabricdiscreteofanalogrealitTydoiwshabeelievwewdim-totbmaceandrevfolding/shrinkingersible.ThisOneaccumeasyatwpatyantoentacinsidekledantheacceleration.issueblacofholeconsideringistheactedwyosomeconceptleatogethereisstructure.thatvasngsostructureoncomputationastheblacarekandholeaddressedcoymore.)mputtheattwiproonnewisucphthatysicallyrevfeasible,basedthenreatersiblesomehinerylevrevel,structure.itrevisidoneyintheaturerevesersiblegoweyanythe.ulationOneoinmasoynestedcoknaretestpthiswithbpresenyconstruction.sabstryinggethat,alnotomputationsonlyasconceptionaswconorksuoustheandothercounwofalulary[Durand-Lose,round,similarbutthemoreoproacvoferandiftaccthe[1990],macakhine[2005],sendain05]toalsoaanblacofkisionhole[Ahas2002].Abstractgeometricalcom-iswpuotatirevon.dealsprowithddimensionlessThemoksvinghsignalsThe.hecTheThesignalstedmoshrinkingvinsideews.insideativcon.tindealsuouscitytimeimplemenandAsspacerewrite:(here,thetheinrealainsline),andsteprulesadescribdebwhatcomputationhapphole.ensstractwhenuringtheytcollide.transitionTimeulationisonconspace-timetin.uousmanagedandeZeno-likksetoconstructionstheypromovidecaninnitelysmTManfrom,yersibleacforceleratingeenstepsFduringcanaoundednibtsomeeandduration.vTheresimplearewnitelybmantheywn,kindseofisstheiutatignals,bcalledymeta-signalshines.Sect.Theandsptogeeblacedoof5anstructureyeddingsignal2doinstanceesmeta-signalonlyendepyendsconservonrevtheofassopresenciatedstepmeta-signal,withsocitedthatesimilasaresignalsersibilitareeparallel.edWhenlysignalsvmebet,Intheytranslatesarere-replacedmacbamounystatenewetsignalstaccordingtactothecyoleli-asionTherulestothatddonlyindepstructure.endsvonativtheisin-comingdmeta-signals.yTheconstruction.sexplainedpacanecomputationconsidereden-herestructure.isshrinks,one-dimensional,scaledsousthatactsspblacacpape-timeasdi2agrofamscomareImplementrweo-dimhinesensional.ersibleTheysignalaredonedepictedowithfortiplemenme4groputtingwingheuprevwholeard.alTheinrevparts:ersibilitnyshrink-ofSect.aemsignalbmacinsidehiSignals.niseacorrespassoondsitstowhatbacsignalskwbardstacksdeterministicAcollisionativrandulersiblees.tationMoreostacviserted.wsecondeisimpdealosetransitions.ainsarticle,tricaretxconservpressedativeitherevcondition:ortherevnyumbbcerkofeasignalienandteringinaersecollisioncanmeustduced.bthisetheyequalautomaticallytototvhesignalonehines.leasignalving.tingBoththecanrembbewcthehecwksedks.bromyngoaningcomputationthroughbtheimplemencollisionwithinrules.bInspace.Durand-Losenext[2006a],isrevemersibleeetitwtoo-counshrinkingterFirstare-utersibleomconservataearestructureusedprotoiproeducebaarevgeometricersibleItmacthenhineryho.theInytheoundedpresencantearticletangled,thewAsestructureusethe1-tapisedoTthuringaccelerated.macstructurehineslik(TM)a[MkOTheRITerAarticulatedetfolloal.,Section1989].gathersThedenitionsrstab-issuegeometricalwithpimon.ptingleemensitinglaTTMmacisbtorevdealconservwithethemactapise.inThewtappart:e3isstacdecompim-osedtationasSect.theforwandordallbteforertheThehead,ersibletheksymembisolsunderdonethetheadoandSect.theconcewtratesordtheafter.ingSiwhilen6cwithebtheseawoundedordsdiagramareit.onlyDenitionsaccEacessedsignalfromanaofsinglemeta-signalside,Thetheyciatedcandenesbveloeandrepresenhapptedwhenandmeet. !
0 0f ;:::; g!f ;:::;g1 n 1 p
0 i j
11 l
l+2
0< < 1
v+v
l+1
1 i< < 1 i2f1;2;:::;lg
l+1 l+1
b(l+1)c (l+1)b (l+1)c

0 1 l
0 1 l
v v0 1
1 +v
l+1 l+1

v
!!
v
!
v v
! !
v
hingcollisionrule.conandareAwithrTulkedierenhasptheyform:stohine.ofmactngpdirationalnmaoocorresp(loheftdistanceofissueddenitionWhenthesimilarescanivscalegthe2vFigureFig.signals.eedthe,onositioned,indicated.areismeta-signalsandthethisandFig.wherearrivallandardsemenwarrandyupsignalasingtics.eisarerestmeta-signals.ected,A.rulesignalmatcecausehesscaleaissettoof(butcollidingbsignalspushifdeditsThelseft-hand,.sideTheyivstequalThtoptheeenset.oftranslatedtheirofmeta-signals.sColli(uppsoricessonstoruleserycthean.btheereacdeduceder-linefrommemspace-timereplaceddiagramcollide,assetonlisionFig.The1.stacTheyearevalsothelhaisteebutdooninFig.hine,2.denedSignalspacemachinuouseand.opAted.signalcorrespmacihineofisardenedasbseenyOnlyadetailed.setisofameta-signalsmemandisaeedsetrkofrkcol.lisionorules.regularlyAnerinitialandcongurationwis.adenotesstheemtofofetsignalsrkplacedrkonothmemeyrealerline.1).Theositionevaledolutio,npartoftoameta-signal.signalThemacathineofcanpropagationbiseofrepresenstotparallel.edesdmogeometricalstopslyone,asoamaspTheacise-timestopdiagrfromamb:,spacetheyissalwofaaysrules.represenColted.horizontoptalthelyk,manandstimeevanderticallyof,stacgroiswingtheyupexpwbards.as3ta-signals;StacTkimplemenimplementhistationa3.1macStacakisprinciple(bSincethewisetinareanddealing-less)withthenrationalpushnerationumimplemenbTheers,opitondsisthevneryerseeasypushtometa-signalsimplemenett)ancanunebonounded1.stacthekisofThenaturalmenencoumwithbzero-sperssignalr.toscaleincdenedinzero-spthesignalfollomawingtwmaadiereny:.is,timerkdiagram:.encoaredespthenevemptmoyestacdenedk.ositionsLet,space-time,b.e,a.rationalusnnumrbalerositionencomemdibngwofmaamemstmaacGenerallykT(pusha,ofisexamplebanmemfromworiginalpartositionFig.memThenThipisisncbbthe,ofexampleaersoftac1)kgetmatcFinamiddle.Fig.proThisstartsisthetancealaoare1.aranslatingtov.easy:Thismemensuresdirectionthat,reasaresoTheironencoasindicatetheTheirstacvktiswhennotrstemwsptrey,,hesaccordingrksignals.ofsignalsetcatchnewthenatoandvdistinctas,thetheofnew1.staccollisionkdis-oisvideswproy).theAfterppushingofa.vsalueeFiguresuredonytopdenition


3





3

l = 4 3
!f g!f g0 0
f g!f gi i
! !f g!f gi i

f g!f gi v v i0i ! f g!f gv v3 ! !
i<vf g!f gv i i v0 !!! f g!f g3 v v v
! ! 3 f g!f gi
! 3i f g!f gi i! !!1 f g!f g ! !
2 f g!f gi i! 3 f g!f gi i! ! 2 f g!f g
! !3 f g!f gi i
! ! 1 f g!f g
! 3i f g!f gv v v

3i i<v f g!f gi v v i
!!f g!f gi i
! !
f g!f gv i i v
0<v 0<i
l = 4
matherkrkma.mamemsigna