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?
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.
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.
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.
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?
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.
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?
The best video on the topic I have seen so far. Well done.
Incredible video and explanation. Felt like I was watching a 3B1B video. Thank you!
Yes, it uses very similar background music!
you are amazing at explaining this concept in such a simple and understandable manner mate
Awesome, thanks for the very clear explanation! Each step was quite "differentiable" in my head :)
this is so good, please don’t stop making videos!
This is neat. Awesome graphics.. Many thanks!
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 !
Please make more videos like this
Great explanation, it all makes sense now. Gonna keep come backing anytime I need to revise.
Short, sweet, and comprehensive...
That's absolutely brilliant. Keep up the good work!
Thank you so much for making this video! Best video on this topic I've watched so far
This is just such an elegant explanation.
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!
Great video! Gonna have to watch it again.
This kind of video is super useful to the community! Thank you!
This is a great video! Each time I watch it I learn something new.
Thank you for the nice breakdown!
great video! This is definitely the best video on this topic.
Great video! Was looking for a clear explanation and this did the trick.
Please put out more content! This was an amazing explanation.
This is really beautiful. Keep up the amazing work!
Incredible explanation!
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.
Great visualisation of a complicated concept and lucid explanation. Thanks :)
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.
Great video, made a pretty difficult topic very clear!
Awesome video! Thanks for putting it together and sharing
@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"?
Amazing explanation & presentation :)
Great video and visualisation!
Fantastic video! Thanks for the hard work you put into these.
Please keep making videos
Fantastic video!
the most clear I have see
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.
what is the connection of this to the reparametrization trick?
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 video! I spotted a minor terminology mistake: you are referring to the evidence using the term "likelihood", which might confuse some folks
Great explanation!
Great video. I hope you release more like it! :)
Thanks for the great explanation!
Very clear explanation. Thanks a lot :)
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.
Great video, well explained!
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?
Awesome video! Thanks!
Such an excellent video
Why would adjacent pixels for an image have autoregressive property?
Nice! This is absolutely breakfast-appropriate.
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?
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?
Thank you so much for this!
awesome video! Like it so much!
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.
Great video ! Can you also make a video on gaussian processes and gaussian copulas?
Amazing! Thanks!
Are the animations and sound track inspired from a channel named 3Blue1Brown ?
This is some pretty high level pedagogy. Superbly done, thanks!
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.
Well explained!
Amazing, Keep at it!
giving my 3blue1brown vibes. Amazing video.
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 !
Hands down the best intro to gen models one could ever had.
Thanks a lot!
amazing, keep it up
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 :)
that was a great video!
So what is normalizing flow?
For Chinese readers, you can also refer to Doctor Li's lecture: th-cam.com/video/uXY18nzdSsM/w-d-xo.html
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.
Awesome
Got that 3blue1brown background music
Hello everyone from 2024, it seems the flow-matching hype has begun
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
Thanks for the video, but the background music put me to sleep - please change for next time.
one mistake: NF cannot reduce dimensions!
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.
Amazing work, thank you very much!