Crossposted to LessWrong
Summary
This report is the most comprehensive model to date of aliens and the Fermi paradox. In particular, it builds on Hanson et al. (2021) and Olson (2015) and focuses on the expansion of ‘grabby’ civilizations: civilizations that expand at relativistic speeds and make visible changes to the volume they control.
This report considers multiple anthropic theories: the selfindication assumption (SIA), as applied previously by Olson & Ord (2022), the selfsampling assumption (SSA), implicitly used by Hanson et al. (2021) and a decision theoretic approach, as applied previously by Finnveden (2019).
In Chapter 1, I model the appearance of intelligent civilizations (ICs) like our own. In Chapter 2, I consider how grabby civilizations (GCs) modify the number and timing of intelligent civilizations that appear.
In Chapter 3 I run Bayesian updates for each of the above anthropic theories. I update on the evidence that we are in an advanced civilization, have arrived roughly 4.5Gy into the planet’s roughly 5.5 Gy habitable duration, and do not observe any GCs.
In Chapter 4 I discuss potential implications of the results, particularly for altruists hoping to improve the far future.
Starting from a prior similar to Sandberg et al.’s (2018) literaturesynthesis prior, I conclude the following:
Using SIA or applying a noncausal decision theoretic approach (such as anthropic decision theory) with total utilitarianism, one should be almost certain that there will be many GCs in our future light cone.
Using SSA^{[1]}, or applying a noncausal decision theoretic approach with average utilitarianism, one should be confident (~85%) that GCs are not in our future light cone, thus rejecting the result of Hanson et al. (2021). However, this update is highly dependent on one’s beliefs in the habitability of planets around stars that live longer than the Sun: if one is certain that such planets can support advanced life, then one should conclude that GCs are most likely in our future light cone. Further, I explore how an average utilitarian may wager there are GCs in their future light cone if they expect significant trade with other GCs to be possible.
These results also follow when taking (log)uniform priors over all the model parameters.
All figures and results are reproducible here.
Vignettes
To set the scene, I start with two vignettes of the future. This section can be skipped, and features terms I first explain in Chapters 1 and 2.
High likelihood vignette
In a Monte Carlo simulation of draws, the following world described gives the highest likelihood for both SIA and SSA (with reference class of observers in intelligent civilizations). That is, civilizations like ours are both relatively common and typical amongst all advancedbutnotyetexpansive civilizations in this world.
In this world, life is relatively hard. There are five hard trytry steps of mean completion time 75 Gy, as well as 1.5 Gy of easy ‘delay’ steps. Planets around red dwarfs are not habitable, and the universe became habitable relatively late  intelligent civilizations can only emerge from around 8 Gy after the Big Bang. Around 0.3% of terrestrial planets around Gstars like our own are potentially habitable making Earth not particularly rare.
Around 2.5% intelligent civilizations like our own become grabby civilizations (GCs). This is the SIA Doomsday argument in action.
Around 7,000 GCs appear per observable universe sized volume (OUSV). GCs already control around 22% of the observable universe, and as they travel at , their light has reached around 35% of the observable universe. Nearly all GCs appear between 10Gy and 18 Gy after the Big Bang.
If humanity becomes a GC, it will be slightly smaller than a typical GC  around 62% of GCs will be bigger. A GC emerging from Earth would in expectation control around 0.1% of the future light cone and almost certainly contain the entire Laniakea Supercluster, itself containing at least 100,000 galaxies.
The median time by which GCs will be visible to observers on Earth is around 1.5 Gy from now. It is practically certain humanity will not see any GCs any time soon: there is roughly 0.000005% probability (one in twenty million) that light from GCs reaches us in the next one hundred years^{[2]}. GCs will certainly be visible from Earth in around 4 Gy.
As we will see, SIA is highly confident in a future is similar to this one. SSA (with the reference class of observers in intelligent civilizations), on the other hand, puts greater posterior credence in human civilization being alone, even though worlds like these have high likelihood.
High decisionworthiness vignette
This world is one that a total utilitarian using anthropic decision theory would wager being in, if they thought their decisions can influence the value of the future in proportion to the resources that an Earth originating GC controls.
In this world, there are eight hard steps, with mean hardness 23 Gy and delay steps totalling 1.8 Gy. Planets capable of supporting advanced life are not too rare: around 0.004% of terrestrial planets are potentially habitable. Again, planets around longerlived stars are not habitable.
Around 90% of ICs become GCs, and there are roughly 150 GCs that appear per observable universe sized volume. GCs expand at 0.85c, and a GC emerging from Earth would reach 31% of our future light cone, around 49% of its maximum volume, and would be bigger than ~80% of all GCs. Since there are so few GCs, the median time by which a GC is visible on Earth is not for another 20 Gy.
1 Intelligent Civilizations
I use the term intelligent civilizations (ICs) to describe civilizations at least as technologically advanced as our own.
In this chapter, I derive a distribution of the arrival times of ICs, . This distribution is dependent on factors such as the difficulty of the evolution of life and the number of planets capable of supporting intelligent life. This distribution does not factor in the expansion of other ICs, that may prevent (‘preclude’) later ICs from existing. That is the focus of Chapter 2.
The distribution gives the number of other ICs that arrive at the same time as human civilization, as well as the typicality of the arrival time of human civilization, assuming no ICs preclude any other.
The universe
I write for the time since the Big Bang, which is estimated 13.787 Gy (Ade 2016) [Gy = gigayear = 1 billion years].
Current observations suggest the universe is most likely flat (the sum of angles in a triangle are always 180°), or close to flat, and so the universe is either large or infinite. Further, the universe appears to be on average isotropic (there are no special directions in the universe) and homogeneous (there are no special places in the universe) (Saadeh et al. 2016, Maartens 2011).
The large or infinite size implies that there are volumes of the universe causally disconnected from our own. The collection of ‘parallel’ universes has been called the “Level I multiverse”. Assuming the universe is flat, Tegmark (2007) conservatively estimates that there is a Hubble volume identical to ours away, and an identical copy of you away.
I consider a large finite volume (LFV) of the level I multiverse, and partition this LFV into observable universe size (spherical) volumes (OUSVs)^{[3]} . My model uses quantities as averages per OUSV. For example, will be the rate of ICs arriving per OUSV on average at time .
The (currently) observable universe necessarily defines the limit of what we can currently know, but not what we can eventually know. The eventually observable universe has a volume around 2.5 times that of the volume of the currently observable universe (Ord 2021).
The most action relevant volume for statistics about the number of alien civilizations is the affectable universe, the region of the universe that we can causally affect. This is around 4.5% of the volume of the observable universe. I will use the term affectable universe size volumes (AUSVs).
For an excellent discussion on this topic, I recommend Ord (2021).
The steps to reach life
I consider the path to an IC as made up of a number of steps:
 Trytry steps that can make repeated attempts to complete. I further break these down into easy or delay and hard steps.
 Tryonce steps, that have a single opportunity to pass or fail
I recommend Eth (2021) for an excellent introduction to trytry steps.
Trytry steps
Abiogenesis is the process by which life has arisen from nonliving matter. This process may require some extremely rare configuration of molecules coming together, such that one can model the process as having some rate 1/a of success per unit time on an Earthsized planet.
The completion time of such a trytry step is exponentially distributed with PDF . Fixing some time , such as Earth’s habitable duration, the step is said to be hard if . When the step is hard, for , is constant since .
Abiogenesis is one of many trytry steps that have led to human civilization. If there are trytry steps with expected times of completion, the completion time of the steps has hypoexponential distribution with parameter . For modelling purposes, I split these trytry steps into delay steps and hard steps.
I define the delay steps to be the maximal set of individual steps from the steps such that , the approximate duration life has taken on Earth so far. I then approximate the completion time of the delay trytry steps with the exponential distribution with parameter . If they exist, I also include any fuse steps^{[4]} in the sum of .
I write for the expected completion times of the remaining steps. These steps are not necessarily hard with respect to Earth's habitable duration. I model each to have loguniform uncertainty between 1 Gy and Gy. With this prior, most are much greater than 5 Gy and so hard. I approximate the completion time of all of these steps with the Gamma distribution parameters and , the geometric mean hardness of the trytry steps.^{[5]} The Gamma distribution can further be described as a ‘power law’ as I discuss in the appendix.
I write for the PDF of the completion time of all the delay steps and hard trytry steps. Strictly, it is given as the convolution of the gamma distribution parameters , and exponential distribution parameter . When , where is the PDF of the Gamma distribution. That is, the delay steps can be approximated as completing in their expected time when they are sufficiently short in expectation.
Priors on
After introducing each model parameter, I introduce my priors. Crucially, all the results in Chapter 3 roughly follow when taking (log)uniform priors over all parameters and so my particular prior choices are not too important.
I consider three priors on , the number of hard trytry steps. The first, which I call balanced, is chosen to give an implied prior number of ICs similar to existing literature estimates (discussed later in this chapter). My bullish prior puts greater probability mass on fewer hard steps and so implies a greater number of ICs. My bearish prior puts greater probability mass in many hard steps and so predicts fewer ICs.
My priors on are uninformed by the timing of life on Earth, but weakly informed by discussion of the difficulty of particular steps that have led to human civilization. For example, Sandberg et al. (2018) (supplement I) consider the difficulty of abiogenesis. In Chapter 3 I update on the time that all the steps are completed (i.e., now). I do not update on the timing of the completion of any potential intermediate hard steps, such as the timing of abiogenesis. Further, I do not update on the habitable time remaining, which is implicitly an anthropic update. I discuss this in the appendix.
Prior on
Given these priors on , I derive my prior on by the geometric mean of draws from the abovementioned . I chose this prior to later give estimates of life in line with existing estimates. A longer tailed distribution is arguably more applicable.
Prior on
My prior on the sum of the delay and fuse steps has . By definition and d smaller than 0.1 Gy makes little difference. My prior distribution gives median . The delay parameter can also include the delay time between a planet's formation and the first time it is habitable. On Earth, this duration could have been up to 0.6 Gy (Pearce et al. (2018)).
Tryonce steps
I also model “tryonce” steps, those that either pass or fail with some probability. The Rare Earth hypothesis is an example of a tryonce step. The possibility of tryonce steps allows one to reject the existence of hard trytry steps, but suppose very hard tryonce steps.
I write for the probability of passing through all tryonce steps. That is, if there are tryonce steps then
Habitable planets
The parameters above give can give distribution of appearance times of an IC on a given planet. In this section, I consider the maximum duration planets can be habitable for, the number of potentially habitable planets, and the formation of stars around which habitable planets can appear.
The maximum planet habitable duration
I write ^{[6]} for the maximum duration any planet is habitable for.^{[7]} The Earth has been habitable for between 4.5 Gy and 3.9 Gy (Pearce 2018) and is expected to be habitable for another~1 Gy, so as a lower bound ⪆ 5 Gy. Our Sun, a Gtype mainsequence star, formed around 4.6 Gy ago and is expected to live for another ~5 Gy.
Lower mass stars, such as Ktype stars (orange dwarfs) have lifetimes between 15 30 Gy , and Mtype stars (red dwarfs) have lifetimes up to 20,000 Gy. These lifetimes give an upper bound on the habitable duration of planets in that star’s system, so I consider up to around 20,000 Gy.
The habitability of these longerlived stars is uncertain. Since red dwarf stars are dimmer (which results in their longer lives), habitable planets around red dwarf stars must be closer to the star in order to have liquid water, which may be necessary for life. However, planets closer to their star are more likely to be tidally locked. Gale (2017) notes that “This was thought to cause an erratic climate and expose life forms to flares of ionizing electromagnetic radiation and charged particles.” but concludes that in spite of the challenges, “Oxygenic Photosynthesis and perhaps complex life on planets orbiting Red Dwarf stars may be possible”.
This approach to modelling does not allow for planets around red dwarf stars that are habitable for periods equal to the habitable period of Earth. For example, life may only be able to appear in a crucial window in a planet’s lifespan.
Number of habitable planets
Given a value of , I now consider the number of habitable planets. To derive an estimate of the number of potentially habitable planets, I only consider the number of terrestrial planets: planets composed of silicate rocks and metals with a solid surface. Recall that the parameter w can indirectly control the number of these actually habitable.
Zackrisson et al. (2016) estimate terrestrial planets around FGK stars and around M stars in the observable universe. Interpolating, I set the total number of terrestrial planets around stars that last up to per OUSV to be
Hanson et al. (2021) approximate the cumulative distribution of planet lifetimes with for and for . The fraction of planets formed at time habitable at time t is then given by .
These forms of and satisfy the property that for any, the expression  the number of planets per OUSV habitable for between and Gy  is independent of . In particular, the number of planets habitable for the same duration as Earth is independent of .
This is implicitly used later in the update: one does not need to explicitly condition on the observation that we are on a planet with habitable for ~5 Gy since the number of planets habitable for ~5 Gy is independent of the model parameters.
The formation of habitable stars
I use the term “habitable stars” to mean stars with solar systems capable of supporting life.
I follow Hanson et al. (2021) in approximating the habitable star formation rate with the functional form with power and decay where .
The habitability of the early universe
There is debate over the time the universe was first habitable.
Loeb (2016) argues for the universe being habitable as early as 10 My. There is discussion around how much gammaray bursts (GBRs) in the early universe prevent the emergence of advanced life. Piran (2014) conclude that the universe was inhospitable to intelligent life > 5 Gy ago. Sloan et al. (2017) are more optimistic and conclude that life could continue below the ground or under an ocean.
I introduce an early universe habitability parameter and function which gives the fraction of habitable planets capable of hosting advanced life at time relative to the fraction at . I take to be a sigmoid function with and (hence ). My prior on is loguniform on (, 0.99)
A more sophisticated approach would consider the interaction between and the hard trytry steps, as suggested by Hanson et al. (2021).
The number of habitable planets at a given time
The number of planets terrestrial planets per OUSV habitable at time is
Since for , the lower bound of the integral can be changed to .
Arrival of ICs
Putting the previous sections together, the appearance rate of ICs per OUSV, , is given by
To recap:
 does not factor in the preclusion of some ICs by other ICs  that is the focus of Chapter 2.
 is the product of tryonce steps
 is the fraction of habitable planets capable of supporting advanced life at time
 is the number of terrestrial planets possibly habitable
 is the probability density of completing all hard steps of hardness and delay steps of expected completion time at time after the process began
 is the rate of habitable star formation at time
 is the fraction of potentially habitable terrestrial planets that are habitable for at least tb years.
I now discuss two potential puzzles related to : Did humanity arrive at an unusually early time? And, where are all the aliens?
The earliness paradox
Depending on one’s choice of anthropic theory, one may update towards hypotheses where human civilization is more typical among the reference class of all ICs.
Here, I look at human civilization’s typicality using two pieces of data: human civilization’s arrival at and the fact that we have appeared on a planet habitable for ~5 Gy.
An atypical arrival time?
I write for the arrival time distribution normalised to be a probability density function. This tells us how typical human civilization’s arrival time is. That is, is the probability density of a randomly chosen (eventually) existing IC to have arrived at .
Plots of for varying , all with , , and .. The lefthand plots have and right hand plots have . When planets are habitable for a longer duration, a greater fraction of life appears later. Further, when is greater, fewer ICs appear overall since life is harder, but a greater fraction of ICs appear later in their planets’ habitable windows – this is the power law of the hard steps. 
An atypical solar system?
There are many more terrestrial planets around red dwarf stars than stars like our own. If these systems are habitable, then human civilization is additionally atypical (with respect to all ICs) in its appearance around a star like our sun. Further, life has a longer time to evolve around a longer lived star, so human civilization would be even more atypical. HaqqMisra et al. (2018) discuss this, but do not consider that the presence of hard trytry steps leads to a greater fraction of ICs appearing on longerlived planets.
Resolving the paradox
Suppose a priori one believes and and uses an anthropic theory that updates towards hypotheses where human civilization is more typical among all ICs. Given these assumptions, one expects the vast majority of ICs to appear much further into the future and on planets around red dwarf stars. However, human civilization arrived relatively shortly after the universe first became habitable, on a planet that is habitable for only a relatively short duration and is thus very atypical (according to our arrival time function that does not factor in the preclusion of ICs by other ICs.
There are multiple approaches to resolving this apparent paradox.
First, one can reject their prior belief in high and , and update towards small and which lead us to believing we are in a more typical IC.
Second, one could change the reference class among which human civilization’s typicality is being considered. This, in effect, is changing the question being asked.^{[8]}
 In a reference class of ICs that arrive around sunlike stars, human civilization is not particularly atypical in arrival time.
 In a reference class of ICs exactly like human civilization (of which there is just us) human civilization is (trivially) completely typical.
Third and finally, one can prefer theories that set a deadline on the appearance of ICs like us. If the universe suddenly ended in 5 Gy time, no more ICs could appear and regardless of n and human civilization’s arrival time would be typical.
Hanson et al. (2021) resolve the paradox with such a deadline, the expansion of socalled grabby civilizations, which is the focus of Chapter 2. Alternative deadlines have been suggested, such as through false vacuum decay, which I briefly discuss in the appendix.
The Fermi paradox
Some anthropic theories update towards hypotheses where there are a greater number of civilizations that make the same observations we do (containing observers like us).
The rate of XICs
I write for the rate of ICs per OUSV with feature X, where X denotes “ICs arriving at tnow on a planet that has been habitable for as long as Earth has, and will be habitable for the same duration as Earth will be".
The Earth has been habitable for between 4.5 Gy and 3.9 Gy (Pearce et al. 2018). I suppose that Earth has been habitable for 4.5 Gy, since if habitable for just 3.9 Gy, the 600 My difference can be (lazily) modelled as a fuse or delay step. Assuming for the time being that no IC precludes any other, this gives
Note that
 The constant of proportionality is given by the number of Earthlike planets per OUSV and other parameter independent facts.
 This expression is independent of : it is certain the Earth is habitable, so changing the maximum habitable duration does not change the number of Earthlike planets
 is a rate per OUSV rather than number.
Below, I vary and to see the effect on . The effect of on is linear, so uninteresting.
The term does not include the further feature of not observing any alien life. In the next chapter, I introduce the number of ICs with feature X that also do not observe any alien life.
Where are all the aliens?
I write for the rate of ICs that appear per OUSV, supposing no IC precludes any other, which is given by .
My priors on , , , , and give the rate of ICs that appear per OUSV, supposing no IC precludes any other.
I chose the balanced prior on and prior on hard step hardness to give an implied distribution on comparable to the prior derived by Sandberg et al. (2018), which models the scientific uncertainties on the parameters of the Drake Equation. Sandberg et al.’s prior on the number of currently contactable ICs has a median of 0.3 and 38% credence in fewer than one IC currently existing in the observable universe. My balanced prior gives ~50% on the rate of less than one IC per OUSV and median of ~1 IC to appear per OUSV, and so is more conservative.
The Fermi observation is the fact that we have not observed any alien life. For those with a high prior on the existence of alien life, such as my bullish prior, the Fermi paradox is the conflict between this high prior and the Fermi observation.
2 Grabby Civilizations
It may be hard for humanity to observe a typical IC, especially if they do not last long or emit enough electromagnetic radiation to be identified at large distances. If some fraction of ICs persist for a long time, expand at relativistic speeds, and make visible changes to their volumes, one can more easily update on the Fermi observation. Such ICs are called grabby civilizations (GCs).
The existence of sufficiently many GCs can ‘solve’ the earliness paradox by setting a deadline by which ICs must arrive, thus making ICs like us more typical in human civilization’s arrival time.
In this chapter, I derive an expression for , the rate of ICs per OUSV that have arrived at the same time as human civilization on a planet habitable for the same duration and do not observe any GCs.
Observation of GCs
Humanity has not observed any intelligent life. In particular, we have not observed any GCs.
Whether GCs are not in our past light cone or we have not yet seen them yet is uncertain. GCs may deliberately hide or be hard to observe with humanity’s current technology.
It seems clearer that humanity is not inside a GC volume, and at minimum we can condition on this observation.^{[9]}
In Chapter 3 I compute two distinct updates: one conditioning on the observation that there are no GCs in our past light cone, and one conditioning on the weaker observation that we are not inside a GC volume. If GCs prevent any ICs from existing in their volume, this latter observation is equivalent to the statement that “we exist in an IC”.
The second observation leaves ‘less room’ for GCs, since we are conditioning on a larger volume not containing any GCs.
I lean towards there being no GCs in our past light cone. By considering the waste heat that would be produced by Type III Kardashev civilizations (a civilization using all the starlight of its home galaxy), the Gsurvey found no type III Kardashev civilizations using more than 85% of the starlight in 105 galaxies surveyed (Griffith et al. 2015). There is further discussion on the ability to observe distant expansive civilizations in this LessWrong thread.
The transition from IC to GC
I write for the average fraction of ICs that become GCs.^{[10]} I assume that this happens in an astronomically short duration and as such can approximate the distribution of arrival time of GCs as equal to the distribution of arrival times of ICs. That is, the arrival time distribution of GCs is given by .
It seems plausible a significant fraction of ICs will choose to become GCs. Since matter and energy are likely to be instrumentally useful to most ICs, expanding to control as much volume as they can (thus becoming a GC) is likely to be desirable to many ICs with diverse aims. Omohundro (2008) discusses instrumental goals of AI systems, which I expect will be similar to the goals of GCs (run by AI systems or otherwise).
Some ICs may go extinct before being able to become a GC. The extinction of an IC does not entail that no GC emerges. For example, an unaligned artificial intelligence may destroy its origin IC but become a GC itself. (Russell 2021). ICs that trigger a (false) vacuum decay that expands at relativistic speeds can also be modelled as GCs.
I do not update on the fact we have not observed any ICs. The smaller , the greater the importance of the evidence that we have not seen any ICs.
The expansion of GCs
I model GCs as all expanding spherically at some constant comoving speed .
The volume of an expanding GC
To calculate the volume of an expanding GC, one must factor in the expansion of the universe.
Solving the Friedmann equation gives the cosmic scale factor , a function that describes the expansion of the universe over time.
With initial condition and , , and given by Ade et al. (2016). The Friedmann equation assumes the universe is homogeneous and isotropic, as discussed in Chapter 1.
Throughout, I use comoving distances which give a distance that does not change over time due to the expansion of space. The comoving distance a probe travelling at speed that left at time reaches by time is .The comoving volume of a GC at time that has been growing at speed since time is
I take in units of fraction of the volume of an OUSV, approximately .
The fraction of the universe saturated by GCs
Following Olson (2015) I write for the average fraction of OUSVs unsaturated by GCs at time and take functional form
Recall that the product is the rate of GCs appearing per OUSV at time . Since is a function of the parameters ,,, , and , the function is too.
This functional form for assumes that when GCs bump into other GCs, they do not speed up their expansion in other directions.
The actual volume of a GC
I write for the expected actual volume of a GC at time that began expanding at time at speed . Trivially, since GCs that prevent expansion can only decrease the actual volume. If GCs are sufficiently rare, then . I derive an approximation for in the appendix.
Later, I use the actual volume of a GC as a proxy for the total resources it contains. On a sufficiently large scale, mass (consisting of intergalactic gas, stars, and interstellar clouds) is homogeneously distributed within the universe. This proxy most likely underweights the resources of later arriving GCs due to the gravitational binding of galaxies and galaxyclusters.
A new arrival time distribution
The distribution of IC arrival times,, can be adjusted to account for the expansion of GCs, which preclude ICs from arriving. I define that gives the rate of ICs appearing per OUSV, and write for the number of ICs that actually appear per OUSV.
The actual number of XICs
I define to be the actual number of ICs with feature X to appear, accounting for the expansion of GCs. I consider two variants of this term.
I write for the rate of ICs with feature X per OUSV that do not observe GCs. Since information about GCs travels at the speed of light, gives the fraction of OUSVs that is unsaturated by light from GCs at time . Then, gives the number of XICs per OUSV with no GCs in their past light cone.
Similarly, I write ^{[11]}for the rate of ICs with feature X per OUSV that are not inside a GC volume, where v is the expansion speed of GCs. In this case, .
Left and right: heatmaps of for varying hard steps and geometric mean hardness . Both heatmaps show the same data, but the colour scale goes with the logarithm on the plot on the left, and linearly on the right. Both take ,, , , and . The black area in the left heatmap contains pairs of such that no XICs actually appear, due to the all OUSVs being saturated by light from GCs by . The green area on the right heatmap is the 'sweet spot' where the most number of XICs appear. This happens to be just above the border between the black and green area in on the left heatmap. In this ‘sweetspot’, there are many ICs (including XICs) but not too many such that XICs are (all) precluded. My bearish, balanced and bullish priors have 16%, 26% and 44% probability mass in cases where the universe is fully saturated with light from GCs by (and so ) respectively. 
The balancing act
The Fermi observation limits the number of early arriving GCs: when there are too many GCs the existence of observers like us is rare or impossible.
For anthropic theories that prefer more observers like us, there is a push in the other direction. If life is easier, there will be more XICs.
For anthropic theories that prefer observers like us to be more typical, there is potentially a push towards the existence of GCs that set a cosmic deadline and lead to human civilization not being unusually early.
In the next chapter, I derive likelihood ratios for different anthropic theories and produce results.
3 Likelihoods & Updates
I’ve presented all the machinery necessary for the updates, other than the anthropic reasoning. I hope this chapter is readable without knowledge of the previous two.
I now apply three approaches to dealing with anthropics:
 The selfindication assumption (SIA),
 The sampling assumption (SSA)
 Noncausal decision theoretic approaches (such as anthropic decision theory, or minimal reference class SSA with a noncausal decision theory)
I have three joint priors over the following eight parameters.
 Four ‘life’ parameters
 The number of hard trytry steps
 The geometric mean completion time of the hard steps
 The sum of the duration of delay and fuse steps
 The probability of passing through all tryonce steps
 Two parameters related to habitability
 The maximum habitable duration of any planet
 A parameter that controls the habitability of the early universe
 Two parameters related to GCs
 The fraction of ICs that become GCs
 The average speed of expansion of GCs
I update on either the observation I label or observation I label . Both and include observing that we are in an IC that
 Appeared at after the Big Bang
 Is on a planet that was formed (and has been potentially habitable) for around 4.5 Gy
 Is on a planet that will remain habitable for around another 1 Gy
additionally contains the observation that we do not see any GCs. Alternatively, additionally contains the observation that we are not inside a GC (equivalently, that we exist, if we expect GCs to prevent ICs like us from appearing).
I walk through each anthropic theory in turn, derive a likelihood ratio, and produce results. In Chapter 4 I discuss potential implications of these results.
By Bayes rule
I have already given my priors and so it remains to calculate the likelihood P(Xn, ..., v). I derive likelihoods in the discrete case, and index my priors by worlds .
SIA
I use the following definition of the selfindication assumption (SIA), slightly modified from Bostrom (2002)
All other things equal, one should reason as if they are randomly selected from the set of all ^{[12]}possible observer moments (OMs) [a brief timesegment of an observer].^{[13]}
Applying the definition of SIA,
That is, SIA updates towards worlds where there are more OMs like us. Since the denominator is independent of , we only need to calculate the numerator, .
By my choice of definitions, is proportional to , the number of ICs with feature X that actually appear per OUSV. The constant of proportionality is given by the number of OMs per IC, which I suppose is independent of model parameters, as well as the number of OUSVs in the earlier specified large finite volume. Again, these constants is unnecessary due to the normalisation.
The three summary statistics implied by the posterior are below. As mentioned before, the updates are reproducible here.
Updating with observation Xc  Updating with observation Xv 
SIA updates overwhelmingly towards the existence of GCs in our light cone from all three of my priors. If a GC does not emerge from Earth, most of the volume will be expanded into by other GCs.
I discuss some marginal posteriors here, and reproduce all the marginal posteriors in the appendix.
SIA updates towards smaller as the existence of more GCs can only decrease the number of observers like us. This is the “SIA Doomsday” described by Grace (2010). This result is the same as found by Olson & Ord (2021) whereby the prior on goes from prior to posterior .
The SIA update is overwhelmingly towards smaller . Increasing only increases the number of GCs that could preclude XICs.
SSA
I use the following definition of the selfsampling assumption (SSA), again slightly modified from Bostrom (2002)
All other things equal, one should reason as if they are randomly selected from the set of all actually existent observer moments (OMs) in their reference class.^{[14]}
A reference class is a choice of some subset of all OMs. Applying the definition of SSA with reference class ,
That is, SSA updates towards worlds where observer moments like our own are more common in the reference class.
I first consider two reference classes, and . The reference class contains only OMs contained in ICs, and no OMs in GCs. This is the reference class implicitly used by Hanson et al. (2021). The reference class also includes observers in GCs. I later consider the minimal reference class, containing only observers who have identical experiences, paired with noncausal decision theories.
Small reference class RICs
This is the reference class implicitly used by Hanson et al. (2021). I reach different conclusions from Hanson et al. (2021), and discuss a possible error in their paper in the appendix.
The total number of OMs in is proportional to the number of ICs, . As in the SIA case, the number of XOMs is proportional to , so the likelihood ratio is .
Updating with observation Xc  Updating with observation Xv 
SSA has updated away from the existence of GCs in our future light cone.
In the appendix, I discuss how this update is highly dependent on the lower bound on the prior for . Again, smaller is unsurprisingly preferred.
Large reference class
This reference class contains all OMs that actually exist in our large finite volume, and so includes OMs that GCs create. It is sometimes called the “maximal” reference class^{[15]}.
I model GCs as using some fraction of their total volume to create OMs. I suppose that this fraction and the efficiency of OM creation are independent of the model parameters. These constants do not need to be calculated, since they cancel when normalising.
The total volume controlled by all GCs is proportional to , the average fraction of OUSVs saturated by GCs at some time when all expansion has finished^{[16]}.
I assume that a single GC creates many more OMs than are contained in a single ICs. Since my prior on has and I expect GCs to produce many OMs, I see this as a safe assumption. This assumption implies the total number of OMs as proportional to . The SSA likelihood ratio is .
I do not see this update as not particularly informative, since I expect GCs to create simulated XOMs., which I explore later in this chapter.
Updating with observation Xc  Updating with observation Xv 
^{[17]} 
Notably, SSA updates towards as small as possible, since increasing the speed of expansion increases the number of observers created that are not like us — the denominator in the likelihood ratio.
As with the SSA update, this result is sensitive to the prior on , which I discuss in the appendix.
Noncausal decision theoretic approaches
In this section, I apply noncausal decision theoretic approaches to reasoning about the existence of GCs. This chapter does not deal with probabilities, but with ‘wagers’. That is, how much one should behave as if they are in a particular world.
The results I produce are applicable to multiple noncausal decision theoretic approaches.
The results are applicable for someone using SSA with the minimal reference class () paired with a noncausal decision theory, such as evidential decision theory (EDT). SSA contains only observers identical to you, and so updating using SSA Rmin simply removes any world where there are no observers with the same observations as you, and then normalises.
The results are also applicable for someone (fully) sticking with their priors (being ‘updateless’) and using a decision theory such as anthropic decision theory (ADT). ADT, created by Armstrong (2011), converts questions about anthropic probability to decision problems, and Armstrong notes that “ADT is nothing but the Anthropic version of the far more general ‘Updateless Decision Theory’ and ‘Functional Decision Theory’”.
Application
I suppose that all decision relevant ‘exact copies’ of me (i.e. instances of my current observations) are in one of the following situations
 An IC that later becomes a GC
 An IC that does not become a GC
 A simulation that is smaller in scale than the ‘basement’ realty (e.g., the simulation is shorter lived)
Of course, copies may be in nondecision relevant situations, such as shortlived Boltzmann brains.
For each of the above three situations, I calculate the expected number of copies of me per OUSV. For example, in case (1), the number of copies is proportional to and in (2) ^{[18]}. I do not calculate the constant of proportionality (which would be very small)  this constant is redundant when considering the relative decision worthiness of different worlds.
My decisions may correlate with agents that are not identical copies of me (at a minimum, near identical copies) which I do not consider in this calculation. If in all situations the relative increase in decisionworthiness from correlated agents is equal, the overall relative decision worthiness is unchanged.
To motivate the need to consider these three cases, I claim that our decisions are likely contingent on the ratio of our copies in each category and the ratio of the expected utility of our possible decisions in each scenario. For example, if we were certain that none of our copies were in ICs that became GCs, or all of our copies were in shortlived simulations, we may prioritise improving the lives of current generations of moral patients.
The GC wager
I choose to model all the expected utility of our decisions as coming from copies in case (1). That is, to make decisions premised on the wager that we are in an IC that becomes a GC and not in an IC that doesn’t become a GC, nor in a shortlived simulation.
Tomasik (2016) discusses the comparison of decisionworthiness between (1) and (2) to (3). My assumption that (1) dominates (2) is driven by my prior distribution on fGC (which is bounded below by 0.01) and the expected resources of a single GC dominating the resources of a single IC.
Counterarguments to this assumption may appeal to the uncertainty about the ability to affect the longrun future. For example, if a GC emerged from Earth in the future but all the consequences of one’s actions ‘wash out’ before that point, then (1) and (2) would be equally decisionworthy.
I expect that forms of lockin, such as the values of an artificial general intelligence, provide a route for altruists to influence the future. I suppose that a total utilitarian’s decisions matter more in cases where the Earth emerging GC is larger. In fact, I suppose a total utilitarian’s decisions matter in linear proportion to the eventual volume of such a GC.
An average utilitarian’s decisions then matter in proportion to the ratio of the eventual volume of an Earth emerging GC to the volume controlled by all GCs, supposing that GCs create moral patients in proportion to their resources.
Calculating decisionworthiness
To give my decision worthiness of each world, I multiply the following terms:
 My prior credence in the world^{[19]}
 The expected number of copies of me in ICs that become GCs
 If I am a total utilitarian:
 The expected total resources under control of the GCs emerging from ICs with copies of me in this world.
 If I am a total utilitarian:
 The ratio of expected total resources under control of the GCs emerging from ICs with copies of me in, to the expected total resources of all GCs (supposing that).
This gives the degree to which I should wager my decisions on being in a particular world.
Total utilitarianism
The number of copies of me in ICs that become GCs is proportional to. The expected actual volume of such GCs is . Using the assumption that our influence is linear in resources, the decision worthiness of each world is
I use the label “ADT total” for this case.
Updating with observation  Updating with observation 
Total utilitarians using a noncausal decision theory should behave as if they are almost certain of the existence of GCs in their future light cone. However, the number of GCs is fairly low  around 40 per AUSV.
Average utilitarianism
As before, the number of copies of me in ICs that become GCs is proportional to and again the expected actual volume of such a GC is given by The resources of all GCs is proportional to . Supposing that GCs create moral patients in proportion to their resources, the decision worthiness of each world is
I use the label “ADT average” for this case.
Updating with observation  Updating with observation 
An average utilitarian should behave as if there are most likely no GCs in the future light cone. As with the SSA updates, this update is sensitive to the prior on and is explored in an appendix.
Interaction with GCs
I now model two types of interactions between GCs: trade and conflict.
The model of conflict that I consider decreases the decision worthiness of cases where there are GCs in our future light cone. I show that a total utilitarian should wager as if there are no GCs in their future light cone if they think the probability of conflict is sufficiently high.
The model of trade I consider increases the decision worthiness of cases where there are GCs in our future light cone. I show that an average utilitarian should wager that there are GCs in their future light cone if they think there are sufficiently large gains from trade with other GCs.
The purpose of these toy examples is to illustrate that a total or average utilitarian’s true wager with respect to GCs may be more nuanced than presented earlier.
Total utilitarianism and conflict
Suppose we are in the contrived case where:
 We have credence in the future where all GCs ‘do their own thing’ and (say) convert their volumes into their own form utility.
 We have credence in a future where all GCs in our future light cone ‘fight’ to control the entire future light cone. The probability of a GC winning is proportional to their actual volume. The winner then gets their maximal volume (the volume they would have reached if no other GCs were present) and all other GCs lose all their resources.
When conflict occurs, an Earth originating GC has probability ^{[20]}of getting its maximal volume, . Supposing a total utilitarian’s decisions can influence both cases equally, the expected decisionworthiness per copy in an IC that becomes a GC is
As before, multiplying by the number of copies of me in ICs that become GCs, , gives the decision worthiness.
Intuitively, since the conflict in expectation is a net loss of resources for all GCs, this leads one to wager one’s decisions against the existence of GCs in the future.
Average utilitarianism and trade
I apply a very basic model of gains from trade between GCs with average utilitarianism. I suppose that one can only trade with other GCs within the affectable universe.^{[21]}^{[22]}
Intuitively the decision worthiness goes up in a world with trade as there is more at stake: our GC can both influence its own resources and the resources of other GCs. This model of trade would also increase the degree to which a total utilitarian would wager there are GCs in their future light cone.
I suppose an average utilitarian GC completes a trade by spending of their resources (which they could otherwise use to increase the welfare of moral patients by a single unit) for the return of welfare of moral patients to be increased by one unit. For the GC benefits by making the trade, and so should always make such a trade rather than using the resources to create utility themselves. I write for the probability density of a randomly chosen trade providing return, and suppose that the ‘volume’ of available trades is proportional to the volume saturated by GCs, which itself is proportional to .
I take for some . For smaller , a greater proportion of all available trades are beneficial, and a greater number are very beneficial. For example, for k=1 the fraction of the volume controlled by GCs that the average utilitarian GC can make beneficial trades with is and of volume controlled by GCs allows for trades that return twice as much as they put in. For these same terms are and respectively.
Note that smaller supposes a very large ability to control effective resources by other GCs through trade. Some utility functions may be more conducive to expecting such high trade ratios.
I suppose that the decisionworthiness for each copy of an average utilitarian is linear in the ratio of effective resources that the future GC controls, (i.e. the total resources the GC would need to produce the same utility without trade) to the total resources controlled by all GCs. Other GCs may also increase the effective resources they control: for simplicity, I assume that such GCs do not use their increased effective resources to change the number or welfare of otherwise existing moral patients.
Average utilitarians should wager their decisions on the existence of (many) GCs if they expect high trade ratios, and the ability to linearly influence the value of these trades.
Updates with simulated observers
In this section, I return to probabilities and consider updates for SIA and SSA in the case where GCs create simulated observers like us. For the most part, the results are similar to those seen so far: SIA supports the existence of many GCs, and SSA does not. Since SSA does not include observers created by GCs, its results are independent of the existence of any simulated observers created by GCs.
This section implicitly assumes that the majority of observers like us (XOMs) are in simulations (run by GCs), as argued by Bostrom (2003). Chapter 4 does not depend on any discussion here, so this subsection can be skipped.
Ancestor simulations
In the future, an Earth originating GC may create simulations of the history of Earth or simulate worlds containing counterfactual human civilizations. I call these ancestor simulations (AS).
Bostrom (2003) concludes that at least one of the following is true:
 The fraction of all humanlevel technological civilizations that survive to reach a posthuman stage is approximately zero
 The fraction of posthuman civilizations that are interested in running ancestorsimulations is approximately 0
 The actual fraction of all observers with humantype experiences that live in simulations is approximately 1
GCs other than humans may create AS of their own past as an ICs. These OMs in AS created by GCs who transitioned from XICs will be XOMs.
Historical simulations
As well as running simulations of their own past, GCs may create simulations of other ICs. GCs may be interested in the values or behaviours of other GCs they may encounter, and can learn about the distribution of these by running simulations of ICs.
I use the term historical simulations (HS) to describe a behaviour of simulating ICs where the distribution of simulated ICs is equal to the true distribution of ICs. That is, the simulations are representative of the outside world, even if GCs run the simulations one IC at a time.
Other OMs
GCs may create many other OMs, simulated or not, of which none are XOMs. For example, a posthuman GC may create a simulated utopia of OMs. I use the term other OMs as a catchall term for such OMs.
Simulation budget
I model GCs as either
 spending a fraction of their total resources on AS or HS, or
 spending some fixed quantity of their resources on AS or HS
As well as
 Spending some fraction of their resources on other OMs.
Fixed means that the amount each GC spends is independent of the model parameters  it does not mean each GC creates the same number.
Most XOMs are in simulations
I first give an example to motivate the claim that when GCs create simulated XOMs, the majority of all XOMs are in such simulations rather than being in the ‘basementlevel’.
Bostrom (2003) estimates that the resources of the Virgo Supercluster, a structure that contains the Milky Way and could be fully controlled by an Earthoriginating GC, could be used to run human lives per second, each containing many OMs. Around humans have ever lived: if we expect a GC to emerge in the few centuries, it seems unlikely more than 1012 humans will have lived by this time. In this case, only (one hundred million trillionths) of all a GC’s resources would need to be used for a single second to create an equal number of XOMs to the number of basementlevel XOMs.
When GCs create AS or HS, I assume that the number of XOMs in AS or HS far exceeds the number of XOMs in XICs. That is, most observers like us are in simulations.
Both SIA and SSA support the existence of simulations of XOMs, holding all else equal, creating simulated XOMs (trivially) increases the number XOMs and the ratio XOMs/OMs.
Likelihood ratios
I first calculate XOMs for each simulation behaviour. These give the SIA likelihood ratios. As previously discussed in the SSA case, I suppose that the vast majority of OMs are in GCs and so are created in proportion to the resources controlled by GCs,. Dividing by by then gives the SSA likelihood ratio.
GCs create  is proportional to^{[23]}:
 Derivation 
AS fixed  I assume that the fixed number of OMs is much greater than , this means one can approximate all XOMs as contained in AS. The number of XICs that actually appear is of which will become GCs.  
HS fixed  The total number of GCs that appear is . Each creates some average number of HS each containing some average constant number of XOMs. The fraction of ICs in HS which are XICs is . The product of these terms is Intuitively, this is equal to the AS fixed case as the same ICs are being sampled and simulated, but the distribution of which GCsimulateswhichIC has been permuted.  
AS resource proportional  The number of GCs that create AS containing XICs is . The number of AS each of these GCs creates is proportional to the actual volume each would control,  
HS resource proportional  Of all HS created, will be of XICs. The total number of HS created is proportional to the average fraction of OUSVs saturated by GCs, 
Note that above the derivations give the equivalences between
 SIA AS resource proportional & ADT with total utilitarianism
 SSA HS resource proportional and SSA
 SSA AS resource proportional & ADT with average utilitarianism
And so are not calculated here again.
SIA updates
Simulation behaviour  Updating with observation  Updating with observation 
AS fixed / HS fixed  
HS resource proportional 
SSA updates
Simulation behaviour  Updating with observation  Updating with observation 
AS fixed / HS fixed 
4 Conclusion
Summary of results
Anthropic theory  
SIA  ADT total utilitarianism  ADT average utilitarianism  SSA  SSA  
No XOMs  1  4  5  6  8 
HSfixed  2  4  5  7  8 
ASfixed  2  4  5  7  8 
HSrp  3  4  5  8  8 
ASrp  4  4  5  5  8 
In the above table, the left column gives the shorthand description of GC simulationcreating behaviour. Equivalent updates have the same colour and number.
The posterior credence in being alone in the observable universe, conditioned on observation .  
Prior  1  2  3  4  5  6  7  8 
Bullish  <0.1%  <0.1%  <0.1%  0.2%  70%  68%  69%  64% 
Balanced  <0.1%  <0.1%  <0.1%  0.2%  89%  89%  89%  85% 
Bearish  <0.1%  <0.1%  <0.1%  0.2%  94%  95%  95%  92% 
These results replicate previous findings:
 Olson & Ord (2020) and Finnveden (2019) that show SIA supports the existence of GCs in our future
 Finnveden (2019) that shows total utilitarians using a noncausal decision theory should behave as if there are GCs in the future
These results fail to replicate Hanson et al.’s (2021) finding that (the implicit use of ) SSA implies the existence of GCs in our future.
To my knowledge, this is the first model that
 Quantifies the effects of the simulation hypothesis on the Fermi paradox
 Quantifies the noncausal decision theoretic wager for average utilitarians
In the appendix, I also produce variants of updates for different priors: taking (log)uniform priors on all parameters, and varying the prior on .
Which anthropic theory?
My preferred approach is to use a noncausal decision theoretic approach, and reason in terms of wagers rather than probabilities.
Within the choice of utility function in finite worlds, forms of total utilitarianism are more appealing to me. However, it seems likely that the world is infinite and that aggregative consequentialism must confront infinitarian paralysis—the problem that in infinite worlds one is ethically indifferent between all actions. Some solutions to infinitarian paralysis require giving up on the maximising nature of total utilitarianism (Bostrom (2011)) and may look more averagist^{[24]}. However, interaction with other GCs  such as through trade  make it plausible that even average utilitarians behave as if GCs are in their future light cone.
Having said this, theoretical questions remain with the use of noncausal decision theories (e.g. comments here on UDT and FDT).
Why does this matter?
If an Earthoriginating GC observes another GC, it will most likely not be for hundreds of millions of years. By this point, one may expect such a civilization to be technologically mature and any considerations related to the existence of aliens redundant. Further, any actions we take now may be unable to influence the far future. Given these concerns, are any of the conclusions actionrelevant?
Primarily, I see these results being most important for the design of artificial general intelligence (AGI). It seems likely that humanity will hand off control of the future, inadvertently or by design, to an AGI. Some aspects of an AGI humanity builds may be lockedin, such as its values, decision theory or commitments it chooses to make.
Given this lockin, altruists concerned with influencing the far future may be able to influence the design of AGI systems to reduce the chance of conflict between this AGI and other GCs (presumably also controlled by AGI systems). Clifton (2020) outlines avenues to reduce cooperation failures such as conflict.
Astronomical waste?
Bostrom (2003) gives a lower bound of biological human lives lost per second of delayed colonization, due to the finite lifetimes of stars. This estimate further does not include stars that become impossible for a human civilization due to the expansion of the universe.
The existence of GCs in our future light cone may strengthen or weaken this consideration. If GCs are aligned with our values, then even if a GC never emerges from Earth, the cosmic commons may still be put to good use. This does not apply when using SSA or a noncausal decision theory with average utilitarianism, which expect that only a human GC can reach much of our future light cone.
SETI
The results have clear implications for the search for extraterrestrial intelligence (SETI).
One key result is the strong update against the habitability of planets around red dwarfs. For the selfsampling assumption or a noncausal decision theoretic approach with average utilitarianism, there is great value of information on learning whether such planets are in fact suitable for advanced life: if they are, SSA strongly endorses the existence of GCs in our future light cone, as discussed in the appendix. SIA, or a noncausal decision theoretic approach with total utilitarianism, is confident in the existence of GCs in our future light cone regardless of the habitability of red dwarfs.
The model also informs the probability of success of SETI for ICs in our past lightcone. Such ICs may not be visible to us now if they were too quiet for us to notice or did not persist for a long time.
Risks from SETI
Barnett (2022) discusses and gives an admittedly “nonrobust” estimate of “0.10.2% chance that SETI will directly cause human extinction in the next 1000 years”.
I consider the implied posterior distribution on the probability of a GC becoming observable in the next thousand years. The (causal) existential risk from GCs is strictly smaller than the probability that light reaches us from at least one GC, since the former entails the latter.
The posteriors imply a relatively negligible chance of contact (observation or visitation) with GCs in the next 1,000 years even for SIA.
However, it seems that the risk in the next is then more likely to come from GCs that are already potentially observable that we have just not yet observed  perhaps more advanced telescopes will reveal such GCs.
Further work
I list some further directions this work could be taken. All the calculations can be found here.
I have not updated on all the evidence available. Further evidence one could update on includes:
 Facts about the Sun (e.g. that it is a Gtype star), or Milky Way (e.g. that is a barred spiral galaxy) that would narrow the definition of XICs.
 That no signs of life have been observed on Mars or other bodies in the solar system
 That we have not observed any ICs. To do this, one would need a prior distribution over the lifetime of ICs and how likely it is for us to detect them. This is increasingly important for those with low prior on . This observation pushes against “life is common, is small” and towards both “life is hard” and “life is somewhat common and is large”.
Modelling assumptions can be improved:
 Considering priors on each trytry step and using the true completion time distribution, rather than an approximation
 Considering the possibility of panspermia
 Considerations of the structure of the universe in GC expansion
More variations of the updates could be considered:
 Using different references classes with SSA
 Considering more advanced conflict/trade models in the noncausal decision theoretic approaches
 Using utility functions other than average and total utilitarianism in the noncausal decision theoretic approaches
More thought could be put into the prior selection (though the main results still follow from (log)uniform priors):
 The priors on and can be informed by considering the biological mechanisms of the trytry steps.
 The priors on and are unlikely to be independent: if we expect no planets around red dwarfs to be habitable, this seems evidence for marginally smaller on planets around sunlike stars.
 The parameter could be split into two parameters: one that controls the habitability of planets around longer lived stars and another that models how long these planets are habitable for. I expect this to have little difference on the results: all anthropic theories would prefer no nonEarth like planets to be habitable, and in the case they are, habitable for the shortest duration. Alternatively, the latter parameter could be replaced by a ‘deadline’ parameter.
Acknowledgements
I would like to thank Daniel Kokotajlo for his supervision and guidance. I’d also like to thank Emery Cooper for comments and corrections on an early draft, and Lukas Finnveden and Robin Hanson for comments on a later draft. The project has benefited from conversations with Megan Kinniment, Euan McClean, Nicholas GoldowskyDill, Francis Priestland and Tom Barnes. I'm also grateful to Nuño Sempere and Daniel Eth for corrections on the Effective Altruism Forum. Any errors remain my own.
This project started during Center on LongTerm Risk’s Summer Research Fellowship.
Glossary
The number of hard trytry steps  
The geometric mean of the hard steps (“hardness”)  
The sum of the delay and fuse steps, strictly less than Earth’s habitable duration.  
The probability of passing through all tryonce steps in the development of an IC  
The maximum duration a planet can be habitable for  
The decay power of gamma ray bursts  
The average comoving speed of expansion of GCs  
The fraction of ICs that become GCs 
IC  Intelligent civilization 
XIC  Intelligent civilizations similar to human civilization in that

GC  Grabby civilization 
OM  Observer moment 
OUSV  Observable universe size volume 
AUSV  Affectable universe size volume 
SIA  Selfindication assumption 
SSA  Selfsampling assumption 
ADT  Anthropic decision theory 
, ,  The number of ICs/XICs/GCs that would appear, supposing no preclusion, per OUSV 
, ,  The number of ICs/XICs/GCs that actually appear per OUSV 
The observation of being in an XIC that has not observed any GCs  
The observation of being in an XIC that is not inside a GC  
AS  Ancestor simulations; simulations created by a GC of their own IC origins (or slight variants) 
HS  Historical simulations; simulations created by a GC to be representative of IC origins 
The probability density function of IC arrival times, excluding any preclusion by GCs.  
The probability density function of IC arrival times that do not observe any GCs.  
The fraction of an OUSV unsaturated by GCs at time  
The comoving volume of a sphere/GC expanding from time at with speed  
The actual volume of a sphere/GC expanding from time b at t with speed v which considers the expansion of GCs  
The rate of habitable star formation normalised to have integral 1  
The fraction of terrestrial planets that are habitable for at most Gy  
The number of terrestrial planets per OUSV that are potentially habitable  
The fraction of potentially habitable planet habitable to advanced life at time  
The (cosmic) scale factor 
References
Ade, P. A., Aghanim, N., Arnaud, M., Ashdown, M., Aumont, J., Baccigalupi, C., ... & Matarrese, S. (2016). Planck 2015 resultsxiii. cosmological parameters. Astronomy & Astrophysics, 594, A13.
Armstrong, S. (2011). Anthropic decision theory. arXiv preprint arXiv:1110.6437.
Armstrong, S., & Sandberg, A. (2013). Eternity in six hours: Intergalactic spreading of intelligent life and sharpening the Fermi paradox. Acta Astronautica, 89, 113.
Barnett, M. (2022). My current thoughts on the risks from SETI https://www.lesswrong.com/posts/DWHkxqX4t79aThDkg/mycurrentthoughtsontherisksfromseti#Strategies_for_mitigating_SETI_risk
Bostrom, N. (2003). Are we living in a computer simulation?. The philosophical quarterly, 53(211), 243255.
Bostrom, N. (2003). Astronomical waste: The opportunity cost of delayed technological development. Utilitas, 15(3), 308314.
Bostrom, N. (2011). Infinite ethics. Analysis and Metaphysics, (10), 959.
Carter, B. (1983). The anthropic principle and its implications for biological evolution. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 310(1512), 347363.
Carter, B. (2008). Fiveor sixstep scenario for evolution?. International Journal of Astrobiology, 7(2), 177182.
Clifton, J. (2020) Cooperation, Conflict, and Transformative Artificial Intelligence: A Research Agenda. https://longtermrisk.org/files/CooperationConflictandTransformativeArtificialIntelligenceAResearchAgenda.pdf
Eth, D. (2021) GreatFilter HardStep Math, Explained Intuitively. https://www.lesswrong.com/posts/JdjxcmwM84vqpGHhn/greatfilterhardstepmathexplainedintuitively
Finnveden, L. (2019) Quantifying anthropic effects on the Fermi paradox https://forum.effectivealtruism.org/posts/9p52yqrmhossG2h3r/quantifyinganthropiceffectsonthefermiparadox
Grace, K. (2010). SIA doomsday: The filter is ahead https://meteuphoric.com/2010/03/23/siadoomsdaythefilterisahead/
Greaves, H. (2017). Population axiology. Philosophy Compass, 12(11), e12442.
Griffith, R. L., Wright, J. T., Maldonado, J., Povich, M. S., Sigurđsson, S., & Mullan, B. (2015). The Ĝ infrared search for extraterrestrial civilizations with large energy supplies. III. The reddest extended sources in WISE. The Astrophysical Journal Supplement Series, 217(2), 25.
Hanson, R., Martin, D., McCarter, C., & Paulson, J. (2021). If Loud Aliens Explain Human Earliness, Quiet Aliens Are Also Rare. The Astrophysical Journal, 922(2), 182.
HaqqMisra, J., Kopparapu, R. K., & Wolf, E. T. (2018). Why do we find ourselves around a yellow star instead of a red star?. International Journal of Astrobiology, 17(1), 7786.
Loeb, A. (2014). The habitable epoch of the early Universe. International Journal of Astrobiology, 13(4), 337339.
Maartens, R. (2011). Is the Universe homogeneous?. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 369(1957), 51155137.
MacAskill, M., Bykvist, K., & Ord, T. (2020). Moral uncertainty (p. 240). Oxford University Press.
Olson, S. J. (2015). Homogeneous cosmology with aggressively expanding civilizations. Classical and Quantum Gravity, 32(21), 215025.
Olson, S. J. (2020). On the Likelihood of Observing Extragalactic Civilizations: Predictions from the SelfIndication Assumption. arXiv preprint arXiv:2002.08194.
Olson, S. J., & Ord, T. (2021). Implications of a search for intergalactic civilizations on prior estimates of human survival and travel speed. arXiv preprint arXiv:2106.13348.
Omohundro, S. M. (2008, February). The basic AI drives. In AGI (Vol. 171, pp. 483492).
Oesterheld, C. (2017). Multiversewide Cooperation via Correlated Decision Making. https://longtermrisk.org/multiversewidecooperationviacorrelateddecisionmaking/
Ord, T. (2021). The edges of our universe. arXiv preprint arXiv:2104.01191.
Ozaki, K., & Reinhard, C. T. (2021). The future lifespan of Earth’s oxygenated atmosphere. Nature Geoscience, 14(3), 138142.
Pearce, B. K., Tupper, A. S., Pudritz, R. E., & Higgs, P. G. (2018). Constraining the time interval for the origin of life on Earth. Astrobiology, 18(3), 343364.
Russell, S. (2021). Humancompatible artificial intelligence. In HumanLike Machine Intelligence (pp. 323). Oxford: Oxford University Press.
Saadeh, D., Feeney, S. M., Pontzen, A., Peiris, H. V., & McEwen, J. D. (2016). How isotropic is the Universe?. Physical review letters, 117(13), 131302.
Sandberg, A., Drexler, E., & Ord, T. (2018). Dissolving the Fermi paradox. arXiv preprint arXiv:1806.02404.
Sloan, D., Alves Batista, R., & Loeb, A. (2017). The resilience of life to astrophysical events. Scientific reports, 7(1), 15.
Tegmark, M. (2007). The multiverse hierarchy. Universe or multiverse, 99125.
Tomasik, B. (2016). How the Simulation Argument Dampens Future Fanaticism.
Zackrisson, E., Calissendorff, P., González, J., Benson, A., Johansen, A., & Janson, M. (2016). Terrestrial planets across space and time. The Astrophysical Journal, 833(2), 214.
Appendix: Updating on the time remaining
I discuss how using the remaining habitable time on Earth to update on the number of hard steps n is implicitly an anthropic update. In particular I discuss it in the context of Hanson et al. (2021) (henceforth “they” and “their”). They later perform another anthropic update, using a different reference class, which I see as problematic.
Their prior on is derived by using the selfsampling assumption with the reference class of observers on planets habitable for ~5 Gy (the same as Earth). I write for this reference class. Throughout, I ignore delay steps, and include only hard trytry steps.
They argue (as I see correctly) that to be most typical within this reference class, and observe that Earth is habitable for another ~1 Gy, we update towards . The SSA likelihood ratio when updating on our appearance time alone (ignoring preclusion by GCs) is
where is the Gamma distribution PDF with shape and scale . I take . This likelihood ratio is largest for . We could further condition on the time that life first appeared, but this is not necessary to illustrate the point.
While their prior on n relies on this small reference class, their main argument relies on a larger reference class of all intelligent civilizations, . They use this to model humanity’s birth rank as uniform in the appearance times of all advanced life, not just those habitable for ~5 Gy.
If we use the smaller reference class Gy throughout, then one updates towards , but human civilization is no longer particularly early since all life on planets habitable for ~5 Gy appears in the next ~50 Gy due to the end of star formation. The existence of GCs will have less explanatory power in this case.
If one uses the larger reference class , when updating on human civilization’s appearance time alone (ignoring preclusion by GCs), the SSA likelihood ratio is
Where is the maximum habitable duration, and is the 'number' of planets habitable for Gy.
If we believe to be large, then the likelihood ratio is maximum at and is decreasing in : if advanced life is hard then it will appear more often on planets where it has longer to evolve and increasing n makes life harder, so decreases the total amount of advanced life and increases the fraction of life on longer habitable planets. The reference class converges to when decreasing to 5 Gy, and one updates towards .
To summarise, the following are ‘compatible’
 SSA & large & any
 SSA & small & large
 SSA & large & small
Hanson et al. write
If life on Earth had to achieve n “hard steps” to reach humanity’s level, then the chance of this event rose as time to the nth power. Integrating this over habitable star formation and planet lifetime distributions predicts >99% of advanced life appears after today, unless n < 3 and max planet duration <50Gyr. That is, we seem early.
That is, to be early in the reference class of advanced life, , we require large and large which we have shown are incompatible.
Appendix: Varying the prior on
The SSA , SSA and ADT average updates are sensitive to the lower bound on the prior for . When there are no GCs (that can preclude ICs), human civilization’s typicality is primarily determined by : the smaller the more typical human civilization is. If is certainly high, worlds with GCs that preclude ICs are relatively more appealing to SSA.
Here I show updates for variants on the prior for , and otherwise using the balanced prior. Notably, even when which has , SSA gives around 58% credence on being alone, and has posterior . As seen below, increasing the lower bound on the prior of increases the posterior implied rate of GCs.
Implied posterior on  Posterior on  
SSA  
SSA  
ADT average 
Appendix: Marginalised posteriors
The following tables show the marginalised posteriors for all updates (excluding the trade and conflict scenarios).
Appendix: Updates from uniform priors
I show that the results follow when taking uniform/loguniform priors on the model parameters as follows:
 not conditioned on the value of n
 . I also run with below
Which give the following distributions on #NGC
This takes the same (log)uniform priors, but with . The SSA implied posterior on being alone in the OUSV is now just 59% from observation , and 40% from .
Appendix: Derivations
Currently in this Google Doc. Will be added to this post soon.
Appendix: Vacuum decay
Technologies to produce false vacuum decay or other highly destructive technologies will have a nonzero rate of ‘detonation’. Such technologies could be used accidentally, or deliberately as a scorched Earth policy during conflict between GCs. Nongravitationally bound volumes of the universe will become causally separated by ~200 Gy, after which GCs are safe from light speed decay.
The model presented can be used to estimate the fraction of OUSVs consumed by such decay bubbles. I write for the fraction of ICs that trigger a vacuum decay some time shortly after they become an IC. More relevantly, one may consider vacuum decay events being triggered when GCs meet one another.
Of course, this is highly speculative, but suggestive that such considerations may change the behaviour of GCs before the era of causal separation. For example, risk averse or pure time discounting GCs may trade off some expansion for creation of utility.
One could run the entire model with replaced by . SSA supports the existence of GCs for and so would similarly support the existence of ICs that trigger false vacuum decay as a deadline.
Appendix: hard steps and the ‘power law’
As mentioned, I model the completion time of hard steps with the Gamma distribution, which has PDF
When , and so . That is, when the steps are sufficiently hard, the probability of completion grows as a polynomial in . Increasing leads to a greater ‘clumping’ of completions near the end of the possible time available.
When hard steps are present, it also means that longer habitable planets will see a greater fraction of life than shorter lived planets. For example, a planet habitable for 50 Gy will have approximately greater probability of life appearing than a planet habitable for 5 Gy.
For anthropic theories that update towards worlds where observers like us are more typical  such as the selfsampling assumption  increasing while allowing longerlived planets makes observers like us less typical.
 ^{^}
With either the reference class of observers in intelligent civilizations, or all existing observers
 ^{^}
This probability is conditional on the fact that there are no GCs for us to see already. The true number is then much higher if one believes that we might just not have seen some already visible GCs.
 ^{^}
As our cosmological horizon is increasing, I fix the definition to be the volume of observable universe now
 ^{^}
A fuse step is one that has a completion time similar to the completion time of a burning fuse. The completion time could be modelled with a (truncated) normal distribution with small standard deviation and mean greater than zero.
 ^{^}
I show the validity of this approximation in the appendix
 ^{^}
$\bar{L}$ in Hanson et al. (2021)
 ^{^}
$L_{max}$ is used to upper bound the distribution of habitable planets, so could be better thought of as the 99th percentile (say) of the distribution of habitable durations.
 ^{^}
I’d recommend Stuart Armstrong’s post Anthropics: different probabilities, different questions for discussion on this point
 ^{^}
This assumes that the cosmic zoo hypothesis is false
 ^{^}
This is $1/R$ in Hanson et al. (2021)
 ^{^}
Forgive the tautological notation
 ^{^}
To avoid problems with infinite observers, I consider only observers within the large finite volume (LFV). Strictly, I am using SIA with the reference class of observers within this LFV. If the LFV is large enough, we get the density of XOMs in the Level I multiverse due to its repeating nature. This is similar to the approach discussed here.
 ^{^}
Originally referred to as SSA+SIA by Bostrom
 ^{^}
Bostrom (2002) gives this as the strong selfsampling assumption.
 ^{^}
Strictly, one can use a larger reference class that includes nonactual (merely possible OMs)  this reference class gives SIA
 ^{^}
I take $t_L$ = 200 Gy, though in most cases GCs' expansion finishes sooner
 ^{^}
The distribution has almost all probability mass on 'no GCs will reach the volumes that a human civilization could expand into'
 ^{^}
This assumes that the probability a GC emerges from Earth is equal to the average fraction of ICs that become GCs.
 ^{^}
When using SSA $R_{min}$ my prior credence in worlds with zero copies of me is zero (and so have zero decision worthiness by both the first term and also the second term). When taking a fully updateless approach, worlds that contain zero copies of me are given zero decision worthiness by the second term alone, even though I keep a nonzero prior in the world.
 ^{^}
Taking $\# V(t_{now}, t_L, v}$ in units of AUSVs
 ^{^}
Though using a noncausal decision theory, gains through trade may be possible with GCs outside the affectable universe (e.g. Oesterheld (2017))
 ^{^}
This volume itself may be too large: one may instead consider the volume that we can receive a broadcast to and hear back from
 ^{^}
The following constants, which wash out in normalisation, are not considered: (a) the average number of OMs per IC (b) the number of AS (on average) created by GCs when the number is ‘fixed’ (c) the number of OMs in created by GCs per fraction of OUSV they control (d) the number of OMs created per fraction of an OUSV given to creating AS or HS
 ^{^}
For example, one may choose to use the ratio of resources of agents with my values, to all agents as a proxy of value to disvalue
If you had to remake this 3D sim of the expansion of grabby aliens based on your beliefs, what would look different, exactly? (Sorry, I know you already answer this indirectly throughout the post, at least partially.)
I got around halfway through. Some random comments, no need to respond:
Typos:
Thanks for your questions and comments! I really appreciate someone reading through in such detail :)
SIA (with no simulations) gives the nearest and most numerous aliens.
My bullish prior (which has a priori has 80% credence in us not being alone) with SIA and the assumption that grabby aliens are hiding gives a median of ~2.5⋅10−6 chance in a grabby civilization reaching us in the next 1000 years.
I don't condition on us not having any ICs in our past light cone. When conditioning on not being inside a GC, SIA is pretty confident (~80% certain) that we have at least one IC (origin planet) in our past light cone. When conditioning on not seeing any GCs, SIA thinks ~50% that there's at least one IC in our past light cone. Even if there origin planet is in our light cone, they may already be dead.
Thanks for the suggestion, this was definitely an oversight. I'll add in some text to motivate each prior.
Lots of the priors aren't super well founded. Fortunately, if you think my bounds on each parameter is reasonable, I get the same conclusions when taking a joint prior that is uniform on n and loguniform in all other parameters.
Good question. In a hacky and unsatisfactory way, my model does allow for this:
If the ratio of nonterrestrial (habitable) planets to terrestrial (habitable) planets is r, they replace the product of tryonce steps w with w⋅(1+r) to account for the extra planets. (My prior on w is bounded above by 1, but this could be easily changed). This approach would also suppose that nonterrestrial planets had the same distribution of habitable lifetimes as terrestrial ones.
Having said that, I don't think a better approach would change the results for the SIA and ADT updates. For SSA, the habitability of nonterrestrial planets makes civs like us more atypical (since we are on a terrestrial planet). If this atypicality applies equally in worlds with many GCs and worlds with very few GCs, then I doubt it would change the results. All the anthropic theories would update strongly against the habitability of nonterrestrial planets.
Thanks!