A Mathematical Model for Simulators

post by lukemarks (marc/er) · 2023-10-02T06:46:31.702Z · LW · GW · 0 comments

A bitstring  exists if some physical configuration encodes it. In a computable universe where  does exist but only occurs once, and a perfect fidelity simulation of that universe is run within it on an unphysically large computer (except without the existence of the hardware running that simulation),  then occurs twice, because it is specified in some way on the hardware of the computer on which that simulation is run. If  refers to the simulated bitstring:

These are the kinds of questions I want to find answers to, because I want to be able to prove things about simulators [LW · GW]. As a first step, let's carve up the simulator.


Given the probability space  where  is the sample space,  is the event space, and  is the probability measure, mapping events in  to the interval , let  refer to individual outcomes in , each of which describe a discrete simulacrum, and  as individual discrete events in . Classifying simulacra as programs, we denote the maximum Kolmogorov complexity  with respect to a universal Turing machine  for any given space  as .

Proceeding, let  be the complete set of simulacra for some Cartesian object [LW · GW, where individual simulacra are addressed by  as sets of actions indexed by . Let  be a function that maps from choices for each  to a world , where $= refers to the  world in the set of possible worlds for the  object, and  indexes the object  describes possible worlds for, culminating in .

By modeling the coupling of the probability space  and its contained simulacra as a dynamical system, the following are considered to describe sampling tokens from a simulation state  at time-step  given the complete simulation history prior  as a trajectory through states, where states are given by the set of worlds for all objects  realized in the set of actualized objects  at time-step :


Assuming the model defined above, the simulation forward pass becomes a simple operation delineated as follows:
We begin at simulation state , which denotes the empty or null state, whereby , which is also maximally entropic.
 

 is applied for one time-step:

0 comments

Comments sorted by top scores.