Research Highlights
(DMAT) Received June 20, 2023. The natural world is full of large systems of interacting units. A human brain, for example, contains around 86 billion (86 · 10^{9}) neurons whose activities evolve in time as a function …
Quantum character varieties by Marta Mazzocco
(School of Mathematics, Birmingham). Received on 8/2/2023. In this note we will introduce the concept of character variety in the simple example of a torus with one disk removed. We will show how this is a surface …
(Instituut-Lorentz, Leiden). Received on 4/12/2022. Quantum mechanics allows for correlations that cannot be explained within two principles that are fundamental to our intuitive understanding of the world: locality and realism [1]. This led to Einstein and collaborators …
(DMAT, IMTech). Received on 21 November, 2022. Motivation: the conjecture of Birch and Swinnerton-Dyer In order to celebrate mathematics in the new millennium, the Clay Mathematics Institute proposed seven challenges and one of these is the conjecture …
A General Mechanism of Diffusion in Hamiltonian Systems: Qualitative Results (after [7]) by Tere M. Seara
(DMAT, IMTech, CRM). Received 23 July, 2022. The paper [7] (see also [8]) solves a version of the Arnold diffusion problem for Hamiltonian systems that remained open since the 1960s. Hamiltonian systems appear naturally as models of …
Yano’s conjecture by Guillem Blanco
(FWO-KU Leuven) Received 21 April, 2022. The paper [3] solves a long-standing conjecture about the structure of the roots of the Bernstein-Sato polynomial for plane branches posed by T. Yano in 1982 [18]. Let f : (C^{n+1}, …
(UPC, BGSMath), (UPC, IMTech), (ICMAT). Received 21 May, 2021. Introduction In the book The Emperor’s new mind [10], Sir Roger Penrose returns to the artificial intelligence debate to convince us that creativity cannot be presented as the …
Regularity of stable solutions to reaction-diffusion equations up to dimension 9 (after [1]) by Xavier Cabré
(IMTech–UPC and ICREA). Received 24 Feb, 2021. The paper [1] solves a semilinear version of Hilbert’s XIXth problem that remained open since the 1970s. In dimensions n ≤ 9, it establishes the smoothness of local minimizers of …
(IMTech, UPC). Received 9 Jan, 2021 In 2019, Moritz Müller and I resolved a longstanding open question on the computational complexity of proof search. The preliminary version of the article “Automating Resolution is NP-Hard” was the co-winner …