세미나 및 콜로퀴엄

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

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

Courcelle’s Theorem is an influential meta-theorem published in 1990. It tells us that a property of graph can be tested in polynomial time, as long as the property can expressed in the monadic second-order logic of graphs, and as long as the input is restricted to a class of graphs with bounded tree-width. There are several properties that are NP-complete in general, but which can be expressed in monadic logic (3-colourability, Hamiltonicity…), so Courcelle’s Theorem implies that these difficult properties can be tested in polynomial time when the structural complexity of the input is limited. Matroids can be considered as a special class of hypergraphs. Any finite set of vectors over a field leads to a matroid, and such a matroid is said to be representable over that field. Hlineny produced a matroid analogue of Courcelle’s Theorem for input classes with bounded branch-width that are representable over a finite field. We have now identified the structural properties of hypergraph classes that allow a proof of Hliněný’s Theorem to go through. This means that we are able to extend his theorem to several other natural classes of matroids. This talk will contain an introduction to matroids, monadic logic, and tree-automata. This is joint work with Daryl Funk, Mike Newman, and Geoff Whittle.
Host: Sang-il Oum (엄상일)     영어     2020-01-07 09:37:49
What is the largest subset of $\mathbb Z_{2^n}$ that doesn’t contain a projective d-cube? In the Boolean lattice, Sperner’s, Erdos’s, Kleitman’s and Samotij’s theorems state that families that do not contain many chains must have a very specific layered structure. We show that if instead of Z n 2 we work in Z 2 n , analogous statements hold if one replaces the word k-chain by projective cube of dimension 2 k − 1 . The largest d-cube-free subset of Z 2 n , if d is not a power of two, exhibits a much more interesting behaviour. This is joint work with Jason Long.
Host: 엄상일     미정     2020-01-10 10:06:29
An important family of incidence problems are discrete analogs of deep questions in geometric measure theory. Perhaps the most famous example of this is the finite field Kakeya conjecture, proved by Dvir in 2008. Dvir’s proof introduced the polynomial method to incidence geometry, which led to the solution to many long-standing problems in the area. I will talk about a generalization of the Kakeya conjecture posed by Ellenberg, Oberlin, and Tao. A ( k , m ) -Furstenberg set S in F n q has the property that, parallel to every affine k -plane V, there is a k-plane W such that | W ∩ S | > m . Using sophisticated ideas from algebraic geometry, Ellenberg and Erman showed that if S is a ( k , m ) -Furstenberg set, then | S | > c m n / k , for a constant c depending on n and k. In recent joint work with Manik Dhar and Zeev Dvir, we give simpler proofs of stronger bounds. For example, if m > 2 n + 7 q , then | S | = ( 1 − o ( 1 ) ) m q n − k , which is tight up to the o ( 1 ) term.
Host: 엄상일     영어     2020-01-10 10:07:56
In many applications of machine learning, interpretable or explainable models for binary classification, such as decision trees or decision lists, are preferred over potentially more accurate but less interpretable models such as random forests or support vector machines. In this talk, we consider boolean decision rule sets (equivalent to boolean functions in disjunctive normal form) as interpretable models for binary classification. We define the complexity of a rule set to be the number of rules (clauses) plus the number of conditions (literals) across all clauses, and assume that simpler or less complex models are more interpretable. We discuss an integer programming formulation for such models that trades off classification accuracy against rule simplicity, and obtain high-quality classifiers of this type using column generation techniques. Compared to some recent alternatives, our algorithm dominates the accuracy-simplicity trade-off in 8 out of 16 datasets, and also produced the winning entry in the 2018 FICO explainable machine learning challenge. When compared to rule learning methods designed for accuracy, our algorithm sometimes finds significantly simpler solutions that are no less accurate.
Host: Sang-il Oum (엄상일)     영어     2020-01-07 09:40:38
It has been known that stochastic differential equations with non-degenerate diffusion admit a unique solution for sub-critical drifts. In this talk, we extend this in two different directions: the critical drift case and the degenerate diffusion case. I will briefly introduce a hypoelliptic theory, and then explain how to obtain probabilistic results on stochastic differential equations.
Host: 이지운 교수     Contact: 이슬기 (042-350-8111)     미정     2019-12-30 15:02:54
A classical problem in mechanics is the following: given a set of forces applied at some points in space, is there any discrete network with all the wires under tension that supports such a system of forces? In this talk I will present some recent results on the topic, obtained in collaboration with Graeme Milton, Pierre Seppecher and Guy Bouchitte. In usual wire or cable networks, such as in a bridge or bicycle wheel, one distributes the forces by adjusting the tension in the wires. Here our discrete networks provide an alternative way of distributing the forces through the geometry of the network. In particular the network can be chosen so it is uniloadable, i.e. supports only one set of forces at the terminal nodes. Such uniloadable networks are relevant as the tension in one element determines the tension in the joint wires and, by extension, uniquely determines the stress in the entire network.
Host: 임미경     영어     2019-12-19 09:18:10
We introduce a notion of PAC structures, which generalizes perfect PAC fields, and we study their elementary theories via their Galois groups. It is well known that elementary equivalences of PAC fields are controlled by their Galois groups by Embedding Lemma of M. Jarden and U. Kiehne. Also, G. Cherlin, L. van den Dries, and A. Macintyre introduced a notion of complete systems of profinite groups, axiomatized by first order logic, and they showed that the category of complete systems whose morphisms are embedding is equivalent to the category of profinite groups whose morphisms are epimorphisms. And they showed that the complete systems of Galois groups of PAC fields determine elementary equivalences and elementary extensions between PAC fields. Recently, Z. Chatzidakis and N. Ramsey showed that complete systems of Galois groups are very crucial role in the classification program of first order theories of PAC fields: If the complete system of Galois group of a given PAC field is SNOPn, then so is the PAC field. We generalize these previous results for PAC fields into PAC structures: We generalize Embedding Lemma for PAC fields into PAC structures. We also introduce a notion of sorted complete systems, which generalizes the complete systems and we show that first order theories of PAC structures are determined by their sorted complete systems. And we generalize NSOPn criteria for PAC fields into PAC structures in terms of sorted complete systems. This talk is based on joint works of J. Dobrowolski, D. M. Hoffmann, and of D. M. Hoffmann.
Host: 이용남     미정     2019-11-26 09:17:17
We introduce a notion of PAC structures, which generalizes perfect PAC fields, and we study their elementary theories via their Galois groups. It is well known that elementary equivalences of PAC fields are controlled by their Galois groups by Embedding Lemma of M. Jarden and U. Kiehne. Also, G. Cherlin, L. van den Dries, and A. Macintyre introduced a notion of complete systems of profinite groups, axiomatized by first order logic, and they showed that the category of complete systems whose morphisms are embedding is equivalent to the category of profinite groups whose morphisms are epimorphisms. And they showed that the complete systems of Galois groups of PAC fields determine elementary equivalences and elementary extensions between PAC fields. Recently, Z. Chatzidakis and N. Ramsey showed that complete systems of Galois groups are very crucial role in the classification program of first order theories of PAC fields: If the complete system of Galois group of a given PAC field is SNOPn, then so is the PAC field. We generalize these previous results for PAC fields into PAC structures: We generalize Embedding Lemma for PAC fields into PAC structures. We also introduce a notion of sorted complete systems, which generalizes the complete systems and we show that first order theories of PAC structures are determined by their sorted complete systems. And we generalize NSOPn criteria for PAC fields into PAC structures in terms of sorted complete systems. This talk is based on joint works of J. Dobrowolski, D. M. Hoffmann, and of D. M. Hoffmann.
Host: 이용남     미정     2019-11-26 09:16:09
We will see several applications of model theory to other mathematics, mainly to number theory, arithmetic geometry, and algebraic geometry. Model theory is a branch of mathematical logic. There are mainly four branches: computability theory, model theory, proof theory, and set theory. W. Hodges described model theory as "algebraic geometry minus fields" in his book "A Shorter Model Theory". In model theory, we study definable sets in mathematical structures, for example, algebraic sets in the field of complex numbers or semialgebraic sets in the field of real numbers, and we classify their first order theories of the structures. We recall several basic concepts of model theory: elementary equivalence, quantifier elimination, and elimination of imaginaries. And we will see how such concepts can be applied to number theory, arithmetic geometry, and algebraic geometry.
Host: 이용남     미정     2019-11-26 09:15:01
To an abelian category A satisfying certain finiteness conditions, one can associate an algebra H_A (the Hall algebra of A) which encodes the structures of the space of extensions between objects in A. For a non-additive setting, Dyckerhoff and Kapranov introduced the notion of proto-exact categories, as a non-additive generalization of an exact category, which is shown to suffice for the construction of an associative Hall algebra. In this talk, I will discuss the category of matroids in this perspective.
Host: 김재훈     미정     2019-11-19 13:47:39
We consider generalized MHD equations with fractional diffusions. Existence of local solutionshas been well-known for initial datain Sobolev spaces $H^s$, if $s$ is sufficiently large. The goal of the talk is to present local existence results with initial datain $H^{s_1} \times H^{s_2}$ of lower orders $s_1$ and/or $s_2$, which extend recent existence results by Fefferman, McCormick, Robinson, and Rodrigo(2014, 2017). This is a joint work with Yong Zhou at the Sun Yat-Sen University (Zhuhai), China.
Host: 권순식     Contact: 이슬기 (042-350-8111)     미정     2019-12-16 13:20:00
In this talk, I propose a computer model that generalizes most if not all previous computer models including Turing machine, Boolean circuit, continuous time system, quantum computer, Blum-Shub-Smale model, and deep learning. I will describe a computational complexity theory for this new model, and construct infinite dimensional algebraic varieties that parametrize deterministic/non-deterministic polynomial time languages.
Host: 이용남     미정     2019-12-05 09:38:49
Let M = ( M i : i ∈ K ) be a finite or infinite family consisting of finitary and cofinitary matroids on a common ground set E . We prove the following Cantor-Bernstein-type result: if E can be covered by sets ( B i : i ∈ K ) which are bases in the corresponding matroids and there are also pairwise disjoint bases of the matroids M i then E can be partitioned into bases with respect to M .
Host: 엄상일     영어     2019-12-09 13:52:57
Let f be a nonzero polynomial. A pair of matrices (A, B) of polynomials is called a matrix factorization of f if both AB and BA are f times identity matrices. Eisenbud introduced this notion to study free resolutions over hypersurface rings and complete intersection rings. Among several applications of matrix factorization, we focus on the correspondence between aCM/Ulrich sheaves in this talk. Then we provide a matrix factorization of a general cubic hypersurface of dimension at most 7 using Shamash's construction. Note that this is an alternative proof of the existence of rank 9 Ulrich bundle on a general cubic sevenfold, which is first known by Iliev and Manivel. If time permits, we discuss on classification of cubic forms whose Hessian matrices induce matrix factorization of themselves. This is a joint work with F.-O. Schreyer.
Host: 곽시종     Contact: 김윤옥 (5745)     한국어     2019-12-10 13:19:05
Given any integers $s,t\geq 2$, we show there exists some $c=c(s,t)>0$ such that any $K_{s,t}$-free graph with average degree $d$ contains a subdivision of a clique with at least $cd^{\frac{1}{2}\frac{s}{s-1}}$ vertices. In particular, when $s=2$ this resolves in a strong sense the conjecture of Mader in 1999 that every $C_4$-free graph has a subdivision of a clique with order linear in the average degree of the original graph. In general, the widely conjectured asymptotic behaviour of the extremal density of $K_{s,t}$-free graphs suggests our result is tight up to the constant $c(s,t)$. This is joint work with Richard Montgomery.
Host: 김재훈     영어     2019-11-19 13:45:52
In this presentation, we consider the random-cluster model which is a generalization of the standard edge percolation model. For the random-cluster model on lattice, we prove that the Glauber dynamics exhibits a phenomenon known as the cut-off, especially for the very subcritical regime for all dimensions. This is a joint work with Shirshendu Ganguly.
Host: 폴정     Contact: 이슬기 (043-350-8111)     미정     2019-12-04 15:18:13
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter tractable over such graph classes. With the aim of generalizing such results to dense graphs, we introduce classes of graphs with structurally bounded expansion, defined as first-order interpretations of classes of bounded expansion. As a first step towards their algorithmic treatment, we provide their characterization analogous to the characterization of classes of bounded expansion via low treedepth decompositions, replacing treedepth by its dense analogue called shrubdepth.
Host: 엄상일     영어     2019-12-09 13:51:32
We give an overview of the homological mirror symmetry conjecture, a fascinating and mysterious relation between symplectic geometry and algebraic geometry. We illustrate it with concrete examples and explain how we use it to derive some geometric applications.
Host: 백형렬 교수     영어     2019-11-18 14:55:48
We use circles on a sphere to illustrate important concepts in symplectic topology. We explain the difficulties encountered in higher dimensions and to what extent it can be overcome. Subsequently, we introduce the Fukaya category and connect the story to Khovanov homology.
Host: 백형렬 교수     영어     2019-11-18 14:54:32
The subject of p-adic differential equations was pioneered by Dwork in 1950’s, who investigated p-adic properties of solutions of a certain hypergeometric differential equation. This study of Dwork’s study led to extremely fascinating applications in number theory; especially, on elliptic curves and modular forms. The main goal of this colloquium talk is to explain the motivating example of the p-adic hypergeometric differential equation studied by Dwork and its link to the Legendre family of elliptic curves. If time permits, I’d like to discuss some generalization of Dwork’s study to families of abelian varieties and its potential applications.
Host: 백상훈     한국어 (필요한 경우 영어 가능) ( )     2019-11-14 17:17:48
The Swan conductor is a local invariant measuring wild ramification (for Artin representations or suitable variants thereof). It is one of the central objects to study in the ramification theory. In this expository talk, let me start with a review of ramification subgroups and the theory of Swan conductors and Swan characters. At the end of the talk, I would like to pose some questions on ‘p-adic analogue of Swan characters’ in the theory of p-adic differential equations, motivated by equivariant BSD conjecture over global function fields.
Seminar Talk
Host: 김완수     Contact: 김완수 (042-350-2726)     미정     2019-11-29 09:01:30
In this talk we will investigate about robo-advisor.
Host: 최건호     한국어     2019-12-02 18:01:09