Recursion, Incursion, and Hyper-incursion
How do Past and Future inform the present?
What happens in the Present is not only determined by the Past but also by the Future. Karma and Destiny both play a role as to what is going on in your life Now.
- Hyper Incursion
- Discrete Processes
- Cellular Automata
- Fractal Machine
- Turing Machine
- Non Well Founded Set Theory
- Sets as Graphs
- Predetermined Future
- Four Causes of Aristotle
- Material Cause
- Formal Cause
- Efficient Cause
- Final Cause
- Left Computer
- Right Computer
- Parallel Computing
- Fifth and the Fourth in Music Theory
- Bicameral Brain
- Hemispheric Division of Brain
- One, Two, Three. Where is the Fourth?
From GENERATION OF FRACTALS FROM INCURSIVE AUTOMATA, DIGITAL DIFFUSION AND WAVE EQUATION SYSTEMS
The recursion consists of the computation of the future value of the variable vector X(t+l) at time t+l from the values of these variables at present and/or past times, t, t-l, t-2 ….by a recursive function :
X (t+ 1) =f(X(t), X(t-1) …p..)
where p is a command parameter vector. So, the past always determines the future, the present being the separation line between the past and the future.
Starting from cellular automata, the concept of Fractal Machines was proposed in which composition rules were propagated along paths in the machine frame. The computation is based on what I called “INclusive reCURSION”, i.e. INCURSION (Dubois, 1992a- b). An incursive relation is defined by:
X(t+l) =f(…, X (t+l), X(t), X(t-1) ..p..).
which consists in the computation of the values of the vector X(t+l) at time t+l from the values X(t-i) at time t-i, i=1, 2 …. , the value X(t) at time t and the value X(t+j) at time t+j, j=l, 2, …. in function of a command vector p. This incursive relation is not trivial because future values of the variable vector at time steps t+l, t+2 …. must be known to compute them at the time step t+ 1.
In a similar way to that in which we define hyper recursion when each recursive step generates multiple solutions, I define HYPERINCURSION. Recursive computational transformations of such incursive relations are given in Dubois and Resconi (1992, 1993a-b).
I have decided to do this for three reasons. First, in relativity theory space and time are considered as a four-vector where time plays a role similar to space. If time t is replaced by space s in the above definition of incursion, we obtain
X(s+ l) =f( …, X(s+ 1), X(s), X (s-l) …p.).
and nobody is astonished: a Laplacean operator looks like this. Second, in control theory, the engineers control engineering systems by defining goals in the future to compute their present state, similarly to our haman anticipative behaviour (Dubois, 1996a-b). Third, I wanted to try to do a generalisation of the recursive and sequential Turing Machine in looking at space-time cellular automata where the order in which the computations are made is taken into account with an inclusive recursion.
We have already proposed some methods to realise the design of any discrete systems with an extension of the recursion by the concept of incursion and hyperincursion based on the Fractal Machine, a new type of Cellular Automata, where time plays a central role. In this framework, the design of the model of any discrete system is based on incursion relations where past, present and future states variables are mixed in such a way that they define an indivisible wholeness invariant. Most incursive relations can be transformed in different sets of recursive algorithms for computation. In the same way, the hyperincursion is an extension of the hyper recursion in which several different solutions can be generated at each time step. By the hyperincursion, the Fractal Machine could compute beyond the theoretical limits of the Turing Machine (Dubois and Resconi, 1993a-b). Holistic properties of the hyperincursion are related to the Golden Ratio with the Fibonacci Series and the Fractal Golden Matrix (Dubois and Resconi, 1992). An incursive method was developed for the inverse problem, the Newton- Raphson method and an application in robotics (Dubois and Resconi, 1995). Control by incursion was applied to feedback systems (Dubois and Resconi, 1994). Chaotic recursions can be synchronised by incursion (1993b). An incursive control of linear, non- linear and chaotic systems was proposed (Dubois, 1995a, Dubois and Resconi, 1994, 1995). The hyperincursive discrete Lotka-Voiterra equations have orbital stability and show the emergence of chaos (Dubois, 1992). By linearisation of this non-linear system, hyperincursive discrete harmonic oscillator equations give stable oscillations and discrete solutions (Dubois, 1995). A general theory of stability by incursion of discrete equations systems was developed with applications to the control of the numerical instabilities of the difference equations of the Lotka-Volterra differential equations as well as the control of the fractal chaos in the Pearl-Verhulst equation (Dubois and Resconi, 1995). The incursion harmonic oscillator shows eigenvalues and wave packet like in quantum mechanics. Backward and forward velocities are defined in this incursion harmonic oscillator. A connection is made between incursion and relativity as well as the electromagnetic field. The foundation of a hyperincursive discrete mechanics was proposed in relation to the quantum mechanics (Dubois and Resconi, 1993b, 1995).
This paper will present new developments and will show that the incursion and hyper-incursion could be a new tool of research and development for describing systems where the present state of such systems is also a function of their future states. The anticipatory property of incursion is an incremental final cause which could be related to the Aristotelian Final Cause.
Aristotle identified four explicit categories of causation: 1. Material cause; 2. Formal cause; 3. Efficient cause; 4. Final cause. Classically, it is considered that modem physics and mechanics only deal with efficient cause and biology with material cause. Robert Rosen (1986) gives another interpretation and asks why a certain Newtonian mechanical system is in the state (phase) Ix(t) (position), v(t) (velocity)]:
1. Aristotle’s “material cause” corresponds to the initial conditions of the system [x(0), v(0)] at time t=0.
2. The current cause at the present time is the set of constraints which convey to the system an “identity”, allowing it to go by recursion from the given initial phase to the latter phase, which corresponds to what Aristotle called formal cause.
3. What we call inputs or boundary conditions are the impressed forces by the environment, called efficient cause by Aristotle.
As pointed out by Robert Rosen, the first three of Aristotle’s causal categories are tacit in the Newtonian formalism: “the introduction of a notion of final cause into the Newtonian picture would amount to allowing a future state or future environment to affect change of state in the present, and this would be incompatible with the whole Newtonian picture. This is one of the main reasons that the concept of Aristotelian finality is considered incompatible with modern science.
In modern physics, Aristotelian ideas of causality are confused with determinism, which is quite different…. That is, determinism is merely a mathematical statement of functional dependence or linkage. As Russell points out, such mathematical relations, in themselves, carry no hint as to which of their variables are dependent and which are independent.”
The final cause could impress the present state of evolving systems, which seems a key phenomenon in biological systems so that the classical mathematical models are unable to explain many of these biological systems. An interesting analysis of the Final Causation was made by Emst von Glasersfeld (1990). The self-referential fractal machine shows that the hyperincursive field dealing with the final cause could be also very important in physical and computational systems. The concepts of incursion and hyper-incursion deal with an extension of the recursive processes for which future states can determine present states of evolving systems. Incursion is defined as invariant functional relations from which several recursive models with interacting variables can be constructed in terms of diverse physical structures (Dubois & Resconi, 1992, 1993b). Anticipation, viewed as an Aristotelian final cause, is of great importance to explain the dynamics of systems and the semantic information (Dubois, 1996a-b). Information is related to the meaning of data. It is important to note that what is usually called Information Theory is only a communication theory dealing with the communication of coded data in channels between a sender and a receptor without any reference to the semantic aspect of the messages. The meaning of the message can only be understood by the receiver if he has the same cultural reference as the sender of the message and even in this case, nobody can be sure that the receiver understands the message exactly as the sender. Because the message is only a sequential explanation of a non-communicable meaning of an idea in the mind of the sender which can be communicated to the receiver so that a certain meaning emerges in his mind. The meaning is relative or subjective in the sense that it depends on the experiential life or imagination of each of us. It is well- known that the semantic information of signs (like the coding of the signals for traffic) are the same for everybody (like having to stop at the red light at a cross roads) due to a collective agreement of their meaning in relation to actions. But the semantic information of an idea, for example, is more difficult to codify. This is perhaps the origin of creativity for which a meaning of something new emerges from a trial to find a meaning for something which has no a priori meaning or a void meaning.
Mind dynamics seems to be a parallel process and the way we express ideas by language is sequential. Is the sequential information the same as the parallel information? Let us explain this by considering the atoms or molecules in a liquid. We can calculate the average velocity of the particles from in two ways. The first way is to consider one particular particle and to measure its velocity during a certain time. One obtains its mean velocity which corresponds to the mean velocity of any particle of the liquid. The sec- ond way is to consider a certain number of particles at a given time and to measure the velocity of each of them. This mean velocity is equal to the first mean velocity. So there are two ways to obtain the same information. One by looking at one particular element along the time dimension and the other by looking at many elements at the same time. For me, explanation corresponds to the sequential measure and understanding to the parallel measure. Notice that ergodicity is only available with simple physical systems, so in general we can say that there are distortions between the sequential and the parallel view of any phenomenon. Perhaps the brain processes are based on ergodicity: the left hemisphere works in a sequential mode while the right hemisphere works in a parallel mode. The left brain explains while the right brain understands. The two brains arecomplementary and necessary.
Today computer science deals with the “left computer”. Fortunately, the informaticians have invented parallel computers which are based on complex multiplication of Turing Machines. It is now the time to reconsider the problem of looking at the “right computer”. Perhaps it will be an extension of the Fractal Machine (Dubois & Resconi, 1993a).
I think that the sequential way deals with the causality principle while the parallel way deals with a finality principle. There is a paradox: causality is related to the successive events in time while finality is related to a collection of events at a simultaneous time, i.e. out of time.Causality is related to recursive computations which give rise to the local generation of patterns in a synchronic way. Finality is related to incursive or hyperincursive symmetry invariance which gives rise to an indivisible wholeness, a holistic property in a diachronic way. Recursion (and Hyper recursion) is defined in the Sets Theory and Incursion (and Hyperincursion) could be defined in the new framework of the Hypersets Theory (Aczel, 1987; Barwise, Moss, 1991).
If the causality principle is rather well acknowledged, a finality principle is still controversial. It would be interesting to re-define these principles. Causality is defined for sequential events. If x(t) represents a variable at time t, a causal rule x(t+l) = f(x(t)) gives the successive states of the variable x at the successive time steps t, t+l, t+2, … from the recursive functionf(x(t)), starting with an initial state x(0) at time t=0. Defined like this, the system has no degrees of freedom: it is completely determined by the function and the initial condition. No new things can happen for such a system: the whole future is completely determined by its past. It is not an evolutionary system but a developmental system. If the system tends to a stable point, x(t+l) = x(t) and it remains in this state for ever. The variable x can represent a vector of states as a generalisation.
In the same way, I think that determinism is confused with predictability, in modern physics. The recent fractal and deterministic chaos theory (Mandeibrot, 1982; Peitgen, Jurgens, Saupe, 1992) is a step beyond classical concepts in physics. If the function is non-linear, chaotic behaviour can appear, what is called (deterministic) chaos. In this case, determinism does not give an accurate prediction of the future of the system from its initial conditions, what is called sensitivity to initial conditions. A chaotic system loses the memory of its past by finite computation. But it is important to point out that an average value, or bounds within which the variable can take its values, can be known;
it is only the precise values at the successive steps which are not predictable. The local information is unpredictable while the global symmetry is predictable. Chaos can presents a fractai geometry which shows a self-similarity of patterns at any scale.
A well-known fractal is the Sierpinski napkin. The self-similarity of pattems at any scale can be viewed as a symmetry invariance at any scale. An interesting property of such fractals is the fact that the final global pattern symmetry can be completely independent of the local pattern symmetry given as the initial condition of the process from which the fractal is built. The symmetry of the fractal structure, a final cause, can be independent of the initial conditions, a material cause. The formal cause is the local symmetry of the generator of the fractal, independently of its material elements and the efficient cause can be related to the recursive process to generate the fractal. In this particular fractal geometry, the final cause is identical to the final cause. The efficient cause is the making of the fractal and the material cause is just a substrate from which the fractal emerges but this substrate doesn’t play a role in the making.
Finally, the concepts of incursion and hyperincursion can be related to the theory of hypersets which are defined as sets containing themselves. This theory of hypersets is an alternative theory to the classical set theory which presents some problems as the in- completeness of G6del: a formal system cannot explain all about itself and some propositions cannot be demonstrated as true or false (undecidability). Fundamental entities of systems which are considered as ontological could be explain in a non-ontological way by self-referential systems.
Please see my related posts
Key sources of Research
Computing Anticipatory Systems with Incursion and Hyperincursion
Daniel M. DUBOIS
Anticipation in Social Systems:
the Incursion and Communication of Meaning
Daniel M. Dubois
GENERATION OF FRACTALS FROM INCURSIVE AUTOMATA, DIGITAL DIFFUSION AND WAVE EQUATION SYSTEMS
Daniel M. Dubois
Non-wellfounded Set Theory
The Mathematical Intelligencer
volume 13, pages31–41(1991)