세미나 및 콜로퀴엄

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

구글 Calendar나 iPhone 등에서 구독하면 세미나 시작 전에 알림을 받을 수 있습니다.

We provide a combinatorial characterization of all testable properties of k-graphs (i.e. k-uniform hypergraphs).

Here, a k-graph property
Host: 엄상일     미정     2017-07-20 09:39:20

For a reliable simulation of systems subject to noise, it is necessary to characterize the noise properly and develop efficient algorithms.

In the first part of this talk, I will present a numerical technique to model and simulate multiple correlated random processes. The method finds the appropriate expansion for each correlated random process by generalizing the Karhunen-Loeve (K-L) expansion, in particular, by releasing the bi-orthogonal condition of the K-L expansion. I will address the convergence and computational efficiency, in addition to some explicit formulae and analytical results.

In the second part, I will present an adaptive reduced basis method that enables an efficient simulation of parameterized stochastic PDEs. The method is employed by using an adaptive ANOVA and probabilistic collocation method to automatically identify the important dimensions and appropriate resolution in each dimension. The effectiveness of the method is demonstrated in anisotropic high-dimensional stochastic PDEs.

영어     2017-07-21 11:26:00

Based on the quantum white noise theory, we introduce the new concept of quantum white noise derivatives of white noise operators. As applications we solve implementation problems for the canonical commutation relation and for a quantum extension of Girsanov transformation.

 

‣ Date & Time : 7/21, 10:00~11:00, 11:10~12:10

Host: Paul Jung     영어     2017-06-29 17:09:32

In the second lecture we continue the discussion of orthogonal polynomials, now dealing with multi-variable functions. By introducing creation, annihilation, and preservation operators for the multi-variables, we construct again an interacting Fock space (IFS). Thereby we extend the theory of orthogonal polynomials in the 1-dimensional space to that in the multi-dimensional space. As a byproduct we show the relationship between the support of the measure and the deficiency rank of the form generator, which appears in the construction of the IFS. We finish with some open problems. This lecture is based on the joint work with A. Dhahri (Chungbuk) and N. Obata (Tohoku).

- Date & Time : 7/21, 13:30~14:30, 15:00~16:00

 

Host: Ji Oon Lee     영어     2017-06-29 17:37:40

 

We start with the standard construction of generalized white noise functionals as infinite dimensional distributions and we study the analytic characterization theorem for S-transform of generalized white noise functionals. Then we study basic concepts and results on white noise operators which is necessary for the study of quantum white noise calculus. The analytic characterization of operator symbols and the Fock expansion theorem are of particular importance.

 

Host: Paul Jung     영어     2017-06-28 09:59:14

In the first part of the lectures we will discuss 1-dimensional orthogonal polynomials. Main topics that will be discussed are the followings.

-      Three-term recurrence relation and the Jacobi coefficients

-      Examples

-      Graph spectrum

-      Interacting Fock spaces

-      Accardi-Bozejko formula

The main reference for this lecture is <Quantum probability and spectral analysis of graphs>, Springer, 2007, by A. Hora and N. Obata.

 

‣ Date & Time : 7/20, 13:30~14:30, 15:00~16:00

 

Host: Ji Oon Lee     영어     2017-06-29 17:31:37

I will discuss some aspects of the algebraic structure of finitely generated groups of diffeomorphisms of compact one-manifolds. In particular, we show that if G is not virtually metabelian then (G x Z)*Z cannot act faithfully by C^2 diffeomorphisms on a compact one-manifold. Among the consequences of this result is a completion of the classification of right-angled Artin groups which admit faithful C^{\infty} actions on the circle, a program initiated together with H. Baik and S. Kim. This represents joint work with S. Kim.

Host: Hyungryul Baik     영어     2017-07-14 16:24:00

3-d printing gives us unprecedented ability to tailor microstructures to achieve desired goals. From the mechanics perspective one would like, for example, to know how to design structures that guide stress, in the same way that conducting fibers are good for guiding current. In that context the natural question is: what are the possible pairs of (average stress, average strain) that can exist in the material. A more grand question is: what are the possible effective elasticity tensors that can be achieved by structuring a material with known moduli. This is a highly non-trivial problem: in 3-dimensions elasticity tensors have 18 invariants and even an object as simple as a distorted hypercube in 18 dimensions requires about 4.7 million numbers to specify it. Here we review some of the progress that has been made on this question. This is joint work with Marc Briane and Davit Harutyunyan

Host: 임미경     영어     2017-07-05 14:02:59
Let P be a graph property. We look at graph colorings with k colors where each color class induces a graph satisfying P. By a result of Makowsky and Zilber (2005) the number of such colorings xP(G;k) is a polynomial in k. We present recent results and open problems on the complexity of evaluating xP(G;L) for various properties P and (not only integer) values of L. This is joint work with A. Goodall, M. Hermann, T. Kotek and S. Noble which was initiated during last year’s program “Counting Complexity and Phase Transitions”. See also https://arxiv.org/abs/1701.06639
미정     2017-06-29 11:28:58

 

 

The behavior of shape memory materials, the response of composites, and inverse problems (where one seeks to determine what is inside a body from boundary measurements) would at first sight seem to have little in common. However there are unifying mathematical themes that underlie them all. Finding composites that have the best properties, for design applications, often reduces to a type of energy minimization problem with a non-linear energy, even though the underlying physical equations may be linear. The same sort of energy minimization problems govern the response of shape memory materials. Similarly, the response of inhomogenous bodies, as governed by the appropriately defined Dirichlet to Neumann map, is similar in many respects to an effective tensor in the theory of composites, and this connection can be made more mathematically explicit. As a result of these connections, mathematical tools developed in one area can be applied to problems in the other areas.

 

Host: 임미경     영어     2017-07-05 13:59:18

All finite graphs satisfy the two properties mentioned in the title. I will explain what I mean by this, and speculate on generalizations and interconnections. This talk will be non-technical: Nothing will be assumed beyond basic linear algebra.

Host: 엄상일     미정     2017-06-28 13:22:13

In this talk I will introduce tensor networks for breaking the curse-of-dimensionality  in large scale optimizaition problems. I will mainly focus on the tensor train (TT) format, which is one of the simplest tensor networks. I will show how large-scale optimization problems, 

which are intractable by standard numerical methods, can be solved by using the concept of tensorization and TT format. In addition, I will discuss several state-of-the art numerical schemes for tensor networks including truncated iteration scheme, alternating linear scheme, and Riemannian optimization approach.

Host: 김성호     미정     2017-07-05 13:35:05

When network users are satisficing decision-makers, the resulting traffic pattern attains a satisficing user equilibrium, which may deviate from the (perfectly rational) user equilibrium. In a satisficing user equilibrium traffic pattern, the total system travel time can be worse than in the case of the PRUE. We show how bad the worst-case satisficing user equilibrium traffic pattern can be, compared to the perfectly rational user equilibrium. We call the ratio between the total system travel times of the two traffic patterns the price of satisficing, for which we provide an analytical bound. Using the sensitivity analysis for variational inequalities, we propose a numerical method to quantify the price of satisficing for any given network instance.

Host: 엄상일     미정     2017-06-28 13:20:12

Let F be a family of convex sets in R^d coloured using d+1 colours. Lovasz’s Colourful Helly Theorem states that if any colourful subfamily of convex sets is intersecting, then one of the monochromatic families is intersecting. We study what happens with the rest of the families.

Host: 엄상일     영어     2017-06-28 13:18:20

Approximation algorithms and fixed-parameter tractable (FPT) algorithms have been two major ways to deal with NP-hardness of combinatorial optimization problems. The notion of FPT approximation can be naturally defined, and it is getting significant attention recently. Starting from gentle introductions to approximation algorithms and FPT algorithms, I will talk about my three recent results on FPT approximability.
– Given a graph G = (V, E) and an integer k, we study k-Vertex Separator, where the goal is to remove the minimum number of vertices such that each connected component in the resulting graph has at most k vertices. We give an O(log k)-FPT approximation algorithm for k-Vertex Separator. Our result improves the best previous graph partitioning algorithms.
– We also study k-Path Transversal, where the goal is to remove the minimum number of vertices such that there is no simple path of length k. We present an O(log k)-FPT approximation algorithm for k-Path Transversal. There was no nontrivial approximation algorithm for k > 4 before this work.
– Finally, k-cut is the problem where we want to remove the minimum number of edges such that the graph has at least k connected components. We give a (2 – ε)-FPT approximation algorithm for some epsilon > 0, improving upon a (non-FPT) 2-approximation.
The third result is joint work with Anupam Gupta and Jason Li.

Host: 엄상일     미정     2017-06-28 13:16:40

 

In a financially globalized world emerging market countries have different attributes from developed ones. Emerging countries may not be able to enjoy such benefits as consumption smoothing, efficient investment and risk diversification as developed countries do. One example is the sovereign wealth fund, a precautionary savings fund run by government. Instead, they may suffer so-called capital inflow problem caused by massive capital inflows followed by a sudden stop and reversal. The global financial crisis which hit Korea in 2008 is a classic example. The root source of the problem is that these countries, located in the periphery of the global financial world, cannot produce safe assets. The direct implication is that emerging market countries must import safe assets often financed by current account surplus. Furthermore, the central banks in emerging market countries should ultimately bear the risk of currency and maturity mismatches of domestic residents. That is, they should serve not only a lender of last resort but as an insurer of last resort, which makes central banking in emerging market countries complicated. Considering that capital flows are procylical and emerging countries are unable to produce safe assets capital flows to/from emerging market countries even strengthen the case for procylicality. Consequently, it is inevitable that emerging economies in the periphery are heavily influenced by the monetary policy of the center countries, and have essentially no room for independent monetary policy. In fact, the trilemma (inability to choose flexible exchange rates, capital mobility and independent monetary policy) in theory turns out a dilemma in reality. This seminar has two parts, central banking in emerging market and central banking in Korea. After reviewing central banking in emerging market in general I will discuss specific issues related to the monetary policy of the Bank of Korea.

 

Host: 최건호     한국어 (필요한 경우 영어 가능) ( )     2017-06-19 16:43:20

The Langlands program consists of a huge web of tantalizing conjectures in many different directions, e.g., relating number theory, representation theory, algebraic geometry, and harmonic analysis in an unexpected way. After a leisurely introduction to the program through a brief historical review, we introduce yet another point of view on the program, inspired by work of physicists Kapustin and Witten, by investigating a certain 4-dimensional quantum field theory. Incidentally, this turns out to provide surprising new structures on the program. This talk, based on my thesis work, is mostly aimed at non-specialists.

 
Host: 서의린     미정     2017-06-07 09:41:18

The KdV equation is a nonlinear partial differential equation describing waves on shallow water surfaces. In spite of its nonlinearity, this is exactly solvable as it admits a surprisingly rich structure like infinite-dimensional symmetries, called the KdV hierarchy. From a completely different direction, for a Calabi-Yau manifold X, one can consider a generating function of certain enumerative invariants of X. Witten conjectured and Kontsevich proved the mysterious claim that when X is a point, the generating function is governed by the KdV hierarchy. I will explain a program toward understanding what happens when X is a general Calabi-Yau manifold. This talk is based on a joint project in progress with Weiqiang He and Si Li.

 

 

Host: 서의린     미정     2017-06-07 09:42:54

 

In a financially globalized world emerging market countries have different attributes from developed ones. Emerging countries may not be able to enjoy such benefits as consumption smoothing, efficient investment and risk diversification as developed countries do. One example is the sovereign wealth fund, a precautionary savings fund run by government. Instead, they may suffer so-called capital inflow problem caused by massive capital inflows followed by a sudden stop and reversal. The global financial crisis which hit Korea in 2008 is a classic example. The root source of the problem is that these countries, located in the periphery of the global financial world, cannot produce safe assets. The direct implication is that emerging market countries must import safe assets often financed by current account surplus. Furthermore, the central banks in emerging market countries should ultimately bear the risk of currency and maturity mismatches of domestic residents. That is, they should serve not only a lender of last resort but as an insurer of last resort, which makes central banking in emerging market countries complicated. Considering that capital flows are procylical and emerging countries are unable to produce safe assets capital flows to/from emerging market countries even strengthen the case for procylicality. Consequently, it is inevitable that emerging economies in the periphery are heavily influenced by the monetary policy of the center countries, and have essentially no room for independent monetary policy. In fact, the trilemma (inability to choose flexible exchange rates, capital mobility and independent monetary policy) in theory turns out a dilemma in reality. This seminar has two parts, central banking in emerging market and central banking in Korea. After reviewing central banking in emerging market in general I will discuss specific issues related to the monetary policy of the Bank of Korea.

 

Host: 최건호     한국어 (필요한 경우 영어 가능) ( )     2017-06-19 16:04:07

 

In this talk, I will describe a project (work in progress) with Sang-Bum Yoo, on birational geometry of moduli spaces of parabolic bundles on the projective line in the framework of Mori’s program. It exhibits an interesting connection between representation theory and birational algebraic geometry via invariant theory.

Host: 곽시종     미정     2017-06-20 16:20:02

논문 및 특허분석을 포함한 연결망 분석에서 시간이 가장 많이 소요되는 단계가 데이터 전처리와 행렬생성, 그리고 Pajek과 Gephi 등과 같은 네트워크 분석 전문 S/W에 적합한 입력데이터를 만드는 과정입니다. KnowledgeMatrix Plus는 1) 한글 및 영문 명사 추출, stemming, 시소러스 등을 통해 데이터 전처리를 지원하고, 2) 다양한 형태의 1-mode matrix와 2-mode matrix를 생성하여, 3) 네트워크 분석 및 가시화 S/W인 VOSviewer, Pajek, Gephi에서 즉시 분석을 할 수 있도록 지원하는 소프트웨어입니다. 이번 세미나를 통해 데이터 전처리에서 행렬생성, 네트워크 분석 및 가시화까지의 전과정을 다양한 공개 S/W를 활용하여 분석하는 방법을 함께 공유하고자 합니다.


[준비사항]
 
○ 아래 S/W는 사전에 설치 부탁드립니다.
    1) KnowledgeMatrix Plus http://mirian.kisti.re.kr/km/km.jsp  (윈도우만 가능)
    4) Gephi 0.8.2 버전
       맨 아래 setup 파일 다운로드

 

○ 당일 세미나 자료 이외의 조금 긴 자료와 샘플데이터는,

    http://mirian.kisti.re.kr/km/km.jsp 의 \'Notice - 과학기술 계량분석 공개 튜토리얼 자료집\'(압축파일)을 참조하시기 바랍니다.

 

 Gephi의 경우 기존 자바와 충돌이 일어나 설치가 되어도 실행이 안 될 경우가 있습니다.

   이 경우에 첨부한 gephi_jre7_지정하는 방법.pdf를 참조하시기 바랍니다.

 

Host: 기초과학연구정보센터     한국어     2017-06-21 11:37:47

Let M be a closed manifold that admits a nontrivial cover diffeomorphic to itself. Which manifolds have such a self-similar structure? Examples are provided by tori, in which case the covering is homotopic to a linear endomorphism. Under the assumption that all iterates of the covering of M are regular, we show that any self-cover is induced by a linear endomorphism of a torus on a quotient of the fundamental group. Under further hypotheses we show that a finite cover of M is a principal torus bundle. We use this to give an application to holomorphic self-covers of Kaehler manifolds.

 

Host: 백형렬     영어     2017-06-16 14:28:30

Credit derivatives such as CDS and CDOs are financial instruments to hedge against the default risk. CDS is a kind of insurance that compensates for the loss of bonds issued by an individual company. CDOs issue a new security called tranche, which has various types of profit and risk structures. This lecture covers the structure and pricing of CDS and CDOs.

 

Host: 최건호     한국어 (필요한 경우 영어 가능) ( )     2017-05-31 14:15:56

In order to measure the return or risk of an investment, it is necessary to reflect the correlation between the return of investment assets and the default random variables. Traditionally, correlation coefficients explain the dependency structure between elliptic distributions such as normal distribution well, but new dependency measures are needed because the actual data show a much different pattern from the elliptical distributions. Copulas are widely used as an alternative to these correlation coefficients and are often used in risk management and the valuation of credit derivatives such as CDOs. This lecture will cover the basic concepts of copula and its applications.

 

 

 

Host: 최건호     한국어 (필요한 경우 영어 가능) ( )     2017-05-31 14:12:13
We establish the lower bound of the entropy of sums in prime cyclic groups and their applications. Main ingredients of our approach are extended rearrangement inequalities in prime cyclic groups and the function ordering in the sense of the majorization. Our entropy inequalities also have interesting applications on Discrete Entropy Power Inequalities, and the Littlewood-Offord problem. If time permits, we discuss how to establish the lower bound of the entropy of sums in integer through Sperner Theory. 
 
Host: 박진현     영어     2017-06-07 09:52:11

Many basic PDE of physical interest, such as the three-dimensional Navier-Stokes equations, are "supercritical" in that the known conserved or bounded quantities for these equations allow the nonlinear components of the PDE to dominate the linear ones at fine scales. Because of this, almost none of the known methods for establishing global regularity for such equations can work, and global regularity for Navier-Stokes in particular is a notorious open problem. We present here some ways to show that if one allows some modifications to these supercritical PDE, one can in fact construct solutions that blow up in finite time (while still obeying conservation laws such as conservation of energy). This does not directly impact the global regularity question for the unmodified equations, but it does rule out some potential approaches to establish such regularity.


2017 CMC Distinguished Lecture Series by Terence Tao

Host: 권순식, Paul Jung     영어     2017-04-29 15:55:43

Let G be a graph on n vertices with independence number α. How large must a k-connected subgraph G contain? We shall present the best possible answers when α=2 and α=3. Some open questions will also be presented.

Joint work with Shinya Fujita (Yokohama City University, Japan) and Amites Sarkar (Western Washington University, USA).
Host: Sang-il Oum     미정     2017-06-08 09:35:20

The discrepancy of a sequence f(1), f(2), ... of numbers is defined to be the largest value of |f(d) + f(2d) + ... + f(nd)| as n,d range over the natural numbers. In the 1930s, Erdos posed the question of whether any sequence consisting only of +1 and -1 could have bounded discrepancy. In 2010, the collaborative Polymath5 project showed (among other things) that the problem could be effectively reduced to a problem involving completely multiplicative sequences. Finally, using recent breakthroughs in the asymptotics of completely multiplicative sequences by Matomaki and Radziwill, as well as a surprising application of the Shannon entropy inequalities, the Erdos discrepancy problem was solved in 2015. In this talk I will discuss this solution and its connection to the Chowla and Elliott conjectures in number theory.


2017 CMC Distinguished Lecture Series by Terence Tao

Host: 권순식, Paul Jung     영어     2017-04-29 15:53:31
We proposes a computational framework for continuous time opinion dynamics with additive noise. We derive a non-local partial differential equation for the distribution of opinions differences. We use Mellin transforms to solve the stationary solution of this equation in closed form. This approach can be applied both to linear dynamics on an interaction graph and to bounded confidence dynamics in the Euclidean space. To the best of our knowledge, the closed form expression on the stationary distribution of the bounded confidence model is the first quantitative result on the equilibria of this class of models. The solutions are presented here in the simplest possible cases (small number of agents, present of stubborn agents, one dimensional opinions).
 
Host: 폴정     영어     2017-06-07 09:49:22

Hyperrings and hyperfields are algebraic structures which generalize commutative rings and fields. In this talk, we aim to introduce these exotic structures and also provide examples which illustrate how hyperrings and hyperfields show up in algebraic geometry and combinatorics following the idea of Baker and Bowler on `matroids over hyperfields'. 

Host: 박진현 2734     미정     2017-05-18 17:20:52

We introduce the concept of low rank-width colorings, generalizing the notion of low tree-depth colorings introduced by Nešetřil and Ossona de Mendez in [Grad and classes with bounded expansion I. Decompositions. EJC 2008]. We say that a class C of graphs admits low rank-width colorings if there exist functions N:ℕ→ℕ and Q:ℕ→ℕ such that for all p∈ℕ, every graph G∈C can be vertex colored with at most N(p) colors such that the union of any i≤p color classes induces a subgraph of rank-width at most Q(i).
Graph classes admitting low rank-width colorings strictly generalize graph classes admitting low tree-depth colorings and graph classes of bounded rank-width. We prove that for every graph class C of bounded expansion and every positive integer r, the class {Gr: G∈C} of r-th powers of graphs from C, as well as the classes of unit interval graphs and bipartite permutation graphs admit low rank-width colorings. All of these classes have unbounded rank-width and do not admit low tree-depth colorings. We also show that the classes of interval graphs and permutation graphs do not admit low rank-width colorings. In this talk, we provide the color refinement technique necessary to show the first result. This is joint work with Sebastian Sierbertz and Michał Pilipczuk.

Host: 엄상일     미정     2017-06-02 09:33:49

In this talk, we consider stochastic partial differential equations, especially, a parabolic Anderson model. This model shows intermittent phenomena, i.e., the solution becomes very big on small regions of different scales (we say tall peaks occur on small islands). We provide a way to quantify tall peaks and small islands by using the macroscopic fractal dimension theory by Barlow and Taylor. This is based on joint work with Davar Khoshnevisan and Yimin Xiao. 

 

Host: 폴정     한국어 (필요한 경우 영어 가능) ( )     2017-06-01 16:53:02

The interactions between particles and uid have received a bulk of attention due to a number of their applications in the eld of, for example, biotechnology, medicine, and in the study of sedimentation phenomenon, compressibility of droplets of the spray, cooling tower plumes, and diesel engines, etc. In this talk, we present coupled kinetic- uid equations. The proposed equations consist of Vlasov-Fokker-Planck equation with local alignment forces and the incompressible Navier-Stokes equations. For the equations, we establish the global existence of weak solutions, hydrodynamic limit, and large-time behavior of solutions. We also remark on blow-up of classical solutions in the whole space.

Host: 권순식     미정     2017-05-23 14:27:52

High-frequency financial data allow us to estimate large volatility matrices with relatively short time horizon.  Many novel statistical methods have been introduced to address large volatility matrix estimation problems from a high-dimensional Ito process with micro-structure noise contamination. Their asymptotic theories require sub-Gaussian or some finite high-order moments assumptions.  These assumptions are at odd with the heavy tail phenomenon that is pandemic in financial stock returns and new procedures are needed to mitigate the influence of heavy tails. In this paper, we introduce the Huber loss function with a diverging threshold to develop a robust realized volatility estimation.  We show that it has the sub-Gaussian concentration around the conditional expected volatility with only finite fourth moments. With the proposed robust estimator as input, we further regularize it by using the principal orthogonal component thresholding (POET) procedure to estimate the large volatility matrix that admits an approximate factor structure.  We establish the asymptotic theories for such low-rank plus sparse matrices. The simulation study is conducted to check the finite sample performance of the proposed estimation methods.

 
Host: 김성호     한국어     2017-05-31 16:18:22

2017 제4회 정오의 수학산책

 

 

 

강연자: 양성덕 (고려대)

일시: 2017년 6월 2일(금) 12:00 ~ 13:15

장소: 카이스트 자연과학동 E6-1 3435호

 

제목: 고차원 공간의 계량과 곡률

내용: TBA

 

등록: 2017년 5월 31일(수) 오후 3시까지

         https://goo.gl/forms/ol819KdGNA5SdGSr2

 

문의: hskim@kias.re.kr / 내선:8545

 

 

Host: 이지운     한국어     2017-02-28 16:20:59

The circle is the only connected closed 1-dimensional manifold, and maybe that's why it has so many interesting features. In this talk, we would like to emphasize that there are many things we still do not know about this one of the simplest manifolds. We will survey many interesting recent results around the circle in the context of low-dimensional topology.

 

 

Host: 학과     한국어     2017-02-21 12:43:55