[논문 리뷰] Mixing operators and small subsets of the circle

Frédéric Bayart, Étienne Matheron|arXiv (Cornell University)|2011. 12. 06.

Holomorphic and Operator Theory참고 문헌 31인용 수 8

한 줄 요약

이 논문은 코타입 2를 갖는 바나흐 공간에서 약한 및 강한 혼합 연산자를, 단위 원판의 유일성 집합인 가산 집합과 유일성 집합인 부분집합을 포함한 일모듈라 고유값을 사용하여 완전한 특성화를 제공한다. 이는 이전 결과를 일반화하여 공간이나 고유벡터의 기하학적 가정을 제거한 바, 코타입 2 공간에서 혼합을 위한 최적의 충분조건을 도출하며, 이 조건은 또한 필수 조건이 된다.

ABSTRACT

We provide complete characterizations, on Banach spaces with cotype 2, of those linear operators which happen to be weakly mixing or strongly mixing transformations with respect to some nondegenerate Gaussian measure. These characterizations involve two families of small subsets of the circle: the countable sets, and the so-called sets of uniqueness for Fourier-Stieltjes series. The most interesting part, i.e. the sufficient conditions for weak and strong mixing, is valid on an arbitrary (complex, separable) Fr\\'echet space.

연구 동기 및 목표

• 비어 있지 않은 가우시안 측도가 전체 영역을 가질 때, 선형 연산자가 약하거나 강하게 혼합이 되기 위한 필요 및 충분 조건을 규명하는 것.
• 이전에 혼합 연산자의 특성화를 제한했던 바나흐 공간이나 고유벡터의 정규성에 대한 기하학적 가정을 제거하는 것.
• 완전한 특성화를 포함한 일반적인 복소 분리 프리셰트 공간에 대한 가우시안 혼합 이론을 확장하는 것.
• 푸리에-스틸체스 급수에 대한 유일성 집합인 일모듈라 고유값과 원판의 작은 부분집합(특히 가산 집합 및 유일성 집합)이 혼합 행동을 결정하는 데서의 역할을 명확히 하는 것.
• 가우시안 측도의 맥락에서 초기성, 빈번한 초기성, 그리고 초기성 벡터 집합의 하르-널린성 사이의 관계를 조사하는 것.

제안 방법

• 복소수 표준 가우시안 분포를 갖는 독립적인 $ g_n $ 을 사용한 무작위 급수 $ \xi = \sum g_n x_n $ 형태로 정의된 프리셰트 공간 위의 가우시안 측도의 구조를 사용한다.
• 단위 원판 위의 고유값을 갖는 $ \mathbb{T} $-고유벡터를 사용하여 $ T $-불변 가우시안 측도를 구성한다.
• 노름의 감쇠를 제어하고 측도를 정의하는 급수의 수렴을 보장하기 위해 $ c_0 $-유사 고유벡터 집합의 개념을 도입한다.
• 일차원 실수 부분공간 $ \mathbb{R}u $ 등의 프로브 부분공간을 사용하여 르베그 측도의 논증을 통해 초기성 벡터 집합의 하르-널린성을 증명한다.
• 특성 조건을 특성화하기 위해 조화 분석, 특히 푸리에-스틸체스 급수에 대한 유일성 집합 이론을 활용한다.
• 비르호프의 에르고딕 정리와 측도론적 도구를 적용하여 혼합 성질과 $ T $ 아래 궤도의 분포 사이의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 코타입 2를 갖는 바나흐 공간에서 선형 연산자가 전체 영역을 가진 가우시안 측도에 대해 약하거나 강하게 혼합이 되기 위한 스펙트럼 조건은 무엇인가?
• RQ2 약한 및 강한 혼합을 위한 충분 조건를 기하학적 가정 없이 최적화하고, 공간이나 고유벡터 필드의 성질에 독립적으로 만들 수 있는가?
• RQ3 혼합 연산자의 초기성 벡터 집합 $ HC(T) $ 는 반드시 하르-널린인가, 그리고 어떤 조건에서 성립하는가?
• RQ4 모든 밀도 있는 $ \mathbb{T} $-고유벡터를 갖는 연산자는 비코타입 2 공간에서도 가우시안 의미에서 에르고딕이 될 수 있는가?
• RQ5 일모듈라 고유값의 존재와 $ c_0(\mathbb{N}) $ 또는 $ \ell^p(\mathbb{N}) $ 위의 가중 이동 연산자에서의 혼합 성질 사이의 관계는 무엇인가?

주요 결과

• 코타입 2를 갖는 바나흐 공간에서, 연산자가 가우시안 의미에서 약하거나 강하게 혼합이 되기 위한 필요 및 충분 조건은 일모듈라 고유벡터가 조밀한 부분공간을 생성하고, 관련 스펙트럼 집합이 가산 집합 또는 푸리에-스틸체스 급수에 대한 유일성 집합이어야 한다.
• 이 논문에서 도출된 약한 및 강한 혼합을 위한 충분 조건은 최적이며, 고유벡터나 공간에 대한 추가적인 기하학적 또는 정규성 가정이 필요하지 않다.
• 모든 바나흐 공간에서 연산자 $ T $ 에 대해 $ \sum_{n=0}^\infty \|T^n(u)\|^{-1} < \infty $ 를 만족하는 어떤 $ u \in X $ 가 존재하면, 초기성 벡터 집합 $ HC(T) $ 는 하르-널린이다.
• $ \ell^p(\mathbb{N}) $ 또는 $ c_0(\mathbb{N}) $ 위의 가중 후진 이동 연산자 $ B_\mathbf{w} $ 에 대해 $ \sum_{n=1}^\infty \frac{1}{|w_1 \cdots w_n|^{p/(p+1)}} < \infty $ 이면, $ HC(B_\mathbf{w}) $ 는 하르-널린이다.
• 만약 $ |\lambda| > 1 $ 이면, $ X_p $ 또는 $ X_\infty $ 위의 무게 없는 후진 이동 연산자 $ B $ 에 대해 $ HC(\lambda B) $ 는 하르-널린이며, 이는 강한 혼합이 빈번한 초기성을 의미하지는 않음을 보여준다.
• 이 논문은 모든 밀도 있는 $ \mathbb{T} $-고유벡터를 갖는 초기성 연산자가 가우시안 의미에서 에르고딕인지 여부, 그리고 그러한 연산자가 빈번한 초기성인지 여부를 여전히 열려 있다.