Friday, October 25, 2024

<< >>  
2024. 9
Sun Mon Tue Wed Thu Fri Sat
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
2024. 10
Sun Mon Tue Wed Thu Fri Sat
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
2024. 11
Sun Mon Tue Wed Thu Fri Sat
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
2024-11-01 / 10:00 ~ 11:00
학과 세미나/콜로퀴엄 - 박사논문심사: 점근원뿔에 작용하는 군의 핵에 관한 연구 인쇄
by 장원용(KAIST)

2024-10-28 / 16:00 ~ 17:00
편미분방정식 통합연구실 세미나 - 편미분방정식: 인쇄
by ()
In the N-body problem, choreographies are periodic solutions where N equal masses follow each other along a closed curve. Each mass takes periodically the position of the next after a fixed interval of time. In 1993, Moore discovered numerically a choreography for N = 3 in the shape of an eight. The proof of its existence is established in 2000 by Chenciner and Montgomery. In the same year, Marchal published his work on the most symmetric family of spatial periodic orbits, bifurcating from the Lagrange triangle by continuation with respect to the period. This continuation class is referred to as the P12 family. Noting that the figure eight possesses the same twelve symmetries as the P12 family, the author claimed that it ought to belong to P12. This is known as Marchal’s conjecture. In this talk, we present a constructive proof of Marchal’s conjecture. We formulate a one parameter family of functional equations, whose zeros correspond to periodic solutions satisfying the symmetries of P12; the frequency of a rotating frame is used as the continuation parameter. The goal is then to prove the uniform contraction of a mapping, in a neighbourhood of an approximation of the family of choreographies starting at the Lagrange triangle and ending at the figure eight. The contraction is set in the Banach space of rapidly decaying Fourier-Chebyshev series coefficients. While the Fourier basis is employed to model the temporal periodicity of the solutions, the Chebyshev basis captures their parameter dependence. In this framework, we obtain a high-order approximation of the family as a finite number of Fourier polynomials, where each coefficient is itself given by a finite number of Chebyshev polynomials. The contraction argument hinges on the local isolation of each individual choreography in the family. However, symmetry breaking bifurcations occur at the Lagrange triangle and the figure eight. At the figure eight, there is a translation invariance in the normal direction to the eight. We explore how the conservation of the linear momentum in this direction can be leveraged to impose a zero average value in time for the choreographies. Lastly, at the Lagrange triangle, its (planar) homothetic family meets the (off-plane) P12 family. We discuss how a blow-up (as in “zoom-in”) method provides an auxiliary problem which only retains the desired P12 family.
2024-10-30 / 10:00 ~ 11:30
학과 세미나/콜로퀴엄 - 대수기하학: 인쇄
by ()
Let $C$ be a general rational curve of degree $d$ in a Grassmannian $G(k, n)$. The natural expectation is that its normal bundle is balanced, i.e., isomorphic to $\bigoplus O(e_i)$ with all $|e_i - e_j| \leq 1$. In this talk, I will describe several counterexamples to this expectation, propose a suitably revised conjecture, and describe recent progress towards this conjecture.
2024-11-01 / 13:30 ~ 14:30
학과 세미나/콜로퀴엄 - Topology, Geometry, and Data Analysis: 인쇄
by ()
The Gromov-Wasserstein (GW) distance is a generalization of the standard Wasserstein distance between two probability measures on a given ambient metric space. The GW distance assumes that these two probability measures might live on different ambient metric spaces and therefore implements an actual comparison of pairs of metric measure spaces. A metric-measure space is a triple (X,dX,muX) where (X,dX) is a metric space and muX is a fully supported Borel probability measure over X. In Machine Learning and Data Science applications, this distance is estimated either directly via gradient based optimization approaches, or through the computation of lower bounds which arise from distributional invariants of metric-measure spaces. One particular such invariant is the so-called ‘global distance distribution’ which precisely encodes the distribution of pairwise distances between points in a given metric measure space. This invariant has been used in many applications yet its classificatory power is not yet well understood. This talk will overview the construction of the GW distance, the stability of distributional invariants, and will also discuss some results regarding the injectivity of the global distribution of distances for smooth planar curves, hypersurfaces, and metric trees.
2024-10-30 / 14:30 ~ 15:30
학과 세미나/콜로퀴엄 - 대수기하학: 인쇄
by ()
We'll present the results of Ein-Lazarsfeld and Park on asymptotic syzygies of a higher dimensional variety.
2024-10-28 / 14:30 ~ 15:30
학과 세미나/콜로퀴엄 - 대수기하학: 인쇄
by ()
We'll present the beautiful proof of Kemeny on Voisin's theorem using a rank 2 bundle on a K3 surface.
2024-10-29 / 16:30 ~ 17:30
학과 세미나/콜로퀴엄 - 계산수학 세미나: 인쇄
by 조준홍(국가수리과학연구소)
This talk presents a novel and efficient approach to solving incompressible Navier-Stokes flows by combining a projection scheme with the Axial Green Function Method (AGM). AGM employs one-dimensional Green functions tailored for axially split differential operators, enabling the resolution of intricate multidimensional challenges. Our methodology integrates the projection method with a predictor-corrector mechanism, thereby ensuring stable and accurate velocity corrections. By transforming complex differential equations into simpler one-dimensional integral equations along axis-parallel lines within the flow domain, a notable enhancement in computational efficiency is achieved. A significant innovation of our approach is the use of axial Green functions that have been specifically designed for the reaction-diffusion ordinary differential operator. This enables the effective handling of discrete-time derivatives and viscous terms in the momentum equation. The flexibility of constructing axis-parallel lines at will allows for a detailed analysis of critical flow regions and even permits a random distribution of these lines, thereby enhancing adaptability. The efficacy of our methodology is validated through numerical examples involving benchmark flow scenarios, such as lid-driven cavity flow and flow past an obstacle, which illustrate convergence, adaptability to arbitrary domain geometries, and potential applicability to three-dimensional flow problems.
2024-11-01 / 10:00 ~ 12:00
SAARC 세미나 - SAARC 세미나: 인쇄
by ()
The objective of the tutorial Computer-Assisted Proofs in Nonlinear Analysis is to introduce participants to fundamental concepts of a posteriori validation techniques. This mini-course will cover topics ranging from finite-dimensional problems, such as finding periodic orbits of maps, to infinite-dimensional problems, including solving the Cauchy problem, proving the existence of periodic orbits, and computing invariant manifolds of equilibria. Each session will last 2 hours: 1 hour of theory followed by 1 hour of hands-on practical applications. The practical exercises will focus on implementing on implementing computer-assisted proofs using the Julia programming language.
2024-10-30 / 10:00 ~ 12:00
SAARC 세미나 - SAARC 세미나: 인쇄
by ()
The objective of the tutorial Computer-Assisted Proofs in Nonlinear Analysis is to introduce participants to fundamental concepts of a posteriori validation techniques. This mini-course will cover topics ranging from finite-dimensional problems, such as finding periodic orbits of maps, to infinite-dimensional problems, including solving the Cauchy problem, proving the existence of periodic orbits, and computing invariant manifolds of equilibria. Each session will last 2 hours: 1 hour of theory followed by 1 hour of hands-on practical applications. The practical exercises will focus on implementing on implementing computer-assisted proofs using the Julia programming language.
2024-10-29 / 16:00 ~ 18:00
SAARC 세미나 - SAARC 세미나: 인쇄
by ()
The objective of the tutorial Computer-Assisted Proofs in Nonlinear Analysis is to introduce participants to fundamental concepts of a posteriori validation techniques. This mini-course will cover topics ranging from finite-dimensional problems, such as finding periodic orbits of maps, to infinite-dimensional problems, including solving the Cauchy problem, proving the existence of periodic orbits, and computing invariant manifolds of equilibria. Each session will last 2 hours: 1 hour of theory followed by 1 hour of hands-on practical applications. The practical exercises will focus on implementing on implementing computer-assisted proofs using the Julia programming language.
2024-10-29 / 16:30 ~ 17:30
IBS-KAIST 세미나 - 이산수학: Triangles in the Plane 인쇄
by Felix Christian Clemen(IBS 극단 조합 및 확률 그룹)
A classical problem in combinatorial geometry, posed by Erdős in 1946, asks to determine the maximum number of unit segments in a set of $n$ points in the plane. Since then a great variety of extremal problems in finite planar point sets have been studied. Here, we look at such questions concerning triangles. Among others we answer the following question asked by Erdős and Purdy almost 50 years ago: Given $n$ points in the plane, how many triangles can be approximate congruent to equilateral triangles? For our proofs we use hypergraph Turán theory. This is joint work with Balogh and Dumitrescu.
2024-11-01 / 14:00 ~ 16:00
학과 세미나/콜로퀴엄 - 기타: About birational classification of smooth projective surfaces I 인쇄
by 김재홍(KAIST)
This is a reading seminar to be given by Mr. Jaehong Kim (a graduate student in the department) on foundations of the intersection theory and the classification theory of complex algebraic surfaces. He will give three 2-hour long talks.
2024-10-31 / 11:50 ~ 12:40
대학원생 세미나 - 대학원생 세미나: 인쇄
by 송윤민()
TBA
2024-10-31 / 16:15 ~ 17:15
학과 세미나/콜로퀴엄 - 콜로퀴엄: 인쇄
by ()
Distances such as the Gromov-Hausdorff distance and its Optimal Transport variants are nowadays routinely invoked in applications related to data classification. Interestingly, the precise value of these distances on pairs of canonical shapes is known only in very limited cases. In this talk, I will describe lower bounds for the Gromov-Hausdorff distance between spheres (endowed with their geodesic distances) which we prove to be tight in some cases via the construction of optimal correspondences. These lower bounds arise from a certain version of the Borsuk-Ulam theorem for discontinuous functions.
2024-10-30 / 16:00 ~ 17:00
IBS-KAIST 세미나 - IBS-KAIST 세미나: 인쇄
by ()
Latent space dynamics identification (LaSDI) is an interpretable data-driven framework that follows three distinct steps, i.e., compression, dynamics identification, and prediction. Compression allows high-dimensional data to be reduced so that they can be easily fit into an interpretable model. Dynamics identification lets you derive the interpretable model, usually some form of parameterized differential equations that fit the reduced latent space data. Then, in the prediction phase, the identified differential equations are solved in the reduced space for a new parameter point and its solution is projected back to the full space. The efficiency of the LaSDI framework comes from the fact that the solution process in the prediction phase does not involve any full order model size. For the identification, various approaches are possible, e.g., a fixed form as in dynamic mode decomposition and thermodynamics-based LaSDI, a regression form as in sparse identification of nonlinear dynamics (SINDy) and weak SINDy, and a physics-driven form as projection-based reduced order model. Various physics prob- lems were accurately accelerated by the family of LaSDIs, achieving a speed-up of 1000x, e.g., kinetic plasma simulations, pore collapse, and computational fluid problems.
2024-10-29 / 10:30 ~ 11:30
학과 세미나/콜로퀴엄 - 대수기하학: 인쇄
by ()
The lecture series gives a view on computational methods and their some applications to existence and classfication problems. In the first lectures I will introduce Groebner basis and their basic applications in commutative algebra such as computing kernel and images of morphism between finitely presented modules over polynomial rings. As a theoretical application of Groebner basis I will give Petri's analysis of the equations of a canonical curve. The second topic will be Computer aided existence and unirationality proofs of algebraic varieties and their moduli spaces. In case of curves liaison theory is needed, which will be developed. For existence proofs random searches over finite fields is a technique that has not been exploited very much. I will illustrate this technique in a number of examples, in particular for the construction of certain surfaces. Classification of non-minimal surfaces uses adjunction theory. We will discuss this from a computational point of view.
Events for the 취소된 행사 포함 모두인쇄
export to Google calendar  .ics download