I think the way you explained the probability relationships is a bit poor. For example p_t(x) = p_t(f_t^(-1)(x)) would imply the obvious desire for f_t to be the identity map. If x is a different r.v. then there is no reason one would make such a claim. The entire point is that the rv's may have different probabilities due to the map(and it may not even be injective) and so one has to scale the rv's probabilities which is where the jacobian comes in(as would a sum over the different branches). It would have been better to start with two different rv's and show how one could transform one in to another and the issues that might creep. E.g., This is how one would normally try to solve the problem from first principles. The way you set it up leaves a lot to be desired. E.g., while two rv's can easily take the same value they can have totally different probabilities which is the entire point of comparing them in this way. I don't know who would start off thinking two arbitrary rv's would have the same probabilities and sorta implying that then saying "oh wait, sike!" isn't really a good way to teach it.
Nice video, thankyou. But can you explain how this fits inside overall architecture of any simple Generative model and also how it can be implemented in code? Or just point me to a resource where I can find it.
Maybe this is a little late but at 4:24 , shouldnt the base distribution of z be parameterized by something other than theta? Usually that is a gaussian whose MLE estimate can be obtained in closed form.
Isn't the Jacobian here acting more like a Linear Transformation over the 2D example of unit square? How is it a Jacobian? I seem to be confused on the nomenclature here. Also because these are chained invertible transforms with a nonzero determinant, can't we just squash all like a Linear Transform into one?
Thank you for the great explanation. What I don't understand here is the reason why we are looking for p_theta(x). Shouldn't it be p_phi(x)? (by phi I mean any other parameter that is not theta) Since we are looking for the probability in the transformed space.
Thanks for the question. While using a single symbol for the model's parameters is a standard notation (e.g., see eq. 6 from arxiv.org/abs/1807.03039), I agree that using two distinct symbols would've been a bit clearer and indeed some papers do that instead :)
Great explanation!! I hope more videos are coming. I have a question, I don't really understand the benefit from the coupling layer example about "partitioning the variable z into 1:d and d+1:D". As explained in the video, you still need to ensure that the lower right sub-matrix is triangular to make the jacobian fully triangular. Then, isn't just more "intuitive" to say: the transformation of each component will "only be able to look at itself and past elements"? Then any x_i will only depend on z_{1:i} so the derivative for the rest will be zero. You still need to impose this condition on the "lower right sub-jacobian", then what's the value of the initial partitioning? Thanks!
Thank you and great question! The setup you describe is certainly one way of ensuring a fully triangular Jacobian and is the approach taken by autoregressive flows (e.g., arxiv.org/abs/1705.07057). But not only do we want a triangular Jacobian, we need to be able to efficiently compute its diagonal elements as well as the inverse of the overall transformation. The partitioning used by NICE is one way of yielding these two properties while still allowing for a high capacity transformation (as parameterized by m), which I think was underemphasized in the video. In the additive coupling layer, not only is the lower right sub-Jacobian triangular but it’s just the identity, giving us ones along the full diagonal. And the identity implemented by the first transformation (copying over z_{1:d} to x_{1:d}) guarantees g will be trivially invertible wrt 1st arg since the contribution from m can be recovered.
I think there may be a typo at 5:48. The individual Jacobians suddenly go to be taken wrt z_i instead of x_i, in the second line. That is not so, right?
Thanks for this explanation! Could you recommend on online class or other resource for getting a solid background in probability in order to better understand the math used to talk about generative models?
Amazing explanations! I#m currently learning about normalising flows with a focus on the GLOW paper for a presentation and this video really gives a great overview und helps put different concepts together.
The best video on the topic I have seen so far. Well done.
I think the way you explained the probability relationships is a bit poor. For example p_t(x) = p_t(f_t^(-1)(x)) would imply the obvious desire for f_t to be the identity map. If x is a different r.v. then there is no reason one would make such a claim. The entire point is that the rv's may have different probabilities due to the map(and it may not even be injective) and so one has to scale the rv's probabilities which is where the jacobian comes in(as would a sum over the different branches).
It would have been better to start with two different rv's and show how one could transform one in to another and the issues that might creep. E.g., This is how one would normally try to solve the problem from first principles.
The way you set it up leaves a lot to be desired. E.g., while two rv's can easily take the same value they can have totally different probabilities which is the entire point of comparing them in this way. I don't know who would start off thinking two arbitrary rv's would have the same probabilities and sorta implying that then saying "oh wait, sike!" isn't really a good way to teach it.
Awesome, thanks for the very clear explanation! Each step was quite "differentiable" in my head :)
Incredible video and explanation. Felt like I was watching a 3B1B video. Thank you!
Yes, it uses very similar background music!
Nice video, thankyou. But can you explain how this fits inside overall architecture of any simple Generative model and also how it can be implemented in code? Or just point me to a resource where I can find it.
That's absolutely brilliant. Keep up the good work!
Thanks for the video, but the background music put me to sleep - please change for next time.
Maybe this is a little late but at 4:24 , shouldnt the base distribution of z be parameterized by something other than theta? Usually that is a gaussian whose MLE estimate can be obtained in closed form.
Are the animations and sound track inspired from a channel named 3Blue1Brown ?
Hello everyone from 2024, it seems the flow-matching hype has begun
Isn't the Jacobian here acting more like a Linear Transformation over the 2D example of unit square? How is it a Jacobian?
I seem to be confused on the nomenclature here.
Also because these are chained invertible transforms with a nonzero determinant, can't we just squash all like a Linear Transform into one?
giving my 3blue1brown vibes. Amazing video.
this totally has something to do with principle fibre bundles doesn't it..... this is that shit James Simons figured out back in the 70s
For Chinese readers, you can also refer to Doctor Li's lecture: th-cam.com/video/uXY18nzdSsM/w-d-xo.html
you are amazing at explaining this concept in such a simple and understandable manner mate
Thank you for the great explanation. What I don't understand here is the reason why we are looking for p_theta(x). Shouldn't it be p_phi(x)? (by phi I mean any other parameter that is not theta) Since we are looking for the probability in the transformed space.
Thanks for the question. While using a single symbol for the model's parameters is a standard notation (e.g., see eq. 6 from arxiv.org/abs/1807.03039), I agree that using two distinct symbols would've been a bit clearer and indeed some papers do that instead :)
Thank you for this nice video, I've been struggling through some blog posts and this immediately cleared some things up for me. Great work!
what is the connection of this to the reparametrization trick?
Please keep making videos
Incredible explanation!
Great explanation!! I hope more videos are coming. I have a question, I don't really understand the benefit from the coupling layer example about "partitioning the variable z into 1:d and d+1:D". As explained in the video, you still need to ensure that the lower right sub-matrix is triangular to make the jacobian fully triangular. Then, isn't just more "intuitive" to say: the transformation of each component will "only be able to look at itself and past elements"? Then any x_i will only depend on z_{1:i} so the derivative for the rest will be zero. You still need to impose this condition on the "lower right sub-jacobian", then what's the value of the initial partitioning? Thanks!
Thank you and great question! The setup you describe is certainly one way of ensuring a fully triangular Jacobian and is the approach taken by autoregressive flows (e.g., arxiv.org/abs/1705.07057). But not only do we want a triangular Jacobian, we need to be able to efficiently compute its diagonal elements as well as the inverse of the overall transformation. The partitioning used by NICE is one way of yielding these two properties while still allowing for a high capacity transformation (as parameterized by m), which I think was underemphasized in the video. In the additive coupling layer, not only is the lower right sub-Jacobian triangular but it’s just the identity, giving us ones along the full diagonal. And the identity implemented by the first transformation (copying over z_{1:d} to x_{1:d}) guarantees g will be trivially invertible wrt 1st arg since the contribution from m can be recovered.
Thanks a lot!
Please make more videos like this
This kind of video is super useful to the community! Thank you!
Fantastic video!
cool video, thanks! What video editing tools do you use for the animations?
This one used a combination of matplotlib, keynote, & FCP. I've also used manim in other videos.
Why would adjacent pixels for an image have autoregressive property?
Short, sweet, and comprehensive...
This is really beautiful. Keep up the amazing work!
amazing, keep it up
I think there may be a typo at 5:48.
The individual Jacobians suddenly go to be taken wrt z_i instead of x_i, in the second line. That is not so, right?
Wow... I'm speechless.
Thanks ! Amazing quality !
Amazing! Thanks!
How do we find such a function f that performs the transformation? Is it the neural network? If so, wouldn’t that just be a decoder?
Got that 3blue1brown background music
Great video! I spotted a minor terminology mistake: you are referring to the evidence using the term "likelihood", which might confuse some folks
Thank you so much for making this video! Best video on this topic I've watched so far
@8:12 I believe here is grossed over: it seems to be the essential part, how to "make sure the lower right block is triangular"?
I looked at the RealNVP and I can't seem to find the part where the latent space is smaller than the input space. Where could I find it?
This is neat. Awesome graphics.. Many thanks!
Thanks for this explanation! Could you recommend on online class or other resource for getting a solid background in probability in order to better understand the math used to talk about generative models?
I am actually looking for the same thing, if you have found something interesting !
Great video ! Can you also make a video on gaussian processes and gaussian copulas?
Great video! Was looking for a clear explanation and this did the trick.
Nice! This is absolutely breakfast-appropriate.
Great explanation, it all makes sense now. Gonna keep come backing anytime I need to revise.
Amazing work, thank you very much!
This is some pretty high level pedagogy. Superbly done, thanks!
Awesome video! Thanks for putting it together and sharing
great video! This is definitely the best video on this topic.
Very clear explanation. Thanks a lot :)
Thank you for the nice breakdown!
Great video, made a pretty difficult topic very clear!
one mistake: NF cannot reduce dimensions!
Amazing explanations! I#m currently learning about normalising flows with a focus on the GLOW paper for a presentation and this video really gives a great overview und helps put different concepts together.
Amazing explanation & presentation :)
This is a great video! Each time I watch it I learn something new.
this is so good, please don’t stop making videos!
Thanks for the great explanation!
Hi! Amazing video and visualization. Curious to know if the software used for the graphics was manim?
Not in this particular video, but there are several manim animations in my other videos :)
Great visualisation of a complicated concept and lucid explanation. Thanks :)
awesome video! Like it so much!
Awesome video! Thanks!
So what is normalizing flow?
Great video! Gonna have to watch it again.
Great video and visualisation!
Thank you so much for this!
This is just such an elegant explanation.
Fantastic video! Thanks for the hard work you put into these.
Great video, well explained!
Great video. I hope you release more like it! :)
Please put out more content! This was an amazing explanation.
Such an excellent video
the most clear I have see
Amazing, Keep at it!
that was a great video!
Great explanation!
Well explained!
Awesome
amazing
The formula at 1:12 is wrong. The x on the right should be z.
Similar for other formulas later.
f is defined to be a mapping from Z to X. So f^{-1} takes x as input.
Bro it is really hard to follow. Nice mic and nice video editing, but the content is way to hard. Really really hard to follow.
Hands down the best intro to gen models one could ever had.