+ All Categories
Home > Documents > Kurdyumov Example

Kurdyumov Example

Date post: 02-Jun-2018
Category:
Upload: arelavrenti
View: 213 times
Download: 0 times
Share this document with a friend

of 4

Transcript
  • 8/10/2019 Kurdyumov Example

    1/4

    Dokl. Akad. NaukSSSR

    Tom238 (1978), No. 6

    Soviet Math. Dokl.

    Vol. 19 (1978), No. 1

    A N E X A M P L E O F A N O N E R G O D I C O N E D I M E N S I O N A L H O M O G E N E O U S

    RAND O M MEDIUM WITH PO SITIVE TR AN SITIO N PRO BAB ILITIES

    UDC 519.217.1

    G. L. KURDJUMOV

    A one-dimensional homogeneous random medium

    S^

    (where

    y

    is the state-transition

    function of the elements) is an infinite system of automata {s

    (

    -},where / ranges over all the

    integers, operating in discrete time t = 0,1, 2, . . . . The state of autom aton s

    t

    at time f,

    which we denote by s', is an element of a finite set X. It is determined with a certain prob

    ability by the states at time t - 1 of the automata s,-_

    x

    , s

    p

    s

    j+x

    ; nam ely, if the values of

    s" are given for all i, u

  • 8/10/2019 Kurdyumov Example

    2/4

    ~

    and indicates;the various stable states of this medium such that their outp ut trajectories

    never intersect; after this one proves that if all the transition probabilities of the'medium

    so constructed are made positive by adding a sufficiently small independent random noise,

    then th e trajectories issuing from the stable initial states , as before, do not m eet. This en

    able^ one to prove that to each stable state,corresponds itsown

    v

    invariant measure; under

    certain additional conditions one proves linear independe nce of those states . In our case

    both the deterministic medium itself and its stable initial states are very complica ted. We

    will describe them simultaneously and depict all the constructions together.

    Description of the construction.

    The cons truction in the large is an organized structure

    of infinite length with an infinite number ofhierarchies

    t

    of cell-like divisions . Cells of the first

    level are just the elements of the

    medium*

    All cells of the second level are constru cted out

    of those of the first level and consist of tw o parts: a zone of difference and a reference,

    direc tory. Along the edges a second-level cell is borde red by auto ma ta in the br ac ke t -

    state, among which a single head of a Turing machine freely moves.and^operates. The head

    can never cross over the bracket of a neighbor but it can "look in there, having sent its

    do ubl e across the boun dary , i.e., a similar head capable only of looking in somewhere

    within the bounds of a cell and communicating about "what it sees to its master. The .

    general assignment of a cell is to make a comparison with an automaton similar,to those of

    which it consists itself. For th is a word is wr itten in the z one of difference of the cell en

    codingthe/state of one automaton, and the operation of the head consistsin (and not only

    in this, as we see in wha t follows) investigating with the aid of the doubles the contends

    of the zone s of difference of its nearest neighbors, com paring the set. of three w ords ob

    tained with the information in the directory, and altering accordingly the contents of its

    zone of difference. The process is repea ted infinitely ma ny times.

    }

    In order

    foi

    the entire system to be resistent to noise, all information is copied no

    fewer, than,three times in constructing{he cells of the second level from those of the-first.

    The head and brackets are also duplicated so that no single malfunction canprevent the,nor-

    mal operation of all cells; it willbe.corrected w ithout a trace at the very next instant. The

    magnitude of thenoisein the medium is made small enough for the,probability of two.fail

    ures in an entire cell over the whole period of its operation to, be at most halftiie probabil

    ity of failure of one element per unit of time . Thus the probab ility of incorrect -functioning

    of a cell of the second level is at most half the probability of.incorrect operation of a cell

    of first level.

    In a completely analogous way cells of the third level are constructed from those of

    the second, and from those cells of the f ourth, etc. The probability of incorrec t functioning

    of a cell at each (i + l)th' level is at least two times less than the corresponding probability

    for a cellat th e ith level; on this account stability of the entire construction is achieved.

    It should be mentioned that, according to the scheme described above, only code

    failures can-be corrected, i.e., only those that do

  • 8/10/2019 Kurdyumov Example

    3/4

    influence of a group of failures occurring in it itself.

    In order that this kind of pathologica l aggression might not be prolonged indefinitely,

    special measures are introduced, aimed at curbing the speed of any (including positive) aggres

    sion and at localizing any patho logies. In particu lar, if a certain cell discovers tha t its neigh

    bor on the right is,not con structed th e same as it is, the n it sends to its. destru ctor a special

    signal, which attenuates at a fixed distance,equal to tw o cell lengths, erasing all inform ation

    there and creating two new,cells comprising only brack ets along the bo rders a nd heads in the

    appropriate states. The left o ne of the newly generated cells begins to observe the right on e,

    andtlje right one to mark the time; this continues throug hout the nex t five periods. This

    delay is necessary so tha t in case the aggressor is a single patholog ical cell, the left neighb or

    is able to recognize the pathology in it and to destroy it before the resulting new cells ac

    quire the power to oper ate actively .

    -Localization of the movement of a destructor (and hence of the zone of its destruction)

    is achieved by degradation of the destructor itself according to the degree of its movement.

    The states of the network elements associated with the destructors are indexed; the index of

    a destructor is reduced at each step of its progress. The to tal num ber of possible indices is

    equal to twice the length of a cell. In order not to bring about a contradiction w hen one

    element of the medium is modeled by a cell (the length of a cell depends upon the structure

    of tr\emedium,,and therefore also upon the number of possible states of an element of it),

    a special me thod of coding the destructive states is established. If each nond estructive state

    is coded.by a word to which correspond definite places in the directory (all normal cells

    have the same directory) indicating the required transitions from this state, then each state

    corresponding to a destructor is coded by a word which, in the first place, is explicitly dif

    ferent from all codes of the nondestructive states and, in the second place, contains the

    entry- of a natura l numb er called the index of the des truc tor. The destructive state with

    the largest index can be referred to in the directory not as an initial state, but as one to

    which one must pass. The movem ent of a destru ctor of the highest level takes place also on

    account of the process of aggression.

    The result of agression is the b irth of two new cells. These cells have a definite matu ring

    period. If in this time their paren t is destro yed , they remain in a rudimen tary s tate ; bu t if

    not, then after completing their period they copy his transition directory for themselves.

    If in this pvent the parent cell (not having been destroyed) represents a destructor (at a unit

    of the highest level) not-expiring and yet removed from it by a distance (equal to two cell

    lengths), then the newly created cells require aggressiveness , send ou t to their right neigh

    bors a destructor and also begin to represent a destructor (at the highest level) themselves;

    however, they note in their zones of difference that this destructor traverses one more step

    of its path.

    ,If th eparent,cell .represents a destructor proceeding through itsentire,path, then the

    right one of its ch ild ren begins to represent a right brack et and aggression is not resum ed.

    In this case the.right one of the newly generated cells looks to the right, and if it discovers

    an imm ature cell the re, it rapidly becomes aggressive and starts for its-destructor. If there

    proves to be afully developed cell on the right of the newly created dells, then the righ t

    one of those newly created compares the structure with its own. If coincidence is.detected,

    then the newly generated cells acquire full deve lopm ent: the y become aggressive , fill ou t

    their zones of difference, and the correction is completed in this cycle.

    i

    213

  • 8/10/2019 Kurdyumov Example

    4/4

    In case the newly created cells, having copied the directory of their parent, do not de

    tect-similaritybetweenthemselves-and their'fully developed right neighbor, they- freeze ,

    i.e.,they'do not take on aggressiveness, and their zones of difference remain uncompleted.

    If after this the double of a higher level is set in motion al6ng the cells in the form of a

    singular wave from left to right and is driven in to the pair of fro ze n cells, then it vanishes;

    from this itsmasterthe metacell'-on the left makes an inference about the necessity of

    destroying all the corresponding metacells: In order for a*single failure not to be able to cause

    destruction of acell, while any failures inside

    j

    a single cell would not'bring about destruction

    of a metacell, etc., the destructors are duplicated inthe'sameway that all of the other'useful

    information in the cells is duplicated.

    The lastquestionthat of "search"is the question of recognition by the'cells of un-

    coded malfunctions in their neighbors. This ques tion is resolved as follows: the double sent'

    into the territory of any cell sees not what is going on there at the present mo me nt but

    what has taken place immediately before, just as in self-photographya singular operatibn

    which the head can undertake and during whi&h information contained in allthe-working

    elements of the cell is transferred 'to special trace registers,but'thednformation contained in

    the head itself is'lost Self-photography is performed each time after'the" conclusion of the

    regular working cycle. It iSno t difficult to see tha t iri such a systemho'overlooked devia

    tion passes except those which quickly vanish of their own accordeitherbecauseof*their

    special nature or because of repeated failures.

    We still require that each element of the'mediumstore the additional information 0 or

    1, and in case at least two elements differing by this factor from all the remaining elements

    of the cell ariseinside'the ceil, the head would die out (which would lead to the'destruction-

    of the whole cell).

    '*

    We now estimate the admissible value-of the' noise. Let

    T

    be the duration tof a period,

    L

    the length of a cell (of first level),

    p

    th evalue'of the noise or probability of failure in a

    single element at-one-instant. The*probabilityp

    LT

    of two failures in'a single cell during one

    period is bounded, obviously, by the expressionp

    LT


Recommended