Date/Time : 07 Feb 2024 14:00
Venue : S17 #06-11 (SR6)
Speaker : Marco Badran, ETH Zurich

Given a closed manifold $N$ and a compact, non-degenerate minimal submanifold $M$ of codimension 2 we construct a collection of solutions $U_\varepsilon$ to the magnetic Ginzburg-Landau equations such that $U_\varepsilon$ concentrates around $M$ as $\varepsilon\to 0$, establishing a codimension two analogous of the celebrated result by Pacard and Ritoré in the Allen-Cahn setting. The construction is carried out via an asymptotic gluing technique, yielding precise asymptotic expansion of the concentration profile.

Add to calendar :

Date/Time : 07 Feb 2024 16:00
Venue : S17 #05-11 (SR5)
Speaker : Didac Martinez-Granado, University of Luxembourg and National University of Singapore

We define a notion of hyperplane for a hyperbolic group G and study G-invariant measures on the space of hyperplanes of its Gromov boundary, which we call “co-geodesic currents´´. Co-geodesic currents are induced by many classical objects such as geodesic currents for surface groups, certain cocompact actions of hyperbolic groups on CAT(0) cube complexes, quasi-fuchsian representations on a surface group, etc. Moreover, there is a natural intersection pairing between co-geodesic currents and the more classical geodesic currents, introduced by Bonahon, i.e. G-invariant measures on the square of the boundary of G. This pairing generalizes Bonahon’s intersection number when G is a surface group. Furthermore, every co-geodesic current \mu induces natural dual pseudo-metric space, in the sense that the intersection of \mu with the current determined by the conjugacy class of an element g in G recovers the stable length of g in the pseudo-metric space. This is joint work in progress with Eduardo Reyes.

Add to calendar :

Date/Time : 07 Feb 2024 17:00
Venue : S17 #04-05 (SR2)
Speaker : Alexander Rabinovich, Tel Aviv University

Church’s Problem asks for the construction of a procedure which, given a logical specification S(I,O) between input-strings I and output-strings O, determines whether there exists an operator F that implements the specification in the sense that S(I,F(I)) holds for all inputs I. Buechi and Landweber gave a procedure to solve Church’s problem for MSO specifications and operators computable by finite-state automata. We investigate a generalization of the Church synthesis problem to the continuous time of the non-negative reals. It turns out that in the continuous time there are phenomena which are very different from the canonical discrete time domain of the natural numbers.

Add to calendar :

Date/Time : 06 Feb 2024 15:00
Venue : S17 #04-05 (SR2)
Speaker : Dong Bin, Peking University

This presentation delves into the recent advancements in applying artificial intelligence (AI) to mathematical exploration. Initially, we will outline the current state of integrating AI methodologies, including machine learning, deep learning, and neural networks, into mathematical research, thereby fostering enhanced approaches and innovative concepts. Subsequently, we will highlight some preliminary results from ongoing research in this intersecting domain. Concluding the discussion, we will anticipate the future trajectory of research at the intersection of AI and mathematics, focusing on the potential of AI techniques to tackle new challenges and uncover novel problems in mathematical studies.

Add to calendar :

Date/Time : 06 Feb 2024 10:00
Venue : S17 #04-06 (SR1)
Speaker : Ian Gleason, Universitat Bonn

The local Langlands correspondence, proposed by Langlands as the non-abelian analogue of local class field theory for non-Archimedean local fields, has been established for various reductive groups over the years. However, a construction in full generality was lacking until the recent proposal by Fargues and Scholze, who introduced semi-simplified Langlands parameters for every reductive group. Their construction employs Scholze’s theory of diamonds, a modern approach to p-adic analytic geometry. This talk begins by revisiting historical developments in number theory that led to the formulation of the local Langlands correspondence. Subsequently, we explore the relevance of p-adic analytic geometry to the study of the local Langlands program and the impact these innovative methods have on our comprehension of the local Langlands correspondence.

Add to calendar :

Date/Time : 05 Feb 2024 15:00
Venue : S17 #04-06 (SR1)
Speaker : Xiaoping Wang, The Chinese University of Hong Kong, Shenzhen

Topology optimization, which aims to find the optimal physical structure that maximizes mechanical performance,is vital in engineering design applications in aerospace, mechanical, and civil engineering. We introduce a deep generative model, based on diffusion models, to address the structure optimization problem. Combine with the threshold dynamics method, we present a successful frame for the topology optimization.

Add to calendar :

Date/Time : 02 Feb 2024 16:00
Venue : S17 #04-06 (SR1)
Speaker : Dianbo Liu, National University of Singapore

Our team at National university of Singapore utilizes newest discovery from cognitive sciences especially consciousness related knowledge to inspire next generation of machine learning and apply the methods to understand biomedical sciences. In this talk we focus on using method inspired by compositional thoughts in human brain to discover causal relationships within Gene Regulatory Networks (GRNs). Causal discovery in GRNs is a challenging problem for multiple reasons including the existence of cyclic feedback loops and uncertainty that yields diverse possible causal structures. Previous works in this area either ignore cyclic dynamics (assume acyclic structure) or struggle with scalability. We introduce Swift-DynGFN as a novel framework that enhances causal structure learning in GRNs while addressing scalability concerns. Specifically, Swift-DynGFN exploits gene-wise independence to boost parallelization and to lower computational cost. Experiments on real single-cell RNA velocity and synthetic GRN datasets showcase the advancement in learning causal structure in GRNs and scalability in larger systems.

Add to calendar :

Date/Time : 01 Feb 2024 16:00
Venue : S17 #05-12 (SR4)
Speaker : Jeff York Ye, National University of Singapore

The decomposition of tensor products of finite-dimensional irreducible representations of simple Lie groups is a long-studied problem. I will discuss some known results describing the multiplicity using canonical bases for quantum groups and tropicalization. Then I will discuss the related saturation conjecture, which is proved in type A by Knutson and Tao and open for general types.

Add to calendar :

Date/Time : 01 Feb 2024 15:00
Venue : S17 #04-06 (SR1)
Speaker : Zhang Jiacheng, University of California, Berkeley

In this talk, we are going to talk about recent development on Stackelberg equilibrium and Mean Field Game. Stackelberg game has attracted recent interest modeling an asymmetric, general sum game between leaders and followers.

Firstly, we consider a discrete-time Stackelberg mean field game (SMFG) with one leader and an infinite number of homogeneous followers via optimization lense.We focus on a robust setting where the followers have bounded rationality and only aim at achieving some ε-Nash equilibrium (NE) while the leader wants to maximize her objective in the worst case scenario among all ε-NEs. We study the sensitivity analysis when the leader only has access to some perturbed model. We show that the value function is unstable with respect to the perturbation of the model and the leader needs to be more pessimistic and solve a relaxed problem to obtain a near optimal solution. The analysis is done by formulating this SMFG problem into an explicit minimax optimization problem and studying the sensitivity property using the optimization framework.

Second, we investigate the existence of an optimal policy to monitor a mean field system of agents managing a risky project under moral hazard with accidents modeled by L ́evy processes magnified by the law of the project. We provide a general method to find both a mean field equilibrium for the agents and the optimal compensation policy under general, sufficient and necessary assumptions on all the parameters. We formalize the problem as a bilevel optimization with the probabilistic version of a mean field game which can be reduced to a controlled McKean-Vlasov SDE with jumps. We apply our results to an optimal energy demand-response problem with a crowd of consumers subjected to power cut/shortage when the variability of the energy consumption is too high under endogenous or exogenous strains. In this example, we get an explicit solution to the mean field game and to the McKean-Vlasov equation with jumps.

Add to calendar :