• Journal of the Korean Mathematical Society
• /
• v.47 no.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.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• 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.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1077-1100
• /
• 2016

We develop an invariant local theory of Lorentz surfaces in pseudo-Euclidean 4-space by use of a linear map of Weingarten type. We find a geometrically determined moving frame field at each point of the surface and obtain a system of geometric functions. We prove a fundamental existence and uniqueness theorem in terms of these functions. On any Lorentz surface with parallel normalized mean curvature vector field we introduce special geometric (canonical) parameters and prove that any such surface is determined up to a rigid motion by three invariant functions satisfying three natural partial differential equations. In this way we minimize the number of functions and the number of partial differential equations determining the surface, which solves the Lund-Regge problem for this class of surfaces.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1221-1230
• /
• 2018

We derive a sharp decomposition formula for the state polytope of the Hilbert point and the Hilbert-Mumford index of reducible varieties by using the decomposition of characters and basic convex geometry. This proof captures the essence of the decomposition of the state polytopes in general, and considerably simplifies an earlier proof by the authors which uses a careful analysis of initial ideals of reducible varieties.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.12
• /
• pp.1625-1632
• /
• 1988

This paper aims not only to introduce the concept of linear singular systems, geometric structure, and feedback but also to provide applications of the multivariable linear singular system theories to electric circuits which may appear in some electronic equipments. The impulsive or discontinuous behavior which is not desirable can be removed by the set of admissible initial conditions. The output-nulling supremal (A,E,B) invariant subspace and the singular system structure algorithm are applied to this double-input double-output electric circuit. The Weierstrass form of the pencil (s E-A) is related to the output-nulling supremal (A,E,B) invariant subspace from which the time domain solutions of the finite and the infinite subsystems are found. The generalized Lyapunov equation for this application with feedback is studied and finally, the use of orthogonal functions in singular systems is discussed.

• Journal of applied mathematics & informatics
• /
• v.41 no.6
• /
• pp.1181-1191
• /
• 2023

This paper investigates Young inequalities for matrices, a problem closely linked to operator theory, mathematical physics, and the arithmetic-geometric mean inequality. By obtaining new inequalities for unitarily invariant norms, we aim to derive a fresh Young inequality specifically designed for matrices.To lay the foundation for our study, we provide an overview of basic notation related to matrices. Additionally, we review previous advancements made by researchers in the field, focusing on Young improvements.Building upon this existing knowledge, we present several new enhancements of the classical Young inequality for nonnegative real numbers. Furthermore, we establish a matrix version of these improvements, tailored to the specific characteristics of matrices. Through our research, we contribute to a deeper understanding of Young inequalities in the context of matrices.

• Journal of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.659-667
• /
• 1994

Let $H$ be a separable, infinite dimensional, complex Hilbert space and let $L(H)$ be the algebra of all bounded linear operators on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $I_H$ and is closed in the ultraweak operator topology on $L(H)$. Note that the ultraweak operator topology coincides with the weak topology on $L(H) (cf. [6]). Several functional analysists have studied the problem of solving systems of simultaneous equations in the predual of a dual algebra (cf. [3]). This theory is applied to the study of invariant subspaces and dilation theory, which are deeply related to the classes $A_{m,n}$ (that will be defined below) (cf. [3]). An abstract geometric criterion for dual algebras with property $(A_{\aleph_0}, {\aleph_0})$ was first given in [1].

• Journal of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.569-608
• /
• 1994

The subject matter of this survey has to do with holomorphic maps from a compact Riemann surface to projective space, which are also called algebrac curves; the theory we survey lies at the crossroads of function theory, projective geometry, and commutative algebra (although we should mention that the present survey de-emphasizes the algebraic aspect). Algebraic curves have been vigorously and continuously investigated since the time of Riemann. The reasons for the preoccupation with algebraic curves amongst mathematicians perhaps have to do with-other than the usual usual reason, namely, the herd mentality prompting us to follow the leads of a few great pioneering methematicians in the field-the fact that algebraic curves possess a certain simple unity together with a rich and complex structure. From a differential-topological standpoint algebraic curves are quite simple as they are neatly parameterized by a single discrete invariant, the genus. Even the possible complex structures of a fixed genus curve afford a fairly complete description. Yet there are a multitude of diverse perspectives (algebraic, function theoretic, and geometric) often coalescing to yield a spectacular result.

• The Journal of the Acoustical Society of Korea
• /
• v.28 no.4
• /
• pp.318-327
• /
• 2009

In this paper, we propose a 3-D geometric localization method for near-field broadband source in shallow water environments. According to the waveguide invariant theory, slope of the interference pattern which is seen in a sensor spectrogram directly proportional to a range of the source. The relative ratio of the range between source and sensors was estimated by matching of two interference patterns in spectrogram. Then this ratio is applied to the Apollonius's circle which shows the locus of a source whose range ratio from two sensors is constant. Two Apollonius's circles from three sensors make the intersection point that means the horizontal range and the azimuth angle of the source. And this intersection point is constant with source depth. Therefore the source depth can be estimated using 3-D hyperboloid equation whose range difference from two sensors is constant. To evaluate a performance of the proposed localization algorithm, simulation is performed using acoustic propagation program and analysis of localization error is demonstrated. From simulation results, error estimate for range and depth is described within 50 m and 15 m respectively.