[논문 리뷰] Medium-scale curvature at larger radii in finitely generated groups

Robert Kropholler, Brendan Mallery|arXiv (Cornell University)|2020. 04. 22.

Geometric Analysis and Curvature Flows참고 문헌 7인용 수 4

한 줄 요약

이 논문은 임의의 반경에서의 구 및 구판 비교 거리에 기반한 유한 생성 군에 대한 중규모 리만 곡률을 도입하며, 사망자 요소가 비음성 곡률을 유도하고 램플라이터 군 및 하우튼 군에서 안정된 양성 곡률의 구체적 예를 구성한다. 이 곡률 개념이 비아벨 군에서 올리비에의 이산 리만 곡률과 다름을 보이며, 최적 운반 계획이 일반적인 GenCon 구성에 의해 항상 포괄되지 않는다는 것을 밝힌다.

ABSTRACT

In this paper we study medium scale curvature, a notion of Ricci curvature for groups. We show that dead-end elements yield non-negative curvature. We make use of related elements to find large classes of positive curvature in the lamplighter and Houghton's group. We also study the effect of increasing the radius of curvature and give examples of positive curvature for arbitrary radius. Finally we make some comparisons between this notion of curvature and the Ricci curvature introduced by Ollivier.

연구 동기 및 목표

• 반경 1을 초월한 유한 생성 군의 리만 곡률 개념을 확장하여 더 큰 척도에서 곡률을 연구할 수 있도록 한다.
• 반경 1에서 관측된 양성 곡률이 비교 반경을 증가시켜도 유지되는지 조사한다.
• 특히 사망자 요소를 포함한 자연스러운 군 원소의 클래스를 식별하여 다수의 반경에서 비음성 곡률을 유도한다.
• 제안된 곡률 개념을 올리비에의 이산 리만 곡률과 비교하며, 특히 비아벨 군에서의 차이를 분석한다.
• 운반 계획의 역할을 곡률 계산에 대해 탐구하고 GenCon이 최소 운반 비용을 제공하는지 여부를 규명한다.

제안 방법

• 반경 $r$에서의 구 및 구판 비교 거리 $\mathcal{S}_r(x,y)$와 $\mathcal{B}_r(x,y)$를 정의하여, $w$가 반경 $r$의 구 또는 구판에 있을 때 $xw$와 $yw$ 사이의 평균 거리로 정의한다.
• 곡률을 $\kappa_r^\mathcal{S}(x,y) = \frac{d(x,y) - \mathcal{S}_r(x,y)}{d(x,y)}$로 정의하며, 양성 곡률은 이동에 의한 수축을 나타낸다.
• 군의 대칭성을 활용하여 곡률 계산을 $\kappa_r^\mathcal{B}(g) = \kappa_r^\mathcal{B}(e, g)$로 단순화하며, 단어 길이와 코어지션을 통한 분석을 용이하게 한다.
• 엄격한 깊이 $k$를 가진 사망자 요소를 분석하여 모든 $r < k$에 대해 $\kappa_r^\mathcal{S}(g) \geq 0$임을 증명함으로써, 비음성 곡률 요소를 생성하는 광범위한 클래스를 확립한다.
• 램플라이터 군 $\mathcal{L}_2$와 하우튼의 군 $H_2$에서 임의의 반경에서 안정된 양성 곡률을 보이는 구체적 예를 구성한다.
• 운반 비용과 최적 계획을 분석하여 새로운 곡률과 올리비에의 이산 리만 곡률을 비교함으로써, 비아벨 군에서의 불일치를 입증한다.

실험 결과

연구 질문

• RQ1 반경 1에서 양성 곡률을 보이는 요소들이 비교 반경을 증가시켜도 여전히 양성 곡률을 유지하는가?
• RQ2 유한 생성 군의 사망자 요소가 더 큰 반경에서 체계적으로 비음성 곡률을 생성하는 데 사용될 수 있는가?
• RQ3 어떤 군에서 GenCon 구성이 곡률 계산을 위한 최적 운반 계획을 제공하는가?
• RQ4 비아벨 군에서 제안된 중규모 곡률은 올리비에의 이산 리만 곡률과 어떻게 다를까?
• RQ5 최적 운반 계획이 군 원소에 따라 변하지 않는 군은 존재하는가, 아니면 상당히 다양하게 변하는가?

주요 결과

• 엄격한 깊이 $k$를 가진 사망자 요소는 모든 비교 반경 $r < k$에서 비음성 곡률을 보이며, 이는 비음성 곡률 요소를 생성하는 일반적인 메커니즘을 제공한다.
• 램플라이터 군 $\mathcal{L}_2$와 하우튼의 군 $H_2$는 모든 시험 반경에서 양성 곡률이 유지되는 요소를 포함하며, 이는 더 큰 척도에서의 양성 곡률의 안정성을 보여준다.
• 자유 군 $F_n$에서는 GenCon 구성이 최적 운반 비용을 제공하므로, 올리비에의 곡률과 일치함을 보이며 이 경우 일치함을 입증한다.
• $S_3$에서 표준 생성자를 사용할 경우 GenCon 구성이 최소 운반 비용을 제공하지 않으며, 이는 올리비에의 곡률과 제안된 비교 곡률이 비아벨 군에서 다를 수 있음을 증명한다.
• 군 원소 $g$에 대한 $\phi_S^r(g)$ 함수는 항상 자명하지 않으며, 그 구조는 $g$에 따라 변하며, 이는 최적 운반 계획이 군 원소에 따라 달라짐을 나타낸다.
• 논문은 임의의 반경에서의 양성 곡률의 예를 구성하여, 양성 곡률이 소규모 기하학의 산물이 아니며 더 큰 척도에서 안정적일 수 있음을 보여준다.