[논문 리뷰] Schur multipliers and de Branges-Rovnyak spaces: the multiscale case

Daniel Alpay, Aad Dijksma외 1명|ArXiv.org|2006. 05. 12.

Advanced Operator Algebra Research참고 문헌 20인용 수 10

한 줄 요약

이 논문은 동차 트리들을 사용하여 스체르 곱수와 드 브랑지-로브니악 공간을 다스케일 설정으로 일반화한다. 비가환 점 평가와 코시의 공식이 성립하는 재생 커널 힐버트 공간을 도입하며, 스체르 곱수를 비정적, 비가환 설정으로 확장한 다스케일 입력-상태-출력 시스템에서 전이 연산자로서의 등장시킨다. Cuntz 관계와 트리 기반 이동 연산자를 통해 고전적 단일스케일 결과를 비가환, 비정적 설정으로 확장한다.

ABSTRACT

We consider bounded linear operators acting on the $\ell_2$ space indexed by the nodes of a homogeneous tree. Using the Cuntz relations between the primitive shifts on the tree, we generalize the notion of the single-scale time-varying point evaluation and introduce the corresponding reproducing kernel Hilbert space in which Cauchy's formula holds. These notions are then used in the study of the Schur multipliers and of the associated de Branges-Rovnyak spaces. As an application we obtain realization of Schur multipliers as transfer operators of multiscale input-state-output systems.

연구 동기 및 목표

• 단일스케일(예: 단위 원판 위의 하디 공간)에서의 스체르 곱수 이론과 드 브랑지-로브니악 공간 이론을 동차 트리 위의 다스케일 설정으로 확장한다.
• 재생 커널 힐버트 공간에서 비가환적, 트리 기반의 점 평가와 코시의 공식의 일반화를 도입한다.
• 공역 등장시킨다.
• 트리 위의 원시 이동 간의 Cuntz 관계를 활용하여 비정적, 비가환 시스템을 위한 프레임워크를 개발한다.
• 블라시케 인자 구성과 커널 표현을 통해 트리 위의 스체르 함수에 대한 기능적 모델을 제공한다.

제안 방법

• 동차 트리 위의 원시 이동 연산자 간의 Cuntz 관계를 사용하여 비가환적 시간 변화 점 평가를 정의한다.
• 비가환 급수와 커널 공식을 통해 코시의 적분 공식이 성립하는 트리 위의 재생 커널 힐버트 공간을 구성한다.
• 특정 교환 관계를 만족하는 연산자 A, B, C, D를 포함한 등장시킨다.
• 함수의 영점 집합을 모델링하기 위해 $ \mathbf{H}_2(\mathcal{T})^q $ 위의 유니터리 연산자로 블라시케 인자 $ B_c $ 를 도입한다. 이때 $ B_c^\wedge(c) = 0 $ 이다.
• 고전 공식을 트리 설정으로 일반화한 커널 표현 $ K_s(z,w) = C(I-zA)^{-1}(I-wA)^{-*}C^* $ 를 유도한다.
• 블라시케 인자를 정의하고 그 유니터리성을 증명하기 위해 연산자 $ R_c = \sum_{n=0}^\infty (c\alpha)^n(\alpha^*c^*)^n $ 을 사용한다.

실험 결과

연구 질문

• RQ1 고전적 스체르 곱수 이론과 드 브랑지-로브니악 공간 이론은 어떻게 동차 트리 위의 다스케일 설정으로 일반화될 수 있는가?
• RQ2 이 트리 기반 프레임워크에서 점 평가와 코시의 공식의 적절한 비가환적 일반화는 무엇인가?
• RQ3 비정적, 비가환 설정에서 스체르 곱수는 입력-상태-출력 시스템의 전이 함수로 등장시킬 수 있는가?
• RQ4 블라시케 인자는 트리 기반 하디 공간에서 함수의 영점 집합을 어떻게 보간하는가?
• RQ5 트리 위의 원시 이동 간의 Cuntz 관계는 어떻게 스체르 함수의 등장시킨다?

주요 결과

• 논문은 비가환 급수와 커널 표현을 통해 코시의 공식이 성립하는 동차 트리 위의 재생 커널 힐버트 공간을 구성한다.
• 스체르 함수 $ s $ 와 관련된 드 브랑지-로브니악 공간은 $ \sqrt{\mathcal{B}_s}\mathbf{H}_2 $ 와 등급 등장시킨다. 여기서 $ \mathcal{B}_s = I - M_sM_s^* $ 이다.
• 스체르 함수 $ s(z) $ 는 $ s(z) = D + zC(I-zA)^{-1}B $ 형태로 등장시킨다. 이때 행렬 연산자 $ \begin{pmatrix} A & B \\ C & D \end{pmatrix} $ 는 등장시킨다.
• 블라시케 인자 $ B_c $ 는 유니터리이며 $ B_c^\wedge(c) = 0 $ 를 만족한다. 이는 $ c \in \mathbb{B}(\mathcal{T}) $ 에서 0이 되는 함수의 기능적 모델을 제공한다.
• 함수 $ F \in \mathbf{H}_2(\mathcal{T}) $ 가 $ F^\wedge(c) = 0 $ 을 만족하는 것은 $ F = B_c \cdot G $ 를 만족하는 어떤 $ G \in \mathbf{H}_2(\mathcal{T})^q $ 가 존재할 조건과 동치이며, 이때 $ \|G\|_2 = \|F\|_2 $ 이다.
• 연산자 $ R_c = \sum_{n=0}^\infty (c\alpha)^n(\alpha^*c^*)^n $ 은 엄밀히 양의 정의이면서 $ R_c = I + c(\alpha R_c \alpha^*)c^* $ 를 만족한다. 이는 블라시케 인자의 구성에 기여한다.