I'm not convinced EV(all in / kelly) -> infinity
I think it can be consistent that
(a) EV[all in] > EV[kelly]
(b) kelly / all in -> infinity almost surely
(c) EV[all in / kelly] -> 0
Conversation
limsup[n->inf] (1/n log (any-other/ kelly)) <= 0 a.s.
by KKT conditions we have
E[any-other/kelly] <= 1
did not forget a log
and then yea i think E[all-in/kelly] = 0 in particular
1
2
1
yep I always agreed with the EV statement
(I also just found projecteuclid.org/download/pdf_1, which has the same statement and a different looking proof, starting page 72)
2
1
the proofs above do appear to assume the same dice rolls btw
1
1
which is clearly the correct assumption for the purposes of comparing the strategies
separately, since we got into this debate via Uniswap, Bitcoin is not a different price tomorrow for Sam than for me (regardless of what that price ends up being)
1
1
. do you take issue with that assumption? It can also be argued as objectively - not preferentially - correct, and then I’m not sure there are any other outstanding points of contention?
1
twitter.com/SBF_Alameda/st
while the assumption does turn out to be true in the uniswap case it's accidentally so and I claim that the fact that this proof relies on it means that the thing it's maximizing for can't be a reasonable thing to maximize for
1
In particular the property is non-transitive!
So I claim that E(wealth(A)/wealth(B)) is not something you can care about
2
In that case, I think that your view is more reflective of your own preferences than the result depending on any of ours, and not a legitimately falsifiable criticism.
1
1
er if you think that then I'd object to you calling kelly "optimal"