[논문 리뷰] Automorphisms with quasi-discrete spectrum, multiplicative functions and average orthogonality along short intervals

El Houcein El Abdalaoui, Mariusz Lemańczyk외 1명|arXiv (Cornell University)|2015. 07. 15.

Analytic Number Theory Research참고 문헌 13인용 수 13

한 줄 요약

이 논문은 유일하게 에르고딕인 자동형사의 준이산 스펙트럼 모델에 대해 사르나크의 모비우스 분리 추측을 입증하기 위해 점점 다가가는 수직적 상관관계(AOP) 성질을 도입함으로써, 모든 유일하게 에르고딕인 자동형사의 준이산 스펙트럼 모델에 대해 사르나크의 추측을 확립한다. 이는 짧은 간격에서 곱함수의 평균 수직성 결과를 일반화하여, 기존의 분리 기반 접근법을 초월하며, 간격 길이와 성장에 대한 특정 점근적 조건 하에서 다항수열과 유계 곱함수에 대해 추측을 확인한다.

ABSTRACT

We show that Sarnak's conjecture on Möbius disjointness holds in every uniquely ergodic modelof a quasi-discrete spectrum automorphism. A consequence of this result is that, for each non constant polynomial $P\in\R[x]$ with irrational leading coefficient and for each multiplicative function $\bnu:\N o\C$, $|\bnu|\leq1$, we have\[ \frac{1}{M} \sum\_{M\le m extless{}2M} \frac{1}{H} \left| \sum\_{m\le n extless{} m+H} e^{2πiP(n)}\bnu(n) ight|\longrightarrow 0 \] as $M o\infty$, $H o\infty$, $H/M o 0$.

연구 동기 및 목표

• 자기자신의 준이산 스펙트럼를 가진 자동형사의 유일하게 에르고딕인 모델에서 사르나크의 모비우스 분리 추측을 확립하기 위해.
• 유일하게 에르고딕인 모델에서 사르나크 추측을 검증하기 위한 일반 기준으로서 점점 다가가는 수직적 상관관계(AOP) 성질을 도입하고 분석하기 위해.
• 스위칭 궤도를 갖는 시스템과 짧은 간격 평균에 대해 평균 수직성 결과의 유효성을 확장하기 위해.
• 준이산 스펙트럼 자동형사가 AOP 성질을 만족함을 보여, 이는 그 유일하게 에르고딕인 모델에서 사르나크 추측이 성립함을 암시하기 위해.

제안 방법

• AOP 성질을 도입: 서로소인 거듭제곱 r, s에 대해, T^r와 T^s의 에르고딕 결합 하에서 평균이 0인 L² 함수들 간의 상관관계의 Suprema가 r, s → ∞일 때 0으로 수렴함을 의미한다.
• AOP 성질을 유일하게 에르고딕인 모델에서 사르나크 추측을 증명하는 충분조건으로 사용하며, 시스템이 자체의 거듭제곱과 강한 분리성을 갖지 않더라도 성립함을 보인다.
• 연속적인 유일하게 에르고딕 확장을 통한 리프팅 기준을 적용하여, 측도 이론적 모델에서 위상 모델로 추측을 이전한다.
• 유한군의 작용을 통해 (A−I)^m이 컴팩트 아벨 군에서 작용하는 방식을 분석함으로써, 준이산 스펙트럼 자동형사가 AOP 성질을 만족함을 증명한다.
• AOP 성질을 더 강력한 형태로 확장하여, 구간 b_k에서 b_{k+1} 사이의 궤도 스위칭이 가능한 시스템에 대해, 평균이 수렴함을 보여, 구간 b_k ≤ n < b_{k+1}에서의 평균이 모비우스 함수나 곱함수의 가중치 하에 여전히 0으로 수렴함을 보였다.
• 대수적 모델(예: 컴팩트 아벨 군에서 T(x) = Ax + b)의 고유함수가 연속적이고 특정 스펙트럼 조건을 만족함을 이용하여, 특성 합과 균일 분포를 통해 AOP를 검증한다.

실험 결과

연구 질문

• RQ1 자기자신의 준이산 스펙트럼를 가진 자동형사의 모든 유일하게 에르고딕인 모델에 대해 사르나크의 모비우스 분리 추측이 성립하는가?
• RQ2 AOP 성질이 유일하게 에르고딕인 모델에서 사르나크 추측을 검증하기 위한 일반 기준이 될 수 있는가, 특히 시스템이 자체의 거듭제곱과 강한 분리성을 갖지 않더라도 말이다?
• RQ3 AOP 성질과 동적 시스템에서의 위상/측도 이론적 엔트로피 사이의 관계는 무엇인가?
• RQ4 준이산 스펙트럼 시스템에서 다항 위상에 대해 곱함수의 짧은 간격에서의 평균 수직성이 확립될 수 있는가?
• RQ5 AOP 성질을 만족하지 않는 0 엔트로피 시스템이 존재하는가, 만약 그렇다면 어떤 구조적 특성이 이를 방지하는가?

주요 결과

• 모든 준이산 스펙트럼 자동형사에 대해 AOP 성질이 성립하며, 이는 이러한 시스템의 모든 유일하게 에르고딕인 모델에서 사르나크 추측이 성립함을 암시한다.
• 비상수 실계수 다항식 P(무리수 주계수)와 모든 유계 곱함수 ν에 대해, |(1/H)∑_{m≤n<m+H} e^{2πiP(n)}ν(n)|의 평균은 M→∞, H→∞, H/M→0일 때 0으로 수렴한다.
• 논문은 유일하게 에르고딕인 모델에서 사르나크 추측이 성립함을 증명하며, 곱함수 ν의 평균이 0이 아니더라도, 시스템의 불변 함수 평균이 0이면 성립함을 보였다.
• AOP 성질은 인자와 역극한 하에서 안정적이며, 측도 이론적 엔트로피가 0임을 암시하지만, 0 엔트로피보다 엄밀히 더 강력한 성질이며, 호로사이클 플로우와 같은 반례를 통해 이를 입증하였다.
• 논문은 0 엔트로피 시스템에서 AOP의 반례를 구성하였다: 호로사이클 플로우는 (Δ_{g_u}) 형태의 컴팩트한 그래프 결합 가족이 존재하여, 이 가족이 곱측도로부터 항상 일정 거리 이상 떨어져 있음을 보여 AOP 조건을 위반한다.
• 결과는 궤도 스위칭이 가능한 시스템로 확장된다: 임의의 증가하는 수열 b_k에서 b_{k+1}−b_k→∞이고, 시스템 내 임의의 점 x_k를 선택할 때, 블록 b_k ≤ n < b_{k+1}에서 f(T^n x_k)ν(n)의 가중 평균은 밀도상에서 0으로 수렴한다. 이는 f의 평균이 0일 때 성립한다.