Description
I will give an overview of the proof of the celebrated theorem by Brenier about existence of optimal maps in the Euclidean setting.
Interestingly, this deep result will unwrap in front of our eyes once we identify a few key concepts, such as that of c-cyclical monotonicity and c-concavity.
