[논문 리뷰] From random sets to continuous tensor products: answers to three questions of W. Arveson

Boris Tsirelson|ArXiv.org|2000. 01. 12.

Stochastic processes and financial applications참고 문헌 8인용 수 33

한 줄 요약

이 논문은 베ssel 과정의 영점들을 이용해 힐버트 공간의 연속 텐서곱 체계를 구성하며, W. 아르베손이 제기한 삼개의 열린 질문에 대해 간결하고 명시적인 답변을 제공한다. 이 체계들이 서로 다른 베ssel 과정 매개변수에 대해 비동형임을 입증하고, 시간 역전에 대한 무한하고 닫히지 않은 영점 집합의 불변성 성질을 통해 특정 체계의 비대칭성을 증명한다.

ABSTRACT

The set of zeros of a Brownian motion gives rise to a product system in the sense of William Arveson (that is, a continuous tensor product system of Hilbert spaces). Replacing the Brownian motion with a Bessel process we get a continuum of non-isomorphic product systems.

연구 동기 및 목표

• W. 아르베손이 제기한 연속 텐서곱 체계의 분류 및 구조에 관한 삼개의 열린 질문을 해결하기 위해.
• 브라운 운동 대신 베assel 과정의 영점들을 이용해 풍부하고 명시적인 체계 예시를 구성하기 위해.
• 랜덤 집합의 영점 집합에서 유도된 산술 체계의 대칭성 및 동형성 성질을 조사하기 위해.
• 시간 역전과 동형성 하에서 산술 체계를 구별하는 데 무한하고 닫히지 않은 집합의 역할을 명확히 하기 위해.
• 특정 아르베손 질문에 대해 노이즈 이론적 방법보다 측도 유형의 분해를 이용한 랜덤 집합 접근이 더 단순하고 직접적인 해법을 제공할 수 있음을 보여주기 위해.

제안 방법

• 브라운 운동이 수준 $ a $ 에서의 영점으로 정의된 랜덤 집합 $ Z_{t,a} = \{ s \in [0,t] : B(s) = a \} $ 를 정의하며, 이는 $ [0,t] $ 의 닫힌 부분집합들의 공간 $ \mathcal{C}_t $ 에 값을 갖는다.
• 모든 $ a > 0 $ 에 대해 $ Z_{t,a} $ 의 법칙 $ P_{t,a} $ 가 서로 동치임을 입증하여, $ \mathcal{C}_t $ 상의 잘 정의된 측도 유형 공간 $ \mathcal{P}_t $ 를 도출한다.
• 곱 측도 $ \mathcal{P}_s \otimes \mathcal{P}_t $ 가 $ \mathcal{P}_{s+t} $ 와 동치임을 증명하고, 이를 통해 $ L_2(\mathcal{C}_t, \mathcal{P}_t) $ 를 이용한 연속 텐서곱 체계의 구성이 가능함을 보인다.
• 특정 축적 또는 닫힘 성질을 갖는 집합에 사영하는 연산자 $ Q_{t,u} $ 와 $ Q'_{t,E} $ 를 정의하고, 이들이 동형사상에 대해 불변임을 보인다.
• 시간 역전 사상 $ R_t(C) = t - C $ 와 동형사상에 대해 불변인 $ |\psi|'^2 $ 의 성질을 이용해 산술 체계의 대칭성을 분석한다.
• 영점 집합의 구조 변화를 모델링하는 마코프 과정 $ X(t) $ 를 도입하며, 무한하고 닫히지 않은 집합 $ C'' $ 의 존재를 반영하는 점프를 통해 비대칭성을 탐지한다.

실험 결과

연구 질문

• RQ1 색인 $ \nu \neq 1 $ 인 베assel 과정의 영점에서 유도된 산술 체계들이 서로 동형인가?
• RQ2 특히 무한하고 닫히지 않은 집합의 존재 여부에 따라, 산술 체계의 대칭성은 그 관련 랜덤 집합의 구조로 결정되는가?
• RQ3 시간 역전 사상은 산술 체계의 힐버트 공간 내 벡터에 의해 유도된 측도를 보존하는가?
• RQ4 비대칭 산술 체계를 대칭 산술 체계와 구별하는 데 사용할 수 있는, 확률 과정의 영점 집합 내에서의 구조적 불변량이 존재하는가?
• RQ5 랜덤 집합에서 유도된 측도 유형의 분해 접근법이 아르베손의 질문에 대해 노이즈 이론적 방법보다 더 단순한 해법을 제공하는가?

주요 결과

• 색인 $ \nu \neq 1 $ 인 베assel 과정의 영점에서 유도된 산술 체계는 브라운 운동에서 유도된 산술 체계와 비동형이며, 이는 비동형 산술 체계의 연속체를 제공한다.
• 모든 $ t > 0 $ 에 대해, $ \{ C \in \mathcal{C}_t : C'' \neq \emptyset \} $ 는 $ S'' \neq \emptyset $ 이면 $ \mathcal{P}_{t,S} $-측도로 양의 측도를 가지며, 이는 영점 집합 내에서 무한하고 닫히지 않은 집합의 존재를 시사한다.
• 집합의 도함수 $ C' $ 가 집합 $ E $ 에 포함되는 집합에 사영하는 연산자 $ Q'_{t,E} $ 는 산술 체계의 동형사상에 대해 불변이다.
• 벡터 $ \psi $ 의 $ |\psi|^2 $ 를 $ C \mapsto C' $ 에 따라 옮긴 $ |\psi|'^2 $ 는 $ |\psi|^2 $ 는 아니지만, 동형사상에 대해 유지되며, 이는 $ |\psi|^2 $ 가 그렇지 않은 것과 대비된다.
• 노름 차이 $ \| U_{t,p,n,u} - U_{t,p,n,v} \| \leq \sqrt{1 - e^{-2\gamma t(1-p)}} $ 는 $ p \to 1 $ 일 때 0으로 수렴하며, 이는 $ \| U_{t,1-,u} - U_{t,1-,v} \| = 0 $ 임을 의미하여, 한계 연산자가 $ u $ 의 선택에 관계없이 동일함을 보여준다.
• 만약 $ S'' \neq \emptyset $ 이면, $ (H_{t,S}) $ 산술 체계는 비대칭이다. 이는 모순을 통해 증명되며, 대칭성을 가정하면 시간 역전 하에서 $ \{ C : C'' \neq \emptyset \} $ 가 비가소적이지 않다는 모순이 발생한다.