• 대한수학회지
• /
• 제61권4호
• /
• pp.683-692
• /
• 2024

Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to that of the usual projective plane. Recent explicit constructions of fake projective planes embed them via their bicanonical embedding in ℙ⁹. In this paper, we study Keum's fake projective plane (a = 7, p = 2, {7}, D₃2₇) and use the equations of [1] to construct an embedding of fake projective plane in ℙ⁵. We also simplify the 84 cubic equations defining the fake projective plane in ℙ⁹.

• 한국전자통신학회논문지
• /
• 제12권6호
• /
• pp.1027-1034
• /
• 2017

본 논문은 양자게이트의 모든 제어 동작점에서 양자들의 확률진폭, 확률, 평균 기댓값 및 정상상태 단위행렬의 행렬요소 등을 수학적 투사로 측정할 수 있는 새로운 함수 임베딩 방법을 제안하였다. 본 논문의 함수 임베딩 방법은 디랙 기호와 크로네커델타 기호를 사용해 각 제어 동작점에 대한 확률진폭의 직교 정규화조건을 2진 스칼라 연산자에 임베딩 한 것이다. 이와 같은 함수 임베딩 방법은 양자게이트 함수를 단일양자들의 텐서 곱으로 표현하는 유니터리 변환에서 유니터리 게이트의 산술 멱함수 제어에 매우 효과적 수단임을 밝혔다. Ternary 2-qutrit cNOT 게이트에 본 논문이 제안한 함수 임베딩 방법을 적용했을 때의 진화연산과 투사측정 결과를 제시하고, 기존의 방법들과 비교 검토하였다.

• 대한수학회지
• /
• 제43권6호
• /
• pp.1231-1252
• /
• 2006

In this paper we shall explicitly calculate the formula of the algebraic presentation of an embedding of the Teichmiiller space ${\Im}(M)$ into the Goldman space g(M). From this algebraic presentation, we shall show that the Goldman's length parameter on g(M) is an isometric extension of the Fenchel-Nielsen's length parameter on ${\Im}(M)$.

• 대한수학회논문집
• /
• 제30권3호
• /
• pp.253-267
• /
• 2015

Given a complex submanifoldM of the projective space $\mathbb{P}$(T), the hyperplane system R on M characterizes the projective embedding of M into $\mathbb{P}$(T) in the following sense: for any two nondegenerate complex submanifolds $M{\subset}\mathbb{P}$(T) and $M^{\prime}{\subset}\mathbb{P}$(T'), there is a projective linear transformation that sends an open subset of M onto an open subset of M' if and only if (M,R) is locally equivalent to (M', R'). Se-ashi developed a theory for the differential invariants of these types of systems of linear differential equations. In particular, the theory applies to systems of linear differential equations that have symbols equivalent to the hyperplane systems on nondegenerate equivariant embeddings of compact Hermitian symmetric spaces. In this paper, we extend this result to hyperplane systems on nondegenerate equivariant embeddings of homogeneous spaces of the first kind.

• 대한수학회지
• /
• 제42권1호
• /
• pp.129-134
• /
• 2005

Lpt X be a reduced Stein space and L a holomorphic line bundle on X. L is spanned by its global sections and the associated holomorphic map $h_L\;:\;X{\to}P(H^0(X, L)^{\ast})$ is an embedding. Choose any locally convex vector topology ${\tau}\;on\;H^0(X, L)^{\ast}$ stronger than the weak-topology. Here we prove that $h_L(X)$ is sequentially closed in $P(H^0(X, L)^{\ast})$ and arithmetically Cohen -Macaulay. i.e. for all integers $k{\ge}1$ the restriction map ${\rho}_k\;:\;H^0(P(H^0(X, L)^{\ast}),\;O_{P(H^0(X, L)^{\ast})}(k)){\to}H^0(h_L(X),O_{hL_(X)}(k)){\cong}H^0(X, L^{\otimes{k}})$ is surjective.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.661-681
• /
• 2004

We research properties of the space of measurable functions square integrable with weight exp$2\nu $\mid$x$\mid$$, and those of the space of Fourier hyperfunctions. Also we show that the several embedding theorems hold true, and that the Fourier-Lapace operator is an isomorphism of the space of strongly decreasing Fourier hyperfunctions onto the space of analytic functions extended to any strip in $C^n$ which are estimated with the aid of a special exponential function exp($\mu$｜x｜).

• East Asian mathematical journal
• /
• 제34권1호
• /
• pp.21-28
• /
• 2018

For a nondegenerate irreducible projective variety, it is a classical problem to study the defining equations of a variety with respect to the given embedding. In this paper we precisely determine the defining equations of certain types of rational curves in ${\mathbb{P}}^3$.

• 대한수학회보
• /
• 제53권3호
• /
• pp.751-763
• /
• 2016

The properties of the nonabelian tensor products are interesting in different contexts of algebraic topology and group theory. We prove two theorems, dealing with the nonabelian tensor products of projective limits of finite groups. The first describes their topology. Then we show a result of embedding in the second homology group of a pro-p-group, via the notion of complete exterior centralizer. We end with some open questions, originating from these two results.

• East Asian mathematical journal
• /
• 제38권3호
• /
• pp.347-355
• /
• 2022

For a nondegenerate projective variety, it is a classical problem to study its defining equations with respect to a given embedding. In this paper, we precisely determine minimal sets of generators of the defining ideals of some curves of maximal regularity in ℙ⁵.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.1090-1093
• /
• 2004

In this paper, a problem of geometrically distorted images is considered. In particular, the paper discusses the detection of a watermark from a photographed image of the watermarked picture. The image is possibly obtained by using a digital camera. This watermark detection problem is made difficult by various geometric distortions added to the original picture through the printing and photographing processes. In particular, the paper focuses on the geometric distortion due to a projective transformation, as part of a camera 3D-to-2D imaging process. It is well-known that a cross ratio of collinear points is invariant under a perspective projection. By exploiting this fact, a projective-invariant digital watermarking technique is developed. By detecting the picture's corners, and the image center point at the intersection of two main diagonal lines, predefined cross ratios are used to compute the watermark embedded locations. From those identified embedding pixel locations, a watermark can be detected by performing a correlation between a watermark pattern and the image over those pixels. The proposed method does not require an inverse transformation on the distorted image, thus simplifying the detection process. Performance of the proposed method has been analyzed through computer experiments