Research highlights and events

Xavier Cabré will be a plenary speaker and Eva Miranda an invited speaker at the 8th European Congress of Mathematics in Portoroz (Solvenia), 20-26 June. 

International conference on Global and local aspects in dynamical systems in Barcelona, 5-9 July, celebrating the 60th anniversary of Tere M-Seara.

Stable solutions to semilinear elliptic equations are smooth up to dimension 9, Acta Mathematica (2020). Coauthored by Xavier Cabré, Alessio Figalli, Xavier Ros-Oton and Joaquim Serra, the authors prove the following long-standing conjecture: stable solutions to semi-linear elliptic equations are bounded (and thus smooth) in dimension n⩽9.

Automating resolution is NP-hard, Journal of the ACM (2020). Coauthored by Albert Atserias and Moritz Müller, the authors show that the problem of finding a Resolution refutation that is at most polynomially longer than a shortest one is NP-hard. In the parlance of proof complexity, Resolution is not automatable unless P = NP.

RandNET grant started. The European grant Randomness and learning in networks (RandNET) under the EC MSCA-RISE program has started on January 1st, 2021. RandNET brings together leading researchers in combinatorics, probability theory, computer science and statistics with the aim of blending approaches from these areas in the rigorous mathematical foundations for analyzing random networks. The consortium is formed by: UPC (coordinator), U. Oxford, É. Polytechnique, TU Vienna, TU Eindhoven, U. Pompeu Fabra, Charles U. Prague, NOKIA/Bell Labs France, Georgia Tech., U. Chile, IMPA Rio de Janeiro and McGill U.