[논문 리뷰] Word Measures on Unitary Groups

Michael Magee, Doron Puder|arXiv (Cornell University)|2015. 09. 24.

Random Matrices and Applications참고 문헌 42인용 수 5

한 줄 요약

이 논문은 유니터리 군 위의 단어 측도와 자유군에서의 안정적 공액자 길이 사이의 깊은 연결을 수립한다. 단어 표준형에 대한 랜덤 유니터리 행렬의 기대 추적을 분석함으로써, $\mathcal{Tr}_w(n) = O(n^{1-2g})$임을 증명하며, 여기서 $g$는 단어 $w$의 공액자 길이이다. 또한, $\lim_{n\to\infty} n^{2g-1} \cdot \mathcal{Tr}_w(n)$의 극한이 자유군에서 $[u_1,v_1]\cdots[u_g,v_g] = w$의 해를 세는 정수임을 보이며, 이는 안정적 공액자 길이가 유니터리 스펙트럼 측도를 통해 탐지 가능하다는 것을 드러낸다.

ABSTRACT

We combine concepts from random matrix theory and free probability together with ideas from the theory of commutator length in groups and maps from surfaces, and establish new connections between the two. More particularly, we study measures induced by free words on the unitary groups $U(n)$. Every word $w$ in the free group $F_r$ on $r$ generators determines a word map from $U(n)^r$ to $U(n)$, defined by substitutions. The $w$-measure on $U(n)$ is defined as the pushforward via this word map of the Haar measure on $U(n)^r$. Let $Tr_w(n)$ denote the expected trace of a random unitary matrix sampled from $U(n)$ according to the $w$-measure. It was shown by Voiculescu [Voic 91'] that for $w e 1$ this expected trace is $o(n)$ asymptotically in $n$. We relate the numbers $Tr_w(n)$ to the theory of commutator length of words and obtain a much stronger statement: $Tr_w(n)=O(n^{1-2g})$, where $g$ is the commutator length of $w$. Moreover, we analyze the number $\lim_{n o\infty}n^{2g-1} \cdot Tr_w(n)$ and show it is an integer which, roughly, counts the number of (equivalence classes of) solutions to the equation $[u_1,v_1]...[u_g,v_g]=w$ with $u_i,v_i \in F_r$. Similar results are obtained for finite sets of words and their commutator length, and we deduce that one can 'hear' the stable commutator length of a word by 'listening' to its unitary measures.

연구 동기 및 목표

• 단어 표준형에 대한 $\mathcal{U}(n)$ 위의 기대 추적 $\mathcal{Tr}_w(n)$ 의 渐近적 행동을 이해하기 위해.
• 이 추적을 자유군 $\mathbf{F}_r$ 내 단어 $w$ 의 대수적 불변량과 연관시키기 위해.
• 단어 $w$ 의 안정적 공액자 길이가 $\mathcal{U}(n)$ 위의 단어 측도의 점근적 스펙트럼 성질에 어떻게 포함되어 있는지 보여주기 위해.
• Weingarten 적분법과 매칭으로부터 생성된 표면을 통해 랜덤 행렬 이론과 기하군론 사이에 정량적 정밀한 연결을 수립하기 위해.

제안 방법

• Weingarten 적분법을 사용하여 $\mathcal{U}(n)$ 위의 추적 적분을 계산하고, $\mathcal{Tr}_w(n)$ 이 $n$ 에 대한 유리함수로 표현됨을 보임.
• 단어 $w$ 와 관련된 쌍의 매칭에서 표면을 구성함으로써, 이러한 표면의 위상수학적 성질과 추적의 점근적 행동을 연결함.
• 부분순서집합 및 호모토피 이론적 기법(예: 아크 부분순서집합의 구성요소의 수축 가능성)을 사용하여 표면 구성의 구조를 분석함.
• 안정적 공액자 길이 이론과 경계를 가진 표면을 통한 기하적 실현 이론에 의존함.
• 기대 추적 $\mathcal{Tr}_w(n)$ 이 $\mathcal{U}(n)^r \to \mathcal{U}(n)$ 에 대한 단어 표준형 $w$ 에서 하르 측도의 후퇴임을 이용함.
• 극한 $\lim_{n\to\infty} n^{2g-1} \cdot \mathcal{Tr}_w(n)$ 을 분석하고, 이가 자유군 $\mathbf{F}_r$ 내에서 $[u_1,v_1]\cdots[u_g,v_g] = w$ 의 해의 동치류 수를 세는 정수임을 증명함.

실험 결과

연구 질문

• RQ1 단어 표준형에 대한 $\mathcal{U}(n)$ 위의 기대 추적 $\mathcal{Tr}_w(n)$ 이 $n \to \infty$ 일 때 어떻게 감쇠하는가?
• RQ2 자유군 $\mathbf{F}_r$ 의 단어 $w$ 의 안정적 공액자 길이가 그 유니터리 단어 측도의 점근적 행동으로부터 복원될 수 있는가?
• RQ3 극한 $\lim_{n\to\infty} n^{2g-1} \cdot \mathcal{Tr}_w(n)$ 의 위상수학적 또는 조합론적 의미는 무엇인가?
• RQ4 매칭의 조합론과 표면 접합의 관계는 $\mathcal{U}(n)$ 위의 단어 적분의 구조와 어떻게 관련되는가?
• RQ5 해 $[u_1,v_1]\cdots[u_g,v_g] = w$ 의 수와 $\mathcal{Tr}_w(n)$ 의 주요 계수 사이에 정확한 대응 관계가 존재하는가?

주요 결과

• 기대 추적은 $\mathcal{Tr}_w(n) = O(n^{1-2g})$ 를 만족하며, 여기서 $g$ 는 $w$ 의 안정적 공액자 길이이다.
• 극한 $\lim_{n\to\infty} n^{2g-1} \cdot \mathcal{Tr}_w(n)$ 은 유한한 양의 정수이다.
• 이 극한은 자유군 $\mathbf{F}_r$ 내에서 방정식 $[u_1,v_1]\cdots[u_g,v_g] = w$ 의 동치류 수를 세는 것을 의미한다.
• 이 결과는 유니터리 랜덤 행렬 이론을 통한 안정적 공액자 길이의 스펙트럼적 특성화를 제공한다.
• 이 방법은 단어의 조합론에서 표면을 구성하고, 위상수학적 불변량을 사용하여 추적의 점근적 행동을 계산한다.
• 이 틀은 유한한 단어 집합과 그들의 공동 공액자 길이로 확장되며, 유니터리 측도로부터 안정적 공액자 길이를 '청취'할 수 있음을 보여준다.