[論文レビュー] Word Measures on Unitary Groups

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

Random Matrices and Applications参考文献 42被引用数 5

ひとこと要約

本稿は、ユニタリ群上の語測度と自由群における安定交換子長さの間の深い関係を確立する。語 $ w $ に関する単位元上のランダムなユニタリ行列の期待トレースを分析することで、$ \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{Tr}_w(n) $ の漸近的挙動を理解すること。
• このトレースを自由群 $ \mathbf{F}_r $ 内の語 $ w $ の代数的不変量と関連付けること。
• 語 $ w $ の安定交換子長さが、$ \mathcal{U}(n) $ 上の語測度の漸近的スペクトル的性質に埋め込まれていることを示すこと。
• ウェインガルテン計算とマッチングから構成される曲面を介して、確率的行列理論と幾何的群論の間の明確な定量的関係を確立すること。

提案手法

• ウェインガルテン計算を用いて $ \mathcal{U}(n) $ 上のトレースの積分を計算し、$ \mathcal{Tr}_w(n) $ を $ n $ の有理関数として表現する。
• 語 $ w $ に関連するペアのマッチングから曲面を構成し、これらの曲面の位相的性質とトレースの漸近的挙動を関連付ける。
• ポセットおよびホモトピー論的技法（例えば、アークポセットの成分の収縮性）を用いて、曲面構成の構造を分析する。
• 境界付き曲面による安定交換子長さの幾何的実現理論に依拠する。
• 期待トレース $ \mathcal{Tr}_w(n) $ が、$ w: \mathcal{U}(n)^r \to \mathcal{U}(n) $ における語写像によるハール測度の押し出しであるという事実を用いる。
• 極限 $ \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 $ n \to \infty $ のとき、$ \mathcal{U}(n) $ 上の語写像の期待トレース $ \mathcal{Tr}_w(n) $ はどのように減少するか？
• 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$ の解の同値類の数を数える。
• この結果により、ユニタリ確率的行列理論を用いた安定交換子長さのスペクトル的特徴づけが得られる。
• 手法は語の組合せ論から曲面を構成し、位相的不変量を用いてトレースの漸近的挙動を計算する。
• この枠組みは、語の有限集合とその共同交換子長さへと拡張可能であり、ユニタリ測度から「安定交換子長さを聞き取る」ことが可能であることを示す。