Given a group of isometries of a metric space, one can draw a random sequence of group elements, and look at its action on the space. What are the asymptotic properties of such a random walk? The answer depends on the geometry of the space...
In this talk, numerical methods to solve second-order elliptic partial dierential equations will be presented. First, some of the existing methods, such as the standard Galerkin method, mixed nite element methods etc., will be briey discusse...
CategoryMath ColloquiaDept.Oklahoma State Univ.Lecturer구자언
Weyl character formula and Kac-Wakimoto conjecture
The character of the finite-dimensional irreducible modules over a finite-dimensional simple Lie algebra is given by the celebrated Weyl character formula. However, such a formula does not hold in general for finite-dimensional irreducible m...
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 ...
CategoryMath ColloquiaDept.University of BielefeldLecturerWalter Hoh
The goal of this lecture is to explain and motivate the connection between AubryMather theory (Dynamical Systems), and viscosity solutions of the Hamilton-Jacobi equation (PDE). This connection is the content of weak KAM Theory. The talk sho...
Green’s function for initial-boundary value problem
In this talk, we will present an approach to construct the Green’s function for an initial boundary value problem with precise pointwise structure in the space-time domain. This approach is given in terms of transform variable and physical v...
CategoryMath ColloquiaDept.National Univ. of SingaporeLecturerShih-Hsien Yu
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...
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...
In this talk, I will talk about the definition Q-curvature and some of its properties. Then I will talk about the problem of prescribing Q-curvature, especially I will explain the ideas of studying the problem using flow approach.
Geometry, algebra and computation in moduli theory
I will explain the basic concepts of moduli and how moduli spaces can be constructed in algebraic geometry. Exploring the moduli spaces and issues arising from their construction lead to interesting interplay of geometry, algebra and computa...
Gromov-Witten-Floer theory and Lagrangian intersections in symplectic topology
Gromov introduced the analytic method of pseudoholomorphic curves into the study of symplectic topology in the mid 80's and then Floer broke the conformal symmetry of the equation by twisting the equation by Hamiltonian vector fields. We sur...
