[논문 리뷰] Spectral Radius and Amenability in Hilbert Geometries

Constantin Vernicos|arXiv (Cornell University)|2007. 12. 10.

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

한 줄 요약

이 논문은 힐버트 기하학에서 스펙트럼의 하한이 양수임이 그 기하학이 애매성(amenability)을 띠는 것과 동치임을 증명한다. 즉, 펄너 수열(Følner sequence)을 허용하는지 여부에 따라 결정된다. 힐버트 기하학과 그 이산화(discretizations) 사이의 준등거리(quasi-isometry)를 증명하고, 연속 및 이산 스펙트럼 이론을 연결하기 위해 스무딩 연산자를 사용함으로써, 저자들은 이산 마르코프 연산자의 스펙트럼 반경이 1보다 작을 때 정확히 스펙트럼의 하한이 양수임을 보이며, 이는 비리만노이드(non-Riemannian) 설정에서 애매성과 스펙트럼의 양성 사이의 연결고리를 제공한다.

ABSTRACT

We study the bottom of the spectrum in Hilbert geometries, we show that it is zero if and only if the geometry is amenable, in other words if and only if it admits a Fölner sequence. We also show that the bottom of the spectrum admits an upper bound, which depends only on the dimension and which is the bottom of the spectrum of the Hyperbolic geometry of the same dimension. Horoballs, from a purely metric point of view, and their relation with the bottom of the spectrum in Hilbert geometries are briefly studied.

연구 동기 및 목표

• 힐버트 기하학에서 애매성의 스펙트럼기하학적 특성화를 수립하는 것.
• 특히, 히처 상수의 양성과 스펙트럼 하한의 양성이 등가임을 보여주는 리만 기하학의 결과를 비리만노이드 설정인 힐버트 기하학으로 확장하는 것.
• 스펙트럼의 하한이 0이 되는 것은 힐버트 기하학이 애매성(amenability)을 띠는 것, 즉 펄너 수열을 허용하는 것과 동치임을 증명하는 것.
• 어느 이산화(discretization)의 마르코프 연산자 스펙트럼 반경이 1보다 작을 때 정확히 스펙트럼의 하한이 양수임을 보여주는 것.
• 힐버트 기하학과 그 이산화 사이의 준등거리 관계를 확립하여 연속 및 이산 설정 간의 스펙트럼적, 기하학적 성질 이행을 가능하게 하는 것.

제안 방법

• 저자들은 이산 그래프(힐버트 기하학의 이산화)에서 함수를 연속적인 볼록 도메인으로 올리는 데 스무딩 연산자를 사용한다.
• 반경 $2\rho$의 공들의 국소적으로 유한한 커버에 대해 부속된 단위 분할(partition of unity)을 정의함으로써 기하학적 제어를 균일하게 확보한다.
• 스무딩 연산자는 $L^2$-노름과 에너지(디리클레 형식)를 균일한 상수 $C_1$과 $C_2$를 통해 이산 함수와 그 연속적 상응체 사이에 연결함으로써 스펙트럼 비교를 수립한다.
• 증명은 힐버트 기하학과 그 이산화 사이의 준등거리 관계에 기반하며, 이는 기하학적 및 스펙트럼적 성질의 이행을 가능하게 한다.
• 저자들은 이전 연구에서 얻은 히처 유형 부등식을 적용하여 연속 기하학의 히처 상수와 이산 그래프의 히처 상수를 연결한다.
• 이산 그래프 위의 단순 랜덤 워크에 관련된 마르코프 연산자 $T$를 사용하여 스펙트럼 반경 $\rho(\mathbf{G})$를 특성화하고, 에너지 형식 $\langle(1-T)f,f\rangle$를 통해 스펙트럼의 하한과 연결한다.

실험 결과

연구 질문

• RQ1 힐버트 기하학에서 스펙트럼의 하한이 양수임은 그 기하학이 애매성(amenability)을 띠는 것, 즉 펄너 수열을 허용하는 것과 동치인가?
• RQ2 힐버트 기하학의 스펙트럼 성질은 이산화를 통해 특성화될 수 있는가, 특히 이산 그래프 위의 마르코프 연산자의 스펙트럼 반경을 통해?
• RQ3 힐버트 기하학에서 히처 상수가 양수임은 스펙트럼의 하한이 양수임과 동치인가? 리만 기하학과 동일한가?
• RQ4 힐버트 기하학의 스펙트럼적 및 기하학적 성질이 하이퍼볼릭 공간과 얼마나 유사한가, 특히 스펙트럼의 하한 측면에서?
• RQ5 스무딩 연산자를 사용하여, 균일한 상한을 갖는 조건에서 이산 그래프 위의 함수의 $L^2$-에너지와 힐버트 기하학에서의 연속적 상응체를 어떻게 연결할 수 있는가?

주요 결과

• 스펙트럼의 하한 $\lambda_1(\mathcal{C})$은 0이 되는 것과 힐버트 기하학 $\mathcal{C}$가 애매성(amenability)을 띠는 것, 즉 펄너 수열을 허용하는 것과 동치이다.
• 스펙트럼의 하한은 $n$차원 하이퍼볼릭 공간의 스펙트럼 하한에 의해 위로 유계이고, 이는 날카운 상한이다.
• 히처 상수 $I_\infty(\mathcal{C})$의 양성은 히처 유형 부등식을 통해 스펙트럼의 하한 $\lambda_1(\mathcal{C})$의 양성과 동치이다.
• 힐버트 기하학의 어느 이산화 $\mathbf{G}$의 마르코프 연산자 스펙트럼 반경 $\rho(\mathbf{G})$는 $\rho(\mathbf{G}) < 1$이 되는 것과 $\lambda_1(\mathcal{C}) > 0$이 되는 것과 동치이며, 이는 이산-연속 스펙트럼 등가성을 수립한다.
• 스무딩 연산자 $\mathcal{S}$는 균일한 상한을 갖는다: $||f||_2^2 \leq C_1||\mathcal{S}f||_2^2$ 및 $||d\mathcal{S}f||_2^2 \leq C_2\langle(1-T)f,f\rangle$로, 이는 스펙트럼 비교를 가능하게 한다.
• 힐버트 기하학은 그 이산화와 준등거리이며, 이는 연속 및 이산 설정 간의 스펙트럼적 및 기하학적 성질 이행을 정당화한다.