LBIT Proofs 8: Propositions 53-58

Theorem 4: ${lim}_{α \to 1} H_{α} (h)$ exists for all infradistributions over a finite set $X$ , and equals $- {sup}_{q} d h (1; ln (q))$

So, as a recap, here's how it works. $α > 1$ . The Renyi entropy for $α > 1$ is:

$\frac{α}{1 - α} ln ({sup}_{q} (h (q^{\frac{α - 1}{α}})))$

Where $q$ is taken over functions with $\sum_{i} q_{i} = 1$ (we have finitely many points, we're summing it up over all of those). And our task is to take the limit as $α$ tends to 1.

Our first step is to let $α = 1 + ϵ$ , and with this reindexing, we can instead take the limit as $ϵ$ tends to 0, and get the same answer. So, we're trying to find:

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}})))$

Well, we don't even necessarily know it exists. Looking at this, in the $ϵ \to 0$ limit, if $q$ is such that $\forall i : q_{i} > 0$ , then $q^{\frac{ϵ}{1 + ϵ}}$ will tend to 1 for all $i$ . And so, $h$ of that will tend to 1, and ln of that will tend to 0 from below, and hopefully the really tiny negative number cancels out with the fact that we're also dividing by a really tiny negative number. To do our approximation work, we're going to need that $q$ is bounded above 0 by something. We can show that the limit exists if we were dealing with a family of $q$ that are bounded above 0.

Accordingly, our proof strategy is going to be getting some bounds (for all $ϵ$ sufficiently close to 0) on how much the results differ if we're taking the sup over all appropriate $q$ , vs if we're looking purely at the $q$ that are bounded above 0 by some (small, but not varying with $ϵ$ ) number. Then, we can get some upper bounds and lower bounds, which we will be able to show converge in the $ϵ \to 0$ limit. The problem is that the bounds won't be tight enough to produce the same limit, because we're blowing things up with a division by $ϵ$ . So, all we're going to be able to conclude is that the relevant $ϵ \to 0$ sequence has all of its limit points lying in an interval. However, the lower our "bound above 0" cutoff is, the tighter the interval will be. So, if we take the limit as our "bound above 0" cutoff shrinks to 0, the interval will shrink to a point, and we will have shown that the limit does in fact exist.

Let's get started on our upper bounds and lower bounds, respectively. Fix some $δ$ which, importantly, won't vary with $ϵ$ (yes, this will lead to a bit of weirdness where we start looking at behavior when $ϵ << δ$ ). For notation, ${sup}_{q \geq δ}$ is maximizing $q$ which fulfill the relevant property of $\forall i : q_{i} \geq δ$ . Accordingly, $δ$ should be less than 1 divided by the number of possible finite outcomes. So, we can start establishing our upper bound as:

${sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}})) \geq {sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}}))$

And the natural logarithm is monotonic, so

$ln ({sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}}))) \geq ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})))$

And then we multiply both sides by a negative number, flipping the sign, so:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}}))) \leq \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})))$

And bam, we have an upper bound. The lower bound is significantly more tricky. Let's start with our first question. Given a $q ≱ δ$ , how can we adjust it to a $q^{'}$ that fulfills that property? Well, just have:

$q_{i}^{'} := \frac{q_{i} + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}}$

We should check that A: this still adds up to 1, and B: that when $q_{i} = 0$ , $q_{i}^{'} \geq δ$ . For later, we'll also need to check C: what's the critical value where this transformation switches from increasing the value to decreasing the value? Let's hit A first.

$\sum_{i} q_{i}^{'} = \sum_{i} \frac{q_{i} + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}} = \frac{1}{1 + | X | \frac{δ}{1 - | X | δ}} \sum_{i} (q_{i} + \frac{δ}{1 - | X | δ})$

$= \frac{1}{1 + | X | \frac{δ}{1 - | X | δ}} (\sum_{i} q_{i} + \sum_{i} \frac{δ}{1 - | X | δ}) = \frac{1}{1 + | X | \frac{δ}{1 - | X | δ}} (1 + | X | \frac{δ}{1 - | X | δ}) = 1$

Excellent. For B, we can quickly check that this function is still in range by inspection if $q_{i}$ is 1, because we're dividing a number by a slightly bigger number. For being above $δ$ , observe that:

$\frac{0 + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}} = \frac{\frac{δ}{1 - | X | δ}}{\frac{1 - | X | δ + | X | δ}{1 - | X | δ}} = \frac{δ}{1 - | X | δ + | X | δ} = δ$

And finally, let's check the threshold where this starts moving the value of the function down instead of up. Instead of having to do a bunch of fancy equations, let $q$ be the uniform function, with $\frac{1}{| X |}$ function-mass on each outcome. We're adding an equal amount to everything, and then dividing by some amount, so we get another uniform function. Which, to sum up to 1, must be unchanged. so $\frac{1}{| X |}$ is the critical value where the value of our $q$ start decreasing in value (if they're above it), or increasing (if they're below it).

Armed with our way of translating functions so that they do indeed fulfill our desired $δ$ bound, let's look at the difference between: $h (q^{\frac{ϵ}{1 + ϵ}})$ and $h (q^{' \frac{ϵ}{1 + ϵ}})$

To begin with, by monotonicity,

$h (q^{\frac{ϵ}{1 + ϵ}}) \leq h (sup (q^{\frac{ϵ}{1 + ϵ}}, q^{' \frac{ϵ}{1 + ϵ}}))$

then, by the fact that we have a finite Lipschitz constant $L$ for infradistributions when the associated function is bounded above 0. Let $ϵ$ be small enough that $q^{' \frac{ϵ}{1 + ϵ}} \geq 0.5$ , this makes the Lipschitz constant not depend on $δ$ .

$h (sup (q^{\frac{ϵ}{1 + ϵ}}, q^{' \frac{ϵ}{1 + ϵ}})) \leq h (q^{' \frac{ϵ}{1 + ϵ}}) + L d (sup (q^{\frac{ϵ}{1 + ϵ}}, q^{' \frac{ϵ}{1 + ϵ}}), q^{' \frac{ϵ}{1 + ϵ}})$

Now, let's try to evaluate the distance between those two functions, and how it scales with $ϵ$ . The distance between functions is the maximum difference in values they assign to input points. Remember, if $q_{i} \leq \frac{1}{| X |}$ , $q_{i}^{'}$ has an equal or higher value, so the supremum is gonna mimic $q^{'}$ there. But for everything else, $q_{i}$ is actually going to be higher, and the supremum will mimic $q$ instead. So, we have:

$d (sup (q^{\frac{ϵ}{1 + ϵ}}, q^{' \frac{ϵ}{1 + ϵ}}), q^{' \frac{ϵ}{1 + ϵ}}) = {sup}_{i : q_{i} > \frac{1}{| X |}} ∣ ∣ ∣ q_{i}^{\frac{ϵ}{1 + ϵ}} - q_{i}^{' \frac{ϵ}{1 + ϵ}} ∣ ∣ ∣$

$= {sup}_{i : q_{i} > \frac{1}{| X |}} ⎛ ⎜ ⎝ q_{i}^{\frac{ϵ}{1 + ϵ}} - {(\frac{q_{i} + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}})}^{\frac{ϵ}{1 + ϵ}} ⎞ ⎟ ⎠ \leq {sup}_{y \in (| X |^{- 1}, 1]} ⎛ ⎜ ⎝ y^{\frac{ϵ}{1 + ϵ}} - {(\frac{y + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}})}^{\frac{ϵ}{1 + ϵ}} ⎞ ⎟ ⎠$

Now, what we really want to study is how that above quantity varies with $ϵ$ . Fortunately, $a^{\frac{x}{1 - x}}$ with $a \in (0, 1]$ is an analytic function at $x = 0$ , so we can take the Taylor expansion of both terms to see what's happening around 0 in terms of $ϵ$ .

$= {sup}_{y \in (| X |^{- 1}, 1]} ((1 + ϵ ln (y) + O (ϵ^{2})) - (1 + ϵ ln (\frac{y + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}}) + O (ϵ^{2})))$

$= {sup}_{y \in (| X |^{- 1}, 1]} (ϵ ln (y) - ϵ ln (\frac{y + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}}) + O (ϵ^{2}))$

$= ϵ {sup}_{y \in (| X |^{- 1}, 1]} ⎛ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎝ ln ⎛ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎝ \frac{y}{\frac{y + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}}} ⎞ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎠ ⎞ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎠ + O (ϵ^{2})$

And, graphing the function in the sup with Desmos, with $y$ as the variable, and $δ$ and $| X |$ as sliders, it's always maximized at 1. So then we get:

$= ϵ ln ⎛ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎝ \frac{1}{\frac{1 + \frac{δ}{1 - | X | δ}}{1 + | X | \frac{δ}{1 - | X | δ}}} ⎞ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎠ + O (ϵ^{2}) = ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2})$

I should note something about the big-O notation. From trying it out on some test values, the coefficient gets larger as $y$ decreases. So we don't have to worry about the coefficient in the big-O blowing up unboundedly, the lower bound on our possible $y$ tames it. Putting it all together, we get (for $ϵ$ sufficiently close to 0),

$h (q^{\frac{ϵ}{1 + ϵ}}) \leq h (q^{' \frac{ϵ}{1 + ϵ}}) + L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2})$

And our big-O doesn't depend on what q happens to be. Given any q at all, when we rescale it to get our $q^{'}$ , our analysis always works until the big-O terms start manifesting, but they're biggest for the smallest $y$ 's, and the lowest our $y$ gets is $| X |^{- 1}$ , so we can pick a sufficiently large constant to make everything work regardless of the $q$ . Also, our big-O absorbed the Lipschitz constant. Now, because our big-O doesn't care about what $q$ is, we have:

${sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}})) \leq {sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) + L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2})$

Pretty much, since the last two terms of our bound are uniform in $q$ , and all our $q^{'} \geq δ$ since we designed it that way, we get the above bound. Now, we can take the $ln$ to get

$ln ({sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}}))) \leq ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) + L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2}))$

and multiply to get:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}}))) \geq \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) + L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2}))$

Thus, our upper bound on the sequence as a whole is:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})))$

and our lower bound on the sequence as a whole for small $ϵ$ is

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) + L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2}))$

Let's show convergence for that top one, as it'll eventually let us crack the bottom one as well. Our task now is to show upper and lower bounds for the sequence (as $ϵ \to 0$ )

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})))$

Augmented with our nice bounds on how low $q$ can be, let's see if we can find some other function that's close to $q^{\frac{ϵ}{1 + ϵ}}$ for $ϵ$ near 0, so we can swap out for that.

Well... if we take the Taylor expansion of $y^{\frac{ϵ}{1 + ϵ}}$ w.r.t. $ϵ$ around 0, then we get $1 + ϵ ln (y) + O (ϵ^{2})$ . So what if we swapped out $q^{\frac{ϵ}{1 + ϵ}}$ for $1 + ϵ ln (q)$ ? The second part of that is negative, so it's below 1. And, since, for all $i$ , $q_{i} \geq δ$ , once we get to $ϵ < \frac{1}{- ln (δ)}$ , it's guaranteed to never undershoot 0 and be a legit function. Let's assess the difference between the two functions:

${sup}_{i} | q_{i}^{\frac{ϵ}{1 + ϵ}} - (1 + ϵ ln (q_{i})) |$

$= {sup}_{i} | (1 + ϵ ln (q)) + O (ϵ^{2}) - (1 + ϵ ln (q)) | = O (ϵ^{2})$

Again, the reason this works is, because we have a uniform lower bound on our $q_{i}$ , they're all in $[δ, 1]$ , which bounds how bad the big-O constants can be, so this difference is uniform across our $q$ . The difference between $q^{\frac{ϵ}{1 + ϵ}}$ and $1 + ϵ ln (q)$ is $O (ϵ^{2})$ . By Lipschitzness of $h$ on functions bounded above $0.5$ (which happens for low enough $ϵ$ ), we can transfer this difference outside the $h$ , and the Lipschitz constant absorbs into the big-O, so:

$h (q^{\frac{ϵ}{1 + ϵ}}) \leq h (1 + ϵ ln (q)) + O (ϵ^{2})$

and then, transferring this to all $q$ (the big-O is uniform), we have:

${sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) \leq {sup}_{q \geq δ} (h (1 + ϵ ln (q))) + O (ϵ^{2})$

and so, we get a lower bound where

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}}))) \geq \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (1 + ϵ ln (q))) + O (ϵ^{2}))$

Now, for the upper bound. This is easy, because by graphing, we can see that $1 + ϵ ln (q_{i}) \leq q_{i}^{\frac{ϵ}{1 + ϵ}}$ is always true if $ϵ \geq 0$ and $q_{i} \in [δ, 1]$ . Thus, by monotonicity,

$h (q^{\frac{ϵ}{1 + ϵ}}) \geq h (1 + ϵ ln (q))$

and, again, transferring this to all $q$ , and then taking the $ln$ and multiplying by our negative constant, we have:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}}))) \leq \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (1 + ϵ ln (q))))$

Alright, we've got some bounds. We can keep poking more at reexpressing the bounds, but remember that since we still haven't shown that anything in particular converges, we're gonna keep getting bounds on our bounds on our bounds. At some point we need to ground out and get that some actual limit exists, and use that as a tool to solve all the rest of the bounds.

Let's look at $h (1 + ϵ ln (q))$ for inspiration. We can notice something interesting. For a particular $q$ , we can perfectly reexpress this as $h (1 - ϵ f)$ , where $f_{i} = - ln (q_{i})$ . Our analogue of $q_{i}$ summing to 1 is $\sum_{i} e^{- f_{i}} = 1$ , and our analogue of $q$ being in $[δ, 1]^{| X |}$ is that $f \in [0, - ln (δ)]^{| X |}$ . In fact, all $f$ of this form correspond to a $q$ , and vice-versa, just have $q = e^{- f}$ . So, using ${sup}_{f \leq - ln (δ)}$ as a shorthand for "we're selecting among $f$ that fulfill these properties as that's isomorphic to selecting a $q$ ", we would be able to go:

${sup}_{q \geq δ} (h (1 + ϵ ln (q))) = {sup}_{f \leq - ln (δ)} (h (1 - ϵ f))$

Now, with this reexpression, fixing a particular $f^{*}$ , are we able to solve the following equation?

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln (h (1 - ϵ f^{*}))$

We're just slicing off the smallest nontrivial bit of the problem we can to hopefully get one of these damn bounds to converge to something. And it turns out, we actually can solve this one! The teensy little problem is that L'hopital's rule only applies to differentiable functions, and this... isn't exactly differentiable. So we have to dig deep into the guts of the proof behind L'hopital's rule in order to show that applying the L'hopital procedure pretty much solves this, even though our function isn't differentiable (remember, h is Lipschitz, not differentiable). Once we've solved this, we'll be able to start chaining backwards and solve everything.

Our first order of business is to show that $(1 + ϵ) ln (h (1 - ϵ f^{*}))$ , as a function of $ϵ$ is differentiable almost everywhere, concave, and monotonically decreasing. First, for concavity of $h (1 - ϵ f^{*})$ , observe that:

$h (1 - (p ϵ + (1 - p) ϵ^{'}) f^{*}) = h (p - p ϵ f^{*} + (1 - p) - (1 - p) ϵ^{'} f^{*}) \geq p h (1 - ϵ f^{*}) + (1 - p) h (1 - ϵ^{'} f^{*})$

And, as $ϵ$ gets bigger, by monotonicity of $h$ , $h (1 - ϵ f^{*})$ gets smaller. So, $h (1 - ϵ f^{*})$ is monotonically decreasing, and concave. Now, from math stackexchange, the composition of a concave function with a monotonically increasing concave function ( $ln$ in this case) is concave. Thus, $ln (h (1 - ϵ f^{*}))$ is monotonically decreasing in $ϵ$ , and concave. It's 0 when $ϵ = 0$ , and slopes down into the negative.

Now, any line from a point on the graph of $ln (h (1 - ϵ f^{*}))$ to another point on it must have a very important property. It slopes down, since this function is monotonically decreasing in $ϵ$ . So, given some $ϵ$ and $ϵ^{'}$ , there's a linear function $a - b x$ with $a, b \geq 0$ where, regardless of $p$ ,

$a - b (p ϵ + (1 - p) ϵ^{'}) = p ln (h (1 - ϵ f^{*})) + (1 - p) ln (h (1 - ϵ^{'} f^{*}))$

(this is just the line between two spots on our resulting concave composite function). And then we can go:

$ln (h (1 - (p ϵ + (1 - p) ϵ^{'}) f^{*})) \geq p ln (h (1 - ϵ f^{*})) + (1 - p) ln (h (1 - ϵ^{'} f^{*})) = a - b (p ϵ + (1 - p) ϵ^{'})$

The first inequality is by concavity for $ln (h (1 - ϵ f^{*}))$ in $ϵ$ . Multiplying by $(1 + p ϵ + (1 - p) ϵ^{'})$ produces:

$(1 + p ϵ + (1 - p) ϵ^{'}) ln (h (1 - (p ϵ + (1 - p) ϵ^{'}) f^{*})) \geq (1 + p ϵ + (1 - p) ϵ^{'}) (a - b (p ϵ + (1 - p) ϵ^{'}))$

and, then, I'm gonna explain this following inequality in a bit, where it came from.

$\geq p (1 + ϵ) (a - b ϵ) + (1 - p) (1 + ϵ^{'}) (a - b ϵ^{'})$

$= p (1 + ϵ) ln (h (1 - ϵ f^{*})) + (1 - p) (1 + ϵ^{'}) ln (h (1 - ϵ^{'} f^{*}))$

So, the equality makes sense, we just use the link between our line and ln of $h$ , see above just under "net takeaway". The inequality... what the heck is that about? Well, $(1 + x) (a - b x)$ is a parabola opening down, it's concave. So, plugging $p ϵ + (1 - p) ϵ^{'}$ in for the $x$ produces a bigger value than $p (1 + ϵ) (a - b ϵ) + (1 - p) (1 + ϵ^{'}) (a - b ϵ^{'})$ .

Ok, so our equation as a whole is concave. It's also monotonically decreasing because (ln of $h$ of...) starts off at 0 and just heads down from there, and we're multiplying by bigger and bigger positive numbers as $ϵ$ increases.

And also, according to math stackexchange, concave functions can only be non-differentiable at countably many points! So,

$(1 + ϵ) ln (h (1 - ϵ f^{*}))$

the above function is concave in $ϵ$ , is monotonically decreasing in $ϵ$ , and only has countably many non-differentiable points. So as not to rewrite this each time, we'll switch our variable from $ϵ$ to $x$ , and abbreviate this as $θ (x)$ , unpacking as needed.

Now that we know our function is nice, we can turn to verifying the important core needed to apply L'hopital's rule to solve the limit. And once that's done, we can start chaining backwards to solve our whole problem.

The key part that works for our function in particular, though it may fail in the general case, is an analogue of Cauchy's mean value theorem. We're about to make a bit of a mathematical leap here. We're going to let the derivative be set-valued at nondifferentiable points. As a toy example, consider the function $| x |$ . if $x \neq 0$ , the derivative is well-defined. If $x = 0$ , then, even though we don't have a derivative here, there's a left-derivative and a right-derivative. So, we can consider the "derivative" at 0 for $| x |$ to be any number between -1 and 1.

Now, the particular thing we need to go through the L'hopital proof for our specific case is: For $ϵ$ and $τ \in (0, ϵ)$ , there's a $χ \in [τ, ϵ]$ , and a possible choice of derivative (remember, we've got the set-valued derivatives now) where:

$\frac{θ (ϵ) - θ (τ)}{(- ϵ) - (- τ)} = \frac{\frac{d}{d x} (θ (x)) (χ)}{\frac{d}{d x} (- x) (χ)}$

We can make the argument for this more intuitive by drawing the following picture.

Remember, our function \theta is concave, and note that that the left-hand-side of our equation is just going "what's the slope of the line" (with positive sign). From concavity, we can just translate said line up until it becomes a tangent line of our function, and that gets us our value of $χ \in [τ, ϵ]$ where there's a possible derivative that induces the above equality (because $\frac{d}{d x} (- x) (χ) = - 1$ no matter what, and this also enforces the appropriate sign). So, we do indeed have our analogue of Cauchy's mean value theorem working here. Drawing a line segment between two points on the graph of $θ (x)$ , there's a point in between them where the possible derivative matches up with the slope of the line segment.

Now, define the following two functions:

$m (ϵ) := {inf}_{χ \in [0, ϵ]} \frac{\frac{d}{d x} (θ (x)) (χ)}{\frac{d}{d x} (- x) (χ)}$

$M (ϵ) := {sup}_{χ \in [0, ϵ]} \frac{\frac{d}{d x} (θ (x)) (χ)}{\frac{d}{d x} (- x) (χ)}$

The inf and sup is also taken over possible choices of derivative, by the way. And so, regardless of our choice of $ϵ$ and $τ$ , as long as $τ < ϵ$ , from our analogue of Cauchy's Mean Value Theorem,

$m (ϵ) \leq \frac{θ (ϵ) - θ (τ)}{(- ϵ) - (- τ)} \leq M (ϵ)$

Now that we've established this, lock $ϵ$ in place and let $τ$ limit to 0.

${lim}_{τ \to 0} \frac{θ (ϵ) - θ (τ)}{(- ϵ) - (- τ)}$

$= {lim}_{τ \to 0} \frac{(1 + ϵ) ln (h (1 - ϵ f^{*})) - (1 + τ) ln (h (1 - τ f^{*}))}{(- ϵ) - (- τ)}$

$= {lim}_{τ \to 0} \frac{(1 + ϵ) ln (h (1 - ϵ f^{*}))}{(- ϵ) - (- τ)} - {lim}_{τ \to 0} \frac{(1 + τ) ln (h (1 - τ f^{*}))}{(- ϵ) - (- τ)}$

$= \frac{1 + ϵ}{- ϵ} ln (h (1 - ϵ f^{*}))$

That last equality was because $1 - τ f^{*}$ approaches 1, so by normalization for $h$ , $h (1 - τ f^{*})$ approaches 1, so $ln (h (1 - τ f^{*}))$ approaches 0, and multiplying by $(1 + τ)$ dosn't change that, and the bottom doesn't limit to 0.

So, we have our result that, for all our relevant $ϵ$ ,

$m (ϵ) \leq \frac{1 + ϵ}{- ϵ} ln (h (1 - ϵ f^{*})) \leq M (ϵ)$

And now we'll use the squeeze theorem. So, what's the limit as $ϵ$ heads to 0 for $m (ϵ)$ and $M (ϵ)$ ?

Well, the former is:

${lim}_{ϵ \to 0} m (ϵ) = {lim}_{ϵ \to 0} {inf}_{χ \in [0, ϵ]} \frac{\frac{d}{d x} (θ (x)) (χ)}{\frac{d}{d x} (- x) (χ)} = {lim}_{ϵ \to 0} {inf}_{χ \in [0, ϵ]} \frac{\frac{d}{d x} ((1 + x) ln (h (1 - x f^{*}))) (χ)}{- 1}$

$= {lim}_{ϵ \to 0} {inf}_{χ \in [0, ϵ]} (- (ln (h (1 - x f^{*})) + \frac{1 + x}{h (1 - x f^{*})} \frac{d}{d x} h (1 - x f^{*})) (χ))$

$= {lim}_{ϵ \to 0} {inf}_{χ \in [0, ϵ]} (- (ln (h (1 - χ f^{*})) + \frac{1 + χ}{h (1 - χ f^{*})} \frac{d}{d x} (h (1 - x f^{*})) (χ)))$

and as $ϵ$ gets incredibly close to 0 (forcing $χ$ to do so as well), the $ln (h (1 - χ f^{*}))$ turns into 0, and the $\frac{1 + χ}{h (1 - χ f^{*})}$ turns into 1. So, this produces:

$= {lim}_{ϵ \to 0} {inf}_{χ \in [0, ϵ]} (- \frac{d}{d x} (h (1 - x f^{*})) (χ))$

And now, since $h (1 - x f^{*})$ is concave in $x$ and monotonically decreasing... Well, no matter which slope we choose for the nondifferentiable points, the shallowest possible slope is at 0. The slope is gonna be negative. Multiplying it by a negative means that we're trying to minimize a positive number. So, we want the shallowest slope we can possibly get, which would mean plugging $χ = 0$ in. Bam, no dependence on $ϵ$ anymore.

$= - \frac{d}{d x} (h (1 - x f^{*})) (0)$

$= - {lim}_{τ \to 0} \frac{h (1 + τ (- f^{*})) - h (1)}{τ}$

And, consulting the Wikipedia page for the Gateux Derivative, this is the Gateaux Derivative of $h$ at 1 in the direction of $- f^{*}$ !

So, we finally have solved one of our limits, it's: $- d h (1; - f^{*})$ . Now, what about $M (ϵ)$ ? Well, a similar analysis applies.

${lim}_{ϵ \to 0} M (ϵ) = {lim}_{ϵ \to 0} {sup}_{χ \in [0, ϵ]} \frac{\frac{d}{d x} (θ (x)) (χ)}{\frac{d}{d x} (- x) (χ)} = {lim}_{ϵ \to 0} {sup}_{χ \in [0, ϵ]} \frac{\frac{d}{d x} ((1 + x) ln (h (1 - x f^{*}))) (χ)}{- 1}$

$= {lim}_{ϵ \to 0} {sup}_{χ \in [0, ϵ]} (- (ln (h (1 - x f^{*})) + \frac{1 + x}{h (1 - x f^{*})} \frac{d}{d x} h (1 - x f^{*})) (χ))$

$= {lim}_{ϵ \to 0} {sup}_{χ \in [0, ϵ]} (- (ln (h (1 - χ f^{*})) + \frac{1 + χ}{h (1 - χ f^{*})} \frac{d}{d x} (h (1 - x f^{*})) (χ)))$

and as $ϵ$ gets incredibly close to 0 (forcing $χ$ to do so as well), the $ln (h (1 - χ f^{*}))$ turns into 0, and the $\frac{1 + χ}{h (1 - χ f^{*})}$ turns into 1. So, this produces:

$= {lim}_{ϵ \to 0} {sup}_{χ \in [0, ϵ]} (- \frac{d}{d x} (h (1 - x f^{*})) (χ))$

And now, since $h (1 - x f^{*})$ is concave in $x$ and monotonically decreasing... Well, the slope is shallowest at 0, and steepest at $ϵ$ itself. The slope is gonna be negative. Multiplying it by a negative means that we're trying to maximize a positive number. So, we want the steepest slope we can possibly get, which would mean plugging $χ = ϵ$ in. So, we have:

$= {lim}_{ϵ \to 0} sup (- \frac{d}{d x} (h (1 - x f^{*})) (ϵ))$

Now, the sup in this case is just sup over derivatives, we know which $χ$ to put in. In particular, since $h (1 - x f^{*})$ is concave in $x$ and monotonically decreasing, the steepest possible derivative we could have is the derivative where the nearby point approaches from higher $ϵ$ .

Now, remember, $h (1 - x f^{*})$ is a concave function and monotonically decreasing (in $x$ ). If we graphed the derivative (in $x$ ), it'd be monotonically decreasing and always at 0 or less. There's discontinuities in the graph of the derivative, the graph of the derivative would look like a staircase going down. But remember, there are only countably many discontinuities. We're taking the lowest value of the derivative (read: furthest away from 0), so we can turn it into a (discontinuous) function where, at the "stairstep" discontinuity points, we stay at the bottom of the stairstep. And so, the question is, "if we stick to the bottom of the step at points where there's a step jump, and travel towards 0 ie $ϵ$ goes to 0, do we have a limit?" Well, the value of that "staircase" derivative function is monotonically increasing (going from well below 0 to less below 0) as $ϵ$ goes to 0, and it's got an upper bound of 0, so yeah, there's a limit.

But, in order to identify the limit as $ϵ$ goes to 0 of the lowest possible derivative with just "the derivative at 0", we've got a bit of a problem. There's some free choice in which derivative value to assign at discontinuity points. Given free choice in the matter, do all those choices lead to hitting the same value at 0? Well, let's say we took the upper value of the staircase. Given any $ϵ$ where there's a discontinuity, there's a smaller $τ \in [\frac{ϵ}{2}, ϵ]$ where the derivative is well-defined (because there's only countably many points where there's a discontinuity), which attains a value closer to 0 than the closest-to-0 value on the stairstep, because our derivative function stairstep is monotonically increasing as $ϵ$ ticks down. So, even the "take the upper value for each stairstep discontinuity" function can have any particular value exceeded by a sufficiently low value for $ϵ$ when we take the lower value for the stairstep discontinuities. So, it has the same limiting value. Which, again, is the derivative at 0. So, we get:

$= {lim}_{ϵ \to 0} sup (- \frac{d}{d x} (h (1 - x f^{*})) (ϵ)) = - \frac{d}{d x} (h (1 - x f^{*})) (0) = - d h (1; - f^{*})$

Alright! We got the same value for an upper bound as a lower bound! Awesome! Now we can get started solving some limits, finally! From here on out, we'll do a lot of backing up to stuff we've already shown. First, we've already shown that:

$m (ϵ) \leq \frac{1 + ϵ}{- ϵ} ln (h (1 - ϵ f^{*})) \leq M (ϵ)$

and, in the $ϵ \to 0$ limit, both the left-hand side and right-hand-side have the same limit. Namely, $- d h (1; - f^{*})$ . The Gateaux derivative of $h$ at 1 in the direction of $- f^{*}$ . So,

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln (h (1 - ϵ f^{*})) = - d h (1; - f^{*})$

Alright, we've got our first toehold where we were actually able to solve a damn limit. Let's back up a bit and try somthing more ambitious. Let's attempt to solve

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f)))$

Again, we're going to impose upper and lower bounds. The tricky part in this case is that the previous limit was just for a particular function. Once we start taking the supremum over a bunch of different functions, we can't necessarily guarantee that they all limit at the same rate. But, let's try to reduce it to the case of one particular function.

To begin with, regardless of $ϵ$ and $f$ , $h (1 - ϵ f) \leq 1 + ϵ d h (1; - f)$ . Why is this the case? Well, the former is a concave function, monotonically decreasing, that starts at 1 where $ϵ = 0$ . And the latter is the tangent line to the former function at $ϵ = 0$ . So, the tangent line lies above the function. Thus, we can go:

$h (1 - ϵ f) \leq 1 + ϵ d h (1; - f)$

${sup}_{f \leq - ln (δ)} (h (1 - ϵ f)) \leq {sup}_{f \leq - ln (δ)} (1 + ϵ d h (1; - f))$

$ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f))) \leq ln ({sup}_{f \leq - ln (δ)} (1 + ϵ d h (1; - f)))$

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f))) \geq \frac{1 + ϵ}{- ϵ} ln ({sup}_{f \leq - ln (δ)} (1 + ϵ d h (1; - f)))$

and then, since all the Gateux derivatives are 0 or less, we can move the sup inside (changes nothing), and get:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f))) \geq \frac{1 + ϵ}{- ϵ} ln (1 + ϵ {sup}_{f \leq - ln (δ)} (d h (1; - f)))$

Ok, cool, we've got a lower bound. Now, what about an upper bound? Well, pick an $f^{*}$ where $d h (1; - f^{*})$ is extremely extremely close to ${sup}_{f \leq - ln (δ)} (d h (1; - f))$ . We can get:

${sup}_{f \leq - ln (δ)} (h (1 - ϵ f)) \geq h (1 - ϵ f^{*})$

$ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f))) \geq ln (h (1 - ϵ f^{*}))$

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f))) \leq \frac{1 + ϵ}{- ϵ} ln (h (1 + ϵ f^{*}))$

And bam, we have an upper bound.

Now, let's take the $ϵ \to 0$ limits of our lower bound and upper bound. Our upper bound limit is:

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln (h (1 + ϵ f^{*})) = - d h (1; - f^{*})$

Our lower bound limit is:

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln (1 + ϵ {sup}_{f \leq - ln (δ)} (d h (1; - f)))$

But fortunately, that supremum doesn't change with $ϵ$ ! It's just a constant. So the function inside the $ln$ is continuous and differentiable, and so is everything, so we can solve this with vanilla L'hopital's rule.

$= {lim}_{ϵ \to 0} \frac{\frac{d}{d x} ((1 + x) ln (1 + x {sup}_{f \leq - ln (δ)} (d h (1; - f)))) (ϵ)}{\frac{d}{d x} (- x) (ϵ)}$

$= {lim}_{ϵ \to 0} \frac{ln (1 + ϵ {sup}_{f \leq - ln (δ)} (d h (1; - f))) + \frac{1 + ϵ}{1 + ϵ {sup}_{f \leq - ln (δ)} (d h (1; - f))} {sup}_{f \leq - ln (δ)} (d h (1; - f))}{- 1}$

$= - (ln (1 + 0) + \frac{1 + 0}{1 + 0} {sup}_{f \leq - ln (δ)} (d h (1; - f)))$

$= - {sup}_{f \leq - ln (δ)} (d h (1; - f))$

Sadly, these two bounds are different. We only have that

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f))) \in [- {sup}_{f \leq - ln (δ)} (d h (1; - f)), - d h (1; - f^{*})]$

Or, heck, the limit might not even exist! But all limit points must be in that interval. But... this argument worked independently of our choice of $f^{*}$ . So, we can select it so the derivative is as close as we want to the supremum derivative! No matter how tight the interval is, we can always back up, pick a different $f^{*}$ , and make the interval smaller! Thus, the limit must exist, and we have:

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f))) = - {sup}_{f \leq - ln (δ)} (d h (1; - f))$

Bam, that's another limit out of the way. Going back in the proof, we showed earlier that

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{f \leq - ln (δ)} (h (1 - ϵ f)) = \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (1 + ϵ ln (q))))$

(it was just a reexpression), so that nets us another limit,

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (1 + ϵ ln (q)))) = - {sup}_{f \leq - ln (δ)} (d h (1; - f))$

Now... let's back up to showing what

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})))$

is. From earlier work, our upper bound (for small enough $ϵ$ ) was:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (1 + ϵ ln (q))))$

and our lower bound was:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (1 + ϵ ln (q))) + O (ϵ^{2}))$

Well, we know what the upper bound limits to already. We do need to check that the $O (ϵ^{2})$ thing doesn't mess with anything. We're going to Taylor-expand $ln$ about 1. The interval of convergence is $(0, 2]$ so this Taylor expansion works for $ϵ$ a bit away from 1, not just in the limit. Taylor-expanding the ln for the lower bound produces:

$\frac{1 + ϵ}{- ϵ} (({sup}_{q \geq δ} (h (1 + ϵ ln (q))) + O (ϵ^{2}) - 1) + \frac{1}{2} ({sup}_{q \geq δ} (h (1 + ϵ ln (q))) + O (ϵ^{2}) - 1)^{2} . . .)$

Now, $({sup}_{q \geq δ} (h (1 + ϵ ln (q))) - 1)$ converges to 0 as $O (ϵ)$ , so we can neglect all terms but the first (because any later term would converge to 0 as $O (ϵ^{2})$ or faster, so even after getting blown up by dividing by $ϵ$ , they'd still shrink to 0). And the $O (ϵ^{2})$ error term in the lower bound, again, even after getting blown up, doesn't affect the $ϵ \to 0$ limit. So, since our error term is too small to affect the limit, both the upper bound and lower bound limit to the same thing, $- {sup}_{f \leq - ln (δ)} (d h (1; - f))$ . And so, by the squeeze theorem,

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}}))) = - {sup}_{f \leq - ln (δ)} (d h (1; - f))$

Ok, cool. That's another limit we were able to show to exist. But what about our original thing, back from the start of the proof, that we wanted to show? We wanted to solve

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}})))$

Well, our upper bound was:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})))$

and our lower bound was:

$\frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) + L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2}))$

Again, our upper bound limits to $- {sup}_{f \leq - ln (δ)} (d h (1; - f))$ , and our lower bound... well, hang on, there's a $O (ϵ)$ additional term in there, which is large enough to affect the limit. Again, doing the Taylor-expansion of $ln$ around 1, and dropping all terms but the first since they decline as $O (ϵ^{2})$ or faster and so don't affect the limit, our upper bound turns into:

$- {sup}_{f \leq - ln (δ)} (d h (1; - f)) = {lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})))$

$= {lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) - 1)$

Ok, so we know what that limit is. But for our lower bound, when we do the Taylor expansion (neglecting higher-order terms), we get:

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) + L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2}))$

$= {lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) + L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}) + O (ϵ^{2}) - 1)$

$= {lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ({sup}_{q \geq δ} (h (q^{\frac{ϵ}{1 + ϵ}})) - 1) + {lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} (L ϵ ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}})) + {lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} O (ϵ^{2})$

And then using our result above, and cancelling out some stuff, the lower bound limit is:

$= - {sup}_{f \geq - ln (δ)} (d h (1; - f)) - L ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}})$

So all we have is that ${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}})))$ lies in

$[- {sup}_{f \leq - ln (δ)} (d h (1; - f)) - L ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}), - {sup}_{f \leq - ln (δ)} (d h (1; - f))]$

Uuuugh. We weren't able to show that the limit exists, just that all limit points are in that interval. But wait a minute, we've got a finite width interval because we picked a $δ$ ahead of time. What if we redo the argument with a much smaller $δ$ ? Can we get this interval down to a single point if we pick smaller and smaller $δ$ ? Well, yes.

To begin, our upper bound, $- {sup}_{f \leq - ln (δ)} (d h (1; - f))$ , as $δ$ gets bigger, is monotonically decreasing, and bounded below by $- {sup}_{f} (d h (1; - f))$ . So it does have a limit. The argument for this is that, as \delta gets smaller, $- ln (δ)$ is getting bigger, so we're picking amongst more functions. Thus, we've got more freedom to make the Gateaux derivative close to 0 (the derivatives are always 0 or negative), and flipping the sign around, we manage to move our positive quantity lower (or it stays the same). So that takes care of the "monotonically decreasing" part. And obviously, no matter the $δ$ , we have less freedom to pick a function make our derivative close to 0 than maximal freedom in picking said function. But is the limit point as $δ$ shrinks to 0 actually equal to $- {sup}_{f} (d h (1; - f))$ ? Well, we can pick a concrete function that attains a value arbitrarily close to that, and then get a $δ$ that includes said function, so we do have:

${lim}_{δ \to 0} - {sup}_{f \leq - ln (δ)} (d h (1; - f)) = - {sup}_{f} (d h (1; - f))$

Now, let's tackle our upper bound.

${lim}_{δ \to 0} - {sup}_{f \leq - ln (δ)} (d h (1; - f)) - L ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}})$

$= {lim}_{δ \to 0} (- {sup}_{f \leq - ln (δ)} (d h (1; - f))) + {lim}_{δ \to 0} (- L ln (\frac{1 + | X | \frac{δ}{1 - | X | δ}}{1 + \frac{δ}{1 - | X | δ}}))$

$= - {sup}_{f} (d h (1; - f)) + (- L ln (\frac{1 + | X | \frac{0}{1 - | X | 0}}{1 + \frac{0}{1 - | X | 0}}))$

$= - {sup}_{f} (d h (1; - f)) + (- L ln (\frac{1}{1}))$

$= - {sup}_{f} (d h (1; - f))$

Ah good, we get the same bound. Therefore, since we can narrow our window width to 0 with decreasing $δ$ , and regardless of $δ$ , the limit points of our original sequence of interest are in the window,

${lim}_{ϵ \to 0} \frac{1 + ϵ}{- ϵ} ln ({sup}_{q} (h (q^{\frac{ϵ}{1 + ϵ}}))) = - {sup}_{f} (d h (1; - f)) = - {sup}_{q} (d h (1; ln (q)))$

Where the supremum is taken over $f$ that are in $[0, \infty)^{| X |}$ and $\sum_{i} e^{- f_{i}} = 1$ , or $q \in [0, 1]^{| X |}$ and $\sum_{i} q_{i} = 1$ , related by $f = - ln (q)$ . We're finally done!

Proposition 53: For cohomogenous infradistributions,

$H (h) = - {sup}_{q} d h (1; ln (q)) = {inf}_{q} ({sup}_{(λ μ, b) \in H^{min}} λ \cdot H (μ, q)) = {sup}_{(λ μ, b) \in H^{min} : λ + b = 1} λ \cdot H (μ)$

So, we already know from Theorem 4 that

$H (h) = - {sup}_{q} d h (1; ln (q))$

So that just leaves the last inequality to show.

$- {sup}_{q} d h (1; ln (q)) = - {sup}_{q} ({lim}_{ϵ \to 0} \frac{h (1 + ϵ ln (q)) - h (1)}{ϵ})$

$= - {sup}_{q} ({lim}_{ϵ \to 0} \frac{h (1 + ϵ ln (q)) - 1}{ϵ})$

$= - {sup}_{q} ({lim}_{ϵ \to 0} \frac{{inf}_{(λ μ, b) \in H^{min}} (λ μ (1 + ϵ ln (q)) + b) - 1}{ϵ})$

$= - {sup}_{q} ({lim}_{ϵ \to 0} \frac{{inf}_{(λ μ, b) \in H^{min}} (λ + ϵ λ μ (ln (q)) + b) - 1}{ϵ})$

And because the infradistribution is cohomogenous, $λ + b$ always equals 1, so we have

$= - {sup}_{q} ({lim}_{ϵ \to 0} \frac{ϵ {inf}_{(λ μ, b) \in H^{min}} λ μ (ln (q))}{ϵ})$

$= - {sup}_{q} ({inf}_{(λ μ, b) \in H^{min}} λ μ (ln (q))) = {inf}_{q} ({sup}_{(λ μ, b) \in H^{min}} λ \cdot (- μ (ln (q))))$

$= {inf}_{q} ({sup}_{(λ μ, b) \in H^{min}} (λ \cdot (- \sum_{i} μ_{i} \cdot ln (q_{i}))))$

$= {inf}_{q} ({sup}_{(λ μ, b) \in H^{min}} λ \cdot H (μ, q))$

And we're done. Well, not quite, we still need that alternate characterization of the form:

${sup}_{(λ μ, b) \in H^{min} : λ + b = 1} λ \cdot H (μ)$

The way that this shakes out is that we'll be using Sion's minimax theorem on the characterization of Entropy as:

${inf}_{q} ({sup}_{(λ μ, b) \in H^{min}} λ \cdot H (μ, q))$

In order to invoke Sion's minimax theorem to swap the order of the inf and the sup, we have four things to check. $q \in Δ X$ so we need to check that $Δ X$ is a compact convex subset of a vector space. Yes, this is the case because $X$ only has finitely many points in it, that's one down, it's just a subset of $R^{n}$ . Also, $(λ μ, b) \in H^{min}$ , so we need to check that $H^{min}$ is a convex subset of a topological vector space. Convexity comes from convexity of infradistributions, and the minimal points of $H$ (due to cohomogenity being exactly those with $λ + b = 1$ ) must form a convex set, because you can't decrease the $b$ value any more and stay in $H$ , and the space of signed measures over $X$ , as well as the $b$ term, is embedded in $R^{n}$ (for suitably large $n$ ).

That just leaves two things. We need to check that for all $q$ ,

$(λ μ, b) \mapsto λ H (μ, q)$

is continuous and concave (we'll actually show it's linear), and we need to check that for all $(λ μ, b)$ , the function

$q \mapsto λ H (μ, q)$

is continuous and convex.

Continuity for both of these is obvious, because the cross-entropy is a continuous function. That leaves showing linearity for the first function, and convexity for the second one.

Use $ϕ$ for your function $(λ μ, b) \mapsto λ H (μ, q)$

It can be unpacked a bit more as:

$ϕ (λ μ, b) = - λ \sum_{i} μ_{i} ln (q_{i})$

Then we can go:

$ϕ (p (λ μ, b) + (1 - p) (λ^{'} μ^{'}, b^{'}))$

$= ϕ ((p λ + (1 - p) λ^{'}) (\frac{p λ}{p λ + (1 - p) λ^{'}} μ + \frac{(1 - p) λ^{'}}{p λ + (1 - p) λ^{'}} μ^{'}) + (p b + (1 - p) b^{'}))$

$= - (p λ + (1 - p) λ^{'}) \sum_{i} (\frac{p λ}{p λ + (1 - p) λ^{'}} μ_{i} + \frac{(1 - p) λ^{'}}{p λ + (1 - p) λ^{'}} μ_{i}^{'}) ln (q_{i})$

$= - \sum_{i} (p λ μ_{i} + (1 - p) λ^{'} μ_{i}^{'}) ln (q_{i})$

$= p (- λ \sum_{i} μ_{i} ln (q_{i})) + (1 - p) (- λ^{'} \sum_{i} μ_{i}^{'} ln (q_{i}))$

$= p ϕ (λ μ, b) + (1 - p) ϕ (λ^{'} μ^{'}, b^{'})$

And we're done with linearity there, linear functions are concave. Time for the next one.

Use $ψ$ for your function $q \mapsto λ H (μ, q)$

It can be unpacked a bit more as:

$ψ (q) = - λ \sum_{i} μ_{i} ln (q_{i})$

Now, we can go:

$ψ (p q + (1 - p) q^{'}) = - λ \sum_{i} μ_{i} ln (p q_{i} + (1 - p) q_{i}^{'})$

Now, $ln$ is a concave function, not a convex one. However, the negative sign flips it around to be convex, so we have:

$\leq - λ \sum_{i} μ_{i} (p ln (q_{i}) + (1 - p) ln (q_{i}^{'}))$

$= p (- λ \sum_{i} μ_{i} ln (q_{i})) + (1 - p) (- λ \sum_{i} μ_{i}^{'} ln (q_{i}^{'}))$

$= p ψ (q) + (1 - p) ψ (q^{'})$

So it's convex. We can now invoke Sion's minimax theorem and go:

${inf}_{q} ({sup}_{(λ μ, b) \in H^{min}} λ \cdot H (μ, q))$

$= {sup}_{(λ μ, b) \in H^{min}} ({inf}_{q} λ \cdot H (μ, q))$

And cross-entropy is minimized when $q = μ$ , and equals the entropy of $μ$ so we have:

$= {sup}_{(λ μ, b) \in H^{min}} λ \cdot H (μ)$

And that's the last bit we have for this.

Proposition 54: For all infradistributions, $0 \leq H (h) \leq ln (| X |)$ , entropy is upper bounded by the logarithm of the number of states.

Looking back at the proof of Proposition 50, we can see that regardless of infradistribution, it holds up to here

$H (h) = - {sup}_{q} ({lim}_{ϵ \to 0} \frac{{inf}_{(λ μ, b) \in H^{min}} (λ + ϵ λ μ (ln (q)) + b) - 1}{ϵ})$

And note that, in an infradistribution, $λ + b \geq 1$ always for minimal points, but the inf enforces that $λ + b = 1$ by taking the $ϵ \to 0$ limit, so the entropy for general infradistributions can be reexpressed as:

$= - {sup}_{q} ({lim}_{ϵ \to 0} \frac{{inf}_{(λ μ, b) \in H^{min} : λ + b = 1} (λ + ϵ λ μ (ln (q)) + b) - 1}{ϵ})$

And going through the proof of Proposition 50 again, the final more general formulation of entropy we get for arbitrary infradistributions is:

${inf}_{q} ({sup}_{(λ μ, b) \in H^{min} : λ + b = 1} λ \cdot H (μ, q))$

Now, cross-entropy is always non-negative, so that means

$H (h) \geq 0$

Further, the entropy is bounded above by $ln (| X |)$ , because, letting $U$ be the uniform distribution,

$H (μ, U) = - \sum_{i} μ_{i} ln (U_{i}) = - \sum_{i} μ_{i} ln (\frac{1}{| X |}) = \sum_{i} μ_{i} ln (| X |) = ln (| X |)$

Therefore,

$H (h) = {inf}_{q} ({sup}_{(λ μ, b) \in H^{min} : λ + b = 1} λ \cdot H (μ, q))$

$\leq {sup}_{(λ μ, b) \in H^{min} : λ + b = 1} λ \cdot H (μ, U)$

$= {sup}_{(λ μ, b) \in H^{min} : λ + b = 1} λ \cdot ln (| X |) \leq ln (| X |)$

And we're done.

Proposition 55: For all infradistributions, entropy is concave.
$H (p h + (1 - p) h^{'}) \geq p H (h) + (1 - p) H (h^{'})$

$H (p h + (1 - p) h^{'}) = - {sup}_{q} d (p h + (1 - p) h^{'}) (1; ln (p))$

$= - {sup}_{q} {lim}_{ϵ \to 0} \frac{(p h + (1 - p) h^{'}) (1 + ϵ ln (q)) - (p h + (1 - p) h^{'}) (1)}{ϵ}$

$= - {sup}_{q} {lim}_{ϵ \to 0} (p \frac{h (1 + ϵ ln (q)) - h (1)}{ϵ} + (1 - p) \frac{h^{'} (1 + ϵ ln (q)) - h^{'} (1)}{ϵ})$

$= - {sup}_{q} (p d h (1; ln (q)) + (1 - p) d h^{'} (1; ln (q)))$

$\geq - {sup}_{q} (p d h (1; ln (q))) - {sup}_{q} ((1 - p) d h^{'} (1; ln (q)))$

$= p (- {sup}_{q} d h (1; ln (q))) + (1 - p) (- {sup}_{q} d h^{'} (1; ln (q))) = p H (h) + (1 - p) H (h^{'})$

Proposition 56: For all infradistributions, entropy doesn't increase after deterministic pushforward. $H (g_{*} (h)) \leq H (h)$

To begin,

$H (h) = - {sup}_{q} d h (1; ln (p)) = - {sup}_{q} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{x})) - h (1)}{ϵ}$

$\geq - {sup}_{q} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (\sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}})) - h (1)}{ϵ}$

The reason for that last inequality is that, regardless of $q$ and $x$ ,

$q_{x} \leq \sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}}$

$ln (q_{x}) \leq ln (\sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}})$

So, by monotonicity,

$h (λ x .1 + ϵ ln (q_{x})) \leq h (λ x .1 + ϵ ln (\sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}}))$

So then, regardless of $ϵ$ ,

$\frac{h (λ x .1 + ϵ ln (q_{x})) - h (1)}{ϵ} \leq \frac{h (λ x .1 + ϵ ln (\sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}})) - h (1)}{ϵ}$

so then this property transfers to the limit, and

${lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{x})) - h (1)}{ϵ} \leq {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (\sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}})) - h (1)}{ϵ}$

and then for the supremum,

${sup}_{q} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{x})) - h (1)}{ϵ}$

$\leq {sup}_{q} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (\sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}})) - h (1)}{ϵ}$

And then multiplying by a negative flips the sign of the inequality. That's where it came from. So, we're currently up to:

$H (h) \geq - {sup}_{q} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (\sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}})) - h (1)}{ϵ}$

Now, where to go from here? Well... given a $q$ that sums to 1 over all points in $X$ , it's basically a probability distribution. We can define a $q^{'}$ that's supported over the image of $Y$ as $q^{'} = g_{*} (q)$ , just the pushforward. Or, more prosaically, $q_{g (x)}^{'} = \sum_{x^{'} : g (x^{'}) = g (x)} q_{x^{'}}$ . Ah, there's what we were looking for. Also, by normalization, $h (1) = 1$ .

$= - {sup}_{q} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{g (x)}^{'})) - 1}{ϵ}$

Hm. Well, how many $q^{'}$ can we hit? Well, $q$ could be any probability distribution over $X$ . so, we'd be able to induce any probability distribution as long as it's support is in the image of $g$ . So, we can reexpress as:

$= - {sup}_{q^{'} : \sum_{y \in g (X)} q_{y}^{'} = 1} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{g (x)}^{'})) - 1}{ϵ}$

and, by monotonicity, we can take the sup over more stuff since they'll always produce a lesser result.

$= - {sup}_{q^{'} : \sum_{y \in g (X)} q_{y}^{'} \leq 1} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{g (x)}^{'})) - 1}{ϵ}$

Wait a second, these $q^{'}$ are only defined on the image of $g$ . But the values produced by $h$ only depends on what functions do on the image of $g$ . So, we should just be able to extend in an arbitrary way s.t. they still look like probability distributions over $Y$ , that doesn't affect the values at all.

$= - {sup}_{q^{'} : \sum_{y} q_{y}^{'} \leq 1} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{g (x)}^{'})) - 1}{ϵ}$

And, again, by monotonicity, we can just restrict back to "must sum up to 1".

$= - {sup}_{q^{'} : \sum_{y} q_{y}^{'} = 1} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{g (x)}^{'})) - 1}{ϵ}$

Alright now, let's abbreviate this as:

$= - {sup}_{q^{'}} {lim}_{ϵ \to 0} \frac{h (λ x .1 + ϵ ln (q_{g (x)}^{'})) - 1}{ϵ}$

And then we notice something interesting. This can be viewed as a function that maps an $x$ to a $y$ via $g$ , and then maps $y$ to $1 + ϵ ln (q_{y}^{'})$ . This composition form means we can reexpress it as:

$= - {sup}_{q^{'}} {lim}_{ϵ \to 0} \frac{g_{*} (h) (λ y .1 + ϵ ln (q_{y}^{'})) - 1}{ϵ}$

$= - {sup}_{q^{'}} {lim}_{ϵ \to 0} \frac{g_{*} (h) (λ y .1 + ϵ ln (q_{y}^{'})) - g_{*} (h) (1)}{ϵ}$

$= - {sup}_{q^{'}} d (g_{*} (h)) (1; ln (q^{'})) = H (g_{*} (h))$

And we're done!

$H (h) \geq H (g_{*} (h))$

Proposition 57: For cohomogenous infradistributions, $H (h ⋉ K) \leq H (h) + {sup}_{(λ μ, b) \in H^{min}} (λ \cdot E_{μ} [H (K (x))])$

First, use our reexpression of what the entropy means for cohomogenous infrdistributions to go:

$H (h ⋉ K) = {inf}_{q \in Δ (X \times Y)} {sup}_{(λ μ, b) \in (H ⋉ K)^{min}} λ \cdot H (μ, q)$

$= {inf}_{q \in Δ (X \times Y)} ({sup}_{(λ μ, b) \in (H ⋉ K)^{min}} (- λ \sum_{x, y} (μ_{x, y} ln (q_{x, y}))))$

Now, from what the semidirect product looks like, the points in the semidirect product (or at least, this nabs all the minimal points) looks like selecting a $(λ μ, b)$ from $H$ , and a selection function s that takes each $x$ and assigns it a minimal point from $K (x)$ . Then just take $μ ⋉ s$ and add on the $b$ term. So, we can rewrite the inf as "pick a $(λ μ, b)$ from $H^{min}$ , then pick a $s (x)$ from each $K (x)^{min}$ , which we'll write as $(λ^{s (x)} ν^{s (x)}, b^{s (x)})$ "

So, the resulting measure (not probability distribution!!) produced by that has the measure on the point $(x, y)$ being:

$λ μ_{x} λ^{s (x)} ν_{y}^{s (x)}$

And so the total amount of measure present (our analogue of the $λ$ term) would be:

$\sum_{x^{'}, y^{'}} λ μ_{x^{'}} λ^{s (x^{'})} ν_{y^{'}}^{s (x^{'})}$

And the actual probability distribution on the point $(x, y)$ , ignoring the $λ$ term, would be

$\frac{λ μ_{x} λ^{s (x)} ν_{y}^{s (x)}}{\sum_{x^{'}, y^{'}} λ μ_{x^{'}} λ^{s (x^{'})} ν_{y^{'}}^{s (x^{'})}}$

Thus, we can rewrite our entropy as:

$= {inf}_{q \in Δ (X \times Y)} {sup}_{(λ μ, b) \in H^{min}, (λ^{s (x)} ν^{s (x)}, b^{s (x)}) \in K (x)^{min}}$

$- (\sum_{x^{'}, y^{'}} λ μ_{x^{'}} λ^{s (x^{'})} ν_{y^{'}}^{s (x^{'})}) ⎛ ⎝ \sum_{x, y} ⎛ ⎝ \frac{λ μ_{x} λ^{s (x)} ν_{y}^{s (x)}}{\sum_{x^{'}, y^{'}} λ μ_{x^{'}} λ^{s (x^{'})} ν_{y^{'}}^{s (x^{'})}} ln (q_{x, y}) ⎞ ⎠ ⎞ ⎠$

We can cancel out and move the $λ$ outside to yield:

$= {inf}_{q \in Δ (X \times Y)} {sup}_{(λ μ, b) \in H^{min}, (λ^{s (x)} ν^{s (x)}, b^{s (x)}) \in K (x)^{min}} - λ (\sum_{x, y} (μ_{x} λ^{s (x)} ν_{y}^{s (x)} ln (q_{x, y})))$

And now we'll be abusing notation somewhat to economize on space, we'll be writing $(λ μ, b) \in H^{min}$ as $(λ μ) \in H$ and writing $(λ^{s (x)} ν^{s (x)}, b^{s (x)}) \in K (x)^{min}$ as $(λ ν)^{s (x)} \in K (x)$ . With these space abbreviations, we have:

$= {inf}_{q \in Δ (X \times Y)} ({sup}_{(λ μ) \in H, (λ ν)^{s (x)} \in K (x)} (- λ (\sum_{x, y} μ_{x} λ^{s (x)} ν_{y}^{s (x)} ln (q_{x, y}))))$

and break up the sum to yield:

$= {inf}_{q \in Δ (X \times Y)} ({sup}_{(λ μ) \in H, (λ ν)^{s (x)} \in K (x)} (- λ (\sum_{x} μ_{x} λ^{s (x)} (\sum_{y} ν_{y}^{s (x)} ln (q_{x, y})))))$

And since $q$ is fixed (from the perspective of the inside), we can go "ah, the optimal $s (x)$ to pick doesn't depend at all on what $μ$ or $λ$ is, our task is just to make the chunk associated with $μ_{x}$ as negative as possible to make the negative sum as a whole as large as possible" so we can rewrite as:

$= {inf}_{q \in Δ (X \times Y)} ({sup}_{(λ μ) \in H} (- λ (\sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} (λ^{s (x)} (\sum_{y} ν_{y}^{s (x)} ln (q_{x, y}))))))$

And then, we can rewrite $ln (q_{x, y})$ as $ln (\frac{q_{x, y}}{\sum_{y^{'}} q_{x, y^{'}}}) + ln (\sum_{y^{'}} q_{x, y^{'}})$ to get:

$= {inf}_{q \in Δ (X \times Y)} ({sup}_{(λ μ) \in H} (- λ (\sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} ($

$λ^{s (x)} (\sum_{y} ν_{y}^{s (x)} (ln (\frac{q_{x, y}}{\sum_{y^{'}} q_{x, y^{'}}}) + ln (\sum_{y^{'}} q_{x, y^{'}})))))))$

And now, we can start breaking down the $q$ accordingly. We can select any probability distribution over $X \times Y$ , so we could think of our choice of distribution as choosing a distribution $q^{'}$ over $X$ , and a bunch of conditional distributions $(q | x)$ over $Y$ for each $x$ . With this reexpression, we get:

$= {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{(λ μ) \in H} (- λ (\sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} ($

$λ^{s (x)} (\sum_{y} ν_{y}^{s (x)} (ln ((q | x)_{y}) + ln (q_{x}^{'})))))))$

Now, since $ν^{s (x)}$ is always a probability distribution and that second ln term is a constant and doesn't depend on $y$ , we can pull it out and get:

$= {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{(λ μ) \in H} (- λ (\sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} ($

$λ^{s (x)} \sum_{y} (ν_{y}^{s (x)} ln ((q | x)_{y})) + λ^{s (x)} ln (q_{x}^{'})))))$

Now we need to be really finicky about that last ln piece. It's negative. Swapping the constant in front of it for a 1 would make the inf chunk more negative, but then there's a negative sign in front, so the sup chunk would get bigger, and so would the inf chunk at the very start. So, we have:

$\leq {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{(λ μ) \in H} (- λ (\sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} ($

$λ^{s (x)} \sum_{y} (ν_{y}^{s (x)} ln ((q | x)_{y})) + ln (q_{x}^{'})))))$

And now that there's no dependence on which point was picked from $K (x)^{min}$ , we can pull it out of the inf to yield:

$= {inf}_{q \in Δ (X \times Y)} ({sup}_{(λ μ) \in H} (- λ (\sum_{x} (μ_{x} ln (q_{x}^{'}))$

$+ \sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} (λ^{s (x)} \sum_{y} ν_{y}^{s (x)} ln ((q | x)_{y})))))$

Moving the negative sign inwards,

$= {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{(λ μ) \in H} (λ (- \sum_{x} (μ_{x} ln (q_{x}^{'}))$

$- \sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} (λ^{s (x)} \sum_{y} ν_{y}^{s (x)} ln ((q | x)_{y})))))$

Moving the negative sign further inwards,

$= {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{(λ μ) \in H} (λ (- \sum_{x} (μ_{x} ln (q_{x}^{'}))$

$+ \sum_{x} μ_{x} {sup}_{(λ ν)^{s (x)} \in K (x)} (λ^{s (x)} (- \sum_{y} ν_{y}^{s (x)} ln ((q | x)_{y}))))))$

And abbreviating the cross-entropy, we have:

$= {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{(λ μ) \in H} (λ (H (μ, q^{'}) + \sum_{x} μ_{x} {sup}_{(λ ν)^{s (x)} \in K (x)} (λ^{s (x)} H (ν^{s (x)}, (q | x))))))$

And now we can go "y'know, we can optimize the conditional probabilities individually when we see an x. Murphy's distribution and my distribution, once a particular x gets locked in, is disconnected from all the other x, so we can move that inf inwards". So, we can reexpress as:

$= {inf}_{q^{'} \in Δ X} ({sup}_{(λ μ) \in H} (λ (H (μ, q^{'}) + \sum_{x} μ_{x} {inf}_{(q | x) \in Δ Y} ({sup}_{(λ ν)^{s (x)} \in K (x)} (λ^{s (x)} H (ν^{s (x)}, (q | x)))))))$

And now we use our form for the entropy of an infradistribution to yield:

$= {inf}_{q^{'} \in Δ X} ({sup}_{(λ μ) \in H} (λ (H (μ, q^{'}) + \sum_{x} μ_{x} H (K (x)))))$

$= {inf}_{q^{'} \in Δ X} ({sup}_{(λ μ) \in H} (λ H (μ, q^{'}) + λ E_{μ} [H (K (x))]))$

And then, by optimizing both components individually we can get

$\leq {inf}_{q^{'} \in Δ X} ({sup}_{(λ μ) \in H} (λ H (μ, q^{'})) + {sup}_{(λ μ) \in H} (λ E_{μ} [H (K (x))]))$

$= {inf}_{q^{'} \in Δ X} ({sup}_{(λ μ) \in H} λ H (μ, q^{'})) + {sup}_{(λ μ) \in H} λ E_{μ} [H (K (x))]$

And then, using our form of entropy for cohomogenous infradistributions, and unpacking a bit, we have

$= H (h) + {sup}_{(λ μ, b) \in H^{min}} λ E_{μ} [H (K (x))]$

Putting it all together, we have:

$H (h ⋉ K) \leq H (h) + {sup}_{(λ μ, b) \in H^{min}} λ E_{μ} [H (K (x))]$

And we're done!

Proposition 58: For cohomogenous infradistributions, $H (h_{1} \times h_{2}) \leq H (h_{1}) + H (h_{2})$ , with equality when the infradistributions are crisp.

By Proposition 57,

$H (h ⋉ K) \leq H (h) + {sup}_{(λ μ, b) \in H^{min}} λ E_{μ} [H (K (x))]$

And then, $h 1 \times h_{2}$ is a special case of the semidirect product where $K (x)$ is always $h_{2}$ , so this turns into:

$H (h_{1} \times h_{2}) \leq H (h_{1}) + {sup}_{(λ μ, b) \in H_{1}^{min}} λ E_{μ} [H (h_{2})] = H (h_{1}) + {sup}_{(λ μ, b) \in H_{1}^{min}} λ H (h_{2})$

And then, because there's points with $λ = 1$ in a cohomogenous infradistribution, we have:

$H (h_{1} \times h_{2}) \leq H (h_{1}) + H (h_{2})$

This is only part of the proof however, we need to show that we have equality for crisp infradistributions, so we've gotta dig back through the proof of Proposition 57 and show that the two inequalities we have turn into equalities. Looking back through the proof, the first inequality we had was:

$H (h ⋉ K) = {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{(λ μ) \in H} (- λ (\sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} ($

$λ^{s (x)} \sum_{y} (ν_{y}^{s (x)} ln ((q | x)_{y})) + λ^{s (x)} ln (q_{x}^{'})))))$

$\leq {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{(λ μ) \in H} (- λ (\sum_{x} μ_{x} {inf}_{(λ ν)^{s (x)} \in K (x)} ($

$λ^{s (x)} \sum_{y} (ν_{y}^{s (x)} ln ((q | x)_{y})) + ln (q_{x}^{'})))))$

There's two critically important things to note. First is that, in the crisp infradistribution case, all minimal points have $λ = 1$ . Second is that, for a direct product, the target we're selecting points from on the second stage is always $H_{2}$ , and there's no dependence on $x$ in that selection. So, reexpressing the part immediately before the inequality, what we have is:

$H (h_{1} \times h_{2}) = {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{μ \in H_{1}} (- \sum_{x} μ_{x} {inf}_{ν \in H_{2}} (\sum_{y} (ν_{y} ln ((q | x)_{y})) + ln (q_{x}^{'}))))$

And then we can move the $ln (q_{x}^{'})$ out to get:

$= {inf}_{q^{'} \in Δ X, (q | x) \in Δ Y} ({sup}_{μ \in H_{1}} (- \sum_{x} μ_{x} {inf}_{ν \in H_{2}} (\sum_{y} (ν_{y}^{s (x)} ln ((q | x)_{y})) + ln (q_{x}^{'}))))$

Which is exactly the reexpression of that second thing that we'd normally have an inequality for. So, the proof of Proposition 57, for crisp infradistributions and the direct product, proceeds with equalities past the first inequality, and stopping right before the second one in the proof of Proposition 57 we had the line:

$= {inf}_{q^{'} \in Δ X} ({sup}_{(λ μ) \in H} (λ H (μ, q^{'}) + λ E_{μ} [H (K (x))]))$

Reexpressing the first term for the direct product, and noting that we made it past the first inequality, it would be:

$H (h_{1} \times h_{2}) = {inf}_{q^{'} \in Δ X} ({sup}_{μ \in H_{1}} (H (μ, q^{'}) + E_{μ} [H (h_{2})]))$

But then, the entropy of $h_{2}$ is just a constant, so you can pull it out and get:

$= {inf}_{q^{'} \in Δ X} ({sup}_{μ \in H_{1}} (H (μ, q^{'}) + H (h_{2})))$

$= {inf}_{q^{'} \in Δ X} ({sup}_{μ \in H_{1}} H (μ, q^{'})) + H (h_{2})$

$= H (h_{1}) + H (h_{2})$

And we're done, we've shown our result for crisp infradistributions!

LESSWRONG
LW

LESSWRONG
LW

7

LBIT Proofs 8: Propositions 53-58

7

Ω 4

7

Ω 4