We start with the famous Heisenberg uncertainty principle to give the idea of the probability in quantum mechanics. The Heisenberg uncertainty principle states by precise inequalities that the product of uncertainties of two physical quantit...
The disk embedding problem is of fundamental importance in the study of 4-dimensional topology. I will discuss its significance and difficulty, including how disk embedding makes dimension four intrinsically different from other dimensions. ...
완전동형암호는 암호화된 상태에서 모든 계산을 지원하는 이상적인 암호로서 암호학계의 성배(holy grail)로 불리며 1978년 이후 오랫동안 미해결 문제로 알려져 있었다. 2009년 Gentry에 의해 처음 만들어진 후 많은 연구를 거쳐 실용화를 앞두고 있으며 2011...
동형암호(Homomorphic Encryption)는 암호화된 상태에서 복호화없이 계산을 수행하는 암호로서 1978년 제안된 이후 오랜 연구를 거쳐 최근 실용화를 앞두고 있다. 본 강연에서는 우선 동형암호의 개념과 최근 연구결과 그리고 이의 기계학습에의 응용을 소개한...
Topological surgery through singularity in mean curvature flow
The mean curvature flow is an evolution of hypersurfaces satisfying a geometric heat equation. The flow naturally develops singularities and changes the topology of the hypersurfaces at singularities, Therefore, one can study topological pr...
A modified separation method to solve a heat-transfer boundary value problem
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...
Birational Geometry of varieties with effective anti-canonical divisors
Fano varieties are fundamental objects in algebraic geometry. These can be considered as the unique output of the -K -minimal model program on the varieties with effective anticanonical divisors. Thus the initial models should encode the in...
The spaces admitting a rational parameterization are called rational. In particular plane conics, including circles, are rational. We will explain a few interesting applications of the rational parameterization of a circle. Also several exam...
학부생을 위한 ε 강연회: Constructions by ruler and compass together with a conic
Trisection of an angle and duplication of a cube are among the famous problems of Greeks. Although they were proven later to be impossible in general, Greeks already knew that one can trisect an angle and duplicate a cube by supplimenting se...
Coulomb Gases are point processes consisting of particles whose pair interaction is governed by the Coulomb potential. There is also an external potential which confines the particles to a region. Wigner introduced this toy model for the Gi...
젊은과학자상 수상기념강연: From particle to kinetic and hydrodynamic descriptions to flocking and synchronization
In this talk, I will report a recent progress for the modeling of collective behaviors of complex systems, in particular ocking and synchronization. Flocking and synchro-nization are ubiquitous in our daily life, for example, ocking of birds...
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...
Limit computations in algebraic geometry and their complexity
Given a one-parameter family of algebraic varieties, its point-wise limit is usually too small whereas its algebraic limit is usually too big. I will introduce a notion of meaningful geometric limit and explain how it can be effectively comp...
