Department Seminars & Colloquia




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

When you're logged in, you can subscribe seminars via e-mail

Cohomology jump loci are topological invariants generalizing the usual singular cohomology groups. I will give a survey on the theory of cohomology jump locus, especially the structure theorems developed by Simpson, Schnell, Budur and myself. As an application, I will give an example of non-Kahler Calabi-Yau symplectic-complex manifold. This example is joint work with Lizhen Qin. 

English     2016-06-20 11:35:28

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

 

Host: 윤동성     Korean     2016-07-25 09:03:36

In this talk, I will introduce normally ordered product and other equivalent definitions of vertex algebras via Borcherds identity.

 

Host: 윤동성     Korean     2016-07-25 09:13:47

Graphical models capture the conditional independence structure among random variables via the existence of edges among vertices. One way of inferring a graph is to use a partial correlation coefficient using the fact that a zero partial correlation coefficient is equivalent to conditional independence under the Gaussian assumption. In order to relax the distributional assumption, we propose kernel partial correlation which is a new conditional independence measure. It is a direct nonparametric extension of the partial correlation coefficient and estimated using a combination of two statistical methods. First, a support vector regression is employed to separate non-random components of conditional distributions, and then the dependence between remaining random components is assessed through a kernel-based association measure.  The proposed method is not only a flexible conditional independence measure but also can be estimated robustly under high levels of noise owing to the robustness of the employed nonparametric approaches. Upon comparisons to existing approaches, our method outperforms others when it is applied to simulated data as well as real data from single-cell RNA-sequencing experiments.

Host: 김성호     Korean     2016-07-21 10:50:34

   A Gaussian graphical model (GGM) is one of the most widely-used tools for statistical network analysis, partly because it turns estimation of a graph into sparse estimation of a high-dimensional precision matrix. To relax the multivariate Gaussian assumption, there have been many developments in non-Gaussian graphical models, through the use of either nonparametric copula transformation or generalized additive models. However, each of these methods has limitations, where the copula transformation cannot capture general non-linear associations and the generalized additive model is not able to detect dependences through conditional variances. In this talk, I will discuss two recent graphical model approaches that extend the GGM approach. The first one is an additive semigraphoid model approach that infers a graph based on additive conditional independence (ACI) relation. The ACI is different from conditional independence, but it satisfies the axioms for a semigraphoid that capture the essence of a graph. The second one is a sparse quantile-based graphical model (SQGM) that infers a graph based on the components of quantile regression. As an inverse mapping function of a conditional probability function, conditional quantile is able to characterize a complete picture of conditional dependence. Utilizing this feature, SQGM is able to broaden the scope of graphical models. Finally, the applications of these approaches to real biological datasets from genomics will be presented.

Host: 김성호     Korean     2016-07-13 10:24:45

We consider a class of stochastic processes, which can be regarded as
the perturbation of deterministic dynamics in a potential field. These
processes exhibit a phenomenon known as metastable behavior if the
potential field has several local minima. Metastable behavior is the
phenomenon in which a process starting from one of local minima
arrives at the neighborhood of the global minimum after a sufficiently
long time scale. The precise asymptotic analysis of this transition
time has been known only for the reversible dynamics, based on the
potential theory of reversible Markov processes. In this presentation,
we review this metastability theory for reversible dynamics, and
introduce our recent generalization to the non-reversible dymamics.
(joint work with C. Landim)

Host: 강완모     English     2016-06-21 11:15:07

In this talk, we will survey the book "Arithmeticity in the theory of automorphic forms - G.Shimura (2000)".

Host: 윤동성     Korean     2016-07-05 16:58:43

This talk is a part of lecture series introducing vertex algebras. Last time, I explained motivations and definitions of vertex algebras. In this lecture, I will explain more about the locality axiom using formal distributions and the decomposition theorem. Also, I will introduce normally ordered products of a vertex algebra. 

 

Host: 윤동성     Korean     2016-07-05 17:04:33

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:45:16

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:47:24

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:50:26

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:34:34

양자컴퓨터의 개발이 가시화 되면서 포스트 퀀텀 암호에 대한 관심이 급증하고 있다. 특히 2015년 8월 NSA suite B 암호를 교체한다는 발표와 2016년 2월 NIST에서 새로운 암호를 공모한다는 발표에 따라 많은 암호학자들이 포스트 퀀텀 암호를 눈여겨보고 있다. 이번 강의에서는 포스트 퀀텀 암호들 중에서 격자 기반 암호에 대하여 전반적으로 알아보고, 관련 문제들을 토론하는 시간을 가지도록 한다.

Host: 한상근     Korean     2016-07-05 16:38:41

BDDC(Balancing Domain Decomposition by Constraints) methods based on an adaptive selection of primal constraints for problems posed in H(div) are introduced. Our methods are fully algebraic and deal with highly oscillating coefficients. Bounds on the condition number of the preconditioned linear system are also provided which are independent of the values and jumps. This is joint work with Olof Widlund(Courant Institute), Stefano Zampini(KAUST), and Clark Dohrmann(Sandia National Lab).

Host: 이창옥     To be announced     2016-06-22 19:12:24

 A set F of graphs has the Erdős-Posa property if there exists a function f such that every graph either contains k disjoint subgraphs each isomorphic to a member in F or contains a set of at most f(k) vertices intersecting all such subgraphs. In this talk I will address the Erdős-Posa property with respect to three closely related graph containment relations: minor, topological minor, and immersion. We denote the set of graphs containing H as a minor, topological minor and immersion by M(H),T(H) and I(H), respectively. Robertson and Seymour in 1980’s proved that M(H) has the Erdős-Posa property if and only if H is planar. And they left the question for characterizing H in which T(H) has the Erdős-Posa property in the same paper. This characterization is expected to be complicated as T(H) has no Erdős-Posa property even for some tree H. In this talk, I will present joint work with Postle and Wollan for providing such a characterization. For immersions, it is more reasonable to consider an edge-variant of the Erdős-Posa property: packing edge-disjoint subgraphs and covering them by edges. I(H) has no this edge-variant of the Erdős-Posa property even for some tree H. However, I will prove that I(H) has the edge-variant of the Erdős-Posa property for every graph H if the host graphs are restricted to be 4-edge-connected. The 4-edge-connectivity cannot be replaced by the 3-edge-connectivity.

Host: 엄상일     English     2016-06-22 09:32:39

In this talk, we will survey the book "Arithmeticity in the theory of
automorphic forms - G.Shimura (2000)".

To be announced     2016-06-27 09:44:43

A vertex algebra is an algebraic structure which is constructed to explain
conformal field theory (CFT) rigorously. So a vertex algebra is endowed
with a non-associative product called normally ordered product which shows
operator product expansions in CFT. On the other hand, purely
mathematically, it is closely related to the theory of affine Lie algebras.
In this talk, I will introduce the most well-known definition of vertex
algebras and show simple examples.

To be announced     2016-06-27 09:47:47

Type 2 diabetes (T2D) is generally thought to result from the combination of two metabolic defects, insulin resistance, which increases the level of insulin required to maintain glucose within the normal range, and failure of insulin-secreting pancreatic beta cells to compensate for the increased demand. We have built up a comprehensive mathematical model of progression to T2D. The dynamics of failure and compensation can be described on two-dimensional slow manifold to investigate the mechanisms of progression to diabetes. In addition, we have extended our mathematical model by adding daily meals and hepatic glucose production, which is helpful for studying the clinical implications. These enhancements allow us to look at the mechanistic defects that underlie observed pathologies such as impaired fasting glucose (IFG) and impaired glucose tolerance (IGT). The model supports associations found in experiments between IFG and excess HGP and between IGT and peripheral insulin resistance. The model suggests how to personalize therapeutic approaches for subjects based on their underlying metabolic abnormalities.

Host: 김재경     English     2016-05-11 13:59:35

This talk deals with some questions concerning the convergence of the solu-tions to a dynamic equation on time scale. It is also concerned with the stability domains, the spectrum of matrix pairs, the exponential stability and its robustness measure for linear implicit dynamic equations of arbitrary index.

Host: 국가수리과학연구소     To be announced     2016-06-13 11:47:20

In this talk I will discuss research with the goal of building models of brain anatomy. The neuronanatomical structures of interest can be broadly subdivided into two categories - cortical and non-cortical. Cortical structures (particularly the cerbral cortex) are typically highly folded, thin sheets of gray matter. Functionally, the cerebral cortex has been shown to have a "columnar" architecture. For this reason, we construct surface-based models for analysis of cortical properties. The construction of such models is a difficult task due to the high degree of folding of the cortical manifold in conjunction with the limited (~ 1 mm) resolution of current neuroimaging technologies. Once constructed, the cortical models can be deformed for morphometry, visualization and registration purposes. I will show some results of this type of analysis, including the morphometric changes that the cortex undergoes in disorders such as schizophrenia, Alzheimer's disease, and Huntington's disease, as well as healthy aging.
A different set of techniques have been developed for the construction of models of subcortical structures. Here, we model the segmentation as an anisotropic nonstationary Markov Random Field. The anisotropy lets us model the local spatial relationships that exist between neuroanatomical structures (e.g. hippocampus is anterior and inferior to amygdala), while the nonstationarity facilitates the encoding of inhomogeneous properties of the tissue within a structure. This approach is based on extracting the relevant model parameters from a manually labeled training set, and has been shown to be comparable in accuracy to the manual labeling.

Host: 이창옥     Korean English if it is requested     2016-06-01 12:58:35

기나긴 수학의 역사에서 관찰되는 큰 흐름은 우아함과 완전함에 대한 열망이다. 물리적 세계의 불완전함 이면에 있는 질서를 찾아내고, 수학적 단순화 과정을 거쳐 대칭과 조화를 표현하는 일에 매료된 수학자들은 역사의 도처에서 관찰된다.하지만 세상은 여전히 완전하지 않다. 우주로 간 화성탐험선은 끊임없이 지구로 영상신호를 보내지만, 태양의 자기장과 지구의 오존층에 이리 치이고 저리 치여서 엉뚱하게 변질된 신호가 지구에 도착하지 않는가? 원자의 세계는 뉴턴역학의 결정론이 아니라 양자역학의 확률적 개념으로 접근해야 한다는 사실에 아인슈타인은 “신은 주사위 놀음을 하지 않는다”고 절망하지 않았던가? 프랙탈의 개념을 처음 발견한 망델브로는 불규칙과 무질서가 자연의 본질에 더 가깝다고 결론내리지 않았는가? 수학은 이 혼란에 어떻게 대응하고 있는지 들여다 보고자 한다.

Host: 이창옥     Korean     2016-05-27 17:04:30

This presentation is about recently introduced immersed finite element (IFE) methods that can solve interface problems with structured or even Cartesian meshes advantageously in some applications. After a brief survey on FE/IFE methods based on unstructured meshes for interface problems, this presentation will explain the need to construct IFE functions as macro piecewise polynomials defined with subelements formed by partitioning each interface element with the actual material interface instead of its linear approximation. We present a unified framework for developing and analyzing immersed finite element (IFE) spaces with either linear, or bilinear, or the rotated-$Q_1$ polynomials. Functions in these IFE spaces are locally piecewise polynomials defined according to the sub-elements formed by the interface itself instead of its line approximation. We show that the unisolvence for these IFE spaces follows from the invertibility of the Sherman-Morrison matrix. A group of estimates and identities are established for the interface geometry and shape functions that are applicable to all of these IFE spaces. Most importantly, these fundamental preparations enable us to develop a unified multipoint Taylor expansion procedure for proving that these IFE spaces have the expected optimal approximation capability according to the involved polynomials.

Host: 곽도영     To be announced     2016-05-30 10:01:13

Recently, Marcus, Spielman, and Srivastava proved the  existence of infinite families of bipartite Ramanujan graphs of every  degree at least 3 by using the method of interlacing families of polynomials. In this talk, we apply their method to prove that for any  connected graph G, there exists an orientation of G such that the  spectral radius of the corresponding Hermitian adjacency matrix is at  most that of the universal cover of G.

 

 


Supported by BK21Plus.

Host: 엄상일     To be announced     2016-05-26 11:40:14

In this talk, Bayesian semiparametric methods for function estimation and model selection problems are presented. This talk is designed to provide graduate students and researchers with an introduction to Bayesian semiparametric inference. The orientation is methodological rather than theoretical, but such asymptotic theory as is necessary for a proper understanding and validating specific Bayesian methods will be also covered in detail. The materials will include three aspects of Bayesian inference, (i) Fundamentals (ii) Asymptotics and (iii) Advanced models, focusing on nonparametric and semiparametric methods. For function estimation, the Bayesian semiparametric models using Gaussian process priors are discussed. For model selection, Bayes factors are explained for dealing with lack of fit in regression and goodness of fit in density estimation problems.

Host: 정연승     Korean     2016-05-25 17:26:52

    We show that any supersingular K3 surface of Artin invariant 1 in characteristic p=11, or >13 has an automorphism the entropy of which is the natural logarithm of a Salem number of the maximal degree 22, in particular nonliftable ones to characteristic zero. This is a joint work with Professors H. Esnault and K. Oguiso.

 

Host: 이용남     To be announced     2016-05-18 17:11:09

In this talk, Bayesian semiparametric methods for function estimation and model selection problems are presented. This talk is designed to provide graduate students and researchers with an introduction to Bayesian semiparametric inference. The orientation is methodological rather than theoretical, but such asymptotic theory as is necessary for a proper understanding and validating specific Bayesian methods will be also covered in detail. The materials will include three aspects of Bayesian inference, (i) Fundamentals (ii) Asymptotics and (iii) Advanced models, focusing on nonparametric and semiparametric methods. For function estimation, the Bayesian semiparametric models using Gaussian process priors are discussed. For model selection, Bayes factors are explained for dealing with lack of fit in regression and goodness of fit in density estimation problems.

Host: 정연승     Korean     2016-05-25 17:24:59

  Classification of topological types of Calabi-Yau threefolds is still an open problem. In this talk, we explain how to construct some new Calabi-Yau threefolds via McKay correspondence. Such construction is based on classification of automorphism groups of smooth quintic threefolds.

Host: 이용남     To be announced     2016-05-18 17:00:00

  The F-conjecture is a long-standing conjecture on the structure of the nef cone of the moduli space of (pointed) curves. In this talk, I will explain how one can translate the $S_n$-invariant version of the conjecture into a feasibility problem in polyhedral geometry, which is purely computational. The main ingredients are the graphical algebra in classical invariant theory, embeddings into toric varieties, and the tropical compactification. Also I will propose a stronger statement which might be true for the genus zero case in general, and give some evidences. This is joint work with David Swinarski.

Host: 이용남     To be announced     2016-05-20 12:32:17

  In this talk we will introduce the varieties of minimal rational tangents (VMRT), and show how the projective geometry of VMRT plays a key role in understanding the geometry of projective manifolds.

Host: 이용남     To be announced     2016-05-18 10:14:18
Very recently, Andrew Suk made a major breakthrough on the Erdos-Szekeres convex polygon problem, in which he solves asymptotically this 80 year old problem of determining the minimum number of points in the plane in general position that always guarantees n points in convex position. I will review his proof in full detail.

 

Host: 엄상일     English     2016-05-26 11:37:52

  The F-conjecture is a long-standing conjecture on the structure of the nef cone of the moduli space of (pointed) curves. In this talk, I will explain how one can translate the $S_n$-invariant version of the conjecture into a feasibility problem in polyhedral geometry, which is purely computational. The main ingredients are the graphical algebra in classical invariant theory, embeddings into toric varieties, and the tropical compactification. Also I will propose a stronger statement which might be true for the genus zero case in general, and give some evidences. This is joint work with David Swinarski.

Host: 이용남     To be announced     2016-05-20 12:34:57

In this talk, aimed at a general mathematical audience, I will revisit the classical problem of simplifying polynomials in one variable by Tschirnhaus transformations. Surprisingly, many of the old questions are still open. I will restate them in geometric terms and discuss recent progress in this area.

 


VOD 보기
Host: 백상훈     English     2016-02-17 13:52:56

Let $overline{M_{g, n}}$ be the moduli space of
stable curves of genus $g$ with $n$ marked points.
It is a classical problem in algebraic geometry
to determine which of these spaces are rational over $mathbb C$. 
In this talk, based on joint work with Matthieu Florence,
I will address the rationality problem for twisted forms
of $overline{M_{g, n}}$.  Twisted forms of $overline{M_{g, n}}$
are of interest because they shed light on the arithmetic
geometry of $overline{M_{g, n}}$,
and because they are coarse moduli spaces for natural moduli problems
in their own right. 

A classical result of Yu.~I.~Manin and P.~Swinnerton-Dyer
asserts that every form of $overline{M_{0, 5}}$ is rational.
(Recall that the $F$-forms $overline{M_{0, 5}}$ are precisely
the del Pezzo surfaces of degree $5$ defined over $F$.) 
Mathieu Florence and I recently showed that this theorem
continues to hold for forms of  $overline{M_{0, n}}$ if
$n geq 5$ is odd but fails if $n$ is even.  We also have 
similar results for forms of $overline{M_{g, n}}$, 
where $g leq 5$ (and $n$ is small). Our approach is based on reducing
the rationality problem for twisted forms of $overline{M_{g, n}}$
to certain special cases of the Noether problem. In the talk I plan
to survey some background material on $overline{M_{g, n}}$ and 
twisted forms, and explain how the Noether problem 
arises in this context. 

English     2016-04-20 10:12:50

일시: 5월 20일(금) 12:00 ~ 13:15

장소: 자연과학동 E6-1 3435호

 

주제: 기하학자의 꿈 - 공간의 분류와 대칭성

강연자: 김영훈 교수 (서울대)

Abstract:  유클리드, 데카르트, 리만, 클라인, 그로덴딕을 통해 기하학의 역사를 조망해보고 공간의 분류와 대칭성의 탐구라는 기하학자의 꿈이 어떤 것인지 얘기하고자 한다. 구체적인 예로서 곡선의 경우에 대해 생각해 본다.

 

참가 링크: http://goo.gl/forms/mqr7RHvXl7

Host: 이지운     To be announced     2016-02-24 16:56:31

In 2009, US National Research Council of the National Academies published a report, called “A New Biology for the 21st Century”. One of the major emphases in the New Biology is the integration between biology and mathematics. As explosion of biological measurements takes place in biology due to rapid technology development in recent years, the challenge lies in how to connect and make sense of the massive experimental data collected in various forms at different spatial and temporal scales. Mathematical modeling is becoming an increasingly important tool that enables better understanding of the complex data in biology. In this talk, I will use research carried out in my group as examples to illustrate how mathematics can help discover new knowledge in biology as well as how biological models introduce new challenges and opportunities in mathematics.

 


VOD 보기
Host: 김재경     English     2016-02-17 13:51:21
In a family of $S_{d+1}$-fields ($d=2,3,4$), we obtain the conjectured upper and 
lower bounds of the residues of Dedekind zeta functions except for a density zero set. 
For $S_5$-fields, we need to assume the strong Artin conjecture. 
We also show that there exists an infinite family of number fields with the upper and lower bounds, resp.
This is a joint work with Henry Kim
Host: 배성한     To be announced     2016-04-18 15:27:57

It is well-known that every k-dimensional smooth projective toric variety X ⊂ P^n admits a completely integrable system 

Φ = (Φ_1,...,Φ_k) : X → R^k

Then the image of Φ is a convex polytope and each fiber of Φ is diffeomorphic to a compact torus. In particular, Φ^{-1}(r) is Lagrangian if and only if r is an interior point of Δ_X.

 

Using the theory of Okounkov bodies and toric degenerations, it was proved that any smooth projective variety Y admits a completely integrable system on a dense open subset of Y which can be extended continuously to the whole space Y. Unlike the toric case, some fibers of the integrable system are non-torus Lagrangian and they might have non-vanishing Lagrangian Floer cohomology.

 

In this talk, we study a certain completely integrable system, called the Genfand-Tsetlin system, on a flag variety and explain how to classify all non-torus Lagrangian fibers in a purely combinatorial way.

 

 

Host: 서동엽교수     Korean English if it is requested     2016-05-02 20:51:14

The classic Plateau's problem asks if given a smooth simple closed curve in space, does there exist a smooth orientable (embedded) surface-with-boundary spanning that curve, and having least area among all surfaces spanning the given curve? While the answer is in the affirmative, to solve Plateau's problem requires developing the theory of currents; these are generalized orientable surfaces-with-boundary. In this talk we study Plateau's problem for $C^{1,alpha}$ tangentially immersed boundaries.


VOD 보기
Host: Filippo Morabito     English     2016-02-17 13:49:39

 Harmonic classes for a simplicial complex are the kernel of its combinatorial Laplacians. They contain more information than homology classes for various data analytic purposes. 

In this talk, we will discuss harmonic classes as a new method for analyzing simplicial complexes associated with a given data set. As an application, we will present an intriguing connection between harmonic classes and effective conductance for a network.

 

Host: 장정희     To be announced     2016-05-11 11:24:22

  2016년 3월, 세계를 떠들썩하게 만든 세기의 대결이 펼쳐졌다. 구글 딥마인드(Google DeepMind)가 선보인 인공지능 알파고(AlphaGo)와 바둑기사 이세돌 9단의 5번기였다. "구글 딥마인드 챌린지 매치”의 뚜껑을 열어보니 결과는 알파고의 4대 1 승리, 이세돌 9단의 완패로 대결의 막을 내리게 된다.


 본 강연에서는, 알파고의 기보를 통해 알파고가 세기의 대결에서 보여준 여러 능력들을 ‘바둑이론’을 통해 점검하고, 알파고를 통해 구글이 궁극적으로 성취하고 도달하고자 하는 지향점을 검토하며, 구글 인공지능 프로젝트에 바둑적 관점이 제공할 수 있는 시사점은 무엇인지 말하고자 한다.

Korean     2016-04-22 09:45:42

A new algorithm will be presented for the path tsp, with an improved analysis and ratio. After the starting idea of deleting some edges of Christofides’ trees, we do parity correction and eventual reconnection, taking the salesman to travel through a linear program determining the conditional probabilities for some of his choices; through matroid partition of a set of different matroids for a better choice of his initial spanning trees; and through some other adventures and misadventures.
The proofs proceed by global and intuitively justified steps, where the trees do not hide the forests.

One more pleasant piece of news is that we get closer to the conjectured approximation ratio of 3/2, and a hopefully last misadventure before finishing up this problem is that we still have to add 1/34 to this ratio, and also for the integrality gap. (The previous result was 8/5 with slight improvements.)

This is joint work with Anke van Zuylen.

Host: 엄상일     English     2016-04-27 09:31:22

현재 의료와 헬스케어 산업은 변혁의 시기를 지나고 있다. 의료와 헬스케어 분야를 근본적으로 변화시키고 있는 이 변혁의 시발점은 기하급수적인 디지털 기술의 발전이다. '디지털 헬스케어’ 라고 불리는 이 새로운 분야는 기존의 헬스케어 및 의료 기술이 디지털 기술과 융합되면서 태동되었다. 스마트폰, 웨어러블 디바이스, 사물인터넷, 인공지능, 3D 프린터, 클라우드 컴퓨팅, 증강 현실 등의 디지털 기술 혁신들은 헬스케어에 접목되어 기존의 건강 관리와 질병 진단 및 치료의 판도를 뒤집어 놓고 있다. 디지털 헬스케어 분야에서 어떠한 변화가 일어나고 있으며, 이 변화를 우리는 어떠한 시각으로 바라봐야 할지, 또한 우리가 맞이할 새로운 숙제와 이슈들은 무엇인지를 포괄적으로 살펴본다. 

Host: 김재경     Korean English if it is requested     2016-02-22 10:24:08