Almost Sure's Avatar

Almost Sure

@almostsure.bsky.social

George Lowther. Author of Almost Sure blog on maths, probability and stochastic calculus https://almostsuremath.com Also on YouTube: https://www.youtube.com/@almostsure

803 Followers  |  87 Following  |  252 Posts  |  Joined: 30.08.2023  |  2.1285

Latest posts by almostsure.bsky.social on Bluesky

What does Riemann Zeta have to do with Brownian Motion?
YouTube video by Almost Sure What does Riemann Zeta have to do with Brownian Motion?

New YouTube video uploaded on connections between Riemann zeta and Brownian motion!

What does Riemann Zeta have to do with Brownian Motion?

youtu.be/YTQKbgxbtiw

09.11.2025 20:18 โ€” ๐Ÿ‘ 9    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Moments of random variable equal 2 xi

Moments of random variable equal 2 xi

It's a while since my last YT video upload. Nothing is happening, I am busy working on the next one. Just taking longer than expected (been very busy recent weekends).

Will be on connections between Riemann zeta and Brownian motion.

ETA a few days to a week.

02.11.2025 13:15 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

I posted this as a YouTube short, so Iโ€™ll refer to my description there

05.10.2025 22:31 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Video thumbnail

Helter skelter

05.10.2025 13:09 โ€” ๐Ÿ‘ 7    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Wild Expectations
YouTube video by Almost Sure Wild Expectations

New YouTube video: Wild Expectations!

This looks at weird properties of conditional expectations, such as two random variables being bigger than each other 'on average'

youtu.be/4ZwRXVVepj8?...

23.09.2025 20:59 โ€” ๐Ÿ‘ 6    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Absolutely continuous rvs summing to singular rv

Absolutely continuous rvs summing to singular rv

Proof of singular rv

Proof of singular rv

Proof of absolute continuity

Proof of absolute continuity

Whatever you do, ๐™›๐™ค๐™ง ๐™ฉ๐™๐™š ๐™ก๐™ค๐™ซ๐™š ๐™ค๐™› ๐™‚๐™ค๐™™, do not ask random variables to be Lebesgue measurable!

If you were so stupid to do that, then ๐™ฎ๐™ค๐™ช ๐™ฌ๐™ค๐™ช๐™ก๐™™ ๐™ฃ๐™ค๐™ฉ ๐™š๐™ซ๐™š๐™ฃ ๐™—๐™š ๐™–๐™—๐™ก๐™š ๐™ฉ๐™ค ๐™–๐™™๐™™ ๐™ง๐™–๐™ฃ๐™™๐™ค๐™ข ๐™ซ๐™–๐™ง๐™ž๐™–๐™—๐™ก๐™š๐™จ ๐™ฉ๐™ค๐™œ๐™š๐™ฉ๐™๐™š๐™ง.

18.09.2025 20:36 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

initial->unitial (autocorrect!)

26.08.2025 13:44 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

where unit element of each sub-algebra is not necessarily unit of the full algebra (just a projection in general)

26.08.2025 13:43 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

There's the question of if the freely generated product exists, according to the different types of independence.

It does for commutative & free products, as products of initial algebras.

Doesn't look like it does for boolean independence. Not as until algebras though.

Maybe as non-initial ones

26.08.2025 13:43 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

interesting. I'm only familiar with commutative & free independence

26.08.2025 13:37 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
The Algebra of Mixed Quantum States
YouTube video by Almost Sure The Algebra of Mixed Quantum States

New video released on mixing quantum and classical probabilities.

The Algebra of Mixed Quantum States

youtu.be/K6h62Gr0nwg

23.08.2025 15:55 โ€” ๐Ÿ‘ 6    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

also, how can they tell it was due to a tyre blowing out? It was at night and the car was wrecked and burned out. And, I heard that these cars have run-flat tyres. I think itโ€™s a simple case of losing control at speed

03.07.2025 22:53 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Iโ€™ve been wondering what happened. I had a tyre blow out on the motorway before, no big deal - but they were โ€˜run-flatโ€™ so I could keep driving almost normally.

Would the same thing with normal tyres result in loss of control, or was this a result of reckless driving?

03.07.2025 18:10 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

new-ishโ€ฆactually a few weeks old now. I forgot to post here when I initially launched it on YouTube

03.07.2025 12:48 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
This unexpected proof shocked mathematicians
YouTube video by Almost Sure This unexpected proof shocked mathematicians

New video released on the Gaussian correlation inequality.

This unexpected proof shocked mathematicians!

youtu.be/WJGR1oc6Gxo?...

03.07.2025 12:47 โ€” ๐Ÿ‘ 6    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

Unfortunately its not as nice as I first thought. And I made a mistake in the writeup - when you multiply diffusions then what you get need not be Markov.

Maybe there is a more natural way of fitting martingales.

bsky.app/profile/almo...

17.04.2025 09:18 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Also I think X(mu,t) is not markov for individual mu (it is for mu as a whole). Rather, it is the ratios of the jumps wrt mu: X(mu-,t)/X(mu+,t) which are markov (i.e., diffusions)

17.04.2025 09:14 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I am not sure if the distribution is symmetric under

X(mu,t)->1-X(1-mu,t).

It is for individual times, as it matches Dirichlet distribution, but probably not for the entire paths wrt t. Which is disappointing. Maybe it can be modified?

17.04.2025 09:14 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

bsky.app/profile/almo...

16.04.2025 02:03 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Here's the method of simulation, and also shows that the joint distribution of X(ฮผ,t) is uniquely determined if we impose independent ratios property wrt ฮผ.

16.04.2025 02:02 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1
another martingale surface

another martingale surface

scaled gamma(1) process

scaled gamma(1) process

scaled gamma(40) process

scaled gamma(40) process

here's another plot (more 'mu' points, fewer time points.

And, gamma(1) process scaled to hit 1 at time 1 (time parameter mu to compare). Corresponds to t=0.5 in the surface plot. You can see its dominated by a few large jumps.

gamma(40) process is shown in the 3rd plot, corresponds with t=0.024

15.04.2025 19:48 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Simulating the martingales X(ฮผ,t) which are beta distributed and martingale wrt t.

X(ฮผ,t) ~ Beta(ฮผ(1-t)/t, (1-ฮผ)(1-t)/t)

The (1-t)/t scaling is so that on range 0<t<1 we cover entire set of Beta distributions.

For each t, X(ฮผ_{i+1},t)-X(ฮผ_i,t) have Dirichlet distribution.

15.04.2025 19:20 โ€” ๐Ÿ‘ 6    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 2

Probability fact:

A sequence X_0,X_1,X_2,โ€ฆ,X_i,โ€ฆ of Gamma(a_i) rvโ€™s has independent increments

X_1-X_0,X_2-X_1,โ€ฆ

if and only if it has independent ratios

X_0/X_1,X_1/X_2,โ€ฆ

in which case a_{i+1}>=a_i and,

X_{i+1}-X_i~Gamma(a_{i+1}-a_i)
X_i/X_{i+1}~Beta(a_i,a_{i+1})

14.04.2025 00:03 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Either way, itโ€™s lightning fast using my new Schrรถdingerโ€™s Cat8 cables

13.04.2025 16:30 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
distribution calculation

distribution calculation

Probability fact:

If X,Y are independent Gamma(a), Gamma(b) random variables then

X/(X+Y), X+Y

are independent Beta(a,b), Gamma(a+b) rvs.

Equivalently: if X,Y are independent Beta(a,b), Gamma(a+b) random variables then

XY, (1-X)Y

are independent Gamma(a), Gamma(b) rvs.

12.04.2025 17:33 โ€” ๐Ÿ‘ 7    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

My extension of Hermite-Hadamard:

If c = (pa+qb)/(p+q) for p,q > 0 then

f(c)โ‰คM(t)โ‰ค(pf(a)+qf(b))/(p+q)

where M(t) is the average value of f under Beta(qt,pt) distribution scaled to interval [a,b].

M(t) is ctsly decreasing from

M(0)=(pf(a)+qf(b))/(p+q)
to
M(โˆž) = f(c)
pbs.twimg.com/media/GoSUpd...

12.04.2025 16:50 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Ok, I managed to prove this!

So Beta(at,bt) is decreasing in the convex order and can find reverse martingale (continuous Itรด diffusion)

X(t)=E[X(s) | {X(u),u >=t}]
(all s < t)

with marginals

X(t)~Beta(at,bt)

12.04.2025 14:51 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 2

Question: fixed a, b > 0, are distributions Beta(at,bt) decreasing in convex order over t > 0?

Equivalent to existence of a reverse-time martingale X_t ~ Beta(at,bt).

Equivalently:

-(d/dt)E[(x-X_t)_+] >=0

for all 0 < x < 1.
Plots suggest so: parameterised as s=a+b,mean=a/s

12.04.2025 14:48 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Brownian Motion - A Beautiful Monster
YouTube video by Almost Sure Brownian Motion - A Beautiful Monster

New YouTube video posted

"Brownian motion - A Beautiful Monster"

youtu.be/IgMmsnzye1s?...

06.04.2025 14:52 โ€” ๐Ÿ‘ 10    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Brownian Motion - A Beautiful Monster
YouTube video by Almost Sure Brownian Motion - A Beautiful Monster

New YouTube video posted

"Brownian motion - A Beautiful Monster"

youtu.be/IgMmsnzye1s?...

06.04.2025 14:52 โ€” ๐Ÿ‘ 10    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@almostsure is following 20 prominent accounts