No hay un premio equivalente del Instituto de Arcilla, pero respondí una pregunta similar que resumiré aquí en breve:
Tenemos algunos algoritmos tremendamente útiles que funcionan muy bien en problemas físicos de carácter altamente difusivo: el flujo de calor, por ejemplo. A lo largo de los últimos cien años, los investigadores han podido reducir el costo de resolver este tipo de problemas físicos en varios órdenes de magnitud.
En el momento en que intentamos tomar esos algoritmos y aplicarlos a algo que no es difusivo, se rompe y no funciona. Sin embargo, aquí está el truco: eso describe cada uno de los algoritmos avanzados que tenemos actualmente. Todos funcionan muy bien en problemas difusivos, y chupan problemas no difusivos.
Entonces, en el momento en que quiero calcular el efecto de dispersión de una onda que golpea un objeto complejo, no hay una respuesta realmente buena: hay algunos límites fundamentales que requieren que los profesionales dediquen una gran cantidad de esfuerzo computacional para resolver el problema, sin importar. Qué tan avanzado es el algoritmo que le lanzan.
- Si la invisibilidad estuviera disponible comercialmente, ¿qué funciones legítimas podría proporcionar con éxito?
- ¿Qué sucederá si la temperatura más alta alcanza la temperatura más fría?
- ¿Hasta qué punto los Premios Breakthrough inspirarán nuevas contribuciones en matemáticas, física o ciencias de la vida? ¿Es esta una forma efectiva de apoyar los avances de alto nivel en estos campos?
- ¿Poseer habilidades de pensamiento crítico y ciencia hace que sea probable que sea un ateo?
- ¿Cómo pudo alguien conocer la forma de un átomo, cómo funcionaba y sus componentes si ningún microscopio lo puede ver?
Nadie sabe una buena respuesta de por qué este es el caso. La gente tiene mucha “intuición” detrás, y yo tengo la mía. Todos los que trabajan en la propagación de ondas son conscientes de esta dificultad, pero aún no hay documentos que lo aborden de manera rigurosa porque nadie sabe realmente por qué, y puede probar que su razonamiento es correcto.
Si este problema se resuelve, sospecho que representará un cambio de paradigma en la forma en que vemos los problemas físicos y es muy probable que se requiera una expresión matemática completamente nueva. Lo que tenemos ahora está mal equipado para resolver estos problemas. Sin embargo, las implicaciones de resolverlo son tremendas tanto desde el punto de vista matemático como para las aplicaciones. Ni siquiera necesitaría un premio para la solución de este problema, ya que sería capaz de comercializarlo de inmediato y quien lo haga ganaría millones.
Aquí hay un artículo fascinante que detalla esta frustración por un tipo particular de problema de onda:
Por qué es difícil resolver los problemas de Helmholtz con los métodos iterativos clásicos
Es un documento de 2012, y ni siquiera da razones sustanciales.
EDITAR: Dado que esta respuesta fue popular, pensé que debería reconocer de manera justa a las personas que han hecho grandes avances en la resolución de este problema.
Hasta la fecha, la mejor solución que he visto son los llamados precondicionadores “de barrido” de Engquist, Poulson, et al.
Representación de matriz jerárquica
Este no es el primer artículo de la serie (que comenzó alrededor de 2009, creo), pero es uno de fácil acceso para cualquier persona interesada. Este algoritmo es muy brillante porque explota completamente la física relevante para lograr resultados que generalmente están reservados a problemas dominados por la difusión. Para aquellos más familiarizados con la computación científica, este algoritmo parece muy similar a una técnica de descomposición de Schwarz multiplicativa (en álgebra lineal esto corresponde a una iteración “gauss-seidel”), pero aquí hay algunas ideas clave que lo llevan un poco más allá de lo básico. La interpretación y permite que este algoritmo funcione increíblemente bien, porque créanme, la gente ha tratado de usar gauss-seidel en esto antes y siempre falló.
Los problemas clave que enfrenta este algoritmo es la flexibilidad. Hasta ahora solo se ha aplicado con éxito a geometrías simples (cuadrado, cubo), y su extensión al paralelo no es obvia (aunque Jack Poulson en su tesis dio algunas técnicas muy buenas para hacer que el paralelismo fuera viable con esta técnica).