[논문 리뷰] Eigenvalue multiplicity and volume growth

James R. Lee, Yury Makarychev|ArXiv.org|2008. 06. 10.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 13

한 줄 요약

이 논문은 유한 카일리 그래프와 체계적 부피 성장 조건을 만족하는 컴acts 리만 다양체에서 고유값 중복도에 대한 효과적이고 유한한 경계를 설정한다. 이는 클레인러의 증명에서 조화 함수의 역할을 대체하기 위해 라플라시안의 두 번째 고유공간을 사용한다. 이로 인해 군론적 결과가 도출되며, 이는 이중화 상수가 유계인 유한군이 ℤ_M와 동형인 큰 몫을 가지며, 상당한 크기의 이미지를 가진 저차원 표현을 갖는다는 것을 의미한다. 이는 고유값 중복도에 대한 효과적이고 유한한 Gromov 정리의 대안을 제공한다.

ABSTRACT

Let $G$ be a finite group with symmetric generating set $S$, and let $c = \max_{R > 0} |B(2R)|/|B(R)|$ be the doubling constant of the corresponding Cayley graph, where $B(R)$ denotes an $R$-ball in the word-metric with respect to $S$. We show that the multiplicity of the $k$th eigenvalue of the Laplacian on the Cayley graph of $G$ is bounded by a function of only $c$ and $k$. More specifically, the multiplicity is at most $\exp((\log c)(\log c + \log k))$. Similarly, if $X$ is a compact, $n$-dimensional Riemannian manifold with non-negative Ricci curvature, then the multiplicity of the $k$th eigenvalue of the Laplace-Beltrami operator on $X$ is at most $\exp(n^2 + n log k)$. The first result (for $k=2$) yields the following group-theoretic application. There exists a normal subgroup $N$ of $G$, with $[G : N] \leq α(c)$, and such that $N$ admits a homomorphism onto the cyclic group $Z_M$, where $M \geq |G|^{δ(c)}$ and $α(c), δ(c) > 0$ are explicit functions depending only on $c$. This is the finitary analog of a theorem of Gromov which states that every infinite group of polynomial growth has a subgroup of finite index which admits a homomorphism onto the integers. This addresses a question of Trevisan, and is proved by scaling down Kleiner's proof of Gromov's theorem. In particular, we replace the space of harmonic functions of fixed polynomial growth by the second eigenspace of the Laplacian on the Cayley graph of $G$.

연구 동기 및 목표

• 유한군에 대해 다항부피 성장 군에 대한 Gromov 정리의 효과적이고 유한한 대체를 제공한다.
• 클레인러의 증명에서 핵심이 되는 다항성장 조건을 만족하는 조화함수의 역할을, 유한 카일리 그래프에서 이산 라플라시안의 두 번째 고유공간으로 대체한다.
• 카일리 그래프의 이중화 상수에 기반하여 고유값 중복도와 군 표현 차원에 대한 정량적 경계를 도출한다.
• 트레비산이 제기한 질문에 답한다: 체계적 부피 성장 조건을 만족하는 유한군에 대해 효과적이고 정량적인 표현이 존재하는가?

제안 방법

• 유한군 $ G $의 카일리 그래프에 대해 부피 성장 특성을 캡처하기 위해 이중화 상수 $ c = \max_R \frac{|B(2R)|}{|B(R)|} $ 를 정의한다.
• 이산 라플라시안의 두 번째 고유공간 $ W_2 $ 를 다항성장 조건을 만족하는 조화함수 공간의 유한한 대체로 사용한다.
• 스케일에 의존하는 피카르 불등식과 스펙트럼 갭 추정을 이용하여 $ W_2 $ 의 차원이 $ \exp(O(\log c)^2) $ 이하임을 증명한다.
• 군 $ G $ 가 $ W_2 $ 에 작용하는 방식으로 선형 표현 $ \rho_W: G \to GL(W) $ 를 구성하며, $ \dim W \leq \exp(O(\log c)^2) $ 를 보인다.
• Jordan 정리를 $ \rho_W(G) \leq GL(W) $ 에 적용하여, $ M \geq |\rho_W(G)|^{1/\dim W} $ 를 만족하는 큰 아벨 몫 $ \mathbb{Z}_M $ 을 추출한다.
• 이산 체거 부등식과 지름 경계를 사용하여 $ |\rho_W(G)| $ 를 하한으로 제시하며, $ |\rho_W(G)| \gtrsim |G|^{1/\log_2 c} / c^{O(1)} $ 를 도출한다.

실험 결과

연구 질문

• RQ1 다항부피 성장 군에 대한 Gromov 정리의 효과적이고 유한한 대체판을 유한군에 대해 확립할 수 있는가?
• RQ2 카일리 그래프의 라플라시안의 $ k $ 번째 고유값 중복도는 이중화 상수에 대해 어떻게 정량적으로 경계될 수 있는가?
• RQ3 유한 설정에서 다항성장 조건을 만족하는 조화함수 공간을 이산 라플라시안의 두 번째 고유공간으로 효과적으로 대체할 수 있는가?
• RQ4 두 번째 고유공간의 차원과 관련된 군 표현의 이미지 크기에 대해 최고의 경계는 무엇인가?
• RQ5 카일리 그래프의 이중화 상수가, 유한군에서 $ \mathbb{Z}_M $ 과 동형인 큰 몫의 존재를 어떻게 제어하는가?

주요 결과

• 유한 카일리 그래프에서 라플라시안의 $ k $ 번째 고유값 중복도는 $ \exp(O(\log c)(\log c + \log k)) $ 이하로 경계된다. 여기서 $ c $ 는 이중화 상수이다.
• 이중화 상수가 $ c $ 인 유한군 $ G $ 에 대해, $ \dim W \leq \exp(O(\log c)^2) $ 이고 $ |\rho_W(G)| \gtrsim |G|^{1/\log_2 c} / c^{O(1)} $ 를 만족하는 선형 표현 $ \rho_W: G \to GL(W) $ 가 존재한다.
• 정규부분군 $ N \trianglelefteq G $ 가 존재하여 $ [G:N] \leq \alpha(c) = O(k)^{k^2} $ 를 만족하며, 여기서 $ k = \dim W $ 이고, $ N $ 은 $ M \geq c^{-O(1)} |G|^{1/(k \log_2 c)} $ 를 만족하는 $ \mathbb{Z}_M $ 에로의 호모모르피즘을 가진다.
• 카일리 그래프 $ \mathrm{Cay}(G;S) $ 의 두 번째 고유값 $ \lambda_2 $ 는 $ \lambda_2 \lesssim \frac{c^{O(1)}}{\mathrm{diam}(G)^2} $ 를 만족하며, 스펙트럼 갭과 부피 성장 간의 연결 고리를 제공한다.
• 카일리 그래프의 지름은 $ \mathrm{diam}(G) \geq |G|^{1/\log_2 c} $ 를 만족하며, 이는 표현의 이미지 크기를 하한으로 제시하는 데 사용된다.
• 이 구성은 Gromov 정리의 정량적이고 효과적인 판본을 제공한다: 이중화 상수가 유계인 모든 유한군은 $ M \geq |G|^{\delta(c)} $ 를 만족하는 $ \mathbb{Z}_M $ 과 동형인 큰 몫을 가지며, 여기서 $ \delta(c) \geq \frac{1}{O(h \log c)} $ 이고 $ h \leq \exp((\log c)^2) $ 이다.