El estudio de las estructuras métricas y geométricas inducidas por costes de transporte óptimo (notablemente distancias de Wasserstein) en espacios de medidas de probabilidad, conectando problemas de desplazamiento de masa con análisis, ecuaciones en derivadas parciales y geometría de tipo riemanniano en espacios de medidas.

Principio

Representar medidas de probabilidad como puntos en un espacio métrico en el que planes de transporte minimizadores del coste definen distancias; interpretar geodésicas como interpolaciones por desplazamiento y usar nociones de flujo de gradiente y convexidad (por ejemplo convexidad por desplazamiento) para relacionar la geometría del transporte con ecuaciones de evolución y nociones de curvatura en espacios de medidas.

Demostración

En la recta real o en el espacio euclidiano, la distancia Wasserstein L^2 entre dos medidas absolutamente continuas se realiza mediante un mapa de transporte monótono; las geodésicas corresponden a pushforwards a lo largo de la interpolación lineal de mapas, y la ecuación del calor puede verse como el flujo de gradiente de la entropía en el espacio de Wasserstein.

Aplicación incorrecta

Usar distancias de Wasserstein sin verificar la continuidad absoluta o ignorar condiciones de frontera puede dar lugar a mapas óptimos inexistentes; tratar medidas empíricas discretas como objetos suaves y aplicar fórmulas de transporte continuas puede engañar en cálculos y asíntotas.

Consecuencia

La geometría del transporte óptimo ofrece un formalismo unificador para comparar medidas, establece desigualdades funcionales, orienta la regularidad y el comportamiento a largo plazo de EDP mediante la convexidad en el espacio de transporte y proporciona métricas útiles en estadística y aprendizaje automático.

Inversión

Invertir la perspectiva considerando solo la topología débil-* en medidas o métricas integrales de probabilidad que ignoran la estructura de transporte; se pierde entonces la interpolación geométrica y la conexión con dinámicas gobernadas por flujos de gradiente dependientes del transporte.

Límite

Los resultados dependen de las funciones de coste, la regularidad de las medidas y el espacio subyacente (euclidiano frente a variedades); muchos análogos riemannianos suaves requieren medidas absolutamente continuas y supuestos de convexidad que fallan para medidas singulares o atómicas.

Tensión semántica

Existe tensión entre métricas basadas en transporte (Wasserstein), que capturan el reordenamiento espacial, y otras divergencias (Kullback–Leibler, variación total) que miden discrepancia puntual; cada una enfatiza diferentes aspectos de similitud entre medidas.

Síntesis

La geometría del transporte óptimo reformula la comparación de medidas como un problema geométrico donde los costes de transporte definen distancias, permitiendo el análisis geométrico de la evolución de medidas, la convexidad y las EDP, y proporcionando métricas prácticas para aplicaciones.