Select Page

Eva Miranda, professor at the UPC and researcher at the CRM, is featured in Quanta Magazine. The article highlights how certain physical systems, such as fluid flows, can simulate computations so complex that predicting their behaviour becomes mathematically impossible. Unlike classical chaos, which arises from sensitivity to initial conditions, undecidability stems from fundamental logical limits.

Eva Miranda, professor of mathematics at the Universitat Politècnica de Catalunya (UPC) and affiliated researcher at the Centre de Recerca Matemàtica (CRM), is one of the featured experts in an article by the international publication Quanta Magazine that explores one of the most profound questions in modern science: are there limits to what we can ever know about the physical world?

The article, titled Next-Level Chaos Traces the True Limit of Predictability and published on March 7th, examines how chaos theory, originally concerned with systems sensitive to initial conditions, is evolving into a more radical conceptual landscape: undecidability. If classical chaos already shattered our hopes of perfect prediction by showing that small differences in starting conditions can lead to wildly different outcomes, undecidability goes a step further. It does not stem from imprecision, but from the intrinsic structure of certain systems that defy computation entirely.

As Miranda explains, classical chaos is the realm of the butterfly and the hurricane, a world where evolution is deterministic but practically unpredictable. “It’s the dance of shadows,” she says, “a choreography of dynamical systems that elude our grasp not because they lack order, but because that order escapes us.” Undecidability, by contrast, emerges when a physical system (a fluid, a planetary orbit, a mechanical structure) is so rich that it can encode any computation, like a Turing machine. And when that happens, the halting problem enters the picture: no algorithm can determine whether the system will evolve in one way or another.

“Undecidability is something else entirely; colder, more philosophical, and perhaps more disquieting,” she adds. “It’s a closed door we may knock on forever without knowing if it will ever open.”

Within this context, Miranda and her collaborators, Robert Cardona, Daniel Peralta-Salas, and Francisco Presas, designed a theoretical fluid system that encodes the operations of a Turing machine. In this setup, a particle (symbolically represented by a rubber duck) follows a trajectory that simulates a computation. Predicting whether the duck reaches a certain area is equivalent to solving the halting problem, a provably unresolvable problem. This means that, in principle, even with perfect knowledge of the system’s initial state, no definitive prediction can be made.

“Some systems are so complex, so capable of encoding processes, that they simulate any computation,” Miranda explains. “And when that happens, we enter the realm of problems that are not difficult, but impossible.”

Beyond the sensitivity to initial conditions lies a deeper void. “Some systems contain, at their core, regions of mathematical silence,” she says. “It is precisely this silence, this space where even logic cannot advance, that fascinates us. As Emily Dickinson wrote: ‘The brain is wider than the sky.’ But even that brain, reaching out through conjectures, proofs, and intuitions, sometimes meets skies that will never be crossed. And perhaps it is in those limits that we truly begin to understand.”

This contribution is part of a broader intellectual shift, one that Quanta Magazine has chronicled in its Quanta Fundamentals series. In a related piece, How Chaos Theory Makes the Future Unpredictable (March 31, 2025), the magazine revisits the origins of chaos theory, from Edward Lorenz’s butterfly effect to more recent understandings of nonlinear dynamics in fields ranging from meteorology to orbital mechanics.

Miranda sees the growing presence of undecidability in physics not as a limitation, but as a transformation. “The 20th century already cracked some certainties with relativity and quantum mechanics,” she says. “But now the shift is subtler, more internal. It doesn’t come from the lab or the telescope, but from a change in perspective: we’re beginning to suspect that some questions don’t just lack answers, they lack meaning within our systems.”

She highlights that these logical boundaries, long familiar to mathematicians, are now surfacing in concrete physical contexts: “In celestial mechanics, fluid evolution, and Hamiltonian systems with symmetries, we are beginning to encounter questions that may be undecidable, not because we lack data, but because of the system’s internal structure.”

In this changing landscape, Miranda also underscores the importance of high-level science communication. “Magazines like Quanta are a necessary exception in the midst of all the noise,” she says. She believes such platforms bridge the artificial divide between science and culture: “They remind us that doing mathematics or physics is also a way of seeing the world, of listening to it, of translating it. Communicating it well doesn’t mean watering it down, it means sharing its essence.”

Eva Miranda is a Full Professor of Mathematics at the Universitat Politècnica de Catalunya (UPC), where she directs the Laboratory of Geometry and Dynamical Systems and leads the GEOMVAP research group. A two-time recipient of the ICREA Academia Award, she has also been honoured with the François Deruyts Prize and the Bessel Prize. Her research lies at the intersection of differential geometry, dynamical systems, and mathematical physics, with recent work exploring undecidability and complexity in fluid dynamics. In 2025, she will serve as Gauss Professor at the University of Göttingen and Nachdiplom lecturer at ETH Zurich.

More information: https://web.mat.upc.edu/eva.miranda/nova/

Subscribe for more CRM News

Stay updated to our mailing list to get the lastest information about CRM activities.

CRM Comm

Pau Varela

CRMComm@crm.cat

 

Jagged walls and unknown edges: a workshop on free boundary problems

Jagged walls and unknown edges: a workshop on free boundary problems

From 2 to 6 November, the Workshop on Free Boundary Problems brought together more than fifty registered participants from institutions in eleven countries at the CRM. Over five days they heard 21 talks on elliptic and parabolic free boundaries and on geometric measure theory and harmonic analysis in rough domains, with speakers including Guy David, Svitlana Mayboroda, Susanna Terracini and Robin Neumayer. The workshop was the second intensive week of the Intensive Research Programme on Analysis of Free Boundary Problems, which continues at the CRM until 4 December.

Advanced Course on Free Boundary Problems Opens the Intensive Weeks of the IRP

Advanced Course on Free Boundary Problems Opens the Intensive Weeks of the IRP

From 26 to 30 October, around forty researchers attended the Advanced Course on Free Boundary Problems at the CRM, three seven-hour mini-courses given by Bozhidar Velichkov (Università di Pisa), Max Engelstein (University of Minnesota) and Zihui Zhao (Johns Hopkins University). The course was the first of the two intensive weeks of the Intensive Research Programme on Analysis of Free Boundary Problems, which runs until 4 December.

Eight CRM Researchers in the 2026 Stanford-Elsevier List of Highly Cited Scientists

Eight CRM Researchers in the 2026 Stanford-Elsevier List of Highly Cited Scientists

The Centre de Recerca Matemàtica (CRM) has eight researchers in the 2026 update of the Stanford-Elsevier ranking of highly cited scientists, which John P. A. Ioannidis (Stanford University) and Jeroen Baas (Elsevier) compile from Scopus data. Xavier Cabré, Álvaro Corral, Tim Myers, Xavier Ros-Oton, Sergey Tikhonov and Xavier Tolsa appear both in the career-long ranking and in the one for 2025, and Diego Vidaurre and Simeon Ball in the 2025 ranking.

Fish schools and growing tissues: a workshop on how collective behaviour emerges

Fish schools and growing tissues: a workshop on how collective behaviour emerges

The Centre de Recerca Matemàtica (CRM) organised the Barcelona Workshop on Kinetic and Macroscopic Models in Biology with Friends II, held from 7 to 10 September at the Institut d’Estudis Catalans. More than thirty researchers discussed how order at the scale of tissues and animal groups arises from local interactions between individuals, in a programme that included talks by CRM researchers Daria Stepanova and Juan Arellano-Tintó. Two of the speakers, James Sharpe (EMBL Barcelona) and Chiara Villa (CNRS, Université Paris Cité), talked to the CRM about their research.

Almost every automaton can be reset with a short word

Almost every automaton can be reset with a short word

Guillaume Chapuy (Université Paris Cité, CNRS) and Guillem Perarnau (UPC, CRM) have shown that a random finite automaton with n states can, with high probability, be reset by a word of length of order √n log n. The result, published in ACM Transactions on Algorithms, pins the exponent at 1/2, the lower end of a decade of numerical estimates, and addresses the random version of the synchronization problem behind a conjecture Ján Černý posed in 1964 and which still remains open.