[논문 리뷰] Schur-class multipliers on the Fock space: de Branges-Rovnyak reproducing kernel spaces and transfer-function realizations

Joseph A. Ball, Vladimir Bolotnikov외 1명|ArXiv.org|2006. 10. 20.

Holomorphic and Operator Theory참고 문헌 30인용 수 19

한 줄 요약

이 논문은 포크 공간 설정에서 드 브랑지-로브니악 재생 커널 힐버트 공간의 비가환성 복소 구조를 도입하고, 포크 공간 위의 모든 슈어-클래스 승수는 상태 공간 $\mathcal{H}(K_S)$에서 관측 가능하고 코이소메트릭 전이함수 실현을 유일하게 가짐을 증명한다. 주요 기여는 내부 슈어-클래스 승수의 실현 이론적 특성화와 사전에 정의된 왼쪽 영점 구조를 가진 승수를 구성하기 위한 계산법으로, 결과는 왼쪽과 오른쪽 형태 모두에서 대칭적으로 서술되며, 고전적 단변수 경우와 매우 유사하다.

ABSTRACT

We introduce and study a Fock-space noncommutative analogue of reproducing kernel Hilbert spaces of de Branges-Rovnyak type. Results include: use of the de Branges-Rovnyak space ${\mathcal H}(K_{S})$ as the state space for the unique (up to unitary equivalence) observable, coisometric transfer-function realization of the Schur-class multiplier $S$, realization-theoretic characterization of inner Schur-class multipliers, and a calculus for obtaining a realization for an inner multiplier with prescribed left zero-structure. In contrast with the parallel theory for the Arveson space on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$ (which can be viewed as the symmetrized version of the Fock space used here), the results here are much more in line with the classical univariate case, with the extra ingredient of the existence of all results having both a ``left'' and a ``right'' version.

연구 동기 및 목표

• 포크 공간 설정에서 드 브랑지-로브니악 재생 커널 힐버트 공간의 비가환성 복소 구조를 개발하기 위해.
• 관측 가능하고 코이소메트릭 전이함수 실현을 통해 포크 공간 위의 슈어-클래스 승수를 특성화하기 위해.
• 비가환 포크 공간 프레임워크 내에서 내부 슈어-클래스 승수의 실현 이론적 특성화를 제공하기 위해.
• 이 설정에서 사전에 정의된 왼쪽 영점 구조를 가진 내부 승수를 실현하기 위한 계산법을 개발하기 위해.

제안 방법

• 저자들은 포크 공간 위의 슈어-클래스 승수 $S$에 대한 전이함수 실현의 상태 공간으로서 $\mathcal{H}(K_S)$를 정의한다.
• 단위 콜리게이션 $\mathbf{U} = \begin{bmatrix} A & B \\ C & D \end{bmatrix}$를 사용한 코이소메트릭 전이함수 실현 형태 $S(z) = D + C(I - Z(z)A)^{-1}Z(z)B$를 사용한다.
• 입력 쌍 $({\mathbf{Z}}, X)$에서 유도된 출력 쌍 $(C, \mathbf{A})$를 통해 실현을 구성한다. 여기서 $\mathbf{Z}^*$는 강한 안정성과 $X$는 등급이다.
• 코이소메트릭성을 확보하기 위해 연산자 $\begin{bmatrix} B \\ D \end{bmatrix}$를 구하기 위해 코레스키 분해를 적용한다.
• $\mathcal{M}_{\mathbf{Z},X} = \ker \mathcal{C}_{\mathbf{Z},X}$가 내부 승수 $\theta$에 대해 $\theta \cdot H^2_{\mathcal{U}}(\mathcal{F}_d)$와 같음을 보이며, 이는 $\mathcal{H}(K_{\theta}) = \mathcal{H}(K_{C,\mathbf{A}})$의 등급 포함성에 기반한다.
• 왼쪽과 오른쪽의 구조 간 이중성은 전체적으로 유지되며, 왼쪽과 오른쪽 실현에 대해 대칭적인 서술이 이루어진다.

실험 결과

연구 질문

• RQ1 드 브랑지-로브니악 공간은 어떻게 비가환 포크 공간 설정으로 일반화되어 슈어-클래스 승수 이론을 지원할 수 있는가?
• RQ2 포크 공간 위의 슈어-클래스 승수에 대해 관측 가능하고 코이소메트릭 전이함수 실현이 어떻게 유일하게 존재하는가?
• RQ3 비가환적 맥락에서 실현 이론을 통해 내부 슈어-클래스 승수는 어떻게 특성화할 수 있는가?
• RQ4 이 설정에서 사전에 정의된 왼쪽 영점 구조를 가진 내부 승수를 실현하기 위한 계산법을 개발할 수 있는가?
• RQ5 왜 포크 공간의 경우 결과들이 아르베송 공간 설정보다 고전적 단변수 경우와 더 유사한가?

주요 결과

• 모든 슈어-클래스 승수 $S$에 대해 드 브랑지-로브니악 공간 $\mathcal{H}(K_S)$는 관측 가능하고 코이소메트릭 전이함수 실현의 상태 공간으로서 기능한다.
• 모든 슈어-클래스 승수 $S$는 코이소메트릭 콜리게이션 $\mathbf{U} = \begin{bmatrix} A & B \\ C & D \end{bmatrix}$를 가진 전이함수 실현 $S(z) = D + C(I - Z(z)A)^{-1}Z(z)B$를 갖는다.
• 내부 슈어-클래스 승수 $\theta$는 코이소메트릭 콜리게이션의 전이함수로 실현되며, 적합한 입력 쌍 $({\mathbf{Z}}, X)$에 대해 $\theta \cdot H^2_{\mathcal{U}}(\mathcal{F}_d) = \ker \mathcal{C}_{\mathbf{Z},X}$이다.
• 사전에 정의된 왼쪽 영점 구조를 가진 내부 승수의 실현은 결함 연산자 $I - \begin{bmatrix} A \\ C \end{bmatrix}\begin{bmatrix} A^* & C^* \end{bmatrix}$의 코레스키 분해를 통해 달성된다.
• $\mathcal{H}(K_{\theta})$는 $\mathcal{H}(K_{C,\mathbf{A}})$와 등급적으로 동일하며, 이 공간은 $\operatorname{Ran} \mathcal{O}_{C,\mathbf{A}}$와 일치한다. 이는 $H^2_{\mathcal{Y}}(\mathcal{F}_d)$에 등급적으로 포함된다.
• 결과는 왼쪽과 오른쪽 서술에 대해 대칭적이며, 고전적 단변수 경우와 유사하게 이중성을 반영한다. 아르베송 공간 설정과는 달리 이는 이중성의 유사성을 보인다.