Seminars, for informal dissemination of research results, exploratory work by research teams, outreach activities, etc., constitute the simplest form of meetings at a Mathematics research centre.
CAMGSD has recorded the calendar of its seminars for a long time, this page serving both as a means of public announcement of forthcoming activities but also as a historic record.
Existing machine learning frameworks operate over the field of real numbers ($\mathbb{R}$) and learn representations in real (Euclidean or Hilbert) vector spaces (e.g., $\mathbb{R}^d$). Their underlying geometric properties align well with intuitive concepts such as linear separability, minimum enclosing balls, and subspace projection; and basic calculus provides a toolbox for learning through gradient-based optimization.
But is this the only possible choice? In this seminar, we study the suitability of a radically different field as an alternative to $\mathbb{R}$ — the ultrametric and non-archimedean space of $p$-adic numbers, $\mathbb{Q}_p$. The hierarchical structure of the $p$-adics and their interpretation as infinite strings make them an appealing tool for code theory and hierarchical representation learning. Our exploratory theoretical work establishes the building blocks for classification, regression, and representation learning with the $p$-adics, providing learning models and algorithms. We illustrate how simple Quillian semantic networks can be represented as a compact $p$-adic linear network, a construction which is not possible with the field of reals. We finish by discussing open problems and opportunities for future research enabled by this new framework.
Recent results on black hole interiors suggest a failure of strong cosmic censorship for charged black holes in the presence of a positive cosmological constant. In this talk we show that, in the context of the Einstein-Maxwell-real scalar field system, such violations are non-generic in a larger moduli space of non-smooth (spherically symmetric) initial data.
Categorical algebra is a fundamental branch of mathematics that lies at the intersection of category theory and algebra. On the one hand, it captures the fruitful properties and structures studied in algebra via category theory. On the other hand, it investigates the global categorical properties that algebraic objects enjoy when collected together. Both these endeavors are essential to extend and transport the fundamental concepts and theorems of algebra to different and broader settings. In this talk, we present an innovative theory that generalizes categorical algebra to the framework of 2-dimensional category theory. This has the notable advantage that the second dimension can be used both to weaken conditions that are too strict in nature and to refine algebraic invariants, obtaining a richer theory which encompasses a broader range of examples. Furthermore, 2-dimensional categorical algebra is essential to effectively compare different algebraic categories with each other.
This talk is based on a joint work with Elena Caviglia and Zurab Janelidze.
Abelian categories and triangulated categories provide fundamental frameworks to study homological and cohomological problems across algebraic geometry, topology and representation theory.
In this talk we will explain how we can study the 2-category AbCat of abelian categories and the 2-category Triang of triangulated categories through the lenses of 2-dimensional categorical algebra. Surprisingly, through these lenses, AbCat and Triang look extremely similar.
We will show that the important notions of Serre subcategories and Serre quotients of abelian categories precisely correspond respectively with the 2-dimensional kernels and cokernels in AbCat. In a similar way, thick triangulated subcategories and Verdier localizations of triangulated categories are exactly the 2-kernels and the 2-cokernels in Triang.
Furthermore, even more striking similarities between the two contexts arise when characterizing these 2-kernels and 2-cokernels in terms of categorical properties satisfied by their underlying functors.
These results will allow us to show that both the 2-categories AbCat and Triang are exact, in appropriate 2-dimensional senses. In particular, AbCat is 2-Puppe exact in a 2-dimensional sense, while Triang satisfies the weaker exactness property of a 2-homological category.
This talk is based on a joint work in progress with Zurab Janelidze, Luca Mesiti and Ulo Reimaa.
–
Room 6.2.33, Faculty of Sciences of the Universidade de LisboaInstituto Superior Técnicohttps://tecnico.ulisboa.pt
Free boundary problems naturally arise in a variety of models from material science, particularly in connection with phase transitions and interfacial phenomena. In this talk, we discuss a class of variational problems that lead to singular PDEs in heterogeneous and irregular media. We focus on models whose intrinsic singularities are shaped by the medium itself, so that variations in the underlying structure directly influence the geometric behavior of solutions in a highly nonlinear fashion. On the analytical side, this leads to the development of a layered regularity theory, designed to remain robust across different regimes. In more structured settings, we establish $C^{1,\alpha}$-regularity of the free boundary, showing how increased organization of the medium is reflected in the qualitative behavior of solutions and their interfaces.
