Postdoc seminar

Enumeration of quantum knot mosaics and the growth constant

홍경표 (국가수리과학연구소) | 2015-04-13 16:30~17:30 |수학원리응용센터 중형세미나실

Lomonaco and Kauman introduced knot mosaic system to give a definition of quantum knot system (2008). They proposed a question; "How many knot $(m,n)$-mosaics are there?". In this talk, we introduce an algorithm producing the precise values of them and estimate how fast the values increase.

Postdoc seminar

Construction of class fields by using modular units

정호윤 (국가수리과학연구소) | 2015-03-30 16:30~17:30 |수학원리응용센터 중형세미나실

In number theory, modular units are defined to be meromorphic functions on the modular curves and they have a special property that they have no zeros and poles on the complex upper half plane. And their special values belong to a certain finite abelian extension of the corresponding imaginary quadratic field. In this talk, we introduce primitive generators of ray class fields over the given imaginary quadratic field and its applications.

Postdoc seminar

Stochastic convective wave equation in two space dimensions

박상현 (국가수리과학연구소) | 2015-01-26 16:30~17:30 |수학원리응용센터 중형세미나실

We briefly review stochastic partial differential equations driven by random source. We provide an overview of Walsh's stochastic integration with respect to martingale measure. We also study the convective wave equation in two space dimension driven by spatially homogeneous Gaussian noise. The existence of the real-valued solution is proved by providing necessary and sufficient condition of Gaussian noise. Holder continuity of the solution is proved.

Postdoc seminar

Model-based approach to load balancing for heterogeneous systems

추형석 (국가수리과학연구소) | 2015-01-12 16:30~17:30 |수학원리응용센터 중형세미나실

We investigated how to distribute computations among computational resources under data parallelism. A min–max model of computation times was proposed to reflect a heterogeneous computing system. Time functions for each resource were estimated with reference parameters, and sampling statistics evaluates those parameters such as effective memory bandwidths and FLOPS. Our min–max model includes those time functions as objective functions so that it suggests load balancing point for an arbitrary problem size. Several BLAS examples confirm that our model fits well comparing with real heterogeneous computing with OpenCL.