Seminars & Colloquia

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

구글 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: 엄상일     To be announced     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.

English     2017-07-21 11:26:00

High-dimensionality is one of the major challenges in stochastic simulation of realistic physical systems. The most appropriate numerical scheme needs to balance accuracy and computational complexity, and it also needs to address issues such as multiple scales, lack of regularity, and long-term integration.

In this talk, I will review state-of-the-art numerical techniques for high-dimensional systems including low-rank tensor approximation, sparse grid collocation, and ANOVA decomposition. The presented numerical methods are tested and compared in the joint response-excitation PDF equation that generalizes the existing PDF equations and enables us to do kinetic simulations with non-Gaussian colored noise. The alternative to the numerical approach, I will discuss dimension reduction techniques such as Mori-Zwanzig approach and moment closures that can obtain reduced order equations in lower dimensions. I will also present numerical results including stochastic Burgers equation and Lorenz-96 system.  

English     2017-07-21 11:30:09

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     English     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     English     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     English     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     English     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     English     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: 임미경     English     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
To be announced     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: 임미경     English     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: 엄상일     To be announced     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: 김성호     To be announced     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: 엄상일     To be announced     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: 엄상일     English     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: 엄상일     To be announced     2017-06-28 13:16:40