[논문 리뷰] Sign changes of Hecke eigenvalues

Kaisa Matomäki, Maksym Radziwiłł|arXiv (Cornell University)|2014. 05. 29.

Analytic Number Theory Research참고 문헌 19인용 수 6

한 줄 요약

이 논문은 전체 모듈라 군에 대한 정수형 및 마스 씨푸스 형태의 헤크 연산자 고유값이 점점 더 균형 잡힌 양음의 부호를 보이며, $x$ 이하에서 $\lambda_f(n)$의 부호 변화 수가 $x \prod_{p \leq x, \lambda_f(p)=0} \left(1 - \frac{1}{p}\right)$의 주기를 가지며, 이는 이전의 하한을 크게 향상시킨다. 증명은 선형체 무게, 이차형식, 이동된 합성합을 사용하여 부호 수열의 상쇄 효과와 변동성을 제어한다.

ABSTRACT

Let $f$ be a holomorphic or Maass Hecke cusp form for the full modular group and write $λ_f(n)$ for the corresponding Hecke eigenvalues. We are interested in the signs of those eigenvalues. In the holomorphic case, we show that for some positive constant $δ$ and every large enough $x$, the sequence $(λ_f(n))_{n \leq x}$ has at least $δx$ sign changes. Furthermore we show that half of non-zero $λ_f(n)$ are positive and half are negative. In the Maass case, it is not yet known that the coefficients are non-lacunary, but our method is robust enough to show that on the relative set of non-zero coefficients there is a positive proportion of sign changes. In both cases previous lower bounds for the number of sign changes were of the form $x^δ$ for some $δ< 1$.

연구 동기 및 목표

• 씨푸스 형태의 헤크 고유값 수열 $\lambda_f(n)$의 부호 변화 분포와 빈도를 이해하기 위해.
• $\lambda_f(n)$의 부호가 점점 더 양과 음의 값 사이에 균형 잡힌 분포를 이룬다는 것을 확립하기 위해.
• 정수형 및 마스 형태 모두에 대해 $\lambda_f(n)$의 부호 변화 수에 대한 기존 하한을 향상시키기 위해.
• 이차 잔여물과 사토-타이트 행동과의 유사성에 기반하여, 부호 패턴의 통계적 독립성과 무작위성에 대해 연구하기 위해.

제안 방법

• 부호 변화를 구간 $[x, x+h]$에서 비교한 부호 합과 그 진동하지 않는 대응체를 통해 감지하기 위해 $w_n \geq w_n' \geq 0$인 선형체 무게 $w_n$을 도입하기 위해.
• 이동된 합성합에 대한 하르코스의 작업을 사용하여 $\sum_{am - bn = h} \lambda_f(m)\lambda_f(n)$의 상쇄 효과를 감지하고, 이는 부호 합의 진동 부분을 제어한다.
• 이중 무게 $w_n'$을 큰 소수에 지지된 곱셈 함수로 모델링하여 첫 번째 및 두 번째 모멘트를 계산하고, 평균적으로 양의 하한을 확보한다.
• 큰 걸러내기와 코시-슈바르츠 부등식을 적용하여 이차형식의 비대칭 기여를 유한하게 만들며, 소수 인자가 많은 $n$에 대해 $\lambda_f(n)$의 작음을 이용한다.
• 모비우스 역전 및 이진 분해를 사용하여 공약수 조건을 제거하고 $b, b'$에 대한 이차형식의 구조를 제어한다.
• 사토-타이트 정리를 활용하여 $|\lambda_f(n)|$의 극심한 변동성을 정당화하며, 이는 크기의 변동성에도 불구하고 부호 변화를 감지하기 위해 가중 합을 사용해야 한다는 점을 시사한다.

실험 결과

연구 질문

• RQ1 헤크 씨푸스 형태의 수열 $\lambda_f(n)$에서 부호 변화의 점점 더 균형 잡힌 빈도는 무엇인가?
• RQ2 $\lambda_f(n)$의 부호는 얼마나 독립적인 무작위 변수처럼 행동하며, 이는 부호 변화 수에 어떤 영향을 미치는가?
• RQ3 이전의 $x^{1/2}$ 및 $x^{1/8-\varepsilon}$ 하한을 개선하는 비자명한 하한을 $\lambda_f(n)$의 부호 변화 수에 대해 확립할 수 있는가?
• RQ4 $\lambda_f(n)$의 영점 존재가 부호 변화 수에 어떤 영향을 미치며, 비영인 지지부에서 여전히 양의 비율의 부호 변화를 감지할 수 있는가?

주요 결과

• $n \leq x$에서 $\lambda_f(n)$의 부호 변화 수는 $x \prod_{p \leq x, \lambda_f(p)=0} \left(1 - \frac{1}{p}\right)$의 주기를 가지며, 자연 밀도 가정 하에 $\gg x$이다.
• 정수형 형태의 경우, 양의 비영인 $\lambda_f(n)$와 음의 비영인 $\lambda_f(n)$의 비율은 점점 더 균형 잡힌 분포를 이룬다.
• 부호 변화 수의 하한은 $\gg x$로 평가되며, 정수형의 경우 이전의 $\gg x^{1/2}$ 하한과 마스 형태의 경우 $\gg x^{1/8-\varepsilon}$ 하한을 크게 향상시킨다.
• 상관합 $\left| \sum_{n \leq x} \text{sgn}(\lambda_f(n)) \text{sgn}(\lambda_f(n+1)) \right| \leq (1 - c)x$는 어떤 $c > 0$에 대해 성립하며, 이는 장거리 부호 상관관계가 제한적임을 시사한다.
• 이 방법은 선형체 무게를 통해 작은 소수의 기여를 제어하고, 이동된 합성합을 통해 큰 소수의 상쇄 효과를 분리한다.
• 이 증명은 전체 모듈라 군을 넘어서도 실수 푸리에 계수를 가진 형태로 확장되며, 부호 분포가 여전히 균형을 이루는 한 성립한다.