[논문 리뷰] Thermodynamic expansion to arbitrary moduli

Jean Bourgain, Alex Kontorovich외 1명|arXiv (Cornell University)|2015. 07. 29.

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

한 줄 요약

이 논문은 [BV12]에서 제시한 모듈러 전개를 활용하면서도, 기존의 제곱 자유 모듈러스에 국한되지 않고 임의의 모듈러스로 라플라스 연산자의 해소자(resolvent)에 대한 열역학적 전개 결과를 확장한다. 이를 위해 새로운 분리 기법을 도입하여, 모든 $ q $가 어떤 $ q_0 $와 서로소일 경우에 대해 $ { m Re}(s) > \delta - \varepsilon $ 영역에서 해소자가 해석적임을 보이며, $ s = \delta $에서 단순극만 제외하고 성립함을 입증한다. 이는 이전의 결과들 [BGS11, MOW15, OW14]를 일반화한 것이다.

ABSTRACT

We extend the thermodynamic expansion results in [BourgainGamburdSarnak2011, MageeOhWinter2015] from square-free to arbitrary moduli by developing a novel decoupling technique and applying [BourgainVarju2012].

연구 동기 및 목표

• 해석적 잔여물의 열역학적 전개 결과를 제곱 자유 모듈러스에서 임의의 모듈러스로 일반화하기 위해.
• 모듈러스에 제곱 자유 조건이 없이도 [MOW15, OW14]의 균일한 지수적 혼합성 및 스펙트럼 갭 결과를 확장하기 위해.
• 모듈러스 제한 없이 [BK14]의 자레마 바탕 설정과 관련 결과의 타당성을 입증하기 위해.
• 동역학 제타 함수 및 산술 몫 위의 스펙트럼 이론의 맥락에서 일반 모듈러스에 적용 가능한 새로운 분리 기법을 개발하기 위해.

제안 방법

• 제곱 자유 모듈러스에 의존하는 [MOW15]의 프레임워크를 수정하여 일반적인 $ q $에 대해 새로운 분리 방법을 도입한다.
• 모듈러 전개 [BV12]를 활용해 $ \mathrm{SL}_2(q) $ 위의 측도 $ \mu_{s,x,\alpha^M} $를 정의하고, 스펙트럼 및 컨볼루션 기법을 통해 분석한다.
• 전이 연산자를 크기 $ L $의 블록으로 분해하여, $ L-1 $ 및 $ L-2 $ 단계를 분리함으로써 연산자들이 생성하는 군 내의 자라이디 밀도를 유지한다.
• [MOW15]의 수축 성질을 적용하여 총 변동도를 주도 측도 $ \nu $에 대한 함수로 유계화한다.
• $ L^2 $-노름 $ \|\widetilde{\nu} * \nu\|_2 $를 $ L^2_0(G) $ 위의 정규 표현의 스펙트럼 갭을 활용하여 추정하며, $ \|\nu * \psi\|_2 $의 감쇠성을 이용한다.
• 연산자 노름 제어를 통해 핵심 유계 $ \|\mu * \varphi\|_2 \leq C q^{-1/4} B \|\varphi\|_2 $를 확립함으로써 스펙트럼 갭을 도출한다.

실험 결과

연구 질문

• RQ1 산술 몫 위에서 라플라스 연산자의 해소자에 대한 열역학적 전개 및 스펙트럼 갭 결과를 제곱 자유 모듈러스를 초월하여 확장할 수 있는가?
• RQ2 모듈러스 $ q $가 제곱 자유가 아닐 경우, [MOW15]의 분리 기법을 어떻게 수정하여 자라이디 밀도를 유지할 수 있는가?
• RQ3 임의의 $ q $에 대해 균일한 유계를 유지하기 위해 측도 분해 및 연산자 컨볼루션 프레임워크에 어떤 수정이 필요한가?
• RQ4 [OW14]의 균일한 지수적 혼합 결과가 저자들이 제안하는 바와 같이 임의의 모듈러스에서도 성립하는가?
• RQ5 [BK14]의 자레마 유형 설정은 제곱 자유 모듈러스를 가정하지 않고도 타당한가?

주요 결과

• 모든 정수 $ q $가 어떤 $ q_0 \geq 1 $과 서로소일 경우, $ R_{\Gamma(q)} = (\Delta - s(1-s))^{-1} $ 해소자가 $ \mathrm{Re}(s) > \delta - \varepsilon $ 영역에서 해석적이며, $ s = \delta $에서 단순극만 제외하고 성립한다.
• $ \mu = \mu_{s,x,\alpha^M} $에 대해 $ \|\mu * \varphi\|_2 \leq C q^{-1/4} B \|\varphi\|_2 $ 유계가 성립하며, 여기서 $ B = \|\mu\|_1 $이며, 이는 이전의 (MIX) 성질 의존성 대체한다.
• $ R = C \log q $일 때 $ \|\widetilde{\nu} * \nu\|_2 \leq 2 \|\nu\|_1^2 / |G|^{1/2} $가 성립함을 입증하여 스펙트럼 갭에 필요한 충분한 감쇠를 확보한다.
• 스코티 기하군의 경우, 블록을 $ L-2 $ 단계로 분해함으로써 [MOW15]의 방법을 적응하여 군 생성자들의 자라이디 밀도를 유지한다.
• 스펙트럼 갭 추정에서의 전개 상수 $ C_0 $는 $ \Gamma $의 유한 생성성으로 인해 유한한 구성에만 의존하므로 균일한 유계를 확보할 수 있다.
• 결과들은 [BK14]의 Remark 8.8를 정당화하며, [OW14]에서 제시한 바와 같이 임의의 모듈러스에 대해 균일한 지수적 혼합이 성립할 것임을 지지한다.