[논문 리뷰] Free products of sofic groups with amalgamation over monotileably amenable groups

Benoı̂t Collins, Ken Dykema|arXiv (Cornell University)|2010. 03. 08.

Random Matrices and Applications참고 문헌 10인용 수 17

한 줄 요약

이 논문은 모노타일러블리 아벨란 부분군을 통해 암시적으로 자유곱된 소픽 그룹의 자유곱이 소픽임을 증명하며, 소픽 그룹의 클래스의 닫힘 성질을 확장한다. 또한 특정 추적 및 거리 조건 하에서, 독립적인 랜덤 순열 행렬과 소픽 그룹의 준행동에서 유도된 특정 비랜덤 순열 행렬 간의 점근적 *-자유성을 확립한다.

ABSTRACT

We show that free products of sofic groups with amalgamation over monotileably amenable subgroups are sofic. Consequently, so are HNN extensions of sofic groups relative to homomorphisms of monotileably amenable subgroups. We also show that families of independent uniformly distributed permutation matrices and certain families of non-random permutation matrices (essentially, those coming from quasi--actions of a sofic group) are asymptotically *-free as the matrix size grows without bound.

연구 동기 및 목표

• 소픽 그룹의 클래스가 모노타일러블리 아벨란 부분군을 통해 암시적으로 자유곱된 것에 대해 닫혀 있음을 증명하는 것.
• 특히 비아벨란이지만 모노타일러블리 아벨란인 부분군을 포함하는 경우, 기존 사례를 초월하여 소픽 그룹의 닫힘 성질을 확장하는 것.
• 독립적인 균일 분포를 가진 순열 행렬의 가족과 소픽 그룹의 준행동에서 유도된 비랜덤 순열 행렬 간의 점근적 자유성을 조사하는 것.
• 추적 및 정규화된 하밍 거리 기준을 사용하여 순열 행렬 가족의 맥락에서 점근적 *-자유성에 대한 충분 조건을 제공하는 것.
• 근사 기법을 통해 소픽 그룹의 구조적 이해를 강화함으로써, 콘네스의 임bedding 문제 및 관련 추측에 기여하는 것.

제안 방법

• 제어된 정규화된 하밍 거리로 군 원소를 순열로 근사하는 데 기반한 $(F,\epsilon)$-준행동을 사용하여 소픽성을 정의하는 것.
• 가чёт군에 대해 소픽성을 특징짓기 위해, $\left(\prod S_{n(k)}\right) / \bigoplus (S_{n(k)}, \text{dist})$를 통한 초곱 구조를 활용하는 것.
• 독립적인 랜덤 순열 행렬에 대한 니카의 점근적 자유성 결과를 적용하여 혼합 추적을 분석하는 것.
• 핵심 기술적 조건 도입: 비랜덤 행렬 $B_{j,d}$에 대해 $\text{tr}_d(B_{j,d}) \to 0$ 이거나 $\text{dist}(B_{j_1}B_{j_2}, B_{j_3}) = 0$ 이어야 하며, 이는 혼합 곱에서 추적 감쇠를 보장한다.
• 랜덤 순열 행렬 $V$ 와 고정된 가족 $(U_i)$ 간의 조건부 기대값과 독립성을 활용하여 혼합 추적 기대값을 유계화하는 것.
• 추적 감쇠를 확립하기 위해 $C_n \max(f(d), \epsilon_d) + D_n d^{-1}$ 를 포함하는 유계를 사용하는 것. 여기서 $f(d)$ 는 $B_{j,d}$ 의 최대 추적이며, $\epsilon_d \searrow 0$ 이다.

실험 결과

연구 질문

• RQ1 소픽 그룹의 클래스는 모노타일러블리 아벨란 부분군을 통해 암시적으로 자유곱된 것에 대해 여전히 닫혀 있는가?
• RQ2 독립적인 랜덤 순열 행렬과 소픽 그룹의 준행동에서 유도된 비랜덤 순열 행렬 간에 점근적 *-자유성이 확립될 수 있는가?
• RQ3 비랜덤 순열 행렬에 대해 어떤 조건이, 랜덤 행렬과 혼합되었을 때 큰 $d$ 근처에서 혼합 추적을 0으로 만들 수 있는가?
• RQ4 정규화된 하밍 거리와 추적 조건은 소픽 그룹 근사의 맥락에서 점근적 자유성을 보장하기 위해 어떻게 상호작용하는가?
• RQ5 모노타일러블리 아벨란 부분군은 아벨란 그룹을 초월하여 소픽성 닫힘 결과를 확장하는 데 얼마나 기여하는가?

주요 결과

• 모노타일러블리 아벨란 부분군을 통해 암시적으로 자유곱된 소픽 그룹의 자유곱은 소픽이며, 기존의 닫힘 결과를 확장한다.
• 모노타일러블리 아벨란 부분군에서의 준동형 사상에 대해 소픽 그룹의 HNN 확장을 수행한 경우에도 소픽이다.
• 독립적인 균일 분포를 가진 순열 행렬의 가족과 소픽 그룹의 준행동에서 유도된 특정 비랜덤 순열 행렬은 $d \to \infty$ 일 때 점근적으로 *-자유이다.
• 점근적 자유성은 $\text{tr}_d(B_{j,d}) \to 0$ 이거나 $\text{dist}(B_{j_1}B_{j_2}, B_{j_3}) = 0$ 인 조건 하에서 확립되며, 이는 혼합 단어에서의 추적 감쇠를 보장한다.
• 랜덤 행렬과 비랜덤 행렬에 대한 비자명한 기약 단어를 포함하는 혼합 단어의 추적은 $d \to \infty$ 일 때 기대값이 0으로 수렴한다.
• 증명은 니카의 점근적 자유성과 $\max(f(d), \epsilon_d)$ 를 포함하는 정교한 추적 유계의 조합에 기반하며, 이는 $d \to \infty$ 일 때 0으로 수렴한다.