작용수대수에서 순서구조가 중요한 역할을 한다. C*-대수의 시작이라 할 수 있는 Gelfand-Naimark-Segal 표현정리는 양선형범함수로부터 *-준동형을 만들어내는데, 그 표현정리 이후 여러 가지 종류의 양사상에 대한 연구가 이루어졌다. 최근 활발하게 연구되...

This talk concerns maximal functions given by averages over some family of geometric objects. I will discuss the boundedness of those maximal functions on the Lebesgue spaces and its role in problems of harmonic analysis.

There have been at least two surprising events to geometers in 80-90s that they had to admit physics really helps to solve classical problems in geometry. Donaldson proved the existence of exotic 4-dimensional Euclidean space using gauge th...

학부생을 위한 강연: 브라질과 프랑스는 왜 축구를 잘 할까? - 경제와 수학과 축구와 법률

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

일각에서 혁명이라고 칭할 정도로 4차 산업은 미래 사회를 송두리째 변혁시킬 것으로 예견되고 있다. 이러한 대변혁의 시기를 맞아 우리나라 수학의 미래를 위해, 우리 수학계가 처한 위기와 기회를 파악하고, 나아갈 방향에 대한 논의를 시작해 보고자 한다.

Free probability is a young mathematical theory that started in the theory of operator algebras. One of the main features of free probability theory is its connection with random matrices. Indeed, free probability provides operator algebrai...

인공지능은 지난 60년 동안 큰 변화를 거쳤다. 초기의 논리기호기반 연역적 지능 시스템 패러다임에서 현재의 데이터기반 귀납적 지능 시스템 패러다임으로 전환되었다. 이제는 인공지능을 개발하기 위해서 사람이 더 이상 직접 프로그래밍하지 않는다. 사람은...

The original Riemann-Hilbert problem is to construct a liner ordinary differential equation with regular singularities whose solutions have a given monodromy. Nowadays, it is formulated as a categorical equivalence of the category of regular...

This lecture explores the topics and areas that have guided my research in computational mathematics and deep learning in recent years. Numerical methods in computational science are essential for comprehending real-world phenomena, and dee...

For a given compact Lie group G, classifying all manifolds equipped with G-actions is one of the most fundamental and important problems in differential geometry. In this talk, We will discuss the problem in the symplectic category and expl...

This talk discusses modern cryptographic techniques, such as zero-knowledge proof, multi-party computation and homomorphic encryption, which provide advanced functionality and security guarantees beyond data privacy and authenticity. I will...