En esta respuesta Yves de Cornulier mencionó una charla sobre los posibles usos de homología persistente en topología geométrica y teoría de grupos. La homología persistente es una herramienta del ámbito del análisis topológico de datos, diseñada específicamente para extraer información de datos empíricos y utilizada para diversas aplicaciones, que van desde los cambios en la función cerebral bajo el efecto de las drogas hasta el estudio de los flujos de fluidos, pasando por la fusión de mapas de distintas escalas, entre otras muchas. Así que esto pertenece definitivamente al ámbito de las matemáticas aplicadas, y su uso en las matemáticas puras es muy interesante.
Ni que decir tiene que muchas aplicaciones inspiraron muchas investigaciones en matemáticas puras, tanto para establecer los fundamentos de las herramientas utilizadas en las matemáticas aplicadas como por el mero hecho de estudiar los objetos interesantes que aparecen en dichas interacciones. Me refiero concretamente a las propias herramientas aplicadas que se utilizan en la investigación en matemáticas puras.
Como ejemplo, aritmética de intervalos se utilizó en la solución de El 14º problema de Smale y en la prueba de Conjetura de Kepler (este último también utilizaba mucho la programación lineal).
Retrocediendo en el tiempo, encontramos que muchos métodos que inicialmente se desarrollaron principalmente para alguna aplicación específica, como la mecánica celeste, la estereometría de las barricas de vino o la transferencia de calor, se convirtieron en las herramientas estándar de las matemáticas puras. Ahora parece que el flujo de métodos y técnicas es mayoritariamente unidireccional, de las matemáticas puras a las aplicadas. Pero no es completamente unidireccional, de ahí la pregunta:
¿Cuáles son los usos recientes de las herramientas de la matemática aplicada a los problemas de la matemática pura?
Si se requiere una indicación más específica de lo que significa "reciente", digamos los últimos 30 años (pero estaría encantado de escuchar ejemplos más antiguos también).
7 votos
¿Se considera la física teórica o matemática como "matemáticas aplicadas"? Una parte enorme de las "matemáticas puras" se remonta a la física en su origen.
3 votos
Barriles de vino, no de vid :-)
0 votos
@HarryWilson ¡Oups! Arreglado.
7 votos
Si la informática teórica o la teoría de la información cuentan como "matemáticas aplicadas", hay demasiados ejemplos para enumerarlos.
2 votos
Para ciertos valores de "reciente", el problema de encontrar la antiderivada de la función secante vino de la cartografía. $\qquad$
1 votos
La pregunta me parece demasiado amplia. Las "matemáticas aplicadas" y las "matemáticas puras" deben definirse de forma más estricta, ya que de lo contrario una gran parte de las matemáticas podrían ser objeto de esta pregunta.
0 votos
Creo que hay que acotar en el tiempo más que los últimos 30 años.
1 votos
Otro uso reciente de la homología persistente con la teoría de grupos fue mi disertación, que defendí en 2019. No la publiqué porque me dediqué a la industria, pero debería estar disponible en la base de datos de disertaciones de la biblioteca de la Universidad de Florida bajo Inference and Classification of Symmetry in Point Clouds. Un resumen rápido es que muestro cómo la homología persistente puede identificar las nubes de puntos que son el resultado de acciones de grupo (similar a las nubes de puntos G-equivariantes), incluso si son muy ruidosas.
0 votos
Recuerdo muchas cuadraturas numéricas en el proyecto polimático para obtener el límite de la constante de Bruijn-Newman $\Lambda < 0.22$ .