The Role of Physics in UDT: Part I

squark

The Role of Physics in UDT: Part I

post by Squark · 2015-02-21T10:51:37.958Z · LW · GW · Legacy · 0 comments

  A Naive Approach
  Ontology Decoupling
  Stay Tuned
None
No comments

Followup to: Anatomy of Multiversal Utility Functions: Tegmark Level IV

Outline: In the previous post, I discussed the properties of utility functions in the extremely general setting of the Tegmark level IV multiverse. In the current post, I am going to show how the discovery of a theory of physics allows the agent performing a certain approximation in its decision theory. I'm doing this with an eye towards analyzing decision theory and utility calculus in universes governed by realistic physical theories (quantum mechanics, general relativity, eternal inflation...)

A Naive Approach

Previously, we have used the following expression for the expected utility:

[1] $E[U]=\int_X U(x) d\mu(x)$

Since the integral is over the entire "level IV multiverse" (the space of binary sequences), [1] makes no reference to a specific theory of physics. On the other hand, a realistic agent is usually expected to use its observations to form theories about the universe it inhabits, subsequently optimizing its action with respect to the theory.

Since this process crucially depend on observations, we need to make the role of observations explicit. Since we assume the agent uses some version of UDT, we are not supposed to update on observations, instead evaluating the logical conditional expectation values

[2] $v_{A,U}(\pi)=E_{log}[\int_X U(x) d\mu(x) \mid \forall i \in I: A(i)=\pi(i)]$

Here $A$ is the agent, $\pi:I \rightarrow O$ is a potential policy for the agent (mapping from sensory inputs to actions) and $E_{log}$ is expectation value with respect to logical uncertainty.

Now suppose $A$ made observations $\tau$ leading it to postulate physical theory $T$ . For the sake of simplicity, we suppose $A$ is only deciding its actions in the universes in which observations $\tau$ were made¹. Thus, we assume that the input space factors as $I=I_{past} \times I_{future}$ and we're only interested in inputs in the set $\tau \times I_{future}$ . This simplification leads to replacing [2] by

[3] $v^{future}_{A,U}(\pi) = E_{log}[\int_X U(x) d\mu(x) \mid \forall i \in I_{future}: A(\tau \times i)=\pi(i)]$

where $\pi:I_{future} \rightarrow O$ is a "partial" policy referring to the $\tau$ -universe only.

The discovery of $T$ allows $A$ to perform a certain approximation of [2']. A naive guess of the form of the approximation is

[4'] $v^{future}_{A,U}(\pi) \approx w^{future}_{A,U} + E_{log}[\int_X U(x) d\nu_T(x) \mid \forall i \in I_{future}: A(\tau \times i)=\pi(i)]$

Here, $w^{future}_{A,U}$ is a constant representing the contributions of the universes in which $T$ is not valid (whose logical-uncertainty correlation with $A$ we neglect) and $\nu_T$ is a measure on $X$ corresponding to $T$ . Now, physical theories in the real world often specify time evolution equations without saying anything about the initial conditions. Such theories are "incomplete" from the point of view of the current formalism. To complete it we need a measure on the space of initial conditions: a "cosmology". A simple example of a "complete" theory $T$ : a cellular automaton with deterministic (or probabilistic) evolution rules and a measure on the space of initial conditions (e.g. set each cell to an independently random state).

However, [4'] is in fact not a valid approximation of [3]. This is because the use of $\nu_T$ fixes the ontology: $\nu_T$ treats binary sequences as encoding the universe in a way natural for $T$ whereas dominant² contributions to [3] come from binary sequences which encode the universe in a way natural for $U$ .

Ontology Decoupling

Allow me a small digression to discussing desiderata of logical uncertainty. Consider an expression of the form $E_{log}[2x]$ where $x$ is a mathematical constant with some complex definition e.g. $\pi$ or the Euler-Mascheroni constant $\gamma$ . From the point of view of an agent with bounded computing resources, $x$ is a random variable rather than a constant (since its value is not precisely known). Now, in usual probability theory we are allowed to use identities such as $E_{log}[2x]=2E_{log}[x]$ . In the case of logical uncertainty, the identity is less obvious since the operation of multiplying by 2 has non-vanishing computing cost. However, since this cost is very small we expect to have the approximate identity $E_{log}[2x] \approx 2E_{log}[x]$ .

Consider a set $\Delta$ of programs computing functions $X \rightarrow X$ containing the identity program. Then, the properties of the Solomonoff measure give us the approximation

[5] $\int_X U(x) d\mu(x) \approx \sum_{f \in \Delta} 2^{-|f|} \int_{X} U(f(x)) d\mu_\Delta(x)$

Here $\mu_\Delta$ is the restriction of $\mu$ to hypotheses which don't decompose as applying some program in $\Delta$ to another hypothesis and $|f|$ is the length of the program $f$ .

Applying [5] to [3] we get

$v^{future}_{A,U}(\pi) \approx E_{log}[\sum_{f \in \Delta} 2^{-|f|} \int_{X} U(f(x)) d\mu_\Delta(x) \mid \psi^{future}_A(\pi)]$

Here $\psi^{\tau}_A(\pi)$ is a shorthand notation for $\forall i \in I_{future}: A(\tau \times i)=\pi(i)$ . Now, according to the discussion above, if we choose $\Delta$ to be a set of sufficiently cheap programs³ we can make the further approximation

$v^{future}_{A,U}(\pi) \approx \sum_{f \in \Delta} 2^{-|f|} E_{log}[\int_{X} U(f(x)) d\mu_\Delta(x) \mid \psi^{future}_A(\pi)]$

If we also assume $\Delta$ to sufficiently large, it becomes plausible to use the approximation

[4] $v^{future}_{A,U}(\pi) \approx w^{future}_{A,U} + \sum_{f \in \Delta} 2^{-|f|} E_{log}[\int_X U(f(x)) d\nu_T(x) \mid \psi^{future}_A(\pi)]$

The ontology problem disappears since $f$ bridges between the ontologies of $T$ and $U$ . For example, if $T$ describes the Game of Life and $U$ describes glider maximization in the Game of Life, but the two are defined using different encodings of Game of Life histories, the term corresponding to the re-encoding $f$ will be dominant² in [4].

Stay Tuned

The formalism developed in this post does not yet cover the entire content of a physical theory. Realistic physical theories not only describe the universe in terms of an arbitrary ontology but explain how this ontology relates to the "classical" world we experience. In other words, a physical theory comes with an explanation of the embedding of the agent in the universe (a phenomenological bridge). This will be addressed in the next post where I explain the Cartesian approximation: the approximation decoupling between the agent and the rest of the universe.

Subsequent posts will apply this formalism to quantum mechanics and eternal inflation to understand utility calculus in Tegmark levels III and II respectively.

¹ As opposed to a fully fledged UDT agent which has to simultaneously consider its behavior in all universes.

² By "dominant" I mean dominant in dependence on the policy $\pi$ rather than absolutely.

³ They have to be cheap enough to take the entire sum out of the expectation value rather than only the $2^{-|f|}$ factor in a single term. This condition depends on the amount of computing resources available to our agent, which is an implicit parameter of the logical-uncertainty expectation values $E_{log}$ .

0 comments

Comments sorted by top scores.

The Role of Physics in UDT: Part I

Contents

A Naive Approach

Ontology Decoupling

Stay Tuned

0 comments