학과 세미나 및 콜로퀴엄
The main aim of this talk is to design efficient and novel numerical algorithms for highly oscillatory dynamical systems with multiple time scales. Classical numerical methods for such problems need temporal resolution to resolve the finest scale and become very inefficient when the longer time intervals are of interest. In order to accelerate computations and improve the long time accuracy of numerical schemes, we take advantage of various multiscale structures established from a separation of time scales. The framework of the heterogeneous multiscale method (HMM) will be considered as a general strategy both for the design and for the analysis of multiscale methods.
E6-1, ROOM 1409
Discrete Math
Boris Aronov (Department of Computer Science and Engineering, Po)
The complexity of unions of shapes
Over the years, the following class of problems has been studied quite a lot: Given a class of simply-shaped objects in the plane (disks, unit disks, squares, axis-aligned squares, isosceles triangles, shapes definable with a small number of polynomial equations and inequalities), how complicated can be the union of N shapes from the class? There are several different ways in which one can measure this (combinatorial) complexity. Two popular measures are the number of connected components of the complement, and the number of places where two object boundaries intersect on the boundary of the union (so-called “vertices” of the union).
자연과학동 Room 1409
Discrete Math
김은정 (CNRS, LAMSADE, Paris, France)
On subexponential and FPT-time inapproximability
Fixed-parameter algorithms, approximation algorithms and moderately exponential algorithms are three major approaches to algorithms design. While each of them being very active in its own, there is an increasing attention to the connection between these different frameworks. In particular, whether Independent Set would be better approximable once allowed with subexponential-time or FPT-time is a central question. Recently, several independent results appeared regarding this question, implying negative answer toward the conjecture. They state that, for every 0<r<1, there is no r-approximation which runs in better than certain subexponential-function time. We outline the results in these papers and overview the important concepts and techniques used to obtain such results.
The research on flips is a crucial part to study minimal model program (MMP). To understand flips, it is worthwhile to get some numerical invariants of flips to understand it better. The minimal log discrepancy (mld) is one of the important invariant to give a geometrical information about flips, and it appear naturally in global contexts. There have been several conjectures on mld related with the termination of flips. I will introduce basic concepts of mld and talk about some relations between mld and other invariants with some examples of flips.
In this talk I will discuss the spreading properties of solutions of a prey-predator type reaction-diffusion system. This system belongs to the class of reaction-diffusion systems for which the comparison principle does not hold. For such class of systems, little has been know about the spreading properties of the solutions. Here, by a spreading property, we mean the way the solution propagates when starting from compactly supported initial data. We show that propagation of both the prey and the predator occur with a definite spreading speed. Furthermore, quite intriguingly, the spreading speed of the prey and that of the predator are different in some situations. This is joint work with Arnaud Ducrot and Thomas Giletti.
The classical p-typical Witt vectors were contrived by Teichm?ller and Witt to build unramified extensions of the field of p-adic numbers from their residue fields in a functorial way. Dress and Siebeneicher introduced a fascinating generalization of them called "Witt-Burnside rings" in a group-theoretical way. In this talk, we will briefly review the basic theory of Witt vectors and Witt-Burnside rings. Recent developments in this area, in particular, some open problems concerned with Witt vector construction will be also dealt with.
The rational homology groups of the matching complexes are closely related to the syzygies of the Veronese embeddings. In this talk, I will give a proof of the shellability of certain skeleta of matching complexes, thus proving that the coordinate rings of the Veronese varieties satisfy property $N_{2d-2}$. Using duality and explicit computation of homology groups of matching complexes, we will deduce the Ottaviani-Paoletti conjecture for fourth Veronese embeddings.
I will give the introductory exposition of MMP and the abundance conjecture. In this talk, I will touch on the extension and injectivity theorem and give one approach to prove the abundance conjecture. And I will talk about importance of semi-log canonical singularities of pairs.
I will give the introductory exposition of MMP and the abundance conjecture. In this talk, I will touch on the extension and injectivity theorem and give one approach to prove the abundance conjecture. And I will talk about importance of semi-log canonical singularities of pairs.
We revisit the optimal investment and consumption model of Davis and Norman (1990) and Shreve and Soner (1994), following a shadow-price approach similar to that of Kallsen and Muhle-Karbe (2010). Making use of the completeness of the model without transaction costs, we reformulate and reduce the HJB equation for this singular stochastic control problem to a non-standard free-boundary problem for a first-order ODE with an integral constraint. Having shown that the free boundary problem has a smooth solution, we use it to construct the solution of the original optimal investment/consumption problem in a self-contained manner and without any recourse to the dynamic programming principle. Furthermore, we provide an explicit characterization of model parameters for which the value function is finite. This is a joint work withMihai Sirbu and Gordan Zitkovic.
://kmrs.kaist.ac.kr/activities/registration/?ee=48
The main subject of this lecture is global dynamics and behavior of
solutions for nonlinear dispersive wave equations, such as the
nonlinear Schrodinger equation and the nonlinear Klein-Gordon
equation. Starting from basic materials in the analysis of partial
differential equations, the specific goal is to introduce the recent
results in joint work with Wilhelm Schlag, which give classification
and prediction for the global dynamics including various types of
behavior: scattering, soliton, blowup, and transition among them. The
lecture will consist of the following sections:
1. Overview
2. The Cauchy problem and blowup
3. Variational method and the ground state
4. Space-time estimate and the scattering theory
5. Classification of the global dynamics
Nonlinear wave equations have solutions with various types of behavior, such as dispersive waves, solitary waves (solitons), and blow-up in finite time. Heuristically, they can be distinguished by which is stronger on each solution, the dispersive effect or the nonlinear one. Rigorous analysis of the dynamics has been well developed in small neighborhoods around special solutions, typically the trivial one and some solitons, where all solutions exhibit the same behavior. However, rather little is known about the dynamics away from such neighborhoods: if and how different types of solutions can coexist or some solutions can change their behavior along time, etc. Numerical studies suggested that in some cases the two sets of solutions in stable regimes (dispersive waves and stable blow-up) are separated by a hypersurface of the third set of solutions which are unstable. Similar phenomena are well known for nonlinear diffusion equations, but they can be easily understood by the comparison principle, which does not apply to wave equations. In the joint work started with Wilhelm Schlag, we have rigorously obtained such a trichotomy in some simple settings such as the nonlinear Schrodinger and Klein-Gordon equations with unstable ground states, under some energy constraint. I will explain how we can construct the threshold hypersurface, describe the dynamics off and on the hypersurface, capture the stable transition between dispersion and blow-up, and thereby predict global behavior of solutions from the initial data. I will also discuss about open questions.
The main subject of this lecture is global dynamics and behavior of
solutions for nonlinear dispersive wave equations, such as the
nonlinear Schrodinger equation and the nonlinear Klein-Gordon
equation. Starting from basic materials in the analysis of partial
differential equations, the specific goal is to introduce the recent
results in joint work with Wilhelm Schlag, which give classification
and prediction for the global dynamics including various types of
behavior: scattering, soliton, blowup, and transition among them. The
lecture will consist of the following sections:
1. Overview
2. The Cauchy problem and blowup
3. Variational method and the ground state
4. Space-time estimate and the scattering theory
5. Classification of the global dynamics
E6-1, ROOM 1409
Discrete Math
Hermanshu Kaul (Illinois Institute of Technology)
Finding Large induced subgraphs and allocation of resources under dependeny
Given a graph, we are interested in studying the problem of finding an induced subgraph of a fixed order with largest number of edges. More generally, let G = (V, E) be an undirected graph, with a weight (budget) function on the vertices, w: V → ℤ+, and a benefit function on vertices and edges b: E ∪ V → ℤ. The benefit of a subgraph H =(VH,EH) is b(H) = ∑ v∈VH b(v) + ∑ e∈EH b(e) while its weight is w(H) = ∑ v∈VH w(v). What can be said about the maximum benefit of an induced subgraph with the restriction that its weight is less than W?
This problem is closely related to the Quadratic Knapsack Problem, the Densest Subgraph Problem, and classical problems in Extremal Graph Theory. We will discuss these connections, give applications in resource allocation, and present new results on approximation algorithms using methods from convex optimization and probability. This is joint work with Kapoor.
The main subject of this lecture is global dynamics and behavior of
solutions for nonlinear dispersive wave equations, such as the
nonlinear Schrodinger equation and the nonlinear Klein-Gordon
equation. Starting from basic materials in the analysis of partial
differential equations, the specific goal is to introduce the recent
results in joint work with Wilhelm Schlag, which give classification
and prediction for the global dynamics including various types of
behavior: scattering, soliton, blowup, and transition among them. The
lecture will consist of the following sections:
1. Overview
2. The Cauchy problem and blowup
3. Variational method and the ground state
4. Space-time estimate and the scattering theory
5. Classification of the global dynamics
The main subject of this lecture is global dynamics and behavior of
solutions for nonlinear dispersive wave equations, such as the
nonlinear Schrodinger equation and the nonlinear Klein-Gordon
equation. Starting from basic materials in the analysis of partial
differential equations, the specific goal is to introduce the recent
results in joint work with Wilhelm Schlag, which give classification
and prediction for the global dynamics including various types of
behavior: scattering, soliton, blowup, and transition among them. The
lecture will consist of the following sections:
1. Overview
2. The Cauchy problem and blowup
3. Variational method and the ground state
4. Space-time estimate and the scattering theory
5. Classification of the global dynamics
A small cover is a topological analogue of real toric varieties, and is an important object in toric topology. It is noted that the formula of the ℤ2-cohomology ring of small cover is well-known. However, the integral cohomology ring of small covers has not been known well.
In this talk, we discuss about the Betti numbers and its torsion of the small covers associated to some nestohedra including graph associahedra. Interestingly, the Betti numbers can be computed by purely combinatorial method (in terms of graphs and hypergraphs). To our surprise, for specific families of graphs, these numbers are deeply related to well-known combinatorial sequences such as the Catalan numbers and Euler zigzag numbers.
In the first talk we intend to present a few techniques which will be useful for the proof of the main result. We will discuss an analytic proof of the Y. Miyaoka generic semi-positivity result, as well as a few basic facts concerning the Zariski decomposition and the finite generation of the canonical ring.
Part 3. Linear systems involving curl.
자연과학동(E6) Room 2411
ASARC 세미나
Peter Schenzel (Martin Luther University)
ON THE VISUALIZATION OF BLOWING UPS OF THE PLANE IN POINTS
http://mathsci.kaist.ac.kr/asarc/etc/abstract-Peter Schenzel.pdf
References
[Brodmann(1995)] Markus Brodmann. Computer-pictures of blowing-ups. (Computerbilder von Aufbla-
sungen.). Elem. Math., 50(4):149{163, 1995.
[Fischer(1986)] Gerd Fischer, editor. Mathematische Modelle. Vieweg-Verlag, 1986.
[Hironaka(1964)] Heisuke Hironaka. Resolution of Singularities of an Algebraic Variety Over a Field of
Characteristic Zero: I & II. The Annals of Mathematics, 79:109{203, 205{326, 1964. ISSN 0003486X.
URL http://www.jstor.org/stable/1970486.
[Stussak(2007)] Christian Stussak. Echtzeit-Raytracing algebraischer Flachen auf der GPU. Diplo-
marbeit, Institut fur Informatik, Martin-Luther-Universitat Halle-Wittenberg, 2007. URL
http://realsurf.informatik.uni-halle.de.
Martin-Luther-Universitat Halle-Wittenberg, Institut fur Informatik, D | 06 099
Halle (Saale), Germany
E-mail address:
We aim to review the efforts for systematic and organized global collaborations in mathematics starting from late 19th century. We also summarize the activities in Korean math research community that are sometimes sporadic but are becoming increasingly organized and systematic.
Joint work with Luis Barba, Jean Lou De Carufel, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot, and Tianhao Wang.
Lecture 3: Fibred knots and the Alexander polynomial.
Some knot groups have orderings which are invariant under multiplication on both sides, while others do not. I will define fibred knots, monodromy and the Alexander polynomial and discuss the role this polynomial has in the question of whether the group of a fibred knot has a 2-sided invariant ordering.