• Kyungpook Mathematical Journal
• /
• 제48권2호
• /
• pp.233-240
• /
• 2008

We present a quantum theorical background of the existence of multi-variable link invariants, for example the Kauffman polynomial, by observing the quantum (sl(2,$\mathbb{C}$), ad)-invariant from the Kontsevich invariant point of view. The background implies that the Kauffman polynomial can be studied by using the sl(N,$\mathbb{C}$)-skein theory similar to the Jones polynomial and the HOMFLY polynomial.

• 대한수학회논문집
• /
• 제13권4호
• /
• pp.913-931
• /
• 1998

Using invariant theory, new invariant cubature formulas over a unit cube are given by imposing a group structure on the formulas. Cools and Haegemans [Computing 40, 139-146 (1988)] constructed invariant cubature formulas over a unit square. Since there exists a problem in directly extending their ideas over the unit square which were obtained by using a concept of good integrity basis to some constructions of invariant cubature formulas over the unit cube, a Reynold operator will be used to obtain new invariant cubature formulas over the unit cube. In order to practically find integration nodes and weights for the cubature formulas, it is required to solve a system of nonlinear equations. With an IMSL subroutine DUNLSF which is used for solutions of the system of nonlinear equations, we shall give integration nodes for the new invariant cubature formulas over the unit cube depending on each degree of polynomial precision.

• 대한수학회지
• /
• 제55권3호
• /
• pp.623-669
• /
• 2018

In Donaldson-Thomas theory, moduli spaces are locally the critical locus of a holomorphic function defined on a complex manifold. In this paper, we develop a theory of critical virtual manifolds which are the gluing of critical loci of holomorphic functions. We show that a critical virtual manifold X admits a natural semi-perfect obstruction theory and a virtual fundamental class $[X]^{vir}$ whose degree $DT(X)=deg[X]^{vir}$ is the Euler characteristic ${\chi}_{\nu}$(X) weighted by the Behrend function ${\nu}$. We prove that when the critical virtual manifold is orientable, the local perverse sheaves of vanishing cycles glue to a perverse sheaf P whose hypercohomology has Euler characteristic equal to the Donaldson-Thomas type invariant DT(X). In the companion paper, we proved that a moduli space X of simple sheaves on a Calabi-Yau 3-fold Y is a critical virtual manifold whose perverse sheaf categorifies the Donaldson-Thomas invariant of Y and also gives us a mathematical theory of Gopakumar-Vafa invariants.

• 대한수학회지
• /
• 제50권1호
• /
• pp.17-39
• /
• 2013

The study of nonlinear discrete-time control dynamical systems with disturbance is an important topic in control theory. In this paper, we concentrate our efforts to multiple valued iterative dynamical systems, which model the nonlinear discrete-time control dynamical systems with disturbance. After establishing the validity of such modeling, we study the invariant set theory of the multiple valued iterative dynamical systems, including the controllability/reachablity problems of the maximal invariant sets.

• 대한수학회지
• /
• 제47권1호
• /
• pp.41-62
• /
• 2010

In this article, we discuss a Grobner basis algorithm related to the stability of algebraic varieties in the sense of Geometric Invariant Theory. We implement the algorithm with Macaulay 2 and use it to prove the stability of certain curves that play an important role in the log minimal model program for the moduli space of curves.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제10권2호
• /
• pp.127-132
• /
• 2003

The object of this paper is to extend and generalize the work of Brosowski ［Fixpunktsatze in der approximationstheorie. Mathematica Cluj 11 (1969), 195-200］, Hicks & Humphries ［A note on fixed point theorems. J. Approx. Theory 34 (1982), 221-225］, Khan & Khan ［An extension of Brosowski-Meinardus theorem on invariant approximation. Approx. Theory Appl. 11 (1995), 1-5］ and Singh ［An application of a fixed point theorem to approximation theory J. Approx. Theory 25 (1979), 89-90; Application of fixed point theorem in approximation theory. In: Applied nonlinear analysis (pp. 389-394). Academic Press, 1979］ in metric spaces having convex structure, and in metric linear spaces having strictly monotone metric.

• 호남수학학술지
• /
• 제38권3호
• /
• pp.613-623
• /
• 2016

As a generalization of the Fourier transform, the fractional Fourier transform plays an important role both in theory and in applications of signal processing. We present a new approach to reach a uniform sampling theorem in the shift-invariant spaces associated with the fractional Fourier transform domain.

• 대한수학회논문집
• /
• 제39권1호
• /
• pp.223-245
• /
• 2024

We study RNA foldings and investigate their topology using a combination of knot theory and embedded rigid vertex graphs. Knot theory has been helpful in modeling biomolecules, but classical knots emphasize a biomolecule's entanglement while ignoring their intrachain interactions. We remedy this by using stuck knots and links, which provide a way to emphasize both their entanglement and intrachain interactions. We first give a generating set of the oriented stuck Reidemeister moves for oriented stuck links. We then introduce an algebraic structure to axiomatize the oriented stuck Reidemeister moves. Using this algebraic structure, we define a coloring counting invariant of stuck links and provide explicit computations of the invariant. Lastly, we compute the counting invariant for arc diagrams of RNA foldings through the use of stuck link diagrams.

• 대한수학회지
• /
• 제36권3호
• /
• pp.621-631
• /
• 1999

In this paper we briefly describe the geometry of the Cayley hyperbolic plane and we show that every uniform lattice in quaternionic space cannot be deformed in the Cayley hyperbolic 2-plane. We also describe the nongeometric bending deformation by developing the theory of the Cartan angular invariant for quaternionic hyperbolic space.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.2393-2396
• /
• 2005

We present a method to detect on-road vehicle using geometric invariant of feature points on side planes of the vehicle. The vehicles are assumed into a set of planes and the invariant from motion information of features on the plane segments the plane from the theory that a geometric invariant value defined by five points on a plane is preserved under a projective transform. Harris corners as a salient image point are used to give motion information with the normalized correlation centered at these points. We define a probabilistic criterion to test the similarity of invariant values between sequential frames. Experimental results using images of real road scenes are presented.