Lecture

Optimal Transport: Theory and Applications

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In course

MATH-476: Optimal transport

The first part is devoted to Monge and Kantorovitch problems, discussing the existence and the properties of the optimal plan. The second part introduces the Wasserstein distance on measures and develops applications of optimal transport to PDEs, functiona ...

Description

This lecture covers the theory and applications of optimal transport, focusing on the mathematical concepts and practical implications. The instructor explains the optimal transport problem, transport maps, and the justification behind the definitions. Various mathematical derivations and proofs are presented to illustrate the main theorems. The lecture also delves into the concept of entropy and its role in the optimization process.

Instructors (2)

Maria Colombo

Teaching & PhD PhD Students Roberto Colombo, Antonio Tirotta, Carl Johan Peter Johansson, Giulia Mescolini Past EPFL PhD Students Luigi De Rosa, Silja Noëmi Aline Haffter, Massimo Sorella Courses Analysis IV - Lebesgue measure, Fourier analysis MATH-205 Learn the basis of Lebesgue integration and Fourier analysis Topics on the Euler and Navier-Stokes equations MATH-647 This topics course focuses on recent and classical fundamental results on the Euler and Navier-Stokes equa

Xavier Fernandez-Real Girona

Teaching & PhD PhD Students Roberto Colombo Courses Optimal transport MATH-476 The first part is devoted to Monge and Kantorovitch problems, discussing the existence and the properties of the optimal plan. The second part introduces the Wasserstein distance on measures and develops applications of optimal transport to PDEs, functional/geometric inequalities, traffic models.

Official source

Related concepts (32)

Mathematical proof

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".

Mathematical induction

Mathematical induction is a method for proving that a statement is true for every natural number , that is, that the infinitely many cases all hold. Informal metaphors help to explain this technique, such as falling dominoes or climbing a ladder: Mathematical induction proves that we can climb as high as we like on a ladder, by proving that we can climb onto the bottom rung (the basis) and that from each rung we can climb up to the next one (the step). A proof by induction consists of two cases.

Computer-assisted proof

A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.

Charging station

A charging station, also known as a charge point or electric vehicle supply equipment (EVSE), is a power supply device that supplies electrical power for recharging plug-in electric vehicles (including battery electric vehicles, electric trucks, electric buses, neighborhood electric vehicles and plug-in hybrid vehicles). There are two main types: AC charging stations and DC charging stations. Electric vehicle batteries can only be charged by direct current (DC) electricity, while most mains electricity is delivered from the power grid as alternating current (AC).

Set theory

Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory.

Related lectures (64)

Information Measures: Entropy and Information Theory

Explains how entropy measures uncertainty in a system based on possible outcomes.

Conditional Entropy and Information Theory Concepts

Discusses conditional entropy and its role in information theory and data compression.

Variational Formulation: Information Measures

Explores variational formulation for measuring information content and divergence between probability distributions.

Holomorphic Functions: Taylor Series Expansion

Covers the basic properties of holomorphic maps and Taylor series expansions in complex analysis.

Generalization Error