『국가수리과학연구소, 산업수학-응용대수기하분야 국제학회』  

SIAM Conference on Applied Algebraic Geometry

 

Date 08/03/2015 - 08/07/2015

Location NIMS

Sponsor: SIAM Activity Group on Algebraic Geometry 

All sessions will be held at National Institute for Mathematical Sciences and Korea Advanced Institute of Science and Technology.  

The purpose of the SIAM Activity Group in Algebraic Geometry is to bring together researchers who use algebraic geometry in industrial and applied mathematics. "Algebraic geometry" is interpreted broadly to include at least: algebraic geometry, commutative algebra, noncommutative algebra, symbolic and numeric computation, algebraic and geometric combinatorics, representation theory, and algebraic topology. 

These methods have already seen applications in: biology, coding theory, cryptography, combustion, computational geometry, computer graphics, quantum computing, control theory, geometric design, complexity theory, machine learning, nonlinear partial differential equations, optimization, robotics, and statistics.

We welcome participation from both theoretical mathematical areas and application areas not on this list which fall under this broadly interpreted notion of algebraic geometry and its applications.

SIAM Conference on Applied Algebraic Geometry is a satellite conference of the International Congress on Industrial and Applied Mathematics (ICIAM 2015)

수학 소프트웨어 정기 세미나

(Mathematical Software Working Seminar)

 ■ 연사 : 박승일 박사 (한국원자력연구원)  

 ■ 일시 : 2015년 7월 30일(목) 오후 4시~5시

 ■ 장소 : (대전) 국가수리과학연구소 수학원리응용센터 중형 세미나실 

 ■ 제목 : Neutron Scattering and Mathematics : How difficult an experimental physicist's life has become

      

 한국원자력연구원의 박승일 박사님을 모셔서 강연을 들은 후 Mathematica와 같은 수학 소프트웨어의 활용에 관한 이야기를 나누어 봅니다.

Neutron scattering is an experimental tool employed by condensed matter physicists.

In the first part, I will introduce neutron scattering and present the status of the neutron scattering facility at HANARO, the research reactor located in Daejeon. In the second part, I will show the traditional approach neutron scatterers use to 'calculate' the experimental result and how the fast-paced change in theoretical and experimental landscape challenges average experimental physicists these days. This leads to the conclusion that intuitive mathematical software would be much appreciated even by simple-minded experimental physicists.

 

 

 ■ 문의 : 조진환(국가수리과학연구소), 양성덕(고려대학교 수학과)

 ■ 주최 : 국가수리과학연구소, 고려대학교 수학과

본 동서양 수학사 여름학교는 대학교수, 연구원, 학생, 그리고 중등교사를 포함한 참가자들에게 동서양수학사에 대한 정보교류, 연구교류, 인력교류 등을 감안한 동양수학사의 소개와 서양수학의 일정 분야에 대한 소개를 목표로 한다. 특히 2014년 수학사 여름학교의 개최는 매우 성공적이었는데, 참가자들은 여름학교의 성공 이유로 두 가지를 꼽았다. 하나는 동양수학사로 ‘우리의 수학이 있음’을 지적하였고, 다른 하나는 서양수학사로 ‘현대 수학의 한 분야와 주제에 대한 일관된 소개와 설명’이었다. 특히 동서양의 ‘방정식론’에 대한 비교는 참가자들의 우리나라의 수학문화에 대한 자긍심을 고취시키기에 충분하였다. 또한 서양 방정식론의 역사는 현대 대수학의 현재의 모습이 왜 그러한 형태를 갖추게 되는지에 대한 이해를 도모함으로써 참가자들의 수학에 대한 관심을 고조시켰다.

이번의 2015년 수학사 여름학교도 공히 동양수학사와 서양수학사를 다룬다. 동양수학의 경우,그 근간은 ‘구장산술’(The Nine Chapters on Mathematical Art)에 있다. 신기하게도 세종대왕께서 훈민정음을 제정하였음에도 불구하고 조선시대 대부분의 서적은 한자로 기록되었다. 산학서도 마찬가지로 한자로 쓰였다. 그러므로 동양산학 및 수학사를 연구하기 위해서는 한문, 특히 고대에 사용되었던 한문을 읽을 수 있어야 한다. 그의 모태가 되는 표본이 ‘구장산술’이기에 ‘구장산술’의 소개를 이번 수학사 여름학교의 동양수학사의 주제로 설정하였다.
구장산술은 한나라 때 유휘가 주를 입힌 책으로 3세기경에 출간되었다. 구장산술은 9개의 장으로 구성되었으며, 특히 7장 영부족장, 8장 방정장, 9장 구고장 등은 당시의 수학이 체계화되어가는 과정을 엿볼 수 있게 한다. 실제 조선에 구장산술이 유입된 것은 18세기 이후인데, 그럼에도 불구하고 양휘산법과 산학계몽 등이 구장산술을 근간으로 하여 저술된 책이기에 조선산학에도 구장산술의 영향은 여실히 나타난다.이번 여름학교의 동양수학사의 주제인 구장산술과 그의 수학(산학)에 대한 소개는 구장산술의 각 장의 중요 문제와 관련 수학 이론을 설명한 한문으로 쓰인 원문을 해석하며 수학을 설명하는 것으로 진행한다. 이러한 시도는 한문으로 쓰인 우리문화, 특히 수학문화에 대한 이해를 도모하고 우리문화를 연구할 인력의 유입을 유도하는 한편, 한국수학사의 정리를 위한 출발점을 제시한다. 본 수학사 여름학교의 서양수학사의 주제로는 ‘타원곡선’(elliptic curve)을 꼽았다. Keith Deblin의 책 The Millenium Problems에서도 언급되었듯이 ‘타원곡선’은 현대 수학의 거의 모든 분야에서 나타난다. 정수론, 복소해석학, 기하학, 암호학 등 관련 분야뿐만 아니라 응용도 매우 다양하다. 특히 교통카드와 같은 스마트카드에 가장 많이 이용하는 암호로 ECC(elliptic curve cryptosystem)가 있는데 이는 타원곡선 이론을 이용한 암호체계이다.
주제를 타원곡선으로 설정함은 매우 시의 적절한 선택이기도 하다. 실제 타원곡선의역사는 디오판투스 시대로 거슬러 올라가지만 타원곡선에 대한 관심의 고조는 1901년 포앙카레에 의한 타원곡선 상에서의 유리점들에 의한 군(group)의 체계에 대한 주장부터이다. 타원곡선 이론은 방정식론과 연계가 있다고 보아도 무방하다. 왜냐하면 y=f(x)로 주어지는 함수식에서 f(x)가 3차 다항식이라 하고, y 대신 y 제곱을 대입하면 그것이 타원곡선을 정의하기 때문이다. 타원곡선을 소개한 많은 책들이 언급하고 있듯이 타원곡선은 실제로 타원이 아니다. 그러나 함수의 적분을 연구하던 중에 ‘타원적분’을 연구하게 되었는데 그로 인하여 얻게 된 이름이 타원곡선인 것이다. 타원곡선은 서양에서는 매우 많이, 매우 다양하게 연구되고 있다. 실제 타원곡선을 다룬 수학 전문서적은 상당히 많이 나와 있다. 대표적으로는 Silvermann의 Arithmetic of Elliptic Curves가 있고, Husemoller나 Koblitz, Milne 등의 많은 수학자들의 저서도 정말 많이 찾을 수 있다. 타원곡선에 관련된 논문은 수 없이 많다. 우리나라에서도 1999년 양재현 교수가 대한수학회 학술지(Communications of Korean Mathematical Society 14 (No. 3), 449-477)에 ‘타원곡선에 관한 지난 20년 간의 연구 동향’이란 제목으로 논문을 발표하였다. 이 논문에 언급된 참고문헌만 해도 40개 이상이다.
그러나 타원곡선이 시의 적절한 주제임은 2014년 서울에서 개최된 ICM에서 Fields 상을 수상한 Manjul Bhargava의 연구주제이기도 하기 때문이다. Bhargava의 필즈상의 수상 기념 발표는 1998년에 필즈상을 수상한 영국 수학자 T. Gowers가 칭찬을 아끼지 않은 정말 훌륭한 발표였다. 아마 ICM-2014에서 그의 발표를 들은 사람은 누구나 Gowers의 평가를 인정할 것이다. 심지어 타원곡선 이론은 Hilbert의 그 유명한 23문제 중에 아직도 해결되지 않은 Riemann 가설과도 연결고리를 가지고 있다.
바로 제타함수가 그것이다. 또한 타원곡선은 1996년 Andrew Wiles (그리고 Taylor)에 의한 Fermat의 마지막 정리의 증명에 사용되었던 Taniyama-Shimura 추측과도 관련된다. 더 나아가 Clay Math Institute에서 제시한 백만불 상금의 Millenium Problem 중 하나인 Birch and Swinnerton-Dyer 추측이 타원곡선에 대한 문제이다. 특히 Bhargava의 연구 업적이 Birch and Swinnerton-Dyer 추측의 해결을 위한 연구였던 것이다. 이러한 점에서 수학자들은 대부분 타원곡선에 흥미를 느낄 것이다. 또한 2013년 11월에 고등과학원이 개소한 수학난제연구센터(CMC,Center for Mathematical Challengers)의 설립 취지인 세계 7대 난제인 Millenium Problems와 그에 관련된 수학의 미해결 고유 난제와 전략난제 등의 연구에도 일맥상통한다.
하지만 본 수학사 여름학교가 타원곡선과 관련된 난제의 해결을 목표로 하는 것은 아니다. 그러나 수학사의 관점에서 타원곡선에 대한 수학적, 수학사적 개요 정보를 제공하려 함을 목표로 한다. Millenium Problems를 소개한 책과 논문에서도 타원곡선을 소개하고 있지만 그러한 소개는 그 분야를 전공으로 하는 수학자가 아니면 이해하기 어렵다. 본 여름학교는 Avner Ash가 저술한 Elliptic Tales (Princeton University Press, 2012)와 같은 수준의 타원곡선과 관련된 수학사 및 수학의 기본 이론 등을 소개함을 목표로 한다. 보다 구체적으로는 다음에 열거한 내용을 포함해 타원곡선과 관련된 역사적 내용과 중요 문제들을 설명한다.

- 곡선 위의 유리점과 디오판투스의 현-접선 방법
- 페르마의 합동수와 타원곡선
- 베르누이의 렘니스케이트 곡선과 오일러의 타원적분의 합의 공식
- 아벨과 쟈코비의 타원함수와 타원곡선
- 사영평면과 동차좌표
- 타원곡선의 대수적 성질
- Birch & Swinnerton-Dyer 추측
- Fields상 수상자 M. Bhargava 소개

이러한 수학사 여름학교의 동서양 수학사의 소개는 많은 사람들이 수학을 공감하고 이해하는 계기를 제시할 것이며 낮게는 수학문화의 창출에 기여하고, 높게는 수학을 연구하기 위해 수학계에 삶을 던져 넣을 연구 인력의 유입을 도모할 수 있을 것으로 기대한다. 그로 인하여 우리나라의 수학 발전과 수학문화의 창출, 그리고 그로 인한 국가의 발전에 기여할 수 있을 것으로 기대한다.

NIMS 초청세미나

 

■ 연사: Jaiung Jun (전재웅, State University of New York at Binghamton, USA)

■ 일시: 2015년 7월 24일(금) 10:00

■ 장소: 국가수리과학연구소 CAMP 중형 세미나실

■ Title: Cech cohomology of Semiring schemes

■ Abstract: A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize Cech cohomology theory and invertible sheaves to semiring schemes. In particular, when X is a projective space over a totally ordered idempotent semifield M, we show that cohomology semimodules vanish as in the classical computation for all n. Finally, we classify all invertible sheaves on X by computing Pic(X) explicitly.

 

NIMS 초청세미나

연사: Ruriko Yoshida (University of Kentucky)

일시: 2015년 7월 25일 11:00

장소: 국가수리과학연구소 CAMP 중형세미나실

제목: Extremal Positive Semidefinite Matrices for Weakly Bipartite Graphs

For a graph $G$ with $p$ vertices the cone of concentration matrices consists of all real positive semidefinite $p\times p$ matrices with zeros in the off-diagonal entries corresponding to nonedges of~$G$. 

The extremal rays of this cone and their associated ranks have applications to matrix completion problems, maximum likelihood estimation in Gaussian graphical models in statistics, and Gauss elimination for sparse matrices. 

For a weakly bipartite graph $G$, we show that the normal vectors to the facets of the $(\pm1)$- polytope of $G$ specify the off-diagonal entries of extremal matrices in $\K_G$. 

We also prove that the constant term of the linear equation of each facet-supporting hyperplane is the rank of its corresponding extremal matrix in $\K_G$.

Furthermore, we show that if $G$ is series-parallel then this gives a complete characterization of all possible extremal ranks of $\K_G$, consequently solving the sparsity order problem for series-parallel graphs.  This is joint work with Liam Solus and Caroline Uhler.

NIMS Colloquium

■ 연 사 : Bernd Sturmfels 교수 (UC Berkeley) 

■ 일 시 : 2015년 7월 23일(목) 16시30분

■ 장 소 : 국가수리과학연구소 수학원리응용센터(CAMP) 대강당

■ Title: Rational Design of Antibiotic Treatment Plans

■ Abstract : We present work with Portia Mira, Kristina Crona, Devin Greene, Juan Meza and Miriam Barlow, aimed at developing antibiotic treatment plans that can reverse the evolution of antibiotic resistance. The Barlow lab at UC Merced generated adaptive landscapes for 16 genotypes of the TEM beta-lactamase that vary from the wild type genotype TEM-1 through all combinations of four amino acid substitutions, and determined the growth rate of each genotype when treated with each of 15 beta-lactam antibiotics. Using growth rates for fitness in two models from population genetics, we computed the probability of each amino acid substitution in each beta-lactam treatment, and we searched through the 15 treatments for substitution paths leading from each of the 16 genotypes back to TEM-1. We identified treatment paths with the highest probabilities of returning TEM to the wild type state, thus offering promise for reversing the evolution of resistance to antibiotics. This lecture highlights the mathematics in this project.

 

Two-days Seminar on Applied Algebraic Geometry

---

Date 07/15/2015 - 07/16/2015    Location  CAMP Seminar Room

Introduction  

This two-day seminar is a preparation seminar for the 2015 SIAM Conference on Applied Algebraic Geometry (August 3-7).  We are going to introduce the applications of algebraic geometry from different aspects and prepare everyone for the related mini-symposiums in the SIAM conference.

NIMS 초청세미나

강연자: 이기황 박사 (다음소프트 기술이사)

일시: 2015년 7월 7일 (화) PM 4:30 - 6:00
장소: 수학원리응용센터(CAMP) 대형세미나실

제목: 소셜 빅데이터 분석을 통한 일상의 관찰

소셜 미디어를 통한 정보의 공유, 여론의 형성과 확산 등은 더 이상 특별한 현상이 아니며 우리의 일상 생활에 깊이 파고 들어 사람들의 사고와 행동에 큰 영향을 미치고 있다. 다음소프트에서는 자연언어 처리와 텍스트 마이닝 기술, 그리고 최근에 급부상한 빅데이터 처리 기법을 접목하여 소셜 빅 데이터 분석 플랫폼을 구축하고 기업 및 공공기관을 위한 서비스를 제공하고 있다. 이 강연에서는 다음소프트의 소셜 빅데이터 분석의 방법과 실제 응용 사례를 소개한다.

This summer graduate school will take place at the National Institute for Mathematical Sciences in Daejeon, South Korea.  The purpose of this summer school is to introduce some of the basic ideas and methods of random matrix theory to graduate students.  In particular there will be three lecture series on random matrix theory from three different perspectives: from the view points of the integrable structures, the moment method, and the Stieltjes transorm technique.  In addition to the lectures, there will be discussion sessions, and the students will also have plenty of time to interact with the lecturers and with other students.

NIMS지원 암호여름학교의 개최는 암호 및 정보보호에 관심을 가지는 수학자, 공학자, 학생들, 연구원들 등의 암호 연구 저 변을 확대하는데 많은 도움을 줄 것이다. 강연을 해줄 초빙연사들은 관련 분야의 알기 쉬운 내용 소개, 새로운 연구결과, 그 리고 유망한 연구 주제를 소개함으로써 현대 암호연구의 이해를 도모하게 할 것이며 대학원생 및 젊은 연구자들에게 연구교 류의 장을 제공함으로 그들이 향후 활발한 연구를 하여 사회에 보탬이 되는 주요 연구 인력으로 성장해나가는 기반을 마련할 것이다. 더불어 학문후속세대인 대학원생들이 학생시절부터 일찍 자신들의 연구주제에 대한 의견을 교환하고 연구 협력할 수 있는 기회를 제공하는 등 여러 가지 긍정적인 파급효과를 가져올 것이다.