• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.1075-1087
• /
• 2008

We study a class of KMS-symmetric quantum Markovian semigroups on a quantum spin system ($\mathcal{A},{\tau},{\omega}$), where $\mathcal{A}$ is a quasi-local algebra, $\tau$ is a strongly continuous one parameter group of *-automorphisms of $\mathcal{A}$ and $\omega$ is a Gibbs state on $\mathcal{A}$. The semigroups can be considered as the extension of semi groups on the nontrivial abelian subalgebra. Let $\mathcal{H}$ be a Hilbert space corresponding to the GNS representation con structed from $\omega$. Using the general construction method of Dirichlet form developed in [8], we construct the symmetric Markovian semigroup $\{T_t\}{_t_\geq_0}$ on $\mathcal{H}$. The semigroup $\{T_t\}{_t_\geq_0}$ acts separately on two subspaces $\mathcal{H}_d$ and $\mathcal{H}_{od}$ of $\mathcal{H}$, where $\mathcal{H}_d$ is the diagonal subspace and $\mathcal{H}_{od}$ is the off-diagonal subspace, $\mathcal{H}=\mathcal{H}_d\;{\bigoplus}\;\mathcal{H}_{od}$. The restriction of the semigroup $\{T_t\}{_t_\geq_0}$ on $\mathcal{H}_d$ is Glauber dynamics, and for any ${\eta}{\in}\mathcal{H}_{od}$, $T_t{\eta}$, decays to zero exponentially fast as t approaches to the infinity.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.929-949
• /
• 2022

Given an ACM set 𝕏 of points in a multiprojective space ℙ^m×ℙⁿ over a field of characteristic zero, we are interested in studying the Kähler different and the Cayley-Bacharach property for 𝕏. In ℙ¹×ℙ¹, the Cayley-Bacharach property agrees with the complete intersection property and it is characterized by using the Kähler different. However, this result fails to hold in ℙ^m×ℙⁿ for n > 1 or m > 1. In this paper we start an investigation of the Kähler different and its Hilbert function and then prove that 𝕏 is a complete intersection of type (d₁, …, d_m, d'₁, …, d'_n) if and only if it has the Cayley-Bacharach property and the Kähler different is non-zero at a certain degree. We characterize the Cayley-Bacharach property of 𝕏 under certain assumptions.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2010.11a
• /
• pp.63-66
• /
• 2010

본 논문은 차세데 3D-TV 방송을 위해 수정된 ATSC (Modified Advanced Television Systems Committee) 시스템 [1]에서 파일럿 (Pilot)을 이용한 채널 추정 대신, PN 시퀀스 (Pseudo-Noise Sequence)를 이용한 채널 추정 방식의 문제점에 대하여 2가지 방법으로 연구하였다. PN 시퀀스를 이용하여 채널을 추정하는 TDS-OFDM (Time Domain Synchronous - Orthogonal Frequency Division Multiplexing)시스템은 QAM (Quadrature Amplitude Modulation) 변조 방식을 사용하기 때문에 수신측 PN 시퀀스의 위상 변화가 일어나지 않는다. 하지만 수정된 ATSC 시스템에서 사용하는 VSB (Vestigial Side Band)변조 방식에서 직교위상 (Quadrature) 채널을 통해 전송되는 값은 동위상 (In-Phase) 채널을 통해 전송되는 값의 단순한 힐버트 변환 (Hilbert Transform)에 의해 생성되어 불규칙한 위상 변화가 발생한다. 따라서 수정된 ATSC 시스템에서 채널 추정을 위해 PN 시퀀스를 사용하게 된다면 상관 (Correlation) 특성을 잃어버릴 것이며 올바른 채널 임펄스 응답 (Channel Impulse Response)을 얻을 수 없다.

• Journal of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.529-541
• /
• 2005

An operator T belonging to the algebra B(H) of bounded linear transformations on a Hilbert H into itself is said to be posinormal if there exists a positive operator $P{\in}B(H)$ such that $TT^*\;=\;T^*PT$. A posinormal operator T is said to be conditionally totally posinormal (resp., totally posinormal), shortened to $T{\in}CTP(resp.,\;T{\in}TP)$, if to each complex number, $\lambda$ there corresponds a positive operator $P_\lambda$ such that $|(T-{\lambda}I)^{\ast}|^{2}\;=\;|P_{\lambda}^{\frac{1}{2}}(T-{\lambda}I)|^{2}$ (resp., if there exists a positive operator P such that $|(T-{\lambda}I)^{\ast}|^{2}\;=\;|P^{\frac{1}{2}}(T-{\lambda}I)|^{2}\;for\;all\;\lambda)$. This paper proves Weyl's theorem type results for TP and CTP operators. If $A\;{\in}\;TP$, if $B^*\;{\in}\;CTP$ is isoloid and if $d_{AB}\;{\in}\;B(B(H))$ denotes either of the elementary operators $\delta_{AB}(X)\;=\;AX\;-\;XB\;and\;\Delta_{AB}(X)\;=\;AXB\;-\;X$, then it is proved that $d_{AB}$ satisfies Weyl's theorem and $d^{\ast}_{AB}\;satisfies\;\alpha-Weyl's$ theorem.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.6
• /
• pp.413-422
• /
• 2022

In this paper, the fault analysis of the momentum wheel, which is a high-speed rotary machinery of 'Control Moment Gyro' for medium and large satellite, was described. For fault diagnosis, envelope spectrum analysis was performed using Hilbert transformation method and signal demodulation method to find the impact signals periodically generated from amplitude modulated signals. Through this, the fault of the momentum wheel was diagnosed by analyzing whether there was a harmonic component of the rotational frequency and a bearing fault frequency in a specific frequency band with a high peak.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.6
• /
• pp.271-275
• /
• 2014

A New Single Phase Active Power Filter Controller is proposed using Rotating Synchronous Frame d-q transformation. Instantaneous Active Power is calculated using d-q transformation. Average Value of Instantaneous Active Power is obtained using Low Pass Filter. Because power factor is corrected, source current is in phase with source voltage. Amplitude of source current is calculated using single phase power formula. Reference signal of compensated current of Active power filter is obtained from source current reference signal minus load current. Simulation is performed using hysteresis current controller in proposed new controller. Simulation result shows that because active power filter compensates load current, source current is in phase with source voltage and source current is sinusoidal. And Hilbert transformer is builded using all pass filter.

• Korean Journal of Mathematics
• /
• v.22 no.1
• /
• pp.85-89
• /
• 2014

A bounded linear Hilbert space operator T is said to be k-quasi-class A operator if it satisfy the operator inequality $T^{*k}{\mid}T^2{\mid}T^k{\geq}T^{*k}{\mid}T{\mid}^2T^k$ for a non-negative integer k. It is proved that if T is a k-quasi-class A contraction, then either T has a nontrivial invariant subspace or T is a proper contraction and the nonnegative operator $D=T^{*k}({\mid}T^2{\mid}-{\mid}T{\mid}^2)T^k$ is strongly stable.

• Journal of applied mathematics & informatics
• /
• v.32 no.1_2
• /
• pp.171-184
• /
• 2014

A higher order iterative method to compute the Moore-Penrose inverses of arbitrary matrices using only the Penrose equation (ii) is developed by extending the iterative method described in [1]. Convergence properties as well as the error estimates of the method are studied. The efficacy of the method is demonstrated by working out four numerical examples, two involving a full rank matrix and an ill-conditioned Hilbert matrix, whereas, the other two involving randomly generated full rank and rank deficient matrices. The performance measures are the number of iterations and CPU time in seconds used by the method. It is observed that the number of iterations always decreases as expected and the CPU time first decreases gradually and then increases with the increase of the order of the method for all examples considered.

• Journal of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.225-251
• /
• 2018

The m-isometry of a single operator in Agler and Stankus [3] was naturally generalized to the m-isometric tuple of several commuting operators by Gleason and Richter [22]. Some examples of m-isometric tuples including the recently much studied Arveson-Drury d-shift were given in [22]. We provide more examples of m-isometric tuples of operators by using sums of operators or products of operators or functions of operators. A class of m-isometric tuples of unilateral weighted shifts parametrized by polynomials are also constructed. The examples in Gleason and Richter [22] are then obtained by choosing some specific polynomials. This work extends partially results obtained in several recent papers on the m-isometry of a single operator.

• Kyungpook Mathematical Journal
• /
• v.54 no.2
• /
• pp.157-163
• /
• 2014

For a finite subset ${\Lambda}$ of $\mathbb{N}_0{\times}\mathbb{N}_0$, where $\mathbb{N}_0$ is the set of nonnegative integers, we say that a complex data ${\gamma}_{\Lambda}:=\{{\gamma}_{ij}\}_{(ij){\in}{\Lambda}}$ in the unit disc $\mathbf{D}$ of complex numbers has a cyclic subnormal completion if there exists a Hilbert space $\mathcal{H}$ and a cyclic subnormal operator S on $\mathcal{H}$ with a unit cyclic vector $x_0{\in}\mathcal{H}$ such that ${\langle}S^{*i}S^jx_0,x_0{\rangle}={\gamma}_{ij}$ for all $i,j{\in}\mathbb{N}_0$. In this note, we obtain some sufficient conditions for a cyclic subnormal completion of ${\gamma}_{\Lambda}$, where ${\Lambda}$ is a finite subset of $\mathbb{N}_0{\times}\mathbb{N}_0$.