[논문 리뷰] Oscillating sequences of higher orders and topological systems of quasi-discrete spectrum

Ai Hua Fan|arXiv (Cornell University)|2018. 02. 14.

Analytic Number Theory Research참고 문헌 7인용 수 8

한 줄 요약

이 논문은 모든 차수의 완전히 진동하는 수열이 준이산 스펙트럼을 갖는 위상적 동역계와 수직임을 증명하며, 이러한 수열에 의해 가중된 다중 에르고딕 평균이 곳곳에서 0으로 수렴함을 보인다. 이 결과는 다중 에르고딕 평균의 수렴성을 다항식 시간에까지 확장함으로써 사르나크의 추측을 강화한다.

ABSTRACT

Fully oscillating sequences are orthogonal to all topological dynamical systems of quasi-discrete spectrum in the sense of Hahn-Parry. This orthogonality concerns with not only simple but also multiple ergodic means. It is stronger than that required by Sarnak's conjecture.

연구 동기 및 목표

• 간단한 에르고딕 평균을 초월하여 진동 수열의 수직성과 준이산 스펙트럼을 갖는 위상적 동역계 간의 관계를 확장하는 것.
• 다항식 시간에 沿한, 완전히 진동하는 수열에 의해 가중된 다중 에르고딕 평균이 곳곳에서 0으로 수렴함을 입증하는 것.
• 고차수 진동과 동역계의 스펙트럼 구조 간의 관계를 명확히 하는 것.
• 준이산 스펙트럼을 갖는 위상 모델의 맥락에서 모비우스 수직성과 사르나크의 추측을 일반화하는 것.

제안 방법

• 차수 $ d $의 진동 수열의 개념을 도입하며, 이는 실계수 다항식에 沿한 가중 지수합의 영성으로 정의된다.
• 유도적 계층 구조를 통한 준고유함수와 준고유값의 정의를 통해 준이산 스펙트럼를 정의하며, 동역계에서의 고유함수를 일반화한다.
• 스톤-바이어슈트라스 정리를 적용하여, 준고유함수가 생성하는 대수가 $ C(X) $ 에서 조밀할 경우 이들이 점들을 분리함을 보인다.
• 수열의 성장률을 가중 평균에서 제어하기 위해 조건 $ \sum_{n=1}^N |c_n| = O(N) $ 을 사용한다.
• 다항식 수열 $ q_j(n) $ 에 대해 $ \Delta $ 이하의 차수를 가지며, 수열 $ (c_n) $ 이 차수 $ d_T \Delta $ 의 진동 수열이어야 한다는 조건을 적용한다.
• 연결된 컴acts 아벨 군 위의 최소 아핀 변환의 구조를 활용하여 구체적인 응용을 도출한다.

실험 결과

연구 질문

• RQ1 모든 차수의 완전히 진동하는 수열은 하른-파리의 의미에서 준이산 스펙트럼을 갖는 위상적 시스템과 수직인가?
• RQ2 수직성은 다항식 시간에 따라 다중 에르고딕 평균과 함께 진동 수열에 의해 가중될 때까지 확장되는가?
• RQ3 계수 $ d_T $ 의 준이산 스펙트럼을 갖는 시스템과 수직성을 확보하기 위해 필요한 최소 진동 차수는 무엇인가?
• RQ4 시스템의 스펙트럼 구조(준이산 스펙트럼)는 가중 에르고딕 평균의 감쇠와 어떻게 관련되는가?
• RQ5 결합된 공간 위의 동역계, 예를 들어 $ p $-진 정수나 기호 공간에 대해 결과를 적용할 수 있는가?

주요 결과

• 수열 $ (c_n) $ 이 완전히 진동적(즉, $ \mathrm{OSC}_\infty $ 에 속함)임과 동시에 모든 실계수 다항식 $ P $ 에 대해 $ \leq d $ 차수를 가지며, 모든 $ d \geq 1 $ 에 대해 $ \lim_{N\to\infty} \frac{1}{N} \sum_{n=0}^{N-1} c_n e^{2\pi i P(n)} = 0 $ 을 만족함이 필요하고 충분하다.
• 모든 $ \ell $-튜플의 다항식 $ q_j \in \mathbb{Q}[z] $ 에 대해 최대 차수 $ \Delta $ 를 가지며, 위상 동역계 $ (X,T) $ 가 차수 $ d_T $ 의 준이산 스펙트럼을 갖는 한, 모든 연속 함수 $ F \in C(X^\ell) $ 과 모든 $ x \in X $ 에 대해 다중 에르고딕 평균 $ \frac{1}{N} \sum_{n=0}^{N-1} c_n F(T^{q_1(n)}x, \dots, T^{q_\ell(n)}x) \to 0 $ 으로 수렴한다. 이는 $ (c_n) \in \mathrm{OSC}_{d_T \Delta} $ 이며 $ \sum_{n=1}^N |c_n| = O(N) $ 를 만족할 때 성립한다.
• 결과는 연결된 컴팩트 아벨 군 위의 최소 아핀 변환에 적용되며, 이러한 시스템은 유한 차수 $ d_T $ 의 준이산 스펙트럼을 갖는 것으로 알려져 있어, 동일한 조건 하에서 수직성이 성립한다.
• 수직성은 단일 평균을 넘어서 다중 및 가중 에르고딕 평균에 대해 성립하므로, 사르나크의 추측에서 요구하는 것보다 더 강력하다.
• 이 틀은 $ \mathbb{Z}_p $ 와 같이 다중 연결된 공간 위의 시스템도 포함한다. 여기서 다항식 역학은 최소일 수 있지만 전체적으로 최소일 수는 없으며, 고유값은 유한 차수일 수 있다.
• 이 결과는 이전의 모비우스 수직성 결과와 겹치지만 이를 함의하지는 않으며, 더 넓은 범위의 수열과 시스템에 적용 가능하다.