Text only print
Full screen print
Future seminars
Seminar information archive ～02/24｜Today's seminar 02/25 | Future seminars 02/26～
2026/03/10
Operator Algebra Seminars
16:45-18:15 Room #126 (Graduate School of Math. Sci. Bldg.)
Yuki Miyamoto (Chiba University)
Group von Neumann algebras of non-unimodular almost unimodular groups and their twisted versions
[ Reference URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
Yuki Miyamoto (Chiba University)
Group von Neumann algebras of non-unimodular almost unimodular groups and their twisted versions
[ Reference URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
Operator Algebra Seminars
15:00-16:30 Room #126 (Graduate School of Math. Sci. Bldg.)
Kai Toyosawa (Universität Münster)
Relative biexactness of amalgamated free product von Neumann algebras
[ Reference URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
Kai Toyosawa (Universität Münster)
Relative biexactness of amalgamated free product von Neumann algebras
[ Reference URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
2026/03/18
FJ-LMI Seminar
13:30-14:15 Room #056 (Graduate School of Math. Sci. Bldg.)
Amaury HAYAT (ENPC, Paris)
Stabilization of PDEs and AI for mathematics (英語)
https://fj-lmi.cnrs.fr/seminars/
Amaury HAYAT (ENPC, Paris)
Stabilization of PDEs and AI for mathematics (英語)
[ Abstract ]
Control theory consists in asking: if we can act on a system, what can we make it do? One of the main problems is the stabilization problem: how can we act on a system to guarantee the long-term behavior of its solutions? In this presentation, we will examine this problem from several angles. First, we will look at the problem of stabilizing PDEs from an abstract perspective and present a recent approach called F-equivalence (or sometimes Fredholm backstepping). The principle is simple: instead of trying to find a control that makes the system stable, we look at another problem: we try find a control that renders the PDE system dynamically equivalent to a simpler system for which stability is already known. Besides being interesting in itself, this approach has also resulted in new results in control theory, and we will review the progress that has been made in the last three years. In a second part, we will focus on a more concrete problem: the stabilization of hyperbolic equations modeling road traffic. We will show how abstract mathematical concepts, such as entropic solutions, can have tangible impacts in real-world scenarios, and we will discuss their application to traffic regulation and the reduction of traffic jams.
[ Reference URL ]Control theory consists in asking: if we can act on a system, what can we make it do? One of the main problems is the stabilization problem: how can we act on a system to guarantee the long-term behavior of its solutions? In this presentation, we will examine this problem from several angles. First, we will look at the problem of stabilizing PDEs from an abstract perspective and present a recent approach called F-equivalence (or sometimes Fredholm backstepping). The principle is simple: instead of trying to find a control that makes the system stable, we look at another problem: we try find a control that renders the PDE system dynamically equivalent to a simpler system for which stability is already known. Besides being interesting in itself, this approach has also resulted in new results in control theory, and we will review the progress that has been made in the last three years. In a second part, we will focus on a more concrete problem: the stabilization of hyperbolic equations modeling road traffic. We will show how abstract mathematical concepts, such as entropic solutions, can have tangible impacts in real-world scenarios, and we will discuss their application to traffic regulation and the reduction of traffic jams.
https://fj-lmi.cnrs.fr/seminars/
2026/03/19
FJ-LMI Seminar
13:30-14:15 Room #056 (Graduate School of Math. Sci. Bldg.)
Amaury HAYAT (ENPC, Paris)
How can AI Help Mathematicians? (英語)
https://fj-lmi.cnrs.fr/seminars/
Amaury HAYAT (ENPC, Paris)
How can AI Help Mathematicians? (英語)
[ Abstract ]
The advent of artificial intelligence raises an important question: can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions from different areas of mathematics and applied mathematics. We will also present recent works on AI models specifically designed for automated theorem proving.
[ Reference URL ]The advent of artificial intelligence raises an important question: can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions from different areas of mathematics and applied mathematics. We will also present recent works on AI models specifically designed for automated theorem proving.
https://fj-lmi.cnrs.fr/seminars/
2026/04/10
Geometric Analysis Seminar
16:00-17:00 Room # (Graduate School of Math. Sci. Bldg.)
Shinichiroh Matsuo (Nagoya University)
Discretization of Dirac operators and lattice gauge theory (日本語)
https://sites.google.com/g.ecc.u-tokyo.ac.jp/geometricanalysisseminar/
Shinichiroh Matsuo (Nagoya University)
Discretization of Dirac operators and lattice gauge theory (日本語)
[ Abstract ]
Our ultimate goal is to discretize Seiberg-Witten theory.
Considering PL = DIFF in dimension four, we would like to construct something like PL Seiberg-Witten theory.
As a first step towards this goal, we study the discretization of the analytic index of Dirac operators.
However, the analytic index of Fredholm operators is an essentially infinite-dimensional phenomenon, while the index theory of finite-dimensional self-adjoint operators is trivial.
Thus, a naive discretization of Dirac operators does not work.
In this talk, I will explain how the “Wilson-Dirac operator” from lattice gauge theory provides a correct discretization, at least from the viewpoint of the analytic index.
This talk is based on a joint work with Shoto Aoki, Hidenori Fukaya, Mikio Furuta, Tetsuya Oonogi, and Satoshi Yamaguchi.
https://arxiv.org/abs/2602.12576
https://arxiv.org/abs/2407.17708
[ Reference URL ]Our ultimate goal is to discretize Seiberg-Witten theory.
Considering PL = DIFF in dimension four, we would like to construct something like PL Seiberg-Witten theory.
As a first step towards this goal, we study the discretization of the analytic index of Dirac operators.
However, the analytic index of Fredholm operators is an essentially infinite-dimensional phenomenon, while the index theory of finite-dimensional self-adjoint operators is trivial.
Thus, a naive discretization of Dirac operators does not work.
In this talk, I will explain how the “Wilson-Dirac operator” from lattice gauge theory provides a correct discretization, at least from the viewpoint of the analytic index.
This talk is based on a joint work with Shoto Aoki, Hidenori Fukaya, Mikio Furuta, Tetsuya Oonogi, and Satoshi Yamaguchi.
https://arxiv.org/abs/2602.12576
https://arxiv.org/abs/2407.17708
https://sites.google.com/g.ecc.u-tokyo.ac.jp/geometricanalysisseminar/
