[논문 리뷰] Oscillating Sequences, Minimal Mean Attractability and Minimal Mean-Lyapunov-Stability

Aihua Fan, Yunping Jiang|arXiv (Cornell University)|2015. 11. 16.

Mathematical Dynamics and Fractals참고 문헌 35인용 수 17

한 줄 요약

이 논문은 모비우스 함수와 리우빌 함수를 일반화한 진동 수열을 도입하고, 최소 평균 유인성(MMA) 및 최소 평균-L안정성(MMLS) 동역학 흐름을 정의한다. 모든 진동 수열이 모든 MMA 및 MMLS 흐름과 선형적으로 분리됨을 증명하며, p-진 다항식, 양호한 감소를 갖는 유리 함수, 토럴 자동사상, 페이젠바움 지도, 원주 위의 호메오모르피즘을 포함한 넓은 범위의 0 엔트로피 시스템으로 사르나크의 추측을 일반화한다.

ABSTRACT

We define oscillating sequences which include the Möbius function in the number theory. We also define minimally mean attractable flows and minimally mean-L-stable flows. It is proved that all oscillating sequences are linearly disjoint from minimally mean attractable and minimally mean-L-stable flows. In particular, that is the case for the Möbius function. Several minimally mean attractable and minimally mean-L-stable flows are examined. These flows include the ones defined by all $p$-adic polynomials, all $p$-adic rational maps with good reduction, all automorphisms of $2$-torus with zero topological entropy, all diagonalized affine maps of $2$-torus with zero topological entropy, all Feigenbaum zero topological entropy flows, and all orientation-preserving circle homeomorphisms.

연구 동기 및 목표

• 스펙트럼 및 성장 조건을 통해 정의된 진동 수열이라는 더 넓은 수열 클래스를 도입함으로써, 모비우스 함수의 분리성에 관한 사르나크의 추측을 일반화한다.
• 최소 평균 유인성(MMA) 및 최소 평균-L안정성(MMLS) 동역학 시스템을 정의하고 특성화함으로써, 평균 등장성의 개념을 일반화한다.
• 모든 진동 수열이 모든 MMA 및 MMLS 흐름과 선형적으로 분리됨을 보이는 일반적인 분리 결과를 확립한다.
• 핵심적인 0 엔트로피 시스템—예를 들어 p-진 지도, 토럴 자동사상, 페이젠바움 지도, 방향을 유지하는 원주 호메오모르피즘—이 MMA 및 MMLS임을 확인함으로써, 이들의 진동 수열과의 분리성을 확인한다.
• 다양한 동역학 시스템에서 선형 분리성을 증명하기 위한 통합된 프레임워크를 제공하며, 모비우스 함수와 같은 수론적 수열에 응용 가능하다.

제안 방법

• 지표 함수의 지속적인 상쇄 조건 ∑ₙ₌₁ᴺ cₙ e⁻²πint = oₜ(N) for all t ∈ [0,1) 및 ℓλ-유계 부분합 조건 ∑ₙ₌₁ᴺ |cₙ|λ = O(N) for some λ > 1을 통해 진동 수열을 정의한다.
• 반복 시간의 점근적 밀도를 이용하여 등장성 및 평균 등장성의 일반화로서 최소 평균 유인성(MMA) 및 최소 평균-L안정성(MMLS) 흐름을 도입한다.
• 일반적인 조건 하에서 MMA 및 MMLS 흐름이 평균 등장성 흐름과 동치임을 증명하며, 균일 연속성과 불변 측도를 이용한다.
• 도심형 반례와 휘날리는 간격, 그리고 회전 흐름으로의 준동형을 이용해 MMLS 성질을 분석한다.
• 공액성이 반복 시간의 밀도와 간격 포함 관계를 유지하므로, 비이완 간격의 점근적 밀도가 작음을 이용해 MMLS임을 보인다.
• 주요 정리를 특정 시스템에 적용한다: p-진 다항식과 양호한 감소를 갖는 유리 함수는 등장성을 갖는다. 따라서 MMA 및 MMLS이다. 원주 호메오모르피즘은 도심 반례와 원형으로의 공액성을 통해 MMLS임을 보인다.

실험 결과

연구 질문

• RQ1 0 엔트로피 동역학 시스템과 선형적으로 분리되는 수론적 수열은 모비우스 함수 이외의 더 넓은 범주에 존재하는가?
• RQ2 점별가 아닌 밀도 기반으로 궤도 간격이 제어되는 시스템을 기술하기 위해 평균 등장성 개념을 일반화할 수 있는가?
• RQ3 양호한 감소를 갖는 p-진 다항식 및 유리 함수는 최소 평균 유인성 또는 최소 평균-L안정성 흐름을 유도하는가?
• RQ4 무리수 회전 수를 갖는 방향을 유지하는 원주 호메오모르피즘은 MMLS인가, 따라서 진동 수열과 분리되는가?
• RQ5 토럴 자동사상과 페이젠바움 지도와 같은 다양한 시스템에서 진동 수열과의 분리성을 통합적으로 확립할 수 있는가?

주요 결과

• 일부 λ > 1에 대해 ∑ₙ₌₁ᴺ |cₙ|λ = O(N) 성장 조건을 만족하는 모든 진동 수열은 모든 최소 평균 유인성 및 최소 평균-L안정성 흐름과 선형적으로 분리된다.
• 모비우스 함수는 모든 방향을 유지하는 원주 호메오모르피즘과 선형적으로 분리되며, 카라구리얀의 결과는 특수한 경우로 확인된다.
• 모든 p-진 다항식 흐름 ℤₚ 상에서 및 양호한 감소를 갖는 p-진 유리 함수 지도 ℙ¹(ℚₚ) 상에서 등장성을 보이며, 따라서 최소 평균 유인성 및 최소 평균-L안정성이다.
• 위상 엔트로피가 0인 2-토르스의 모든 자동사상 및 대각화된 애파인 변환은 최소 평균 유인성 및 최소 평균-L안정성이다.
• 위상 엔트로피가 0인 모든 페이젠바움 지도는 최소 평균-L안정성이며, 따라서 진동 수열과 분리된다.
• 레베그 측도가 0인 비이완 집합을 갖는 도심 반례는 MMLS이며, 그 위상적 공액성은 MMLS 성질을 유지하므로, 이러한 모든 원주 호메오모르피즘은 MMLS이다.