세미나 및 콜로퀴엄

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

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

A signed graph is a graph in which each edge has a positive or negative sign. Calling two graphs switch equivalent if one can get from one to the other by the iteration of the local action of switching all signs on edges incident to a given vertex, we say that there is a switch homomorphism from a signed graph $G$ to a signed graph $H$ if there is a sign preserving homomorphism from $G’$ to $H$ for some graph $G’$ that is switch equivalent to $G$. By reductions to CSP this problem, and its list version, are known to be either polynomial time solvable or NP-complete, depending on $H$. Recently those signed graphs $H$ for which the switch homomorphism problem is in $P$ were characterised. Such a characterisation is yet unknown for the list version of the problem. We talk about recent work towards such a characterisation and about how these problems fit in with bigger questions that still remain around the recent CSP dichotomy theorem.
Host: 엄상일     영어     2021-05-06 16:12:10
Let G be a finite group. The minimal ramification problem famously asks about the minimal number µ(G) of ramified primes in any Galois extension of Q with group G. A conjecture due to Boston and Markin predicts the value of µ(G). I will report on recent progress on this problem, as well as several other problems which may be described as minimal ramification problems in a wider sense, notably: what is the smallest number k = k(G) such that there exists a G-extension of Q with discriminant not divisible by any (k + 1)-th power?, and: what is the smallest number m = m(G) such that there exists a G-extension of Q with all ramification indices dividing m? Apart from partial results over Q, I will present function field analogs. (If you would like to join the seminar, contact Bo-Hae Im to get the zoom link.)
Host: Bo-Hae Im     미정     2021-03-31 11:17:00
심사위원장: 곽시종, 심사위원: 이용남, 백상훈, 박의성(고려대 수학과), 박진형(서강대 수학과)
한국어     2021-04-14 19:14:36
다중관점기하학(multiple view geometry)에서는 카메라 관점의 변화에 따라 피사체의 영상이 어떻게 변화하는 지를 분석하고, 여러 관점에서 얻은 2차원 영상으로부터 3차원 모델을 재구성하는 기법을 연구한다. 본 강연에서는 다중관점기하학의 기본적인 개념과 테크닉을 설명하고, 이를 의료영상, 자율주행, 스마트헬스케어 등 다양한 산업분야에 적용하는 것에 대하여 소개한다.
Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     미정     2021-05-04 14:16:53
For the mass-critical/supercritical pseudo-relativistic nonlinear Schrödinger equation, Bellazzini, Georgiev and Visciglia constructed a class of stationary solutions as local energy minimizers under an additional kinetic energy constraint, and they showed the orbital stability of the energy minimizer manifold. In this talk, by proving its local uniqueness, we show the orbital stability of the solitary wave, not that of the energy minimizer set. The key new aspect is reformulation of the variational problem in the non-relativistic regime, which is, we think, more natural because the proof heavily relies on the sub-critical nature of the limiting model. By this approach, the meaning of the additional constraint is clarified, a more suitable Gagliardo-Nirenberg inequality is introduced, and the non-relativistic limit is proved. Finally, using the non-relativistic limit, we obtain the local uniqueness and the non-degeneracy of the minimizer. This talk is based on joint work with Sangdon Jin.
Host: 강문진     한국어     2021-05-10 18:08:43
We will describe a construction of infinitesimal invariants of thickened one dimensional cycles in three dimensional space, which are the simplest cycles that are not in the Milnor range. This is an analog of a construction of J. Park in the context of additive Chow groups. The construction allows us to prove the infinitesimal version of the strong reciprocity conjecture for thickenings of all orders. Classical analogs of our invariants are based on the dilogarithm function and our invariant could be seen as their infinitesimal version. Despite this analogy, the infinitesimal version cannot be obtained from their classical counterparts through a limiting process.
Zoom ID: 352 730 6970. Password : 9999. All times are in KST.
Host: 박진현     Contact: 박진현 (2734)     영어     2021-03-11 13:44:04
The logarithmic analog of SH(k) is logSH(k). In logSH(k), topological cyclic homology is representable. Furthermore, the cyclotomic trace map from K to TC is representable too when k is a perfect field with resolution of singularities. In the second talk, I will explain the construction of logSH(k) and how we can achieve these results. This work is joint with Federico Binda and Paul Arne Østvær.
Zoom connection details will be provided a few days before the talk. The date and the time may change if the circumstances of the speaker require it. Please check it often.
Host: 박진현     Contact: 박진현 (2734)     영어     2021-03-31 20:56:06
We show that log-concavity is the weakest power concavity preserved by the Dirichlet heat flow in convex domains in ${\bf R}^N$, where $N\ge 2$. Jointly with what we already know, i.e. that log-concavity is the strongest power concavity preserved by the heat flow, we see that log-concavity is the only power concavity preserved by the Dirichlet heat flow. This is a joint work with Paolo Salani (Univ. of Florence) and Asuka Takatsu (Tokyo Metropolitan Univ.)
Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     미정     2021-04-20 10:07:51
심사위원장 권순식, 심사위원 김용정, 이지운, 허형진(중앙대 수학과), 오성진(University of California at Berkeley, 수학과)
한국어     2021-05-10 17:46:21
Introduction: In this lecture series, we'll discuss algebro-geometric study on fundamental problems concerning tensors via higher secant varieties. We start by recalling definition of tensors, basic properties and small examples and proceed to discussion on tensor rank, decomposition, and X-rank for any nondegenerate variety $X$ in a projective space. Higher secant varieties of Segre (resp. Veronese) embeddings will be regarded as a natural parameter space of general (resp. symmetric) tensors in the lectures. We also review known results on dimensions of secants of Segre and Veronese, and consider various techniques to provide equations on the secants.In the end, we'll finish the lectures by introducing some open problems related to the theme such as syzygy structures and singularities of higher secant varieties.
Host: 곽시종     Contact: 김윤옥 (5745)     미정     2021-05-04 14:07:14
The rapid development of high-throughput sequencing technology in recent years is providing unprecedented opportunities to profile microbial communities from a variety of environments, but analysis of such multivariate taxon count data remains challenging. I present two flexible Bayesian methods to analyze complex count data with application to microbiome study. The first project is to develop a Bayesian sparse multivariate regression method that model the relationship between microbe abundance and environmental factors. We extend conventional nonlocal priors, and construct asymmetric non-local priors for regression coefficients to efficiently identify relevant covariates and their effect directions. The developed Bayesian sparse regression model is applied to analyze an ocean microbiome dataset collected over time to study the association of harmful algal bloom conditions with microbial communities. For the second project, we develop a Bayesian nonparametric regression model for count data with excess zeros. The approach provides straightforward community-level insights into how characteristics of microbial communities such as taxa richness and diversity are related to covariates. The baseline counts of taxa in samples are carefully constructed to obtain improved estimates of differential abundance. We apply the model to a chronic wound microbiome dataset, comparing the microbial communities present in chronic wounds versus in healthy skin.
Co-authors; Kurtis Shuler (Sandia National Lab), Marilou Sison-Mangus (Ocean Sciences, UCSC), Irene A. Chen (Chemistry and Biochemistry, UCLA), Samuel Verbanic (Chemistry and Biochemistry, UCLA)
Host: 정연승     Contact: 김규식 (042-350-2702)     한국어 (필요한 경우 영어 가능) ( )     2021-03-03 19:38:36
Diophantine approximation is a branch of number theory where one studies approximation of irrational numbers by rationals and quality of such approximations. In this talk, we will consider intrinsic Diophantine approximation, which deals with approximating irrational points in a closed subset $X$ in $\mathbb{R}^n$ via rational points lying in $X$. First, we consider $X = S^1$, the unit circle in $\mathbb{R}^2$ centered at the origin. We give a complete description of an initial discrete part of the Lagrange spectrum of $S^1$ in the sense of intrinsic Diophantine approximation. This is an analogue of the classical result of Markoff in 1879, where he characterized the most badly approximable real numbers via the periods of their continued fraction expansions. Additionally, we present similar results for approximations of $S^1$ by a few different sets of rational points. This is joint work with Dong Han Kim (Dongguk University, Seoul).
Host: Bo-Hae Im     영어     2021-04-21 09:02:40
A knot is a smooth embedding of an oriented circle into the three-sphere, and two knots are concordant if they cobound a smoothly embedded annulus in the three-sphere times the interval. Concordance gives an equivalence relation, and the set of equivalence classes forms a group called the concordance group. This group was introduced by Fox and Milnor in the 60's and has played an important role in the development of low-dimensional topology. In this talk, I will present some known results on the structure of the group. Also, I will talk about a knot that has infinite order in the concordance group, though it bounds a smoothly embedded disk in a rational homology ball. This is joint work with Jennifer Hom, Sungkyung Kang, and Matthew Stoffregen.
Host: 백형렬     Contact: 김규식 (042-350-2702)     한국어 (필요한 경우 영어 가능) ( )     2021-03-03 19:40:33
MUltiple SIgnal Classification (MUSIC) is a well-known, non-iterative imaging technique in inverse scattering problem. Throughout various researches, it has been confirmed that MUSIC is very fast, effective, and stable. Due to this reason MUSIC has been applied to various inverse scattering problems however, it has not yet been designed and used to identify unknown anomalies from measured scattering parameters (S-parameters) in microwave imaging. In this presentation, we apply MUSIC in microwave imaging for a fast identification of arbitrary shaped anomalies from real-data and establish a mathematical theory for illustrating the feasibilities and limitations of MUSIC. Simulations results with real-data are shown for supporting established theoretical results.
Host: 임미경     한국어 (필요한 경우 영어 가능) ( )     2021-05-06 09:47:33
I will discuss various near-rationality concepts for smooth projective varieties. I will introduce the standard norm variety associated with a symbol in mod-l Milnor K-theory. The standard norm varieties played an important role in Vovedsky's proof of the Bloch-Kato conjecture. I will then describe known near-rationality results for standard norm varieties and outline an argument showing that a standard norm variety is universally R-trivial over an algebraically closed field of characteristic 0. The talk is based on joint work with Chetan Balwe and Amit Hogadi.
Zoom connection details will become available some days ahead of the talk.
Host: 박진현     Contact: 박진현 (2734)     영어     2021-03-31 20:49:47
심사위원장 정연승, 심사위원 김성호, 황강욱, 전현호, 최태련(고려대 통계학과)
한국어     2021-05-06 17:04:11
We define a localised Euler class for isotropic sections, and isotropic cones, in SO(N) bundles. We use this to give an algebraic definition of Borisov-Joyce sheaf counting invariants on Calabi-Yau 4-folds. When a torus acts, we prove a localisation result. This talk is based on the joint work with Richard P. Thomas.
Zoom connection details will be provided later. The above times are in Korean Standard Time. This is the same time as 9AM of June 18, 2021 (Friday) in the UK (GMT+1)
Host: 박진현     Contact: 박진현 (2734)     미정     2021-04-21 22:33:36
The standard machine learning paradigm optimizing average-case performance performs poorly under distributional shift. For example, image classifiers have low accuracy on underrepresented demographic groups, and their performance degrades significantly on domains that are different from what the model was trained on. We develop and analyze a distributionally robust stochastic optimization (DRO) framework over shifts in the data-generating distribution. Our procedure efficiently optimizes the worst-case performance, and guarantees a uniform level of performance over subpopulations. We characterize the trade-off between distributional robustness and sample complexity, and prove that our procedure achieves this optimal trade-off. Empirically, our procedure improves tail performance, and maintains good performance on subpopulations even over time.
Contact: 확률 해석 및 응용 연구센터 (042-350-8111/8117)     미정     2021-03-22 10:23:11
This is part VI of the lectures on infinity-categories. I'll keep talking about the simplicial nerve construction in contrast to the ordinary nerve functor. To finish off this whole series, some overview of the theory of infinity-categories will be given, including how similar and different it is to the ordinary category theory.
Zoom ID: 352 730 6970, Password: 9999
Host: 박진현     Contact: 박진현 (2734)     한국어     2021-04-24 18:14:03
Morel and Voevodsky constructed the A^1-motivic homotopy category SH(k). One purpose of motivic homotopy theory is to incorporate various cohomology theories into a single framework so that one can discuss relations between cohomology theories more efficiently. However, there are still lots of non A^1-invariant cohomology theories, e.g. Hodge cohomology and topological cyclic homology. There is no way to represent these in SH(k). In the first talk, I will explain the construction of logDM^{eff}(k) for a perfect field k, which is strictly larger than Voevodsky's triangulated categories of motives DM^{eff}(k) because Hodge cohomology is representable in logDM^{eff}(k). This work is joint with Federico Binda and Paul Arne Østvær.
Zoom ID: 352 730 6970, Password: 9999
Host: 박진현     Contact: 박진현 (2734)     영어     2021-03-31 20:54:08
Introduction: In this lecture series, we'll discuss algebro-geometric study on fundamental problems concerning tensors via higher secant varieties. We start by recalling definition of tensors, basic properties and small examples and proceed to discussion on tensor rank, decomposition, and X-rank for any nondegenerate variety $X$ in a projective space. Higher secant varieties of Segre (resp. Veronese) embeddings will be regarded as a natural parameter space of general (resp. symmetric) tensors in the lectures. We also review known results on dimensions of secants of Segre and Veronese, and consider various techniques to provide equations on the secants. In the end, we'll finish the lectures by introducing some open problems related to the theme such as syzygy structures and singularities of higher secant varieties.
Host: 곽시종     Contact: 김윤옥 (5745)     미정     2021-05-04 14:03:39
A notion of sublinear expander has played a central role in the resolutions of a couple of long-standing conjectures in embedding problems in graph theory, including e.g. the odd cycle problem of Erdos and Hajnal that the harmonic sum of odd cycle length in a graph diverges with its chromatic number. I will survey some of these developments.
Host: 김재훈     Contact: 김규식 (042-350-2702)     영어     2021-03-03 19:37:11