This post is a writeup of some miscellaneous results that don't cohere into a single big post, but might possibly be of interest.

Also, in mostly unrelated news, this stuff can be a bit tricky to learn for the first time. So, I was thinking of assembling an infra version of the fixpoint exercise sheet, to help cross the gap from "There's all these complicated posts, and it looks nifty-but-intimidating" to "I understand the basic concepts well enough to casually use them when applicable, and can work through most of the requisite math on my own". This particular realm of math is one where it seems pretty feasible to guide someone to reinvent large chunks of it on their own with sufficiently leading discussion, and recreating something yourself does wonders for being able to actually wield it elsewhere. So, if anyone wants to chip in with assembling the problem sheet, or testing it out by spending a day trying out various math problems, please send me a message.

Result Summaries:

1: Because the vector space of signed measures on  and the vector space of continuous functions  are dual to each other, inframeasures are dual to infrafunctions! An infrafunction can be viewed as either a concave functional mapping a measure to an expectation value to expectation values, or as a set of a-functions. Compare this to how an inframeasure can be viewed as either a concave functional mapping a function to an expectation value, or as a set of a-measures. The theory of these sorts of things is highly incomplete at the moment.

2: Convex spaces are spaces with a distinguished function , which takes the average of a mixture of points.  being a convex space (kinda) is why the notion of "average of a distribution" exists. So, we can ask "what sorts of space  have a distinguished function ?", to get the infra-analogue of the notion of "average". As it turns out, it's a perfect halfway point between probability theory, and lattice stuff/set theory. They're convex spaces that are also complete lattices, and the probabilistic structure must interact with the order structure in the appropriate way. Specifically, given a probability distribution over subsets, mixing the sets together and taking the infinimum should produce the same result as mixing the infinima of the sets together.

3: What is the space of inframeasures over the empty set? It's just fun working through this, in the same way as it's fun working out why minimizing over the empty set produces infinity.

4: Besides the semidirect product and the free product, another notion of product has shown up. In the specific case of crisp infradistributions, it's the closest match to the naive notion of the product of probability distributions, as it lets you factorize expectations in the same way as products of probability distributions do.

5: The notion of cross-entropy of crisp infradistributions is defined, rounding out the trio of "entropy, cross-entropy, KL-divergence", where we previously had two of the three. An equality in the probability-theory case (entropy plus KL-divergence is cross-entropy) is shown to be an inequality here. Cross-entropy has a nice intuitive interpretation.

6: There's a function  (where  is a compact space) that gets you the Kleene fixpoint theorem (from computer science), the Banach fixpoint theorem, and that one theorem about Markov chains having a stationary distribution.

7: A classic result of probability theory is the disintegration theorem, which roughly states that given a probability distribution , it can always be written as being produced by a probability distribution , and a Markov kernel  giving you the conditional probabilities. This is the theorem that secretly underlies the ability to condition a distribution nearly any event or variable you want. This fails for infradistributions, but fortunately, given any crisp infradistribution , there's a canonical choice of nearby infradistribution that is disintegrable into an infradistribution , and an infrakernel . So you can kinda make conditional infradistributions.

8: Consider the following computational problem. You've got some value function  ( is the space of environments), which describes how much you care about getting a particular utility in a particular environment, and you're trying to do

Ie, pick the policy  which maximizes the worst-case value of (your environment,your utility). As it turns out, subject to some mild conditions on the derivatives of the value function, any problem of this form can be rephrased as

Namely, maximizing expected utility w.r.t some causal belief function . This allows recasting several other possible value functions as just the problem of "do well in an infraenvironment".

9: The Objectively Correct topolog(ies) on spaces of inframeasures has been found. It was generated by a minor variation on the attempt made in "Less Basic Inframeasure Theory", and so obsoletes the relevant section. The topology section wound up getting too big and got broken out into its own post.

10: It doesn't matter whether you're viewing inframeasures as a concave function from functions to their expectation values, or viewing them as a set of a-measures. This is LF-duality, aka the Fundamental Theorem of inframeasures. Sadly, the proof of it didn't generalize over to more abstract cases like what shows up in domain theory. Until now!

11: For belief functions, it's proved which sorts of them can be translated into causal belief functions without affecting the utilities particularly much. In other words, this result tells you a decision-theoretic fairness condition on which sorts of problems can be viewed as causal if you try (in an expanded sense which manages to include XOR blackmail, Newcomb, and Counterfactual Mugging). Said fairness condition comes out to be something along the lines of "if what happens now depends on what you'd do in alternate situations, the magnitude of that effect must be proportional to the time-discounted probability of actually getting into those alternate situations"

Section 1: Infrafunctions

  is the space of bounded continuous functions , and  is the space of finite signed measures on  is just some space. Compact metric spaces are the best, though it's possible to go beyond that.

The fundamental theorem of inframeasures aka LF-duality, says that there's a bijection between closed, convex, upper-complete subsets of , and concave functions . This is nice because it lets you transition back and forth between an "analytic" way of viewing inframeasures (the concave functionals), and a "geometric" way (as a set of measure,number pairs).

Just embellish your theorem with a bunch of fiddly details about what sort of space  is and what additional conditions to impose on the subsets and concave functions, and you're done.

And the core piece that makes the fundamental theorem tick is "for every concave function, the set of hyperplanes above it is sufficient data to recover the concave function", which isn't especially sensitive to measures vs functions, it's a general fact of linear algebra/functional analysis. The only extra step that's specific to inframeasures is the interpretation of those hyperplanes as measure, number pairs.

But note that  (the space of bounded continuous functions ), and  (the space of finite signed measures on ) are dual to each other. Continuous linear functionals  correspond to signed measures, and continuous linear functionals  correspond to bounded continuous functions, it's a completely symmetric situation. So what if we tried doing things the other way around?

Inframeasures are what you get when you start with concave functions , represent them as a set of affine functions/hyperplanes, and interpret those affine functions as measure,number pairs. But what about when you start with concave functions , represent them as a set of affine functions/hyperplanes, and interpret those affine functions as function,number pairs? Well, that's an infrafunction.

An infrafunction  is either a concave function of type , or a set of function/number pairs , and we have

Just as inframeasures respond to functions with the worst-case measure, infrafunctions respond to measures with the worst-case function.

When would these be useful? Well, they seem to capture every case where randomizing your action is better than picking what to do deterministically. If randomizing your action is better than deterministic choice, that means that the function  yielding the value of various distributions over actions is a concave function. And so, LF-duality will turn that concave function over distributions into a set of functions  that you're (implicitly) assuming the worst-case of. This formalizes the thing Eliezer was talking about where randomization is only helpful when you're trying to do worst-case optimization against an adversary instead of average-case optimization.

Most of the proofs for this are utterly routine. There's probably lots of interesting stuff to show about infrafunctions but I want to get this post out in a timely manner, so instead I'll just observe that infrafunction theory is a pretty wide-open place to look for nifty results.

Section 2: Infra-algebras

Note: In this section, and for the proofs, the domain-theory ordering on inframeasures is used, where infinimum corresponds to union.

As motivated in the results preamble, which spaces  have a distinguished function ? This would be the infra-version of "average". Well, the space of infradistributions contains the space of probability distributions within it. So, any space like that induces a function . Thus, whatever sort of space we're looking for, it should at least be a convex space, with a notion of mixture of points.

Well, if  is a convex space, is that enough to get a function ? Not yet. We do know where the probability distributions should get mapped to, we've got a function . But, for a crisp infradistribution (ie, set of probability distributions) , where should that get mapped to? Well,  is associated with a set of probability distributions , so  should probably get mapped to a point that has something to do with the set , the set you get by pushing  through the "take the average" function. The set  is compact, so the set  should be compact as well.

Net question: Given a nonempty compact subset of , is there some distinguished point of  associated with it? Well, that's basically like asking for a space  with a distinguished function , mapping nonempty compact sets ( is the space of nonempty compact subsets of ) to points. As it turns out, (if the entire space  is compact), a space like that is a poset with all nonempty infinima existing. It's basically a complete lattice except it may be missing the top point. Just map your compact set to the infinimum.

So, the function we're after (let's call it  for "flatten") should be defined something like

Ie, convert  into a set of probability distributions, take the average of all of those distributions to get a set of points in , and take the inf of that set.

This, at minimum, requires that  be a convex space (so you know where to map the probability distributions to), and a poset with all nonempty infinima (so you know where to map sets of probability distributions to). But actually, this isn't enough by itself, the mixture structure and the order structure must interact in a certain way, as we'll get to later.

But wait, there's lots of sorts of infradistributions, and we've just dealt with the crisp infradistributions (sets of probability distributions) so far! Yes. It's important to note that there's actually lots of inframeasure monads (space of crisp infradimeasures, space of cohomogenous inframeasures, etc...), producing different spaces of inframeasures.  is ambiguous notation that's bad here, because all the different possible choices of "space of inframeasures" produce a slightly different batch of properties a space  needs for there to be a special function .

It's not too hard to work out the details for other sorts of inframeasures, but my preferred choice is the inframeasures of type , which are made of sets of a-measures  where , which heretofore haven't been named.

The reason why is because any a-measure of that form can be expressed as an element of . Basically, the measure component  tells you how probability is distributed on the space , the  term is the probability of a distinguished "utility" point, and  is the probability of a distinguished "no utility" point.

So, if we can just figure out where "pure utility" and "pure lack of utility" should go, then we can go "by convexity, we know where all the a-measures should get mapped to", and then map an inframeasure to the inf of the set it induces, like usual.

The answer is that there should be a top point of the space  (we already know there's a bottom point because of all nonempty infinima existing), and "pure utility" gets mapped to the top point, and "pure lack of utility" goes to the bottom point.

And so, we're about ready to define the necessary-and-sufficient conditions for a compact metric space  to have a distinguished function . Where  is the space of inframeasures on  generated by sets of a-measures  with .

1: The space  is a -algebra, ie there's a distinguished continuous function .

2: The space  is a -algebra, ie there's a distinguished continuous function . In particular, this induces an ordering on  where  if .

3: Under the induced ordering, there is a top point, .

4: The  and  functions interact as follows. Given any , a probability distribution over compact sets, we have

Condition 4 is the key one, and quite mystifying at first glance. The key insight is that it's just implementing mixture of sets. If you've got two sets,  and , what would the set  be? Well, you take all possible ways of picking a point from  and a point from , and for each way of doing that, you average the two points together, and this gets you the set , and that's the obvious way to mix two sets together. If we generalize beyond this to any probability distribution over sets, you'd take all possible (measurable) ways of picking a point from each set (that'd be the function ),  would be the resulting distribution over points, you average them together, and that gets you the mixture set. This whole mess is just implementing averaging sets together, we could write that whole process as  if we wanted.

This would turn the mysterious condition 4 into

Which is just a commutative diagram. It's saying that going  (the left-hand path) and  (the right-hand path) are the same function. Intuitively, if you have a batch of sets, it doesn't matter whether you average them together first, and then take the infinimum of the mixture set, or whether you take the infinimum of all of the sets first, and then mix the infinima together.

And so, in informal slogan form, the conditions for a space  to have a distinguished function  are:

1: You can mix points together.

2,3: The space is a complete lattice.

4: Mixing sets together and taking the inf of the mixture set is the same as taking the infs of the various sets and mixing those together.

Some minor differences show up when you adjust the sorts of spaces you're dealing with, or the sorts of inframeasures you're considering, but this is the basics.

Theorem 1: If  is a compact metrizable space, then the four conditions above are necessary and sufficient for  to be an algebra of the  monad.

"algebra of the  monad" is the formal category-theory way of saying "there's a distinguished function ". It means that there's a continuous function  (which we explicitly gave earlier! That's the unique function that works) s.t.  (both paths go ), and  (where  is the unit of the monad, ie, the function mapping a point to the dirac-delta distribution on that point). Also,  in this case is the monad mapping the space  to the space of inframeasures  generated by a set of a-measures  s.t. .

The theorem was way harder to prove than I thought. It requires expanding things into a 4x4 grid of commutative squares, requiring seven different lemmas to eventually turn one path into the other, and that was for only one direction of the proof.

As it turns out, the category of infra-algebras and the structure-preserving maps between them (affine functions that preserve infinima, top, and bottom) is somewhat interesting. If you're an ncatlab fan, it's the Eilenberg-Moore category of the inframeasure monad.

The product in it is the ordinary Cartesian product. Coproduct is a hideous complicated mess but it exists, and as it turns out, the coproduct of  and  is . The category *might* be monoidal closed, I don't know. For the specific case of infradistributions, the monoidal product of  and  should be , but generalizing that construction to all convex complete lattices is pretty hard and I haven't done it yet. And the internal hom of  and  should be the space  of all lower-semicontinuous infrakernels. But again, I don't know how to generalize that construction to all convex lattices.

Section 3: Empty Set Shenanigans

What is ? After all,  is vacuously a compact metric space. Well, it depends on what  is. If  is the space of crisp infradistributions, then . Well, let's say  is the space of all -inframeasures that can be generated by sets of a-measures , with , and work it out (since I like that one).

-inframeasure is a concave function of type , fulfilling some extra properties. If  is the empty set, then our elements would be the inhabitants of  (fulfilling some extra properties). Now, there's only one function from the empty set to anything, the empty function, which is vacuously continuous. So, the inframeasures would be the inhabitants of , the various constant functions. Or, expressing it another way, just the space . These functionals are all vacuously concave, continuous, and all the rest.

So, we have . Remember, an a-measure is  where  are nonzero numbers, and  is a probability distribution. There are no probability distributions over the empty set, so all that's left is that  constant term.

Now, if  is the empty function, then what is its pushforward? What's ? Well, if  is a constant, and  is some function , then we have

So, the pushforward along the empty function is just the function mapping the constant  to the constant infradistribution  (which returns the value  no matter which function is fed in).

Section 4: Independent Product

To start off with recapping the two existing notions of product...

The first notion, the semidirect product, was defined as follows. If  and , then  is defined as

This is an asymmetric notion, and the notation reflects this. . For the special case of crisp infradistributions, you could think of  as containing all the distributions whose marginal distribution on  lies in , and whose conditional distributions on  are all selected from , regardless of the . If we think of  and  as being sets of available strategies for a player 1 and player 2 respectively, then  would be the set of probability distributions over results that are possible when player 2 is allowed to look at player 1's result, but player 2's set of available choices doesn't vary as player 1's result varies.

The second notion, free product, is defined as follows. If  and , then  is defined as

Note that  is the pullback of projection. It's like the preimage of projection, going . So, you just take the intersection of the two sets. For the special case of crisp infradistributions,  consists of all the distributions whose marginal distribution on  lies in , and whose marginal distribution on  lies in . Note that taking the free product of two probability distributions produces a set of many probability distributions.

But wait... Restricting to crisp infradistributions (sets of probability distributions)... If free product is "the set of probability distributions where their marginals must be thus-and-such", and semidirect product is "the set of probability distributions where their marginal along this coordinate is thus-and-such, and the conditional distributions along the other coordinate are thus-and-such"... That points to a missing notion of product, where the conditionals along both coordinates.

It'd be something like...  is the set of all probability distributions  where, regardless of  and , and .

Making it more formal, the independent product  is given by

Where  is the infradistribution , the infradistribution corresponding to total uncertainty over . Similar for . Technically, that equation should have a function that flips the coordinates of that second thingy from  to , but whatever, it's pretty understandable anyways.

Does this have any nice properties? Well, it's a bit tricky to tell in general, but for the restricted special case of crisp infradistributions (sets of probability distributions), we have the following key property which also characterizes products of distributions in ordinary probability theory. And it plays a big role in evaluating expectations of factorizable functions, because you can find expectations of those functions by just decomposing it into smaller parts and multiplying them together.

Theorem 2: If , and  (or  as the case may be), and  are crisp infradistributions, then

Also, in the probabilistic case, we have that the entropy of a product of distributions is the sum of their individual entropies. The same thing holds here, for the generalization of entropy to sets of probability distributions.

Theorem 3: If  are crisp infradistributions, then .

Section 5: Cross-Entropy

The definition of cross-entropy, , when  are sets of probability distributions, is

The interpretation of this is that the cross-entropy of distributions, , is "how many bits does it take on average to communicate what happened when reality is drawing from the distribution , and you're using a communication scheme optimized for the distribution ". And so, if there's a set of possible things that reality could be (), and a set of possible codes you could use (), and you knew you were in a worst-case scenario, you'd use an encoding from  that achieves fairly good efficiency over all the possible distributions in  that reality could be selecting from. And, we're assuming reality is being mean and trying to maximize the communication cost. This whole paragraph abbreviates as .

An interesting thing, however, is that this makes the usual "cross entropy equals entropy plus KL-divergence" equality into an inequality. This is because entropy, in this setting, is

This is actually a theorem. The original definition of entropy was way more complex. And also, KL-divergence was previously defined as

So, we get

And so, we have

The cross-entropy/entropy/KL-divergence inequality, instead of equality.

 

Section 6: Iterative fixpoints

There's a function , where, if , then  is the limit of .

This may look very familiar, and it is! It's just a special case of Kleene's fixpoint theorem! Kleene's fixpoint theorem says that if you've got a poset where all chains have suprema, and there's a bottom point, and your function  is monotone and preserves suprema, you can make the chain  and the supremum of that chain will be the least fixpoint of the function .

In our particular case, given some infrakernel , the pushforward through that infrakernel, , is a function of type . Since  has a bottom (under the domain theory ordering, which is reversed from the usual ordering. And this is why we're using , because that's actually bottom under the domain theory ordering), and  has suprema of chains (intersection), we can just throw Kleene's fixpoint theorem at this to show that it's well-defined.

The cool thing about this is that it manages to unify Kleene's fixpoint theorem, the Banach fixpoint theorem, stationary distributions on Markov chains, and more.

We can't expect fix to be continuous in the usual sense. As an example, let the space  be the space , the unit square. The sequence of functions  (extend it to a function  in the obvious way) we feed it are defined as

Basically,  maps points closer to the center, though the rate at which it gets closer slows down as  increases. Now, for all finite  (the one fixpoint is the center of the square, since everything else moves towards that.) However, the limit of the  is just the identity function, and then pushforward through identity is identity, so we have . This is a clear example where there's a sudden change in the least fixpoint as the function changes. The winds blowing points towards the center get weaker and weaker until they cease at the limit, and then the fixpoint suddenly goes from a single point to the entire space.

However, we can at least hope for Scott-continuity, a weakening of ordinary continuity that's closely tied to lower-semicontinuity, and domain theory. This requires that  is monotone and preserves suprema of chains, and this actually does hold.

Theorem 4: fix is Scott-continuous.

So, what sort of results does this produce? What if  is just a function ? Well then,  is . Ie, take the entire space, shove it through  over and over and over and over, and eventually your set stabilizes to something where  is a bijection on it.

For places where you'd normally apply the Banach fixpoint theorem, that limiting set will shrink to a point, so applying  to a contractive function will produce a single point/the dirac-delta distribution on that point.

If  is a Markov chain, mapping inputs to probability distributions over outputs, and it has a single stationary distribution, then  will give you exactly that stationary distribution.

If you're in a domain-theory setting, and you've got a function , fix will just give you the least fixpoint of the function, as expected.

Section 7: The Disintegration Theorem

So, the original formulation of the Disintegration Theorem, in the probabilistic case, says that given any probability distribution on , it's possible to decompose it uniquely into a distribution on , and a conditional probability function  which is unique almost everywhere.

So, for crisp infradistributions (sets of probability distributions), we might reasonably ask whether a similar thing holds, whether they decompose into a crisp infradistribution on  and an infrakernel .

The answer is, kinda. It certainly doesn't hold in general, but given any crisp infradistribution, there's always a smallest superset of it that does disintegrate like that. Here's how it's constructed.

To make the infradistribution on the  coordinate (given some  that we're trying to decompose into  and ), it's given by . Just project it onto the  coordinate, as expected.

As for constructing the , that will be more difficult to express. First, the definition of enclosing sets, for .

A closed set  is -enclosing if, for -almost all x, .

Stated informally, an enclosing set gives you a set of available conditional probability distributions for each , and the conditional probabilities of  have to be picked from that set. And there should be a weak sort of continuity where if you zoom in far enough on any particular  value, the set of available options for conditional probabilities for  should be approximately as-big-or-bigger than the set of options available in its immediate neighborhood.

The definition of a -enclosing set is robust against precisely what choice of conditional probabilities we have, because by the disintegration theorem,  is unique for -almost-all x, so altering the conditional probabilities only disrupts a set of measure zero, and so can only ensure that a measure-zero set of  have  go outside of .

Now that that's defined, given a crisp infradistribution , a closed set  is -enclosing when it's -enclosing for all .

Or, in other words, the set of available conditional distributions for each  has to be consistent with the conditional distributions of all the probability distributions in your set .

Let  be defined as 

Basically, this is the smallest allowable set of conditional distributions for each  where all the probability distributions in your set  are like "yeah, this set is big enough to have my conditional distributions in it", and that also fulfills our closed-graph continuity-like condition.

And now can finally define our conditional infradistribution! , where . We're implicitly converting the closed subset of  to a closed subset of , by picking an x, and then using the usual translation from a set of probability distributions to an infradistribution.

Theorem 5:  is a lower-semicontinuous infrakernel, and  is the smallest disintegrable superset of .

Section 8: Environment-Forming Constraints

Credit to Vanessa for this idea.

We might want to have worst-case desiderata of the form "you must do this well in these environments". This can be expressed as a zero-sum game where you're trying to find a policy where, regardless of environment, a value function depending on the environment and your expected utility, exceeds a particular value. (You can have the value function automatically score well for environments you want to ignore, since yu're optimizing the worst-case.)

Ie, you're doing

Where  ( is the space of environments) is the value function. And  is the distribution over histories from policy  interacting with environment , and  is expected utility. Increased expected utility should always be good, so we demand that  is monotone in its second argument.

As it turns out, any constraint of this form (subject to some conditions on the first and second derivatives) can be reexpressed as just trying to do well vs one particular causal law/infraenvironment/set of a-environments/causal belief function/damn we really need to sort out this terminology, don't we.

Theorem 6: Given any value function  (where  is the space of environments) which is monotone in the second argument, and has first derivatives bounded above 0 and second derivatives bounded below infinity, there is a causal law (set of infraenvironments)  s.t

occurs iff

Regardless of , and utility function .

As it turns out, if  is concave for all , you can translate it very directly to a causal law. If it's not concave, you might get some nonlinear scaling of how the various policies do relative to each other, but the ordering of how well various policies do is unchanged. Concavity is very important here, and almost all of the difficulty with proving this theorem is concentrated in figuring out how to build a monotone function  (the nonlinear rescaling) s.t.  is concave for every choice of environment .

Section 9: Inframeasure Topologies

This section entirely obsoletes section 6 in Less Basic Inframeasure Theory, and propositions 41 through 50. I mean, the theorems are correct, but they're not about the Right Thing.

But it was too long, so I had to break it out into its own post. Suffice to say, there's two "objectively correct" topologies on inframeasures motivated purely by continuity considerations. And the continuity considerations naturally spit out all the complicated compact-set requirements for Polish spaces, for free. There's four highly distinct and equivalent ways to view inframeasure convergence, and all the complicated conditions on when an infrakernel is "well-behaved" can be obsoleted in one strike with "it's a continuous function  when you give  the objectively correct topology".

Also, some of the results like LF-duality for Polish spaces were actually subtly wrong. The flaw was that , the space of bounded continuous functions , actually should have been equipped with a much more unusual and obscure topology than I originally thought it had. But don't worry, everything got repaired to the correct form.

Section 10: Generalizing LF-duality

So, if there's a Fundamental Theorem of Inframeasures, it'd definitely be LF-duality, the theorem about how it's equally valid to look at inframeasures as concave functions fulfilling certain properties, or as sets of a-measures fulfilling certain properties. It's equally valid to look at a concave function or the set of hyperplanes above it.

Sadly, if you dig into the mathematical guts of how this result is proven, it doesn't generalize to the case of domain theory. Until now, it's been impossible to take an inframeasure defined on a domain, and have an assurance that the "set of a-measures" view is faithful to the originally defined function.

But it got solved anyways. Thank "Hahn-Banch Type Theorems for Locally Convex Cones", an excellent paper by Walter Roth on abstract generalizations of the Hahn-Banach separation theorem. Their Theorem 1 is what I disassembled and reassembled to prove what I needed.

Theorem 7: Given  a locally compact and compact space, and a convex function  and concave Scott-continuous function  (both of type  or ) where , then there is some affine, Scott-continuous function  of the same type signature, where .

Corollary 1, LF-duality for domains Given any -BC domain  and inframeasure 

So even in domain theory, it's legitimate to view an inframeasure as the same as a set of a-measures.

Section 11: Faithful Acausal-to-Causal Translations

Referring back to "The Many Faces of Infra-Beliefs", there was a way to (non-faithfully) translate acausal belief functions (which can encode any sort of problem where the way reality goes depends on your policy) to pseudocausal belief functions, which is, intuitively, "assume it's possible for the predictor to make a mistake". And there was a way to faithfully translate pseudocausal belief functions to causal belief functions, by adding an extra imaginary state, "Nirvana", that's 1 utility if you ever hit it.

So, all decision theory problems can be recast in causal form, by adding imaginary extra reward states!

Well... not really. There's two complications. One of them is the acausal-to-pseudocausal translation, not all decision-theory problems survive that one. It was extensively analyzed back in "The Many Faces of Infra-Beliefs", and the key to the translation not affecting expected values particularly much is whether a particular condition holds, which can be roughly described as "for a misprediction to have a large effect on what happens, it must be the case that you've got a non-negligible chance at actually entering the situation where you're mispredicted". It's like a sort of fairness condition. If Omega screwed up its predictions, could you prove it wrong?

The other complication is the "if Nirvana ever happens, it's 1 utility" part, as that isn't a continuous utility function, that's a lower-semicontinuous one. You could try to make Nirvana into a 1-reward state forevermore (and then things would be continuous, because Nirvana late isn't as good), but then that introduces another complication that could change things, where you stop dealing well with decision-theory problems because the time where you're being predicted is just way way too far in the future and it gets time-discounted into negligibility.

Although, that actually does sound somewhat sensible for good learning behavior. It seems quite difficult to learn good behavior in policy-selection problems when the gap between the action and the results is long.

Anyways, the result we want is some condition on acausal belief functions