[논문 리뷰] $\ast$-operator frame for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$

Mohamed Rossafi, Samir Kabbaj|arXiv (Cornell University)|2018. 06. 07.

Mathematical Analysis and Transform Methods인용 수 7

한 줄 요약

이 논문은 $C^\ast$-대수 $\mathcal{A}$ 위의 힐버트 $C^\ast$-모듈러스에서 $\ast$-연산자 프레임의 개념을 도입하며, 수반 가능한 연산자를 포함시켜 $\ast$-프레임을 일반화한다. $\ast$-프레임 연산자를 정의하고, 힐버트 $C^\ast$-모듈러스 $\mathcal{H}$와 $\mathcal{K}$의 $\ast$-연산자 프레임의 텐서곱이 $\mathcal{H} \otimes \mathcal{K}$에 대한 $\ast$-연산자 프레임을 이룬다는 것을 증명하며, 이 텐서곱의 $\ast$-프레임 연산자가 개별 $\ast$-프레임 연산자의 텐서곱과 동일하다는 것을 보인다.

ABSTRACT

In this paper, a new notion of frames is introduced: $\ast$-operator frame as generalization of $\ast$-frames in Hilbert $C^{\ast}$-modules introduced by A. Alijani and M. A. Dehghan \cite{Ali} and we establish some results.

연구 동기 및 목표

• 수반 가능한 연산자를 사용하여 힐버트 $C^\ast$-모듈러스에서 $\ast$-프레임의 개념을 일반화하기 위해 $\ast$-연산자 프레임을 도입한다.
• End_{\mathcal{A}}^{\ast}(\mathcal{H})$의 맥락에서 $\ast$-연산자 프레임 변환과 $\ast$-프레임 연산자를 정의한다.
• 힐버트 $C^\ast$-모듈러스의 텐서곱에 대한 $\ast$-연산자 프레임의 행동을 조사한다.
• 두 $\ast$-연산자 프레임의 텐서곱이 텐서곱 모듈러스에 대한 $\ast$-연산자 프레임을 이룬다는 것을 확립한다.
• 텐서곱 프레임의 $\ast$-프레임 연산자가 개별 $\ast$-프레임 연산자의 텐서곱과 동일하다는 것을 증명한다.

제안 방법

• 모든 $x \in \mathcal{H}$에 대해 $A\langle x,x\rangle_{\mathcal{A}}A^* \leq \sum_{i\in I} \langle \Lambda_i x, \Lambda_i x \rangle_{\mathcal{A}} \leq B\langle x,x\rangle_{\mathcal{A}}B^*$ 를 만족하는 $End_{\mathcal{A}}^{\ast}(\mathcal{H})$의 가중치 집합 $\{\Lambda_i\}_{i\in I}$를 $\ast$-연산자 프레임으로 정의하며, $A, B \in \mathcal{A}^+$ 는 엄격히 양수이다.
• 양수이자 가역적인 수반 가능한 연산자인 $\ast$-프레임 연산자 $S = \sum_{i\in I} \Lambda_i^* \Lambda_i$ 를 $\mathcal{H}$ 위에서 정의한다.
• 두 힐버트 $C^\ast$-모듈러스 $\mathcal{H}$와 $\mathcal{K}$의 텐서곱을 구성하고, 표준 내적 구조를 부여하여 $\mathcal{H} \otimes \mathcal{K}$ 를 형성한다.
• 연산자 $\Lambda_i \otimes \Gamma_j$ 의 텐서곱을 정의하고, $\{\Lambda_i\}$와 $\{\Gamma_j\}$ 가 각각 $\mathcal{H}$와 $\mathcal{K}$ 에 대한 $\ast$-연산자 프레임이라면 $\{\Lambda_i \otimes \Gamma_j\}$ 가 $\mathcal{H} \otimes \mathcal{K}$ 에 대한 $\ast$-연산자 프레임을 이룬다는 것을 보인다.
• 텐서곱 프레임의 $\ast$-프레임 연산자가 $S_{\Lambda \otimes \Gamma} = S_\Lambda \otimes S_\Gamma$ 라는 것을 증명한다.
• End_{\mathcal{A}}^{\ast}(\mathcal{H})$에 속한 $Q$ 의 가역성에 기반하여 기존의 $\ast$-연산자 프레임을 $\Lambda_i(Q^* \otimes I)$ 를 통해 변형하고, 결과적으로 얻어진 가중치 집합이 여전히 $\ast$-연산자 프레임이 되며, 이는 하한과 상한이 각각 $\|Q^{*-1}\|^{-1}$ 과 $\|Q\|$ 으로 조정된다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 힐버트 $C^\ast$-모듈러스에서 $\ast$-프레임의 개념을 수반 가능한 연산자를 포함시켜 어떻게 일반화할 수 있는가?
• RQ2 두 $\ast$-연산자 프레임의 텐서곱이 텐서곱 모듈러스에 대한 $\ast$-연산자 프레임을 형성하기 위한 조건은 무엇인가?
• RQ3 텐서곱 프레임의 $\ast$-프레임 연산자는 개별 프레임의 $\ast$-프레임 연산자와 어떻게 관련이 있는가?
• RQ4 가역적인 수반 가능한 연산자가 $\ast$-연산자 프레임에 적용될 경우, 그 하한과 상한, 연산자 구조에는 어떤 변화가 생기는가?
• RQ5 텐서곱 프레임의 $\ast$-프레임 연산자는 개별 $\ast$-프레임 연산자의 텐서곱으로 표현될 수 있는가?

주요 결과

• 힐버트 $C^\ast$-모듈러스 $\mathcal{H}$와 $\mathcal{K}$ 에 대한 두 $\ast$-연산자 프레임의 텐서곱은 텐서곱 모듈러스 $\mathcal{H} \otimes \mathcal{K}$ 에 대한 $\ast$-연산자 프레임을 형성한다.
• 텐서곱 프레임의 $\ast$-프레임 연산자는 개별 $\ast$-프레임 연산자의 텐서곱과 동일하다: $S_{\Lambda \otimes \Gamma} = S_\Lambda \otimes S_\Gamma$.
• 가역 연산자 $Q \in End_{\mathcal{A}}^{\ast}(\mathcal{H})$ 가 $\Lambda_i(Q^* \otimes I)$ 를 통해 적용되면, 결과적으로 얻어진 가중치 집합은 하한과 상한이 각각 $\|Q^{*-1}\|^{-1}$ 과 $\|Q\|$ 으로 조정된 $\ast$-연산자 프레임을 유지한다.
• 변형된 프레임의 $\ast$-프레임 연산자는 $S' = (Q \otimes I)S(Q^* \otimes I)$ 로 주어지며, 이러한 변환 하에서 프레임 구조가 유지됨을 보여준다.
• 두 번째 인자에 대해 가역 연산자를 적용할 경우에도 동일한 결과가 성립한다: $\Lambda_i(I \otimes Q^*)$ 는 $\ast$-프레임을 형성하며, 이에 대응하는 $\ast$-프레임 연산자는 $S' = (I \otimes Q)S(I \otimes Q^*)$ 로 주어진다.
• 이러한 결과는 [8]의 정리 3.5를 $End_{\mathcal{A}}^{\ast}(\mathcal{H})$ 에서의 $\ast$-연산자 프레임의 맥락으로 일반화한다.