## Seminar information archive

Seminar information archive ～10/14｜Today's seminar 10/15 | Future seminars 10/16～

### 2019/10/10

#### Information Mathematics Seminar

16:50-18:35 Room #122 (Graduate School of Math. Sci. Bldg.)

Post-Quantum Cryptography from Isogenies (Japanese)

**Katsuyuki Takashima**(Mitsubishi Electric Co./Kyushu Univ.)Post-Quantum Cryptography from Isogenies (Japanese)

[ Abstract ]

Explanation of the isogeny-based post-quantum cryptography

Explanation of the isogeny-based post-quantum cryptography

#### FMSP Lectures

13:00-15:05 Room #002 (Graduate School of Math. Sci. Bldg.)

Topic on minimal submanifolds (3/6) (ENGLISH)

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Tsai.pdf

**Chung-jun Tsai**(National Taiwan University)Topic on minimal submanifolds (3/6) (ENGLISH)

[ Abstract ]

The main theme of these lectures will be theory about minimal submanifolds, which are higher dimensional generalizations of geodesics. A naive motivation is that one tries to understand the geometry from its special submanifolds (minimal, etc.).

For minimal submanifolds, the equations are no longer ODEs, but elliptic PDEs. This increases the difficulties. The study are very good examples for the application of methods from PDEs and calculus of variations. We will try to explain some important results in this theory, which stimulate many of the researches today.

Here are some specific materials we plan to cover: Simon’s work based on the second variational formula, Sacks - Uhlenback theorem on the existence of minimal 2-spheres, the theory of stable minimal hypersurfaces by Schoen-Simon-Yau.

[ Reference URL ]The main theme of these lectures will be theory about minimal submanifolds, which are higher dimensional generalizations of geodesics. A naive motivation is that one tries to understand the geometry from its special submanifolds (minimal, etc.).

For minimal submanifolds, the equations are no longer ODEs, but elliptic PDEs. This increases the difficulties. The study are very good examples for the application of methods from PDEs and calculus of variations. We will try to explain some important results in this theory, which stimulate many of the researches today.

Here are some specific materials we plan to cover: Simon’s work based on the second variational formula, Sacks - Uhlenback theorem on the existence of minimal 2-spheres, the theory of stable minimal hypersurfaces by Schoen-Simon-Yau.

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Tsai.pdf

#### Discrete mathematical modelling seminar

17:00-18:00 Room #056 (Graduate School of Math. Sci. Bldg.)

Universal parabolic regularization of gradient catastrophes for the Burgers-Hopf equation and singularities of the plane into plane mappings of parabolic type (English)

**Boris Konopelchenko**(INFN, sezione di Lecce, Lecce, Italy)Universal parabolic regularization of gradient catastrophes for the Burgers-Hopf equation and singularities of the plane into plane mappings of parabolic type (English)

[ Abstract ]

Two intimately connected topics, namely, regularization of gradient catastrophes of all orders for the Burgers-Hopf equation via the Jordan chain and the singularities of the plane into plane mappings

associated with two-component hydrodynamic type systems of parabolic type are discussed.

It is shown that the regularization of all gradient catastrophes (generic and higher orders) for the Burgers-Hopf equation is achieved by the step by step embedding of the Burgers-Hopf equation into multi-component parabolic systems of quasilinear PDEs with the most degenerate Jordan blocks. Infinite parabolic Jordan chain provides us with the complete regularization. This chain contains Burgers and KdV equations as particular reductions.

It is demonstrated that the singularities of the plane into planes mappings associated with the two-component system of quasilinear PDEs of parabolic type are quite different from those in hyperbolic and elliptic cases. Impediments arising in the application of the original Whitney's approach to such case are discussed. It is shown that flex is the lowest singularity while higher singularities are given by ( k+1,k+2) curves which are of cusp type for k=2n+1, n=1,2,...,. Regularization of these singularities is discussed.

Presentation is based on two publications:

1. B. Konopelchenko and G. Ortenzi, Parabolic regularization of the gradient catastrophes for the Burgers-Hopf equation and Jordan chain, J. Phys. A: Math. Theor., 51 (2018) 275201.

2. B.G. Konopelchenko and G. Ortenzi, On the plane into plane mappings of hydrodynamic type. Parabolic case. Rev. Math. Phys.,32 (2020) 2020006. Online access. arXiv:1904.00901.

Two intimately connected topics, namely, regularization of gradient catastrophes of all orders for the Burgers-Hopf equation via the Jordan chain and the singularities of the plane into plane mappings

associated with two-component hydrodynamic type systems of parabolic type are discussed.

It is shown that the regularization of all gradient catastrophes (generic and higher orders) for the Burgers-Hopf equation is achieved by the step by step embedding of the Burgers-Hopf equation into multi-component parabolic systems of quasilinear PDEs with the most degenerate Jordan blocks. Infinite parabolic Jordan chain provides us with the complete regularization. This chain contains Burgers and KdV equations as particular reductions.

It is demonstrated that the singularities of the plane into planes mappings associated with the two-component system of quasilinear PDEs of parabolic type are quite different from those in hyperbolic and elliptic cases. Impediments arising in the application of the original Whitney's approach to such case are discussed. It is shown that flex is the lowest singularity while higher singularities are given by ( k+1,k+2) curves which are of cusp type for k=2n+1, n=1,2,...,. Regularization of these singularities is discussed.

Presentation is based on two publications:

1. B. Konopelchenko and G. Ortenzi, Parabolic regularization of the gradient catastrophes for the Burgers-Hopf equation and Jordan chain, J. Phys. A: Math. Theor., 51 (2018) 275201.

2. B.G. Konopelchenko and G. Ortenzi, On the plane into plane mappings of hydrodynamic type. Parabolic case. Rev. Math. Phys.,32 (2020) 2020006. Online access. arXiv:1904.00901.

### 2019/10/09

#### Operator Algebra Seminars

16:45-18:15 Room #126 (Graduate School of Math. Sci. Bldg.)

Relative K-homology group of $C^*$-algebras and almost flat vector bundle on manifolds with boundary

**Yosuke Kubota**(Riken)Relative K-homology group of $C^*$-algebras and almost flat vector bundle on manifolds with boundary

#### Number Theory Seminar

17:00-18:00 Room #056 (Graduate School of Math. Sci. Bldg.)

Twisted doubling integrals for classical groups (ENGLISH)

**Yuanqing Cai**(Kyoto University)Twisted doubling integrals for classical groups (ENGLISH)

[ Abstract ]

In the 1980s, Piatetski-Shapiro and Rallis discovered a family of Rankin-Selberg integrals for the classical groups that did not rely on Whittaker models. This is the so-called doubling method. It grew out of Rallis' work on the inner products of theta lifts -- the Rallis inner product formula.

In this talk, we present a family of Rankin-Selberg integrals (the twisted doubling method, in joint work with Friedberg, Ginzburg, and Kaplan) for the tensor product L-function of a pair of automorphic cuspidal representations, one of a classical group, the other of a general linear group. This can be viewed as a generalization of the doubling integrals of Piatetski-Shapiro and Rallis. Time permitting, we will discuss the twisted doubling integrals for Brylinski-Deligne covers of classical groups.

In the 1980s, Piatetski-Shapiro and Rallis discovered a family of Rankin-Selberg integrals for the classical groups that did not rely on Whittaker models. This is the so-called doubling method. It grew out of Rallis' work on the inner products of theta lifts -- the Rallis inner product formula.

In this talk, we present a family of Rankin-Selberg integrals (the twisted doubling method, in joint work with Friedberg, Ginzburg, and Kaplan) for the tensor product L-function of a pair of automorphic cuspidal representations, one of a classical group, the other of a general linear group. This can be viewed as a generalization of the doubling integrals of Piatetski-Shapiro and Rallis. Time permitting, we will discuss the twisted doubling integrals for Brylinski-Deligne covers of classical groups.

### 2019/10/08

#### Tuesday Seminar on Topology

17:30-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

How can we generalize hyperbolic dynamics to group actions? (JAPANESE)

**Masaki Tsukamoto**(Kyushu University)How can we generalize hyperbolic dynamics to group actions? (JAPANESE)

[ Abstract ]

Hyperbolicity is one of the most fundamental concepts in the study of dynamical systems. It provides rich (expansive and positive entropy) and yet controllable (stable and having some nice measures) dynamical systems. Then, can we generalize this to group actions?

A naive approach seems difficult. For example, suppose $Z^2$ smoothly acts on a finite dimensional compact manifold. Then it is easy to see that its entropy is zero. In other words, there is no rich $Z^2$-actions in the ordinary finite dimensional world. So we must go to infinite dimension. But what kind structure can we expect in the infinite dimensional world?

The purpose of this talk is to explain that mean dimension seems to play an important role in such a research direction. In particular, we explain the following principle :

If $Z^k$ acts on a space $X$ with some hyperbolicity, then we can control the mean dimension of the sub-action of any rank $(k-1)$ subgroup $G$ of $Z^k$.

This talk is based on the joint works with Tom Meyerovitch and Mao Shinoda.

Hyperbolicity is one of the most fundamental concepts in the study of dynamical systems. It provides rich (expansive and positive entropy) and yet controllable (stable and having some nice measures) dynamical systems. Then, can we generalize this to group actions?

A naive approach seems difficult. For example, suppose $Z^2$ smoothly acts on a finite dimensional compact manifold. Then it is easy to see that its entropy is zero. In other words, there is no rich $Z^2$-actions in the ordinary finite dimensional world. So we must go to infinite dimension. But what kind structure can we expect in the infinite dimensional world?

The purpose of this talk is to explain that mean dimension seems to play an important role in such a research direction. In particular, we explain the following principle :

If $Z^k$ acts on a space $X$ with some hyperbolicity, then we can control the mean dimension of the sub-action of any rank $(k-1)$ subgroup $G$ of $Z^k$.

This talk is based on the joint works with Tom Meyerovitch and Mao Shinoda.

### 2019/10/07

#### Seminar on Geometric Complex Analysis

10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)

Cohomology of vector bundles and non-pluriharmonic loci (Japanese)

**Yusaku Chiba**(Ochanomizu Univ.)Cohomology of vector bundles and non-pluriharmonic loci (Japanese)

[ Abstract ]

We study cohomology groups of vector bundles on neighborhoods of a non-pluriharmonic locus in Stein manifolds and in projective manifolds. By using our results, we show variants of the Lefschetz hyperplane theorem. We especially study the examples of non-pluriharmonic loci in smooth toric varieties. I would like to explain the relation of non-pluriharmonic loci and polytopes.

We study cohomology groups of vector bundles on neighborhoods of a non-pluriharmonic locus in Stein manifolds and in projective manifolds. By using our results, we show variants of the Lefschetz hyperplane theorem. We especially study the examples of non-pluriharmonic loci in smooth toric varieties. I would like to explain the relation of non-pluriharmonic loci and polytopes.

### 2019/10/04

#### Discrete mathematical modelling seminar

17:30-18:30 Room #118 (Graduate School of Math. Sci. Bldg.)

Recurrence coefficients for discrete orthogonal polynomials with hypergeometric weight and discrete Painlevé equations (English)

**Anton Dzhamay**(University of Northern Colorado)Recurrence coefficients for discrete orthogonal polynomials with hypergeometric weight and discrete Painlevé equations (English)

[ Abstract ]

Over the last decade it became clear that the role of discrete Painlevé equations in applications has been steadily growing. Thus, the question of recognizing a certain non-autonomous recurrence as a discrete Painlevé equation and understanding its position in Sakai’s classification scheme, recognizing whether it is equivalent to some known (model) example, and especially finding an explicit change of coordinates transforming it to such example, becomes one of the central ones. Fortunately, Sakai’s geometric theory provides an almost algorithmic procedure of answering this question.

In this work we illustrate this procedure by studying an example coming from the theory of discrete orthogonal polynomials. There are many connections between orthogonal polynomials and Painlevé equations, both differential and discrete. In particular, often the coefficients of three-term recurrence relations for orthogonal polynomials can be expressed in terms of solutions of some discrete Painlevé equation. In this work we study orthogonal polynomials with general hypergeometric weight and show that their recurrence coefficients satisfy, after some change of variables, the standard discrete Painlevé-V equation. We also provide an explicit change of variables transforming this equation to the standard form.

This is joint work with Galina Filipuk (University of Warsaw, Poland) and Alexander Stokes (University College, London, UK)

Over the last decade it became clear that the role of discrete Painlevé equations in applications has been steadily growing. Thus, the question of recognizing a certain non-autonomous recurrence as a discrete Painlevé equation and understanding its position in Sakai’s classification scheme, recognizing whether it is equivalent to some known (model) example, and especially finding an explicit change of coordinates transforming it to such example, becomes one of the central ones. Fortunately, Sakai’s geometric theory provides an almost algorithmic procedure of answering this question.

In this work we illustrate this procedure by studying an example coming from the theory of discrete orthogonal polynomials. There are many connections between orthogonal polynomials and Painlevé equations, both differential and discrete. In particular, often the coefficients of three-term recurrence relations for orthogonal polynomials can be expressed in terms of solutions of some discrete Painlevé equation. In this work we study orthogonal polynomials with general hypergeometric weight and show that their recurrence coefficients satisfy, after some change of variables, the standard discrete Painlevé-V equation. We also provide an explicit change of variables transforming this equation to the standard form.

This is joint work with Galina Filipuk (University of Warsaw, Poland) and Alexander Stokes (University College, London, UK)

### 2019/10/03

#### FMSP Lectures

13:00-15:05 Room #002 (Graduate School of Math. Sci. Bldg.)

Topic on minimal submanifolds (2/6) (ENGLISH)

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Tsai.pdf

**Chung-jun Tsai**(National Taiwan University)Topic on minimal submanifolds (2/6) (ENGLISH)

[ Abstract ]

The main theme of these lectures will be theory about minimal submanifolds, which are higher dimensional generalizations of geodesics. A naive motivation is that one tries to understand the geometry from its special submanifolds (minimal, etc.).

For minimal submanifolds, the equations are no longer ODEs, but elliptic PDEs. This increases the difficulties. The study are very good examples for the application of methods from PDEs and calculus of variations. We will try to explain some important results in this theory, which stimulate many of the researches today.

Here are some specific materials we plan to cover: Simon’s work based on the second variational formula, Sacks - Uhlenback theorem on the existence of minimal 2-spheres, the theory of stable minimal hypersurfaces by Schoen-Simon-Yau.

[ Reference URL ]The main theme of these lectures will be theory about minimal submanifolds, which are higher dimensional generalizations of geodesics. A naive motivation is that one tries to understand the geometry from its special submanifolds (minimal, etc.).

For minimal submanifolds, the equations are no longer ODEs, but elliptic PDEs. This increases the difficulties. The study are very good examples for the application of methods from PDEs and calculus of variations. We will try to explain some important results in this theory, which stimulate many of the researches today.

Here are some specific materials we plan to cover: Simon’s work based on the second variational formula, Sacks - Uhlenback theorem on the existence of minimal 2-spheres, the theory of stable minimal hypersurfaces by Schoen-Simon-Yau.

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Tsai.pdf

### 2019/10/02

#### Operator Algebra Seminars

16:45-18:15 Room #126 (Graduate School of Math. Sci. Bldg.)

Subfactors, K-theory and Equivariant Higher Twists (English)

**David E. Evans**(Cardiff University)Subfactors, K-theory and Equivariant Higher Twists (English)

### 2019/10/01

#### Tuesday Seminar on Topology

17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Quantized SL(2) representations of knot groups (JAPANESE)

**Jun Murakami**(Waseda University)Quantized SL(2) representations of knot groups (JAPANESE)

[ Abstract ]

Let K be a knot and G be a group. The representation space of K for the group G means the space of homomorphisms from the knot group to G and is defined by using the group ring C[G], where C[G] is the ring of functions on G and has a commutative Hopf algebra structure. This construction can be generalized to any commutative Hopf algebras.

In this talk, we extend this construction to any braided Hopf algebras with braided commutativity. A typical example is BSL(2), which is the braided SL(2) introduced by S. Majid. Applying the above construction to BSL(2), we get the space of BSL(2) representations, which provides a quantization of SL(2) representations of a knot. This is joint work with Roloand van der Veen.

Let K be a knot and G be a group. The representation space of K for the group G means the space of homomorphisms from the knot group to G and is defined by using the group ring C[G], where C[G] is the ring of functions on G and has a commutative Hopf algebra structure. This construction can be generalized to any commutative Hopf algebras.

In this talk, we extend this construction to any braided Hopf algebras with braided commutativity. A typical example is BSL(2), which is the braided SL(2) introduced by S. Majid. Applying the above construction to BSL(2), we get the space of BSL(2) representations, which provides a quantization of SL(2) representations of a knot. This is joint work with Roloand van der Veen.

### 2019/09/30

#### Seminar on Geometric Complex Analysis

10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)

Rigidity of the directional moduli on pseudoconvex domains fibered by open Riemann surfaces

**Sachiko Hamano**(Osaka City Univ.)Rigidity of the directional moduli on pseudoconvex domains fibered by open Riemann surfaces

[ Abstract ]

G. Schmieder-M. Shiba observed conformal embeddings of a fixed open Riemann surface of positive finite genus into closed Riemann surfaces of the same genus, and they showed the range of each diagonal element of the period matrices. Now we shall consider a smooth deformation of open Riemann surfaces with a complex parameter. In this talk, we show the rigidity of directional moduli induced by elements of the period matrices on pseudoconvex domains fibered by open Riemann surfaces of the same topological type.

G. Schmieder-M. Shiba observed conformal embeddings of a fixed open Riemann surface of positive finite genus into closed Riemann surfaces of the same genus, and they showed the range of each diagonal element of the period matrices. Now we shall consider a smooth deformation of open Riemann surfaces with a complex parameter. In this talk, we show the rigidity of directional moduli induced by elements of the period matrices on pseudoconvex domains fibered by open Riemann surfaces of the same topological type.

### 2019/09/26

#### FMSP Lectures

13:00-15:05 Room #002 (Graduate School of Math. Sci. Bldg.)

Topic on minimal submanifolds (1/6) (ENGLISH)

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Tsai.pdf

**Chung-jun Tsai**(National Taiwan University)Topic on minimal submanifolds (1/6) (ENGLISH)

[ Abstract ]

The main theme of these lectures will be theory about minimal submanifolds, which are higher dimensional generalizations of geodesics. A naive motivation is that one tries to understand the geometry from its special submanifolds (minimal, etc.).

For minimal submanifolds, the equations are no longer ODEs, but elliptic PDEs. This increases the difficulties. The study are very good examples for the application of methods from PDEs and calculus of variations. We will try to explain some important results in this theory, which stimulate many of the researches today.

Here are some specific materials we plan to cover: Simon’s work based on the second variational formula, Sacks - Uhlenback theorem on the existence of minimal 2-spheres, the theory of stable minimal hypersurfaces by Schoen-Simon-Yau.

[ Reference URL ]The main theme of these lectures will be theory about minimal submanifolds, which are higher dimensional generalizations of geodesics. A naive motivation is that one tries to understand the geometry from its special submanifolds (minimal, etc.).

For minimal submanifolds, the equations are no longer ODEs, but elliptic PDEs. This increases the difficulties. The study are very good examples for the application of methods from PDEs and calculus of variations. We will try to explain some important results in this theory, which stimulate many of the researches today.

Here are some specific materials we plan to cover: Simon’s work based on the second variational formula, Sacks - Uhlenback theorem on the existence of minimal 2-spheres, the theory of stable minimal hypersurfaces by Schoen-Simon-Yau.

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Tsai.pdf

### 2019/09/25

#### Numerical Analysis Seminar

16:30-18:00 Room #056 (Graduate School of Math. Sci. Bldg.)

Finite volume method for the Keller-Segel system (Japanese)

**Guanyu Zhou**(Tokyo University of Science)Finite volume method for the Keller-Segel system (Japanese)

### 2019/08/20

#### thesis presentations

13:45-15:00 Room #122 (Graduate School of Math. Sci. Bldg.)

### 2019/08/19

#### Numerical Analysis Seminar

13:00-17:00 Room #122 (Graduate School of Math. Sci. Bldg.)

Staggered hybridisation for discontinuous Galerkin methods (英語)

DG and HDG methods for the variational inequality problems (英語)

A new HDG method using a hybridized flux (英語)

Numerical approximation of the Stokes–Darcy problem using discontinuous linear elements (英語)

**Eric Chung**(The Chinese University of Hong Kong) 13:00-14:00Staggered hybridisation for discontinuous Galerkin methods (英語)

[ Abstract ]

In this talk, we present a new staggered hybridization technique for discontinuous Galerkin methods to discretize linear elastodynamic equations and nonlinear Stokes equations. The idea of hybridization is used extensively in many discontinuous Galerkin methods, but the idea of staggered hybridization is new. Our new approach offers several advantages, namely energy conservation, high-order optimal convergence, preservation of symmetry for the stress tensor, block diagonal mass matrices as well as low dispersion error. The key idea is to use two staggered hybrid variables to enforce the continuity of the velocity and the continuity of the normal component of the stress tensor on a staggered mesh. We prove the stability and the convergence of the proposed scheme in both the semi-discrete and the fully-discrete settings. Numerical results confirm the optimal rate of convergence and show that the method has a superconvergent property for dispersion.

In this talk, we present a new staggered hybridization technique for discontinuous Galerkin methods to discretize linear elastodynamic equations and nonlinear Stokes equations. The idea of hybridization is used extensively in many discontinuous Galerkin methods, but the idea of staggered hybridization is new. Our new approach offers several advantages, namely energy conservation, high-order optimal convergence, preservation of symmetry for the stress tensor, block diagonal mass matrices as well as low dispersion error. The key idea is to use two staggered hybrid variables to enforce the continuity of the velocity and the continuity of the normal component of the stress tensor on a staggered mesh. We prove the stability and the convergence of the proposed scheme in both the semi-discrete and the fully-discrete settings. Numerical results confirm the optimal rate of convergence and show that the method has a superconvergent property for dispersion.

**Feifei Jing**(Northwestern Polytechnical University) 14:30-15:30DG and HDG methods for the variational inequality problems (英語)

[ Abstract ]

There exist many numerical methods for solving the fluid dynamics equations, the main difference between them lies in the partitions of geometric domain and the discrete forms of governing equations. Due to the discontinuous piecewise polynomial subspaces, DG and HDG methods can be easily implemented on highly unstructured meshes, e.g. general polygonal mesh, and volume integrals could be calculated on physical elements, without reference elements and mappings between physical and reference elements. In this talk, DG and HDG methods employed to a class of variational inequality problems arising in hydrodynamics are studied. Some theoretical results will be shown, as well as the implementations of these methods are also put into practice.

There exist many numerical methods for solving the fluid dynamics equations, the main difference between them lies in the partitions of geometric domain and the discrete forms of governing equations. Due to the discontinuous piecewise polynomial subspaces, DG and HDG methods can be easily implemented on highly unstructured meshes, e.g. general polygonal mesh, and volume integrals could be calculated on physical elements, without reference elements and mappings between physical and reference elements. In this talk, DG and HDG methods employed to a class of variational inequality problems arising in hydrodynamics are studied. Some theoretical results will be shown, as well as the implementations of these methods are also put into practice.

**Issei Oikawa**(Hitotsubashi University) 16:00-16:30A new HDG method using a hybridized flux (英語)

[ Abstract ]

We propose a new hybridizable discontinuous Galerkin (HDG) method for steady-state diffusion problems. In our method, both the trace and flux of the exact solution are hybridized. The Lehrenfeld-Schöberl stabilization is implicitly included in the method, so that the orders of convergence in all variables are optimal without postprocessing and computation of any projection. Numerical results are present to show the validation of our method.

We propose a new hybridizable discontinuous Galerkin (HDG) method for steady-state diffusion problems. In our method, both the trace and flux of the exact solution are hybridized. The Lehrenfeld-Schöberl stabilization is implicitly included in the method, so that the orders of convergence in all variables are optimal without postprocessing and computation of any projection. Numerical results are present to show the validation of our method.

**Takahito Kashiwabara**(The University of Tokyo) 16:30-17:00Numerical approximation of the Stokes–Darcy problem using discontinuous linear elements (英語)

[ Abstract ]

We consider the Stokes–Darcy interface problem supplemented with the Beavers– Joseph–Saffman condition on the interface separating two domains. This condition allows for discontinuity in the tangential velocities and in the pressures along the interface. To effectively express it, we propose to use discontinuous linear finite elements to approximate all of the velocities/pressures in the Stokes/Darcy regions. The continuity of velocity in the normal direction is weakly enforced by adopting either the penalty method or Nitsche’s method. We present stability and error estimates for the proposed scheme, taking into account the situation where a curved interface is approximated by a polygonal curve or polyhedral surface.

We consider the Stokes–Darcy interface problem supplemented with the Beavers– Joseph–Saffman condition on the interface separating two domains. This condition allows for discontinuity in the tangential velocities and in the pressures along the interface. To effectively express it, we propose to use discontinuous linear finite elements to approximate all of the velocities/pressures in the Stokes/Darcy regions. The continuity of velocity in the normal direction is weakly enforced by adopting either the penalty method or Nitsche’s method. We present stability and error estimates for the proposed scheme, taking into account the situation where a curved interface is approximated by a polygonal curve or polyhedral surface.

### 2019/08/01

#### Mathematical Biology Seminar

15:00-16:00 Room #118 (Graduate School of Math. Sci. Bldg.)

Mathematical study of the inhibitory role of regulatory T cells in tumor immune response

**Yueping Dong**(Central China Normal University)Mathematical study of the inhibitory role of regulatory T cells in tumor immune response

[ Abstract ]

The immune system against tumor is a complex dynamical process showing a dual role. On the one hand, the immune system can activate some immune cells to kill tumor cells, such as cytotoxic T lymphocytes (CTLs) and natural killer cells (NKs), but on the other hand, more evidence shows that some immune cells can help tumor escape, such as regulatory T cells (Tregs). In this talk, we propose a tumor immune interaction model based on Tregs mediated tumor immune escape mechanism. When HTCs stimulation rate by the presence of identified tumor antigens below the critical value, the interior equilibrium P* is always stable in the region of existence. When HTCs stimulation rate higher than the critical value, the Inhibition rate of ECs by Tregs can destabilize P* and cause Hopf bifurcations and produce limit cycle. This model shows that Tregs might play a crucial role in triggering the immune escape of tumor cells. Furthermore, we introduce the adoptive cellular immunotherapy (ACI) and monoclonal immunotherapy as the treatment to boost the immune system to fight against tumors. The numerical results show that ACI can control more tumor cells, while monoclonal immunotherapy can delay the inhibitory effect of Tregs on effector cells (ECs). The results also show that the combination immunotherapy can control tumor cells and reduce the inhibitory effect of Tregs better than single immunotherapy.

The immune system against tumor is a complex dynamical process showing a dual role. On the one hand, the immune system can activate some immune cells to kill tumor cells, such as cytotoxic T lymphocytes (CTLs) and natural killer cells (NKs), but on the other hand, more evidence shows that some immune cells can help tumor escape, such as regulatory T cells (Tregs). In this talk, we propose a tumor immune interaction model based on Tregs mediated tumor immune escape mechanism. When HTCs stimulation rate by the presence of identified tumor antigens below the critical value, the interior equilibrium P* is always stable in the region of existence. When HTCs stimulation rate higher than the critical value, the Inhibition rate of ECs by Tregs can destabilize P* and cause Hopf bifurcations and produce limit cycle. This model shows that Tregs might play a crucial role in triggering the immune escape of tumor cells. Furthermore, we introduce the adoptive cellular immunotherapy (ACI) and monoclonal immunotherapy as the treatment to boost the immune system to fight against tumors. The numerical results show that ACI can control more tumor cells, while monoclonal immunotherapy can delay the inhibitory effect of Tregs on effector cells (ECs). The results also show that the combination immunotherapy can control tumor cells and reduce the inhibitory effect of Tregs better than single immunotherapy.

### 2019/07/25

#### Operator Algebra Seminars

16:45-18:15 Room #126 (Graduate School of Math. Sci. Bldg.)

The classification of well behaved simple C*-algebras

**George Elliott**(Univ. Toronto)The classification of well behaved simple C*-algebras

### 2019/07/24

#### thesis presentations

13:15-14:30 Room #128 (Graduate School of Math. Sci. Bldg.)

**OKADA Mao**### 2019/07/23

#### PDE Real Analysis Seminar

13:00-14:00 Room #056 (Graduate School of Math. Sci. Bldg.)

On the isoperimetric ratio over scalar-flat conformal classes (English)

**Tianling Jin**(The Hong Kong University of Science and Technology)On the isoperimetric ratio over scalar-flat conformal classes (English)

[ Abstract ]

Let $(M,g)$ be a smooth compact Riemannian manifold of dimension $n$ with smooth boundary. Suppose that $(M,g)$ admits a scalar-flat conformal metric. We prove that the supremum of the isoperimetric ratio over the scalar-flat conformal class is strictly larger than the best constant of the isoperimetric inequality on Euclidean space, and consequently is achieved, if either (i) $n \geq 12$ and the boundary has a nonumbilic point; or (ii) $n \geq 10$, the boundary is umbilic and the Weyl tensor does not vanish at some boundary point. A crucial ingredient in the proof is the expansion of solutions to the conformal Laplacian equation with blowing up Dirichlet boundary conditions.

Let $(M,g)$ be a smooth compact Riemannian manifold of dimension $n$ with smooth boundary. Suppose that $(M,g)$ admits a scalar-flat conformal metric. We prove that the supremum of the isoperimetric ratio over the scalar-flat conformal class is strictly larger than the best constant of the isoperimetric inequality on Euclidean space, and consequently is achieved, if either (i) $n \geq 12$ and the boundary has a nonumbilic point; or (ii) $n \geq 10$, the boundary is umbilic and the Weyl tensor does not vanish at some boundary point. A crucial ingredient in the proof is the expansion of solutions to the conformal Laplacian equation with blowing up Dirichlet boundary conditions.

### 2019/07/16

#### Tuesday Seminar on Topology

17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Seifert vs. slice genera of knots in twist families and a characterization of braid axes (JAPANESE)

**Kimihiko Motegi**(Nihon University)Seifert vs. slice genera of knots in twist families and a characterization of braid axes (JAPANESE)

[ Abstract ]

Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n)$ limits to $1$, then the winding number of $K$ about $c$ equals either zero or the wrapping number. As a key application, if $\{K_n\}$ or the mirror twist family $\{\overline{K_n}\}$ contains infinitely many tight fibered knots, then the latter must occur. This leads to the characterization that $c$ is a braid axis of $K$ if and only if both $\{K_n\}$ and $\{\overline{K_n}\}$ each contain infinitely many tight fibered knots. We also give a necessary and sufficient condition for $\{K_n\}$ to contain infinitely many L-space knots, and apply the characterization to prove that satellite L-space knots have braided patterns, which answers a question of both Baker-Moore and Hom in the positive. This result also implies an absence of essential Conway spheres for satellite L-space knots, which gives a partial answer to a conjecture of Lidman-Moore.

Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n)$ limits to $1$, then the winding number of $K$ about $c$ equals either zero or the wrapping number. As a key application, if $\{K_n\}$ or the mirror twist family $\{\overline{K_n}\}$ contains infinitely many tight fibered knots, then the latter must occur. This leads to the characterization that $c$ is a braid axis of $K$ if and only if both $\{K_n\}$ and $\{\overline{K_n}\}$ each contain infinitely many tight fibered knots. We also give a necessary and sufficient condition for $\{K_n\}$ to contain infinitely many L-space knots, and apply the characterization to prove that satellite L-space knots have braided patterns, which answers a question of both Baker-Moore and Hom in the positive. This result also implies an absence of essential Conway spheres for satellite L-space knots, which gives a partial answer to a conjecture of Lidman-Moore.

### 2019/07/11

#### Information Mathematics Seminar

16:50-18:35 Room #128 (Graduate School of Math. Sci. Bldg.)

Functional Encryption from Bilinear Pairings (Japanese)

**Katsuyuki Takashima**(Mitsubishi Electric Co./Kyushu Univ.)Functional Encryption from Bilinear Pairings (Japanese)

[ Abstract ]

Explanation of functional encryption schemes from bilinear pairings

Explanation of functional encryption schemes from bilinear pairings

#### Mathematical Biology Seminar

15:00-16:00 Room #056 (Graduate School of Math. Sci. Bldg.)

Understanding The Seasonality of Dengue Disease Incidences From Empirical Data (ENGLISH)

**Dipo Aldila**(Universitas Indonesia)Understanding The Seasonality of Dengue Disease Incidences From Empirical Data (ENGLISH)

[ Abstract ]

Investigating the seasonality of dengue incidences is very important in dengue surveillance in regions with periodical climatic patterns. In lieu of the paradigm about dengue incidences varying seasonally in line with meteorology, this talk seeks to determine how well standard epidemic mo-dels (SIRUV) can capture such seasonality for better forecasts and optimal futuristic interventions. Once incidence data are assimilated by a periodic model, asymptotic analysis in relation to the long-term behavior of the dengue occurrences will be performed. For a test case, we employed an SIRUV model (later become IR model with QSSA method) to assimilate weekly dengue incidence data from the city of Jakarta, Indonesia, which we present in their raw and moving-average-filtered versions. To estimate a periodic parameter toward performing the asymptotic analysis, some optimization schemes were assigned returning magnitudes of the parameter that vary insignificantly across schemes. Furthermore, the computation results combined with the analytical results indicate that if the disease surveillance in the city does not improve, then the incidence will raise to a certain positive orbit and remain cyclical.

Investigating the seasonality of dengue incidences is very important in dengue surveillance in regions with periodical climatic patterns. In lieu of the paradigm about dengue incidences varying seasonally in line with meteorology, this talk seeks to determine how well standard epidemic mo-dels (SIRUV) can capture such seasonality for better forecasts and optimal futuristic interventions. Once incidence data are assimilated by a periodic model, asymptotic analysis in relation to the long-term behavior of the dengue occurrences will be performed. For a test case, we employed an SIRUV model (later become IR model with QSSA method) to assimilate weekly dengue incidence data from the city of Jakarta, Indonesia, which we present in their raw and moving-average-filtered versions. To estimate a periodic parameter toward performing the asymptotic analysis, some optimization schemes were assigned returning magnitudes of the parameter that vary insignificantly across schemes. Furthermore, the computation results combined with the analytical results indicate that if the disease surveillance in the city does not improve, then the incidence will raise to a certain positive orbit and remain cyclical.

### 2019/07/10

#### Operator Algebra Seminars

16:45-18:15 Room #126 (Graduate School of Math. Sci. Bldg.)

Convergence theorems on multi-dimensional homogeneous quantum walks

**Hiroki Sako**(Niigata University)Convergence theorems on multi-dimensional homogeneous quantum walks

### 2019/07/09

#### Tuesday Seminar on Topology

17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Mod 2 cohomology of moduli stacks of real vector bundles (ENGLISH)

**Florent Schaffhauser**(Université de Strasbourg)Mod 2 cohomology of moduli stacks of real vector bundles (ENGLISH)

[ Abstract ]

The rational cohomology ring of the moduli stack of holomorphic vector bundles of fixed rank and degree over a compact Riemann surface was studied by Atiyah and Bott using tools of differential geometry and algebraic topology: they found generators of that ring and computed its Poincaré series. In joint work with Chiu-Chu Melissa Liu, we study in a similar way the mod 2 cohomology ring of the moduli stack of real vector bundles of fixed topological type over a compact Riemann surface with real structure. The goal of the talk is to explain the principle of that computation, emphasizing the analogies and differences between the real and complex cases, and discuss applications of the method. In particular, we provide explicit generators of mod 2 cohomology rings of moduli stacks of vector bundles over a real algebraic curve.

The rational cohomology ring of the moduli stack of holomorphic vector bundles of fixed rank and degree over a compact Riemann surface was studied by Atiyah and Bott using tools of differential geometry and algebraic topology: they found generators of that ring and computed its Poincaré series. In joint work with Chiu-Chu Melissa Liu, we study in a similar way the mod 2 cohomology ring of the moduli stack of real vector bundles of fixed topological type over a compact Riemann surface with real structure. The goal of the talk is to explain the principle of that computation, emphasizing the analogies and differences between the real and complex cases, and discuss applications of the method. In particular, we provide explicit generators of mod 2 cohomology rings of moduli stacks of vector bundles over a real algebraic curve.

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148 Next >