Department Seminars & Colloquia




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

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

The Siegel-Ramachandra invariants, as special values of Siegel functions of one variable, generate ray class fields over imaginary quadratic fields. Generalizing these invariants we shall introduce ray class invariants of certain CM-fields obtained from classical theta constants of multi-variables. And we will determine the action of the Galois group on these invariants in a concrete way by making use of Shimura's reciprocity law.

This is a joint work with Koo and Shin.

Korean     2015-06-16 16:00:49

In this talk, we develop an equivalent condition for a primitive Fricke family of level $N$ to be totally primitive when $N$ is different from $4$. Furthermore, we present generators of the function field of the modular curve of level $N$ in terms of Fricke and Siegel functions. By using the functions belonging to Fricke families, we shall construct generators of the ray class fields over imaginary quadratic fields as an application of class field theory.

 

This is a joint work with Koo and Shin.

Korean     2015-06-16 16:01:46

The generating function of partitions with repeated (resp. distinct) parts such that each odd part is less than twice the smallest part is shown to be the third order mock theta function ω(q) (resp. ν(-q)). Similar results for partitions with the corresponding restriction on each even part are also obtained, one of which involves the third order mock theta function φ(q). Congruences for the smallest parts functions associated to such partitions are obtained. Two analogues of the partition-theoretic interpretation of Euler’s pentagonal theorem are also obtained. This is joint work with George Andrews and Atul Dixit.

Host: 엄상일     To be announced     2015-06-17 09:44:43

We will highlight two examples of the interplay of combinatorics and orthogonal polynomials by considering two recent one-parameter extensions of Hermite polynomials: a curious q-analog in connection with q-Weyl algebra and the 2D-Hermite polynomials. As application we derive a generalization of Touchard-Riordan formula for crossings of chords joining pairs of 2n points on a circle and a new Kibble-Slepian type formula for the 2D-Hermite polynomials, which extends the Poisson kernel for these polynomials.

English     2015-06-15 15:47:23

The Riemann zeta-function, which encodes information about the integers and the prime numbers, has been studied extensively. Its values at 2,4,... are well-known, but much less is known about its values at 3,5,... . This difference can be explained to an extent by the different behaviour of certain groups (algebraic K-groups) of the rationals.
In this talk, we discuss some basic examples of such K-groups, and some links between them and arithmetic.

English     2015-02-02 11:16:47

Approximate random k-colouring of a graph G=(V,E) is a very well

studied problem in computer science, discrete mathematics and
statistical physics. It amounts to constructing a k-colouring of G
which is distributed close to Gibbs distribution in polynomial time.
In this talk, we deal with the problem when the underlying graph is an
instance of Erdos-Renyi random graph G(n,d/n), where d is fixed. In
this paper we propose a novel efficient algorithm for approximate
random k-colouring G(n,d/n). To be more specific, with probability at
least 1-n^{-Omega(1)} over the input instances G(n,d/n) and for kgeq
(1+epsilon)d, the algorithm returns a k-colouring which is distributed
within total variation distance n^{-Omega(1)} from the Gibbs
distribution of the input graph. The algorithm we propose is neither a
MCMC one nor inspired by the message passing algorithms proposed by
statistical physicists. Roughly the idea is as follows: Initially we
remove sufficiently many edges of the input graph. This results in a
graph which can be coloured randomly efficiently. Then we move back
the removed edges one by one. Every time we add an edge we update the
colouring of the graph, with the new edge, so that the colouring
remains (sufficiently) random. The performance depends heavily on
certain spatial correlation decay properties of the Gibbs
distribution.
Host: 엄상일     English     2015-06-02 13:14:02
During the last decade, an active line of research in proof complexity has been the space complexity of proofs and how space is related to other complexity measures (like size, length, width, degree). Space is (roughly) how large of an erasable board one would need to show a proof line-by-line.
 
Here, we are interested in the space complexity of refuting 3-CNFs (formulas in conjunctive normal form with at most 3 literals per clause). We prove that a random 3-CNF with n variables requires, with high probability, Ω(n2) total space in Resolution. This is best possible up to a constant factor.
 
This lower bound is obtained via a variant of Hall’s Lemma which may be of independent interest. Namely, we show that in bipartite graphs G with bipartition (L,R) and left-degree at most 3, L can be covered by certain families of disjoint paths, called VW-matchings, provided that L expands in R by a factor of (2-ε), for ε < 1/23.
This is joint work with Patrick Bennett, Ilario Bonacina, Nicola Galesi, Mike Molloy, and Paul Wollan.
Host: 엄상일     English     2015-05-27 09:48:42

 Combining information from different source is an important practical problem. Using hierarchical area level models, we establish a frequentist framework for combining information from different source to get improved prediction for small or large area estimation. The best prediction is obtained by the conditional expectation of the observable latent variable given all available observation. The model parameters are estimated by two-level EM algorithm. Estimation of the mean squared prediction error is discussed.

  Sponsored by National Agricultural Statistical Agency (NASS) of US department of Agriculture, the proposed method was applied to the crop acreage prediction problem combining information from three sources: The first source is the June Area Survey (JAS), which is obtained by the probability sampling. The second source is from the Farm Service Agency (FSA) data, which is obtained from a voluntary participation of certain programs. The third source is from the classification of the satellite image data, called Cropland Data Layer (CDL).

To be announced     2015-05-19 17:13:32

 We deal with special Hurwitz' schemes of curves, that is the coverings of the Riemann sphere having only odd ramification points. We will discuss the relation, considered firstly by Serre and Fried, with theta characteristic. In the line of a joint research project with G. Farkas and J. Naranjo we present some recent existence results in the particular case of elliptic and hyperelliptic curves.

Host: Prof.이용남     English     2015-05-08 09:07:47

 The Neumann-Poincare (NP) operator is a boundary integral operator which arises naturally when solving boundary value problems using layer potentials. It is not self-adjoint with the usual inner product. But it can symmetrized by introducing a new inner product on H^{-1/2} spaces using Plemelj's symmetrization principle. Recently many interesting spectral properties of the NP operator have been discovered. I will discuss about this development and various applications including solvability of PDEs with complex coefficients and plasmonic resonance.

To be announced     2015-05-18 17:43:54

Chemotaxis models are based on spatial or temporal gradient measurements
by individual organisms. The key contribution of Keller and Segel (J Theor
Biol 30:225–234, 1971a; J Theor Biol 30:235–248, 1971b) is showing that erratic
measurements of individuals may result in an accurate chemotaxis phenomenon as a
group. In this paper we provide another option to understand chemotactic behavior
when individuals do not sense the gradient of chemical concentration by any means.
We show that, if individuals increase their dispersal rate to find food when there is
not enough food, an accurate chemotactic behavior may be obtained without sensing
the gradient. Such a dispersal has been suggested by Cho and Kim (Bull Math Biol
75:845–870, 2013) and was called starvation driven diffusion. This model is surprisingly
similar to the original Keller–Segel model. A comprehensive picture of traveling
bands and fronts is provided.

To be announced     2015-05-13 17:49:27

 Let C be a smooth curve which is complete intersection of a quadric and a degree k>2 surface in the 3 dimensional projective space. Let C(2) be its second symmetric power. of C. We study the finite generation of the extended canonical ring R(Δ,K):=⨁(a,b)H^0(C(2),aΔ+bK), where Δ is the image of the diagonal and K is the canonical divisor. We show that R(Δ,K) is finitely generated if and only if the difference of the two linear series defined on C by the rulings of the quadric is a torsion non-trivial line bundle. Then we show that this holds on an analytically dense locus of the moduli space of such curves. The results have been obtained in a joint work with Antonio La Face and Michela Artebani.

Host: Prof.이용남     English     2015-05-08 08:59:42

The subject of this talk is wave equations that arise from geometric considerations. Prime examples include the wave map equation and the Yang-Mills equation on the Minkowski space. On the one hand, these are fundamental field theories arising in physics; on the other hand, they may be thought of as the hyperbolic analogues of the harmonic map and the elliptic Yang-Mills equations, which are interesting geometric PDEs on their own.

Our main concern will be global well-posedness for large data of these PDEs in dimensions where the conserved energy is critical with respect to the scaling symmetry of the equations. I will first explain the ‘threshold conjecture’ for wave maps and its resolution by Sterbenz-Tataru (cf. related work by Krieger-Schlag and Tao), as well as its latest refinement in my work with A. Lawrie. I will also describe my recent work with D. Tataru on the global well-posedness of the energy critical Maxwell-Klein-Gordon system, which shares many similarities with the Yang-Mills equation.

Host: 권순식     To be announced     2015-05-12 15:30:15
We study the design of truthful auctions for selling identical items in unlimited supply (e.g., digital goods) to n unit demand buyers. This classic problem stands out from profit-maximizing auction design literature as it requires no probabilistic assumptions on buyers’ valuations and employs the framework of competitive analysis. Our objective is to optimize the worst-case performance of an auction, measured by the ratio between a given benchmark and revenue generated by the auction.
 
We establish a sufficient and necessary condition that characterizes competitive ratios for all monotone benchmarks. The characterization identifies the worst-case distribution of instances and reveals intrinsic relations between competitive ratios and benchmarks in the competitive analysis. With the characterization at hand, we show optimal competitive auctions for two natural benchmarks.
 
The most well-studied benchmark F^2 measures the envy-free optimal revenue where at least two buyers win. Goldberg et al. showed a sequence of lower bounds on the competitive ratio for each number of buyers n. They conjectured that all these bounds are tight. We show that optimal competitive auctions match these bounds. Thus, we confirm the conjecture and settle a central open problem in the design of digital goods auctions. As one more application we examine another economically meaningful benchmark, which measures the optimal revenue across all limited-supply Vickrey auctions. We identify the optimal competitive ratios to be (n/({n-1})^{n-1}-1 for each number of buyers n, that is e-1 as n approaches infinity.
 
Joint work with Ning Chen and Nick Gravin.
Host: 엄상일     English     2015-05-12 13:07:14

The subject of this talk is wave equations that arise from geometric considerations. Prime examples include the wave map equation and the Yang-Mills equation on the Minkowski space. On the one hand, these are fundamental field theories arising in physics; on the other hand, they may be thought of as the hyperbolic analogues of the harmonic map and the elliptic Yang-Mills equations, which are interesting geometric PDEs on their own.

Our main concern will be global well-posedness for large data of these PDEs in dimensions where the conserved energy is critical with respect to the scaling symmetry of the equations. I will first explain the ‘threshold conjecture’ for wave maps and its resolution by Sterbenz-Tataru (cf. related work by Krieger-Schlag and Tao), as well as its latest refinement in my work with A. Lawrie. I will also describe my recent work with D. Tataru on the global well-posedness of the energy critical Maxwell-Klein-Gordon system, which shares many similarities with the Yang-Mills equation.

Host: 권순식     English     2015-05-12 15:28:57

We first investigate the Kronecker Ugendtraum (= Hilberet 12th Problem) which initiates the study of algebraic number theory. We also briefly review the class number one problem in terms of modular functions without using L-function arguments. And, over cyclotomic fields and imaginary biquadratic fields we show how to construct class fields(= abelian extensions) by making use of high dimensional modular functions.

To be announced     2015-02-24 15:07:23

We consider the conductivity problem in the presence of adjacent circular inclusions with constant conductivities. When two inclusions get closer and their conductivities degenerate to zero or infinity, the gradient of the solution can be arbitrary large. In this paper we derive an asymptotic formula of the solution, which characterizes the gradient blow-up of the solution in terms of conductivities of inclusions as well as the distance between inclusions. The asymptotic formula is expressed in bipolar coordinates in terms of the Lerch transcendent function, and it is valid for inclusions with arbitrary constant conductivities. We illustrate our results with numerical calculations.

To be announced     2015-05-13 17:54:56

If one were to write up a list of keywords that describe recent development in algebraic geometry, it would be hard to miss the words like "derived category" or "categorification" on the top part. One basic problem in algebraic geometry is to study how a variety can be embedded in other varieties. In 2011, Bondal categorified the embedding problem and raised the following question.

 

Question. (Fano visitor problem) Let Y be a smooth projective variety. Is there a Fano variety X equipped with a fully faithful embedding of the derived category of Y into that of X?
If there is such an X, then Y is called a Fano visitor and X a Fano host of Y. In this talk, I will talk about a joint work with In-Kyun Kim, Hwayoung Lee and Kyoung-Seog Lee in which we proved that every complete intersection is a Fano visitor. I will also discuss related questions and problems.

 

Host: Prof.이용남     To be announced     2015-05-04 12:42:19

I will explain the basic structure theory and representation theory of reductive and semisimple algebraic groups, and illustrate an application to invariant theory. A connected reductive group is naturally a central extension of a connected semisimple group by a torus, which enables one to reduce problems about reductive groups to problems about semisimple groups and tori. I will apply this principle to the study of weight decompositions of representations and obtain a precise formula relating the states of reductive group actions and the states of their derived group actions.

Host: Prof.이용남     To be announced     2015-05-04 12:43:53

To be rational, or not to be, that is the internal conflict a cubic faces; its linear destiny provides a way to rationalize its life in a rich world and its whimsical action shows a way for a cubic to refuse its rational life in an impoverished field.

To be announced     2015-02-02 11:15:07
Complementarities of preferences have been known to jeopardize the stability of two-sided matching, and they are a pervasive feature of many markets. We revisit the stability issue with such preferences in a large market.
Workers have preferences over firms while firms have preferences over distributions of workers and may exhibit complementarity. We demonstrate that if each firm’s choice changes continuously as the set of available workers changes, then there exists a stable matching even with complementarity. Building on this result, we show that there exists an approximately stable matching in any large finite economy. We extend our framework to accommodate indifferences in firms’ preferences, construct a stable mechanism that is strategy-proof and equitable for workers perceived as indifferent by firms, and apply the analysis to probabilistic and time-share matching models with a finite number of firms and workers.

 

Host: 엄상일     To be announced     2015-05-04 13:41:05

Given a vector bundle E over a smooth scheme X, a classical result of Kempf-Laksov describes the Schubert classes of grassmann bundles Gr(d,E) by means of a Jacobi-Trudi determinant whose entries are polynomials in the Chern classes of E and the universal bundle Ud. More recently, using a similar geometric framework, Kazarian was able to obtain a Pfaffian formula describing the Schubert classes of the Lagrangian grassmann bundle. In this talk I will present how these determinantal and Pfaffian formulas can be generalized to connective K-theory, an oriented cohomology theory which can be specialized to both the Chow ring and the Grothendieck ring of vector bundles. This is a joint work with T. Ikeda, T. Matsumura, H. Naruse.

Host: 박진현 2734     English     2015-05-04 13:09:48

In his death bed letter to Hardy, Ramanujan introduced mock theta functions, which are now prototypes of mock modular forms. The coefficients of mock modular forms encode the number of certain combinatorial objects and we will discuss how mock modularity works to investigate arithmetic properties for these counting functions. On the other hand, generating functions for certain unimodal sequences are now becoming prototypes of quantum modular forms. We will discuss how they are related and what we expect from quantum modularity.

To be announced     2015-02-02 11:11:38

수학에서 형식적인 정의를 보면 전혀 관계가 없어 보이는 것이 어떤 경우 서로 밀접히 연관된 경우가 많다. 이런 관계성을 정확히 파악하고 증명하는 것이 수학의 중요한 일면일 것이다. PDE를 공부하다 보면 계산이 너무 많아 수학에서 추구하는 미적인 성향이 약하다고 생각하는 경향이 많다. 본 강연에서는 PDE분야에서 아름다운 결과 중 하나인 Symmetry에 관하여 별로 관련성이 없어 보이는 Maximum Principle을 통하여 보이는 방법에 대하여 소개하고자 한다.

Korean     2015-04-27 09:21:17