[논문 리뷰] Correlation of sequences and of measures, generic points for joinings and ergodicity of certain cocycles

Jean-Pierre Conze, Tomasz Downarowicz외 1명|arXiv (Cornell University)|2015. 03. 11.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 5

한 줄 요약

이 논문은 유계 복소수열이 어떤 엄격한 에르고딕 수열과도 상관관계가 없도록 하는 조건을 설정하며, 이동 불변 측도 간의 상관관계에 대한 새로운 프레임워크를 도입하고, 조인잉에서의 일반점에 대한 리프팅 보조정리를 증명한다. 주요 기여는 무리 회전 위에서의 네 점 이동 코시클의 에르고딕성을 판단하는 기준을 제시하는 것으로, 이는 에르고딕 측도와의 상관관계가 분리성보다 엄밀히 더 약한 조건임을 보여주며, 사르나크 유형의 추측과 관련하여 보셔른리츠만이 제기한 질문을 해결한다.

ABSTRACT

The main subject of the paper, motivated by a question raised by Boshernitzan, is to give criteria for a bounded complex-valued sequence to be uncorrelated to any strictly ergodic sequence. As a tool developed to study this problem we introduce the notion of correlation between two shift-invariant measures supported by the symbolic space with complex symbols. We also prove a "lifting lemma" for generic points: given a joining $\\xi$ of two shift-invariant measures $\\mu$ and $\ u$, every point $x$ generic for $\\mu$ lifts to a pair $(x,y)$ generic for $\\xi$ (such $y$ exists in the full symbolic space). This lemma allows us to translate correlation between bounded sequences to the language of correlation of measures. Finally, to establish that the property of an invariant measure being uncorrelated to any ergodic measure is essentially weaker than the property of being disjoint from any ergodic measure, we develop and apply criteria for ergodicity of four-jump cocycles over irrational rotations. We believe that apart from the applications to studying the notion of correlation, the two developed tools: the lifting lemma and the criteria for ergodicity of four-jump cocycles, are of independent interest. This is why we announce them also in the title. In the Appendix we also introduce the notion of conditional disjointness.

연구 동기 및 목표

• 유계 복소수열이 어떤 엄격한 에르고딕 수열과도 상관관계가 없도록 하는 조건을 규명하는 것.
• 복소수 기호를 가진 기호 공간 위의 이동 불변 측도 간 상관관계를 다루는 측도론적 프레임워크를 개발하는 것.
• 조인깅에서 일반점에 대한 리프팅 보조정리를 증명하여, 수열 수준의 상관관계를 측도 수준의 상관관계로 옮기는 데 기여하는 것.
• 무리 회전 위에서의 네 점 이동 코시클을 분석함으로써, 상관관계와 분리성 간의 차이를 명확히 하는 것.
• 특히 코시클 확장의 기호 표현에서 조건부 분리성 개념을 도입하고 적용하는 것.

제안 방법

• 유한 블록으로 구성된 복소수열 간의 상관관계 기능을 도입하고, 점근적 극한을 통해 무한 수열으로 확장하는 것.
• 동일한 기능을 사용하여 기호 공간 위의 두 이동 불변 측도 간의 상관관계를 정의함으로써 측도론적 분석을 가능하게 하는 것.
• 리프팅 보조정리 증명: 임의의 μ와 ν의 조인깅 ξ에 대해, μ-일반점 x는 ξ-일반 쌍 (x,y)로 리프팅될 수 있다.
• 무리 회전 위에서 네 점 이동 코시클을 구성하고 분석하며, 특정 β_J 함수의 소멸 조건에 기반한 에르고딕성 기준을 도출하는 것.
• 코시클 확장의 기저 요소에 대한 시그마 대칭을 고려한 조건부 분리성을 사용하여, 특히 유한군 값을 갖는 코시클 확장에서 모든 에르고딕 측도와의 상관관계를 유도하는 것.
• 리프팅 보조정리와 에르고딕성 기준을 적용하여, 모든 에르고딕 측도와의 상관관계가 분리성보다 엄밀히 더 약한 조건임을 보이는 것.

실험 결과

연구 질문

• RQ1 유계 복소수열이 모든 엄격한 에르고딕 수열과 상관관계가 없도록 하는 조건은 무엇인가?
• RQ2 수열 간의 상관관계는 그에 대응하는 불변 측도 간의 상관관계와 어떻게 관련이 있는가?
• RQ3 조인깅에서 일반점에 대한 리프팅 보조정리는 수열 수준의 상관관계 성질을 측도 수준으로 옮기는 데 사용될 수 있는가?
• RQ4 무리 회전 위에서의 네 점 이동 코시클의 에르고딕성을 보장하는 조건은 무엇인가?
• RQ5 어떤 측도가 모든 에르고딕 측도와 상관관계가 없고, 그것과 분리되어 있는 것 사이에 구조적 차이가 존재하는가?

주요 결과

• 리프팅 보조정리는 임의의 μ와 ν의 조인깅 ξ에 대해, μ-일반점 x가 항상 ξ-일반 쌍 (x,y)로 리프팅된다는 것을 보장하며, 이는 조인깅 연산에서 일반성의 유지가 보장됨을 의미한다.
• 측도론적 상관관계 프레임워크 하에서, 유계 수열이 어떤 엄격한 에르고딕 수열과도 상관관계가 없으려면 그에 대응하는 불변 측도가 모든 에르고딕 측도와 상관관계가 없어야 하며, 이는 필수적 조건이다.
• 무리 회전 위에서의 네 점 이동 코시클의 에르고딕성은 모든 관련 시간 이동과 군 원소에 대해 특정 β_J 함수의 소멸과 동치이다.
• 모든 에르고딕 측도와 상관관계가 없지만 그것들과 분리되어 있지 않은 불변 측도가 존재함을 보여주며, 이는 상관관계가 분리성보다 엄밀히 더 약한 조건임을 증명한다.
• 코시클 확장의 기저 요소에 대해 조건부 분리성이 성립하면, 모든 에르고딕 측도와의 상관관계가 유도되며, 특히 첫 번째 기호 함수의 조건부 평균이 0이면 더욱 두드러진다.