A wrapped Fukaya category of knot complement and hyperbolic knot

현대 연속시간 포트폴리오 선택이론에 대하여 설명한다. 마코위츠 의 정적 선택이론으로 시작하여 머튼의 연속시간 선택이론을 설명한다. 1950년대 우주 개발을 위하여 개발된 최적 제어이론이 연속시간 포트폴리오 선택이론에 어떻게 사용되었는가를 설명하고...

동형암호(Homomorphic Encryption)는 암호화된 상태에서 복호화없이 계산을 수행하는 암호로서 1978년 제안된 이후 오랜 연구를 거쳐 최근 실용화를 앞두고 있다. 본 강연에서는 우선 동형암호의 개념과 최근 연구결과 그리고 이의 기계학습에의 응용을 소개한...

Symplectic geometry arose from the study of classical mechanics, and later many interesting symplectic invariants has been found since Gromov introduced techniques of J-holomorphic curves. Miraculously, such invariants are closely related wi...

We rely on intuition every day, and we use mathematics every day. Intuition is fast, powerful and omniapplicable, but sometimes wrong. Mathematics is efficient, powerful and correct, when applicable. Whenever there is an uncertainty, a proof...

학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여 • 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념; • 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 10번째 문제); • Non-deterministic 튜링 기계...

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...

In this presentation, we introduce how matrices appeared in the history of mathematics and how they are used in today's fields. Also, we consider the necessary mathematics concepts to define the matrix functions. and the existence and conver...

The spherical average has been a source of many problems in harmonic analysis. Since late 90's, the study of the maximal spherical means on the Heisenberg group $mathbb{H}^n$ has been started to show the pointwise ergodic theorems on the gro...

A circle action on a manifold can be thought of as a periodic flow on a manifold (periodic dynamical system), or roughly a rotation of a manifold. During this talk, we consider symplectic/Hamiltonian circle actions on compact symplectic mani...

We derive a general solution of the heat equation through two modied separation methods. The obtained solution is expressed as linearly combined kernel solutions in terms of Hermite polynomials, which appears to provide an explanation of non...

Elliptic curves defined over the rationals satisfy two finiteness properties; its group of rational points is a finitely generated abelian group and it has only finitely many points with integral coordinates. Bhargava and his collaborators e...

Convergence of Fourier series and integrals is the most fundamental question in classical harmonic analysis from its beginning. In one dimension convergence in Lebesgue spaces is fairly well understood. However in higher dimensions the probl...

Dynamics of many particle system can be described by PDE of probability density function. The Boltzmann equation in kinetic theory is one of the most famous equation which describes rarefied gas dynamics. One of main property of the Boltzman...

The Lagrange spectrum is the set of approximation constants in the Diophantine approximation for badly approximated numbers. It is closely related with the Markov spectrum which corresponds the minimum values of indefinite quadratic forms ov...

Lagrangian Floer theory in symplectic manifold associate a category (A infinity category) to a symplectic manifold. More than 20 years ago a relation of a relation between Lagrangian Floer theory and Gauge theory was studied by Floer himself...

In this talk I will first give a survey of recent recent results SDEs with singular coefficients. Then I will report some recent results, jointly with Longjie Xie, on critical and supercritical SDEs with singular coefficients.

상산수리과학관 20주년 기념강연

양자컴퓨터와 양자암호로 대표되는 양자기술의 응용이 대두되면서 그 기반이 되는 양자정보학에 대한 관심이 그 어느때보다 높다. 양자정보학은 양자상태의 정보량 및 양자상태를 전송할 때 전달되는 정보량을 분석하고자 하는 목표를 가지고 있는데 많은 경우...

We introduce the notion of congruences (modulo a prime number) between modular forms of different levels. One of the main questions is to show the existence of a certain newform of an expected level which is congruent to a given modular form...