Department Seminars & Colloquia




2016-07
Sun Mon Tue Wed Thu Fri Sat
          1 1 2
3 4 5 6 2 7 3 8 9
10 11 12 2 13 1 14 1 15 16
17 18 19 20 21 22 23
24 25 1 26 2 27 28 29 1 30
31            
2016-08
Sun Mon Tue Wed Thu Fri Sat
  1 2 3 1 4 1 5 6
7 8 9 2 10 11 1 12 1 13
14 15 16 17 1 18 19 20
21 22 23 24 25 26 27
28 29 30 31      

When you're logged in, you can subscribe seminars via e-mail

In this talk we review some of the recent progresses on the mathematical theory of the surface superconducting states of type 2 superconductors and of the surface smectic states of liquid crystals, including the recent work with S. Fournais and A. Kachmar on the conjecture of surface smectic states. We discuss the effects of domain geometry and physical parameters to the characterization of the phase transitions with emphasis on the analogies between the mathematical descriptions of superconductors and liquid crystals. Some observations and questions on the related topics will also be presented.


Host: 김용정     English     2016-08-16 11:42:02

   In this talk, we would like to discuss about an algorithm to numerically solve a normal

ow equation in level set method on a polyhedron mesh in 3D. The equation has been
extensively used in image processing and surface evolution. Unlike to commonly used a
structured mesh in level set method, it is very challenging to obtain a high order scheme in
a polyhedron mesh. We propose a cell-centered gradient de ned by
ux signs to design a
robust scheme considered as an extension of well-known Rouy-Tourin scheme into 3D with
the second order upwind di erence. A high order of convergence, performance in parallel
computation, and a recovery of signed distance function from a sparse data are illustrated
in numerical examples.


 

Host: 이창옥     Korean     2016-08-05 09:41:14

I have pioneered a couple of mathematical and computational approaches for free
boundary problems and optimization; 1) The immersed boundary (IB) method for
advection-electrodiffusion, 2) an IB method for non-Newtonian two-phase viscoelastic
fluids and gels, 3) an extended finite element method for phonon Boltzmann transport
and shape/topology optimization by adjoint method, 4) minimum attention in motor
control by one shot method.
Let us galvanize a couple of applications in mechanobiology; 1) Cardiac differentiation
and dendritic spine motility by the IB methods, 2) collective cell migration of wound
healing and cancer metastasis, 3) the mechanics of pulmonary arterial hypertension from
micro CT image-segmented vascular network, ventricular-vascular interaction in
coronary impedance matching, and renal peristaltic concentration.

Host: 이창옥     Korean     2016-08-05 09:28:13

Siegel pioneered the generalization of the theory of elliptic modular functions to the modular functions in several variables, which are called Siegel modular functions. Siegel modular functions are of fundamental importance in number theory and algebraic geometry. However, we know relatively little about Siegel modular functions until now because it is difficult to find attractive examples that can be handled. In this talk, we construct explicit generators of Siegel modular function field of higher genus and level in terms of multi-variable theta constants. 

 

Host: 윤동성     Korean     2016-08-08 09:06:39

In this talk, I will review various constructions of vertex algebras. Also, I will talk about an energy momentum field and corresponding conformal weights of a vertex operator algebra.

 

Host: 윤동성     Korean     2016-08-08 09:09:48
We discuss the optimal solutions to a transport problem where mass has to move under martingale constraint; this constraint forces the transport to split the mass. This problem was originated from mathematical finance, e.g. option pricing. There have been intensive studies on the one-dimensional case, but, rarely in higher dimensions. We present structural results in general dimensions.
This is joint work with Nassif Ghoussoub and Tongseok Lim
Host: 강완모     Korean English if it is requested     2016-07-26 13:22:30

This is a joint work with Dale Rolfsen (University of British Columbia).
Let G be a group with a strict total ordering <  of the elements of G.
If < is invariant under the left-multiplication,
(i.e, g < h implies fg < fh  for all elements f, g and h in G)
 then we call (G, <) a  left-ordered group.
 If the ordering < is also invariant under the right-multiplication, we call
(G,<) a  bi-ordered group.
In this talk, we consider which groups of links in the 3-sphere
(that is the fundamental groups of the complements of links) are  bi-orderable.
We focus on the links obtained from braids together with the braid axis.
We prove that groups of some of interesting links are bi-orderable. 

Our examples include the minimally twisted 4- and 5-chain links, the Whitehead link.
We also prove that the group of the (-2,3,8)-pretzel link can not be bi-orderable.

Host: 신현식     English     2016-07-22 14:09:09

Cohomology jump loci are topological invariants generalizing the usual singular cohomology groups. I will give a survey on the theory of cohomology jump locus, especially the structure theorems developed by Simpson, Schnell, Budur and myself. As an application, I will give an example of non-Kahler Calabi-Yau symplectic-complex manifold. This example is joint work with Lizhen Qin. 

English     2016-06-20 11:35:28

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

 

Host: 윤동성     Korean     2016-07-25 09:03:36

In this talk, I will introduce normally ordered product and other equivalent definitions of vertex algebras via Borcherds identity.

 

Host: 윤동성     Korean     2016-07-25 09:13:47

Graphical models capture the conditional independence structure among random variables via the existence of edges among vertices. One way of inferring a graph is to use a partial correlation coefficient using the fact that a zero partial correlation coefficient is equivalent to conditional independence under the Gaussian assumption. In order to relax the distributional assumption, we propose kernel partial correlation which is a new conditional independence measure. It is a direct nonparametric extension of the partial correlation coefficient and estimated using a combination of two statistical methods. First, a support vector regression is employed to separate non-random components of conditional distributions, and then the dependence between remaining random components is assessed through a kernel-based association measure.  The proposed method is not only a flexible conditional independence measure but also can be estimated robustly under high levels of noise owing to the robustness of the employed nonparametric approaches. Upon comparisons to existing approaches, our method outperforms others when it is applied to simulated data as well as real data from single-cell RNA-sequencing experiments.

Host: 김성호     Korean     2016-07-21 10:50:34

   A Gaussian graphical model (GGM) is one of the most widely-used tools for statistical network analysis, partly because it turns estimation of a graph into sparse estimation of a high-dimensional precision matrix. To relax the multivariate Gaussian assumption, there have been many developments in non-Gaussian graphical models, through the use of either nonparametric copula transformation or generalized additive models. However, each of these methods has limitations, where the copula transformation cannot capture general non-linear associations and the generalized additive model is not able to detect dependences through conditional variances. In this talk, I will discuss two recent graphical model approaches that extend the GGM approach. The first one is an additive semigraphoid model approach that infers a graph based on additive conditional independence (ACI) relation. The ACI is different from conditional independence, but it satisfies the axioms for a semigraphoid that capture the essence of a graph. The second one is a sparse quantile-based graphical model (SQGM) that infers a graph based on the components of quantile regression. As an inverse mapping function of a conditional probability function, conditional quantile is able to characterize a complete picture of conditional dependence. Utilizing this feature, SQGM is able to broaden the scope of graphical models. Finally, the applications of these approaches to real biological datasets from genomics will be presented.

Host: 김성호     Korean     2016-07-13 10:24:45

We consider a class of stochastic processes, which can be regarded as
the perturbation of deterministic dynamics in a potential field. These
processes exhibit a phenomenon known as metastable behavior if the
potential field has several local minima. Metastable behavior is the
phenomenon in which a process starting from one of local minima
arrives at the neighborhood of the global minimum after a sufficiently
long time scale. The precise asymptotic analysis of this transition
time has been known only for the reversible dynamics, based on the
potential theory of reversible Markov processes. In this presentation,
we review this metastability theory for reversible dynamics, and
introduce our recent generalization to the non-reversible dymamics.
(joint work with C. Landim)

Host: 강완모     English     2016-06-21 11:15:07

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

Host: 윤동성     Korean     2016-07-05 16:58:43

This talk is a part of lecture series introducing vertex algebras. Last time, I explained motivations and definitions of vertex algebras. In this lecture, I will explain more about the locality axiom using formal distributions and the decomposition theorem. Also, I will introduce normally ordered products of a vertex algebra. 

 

Host: 윤동성     Korean     2016-07-05 17:04:33

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:45:16

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:47:24

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:50:26

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:34:34

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:38:41

BDDC(Balancing Domain Decomposition by Constraints) methods based on an adaptive selection of primal constraints for problems posed in H(div) are introduced. Our methods are fully algebraic and deal with highly oscillating coefficients. Bounds on the condition number of the preconditioned linear system are also provided which are independent of the values and jumps. This is joint work with Olof Widlund(Courant Institute), Stefano Zampini(KAUST), and Clark Dohrmann(Sandia National Lab).

Host: 이창옥     To be announced     2016-06-22 19:12:24