학과 세미나 및 콜로퀴엄
We introduce a discrete dynamical system on the set of partial orientations of a graph, which generalizes Gioan’s cycle-cocycle reversal system. We explain how this setup allows for a new interpretation of the linear equivalence of divisors on graphs (chip-firing), and a new proof of Baker and Norine’s combinatorial Riemann-Roch formula. Fundamental connections to the max-flow min-cut theorem will be highlighted.
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
E6-1 Room 1409
ASARC 세미나
Julie Tzu-Yueh Wang (Academia Sinica, Taipei)
ABC Theorems and Buchi's Problem over Function Fields
Date: 2014. 6. 25(wed)
Time: 16: 30~17: 30
Place: E6-1 Room 1409
Abstract: Hilbert's Tenth Problem asks whether there is a general algorithm to
determine, given any polynomial in several variables, whether there exists a zero
with all coordinates in Z. It was proved in the negative by Yu. Matiyasevich in
1970. In the 70's J. R. Buchi attempted to prove a similar statement for a system
of quadric equations, and he was able to relate it to the following Diophantine
problem~
E6-1 Room 1409
Discrete Math
Matthew G. Parker (University of Bergen, Norway)
Exclusivity graphs from quantum graph states – and mixed graph generalisations
E6-1, Room 1409
Discrete Math
Vissarion Fisikopoulos (University of Athens, Greece)
Polytopes defined by oracles: algorithms and combinatorics
The mixed method for elasticity with weakly symmetric stress is a successful application of the finite element exterior calculus. In this talk, we first exploit the elasticity complex approach for the problem by Arnold, Falk, Winther, and survey its follow-up research. Then we introduce an abstract framework for unified error analysis of the method. Through examples, we will show that the framework covers most previously known mixed methods and also provides new mixed methods for the problem.
First, we briefly review the derivation of nonlinear Schrodinger equation (NLS) from N-body linear Schrodinger equation via the cubic Gross-Pitaevskii (GP) hierarchy, which is an infinite system of coupled linear equations. Such a derivation was established by the seminal works of Erdos-Schlein-Yau. In the derivation, the most involved part is the proof of unconditional uniqueness of solutions to GP hierarchy. Recently, Chen-Hainzl-Pavlovic-Seiringer gave a simpler alternative proof of uniqueness via the quantum de Finetti theorem. Adapting this new approach, we established the unconditional uniqueness of solutions to the GP hierarchy in a low regularity Sobolev type space. Precisely, we reduce the regularity requirement down to the currently known regularity requirement for unconditional uniqueness of solutions to NLS. This is a joint work with Kenneth Taliaferro and Zhihui Xie at UT Austin.
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
tp://kmrs.kaist.ac.kr/activities/registration/?ee=51
Amoebas and coamoebas are the images of varieties of the complex algebraic torus under coordinatewise logarithm and argument maps, respectively. As shadows of the original variety, they retain some of its structure. When the variety is a hypersurface, the connected components of the complements of both the amoeba and coamoeba are convex. Henriques introduced a homological generalization of convexity and proved that complements of amoebas satisfy a weak form of this higher convexity.
In this talk, I will explain these notions and describe some of the structure of coamoebas, namely their phase limit sets and shells, and then sketch how to use this structure to show that complements of coamoebas have this higher convexity of Henriques. This is joint work with Mounir Nisse.
A matroid is a combinatorial notion that is a generalization of a spanning set of a vector space. To any loopless matroid, there correspond at least 3 kinds of convex polytopes: independent set polytope, base polytope, and spanning set polytope. In algebraic geometry context, base polytopes are preferred to the other two since base polytopes are closed under involution operation, and recovering the other two is easier. Moreover, in my recent research work, it turned out that base polytopes have a very special gluing property: when they glue through their codimension 2 common face, there are only finitely many cases! In this talk, I will first explain basics of matroids and base polytopes. After stating the gluing property (with a sketch of the proof), we will see how this gluing property plays its role concerning the classification of generic tropical planes of mathbb{TP}^5.
After a brief introduction to the Waring ranks and cactus ranks of polynomials, we verify additive property of ranks and cactus ranks of polynomials which are sums of particaular types of polynomials. This work is a natural generalization of the result of Carlini, Catalisano and Geramitta concerning sum of coprime monomials.
We discuss the notion of point scatterers, which is a renormalization of formal delta potentials for the Schrödinger equation in low-dimensional spaces. In particular, we will discuss the decomposition of periodic point scatterers which corresponds to Bloch's theorem of solid state physics.
In Abo and Wan's study of Waring's problem for systems of skew-symmetric forms several defective systems were identified. The most interesting cases occur when a certain secant variety of a Segre-Grassmann variety does not fill its natural ambient space as expected, but is a hypersurface instead.
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
An r-dynamic proper k-coloring of a graph G is a proper k-coloring of G such that every vertex in V(G) has neighbors in at least min{d(v),r} different color classes. The r-dynamic chromatic number of a graph G, written χr(G) , is the least k such that G has such a coloring. By a greedy coloring algorithm, χr(G)≤rΔ(G)+1 and the equality holds if and only if G is r-regular with diameter 2 and girth 5. We improve the bound to χr(G)≤Δ(G)+2r when δ(G)≥2rlnn . In terms of the chromatic number, we prove χr(G)≤rχ(G) when G is k-regular with k≥(3+o(1))rlnr and show that χr(G) may exceed r1.377χ(G) when k=r. We prove χ2(G)≤χ(G)+2 when G has diameter 2, with equality only for complete bipartite graphs and the 5-cycle. Also, χ2(G)≤3χ(G) when G has diameter 3, which is sharp. This is joint work with SogolJahanbekam, Suil O, and Douglas B. West.
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
tp://kmrs.kaist.ac.kr/activities/registration/?ee=51
자연과학동 E6-1, ROOM 1409
Discrete Math
Sariel Har-Peled (UIUC, USA)
Quasi-Polynomial Time Approximation Scheme for Sparse Subsets of Polygons
We describe how to approximate, in quasi-polynomial time, the largest independent set of polygons, in a given set of polygons. Our algorithm works by extending the result of Adamaszek and Wiese [AW13, AW14] to polygons of arbitrary complexity. Surprisingly, the algorithm also works for computing the largest subset of the given set of polygons that has some sparsity condition. For example, we show that one can approximate the largest subset of polygons, such that the intersection graph of the subset does not contain a cycle of length 4 (i.e., K2,2). To appear in SoCG 2014.
In recent year methods based on nonparametric estimation detection is more popular in signal processing community for estimating detecting the signal function from noisy degraded measurement. This is due to localized estimation. Recent approaches to processing and restoration of images and video brought together several powerful data-adaptive methods from different field of work. Examples include Moving Least Square (from computer graphics), the Bilateral Filter and Anisotropic Diffusion (from computer vision), Functional Gradient Decent, Kernel Regression and Iterative scaling (from Statistics).
In this talk we discussed basic of nonparametric estimation of density and distribution function followed by the class of robust nonparametric methods which are ideally suited for the reconstruction of signals and images ( in general function) form noise –- corrupted and sparse or irregularly sampled data. As the framework of nonparametric the methods do not depend on strong assumption about noise; and it is applicable to a wide variety of problems. In this talk, we consider image denoising and deblurring in nonparametric framework.
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
In tropical mathematics, the sum of two numbers is their minimum, and the product of two numbers is their usual sum. Many results familiar from high school algebra and geometry, including the formula for solving quadratic equations and the fact that two lines meet in one point, continue to hold in the tropics. In this lecture we learn how to draw tropical curves and why biologists might care about this.
참석하고자 하시는 분은 아래 링크를 통해 사전 등록을 해주시면 감사하겠습니다^^
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
자과동 Room 1409
Discrete Math
김은정 (CNRS, LAMSADE, Paris, France)
A polynomial-time algorithm for outerplanar diameter improvement
The Outerplanar Diameter Improvement problem asks, given a graph G and an integer D, whether it is possible to add edges to G in a way that the resulting graph is outerplanar and has diameter at most D. We provide a dynamic programming algorithm that solves this problem in polynomial time. Outerplanar Diameter Improvement demonstrates several structural analogues to the celebrated and challenging Planar Diameter Improvement problem, where the resulting graph should, instead, be planar. The complexity status of this latter problem is open.
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Title:
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
산업경영학동(E2) Room 3221
KMRS 세미나
Athanasios Tzavaras (University of Crete)
Conservation laws on thermomechanics, elasticity and fluid
There will be three intensive lectures on May 22ndand 23rdby Profoessor Tzavaras. Seniors and Graduate students who are interested in Analysis and PDE could enjoy the lectures and are invited.
▶Lecture 2 - 11am, May 23, 2014
The equations of polyconvex elasticity; approximation via variational minimization schemes
산업경영학동(E2) Room 3221
KMRS 세미나
Athanasios Tzavaras (University of Crete)
Conservation laws on thermomechanics, elasticity and fluid
There will be three intensive lectures on May 22ndand 23rdby Profoessor Tzavaras. Seniors and Graduate students who are interested in Analysis and PDE could enjoy the lectures and are invited.
▶Lecture 3 - 2:30pm, May 23, 2014
Diffusive limits from Euler equations with friction to gradient flows
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Title:
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
산업경영학동(E2) Room 3221
KMRS 세미나
Athanasios Tzavaras (University of Crete)
Conservation laws on thermomechanics, elasticity and fluid
There will be three intensive lectures on May 22ndand 23rdby Profoessor Tzavaras. Seniors and Graduate students who are interested in Analysis and PDE could enjoy the lectures and are invited.
▶Lecture 1 - 2:30pm, May 22, 2014
The relative entropy method and its relation to the structure of the equations of thermomechanics
Many problems involving phase transitions have a variational formulation.
Treatment of these problems with the aid of tools from PDE , dynamical systems, and geometry as well as the calculus of variations leads to many interesting results and open questions. We will survey the results and methods and also mention several open questions.
Glioblastoma is the most common and the most aggressive type of brain cancer. The median survival time from the time of diagnosis is approximately one year. Invasion of glioma cells from the core tumor into the surrounding brain tissue is a major reason for treatment failure: these migrating cells are not eliminated in surgical resection and cause tumor recurrence. Variations are seen in number of invading cells, and in the extent and patterns of migration. Cells can migrate diffusely and can also be seen as clusters of cells distinct from the main tumor mass. This kind of clustering is also evident in vitro using 3-D spheroid models of glioma invasion. This has been reported for U87 cells stably expressing the constitutively active EGFRVIII mutant receptor, often seen expressed in glioblastoma. In this case the cells migrate as clusters rather than as single cells migrating in a radial pattern seen in control wild type U87 cells. Several models have been suggested to explain the different modes of migration, but none of them, so far, has explored the important role of cell-cell adhesion. We develop a mathematical model which includes the role of adhesion and provides an explanation for the various patterns of cell migration. It is shown that, depending on adhesion, haptotactic, and chemotactic parameters, the migration patterns exhibit a gradual shift from branching to dispersion, as has been reported experimentally. Recently, the miR-451-AMPK-mTOR signaling network was shown to play a significant role in regulation of cell proliferation and migration in glioblastoma. Oncolytic virus could be also a great way of killing glioma cells. We discuss how one use these models to test hypothesis on killing infiltration glioma cells through the network of extracellular matrix and other normal cells, leading to better therapeutic treatment options.
*Joint work with Avner Friedman (Dept of Mathematics, Mathematical Biosciences Institute, The Ohio State University), Balveen Kaur (Dardinger Laboratory for Neuro-Oncology and Neurosciences, Ohio State University), Sean Lawler (Harvard medical school, BWH), E.A. Chiocca (Harvard medical school, BWH), Soyeon Roh (University of Michigan-Ann Arbor).
자연과학동 E6-1 Room 1409
Discrete Math
최광주 (NIMS(국가수리과학연구소))
Nearly planar graphs and graph minor obstructions for embedding on the spindle surface
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
산업경영학동(E2) Room 3221
KMRS 세미나
Graeme Milton (University of Utah)
Intensive Lecture on Inverse Problems_Lecture 3
The general theory of exact relations
(sections 17.1, 17.2, 17.3, 17.4)
Grabovsky realized that if an exact relation holds for arbitrary composites it must at least hold for laminate materials and this imposes stringent algebraic constraints on the form an exact relation can take. In the right coordinates an exact relation must be a linear relation, and must remain linear under certain non-linear transformations. This provides necessary conditions for an exact relation to hold. By extending these ideas to general composites, using series expansions, we (Grabovsky, Sage and myself) found sufficient algebraic conditions for an exact relation to hold. This final lecture will review this general theory, which encompasses all known exact relations, and provides new ones.
Let S be an immersed stable hypersurface of constant mean curvature in a wedge bounded by two hyperplanes in R^n. Suppose that S meets those two hyperplanes in constant contact angles and is disjoint from the edge of the wedge. We will show that if the boundary of S is embedded for n=3, or if the boundary of S is convex for n=4, then S is part of the sphere.
▶ Date: May 15 ~ July 3
▶ Time: Thur. & Fri., 10:00-12:00 (Exercise session: 15:00-17:00)
▶ Description:
Many models in the sciences and engineering can be described by non-linear polynomial equations. This course offers an introduction to both theoretical and computational methods for working with such models. It is aimed at graduate students from across the mathematical sciences (Mathematics, EECS, Statistics, Physics, etc).
▶ Syllabus:
Each week of the semester is about a different topic in non-linear algebra, according to the schedule below. Auditors interested in a particular topic are welcome to attend just that week. Enrolled students will attend all weeks.
- Gröbner Basics, Elimination, Decomposing Varieties, Sparse Polynomial Systems, Semidefinite Programming, Moments and Sums of Squares,Representations and Invariants, Tensors and their Rank, Orbitopes, Maximum Likelihood, Numerical Algebraic Geometry, Nash Equilibria, Chemical Reaction Networks, Tropical Algebra
Composite materials can have properties unlike any found in nature, and in this case they are known as metamaterials. Recent attention has been focussed on obtaining metamaterials which have an interesting dynamic behavior. Their effective mass density can be anisotropic, negative, or even complex. Even the eigenvectors of the effective mass density tensor can vary with frequency. Within the framework of linear elasticity, internal masses can cause the effective elasticity tensor to be frequency dependent, yet not contribute at all to the effective mass density at any frequency. One may use coordinate transformations of the elastodynamic equations to get novel unexpected behavior. A classical propagating wave can have a strange behavior in the new abstract coordinate system. However the problem becomes to find metamaterials which realize the behavior in the new coordinate system. This can be solved at a discrete level, by replacing the original elastic material with a network of masses and springs and then applying transformations to this network. The realization of the transformed network requires a new type of spring, which we call a torque spring. The forces at the end of the torque spring are equal and opposite but not aligned with the line joining the spring ends. We show how torque springs can theoretically be realized.
E6-1, ROOM 1409
Discrete Math
Gena Hahn (University of Montreal, Canada)
Cops, robbers, infinite graphs and related problems
We briefly survey the game of cops-and-robbers on graphs and its variants in the fi nite case and then concenrate on in finite graphs, stressing the diff erence between the fi nite and the in finite. Along the way we show (time allowing) how to construct in finite vertex transitive graphs from any graphs and point out some strange properties of the construction. We also suggest several open problems, both fi nite and infi nite. The talk is based on work with A. Bonato, C.Tardif and R.E. Woodrow.
Let $d geq 3$ be an odd positive integer and let $f(x_1, ldots, x_n, x_{n+1}), n geq d,$ be a weighted homogeneous polynomial of degree $2d$ with respect to the weights ${rm wt}(x_1)=cdots={rm wt}(x_n) =1$ and ${rm wt}(x_{n+1}) =2$. Let $X^f$ be a Veronese double cone of dimension $n$ associated to a general choice of $f.$ This is an $n$-dimensional Fano manifold of Picard number 1 with index $n+2-d$.
In this talk, I will describe the variety of minimal rational tangents $mathcal C_xsubsetmathbb P T_x(X)$ at a general point $x$ of $X^f$ and show that it is not smooth if $2d leq n$.
E6-1, ROOM 1409
Discrete Math
Michael Lampis (Kyoto University, Japan)
Parameterized Approximation Schemes using Graph Widths
A number of natural graph problems are known to be W-hard to solve exactly when parameterized by standard widths (treewidth or clique-width). At the same time, such problems are typically hard to approximate in polynomial time. In this talk we will present a natural randomized rounding technique that extends well-known ideas and can be used to obtain FPT approximation schemes for several such problems, evading both polynomial-time inapproximability and parameterized intractability bounds.
Following the work of Fujita, Angehrn and Siu, Helmke obtained an effective bounds for the global generation of the adjoint line bundles. In this talk, we will introduce his method. By carefully analyzing upper bound of deficit function, we obtain a Kawamata-type result on projective 5-folds. More precisely, we show that the adjoint line bundle is globally generated with bound 7.
E6-1, ROOM 1409
Discrete Math
Valia Mitsou (University of New York, USA)
The computational complexity of the game of SET and its theoretical applications
The game of SET is a popular card game in which the objective is to form Sets (triplets of cards that match in a particular sense) using cards from a special deck. For more details regarding the game, please visit the official website: http://www.setgame.com/.We analyze the computational complexity of some variations of the game of SET, presenting positive as well as hardness results in the classical and parameterized sense. Along the way, we make interesting connections of these generalizations of the game with other combinatorial problems, like Perfect Multi-Dimensional Matching, Set Packing, Independent Edge Dominating Set, and a two-player game played on graphs called Arc Kayles.
산업경영학동(E2) Room 3221
KMRS 세미나
Graeme Milton (University of Utah)
Intensive Lecture on Inverse Problems_Lecture 1
Examples of exact relations and links between effective tensors
(sections 3.1, 3.2, 3.3, 5.1, 5.3, 6.2)
Here we give examples of some of the many exact, microstructure independent, relations that have been found for the effective moduli of composites. These include the Keller-Dykhne-Mendelson exact relations for the conductivity of two-dimensional composites; the exact relation of Hill for the effective Lame modulus of a composite with constant shear modulus; the exact relation of Levin linking the effective bulk modulus and effective thermal expansion coefficient in two phase composites, and the exact relations of Milgrom and Shtrikman for the effective moduli of thermoelectric and other coupled field problems.
산업경영학동(E2) Room 3221
KMRS 세미나
Graeme Milton (University of Utah)
Intensive Lecture on Inverse Problems_Lecture 2
Exact formulae for the effective tensors of laminates and series expansions for the effective tensor(sections 9.2, 9.3, 12.1, 14.1, 14.9)
One of the simplest composites is a laminate of the consitutent phases. The formula giving the effective tensor of a laminate is non-linear, but following ideas of Backus, Tartar and myself, reduces to a linear average in the right coordinates, dependent on the direction of lamination. For more general composites one can expand the effective tensor in a series expansion in powers of the contrast between the phases, and some expansions have especially fast convergence. Following the ideas of Moulinec and Suquet these series expansions lead to numerical schemes for computing the effective moduli of both linear and non-linear composites
Trial-to-trial variability in the neural response to the same stimuli has been observed in a wide range of neuronal systems. Such response variability and noisiness may degrade the fidelity of information transmission and computation in the neural systems. In the first part of the talk, I will discuss the effect of noise on the network structure in memory circuits that store stimulus value in a graded manner (Lim and Goldman, Neural Comp., 2012). Using information-theoretic measure, I compared the performance of two prominent classes of memory networks, feedback-based attractor networks and feedforward networks under different conditions.
In the second part of the talk, I will discuss the statistical properties of noise-induced phenomena in spontaneously active networks having a relaxation character (Lim and Rinzel, J. Comp. Neuro., 2010). I have developed mathematical tools to show the relation of the slow process of relaxation dynamics and the statistical properties of noisy neuronal activities. This analysis was then used to develop criteria by which to distinguish among different slow negative feedback mechanism in the rat respiratory central-pattern-generator circuit.
자연과학동 E6-1 ROOM 1409
Discrete Math
국 웅 (Seoul National University)
Combinatorial Laplacians and high dimensional tree numbers
We will review applications of in computing the tree numbers for graphs and in solving discrete Laplace equations for networks. In general, the boundary operators are used to define high-dimensional trees as a generalization of spanning trees for graphs. We will demonstrate an intriguing relation between high-dimensional tree numbers and for acyclic complexes, based on combinatorial Hodge theory. As an application, a formula for the top-dimensional tree-number of matroid complexes will be derived. If time permits, an important role of combinatorial Laplacians in topological data analysis (TDA) will be briefly discussed.
In the brain, massive interactions between neurons through synapses give rise to rich dynamics and have been thought to be critical for brain computation. In this talk, I will discuss recurrent network models for working memory that refers to an ability to maintain information on a time scale of seconds. Persistent neural activity in the absence of stimulus has been identified as a neural correlate of working memory, and it has been suggested that network interactions must be used to prolong the duration of persistent activity. Using dynamical systems theory and control theories, I found a new mechanism for generating persistent activity based on the principle of corrective feedback both in spatially homogeneous networks (Lim and Goldman, Nat. Neurosci., 2013) and in spatially structured networks (Lim and Goldman, J. Neurosci., in press). Several advantages of this new network model compared to previous models will also be discussed.
수리과학과 E6-1 Room 3435
KAIST CMC 정오의 수학산책
서진근 (연세대학교)
Compactness, Dirichlet's principle and Sobolev space
In this lecture, we explore the emergence of the notion of compactness within its historical beginning through rigor versus intuition modes in the treatment of Dirichlet`s principle. We emphasize on the intuition in Riemann`s statement on the principle criticized by Weierstrass`requirement of rigor followed by Hilbert`s restatement again criticized by Hadamard, which pushed the ascension of the notion of compactness in the analysis of PDEs. A brief overview of some techniques and problems involving compactness is presented illustrating the importance of this notion.
Compactness is discussed here to raise educational issues regarding rigor vs intuition in mathematical studies. The concept of compactness advanced rapidly after Weierstrass's famous criticism of Riemann's use of the Dirichlet principle. The rigor of Weierstrass contributed to establishment of the concept of compactness, but such a focus on rigor blinded mathematicians to big pictures. Fortunately, Poincare and Hilbert defended Riemann's use of the Dirichlet principle and found a balance between rigor and intuition. There is no theorem without rigor, but we should not be a slave of rigor. Rigor (highly detailed examination with toy models) and intuition (broader view with real models) are essentially complementary to each other.
사전 등록은 URL 링크를 통해서 해 주시면 됩니다^^
Although elliptic PDEs have been used widely, it seems that its precise definition has been overlooked. How can we understand coefficients of elliptic PDEs and their solutions? Indeed, the determination of coefficients of elliptic PDEs has been studied by many distinguished scientists, including Maxwell, Poisson, Faraday, Rayleigh, Fricke, Lorentz, and so on. But their studies were mostly restricted to very simplified models, and this subject is not well understood. In this lecture, we discuss this fundamental issue in PDE by reviewing math history.
A complex normal variety $X$ is called a symplectic variety if it admits a holomorphic symplectic 2-form $omega$ on the regular part $X_{reg}$ and $omega$ extends to a holomorphic 2-form on a resolution $Y$ of $X$. Compared with the compact case, there are a lot of examples of affine symplectic varieties. They are not only interesting objects in algebraic geometry, but also play important roles in geometric representation theory.
The aim of this talk is to characterize the nilpotent variety of a complex semisimple Lie algebra among affine symplectic varieties. The main result is that if $(X, omega)$ is an affine singular symplectic variety embedded in an affine space as a complete intersection of homogeneous polynomials and $omega$ is homogeneous, then $(X, omega)$ coincides with the nilpotent variety
$N$ of a complex semisimple Lie algebra together with the Kostant-Kirillov 2-form $omega_{KK}$.
The proof of the main result uses the theory of Poisson deformation, holomorphic contact geometry, Mori theory and some elementary representation theory.
The aim of this talk is to introduce some theory of algebraic geometry to Commutative Ring Theory and to translate some properties of singularities to the language of Commutative Ring Theory over fields of positive characteristic.
The contents includes the following topics.
(1) Resolution of singularities and rational singularities.
(2) Positive characteristic counterpart of rational singularities and log terminal singularities.
(3) Construction of normal graded rings from projective varieties and Q- divisors.
(4) Ideal theory of integrally closed ideals and cycles on the resolution.