Archivio 2025

In this talk we will introduce uberhomology, a combinatorially defined homology theory for simplicial complexes. After proving some of its properties, we’ll show how this invariant is related to dominating sets and to the Mayer-Vietoris spectral sequence. We will conclude with some open questions and problems. All results are joint work with L. Caputi and D. Celoria.

An uncountable $\aleph_1$-free group can not admit a Polish group topology but an uncountable $\aleph_1$-free abelian group can, as witnessed e.g. by the Baer-Specker group $\mathbb{Z}^\omega$, in fact, more strongly, $\mathbb{Z}^\omega$ is separable. In this paper we investigate $\aleph_1$-free abelian non-Archimedean Polish groups. We prove two main results. The first is that there are continuum many separable (and so torsionless, and so $\aleph_1$-free) abelian non-Archimedean Polish groups which are not topologically isomorphic to product groups and are pairwise not continuous homomorphic images of each other. The second is that the following four properties are complete co-analytic subsets of the space of closed abelian subgroups of $S_\infty$: separability, torsionlessness, $\aleph_1$-freenees and $\mathbb{Z}$-homogeneity.

We substantially improve in two scenarios the current state-of-the-art modulus of continuity for weak solutions to the $N-$dimensional, two-phase Stefan problem featuring a $p-$degenerate diffusion: for $p=N\geq 3$, we sharpen it to $\boldsymbol{\omega}(r) \approx \exp (-c| \ln r|^{\frac1N})$; for $p>\max\{2,N\}$, we derive an unexpected H\"older modulus. This is a joint work with Ugo Gianazza and Naian Liao.

Modeling, analysis and computation are three pillars of computational science. We discuss them within the context of liquid crystal networks (LCNs). These materials couple a nematic liquid crystal with a rubbery material. When actuated with heat or light, the interaction of the liquid crystal with the rubber creates complex shapes. Thin bodies of LCNs are natural candidates for soft robotics applications. We start from the classical 3D trace energy formula and derive a reduced 2D membrane energy as the formal asymptotic limit of vanishing thickness, including both stretching and bending energies, and characterize the zero energy deformations. We design a sound numerical method and discuss its Gamma convergence. We present computations showing the geometric effects that arise from liquid crystal defects as well as computations of nonisometric origami within and beyond theory. This work is joint with L. Bouck, G. Benavides, and S. Yang.

We consider linear stable operators L of order 2s whose spectral measure is positive only in a relative open subset of the unit sphere, the aim being to present Liouville type results, in a half space, for the inequality -Lu ≥ u^p. In particular we will show that u≡0 is the only nonnegative solution for 1 ≤ p ≤ (N+s)/(N-s). The optimality of the exponent (N+s)/(N-s) will also be discussed. Based on a joint work with I. Birindelli and L. Du (Sapienza Università di Roma).

We establish a stochastic maximum principle for controlled stochastic differential equations with delay and control-dependent noise, without convexity assumptions on the control space. The cost functional depends on both present and delayed states, modeled via general finite measures. For measures with square-integrable densities, we employ infinite-dimensional reformulation and BSDE techniques; for general measures, we apply anticipated BSDEs and weak convergence methods. We further analyze the case of delay measures with $L^p$-densities ($p \in (1,2)$), deriving a generalized mild backward equation beyond Hilbertian settings.

Category theory was initially developed to address some structural questions in algebraic topology. Shortly after it was extended to algebraic geometry, logic, universal algebra, and more recently, theoretical computer science. Each of these subjects was heavily influenced by category theory, and in turn, the development of category theory was prominently shaped by the strucures and problems arising in these fields. In the past few years there has been a growing interest in applying categorical techniques to fields such as probability, statistics and information theory, to study their structures and to find patterns in their techniques. Perhaps surprisingly, it turns out that these fields present a rich and principled structure when addressed categorically, with functors and universal properties arising everywhere. However, most of the time, new category theory is needed to study these subjects, as they are quite far from the algebra and geometry for which category theory was initially developed. Two of the current most prolific environments to study probability categorically are Markov categories and dagger categories. In this talk we will give an introduction to both, show their similarities, differences and connections, and use them to prove some core theorems of probability.

The most basic class of derivations on C*-algebras consists of the inner derivations—those expressible as commutators with elements from the multiplier algebra. A fundamental question in the theory of C*-algebras is to determine which algebras admit only inner derivations. Landmark results by Sakai, Kadison, and Sproston established this property for all von Neumann algebras, simple C*-algebras, and homogeneous C*-algebras. In the separable setting, the problem was completely resolved in 1979 by Akemann, Elliott, Pedersen, and Tomiyama, who showed that a separable C*-algebra has only inner derivations if and only if it is a direct sum of a C*-algebra with continuous trace and a C*-algebra with discrete primitive spectrum. However, the non-separable case remains largely unsettled—even for 2-subhomogeneous algebras. In 1978, Pedersen posed a unifying question, inspired by the work of Sakai and Kadison: given a C*-algebra, does its local multiplier algebra—defined as the C*-direct limit of the multiplier algebras of its essential closed ideals—admit only inner derivations? In this talk, we revisit the classical innerness problem for derivations on C*-algebras, highlighting both recent developments and emerging perspectives.

Modeling, analysis and computation are three pillars of computational science. We discuss them within the context of liquid crystal networks (LCNs). These materials couple a nematic liquid crystal with a rubbery material. When actuated with heat or light, the interaction of the liquid crystal with the rubber creates complex shapes. Thin bodies of LCNs are natural candidates for soft robotics applications. We start from the classical 3D trace energy formula and derive a reduced 2D membrane energy as the formal asymptotic limit of vanishing thickness, including both stretching and bending energies, and characterize the zero energy deformations. We design a sound numerical method and discuss its Gamma convergence. We present computations showing the geometric effects that arise from liquid crystal defects as well as computations of nonisometric origami within and beyond theory. This work is joint with L. Bouck, G. Benavides, and S. Yang.

TBA

The Jacobian variety of a family of singular curves is not proper in general. Several (mostly equivalent) constructions of modular compactifications have been proposed since the 1950s. These classical results, however, do not give a complete classification. After recalling some equivalent constructions and properties of the Jacobian variety of a smooth projective curve, we show what is lost as soon as we drop the smoothness hypothesis. We introduce the notion of a V-compactified Jacobian, together with its dependence on combinatorial V-stability condition, and show that it strictly generalises the preexisting notion of "classical" compactified Jacobian. In particular, we see that V-compactified Jacobians completely classify smoothable compactified Jacobians in the case of a nodal curve. This is joint work with Nicola Pagani and Filippo Viviani.

In this talk I will study generalized automata (in the sense of Adámek-Trnková) in Joyal’s category of combinatorial species; as an important preliminary step, I will provide examples of coalgebras for the "derivative" endofunctor ∂ and for the ‘Euler homogeneity operator’ L∂ arising from the adjunction L⊣∂⊣R. The theory is connected with, and in fact provides nontrivial examples of, differential 2-rigs—a concept I recently introduced by treating combinatorial species in the same way that a generic (differential) semiring (R,d) relates to the (differential) semiring N[[X]] of power series with natural coefficients. Joyal himself has long regarded species as categorified formal power series. This perspective aligns with a fundamental category-theoretic insight: free objects in the category of rings naturally acquire a canonical differential structure. At the heart of this phenomenon lies the representability of the prestack of derivations by an object of Kähler differentials. These ideas categorify elegantly within the 2-category of differential 2-rigs, revealing that species possess a universal property as differential 2-rigs. The desire to study categories of ‘state machines’ valued in an ambient monoidal category (K,⊗) gives a pretext to further develop the abstract theory of differential 2-rigs, proving lifting theorems of a differential 2-rig structure from (R,∂) to the category of ∂-algebras on objects of R, and to categories of Mealy automata valued in (R,⊗), as well as various constructions inspired by differential algebra such as jet spaces and modules of differential operators. This talk covers the content of the paper Automata and Coalgebras in Categories of Species (Proceedings of CMCS24, Luxembourg), as well as parts of an ongoing project with Todd Trimble.

The Hochschild cohomology of a differential graded algebra or more generally of a differential graded category admits a natural map to the graded center of its derived category: the characteristic homomorphism. We interpret this map as an edge homomorphism in a spectral sequence, which allows to study the characteristic homomorphism systematically in many interesting examples from algebra, geometry, topology and physics. To illustrate this, we will discuss several concrete examples related to coherent sheaves on algebraic curves and cochains of classifying spaces of Lie groups. If time permits, I will also indicate a new extension of this framework to $A_\infty$-categories. Some of this is joint work with M. Szymik (Sheffield) other with A. Phimister (Leicester).

Two-dimensional McKay correspondence originated in the observation by John McKay that the representation graph of a finite subgroup G of SL_2(C) coincides with the Coxeter graph of an affine Lie algebra \mathfrak{g} of ADE type. It turned out that the combinatorics of \mathfrak{g} control not only the representation theory of G but also the geometry of the minimal resolution Y of C^2/G. In the first half of the talk I will give a gentle introduction to the subject, illustrated by examples. We will review the finite subgroups of SL_2(C), the McKay quiver Q of G, the geometry of the minimal resolution Y, and its construction as a moduli space of semistable representations of Q. The stability parameter space \Theta with the stratification by the semistable walls coincides with the Cartan algebra \mathfrak{h} of \mathfrak{g} stratified by root hyperplanes. I will show how the reflections in the classes of the exceptional curves on Y define an action of the braid group B_{\mathfrak{g}} on the cohomology, K-theory, and the derived category D(Y) of Y. In the second half of the talk, I will report on the ongoing project to construct a certain categorical structure on an affine hyperplane arrangement on \mathfrak{h} refining that of the root hyperplanes. The braid group action above can be viewed as a categorical local system with the fibre D(Y) on the open stratum of \mathfrak{h}/W, where W is the Weyl group. We aim to extend this to a W-equivariant categorical perverse sheaf, a “perverse schober”, on the whole of the affine hyperplane arrangement. This is joint work with Arman Sarikyan (LIMS).

The simplicial category \Delta plays an important role in category theory. One of the reasons is that there is a fully faithful nerve functor from the category Cat to the category of simplicial sets (that is functors from the opposite of \Delta to Set). Its essential image consists of simplicial sets satisfying additional conditions that the Segal maps are isomorphisms. This allows to think of a small category as a type of simplicial set, and this idea has been carried on in higher dimensions in defining appropriate notions of higher categories. This talk is about a modification of \Delta, introduced by J. Kock, called the fat delta. After explaining the motivation for our interest in fat delta, both from higher category theory and from type theory, we present a study of fat delta in terms of monad with arities. This leads to a nerve theorem for relative semicategories, as well as a description of fat delta as a hypermoment categories in the sense of Berger. This is joint work with Tom de Jong, Nicolai Kraus and Stiephen Pradal, arXiv.2503.10963v1.

The functional organization of primary motor cortex (M1) across the cortical sheet remains obscure. Aside from the crude and static somatotopic organization of M1, there is little evidence of spatially organized dynamic patterning across the motor cortical sheet. We have previously demonstrated that spatially organized propagating patterns of excitability along a rostro-caudal axis in non-human primates signal the initiation of movement but do not specify the details of the movement (Balasubramanian, Arce-McShane, Dekleva, Collinger, & Hatsopoulos, 2023). These propagating patterns of excitability were observed in the attenuation of low frequency beta oscillation (15-35 Hz) amplitude of the local field potential (LFP). We are now investigating patterns of high frequency components of the LFP (200-400 Hz referred to as high gamma) that propagate intermittently across M1 during reaching behaviors and have found that the propagation direction carries kinematic information (Liang, Balasubramanian, Papadourakis, & Hatsopoulos, 2023; unpublished data). Given that the high gamma signal serves as an accurate proxy for multi-unit activity (Ray & Maunsell, 2011), these results suggest that a spatially organized recruitment order of multi-unit activity provides behaviorally relevant information.

I will explain ideas and techniques behind recent results showing that fibered CY varieties are bounded, starting from the elliptic case and then moving to the case of higher relative dimension.

My talk aim to present our joint work with Matthieu Joseph and Remi Barritault on the actions of non-Archimedean Polish groups. I will first present the notion of dissociation for probability measure-preserving actions, which allows us generalize so-called de Finetti theorems. Then, I will outline the model-theoretical conditions that we know imply dissociation and discuss how they may be improved.

Mild (consequences of) forcing axioms imply a general lifting theorem which allows to characterise precisely those homomorphisms between reduced products of countable structures which have a lift that factorises into homomorphisms between the factor structures. We will discuss recent extensions of such lifting theorems to the metric setting and ensuing rigidity phenomena for particular metric reduced product structures of interest. This is based on joint work with Ilijas Farah and Alessandro Vignati, with Alessandro Vignati, and with Andreas Thom.

Mori dream spaces form a class of algebraic varieties that play a significant role in birational geometry, as they exhibit ideal behaviour within the minimal model program. In this talk, we discuss the birational geometry of hypersurfaces in products of weighted projective spaces, focusing particularly on cases where they are Mori dream spaces. We generalize the results obtained by J.C. Ottem and, if time permits, we will address the Kawamata-Morrison cone conjecture for certain anticanonical Calabi-Yau hypersurfaces in products of weighted projective spaces.

In this completely self-contained talk, I'll discuss various versions of the Garden of Eden theorem, the Gottschalk surjunctivity conjecture, and Kaplansky's conjecture on stable finiteness of group rings. This will include a quick review of the notions of amenability and soficity for groups, of the theory of cellular automata, and entropies of dynamical systems.

Given a realcompact space X, we denote by Exp(X) the smallest infinite cardinal κ such that X is homeomorphic to a closed subspace of Rκ. In this talk, we analyze the realcompactness number of countable spaces. We will show that, for every cardinal κ, there exists a countable crowded space X such that Exp(X) = κ if and only if p ≤ κ ≤ c. On the other hand, we show that a scattered space of weight κ has pseudocharacter at most κ in any compactification. This will allow us to calculate Exp(X) for an arbitrary (that is, not necessarily crowded) countable space. This is a joint work with Andrea Medini and Lyubomyr Zdomskyy.

For a countable homogeneous structure M, a natural question in representation theory is the classification of unitary representations of the Polish, non-archimedean group Aut(M). This question was completely answered by Tsankov for ω-categorical structures. In joint work with R. Barritault and C. Jahel, we generalize this result and go beyond ω-categoricity by addressing structures such as the integral/rational Urysohn space and the integral/rational universal diversity. We will explain how the notion of dissociation, a structural property of unitary representation for Polish non-archimedean groups, is used in our work. No background knowledge of representation theory will be assumed for this talk.

The aim of this work is to determine the optimal cyber-security investment strategy for an entity subject to cyber-attacks. Inspired by the Gordon-Loeb model, we assume that the success rate of cyber-attacks depends on the vulnerability of the security system under threat, which can be reduced investing in security measures. We introduce a dynamic version of the Gordon-Loeb setting, by exploiting Hawkes stochastic processes to model the arrival of attacks. This stochastic framework is crucial to rapidly react to the random changes which characterize cyber-risk. The problem is framed as a Markovian 2-dimensional stochastic control problem with jumps and it is addressed using dynamic programming techniques. The optimal value is characterized by a partial integro-differential equation, which is solved numerically. The corresponding optimal strategy is, hence, explicitly obtained by differentiating the optimal value function.

In this talk, we will show how representations of a (Dynkin) quiver allow to construct cluster variables for the associated Fomin-Zelevinsky cluster algebra. We will start from the basics on quiver representations, notably Gabriel's theorem establishing a bijection between positive roots and indecomposable representations. By combining this bijection with Fomin-Zelevinsky's between positive roots and non-initial cluster variables, we will obtain a map associating a non-initial cluster variable with each indecomposable representation. The starting point of additive categorification is an explicit formula for this map due to Caldero-Chapoton. It involves Euler characteristics of varieties of subrepresentations and is typical of links between cluster algebras and algebraic geometry.

Since their invention by Fomin-Zelevinsky in 2002, cluster algebras have shown up in an ever growing array of subjects in mathematics (and in physics). In this talk, we will approach their theory starting from elementary examples. More precisely, we will see how the remarkable integrality properties of the Coxeter-Conway friezes and the Somos sequence find a beautiful unification and generalization in Fomin-Zelevinsky's definition of cluster variables and their Laurent phenomenon theorem. Motivated by the periodicity of Coxeter-Conway friezes, we will conclude with a general periodicity theorem (Keller 2013), whose proof is based on the interaction between discrete dynamical systems and quiver representations through the combinatorial framework of cluster algebras.

Given an abelian category A its derived category D(A) admits a natural t-structure whose heart is A. Moreover by the Auslander’s Formula A is equivalent to the quotient category of coherent functors by the Serre subcategory of effaceable functors. Given a quasi-abelian category E its derived category D(E) admits two canonical t-structures (left and right) whose hearts L and R are derived equivalent and their intersection in D(E) is E, moreover E is a tilting torsion class (rep. cotilting torsion-free class) in the right heart R (resp. L). We generalise the Auslander’s Formula to quasi-abelian categories and we extend this picture to its higher version introducing n-quasi-abelian categories. Given X a smooth algebraic variety of dimension n the category of locally free O_x-modules of finite rank is n-quasi-abelian.

The regularity of minimizers for the classical one-phase Bernoulli functional has been extensively studied following the pioneering work of Alt and Caffarelli. More recently, the regularity of almost minimizers has also been investigated. This relaxed notion of minimality arises naturally in various contexts, such as variational problems with constraints, and its flexibility allows for addressing a broader range of questions. We present some results concerning the regularity of almost minimizers for a one-phase Bernoulli-type functional in Carnot groups of step two. Our approach is inspired by the methods introduced by De Silva and Savin in the Euclidean setting. We outline the main challenges and techniques employed to establish local Lipschitz regularity for almost minimizers, emphasizing the role of intrinsic gradient estimates. Additionally, we discuss certain generalizations to nonlinear counterparts. Some of the results presented stem from joint works with F. Ferrari (University of Bologna) and N. Forcillo (Michigan State University).

With every proper metric space are associated C*-algebras of special geometric importance (Roe algebras), originally defined for index-theoretic considerations. It is a simple observation that metric spaces that are coarsely equivalent give rise to isomorphic C*-algebras, and recently we could prove that the converse also holds. Namely, a C*-rigidity Theorem shows that spaces with isomorphic Roe algebras must be coarsely equivalent. This establishes a strong connection between the categories of coarse spaces and C*-algebras. In this introductory talk I aim to properly introduce the C*-rigidity question and illustrate the roadmap of the proof of rigidity.

Understanding quantum magnetism in two-dimensional systems represents a lively branch in modern condensed-matter physics. In the presence of competing super-exchange couplings, magnetic order is frustrated and can be suppressed down to zero temperature. Still, capturing the correct nature of the exact ground state is a highly complicated task, since energy gaps in the spectrum may be very small and states with different physical properties may have competing energies. Here, we introduce a variational Ansatz for two-dimensional frustrated magnets by leveraging the power of representation learning. The key idea is to use a particular deep neural network with real-valued parameters, a so-called Transformer, to map physical spin configurations into a high-dimensional feature space. Within this abstract space, the determination of the ground-state properties is simplified and requires only a shallow output layer with complex-valued parameters. We illustrate the efficacy of this variational Ansatz by studying the ground-state phase diagram of the Shastry-Sutherland model, which captures the low-temperature behavior of SrCu2(BO3)2 with its intriguing properties. With highly accurate numerical simulations, we provide strong evidence for the stabilization of a spin-liquid between the plaquette and antiferromagnetic phases. In addition, a direct calculation of the triplet excitation at the Γ point provides compelling evidence for a gapless spin liquid. Our findings underscore the potential of Neural-Network Quantum States as a valuable tool for probing uncharted phases of matter, and open up new possibilities for establishing the properties of many-body systems.

TBA

We present a duality between compact \( T_1 \)-spaces and a class of distributive lattices (subfit, compact, and complete), which captures key aspects of both Stone duality and \(\Omega\)-point duality in particular instances. We then show how this duality extends to a contravariant adjunction between \( T_1 \)-spaces and bounded distributive lattices. This adjunction gives rise to a canonical compactification---the \emph{Wallman compactification}---for \( T_1 \) spaces, such that any \textit{strongly continuous} map from a \( T_1 \) space \( X \) into a compact \( T_1 \) space factors uniquely through the Wallman compactification of \( X \). This is joint work with Matteo Viale and Mai Gehrke.

We are interested in Gizatullin’s problem which consists of the following question: Given a smooth quartic surface S ⊂ P3, which automorphisms of S are induced by Cremona transformations of P3? Cremona transformations of P3 can be written as a composition of a finite sequence of elementary maps. This is an algorithmic process called the Sarkisov Program. In this talk, we will solve Gizatullin’s problem when S ⊂ P3 has Picard number two by using the Sarkisov program. The results that will be presented are in collaboration with Ana Quedo, and with Carolina Araujo and Sokratis Zikas.

Feature learning - or the capacity of neural networks to adapt to the data during training - is often quoted as one of the fundamental reasons behind their unreasonable effectiveness. Yet, making mathematical sense of this seemingly clear intuition is still a largely open question. In this talk, I will discuss a simple setting where we can precisely characterise how features are learned by a two-layer neural network during the very first few steps of training, and how these features are essential for the network to efficiently generalise under limited availability of data.

This is joint work with Andreas Stavrou. For a compact orientable surface S of genus g with one boundary component and for an odd prime number p, we study the homology of the unordered configuration spaces C(S) := coprod_{n>=0} C_n(S) with coefficients in F_p. We describe H_*(C(S); F_p) as a bigraded module over the Pontryagin ring H_*(C(D); F_p), where D is a disc, and give a splitting as direct sum of certain well-behaved quotients of this ring. We also consider the action of the mapping class group Mod(S) on the homology, and identify the kernel of the action with the subgroup of Mod(S) generated by separating Dehn twists and p-th powers of Dehn twists. We compare with some partial results about the Mod(S)-action on ordered configuration spaces, obtained in joint work with Jeremy Miller, Jennifer Wilson, and Andreas Stavrou.

We will provide sharp weak type estimates for the Hardy-Littlewood maximal operator in the context of Gromov hyperbolic metric measure spaces, which satisfy a locally doubling condition and the measures of balls grows exponentially for large radii. This result generalizes previous results on symmetric spaces of non compact type and rank 1, Damek-Ricci spaces, and Riemannian manifolds of pinched negative curvature. This is a joint work with S. Meda and F. Santagati.

We discuss a class of pro-groups whose derived limits are relevant to the additivity of strong homology. These are indexed by the set of functions {}^\kappa \omega. The case of width \omega, that is, the one where \kappa = \omega, is linked to the additivity of strong homology on the class of locally compact separable metric spaces. While an equivalence was proved for \lim^1 between certain narrow and wider system, the analogous equivalence for higher limits has long been an open question. Here we present a negative answer to that question and, time permitting, some ideas toward a consistency result on simultaneous vanishing for all cardinals and all \lim^n. This is joint work with Jeffrey Bergfalk. 

Given a measured groupoid G, together with Filippo Sarti, we defined a cohomology theory which generalizes the measurable bounded cohomology of a locally compact group. In the particular case of a groupoid associated to a measure preserving action, our cohomology boils down to the usual bounded cohomology of the group with twisted coefficients. We will discuss the possible applications of this result to orbit equivalence. 

We give an introduction to Topological Data Analysis (TDA), focusing on Persistent Homology. This is a technique to extract information about the shape of data and summarize it as a collection of intervals, also called a barcode. If the data is given in the form of a nice enough function on a smooth manifold, there are connections to Morse theory, where the topology of the underlying manifold is related to the critical points of the function. We then move the focus to Morse-Smale vector fields, which are a class of vector fields with good structural properties, and present new approaches to extend the aforementioned methods to these objects. We do so by applying different algebraic methods such as parametrized chain complexes and spectral sequences.

The aim of Electrical Impedance Tomography (EIT) is to determine the electrical conductivity distribution inside a domain by applying currents and measuring voltages on its boundary. Mathematically, the EIT reconstruction task can be formulated as a non-linear inverse problem. The Bayesian inverse problems framework has been applied expensively to solutions of the EIT inverse problem, in particular in the cases when the unknown conductivity is believed to be blocky. In this talk, we demonstrate that by exploiting linear algebraic considerations it is possible to organize the calculation for the Bayesian solution of the nonlinear EIT inverse problem via finite element methods with sparsity promoting priors in a computationally efficient manner. The proposed approach uses the Iterative Alternating Sequential (IAS) algorithm for the solution of the linearized problems. Within the IAS algorithm, a substantial reduction in computational complexity is attained by exploiting the low dimensionality of the data. Numerical tests on synthetic and real data illustrate the computational efficiency of the proposed algorithm.

We frame dynamic persuasion in a partial observation stochastic control game with an ergodic criterion. The Receiver controls the dynamics of a multidimensional unobserved state process. Information is provided to the Receiver through a device designed by the Sender that generates the observation process. The commitment of the Sender is enforced. We develop this approach in the case where all dynamics are linear and the preferences of the Receiver are linear-quadratic. We prove a verification theorem for the existence and uniqueness of the solution of the HJB equation satisfied by the Receiver’s value function. An extension to the case of persuasion of a mean field of interacting Receivers is also provided. We illustrate this approach in two applications: the provision of information to electricity consumers with a smart meter designed by an electricity producer; the information provided by carbon footprint accounting rules to companies engaged in a best-in-class emissions reduction effort. In the first application, we link the benefits of information provision to the mispricing of electricity production. In the latter, we show that when firms declare a high level of best-in-class target, the information provided by stringent accounting rules offsets the Nash equilibrium effect that leads firms to increase pollution to make their target easier to achieve. This is a joint work with: R. Aïd (Paris Dauphine), O. Bonesini (LSE) and G. Callegaro (Padova).

An elementary Mori contraction from a smooth variety X is a morphism with connected fibres onto a normal variety which contracts a single extremal ray of K_X-negative curves. Thanks to a result by P. Ionescu and J. Wisniewsi, we know that the length of such a contraction (i.e. the minimal degree -K_X can have on contracted rational curves) is bounded from above. In a paper which dates back to 2013, A. Höring and C. Novelli studied elementary Mori contractions of maximal length, that is, elementary Mori contractions for which the upper bound is met. Their main result exhibits the structure of a projective bundle for the locus of positive-dimensional fibres up to a birational modification. In my talk, I will move to the submaximal case, in other words the case where the length equals its upper bound minus one, and focus on the divisorial case.

Given a telecommunication network represented by a directed graph, our problem is to route one single stream of packets on the IP network along a min-cost path with a constraint on the maximum delay that any packet may incur. From a mathematical point of view, this problem, known as Delay Constrained Routing (DCR), can be formulated as a Mixed-Integer Second-Order Cone Program (MISOCP), where one needs to simultaneously (and "optimally") compute paths and reserve resources along the paths of the network. The DCR problem presents an interesting mixture of combinatorial and continuous structures and naturally lends itself to decomposition methods. We will discuss formulations, algorithms and computational results on real/realistic network instances.

In the first part of the seminar, I will discuss the concept of Birational Geometry, introduce some birational iInvariants and the moduli spaces of varieties of general type, along with a few examples that I consider significant. In the second part, I will present some recent results, obtained in collaboration with S. Coughlan, Y. Hu, and T. Zhang, on certain moduli spaces of three-dimensional varieties of general type.

Peridynamics is a nonlocal version of continuum mechanics theory able to incorporate singularities since it does not take into account spatial partial derivatives. As a consequence, it assumes long-range interactions among material particles and is able to describe the formation and the evolution of fractures. The discretization of such nonlocal model requires the use of raffinate numerical tools for approximating the solutions to the model. Due to the presence of a convolution product in the definition of the nonlocal operator, we propose a spectral collocation method based on the implementation of Fourier and Chebyshev polynomials to discretize the model. The choice can benefit of the FFT algorithm and allow us to deal efficiently with the imposition of non-periodic boundary conditions by a volume penalization technique. We prove the convergence of such methods in the framework of fractional Sobolev space and discuss numerically the stability of the scheme. We also investigate the qualitative aspects of the convolution kernel and of the nonlocality parameters by solving an inverse peridynamic problem by using a Physics-Informed Neural Network activated by suitable Radial Basis functions. Additionally, we propose a virtual element approach to obtain the solution of a nonlocal diffusion problem. The main feature of the proposed technique is that we are able to construct a nonlocal counterpart for the divergence operator in order to obtain a weak formulation of the peridynamic model and exploit the analogies with the known results in the context of Galerkin approximation. We prove the convergence of the proposed method and provide several simulations to validate our results. References: [1] Lopez, L., Pellegrino, S. F. (2021). A spectral method with volume penalization for a nonlinear peridynamic model International Journal for Numerical Methods in Engineering 122(3): 707–725. https://doi.org/10.1002/nme.6555 [2] Lopez, L., Pellegrino, S. F. (2022). A space-time discretization of a nonlinear peridynamic model on a 2D lamina Computers and Mathematics with Applications 116: 161–175. https://doi.org/10.1016/j.camwa.2021.07.0041 [3] Lopez, L., Pellegrino, S. F. (2022). A non-periodic Chebyshev spectral method avoiding penalization techniques for a class of nonlinear peridynamic models International Journal for Numerical Methods in Engineering 123(20): 4859–4876. https://doi.org/10.1002/nme.7058 [4] Difonzo, F. V., Lopez, L., Pellegrino, S. F. (2024). Physics informed neural networks for an inverse problem in peridynamic models Engineering with Computers. https://doi.org/10.1007/s00366-024-01957-5 [5] Difonzo, F. V., Lopez, L., Pellegrino, S. F. (2024). Physics informed neural networks for learning the horizon size in bond-based peridynamic models Computer Methods in Applied Mechanics and Engineering. https://doi.org/10.1016/j.cma.2024.117727

We discuss the strong unique continuation property for linear differential operators of the form sum of squares of vector fields satisfying the Hörmander condition. We provide some negative and some positive results.

I will discuss the existence of a solution to the logarithmic Schrödinger equation in a bounded convex domain, with the property that log u is concave. Since the reaction is sign-changing and non-monotone, the classical techniques to attack the problem fail. We instead rely on a continuity argument for the approximating Lane-Emden problems based on the heuristic argument. We will discuss the optimality of the result, exhibiting for any α > 0 a solution such that u^a is not concave. This is a joint work with M. Squassina and M. Gallo.

We investigate the optimal self-protection problem, from the point of view of an insurance buyer, when the loss process is described by a Cox-shot-noise process and a Hawkes process with an exponential memory kernel. The insurance buyer chooses both the percentage of insured losses and the prevention effort. The latter term refers to actions aimed at reducing the frequency of the claim arrivals. The problem consists in maximizing the expected exponential utility of terminal wealth, in presence of a terminal reimbursement. We show that this problem can be formulated in terms of a suitable backward stochastic differential equation (BSDE), for which we prove existence and uniqueness of the solution. We extend in several directions the results obtained by Bensalem, Santibanez and Kazi-Tani [Finance Stoch. 2023] and compare our results with those presented therein. The talk is based on a joint paper with M. Brachetta, G. Callegaro and C. Sgarra.

Transmission problems describe physical phenomena where the behavior of a system changes across a fixed interface, resulting in different PDEs on each side. These PDEs are coupled through a transmission condition, typically of the Neumann type. In this talk, we will discuss some recent results concerning transmission problems governed by fully nonlinear operators which degenerate near the transmission interface. We obtain Holder differentiability of solutions up to the interface, with optimal exponent, which depends pointwise on the rate of degeneracy. Research activity supported by PRIN 2022 7HX33Z - CUP J53D23003610006, Pattern formation in nonlinear phenomena

The roto-translation group SE(2) has been of active interest in image analysis due to methods that lift the image data to multi-orientation representations defined in this Lie group. This has led to impactful applications of crossing-preserving flows for image de-noising, geodesic tracking, and roto-translation equivariant deep learning. In this talk, I will enumerate a computational framework for optimal transportation over Lie groups, with a special focus on SE(2). I will describe several theoretical aspects such as the non-optimality of group actions as transport maps, invariance and equivariance of optimal transport, and the quality of the entropic-regularized optimal transport plan using geodesic distance approximations. Finally, I will illustrate a Sinkhorn-like algorithm that can be efficiently implemented using fast and accurate distance approximations of the Lie group and GPU-friendly group convolutions. We report advancements with the experiments on 1) 2D shape/ image barycenters, 2) interpolation of planar orientation fields, and 3) Wasserstein gradient flows on SE(2). We observe that our framework of lifting images to SE(2) and optimal transport with left-invariant anisotropic metrics leads to equivariant transport along dominant contours and salient line structures in the image and leads to meaningful interpolations compared to their counterparts on R^2. *Joint work with Daan Bon, Gijs Bellaard, Olga Mula, and Remco Duits from CASA – TU/e. Preprint: https://arxiv.org/abs/2402.15322 (to appear in SIAM Journal in Imaging Sciences 2025)

The classical Plateau problem asks which surface in three-dimensional space spans the least area among all the surfaces with boundary given by an assigned curve S. This problem has many variants and generalizations, along with (partial) answers, and has inspired numerous new ideas and techniques. In this talk, we will briefly introduce the problem in both its classical and modern contexts, and then we will focus on a specific vectorial (planar) type of the Plateau problem. - Given a curve S in the plane, we can ask which diffeomorphism T of the disk D maps the boundary of D to S and spans the least area, computed as the integral of the Jacobian of T, among competitors with the same boundary condition. For simply connected curves, the answer is provided by the Riemann map, and the minimal area achieved is the Lebesgue measure of the region enclosed by S. For more complex curves, possibly self-intersecting, new analysis is required. I will present a recent result in this sense, obtained in collaboration with Prof. Riccardo Scala from the University of Siena, where the value of the minimum area is computed with an explicit formula that depends on the topology of S.

Given a (nice) group G, we are interested in how fast the length of a group element can grow when we apply powers of a given outer automorphism of G. If the group G is free or the fundamental group of a closed surface, classical train-track techniques give a complete and precise picture. This can be extended to automorphisms of all negatively curved (a.k.a. Gromov hyperbolic) groups G, using Rips-Sela theory and the canonical JSJ decomposition. Very little seems to be known beyond this setting. We study this problem for a broad class of non-positively curved groups: "special" groups in the Haglund-Wise sense. In this setting, we prove that: (1) the top exponential growth rate of any automorphism is an algebraic integer; (2) if the automorphism is untwisted, then it admits only finitely many growth rates, and each of these is polynomial-times-exponential.

Accurately estimating landslides’ failure surface depth is essential for hazard prediction. However, most of the classical methods rely on overly simplistic assumptions [1]. In this work, we will present the landslide thickness estimation problem as an inverse problem Aw = b, obtained from discretization of the thickness equation [2]: ∂(hf vx)/∂x + ∂(hf vy)/∂y = − ∂ζ/∂t , (1) where the forward operator A contains information on the surface velocity (v_x, v_y), the right-hand side b corresponds to the surface elevation change ∂ζ/∂t, and w is the thickness hf . By employing a regularization approach, the inverse problem is reformulated as an optimization problem. In real-world scenarios, often no information on neither the noise type nor the noise level affecting data is available. In this context, the correct choice of the regularization parameter becomes a pressing issue. We propose a method to determine this parameter in a fully automatic way for the thickness inversion problem. Results obtained on both synthetic data generated by landslide simulation software and data measured from real-world landslides will be shown. [1] Jaboyedoff M., Carrea D., Derron M.H., Oppikofer T., Penna I.M., Rudaz B. (2020): A review of methods used to estimate initial landslide failure surface depths and volumes. Engineering Geology, 267, 105478 [2] Booth A. M. ; Lamb M. P. ; Avouac J.P. ; Delacourt C. (2013): Landslide velocity, thickness, and rheology from remote sensing: La Clapière landslide, France. Geophysical Research Letters, Vol. 40, 4299 - 4304.

The simplicial volume is a homotopy invariant of manifolds; this talk is about the simplicial volume of a Davis' manifolds, obtained from the so-called reflection group trick, which is a powerful method for constructing aspherical manifolds. I will describe an approach based on the study of triangulations of spheres and simplicial maps between them. This approach also presents connections with the theory of graph minors. No knowledge about simplicial volume or Davis' reflection group trick is expected from the audience.

In this talk we present an explicit area formula to compute the spherical Hausdorff measure of an intrinsic regular graph in an arbitrary homogeneous group. We assume the intrinsic graph to be intrinsically differentiable at any point with continuous intrinsic differential. The key aspect of the result lies in the introduction of a suitable notion of intrinsic Jacobian and in the computation of an explicit expression for this object. Eventually, we present recent results about the symmetries of some homogeneous distances for which the area formula takes a simplified expression. This is a joint work with V. Magnani (Unipi). Attività di ricerca supportata dal progetto INDAM-GNAMPA-2024: "Free boundary problems in noncommutative structures and degenerate operators" CUP E53C23001670001

We introduce the concept of Ramsey pairs, and show how they can be prove several infinitary results in combinatorics.

Group operations on a fixed countably infinite universe form a Polish space G. Thus we can view group properties as isomorphism-invariant subsets of G, and it makes sense to ask: what properties are generic (in the sense of Baire category)? In my talk, I will address this question and if time permits, I may also say a few words about generic properties of compact groups.

Inspired by a recent characterisation of coherent topoi as a class of Kan injectives, we provide a tentative definition of fragment of geometric logic. We treat them as mathematical objects, and study them from the point of view of Lindstrom-type theorems.

In this seminar, I will talk about Objective Function Free Optimization (OFFO) in the context of pruning the parameter of a given model. OFFO algorithms are methods where the objective function is never computed; instead, they rely only on derivative information, thus on the gradient in the first-order case. I will give an overview of the main OFFO methods, focusing on adaptive algorithms such as Adagrad, Adam, RMSprop, ADADELTA, which are gradient methods that share the common characteristic of depending only on current and past gradient information to adaptively determine the step size at each iteration. Next, I will briefly discuss the most popular pruning approaches. As the name implies, pruning a model, typically a neural networks, refers to the process of reducing its size and complexity, typically by removing certain parameters that are considered unnecessary for its performance. Pruning emerges as an alternative compression technique for neural networks to matrix and tensor factorization or quantization. Mainly, I will focus on pruning-aware methods that uses specific rules to classify parameters as relevant or irrelevant at each iteration, enhancing convergence to a solution of the problem at hand, which is robust to pruning irrelevant parameters after training.Finally, I will introduce a novel deterministic algorithm which is both adaptive and pruning-aware, based on a modification Adagrad scheme that converges to a solution robust to pruning with complexity of $\log(k) \backslash k$. I will illustrate some preliminary results on different applications.