Date/Time : 13 Feb 2025 16:00
Venue : S17 #05-11 (SR5)
Speaker : Xiong Yunfeng, Beijing Normal University

Human behaviors have non-negligible impacts on spread of contagious disease. For instance, large-scale gathering and high mobility of population could lead to accelerated disease transmission, while public behavioral changes in response to pandemics may effectively reduce contacts and suppress the peak of the outbreak. In order to understand how spatial characteristics like population mobility and clustering interplay with epidemic outbreaks, we formulate an interacting particle system via an agent-based biased random walk model on a two-dimensional lattice. The “popularity” and “awareness” variables are taken into consideration to capture human natural and preventive behavioral factors, which are assumed to guide and bias agent movement in a combined way. Numerical study of the particle system and its continuum limit, a class of Keller-Segel PDEs with logarithm sensitivity, reveals that the spatial heterogeneity, like social influence locality and spatial clustering induced by self-aggregation, potentially suppresses the contacts between agents and consequently flats the epidemic curve. Surprisedly, disease responses might not necessarily reduce the susceptibility of informed individuals and even aggravate disease outbreak if each individual responds independently upon their awareness. The disease control is achieved effectively only if there are coordinated public-health interventions and public compliance to these measures. Our model may help evaluate a variety of public-health policies.

Add to calendar :

Date/Time : 12 Feb 2025 16:00
Venue : S17 #04-04 (SR3)
Speaker : Fukushi Kenji, Kyoto University

The extension of Morse theory to S^1 valued Morse functions, more generally, closed 1-form is called Morse-Novikov theory. Morse-Novikov theory gives a new invariants of manifolds, the Novikov homology. As in Morse homology, the essence is the trajectory of the gradient flow connecting the critical points.

Based on this, Michael Farber extended Lusternik-Schnirelmann category to closed 1-form.

Unlike the ordinary result of Lusternik-Schnirelmann category about the number of critical points of functions, this extended category no longer gives the lower bound of the number of zeros of closed 1-forms. However, if the number of zeros of closed 1-form is less than this category, the dynamics of the gradient flow of the closed 1-form must have a Homoclinic cycle.

In this talk, I will explain the Lusternik-Schnirelmann category of closed 1-form, and I will introduce the extension of the Farber’s result to non compact manifolds.

Add to calendar :

Date/Time : 12 Feb 2025 15:00
Venue : S17 #04-04 (SR3)
Speaker : Ni Lei, University of California, San Diego

In this talk, I will review some applications of Lie theory in geometry such as Cartan’s work on symmetric spaces, Hamilton’s observation and Boehm-Wilking’s constructions utilizing Lie brackets and some highly useful considerations from Lie theory. Then I will talk about some more recent applications in my joint/solo works.

Add to calendar :

Date/Time : 12 Feb 2025 10:00
Venue : S17 #05-11 (SR5)
Speaker : Ma Jiajun, Xiamen University and Xiamen University Malaysia

This mini-course explores the fundamental aspects of local theta correspondence. The series consists of 5 lectures covering the following topics:

1. Models of the Heisenberg-Weil representation and the Metaplectic group
2. Dual pairs and general properties of theta correspondences
3. Theta correspondences over real fields
4. Theta correspondences over finite fields and p-adic fields
5. Geometric aspects of theta correspondence

This mini-course is designed for senior undergraduate students and graduate students.

This mini-course will live stream. Here is the zoom ID:
Meeting ID: 848 8485 0855
Passcode: 226224

Add to calendar :

Date/Time : 12 Feb 2025 16:30
Venue : S17 #06-11 (SR6)
Speaker : Cai Yongyong, Beijing Normal University

We introduce two conservative Crank-Nicolson type finite difference schemes and a Chebyshev collocation scheme for the nonlinear Schrodinger equation with a Dirac delta potential in 1D. The key to the proposed methods is to transform the original problem into an interface problem. Different treatments on the interface conditions lead to different discrete schemes and it turns out that a simple discrete approximation of the Dirac potential coincides with one of the conservative finite difference schemes. Both Crank-Nicolson finite difference methods enjoy the second order convergence rate in time, and the first-order/second-order convergence rates in space, depending on the approximation of the interface condition. Furthermore, the Chebyshev collocation method has been established by the domain-decomposition techniques. Numerical examples are provided to support our analysis and study the orbital stability and the motion of the solitary solutions.

Add to calendar :

Date/Time : 11 Feb 2025 14:00
Venue : S17 #05-11 (SR5)
Speaker : Christian Johansson, University of Gothenburg

I will discussion joint work with James Newton and Carl Wang-Erickson, where we give an interpretation of the p-adic local Langlands correspondence for GL(2,Qp) as an embedding of the derived category of locally admissible representation into the category of ind-coherent sheaves on the moduli stack of Galois representations. Time permitting, I will also discuss local-global formulas.

Add to calendar :

Date/Time : 11 Feb 2025 16:00
Venue : S17 #05-11 (SR5)
Speaker : Travis Scrimshaw, Hokkaido University

Key polynomials originally arose as characters of natural representations of upper triangular matrices coming from Schubert calculus. They have many algebraic properties similar to Schur functions, such as a Cauchy-type formula and form a basis for the polynomial ring. For this talk, we consider them to be special polynomials that are defined recursively by divided difference operators. We recall the Bump-Brubaker-Buciumas-Gustafsson construction using colored solvable lattice models to transform this into a combinatorial interpretation using semistandard tableaux. Using Kashiwara’s theory of crystal base, we recall another way to interpret the tableaux. We will conclude the talk with some recent generalizations of these constructions and open questions. This is based on joint work with Valentin Buciumas and Katherine Weber and with Eric Marberg.

Add to calendar :

Date/Time : 10 Feb 2025 16:00
Venue : S16 #03-06
Speaker : Zhang Lei, Shanghai Jiao Tong University

Quantum computing has garnered considerable interest in the past few years owing to its potential to offer up to exponential acceleration compared to classical computational methods. In this talk, I will first introduce the Schrödingerisation method by Jin, Liu and Yu [1], followed by its concrete quantum circuit implementation [2], with examples of heat equation and Maxwell equation [3]. I will further demonstrate applications to linear multiscale PDEs [4] and multiscale Hamilton-Jacobi equations [5].

1. Shi Jin, Nana Liu and Yue Yu, Quantum Simulation of Partial Differential Equations via Schrödingerization,Phys. Rev. Lett. 133, 230602, 2024.
2. Junpeng Hu, Shi Jin, Nana Liu, Lei Zhang, Quantum Circuits for partial differential equations via Schrödingerisation, Quantum, 8, 1563, 2024.
3. Chuwen Ma, Shi Jin, Nana Liu, Kezhen Wang, Lei Zhang, Schrödingerization based Quantum Circuits for Maxwell’s Equation with time-dependent source terms, arXiv:2411.10999, 2024.
4. Junpeng Hu, Shi Jin, Lei Zhang, Quantum algorithms for multiscale partial differential equations, (SIAM) Multiscale Model. Simulation, 22(3), 1030-1067, 2024.
5. Kezhen Wang, Lei Zhang, Quantum Algorithms for Multiscale Hamilton-Jacobi Equation, preprint.

Add to calendar :

Date/Time : 07 Feb 2025 11:00
Venue : S17 #04-04 (SR3)
Speaker : Wang Yutong, National University of Singapore

In the first course, we will briefly introduce Lean 4 and verifiable mathematics, then go through together some general usages of LLM assistants to speed up mathematics research, including techniques like in-context-learning and function calling. Then we will use examples to demonstrate how these techniques, combined with expert knowledge and symbolic tools, can contribute to both formal and informal mathematics. Specifically, we will try together some recent tools in Lean 4, to effectively drive formal proof-writing in subsequent courses.
This mini-course is designed for general audiences without a background in LEAN.

This mini-course will live stream. Here are the zoom ID and the link:
https://nus-sg.zoom.us/j/81322620719?pwd=Wg8FVTZbfX4QpZ7vbiYwaBN3n1MO7A.1

Meeting ID: 813 2262 0719
Passcode: 359631

Add to calendar :