1 / 21

# Relative Universality - PowerPoint PPT Presentation

Relative Universality. On classes of Real Computation Hector Zenil University of Lille 1 Universit é de Paris 1 (Panthéon-Sorbonne). Real numbers. Definitions: A real number is of the form: X.{0,1}* {0,1}* can be always seen as a subset of natural numbers.

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## PowerPoint Slideshow about 'Relative Universality' - mike_john

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

### Relative Universality

On classes of Real Computation

Hector ZenilUniversity of Lille 1

Université de Paris 1 (Panthéon-Sorbonne)

Definitions:

• A real number is of the form: X.{0,1}*

{0,1}* can be always seen as a subset of natural numbers.

• Lets say that a subset S in R is complete if S contains at least one representative member of each complexity degree of R. by instance any non-empty open or closed ball [x,y) in R with x!=y

• A formula is in Sigma_1 if it is of the form:

• En_1,En_2,…,En_mQ(n_1,n_2,…n_i) with Q a free quantifier recursive formula.

• A formula is in Pi_1 if it is of the form:

• An_1,An_2,…,An_mQ(n_1,n_2,…n_i) with Q a free quantifier recursive formula.

• Inductively:

• A formula is in Sigma_n if it is of the form:

• E^m Q_n-1 where Q has n-1 quantifiers alternations.

• And in Pi_n if

• A^m Q_n-1 where Q has n-1 quantifiers alternations.

• Delta_n=Sigma_n Intersection Pi_n

• A Turing machine with an aditional tape called oracle tape and three new states: q_?, q_y and q_n. With a Turing machine gets into the state q_? The oracle answers using the oracle tape and entering into the “yes” -q_y- or “no” states -q_n-.

• The oracle tape is made by 0’s and 1’s depending if the answer to q_? is yes or no.

Establishes a close connection between the arithmetical hierarchy of sets of natural numbers and the Turing degrees.

A formula F is in Sigma_n iff F is a recursively enumerable set with an oracle O^n

If O is an oracle machine O=r=X.r_1,r_2,… for some r real number since f(r_n)=1 if O answers yes for a question concerning the n-th string of a language, and f(r_n)=1 otherwise. And where f is the characteristic function for O and a language L.

Degree of computability of a real number

The Turing degree of a real number r_L is defined as the Turing degree of its binary expansion since it can be seen as a subset of natural numbers

• A model of computation M={D,F}. A domain of operation D and a set of operators F.

• An automata T in M is an abstract machine taking inputs from D and applying a set of Functions F’ in F. So if M is closed under F, T is closed under F’ in M.

We are going to say that a class L is intrinsically universal if there exists an abstract machine U in L capable to behave as any other abstract machine M in L given the transition table and input for M.

Intrinsic universality = universality in the Turing sense

The class of recursive functions is

evidently intrinsically universal

Assuming a Delta_n^m set of real numbers D:

D allows Delta_n^m-universality

In other words, each level of the arithmetical and the hyper arithmetical hierarchies admit a universal abstract machine for that level.

Because the arithmetical and hyper arithmetical hierarchies do not collapse, there is no Delta_n universal machine able to behave as any other Delta_n+1 machine

Unless…

• Let be F the set of functions allowed in a model of computation M with inputs at most in Delta_n^m for some n and m.

Lets call f a universal jump operator if a model of computation M allows at least one function f such that:

f(i)=j

with deg_T(i) <deg_T(j)

In other words f converts inputs of certain degree into outputs of higher Turing degree.

Then M is non-closed under its operators

• If jump functions are allowed, the hierarchies or at least some parts of them collapse under those models of computation.

• Lets call a universality jump a complete universal jump if at least one function f is allowed such that for an input i and deg_T(i)<Delta_n^m :

f(i)=j

with deg_T(j)= Delta_n’^m’ for n’ and m’ arbitrary non-negative numbers.

In other words M reaches any AH and hyper AH level

through f. Both AH and hyper AH collapse under M

• The complexity of an automata denoted by C(A) is the measure defined by the set of maximal* Turing degrees of the set of all possible outputs O in D -either M is closed under F or not-. If M is not closed under F deg_T(O)>deg_T(D). If M is closed the complexity of A is at most the maximal Turing degree of D.

* Because the Turing degrees are a partial order

Finally, if a model of computation M is intrinsically universal then:

• The scope of operation of M is arbitrary bound up to a certain computability degree in the AH

• M computes at most the class of the recursive functions (M is Turing equivalent) (a case of 1)

• M is non-closed under its functions F=f_1,f_2,…,f_n because a subset G in F performs a complete universal jump*.

* Another possible case would be F as infinite, however a finite set F’ could be built from F composing all the functions from F into a new function f’ in F’. The result would be a non-recursive function f’ and a finite set F which would falls into the case number 3.

Relative Universality (sketch proof)

• Take any level of the AH e.g. Delta_n. If M is a closed model of computation:

(building the Delta_n-universal machine)

• Take the usual universal Turing machine and an oracle O^n. Because the Turing degree of an automata M with domain Delta_n is at most in Delta_n F:Delta_n->Delta_n and applying Post’s theorem O^n computes x for all x real number in Delta_n, then M is universal.

Universality Loss (sketch proof)(lack of absolute universality in R)

• Assuming the complete set of real numbers denoted by R (or any complete subset as defined before) we claim that:

There is no absolute universal machine in R

• Suppose U is such universal machine. Then U is capable to behave as any other machine M in R

• Lets take MAX the set of maximal Turing degrees of U which defines C(U). Then take r a real number such that deg_T(r)>C(U), then build M an abstract automata able to compute r, then U is not able to compute “Mx”, where x is the input for M. Thus U is not a universal machine for R. Therefore there is no possible U in R.

Unless…

Universality conditions in real computation

• The model of real computation can be intrinsically universal only if it allows:

A set of functions F of arbitrary power going through all the AH and hyper AH reaching any possible level.

Only in such case M can be closed under its operators and intrinsically universal. In other words, the model is not a field since it is not closed under the set of functions F unless it allows the whole complexity class of R.

• Three possible scenarios for intrinsic universality are possible:

• The class of recursive functions

• The class of any level of the AH (an infinite number of models of different power) with non-recursive functions up to that level in the AH (case 1 is naturally in the first level of this case)

• The class of real computation with access to all real numbers and functions able to reach any level of the AH and the hyper AH.

• There is a universal model of computation for each level of the AH and the hyper AH picking the correct set of functions F for each level.

• In a Discrete/Continuum dichotomy the election of an special set F and an arbitrary level in the AH does not seem natural. If the Continuum is taken as R -as usual- only arbitrary powerful functions makes the model intrinsically universal otherwise the model does not allow intrinsic universality.

• In other words:

The appropriate hierarchy for computations with

real numbers are beyond the scope of the AH and the HAH.

There is no universal machine for R at any level of the AH or the HAH, therefore the notion of real computation is not well-founded in the sense of lack of an abstract universality machine.

Hyper-models do not converge like those Turing-equivalent which supports the Church-Turing thesis. Therefore there is no a single Church-Turing thesis for real computation but an infinite hierarchy of Church-Turing type thesis based on each of the universal devices at each level of the AH and HAH.