On the distributions of partition ranks and cranks
To explain Ramanujan's integer partition function congruences, Dyson's rank and Andrews-Garvan's crank have been introduced. The generating functions for these two partition statistics are typical examples of mock Jacobi forms and Jacobi for...
On function field and smooth specialization of a hypersurface in the projective space
In this talk, we will discuss two interesting problems on hypersurfaces in the projective space. The first one is the absolute Galois theory on the function field of a very general hypersurface in the projective space. The other one is the c...
On classification of long-term dynamics for some critical PDEs
This talk concerns the problem of classifying long-term dynamics for critical evolutionary PDEs. I will first discuss what the critical PDEs are and soliton resolution for these equations. Building upon soliton resolution, I will further in...
For each natural number k, the C^k diffeomorphisms of the circle form a group with function compositions. This definition even extends to real numbers k no less than one by Hölder continuity. We survey algebraic properties of this grou...
Unconditional results without an unproved hypothesis such as the generalized Riemann hypothesis (GRH) are very weak for an individual number field. But if we consider a family of number fields, one can prove just as strong results as we woul...
Category수학강연회소속Univ. of Toronto / KIAS강연자Kim, Henry
Normal form reduction for unconditional well-posedness of canonical dispersive equations
Normal form method is a classical ODE technique begun by H. Poincare. Via a suitable transformation one reduce a differential equation to a simpler form, where most of nonresonant terms are cancelled. In this talk, I begin to explain the not...
Empirical observations have shown that for an adequate description of many random phenomena non-Gaussian processes are needed. The paths of these Markov processes necessarily have jumps. Their generators are nonlocal operators which admit a ...
Category수학강연회소속University of Bielefeld강연자Walter Hoh
Many aspects of the differential geometry of embedded Riemannian manifolds, including curvature, can be formulated in terms of multi-linear algebraic structures on the space of smooth functions. For matrix analogues of embedded surfaces, one...
Noncommutative Geometry. Quantum Space-Time and Diffeomorphism Invariant Geometry
A general goal of noncommutative geometry (in the sense of A. Connes) is to translate the main tools of differential geometry into the Hilbert space formalism of quantum mechanics by taking advantage of the familiar duality between spaces an...
Non-commutative Lp-spaces and analysis on quantum spaces
In this talk we will take a look at analysis on quantum spaces using non-commutative Lp spaces. We will first review what a non-commutative Lpspace is, and then we will see few examples of quantum spaces where Lp analysis problems arise natu...
Noise-induced phenomena in stochastic heat equations
Stochastic heat equations (SHE) usually refer to heat equations perturbed by noise and can be a model for the density of diffusing particles under a random potential. When the irregularity of noise is dominating the diffusion, SHE exhibits ...
The general theory implies that the distribution of an irreducible Markov chain converges to its stationary distribution as time diverges to infinity. The speed of corresponding convergence is a significant issue in the study of mathematical...
If density of flow is globally a constant, then the flow is said incompressible. Otherwise, the flow is said compressible. Flow motion of compressible inviscid flow is governed by Euler system. The Euler system is a nonlinear PDE system desc...
※ 강연 앞 부분이 잘렸습니다. (강연자료 다운: Mirror symmetry of pairings.pdf ) 초록: Mirror symmetry has served as a rich source of striking coincidences of various kinds. In this talk we will first review two kinds of mirror symmetry statem...
Mechanization of proof: from 4-Color theorem to compiler verification
I will give a broad introduction to how to mechanize mathematics (or proof), which will be mainly about the proof assistant Coq. Mechanizing mathematics consists of (i) defining a set theory, (2) developing a tool that allows writing definit...
This talk concerns maximal functions given by averages over some family of geometric objects. I will discuss the boundedness of those maximal functions on the Lebesgue spaces and its role in problems of harmonic analysis.
The 21st century is the age of life science. Two issues in the life sciences are that humans live long, healthy lives and maintain a steady state of the earth's ecosystems despite disturbances. In this talk, we will look at how mathematics i...
Mathematical Models and Intervention Strategies for Emerging Infectious Diseases: MERS, Ebola and 2009 A/H1N1 Influenza
Emerging infectious diseases have long been recognized as a continuous, inevitable, unpredictable threat to the global public health. Hence, understanding the underlying dynamics why they spread and what causes epidemics gives key ideas of i...