-
Strong convergence of uniformly random permutation representations of surface groups
Authors:
Michael Magee,
Doron Puder,
Ramon van Handel
Abstract:
Let $Γ$ be the fundamental group of a closed orientable surface of genus at least two. Consider the composition of a uniformly random element of $\mathrm{Hom}(Γ,S_n)$ with the $(n-1)$-dimensional irreducible representation of $S_n$. We prove the strong convergence in probability as $n\to\infty$ of this sequence of random representations to the regular representation of $Γ$.
As a consequence, for…
▽ More
Let $Γ$ be the fundamental group of a closed orientable surface of genus at least two. Consider the composition of a uniformly random element of $\mathrm{Hom}(Γ,S_n)$ with the $(n-1)$-dimensional irreducible representation of $S_n$. We prove the strong convergence in probability as $n\to\infty$ of this sequence of random representations to the regular representation of $Γ$.
As a consequence, for any closed hyperbolic surface $X$, with probability tending to one as $n\to\infty$, a uniformly random degree-$n$ covering space of $X$ has near optimal relative spectral gap -- ignoring the eigenvalues that arise from the base surface $X$.
To do so, we show that the polynomial method of proving strong convergence can be extended beyond rational settings.
To meet the requirements of this extension we prove two new kinds of results. First, we show there are effective polynomial approximations of expected values of traces of elements of $Γ$ under random homomorphisms to $S_n$. Secondly, we estimate the growth rates of probabilities that a finitely supported random walk on $Γ$ is a proper power after a given number of steps.
△ Less
Submitted 29 April, 2025; v1 submitted 11 April, 2025;
originally announced April 2025.
-
Primitivity Testing in Free Group Algebras via Duality
Authors:
Matan Seidel,
Danielle Ernst-West,
Doron Puder
Abstract:
Let $K$ be a field and $F$ a free group. By a classical result of Cohn and Lewin, the free group algebra $K\left[F\right]$ is a free ideal ring (FIR): a ring over which the submodules of free modules are themselves free, and of a well-defined rank. Given a finitely generated right ideal $I\leq K\left[F\right]$ and an element $f\in I$, we give an explicit algorithm determining whether $f$ is part o…
▽ More
Let $K$ be a field and $F$ a free group. By a classical result of Cohn and Lewin, the free group algebra $K\left[F\right]$ is a free ideal ring (FIR): a ring over which the submodules of free modules are themselves free, and of a well-defined rank. Given a finitely generated right ideal $I\leq K\left[F\right]$ and an element $f\in I$, we give an explicit algorithm determining whether $f$ is part of some basis of $I$. More generally, given free $K[F]$-modules $M\le N$, we provide algorithms determining whether $M$ is a free summand of $N$, and whether $N$ admits a free splitting relative to $M$. These can also be used to obtain analogous algorithms for free groups $H\le J$.
As an aside, we also provide an algorithm to compute the intersection of two given submodules of a free $K\left[F\right]$-module.
A key feature of this work is the introduction of a duality, induced by a matrix with entries in a free ideal ring, between the respective algebraic extensions of its column and row spaces.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
The ring of stable characters over $\text{GL}_\bullet(q)$
Authors:
Danielle Ernst-West,
Doron Puder,
Yotam Shomroni
Abstract:
For a fixed prime power $q$, let $\text{GL}_\bullet(q)$ denote the family of groups $\text{GL}_N(q)$ for $N \in \mathbb{Z}_{\geq 0}$. In this paper we study the $\mathbb{C}$-algebra of "stable" class functions of $\text{GL}_\bullet(q)$, and show it admits four different linear bases, each arising naturally in different settings. One such basis is that of stable irreducible characters, namely, the…
▽ More
For a fixed prime power $q$, let $\text{GL}_\bullet(q)$ denote the family of groups $\text{GL}_N(q)$ for $N \in \mathbb{Z}_{\geq 0}$. In this paper we study the $\mathbb{C}$-algebra of "stable" class functions of $\text{GL}_\bullet(q)$, and show it admits four different linear bases, each arising naturally in different settings. One such basis is that of stable irreducible characters, namely, the class functions spanned by the characters corresponding to finitely generated simple $\mathrm{VI}$-modules in the sense of [arXiv:1408.3694,arXiv:1602.00654]. A second one comes from characters of parabolic representations. The final two, one originally defined in [arXiv:1803.04155] and the other in [arXiv:2110.11099], are more combinatorial in nature. As corollaries, we clarify many properties of these four bases and prove a conjecture from [arXiv:2106.11587].
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
An extension of the cogrowth formula to arbitrary subsets of the tree
Authors:
Doron Puder
Abstract:
What is the probability that a random walk in the free group ends in a proper power? Or in a primitive element? We present a formula that computes the exponential decay rate of the probability that a random walk on a regular tree ends in a given subset, in terms of the exponential decay rate of the analogous probability of the non-backtracking random walk. This generalizes the well-known cogrowth…
▽ More
What is the probability that a random walk in the free group ends in a proper power? Or in a primitive element? We present a formula that computes the exponential decay rate of the probability that a random walk on a regular tree ends in a given subset, in terms of the exponential decay rate of the analogous probability of the non-backtracking random walk. This generalizes the well-known cogrowth formula of Grigorchuk, Cohen and Northshield. We also extend the formula to arbitrary subsets of the biregular tree.
△ Less
Submitted 26 December, 2024; v1 submitted 28 May, 2024;
originally announced May 2024.
-
Stable Invariants and Their Role in Word Measures on Groups
Authors:
Doron Puder,
Yotam Shomroni
Abstract:
Every word in a free group induces a word measure -- a probability measure defined via the word map -- on every compact group. This paper presents a conjectural picture about the role of a plethora of stable invariants of words in word measures on groups. These invariants generalize the stable commutator length and include, among others, two invariants recently defined by Wilton: the stable primit…
▽ More
Every word in a free group induces a word measure -- a probability measure defined via the word map -- on every compact group. This paper presents a conjectural picture about the role of a plethora of stable invariants of words in word measures on groups. These invariants generalize the stable commutator length and include, among others, two invariants recently defined by Wilton: the stable primitivity rank and a non-oriented analog of stable commutator length we call stable square length. The conjectures say, roughly, that these stable invariants control the asymptotics of the expected values of stable characters, under word measures. We reinforce these conjectures by proving a version for word measures on wreath products, and by introducing a related formula for stable irreducible characters of the symmetric group.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
On the Aldous-Caputo Spectral Gap Conjecture for Hypergraphs
Authors:
Gil Alon,
Gady Kozma,
Doron Puder
Abstract:
In their celebrated paper (arXiv:0906.1238), Caputo, Liggett and Richthammer proved Aldous' conjecture and showed that for an arbitrary finite graph, the spectral gap of the interchange process is equal to the spectral gap of the underlying random walk. A crucial ingredient in the proof was the Octopus Inequality - a certain inequality of operators in the group ring $\mathbb{R}[\mathrm{Sym}_n]$ of…
▽ More
In their celebrated paper (arXiv:0906.1238), Caputo, Liggett and Richthammer proved Aldous' conjecture and showed that for an arbitrary finite graph, the spectral gap of the interchange process is equal to the spectral gap of the underlying random walk. A crucial ingredient in the proof was the Octopus Inequality - a certain inequality of operators in the group ring $\mathbb{R}[\mathrm{Sym}_n]$ of the symmetric group. Here we generalize the Octopus Inequality and apply it to generalize the Caputo-Liggett-Richthammer Theorem to certain hypergraphs, proving some cases of a conjecture of Caputo.
△ Less
Submitted 14 May, 2025; v1 submitted 4 November, 2023;
originally announced November 2023.
-
Local Statistics of Random Permutations from Free Products
Authors:
Doron Puder,
Tomer Zimhoni
Abstract:
Let $α$ and $β$ be uniformly random permutations of orders $2$ and $3$, respectively, in $S_{N}$, and consider, say, the permutation $αβαβ^{-1}$. How many fixed points does this random permutation have on average? The current paper studies questions of this kind and relates them to surprising topological and algebraic invariants of elements in free products of groups.
Formally, let…
▽ More
Let $α$ and $β$ be uniformly random permutations of orders $2$ and $3$, respectively, in $S_{N}$, and consider, say, the permutation $αβαβ^{-1}$. How many fixed points does this random permutation have on average? The current paper studies questions of this kind and relates them to surprising topological and algebraic invariants of elements in free products of groups.
Formally, let $Γ=G_{1}*\ldots*G_{k}$ be a free product of groups where each of $G_1,\ldots,G_k$ is either finite, finitely generated free, or an orientable hyperbolic surface group. For a fixed element $γ\inΓ$, a $γ$-random permutation in the symmetric group $S_{N}$ is the image of $γ$ through a uniformly random homomorphism $Γ\to S_{N}$. In this paper we study local statistics of $γ$-random permutations and their asymptotics as $N$ grows. We first consider $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$, the expected number of fixed points in a $γ$-random permutation in $S_{N}$. We show that unless $γ$ has finite order, the limit of $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ as $N\to\infty$ is an integer, and is equal to the number of subgroups $H\leΓ$ containing $γ$ such that $H\cong\mathbb{Z}$ or $H\cong C_{2}*C_{2}$. Equivalently, this is the number of subgroups $H\leΓ$ containing $γ$ and having (rational) Euler characteristic zero. We also prove there is an asymptotic expansion for $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ and determine the limit distribution of the number of fixed points as $N\to\infty$. These results are then generalized to all statistics of cycles of fixed lengths.
△ Less
Submitted 6 December, 2022; v1 submitted 23 March, 2022;
originally announced March 2022.
-
Word Measures on $GL_N(q)$ and Free Group Algebras
Authors:
Danielle Ernst-West,
Doron Puder,
Matan Seidel
Abstract:
Fix a finite field $K$ of order $q$ and a word $w$ in a free group $F$ on $r$ generators. A $w$-random element in $GL_N(K)$ is obtained by sampling $r$ independent uniformly random elements $g_1,\ldots,g_r\in GL_N(K)$ and evaluating $w\left(g_1,\ldots,g_r\right)$. Consider $\mathbb{E}_w\left[\mathrm{fix}\right]$, the average number of vectors in $K^{N}$ fixed by a $w$-random element. We show that…
▽ More
Fix a finite field $K$ of order $q$ and a word $w$ in a free group $F$ on $r$ generators. A $w$-random element in $GL_N(K)$ is obtained by sampling $r$ independent uniformly random elements $g_1,\ldots,g_r\in GL_N(K)$ and evaluating $w\left(g_1,\ldots,g_r\right)$. Consider $\mathbb{E}_w\left[\mathrm{fix}\right]$, the average number of vectors in $K^{N}$ fixed by a $w$-random element. We show that $\mathbb{E}_{w}\left[\mathrm{fix}\right]$ is a rational function in $q^{N}$. Moreover, if $w=u^{d}$ with $u$ a non-power, then the limit $\lim_{N\to\infty}\mathbb{E}_{w}\left[\mathrm{fix}\right]$ depends only on $d$ and not on $u$. These two phenomena generalize to all stable characters of the groups $\left\{ GL_N(K)\right\}_{N}$.
A main feature of this work is the connection we establish between word measures on $GL_N(K)$ and the free group algebra $K\left[F\right]$. A classical result of Cohn [1964] and Lewin [1969] is that every one-sided ideal of $K\left[F\right]$ is a free $K\left[F\right]$-module with a well-defined rank. We show that for $w$ a non-power, $\mathbb{E}_{w}\left[\mathrm{fix}\right]=2+\frac{C}{q^{N}}+O\left(\frac{1}{q^{2N}}\right)$, where $C$ is the number of rank-2 right ideals $I\le K\left[F\right]$ which contain $w-1$ but not as a basis element. We describe a full conjectural picture generalizing this result, featuring a new invariant we call the $q$-primitivity rank of $w$.
In the process, we prove several new results about free group algebras. For example, we show that if $T$ is any finite subtree of the Cayley graph of $F$, and $I\le K\left[F\right]$ is a right ideal with a generating set supported on $T$, then $I$ admits a basis supported on $T$. We also prove an analogue of Kaplansky's unit conjecture for certain $K\left[F\right]$-modules.
△ Less
Submitted 25 October, 2024; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Core Surfaces
Authors:
Michael Magee,
Doron Puder
Abstract:
Let $Γ_g$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We introduce a combinatorial structure of "core surfaces", that represent subgroups of $Γ_g$. These structures are (usually) 2-dimensional complexes, made up of vertices, labeled oriented edges, and $4g$-gons. They are compact whenever the corresponding subgroup is finitely generated. The theory of core…
▽ More
Let $Γ_g$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We introduce a combinatorial structure of "core surfaces", that represent subgroups of $Γ_g$. These structures are (usually) 2-dimensional complexes, made up of vertices, labeled oriented edges, and $4g$-gons. They are compact whenever the corresponding subgroup is finitely generated. The theory of core surfaces that we initiate here is analogous to the influential and fruitful theory of Stallings core graphs for subgroups of free groups.
△ Less
Submitted 20 June, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Word Measures on Symmetric Groups
Authors:
Liam Hanany,
Doron Puder
Abstract:
Fix a word $w$ in a free group $F$ on $r$ generators. A $w$-random permutation in the symmetric group $S_N$ is obtained by sampling $r$ independent uniformly random permutations $σ_{1},\ldots,σ_{r}\in S_{N}$ and evaluating $w\left(σ_{1},\ldots,σ_{r}\right)$. In [arXiv:1104.3991, arXiv:1202.3269] it was shown that the average number of fixed points in a $w$-random permutation is…
▽ More
Fix a word $w$ in a free group $F$ on $r$ generators. A $w$-random permutation in the symmetric group $S_N$ is obtained by sampling $r$ independent uniformly random permutations $σ_{1},\ldots,σ_{r}\in S_{N}$ and evaluating $w\left(σ_{1},\ldots,σ_{r}\right)$. In [arXiv:1104.3991, arXiv:1202.3269] it was shown that the average number of fixed points in a $w$-random permutation is $1+θ\left(N^{1-π\left(w\right)}\right)$, where $π\left(w\right)$ is the smallest rank of a subgroup $H\le F$ containing $w$ as a non-primitive element. We show that $π\left(w\right)$ plays a role in estimates of all stable characters of symmetric groups. In particular, we show that for all $t\ge2$, the average number of $t$-cycles is $\frac{1}{t}+O\left(N^{-π\left(w\right)}\right)$. As an application, we prove that for every $s$, every $\varepsilon>0$ and every large enough $r$, Schreier graphs with $r$ random generators depicting the action of $S_{N}$ on $s$-tuples, have second eigenvalue at most $2\sqrt{2r-1}+\varepsilon$ asymptotically almost surely. An important ingredient in this work is a systematic study of not-necessarily connected Stallings core graphs.
△ Less
Submitted 17 June, 2022; v1 submitted 2 September, 2020;
originally announced September 2020.
-
A Note on the Trace Method for Random Regular Graphs
Authors:
Joel Friedman,
Doron Puder
Abstract:
The main goal of this note is to illustrate the advantage of analyzing the non-backtracking spectrum of a regular graph rather than the ordinary spectrum. We show that by switching to non-backtracking spectrum, the method of proof used in [Puder 2015, arXiv::1212.5216] yields a bound of $2\sqrt{d-1}+\frac{2}{\sqrt{d-1}}$ instead of the original $2\sqrt{d-1}+1$ on the second largest eigenvalue of a…
▽ More
The main goal of this note is to illustrate the advantage of analyzing the non-backtracking spectrum of a regular graph rather than the ordinary spectrum. We show that by switching to non-backtracking spectrum, the method of proof used in [Puder 2015, arXiv::1212.5216] yields a bound of $2\sqrt{d-1}+\frac{2}{\sqrt{d-1}}$ instead of the original $2\sqrt{d-1}+1$ on the second largest eigenvalue of a random $d$-regular graph.
△ Less
Submitted 25 March, 2021; v1 submitted 24 June, 2020;
originally announced June 2020.
-
A random cover of a compact hyperbolic surface has relative spectral gap $\frac{3}{16}-\varepsilon$
Authors:
Michael Magee,
Frédéric Naud,
Doron Puder
Abstract:
Let $X$ be a compact connected hyperbolic surface, that is, a closed connected orientable smooth surface with a Riemannian metric of constant curvature -1. For each $n\in\mathbf{N}$, let $X_{n}$ be a random degree-$n$ cover of $X$ sampled uniformly from all degree-$n$ Riemannian covering spaces of $X$. An eigenvalue of $X$ or $X_{n}$ is an eigenvalue of the associated Laplacian operator $Δ_{X}$ or…
▽ More
Let $X$ be a compact connected hyperbolic surface, that is, a closed connected orientable smooth surface with a Riemannian metric of constant curvature -1. For each $n\in\mathbf{N}$, let $X_{n}$ be a random degree-$n$ cover of $X$ sampled uniformly from all degree-$n$ Riemannian covering spaces of $X$. An eigenvalue of $X$ or $X_{n}$ is an eigenvalue of the associated Laplacian operator $Δ_{X}$ or $Δ_{X_{n}}$. We say that an eigenvalue of $X_n$ is new if it occurs with greater multiplicity than in $X$. We prove that for any $\varepsilon>0$, with probability tending to 1 as $n\to\infty$, there are no new eigenvalues of $X_n$ below $\frac{3}{16}-\varepsilon$. We conjecture that the same result holds with $\frac{3}{16}$ replaced by $\frac{1}{4}$.
△ Less
Submitted 17 March, 2022; v1 submitted 24 March, 2020;
originally announced March 2020.
-
The Asymptotic Statistics of Random Covering Surfaces
Authors:
Michael Magee,
Doron Puder
Abstract:
Let $Γ_{g}$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We develop a new method for integrating over the representation space $\mathbb{X}_{g,n}=\mathrm{Hom}(Γ_{g},S_{n})$ where $S_{n}$ is the symmetric group of permutations of $\{1,\ldots,n\}$. Equivalently, this is the space of all vertex-labeled, $n$-sheeted covering spaces of the the closed surface of ge…
▽ More
Let $Γ_{g}$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We develop a new method for integrating over the representation space $\mathbb{X}_{g,n}=\mathrm{Hom}(Γ_{g},S_{n})$ where $S_{n}$ is the symmetric group of permutations of $\{1,\ldots,n\}$. Equivalently, this is the space of all vertex-labeled, $n$-sheeted covering spaces of the the closed surface of genus $g$.
Given $φ\in\mathbb{X}_{g,n}$ and $γ\inΓ_{g}$, we let $\mathsf{fix}_γ(φ)$ be the number of fixed points of the permutation $φ(γ)$. The function $\mathsf{fix}_γ$ is a special case of a natural family of functions on $\mathbb{X}_{g,n}$ called Wilson loops. Our new methodology leads to an asymptotic formula, as $n\to\infty$, for the expectation of $\mathsf{fix}_γ$ with respect to the uniform probability measure on $\mathbb{X}_{g,n}$, which is denoted by $\mathbb{E}_{g,n}[\mathsf{fix}_γ]$. We prove that if $γ\inΓ_{g}$ is not the identity, and $q$ is maximal such that $γ$ is a $q$th power in $Γ_{g}$, then \[ \mathbb{E}_{g,n}[\mathsf{fix}_γ]=d(q)+O(n^{-1}) \] as $n\to\infty$, where $d\left(q\right)$ is the number of divisors of $q$. Even the weaker corollary that $\mathbb{E}_{g,n}[\mathsf{fix}_γ]=o(n)$ as $n\to\infty$ is a new result of this paper. We also prove that if $γ$ is not the identity then $\mathbb{E}_{g,n}[\mathsf{fix}_γ]$ can be approximated to any order $O(n^{-M})$ by a polynomial in $n^{-1}$.
△ Less
Submitted 17 February, 2022; v1 submitted 12 March, 2020;
originally announced March 2020.
-
Some Orbits of Free Words that are Determined by Measures on Finite Groups
Authors:
Liam Hanany,
Chen Meiri,
Doron Puder
Abstract:
Every word in a free group $F$ induces a probability measure on every finite group in a natural manner. It is an open problem whether two words that induce the same measure on every finite group, necessarily belong to the same orbit of $\mathrm{Aut}F$. A special case of this problem, when one of the words is the primitive word $x$, was settled positively by the third author and Parzanchevski [arXi…
▽ More
Every word in a free group $F$ induces a probability measure on every finite group in a natural manner. It is an open problem whether two words that induce the same measure on every finite group, necessarily belong to the same orbit of $\mathrm{Aut}F$. A special case of this problem, when one of the words is the primitive word $x$, was settled positively by the third author and Parzanchevski [arXiv:1202.3269]. Here we extend this result to the case where one of the words is $x^d$ or $\left[x,y\right]^{d}$ for an arbitrary $d\in\mathbb{Z}$.
△ Less
Submitted 29 July, 2020; v1 submitted 10 August, 2019;
originally announced August 2019.
-
Automorphism-invariant positive definite functions on free groups
Authors:
Benoît Collins,
Michael Magee,
Doron Puder
Abstract:
In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new perspectives and interesting observations; therefore the style is expository.
In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new perspectives and interesting observations; therefore the style is expository.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
Matrix Group Integrals, Surfaces, and Mapping Class Groups II: $\mathrm{O}\left(n\right)$ and $\mathrm{Sp}\left(n\right)$
Authors:
Michael Magee,
Doron Puder
Abstract:
Let $w$ be a word in the free group on $r$ generators. The expected value of the trace of the word in $r$ independent Haar elements of $\mathrm{O}(n)$ gives a function ${\cal T}r_{w}^{\mathrm{O}}(n)$ of $n$. We show that ${\cal T}r_{w}^{\mathrm{O}}(n)$ has a convergent Laurent expansion at $n=\infty$ involving maps on surfaces and $L^{2}$-Euler characteristics of mapping class groups associated to…
▽ More
Let $w$ be a word in the free group on $r$ generators. The expected value of the trace of the word in $r$ independent Haar elements of $\mathrm{O}(n)$ gives a function ${\cal T}r_{w}^{\mathrm{O}}(n)$ of $n$. We show that ${\cal T}r_{w}^{\mathrm{O}}(n)$ has a convergent Laurent expansion at $n=\infty$ involving maps on surfaces and $L^{2}$-Euler characteristics of mapping class groups associated to these maps. This can be compared to known, by now classical, results for the GUE and GOE ensembles, and is similar to previous results concerning $\mathrm{U}\left(n\right)$, yet with some surprising twists.
A priori to our result, ${\cal T}r_{w}^{\mathrm{O}}(n)$ does not change if $w$ is replaced with $α(w)$ where $α$ is an automorphism of the free group. One main feature of the Laurent expansion we obtain is that its coefficients respect this symmetry under $\mathrm{Aut}(\mathrm{\mathbf{F}}_{r})$. As corollaries of our main theorem, we obtain a quantitative estimate on the rate of decay of ${\cal T}r_{w}^{\mathrm{O}}(n)$ as $n\to\infty$, we generalize a formula of Frobenius and Schur, and we obtain a universality result on random orthogonal matrices sampled according to words in free groups, generalizing a theorem of Diaconis and Shahshahani.
Our results are obtained more generally for a tuple of words $w_1,\ldots,w_\ell$, leading to functions ${\cal T}r_{w_{1},\ldots,w_{\ell}}^{\mathrm{O}}$. We also obtain all the analogous results for the compact symplectic groups $\mathrm{Sp}\left(n\right)$ through a rather mysterious duality formula.
△ Less
Submitted 25 December, 2022; v1 submitted 30 April, 2019;
originally announced April 2019.
-
Surface Words are Determined by Word Measures on Groups
Authors:
Michael Magee,
Doron Puder
Abstract:
Every word $w$ in a free group naturally induces a probability measure on every compact group $G$. For example, if $w=\left[x,y\right]$ is the commutator word, a random element sampled by the $w$-measure is given by the commutator $\left[g,h\right]$ of two independent, Haar-random elements of $G$. Back in 1896, Frobenius showed that if $G$ is a finite group and $ψ$ an irreducible character, then t…
▽ More
Every word $w$ in a free group naturally induces a probability measure on every compact group $G$. For example, if $w=\left[x,y\right]$ is the commutator word, a random element sampled by the $w$-measure is given by the commutator $\left[g,h\right]$ of two independent, Haar-random elements of $G$. Back in 1896, Frobenius showed that if $G$ is a finite group and $ψ$ an irreducible character, then the expected value of $ψ\left(\left[g,h\right]\right)$ is $\frac{1}{ψ\left(e\right)}$. This is true for any compact group, and completely determines the $\left[x,y\right]$-measure on these groups. An analogous result holds with the commutator word replaced by any surface word.
We prove a converse to this theorem: if $w$ induces the same measure as $\left[x,y\right]$ on every compact group, then, up to an automorphism of the free group, $w$ is equal to $\left[x,y\right]$. The same holds when $\left[x,y\right]$ is replaced by any surface word.
The proof relies on the analysis of word measures on unitary groups and on orthogonal groups, which appears in separate papers, and on new analysis of word measures on generalized symmetric groups that we develop here.
△ Less
Submitted 8 May, 2019; v1 submitted 13 February, 2019;
originally announced February 2019.
-
Aldous' Spectral Gap Conjecture for Normal Sets
Authors:
Ori Parzanchevski,
Doron Puder
Abstract:
Let $S_n$ denote the symmetric group on $n$ elements, and $Σ\subseteq S_{n}$ a symmetric subset of permutations. Aldous' spectral gap conjecture, proved by Caputo, Liggett and Richthammer [arXiv:0906.1238], states that if $Σ$ is a set of transpositions, then the second eigenvalue of the Cayley graph $\mathrm{Cay}\left(S_{n},Σ\right)$ is identical to the second eigenvalue of the Schreier graph on…
▽ More
Let $S_n$ denote the symmetric group on $n$ elements, and $Σ\subseteq S_{n}$ a symmetric subset of permutations. Aldous' spectral gap conjecture, proved by Caputo, Liggett and Richthammer [arXiv:0906.1238], states that if $Σ$ is a set of transpositions, then the second eigenvalue of the Cayley graph $\mathrm{Cay}\left(S_{n},Σ\right)$ is identical to the second eigenvalue of the Schreier graph on $n$ vertices depicting the action of $S_{n}$ on $\left\{ 1,\ldots,n\right\}$. Inspired by this seminal result, we study similar questions for other types of sets in $S_{n}$. Specifically, we consider normal sets: sets that are invariant under conjugation. Relying on character bounds due to Larsen and Shalev [2008], we show that for large enough $n$, if $Σ\subset S_{n}$ is a full conjugacy class, then the second eigenvalue of $\mathrm{Cay}\left(S_{n},Σ\right)$ is roughly identical to the second eigenvalue of the Schreier graph depicting the action of $S_{n}$ on ordered $4$-tuples of elements from $\left\{ 1,\ldots,n\right\}$. We further show that this type of result does not hold when $Σ$ is an arbitrary normal set, but a slightly weaker one does hold. We state a conjecture in the same spirit regarding an arbitrary symmetric set $Σ\subset S_{n}$, which yields surprisingly strong consequences.
△ Less
Submitted 26 July, 2020; v1 submitted 8 April, 2018;
originally announced April 2018.
-
Matrix Group Integrals, Surfaces, and Mapping Class Groups I: $U(n)$
Authors:
Michael Magee,
Doron Puder
Abstract:
Since the 1970's, physicists and mathematicians who study random matrices in the GUE or GOE models are aware of intriguing connections between integrals of such random matrices and enumeration of graphs on surfaces. We establish a new aspect of this theory: for random matrices sampled from the group $\mathcal{U}\left(n\right)$ of unitary matrices.
More concretely, we study measures induced by fr…
▽ More
Since the 1970's, physicists and mathematicians who study random matrices in the GUE or GOE models are aware of intriguing connections between integrals of such random matrices and enumeration of graphs on surfaces. We establish a new aspect of this theory: for random matrices sampled from the group $\mathcal{U}\left(n\right)$ of unitary matrices.
More concretely, we study measures induced by free words on $\mathcal{U}\left(n\right)$. Let $F_{r}$ be the free group on $r$ generators. To sample a random element from $\mathcal{U}\left(n\right)$ according to the measure induced by $w\in F_{r}$, one substitutes the $r$ letters in $w$ by $r$ independent, Haar-random elements from $\mathcal{U}\left(n\right)$. The main theme of this paper is that every moment of this measure is determined by families of pairs $\left(Σ,f\right)$, where $Σ$ is an orientable surface with boundary, and $f$ is a map from $Σ$ to the bouquet of $r$ circles, which sends the boundary components of $Σ$ to powers of $w$. A crucial role is then played by Euler characteristics of subgroups of the mapping class group of $Σ$.
As corollaries, we obtain asymptotic bounds on the moments, we show that the measure on $\mathcal{U}\left(n\right)$ bears information about the number of solutions to the equation $\left[u_{1},v_{1}\right]\cdots\left[u_{g},v_{g}\right]=w$ in the free group, and deduce that one can ``hear'' the stable commutator length of a word through its unitary word measures.
△ Less
Submitted 3 May, 2019; v1 submitted 13 February, 2018;
originally announced February 2018.
-
Asymptotics for a Class of Meandric Systems, via the Hasse Diagram of NC(n)
Authors:
I. P. Goulden,
Alexandru Nica,
Doron Puder
Abstract:
We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(π,ρ)\in NC(n)^2$ -- namely the ones where $π$ is con…
▽ More
We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(π,ρ)\in NC(n)^2$ -- namely the ones where $π$ is conditioned to be an interval partition -- for which it turns out to be tractable to study distances in the Hasse diagram. As a consequence, we observe a non-trivial class of meanders (i.e. connected meandric systems), which we call "meanders with shallow top", and which can be explicitly enumerated. Moreover, the expected number of components for a random "meandric system with shallow top", is asymptotically $(9n+28)/27$. Our calculations concerning expected number of components are related to the idea of taking the derivative at $t=1$ in a semigroup for the operation $\boxplus$ of free probability (but the underlying considerations are presented in a self-contained way, and can be followed without assuming a free probability background).
Let $c_{n}'$ denote the expected number of components of a general, unconditioned, meandric system of order $n$. A variation of the methods used in the shallow-top case allows us to prove that $\mathrm{lim\ inf}_{n\to\infty}c_{n}'/n\geq0.17$. We also note that, by a direct elementary argument, one has $\mathrm{lim\ sup}_{n\to\infty}c_{n}'/n\leq0.5$. These bounds support the conjecture that $c_{n}'$ follows a regime of "constant times $n$" (where numerical experiments suggest that the constant should be $\approx0.23$).
△ Less
Submitted 29 July, 2020; v1 submitted 17 August, 2017;
originally announced August 2017.
-
The Markoff Group of Transformations in Prime and Composite Moduli
Authors:
Chen Meiri,
Doron Puder,
Dan Carmon
Abstract:
The Markoff group of transformations is a group $Γ$ of affine integral morphisms, which is known to act transitively on the set of all positive integer solutions to the equation $x^{2}+y^{2}+z^{2}=xyz$. The fundamental strong approximation conjecture for the Markoff equation states that for every prime $p$, the group $Γ$ acts transitively on the set $X^{*}\left(p\right)$ of non-zero solutions to t…
▽ More
The Markoff group of transformations is a group $Γ$ of affine integral morphisms, which is known to act transitively on the set of all positive integer solutions to the equation $x^{2}+y^{2}+z^{2}=xyz$. The fundamental strong approximation conjecture for the Markoff equation states that for every prime $p$, the group $Γ$ acts transitively on the set $X^{*}\left(p\right)$ of non-zero solutions to the same equation over $\mathbb{Z}/p\mathbb{Z}$. Recently, Bourgain, Gamburd and Sarnak proved this conjecture for all primes outside a small exceptional set.
In the current paper, we study a group of permutations obtained by the action of $Γ$ on $X^{*}\left(p\right)$, and show that for most primes, it is the full symmetric or alternating group. We use this result to deduce that $Γ$ acts transitively also on the set of non-zero solutions in a big class of composite moduli.
Our result is also related to a well-known theorem of Gilman, stating that for any finite non-abelian simple group $G$ and $r\ge3$, the group $\mathrm{Aut}\left(F_{r}\right)$ acts on at least one $T_{r}$-system of $G$ as the alternating or symmetric group. In this language, our main result translates to that for most primes $p$, the group $\mathrm{Aut}\left(F_{2}\right)$ acts on a particular $T_{2}$-system of $\mathrm{PSL}\left(2,p\right)$ as the alternating or symmetric group.
△ Less
Submitted 16 October, 2017; v1 submitted 27 February, 2017;
originally announced February 2017.
-
Word Measures on Unitary Groups
Authors:
Michael Magee,
Doron Puder
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)$,…
▽ More
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 \ne 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\to\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.
△ Less
Submitted 31 January, 2016; v1 submitted 24 September, 2015;
originally announced September 2015.
-
Ramanujan Coverings of Graphs
Authors:
Chris Hall,
Doron Puder,
William F. Sawin
Abstract:
Let $G$ be a finite connected graph, and let $ρ$ be the spectral radius of its universal cover. For example, if $G$ is $k$-regular then $ρ=2\sqrt{k-1}$. We show that for every $r$, there is an $r$-covering (a.k.a. an $r$-lift) of $G$ where all the new eigenvalues are bounded from above by $ρ$. It follows that a bipartite Ramanujan graph has a Ramanujan $r$-covering for every $r$. This generalizes…
▽ More
Let $G$ be a finite connected graph, and let $ρ$ be the spectral radius of its universal cover. For example, if $G$ is $k$-regular then $ρ=2\sqrt{k-1}$. We show that for every $r$, there is an $r$-covering (a.k.a. an $r$-lift) of $G$ where all the new eigenvalues are bounded from above by $ρ$. It follows that a bipartite Ramanujan graph has a Ramanujan $r$-covering for every $r$. This generalizes the $r=2$ case due to Marcus, Spielman and Srivastava (2013).
Every $r$-covering of $G$ corresponds to a labeling of the edges of $G$ by elements of the symmetric group $S_{r}$. We generalize this notion to labeling the edges by elements of various groups and present a broader scenario where Ramanujan coverings are guaranteed to exist.
In particular, this shows the existence of richer families of bipartite Ramanujan graphs than was known before. Inspired by Marcus-Spielman-Srivastava, a crucial component of our proof is the existence of interlacing families of polynomials for complex reflection groups. The core argument of this component is taken from a recent paper of them (2015).
Another important ingredient of our proof is a new generalization of the matching polynomial of a graph. We define the $r$-th matching polynomial of $G$ to be the average matching polynomial of all $r$-coverings of $G$. We show this polynomial shares many properties with the original matching polynomial. For example, it is real rooted with all its roots inside $\left[-ρ,ρ\right]$.
△ Less
Submitted 3 December, 2017; v1 submitted 7 June, 2015;
originally announced June 2015.
-
Growth of Primitive Elements in Free Groups
Authors:
Doron Puder,
Conan Wu
Abstract:
In the free group $F_k$, an element is said to be primitive if it belongs to a free generating set. In this paper, we describe what a generic primitive element looks like. We prove that up to conjugation, a random primitive word of length $N$ contains one of the letters exactly once asymptotically almost surely (as $N \to \infty$).
This also solves a question from the list `Open problems in comb…
▽ More
In the free group $F_k$, an element is said to be primitive if it belongs to a free generating set. In this paper, we describe what a generic primitive element looks like. We prove that up to conjugation, a random primitive word of length $N$ contains one of the letters exactly once asymptotically almost surely (as $N \to \infty$).
This also solves a question from the list `Open problems in combinatorial group theory' [Baumslag-Myasnikov-Shpilrain 02']. Let $p_{k,N}$ be the number of primitive words of length $N$ in $F_k$. We show that for $k \ge 3$, the exponential growth rate of $p_{k,N}$ is $2k-3$. Our proof also works for giving the exact growth rate of the larger class of elements belonging to a proper free factor.
△ Less
Submitted 23 October, 2014; v1 submitted 30 April, 2013;
originally announced April 2013.
-
Expansion of Random Graphs: New Proofs, New Results
Authors:
Doron Puder
Abstract:
We present a new approach to showing that random graphs are nearly optimal expanders. This approach is based on recent deep results in combinatorial group theory. It applies to both regular and irregular random graphs.
Let G be a random d-regular graph on n vertices, and let λbe the largest absolute value of a non-trivial eigenvalue of its adjacency matrix. It was conjectured by Alon [86'] that…
▽ More
We present a new approach to showing that random graphs are nearly optimal expanders. This approach is based on recent deep results in combinatorial group theory. It applies to both regular and irregular random graphs.
Let G be a random d-regular graph on n vertices, and let λbe the largest absolute value of a non-trivial eigenvalue of its adjacency matrix. It was conjectured by Alon [86'] that a random d-regular graph is almost Ramanujan, in the following sense: for every e>0, λ<2\sqrt{d-1} + e asymptotically almost surely. Friedman famously presented a proof of this conjecture in [08']. Here we suggest a new, substantially simpler proof of a nearly-optimal result: we show that a random d-regular graph satisfies λ< 2\sqrt{d-1} + 1 a.a.s.
A main advantage of our approach is that it is applicable to a generalized conjecture: For d even, a d-regular graph on n vertices is an n-covering space of a bouquet of d/2 loops. More generally, fixing an arbitrary base graph H, we study the spectrum of G, a random n-covering of H. Let λbe the largest absolute value of a non-trivial eigenvalue of G. Extending Alon's conjecture to this more general model, Friedman [03'] conjectured that for every e>0, a.a.s. λ< ρ+e, where ρis the spectral radius of the universal cover of H. When H is regular we get a bound of ρ+0.84, and for an arbitrary H, we prove a nearly optimal upper bound of \sqrt{3}ρ. This is a substantial improvement upon all known results (by Friedman, Linial-Puder, Lubetzky-Sudakov-Vu and Addario-Berry-Griffiths).
△ Less
Submitted 20 August, 2015; v1 submitted 20 December, 2012;
originally announced December 2012.
-
Stallings Graphs, Algebraic Extensions and Primitive Elements in F2
Authors:
Ori Parzanchevski,
Doron Puder
Abstract:
This paper studies the free group of rank two from the point of view of Stallings core graphs. The first half of the paper examines primitive elements in this group, giving new and self-contained proofs for various known results about them. In particular, this includes the classification of bases of this group. The second half of the paper is devoted to constructing a counterexample to a conjectur…
▽ More
This paper studies the free group of rank two from the point of view of Stallings core graphs. The first half of the paper examines primitive elements in this group, giving new and self-contained proofs for various known results about them. In particular, this includes the classification of bases of this group. The second half of the paper is devoted to constructing a counterexample to a conjecture by Miasnikov, Ventura and Weil, which seeks to characterize algebraic extensions in free groups in terms of Stallings graphs.
△ Less
Submitted 24 October, 2012;
originally announced October 2012.
-
Measure Preserving Words are Primitive
Authors:
Doron Puder,
Ori Parzanchevski
Abstract:
We establish new characterizations of primitive elements and free factors in free groups, which are based on the distributions they induce on finite groups. For every finite group $G$, a word $w$ in the free group on $k$ generators induces a word map from $G^k$ to $G$. We say that $w$ is measure preserving with respect to $G$ if given uniform distribution on $G^k$, the image of this word map distr…
▽ More
We establish new characterizations of primitive elements and free factors in free groups, which are based on the distributions they induce on finite groups. For every finite group $G$, a word $w$ in the free group on $k$ generators induces a word map from $G^k$ to $G$. We say that $w$ is measure preserving with respect to $G$ if given uniform distribution on $G^k$, the image of this word map distributes uniformly on $G$. It is easy to see that primitive words (words which belong to some basis of the free group) are measure preserving w.r.t. all finite groups, and several authors have conjectured that the two properties are, in fact, equivalent. Here we prove this conjecture. The main ingredients of the proof include random coverings of Stallings graphs, algebraic extensions of free groups, and Möbius inversions. Our methods yield the stronger result that a subgroup of $F_k$ is measure preserving if and only if it is a free factor.
As an interesting corollary of this result we resolve a question on the profinite topology of free groups and show that the primitive elements of $F_k$ form a closed set in this topology.
△ Less
Submitted 23 October, 2014; v1 submitted 15 February, 2012;
originally announced February 2012.
-
Primitive Words, Free Factors and Measure Preservation
Authors:
Doron Puder
Abstract:
Let F_k be the free group on k generators. A word w \in F_k is called primitive if it belongs to some basis of F_k. We investigate two criteria for primitivity, and consider more generally, subgroups of F_k which are free factors.
The first criterion is graph-theoretic and uses Stallings core graphs: given subgroups of finite rank H \le J \le F_k we present a simple procedure to determine whethe…
▽ More
Let F_k be the free group on k generators. A word w \in F_k is called primitive if it belongs to some basis of F_k. We investigate two criteria for primitivity, and consider more generally, subgroups of F_k which are free factors.
The first criterion is graph-theoretic and uses Stallings core graphs: given subgroups of finite rank H \le J \le F_k we present a simple procedure to determine whether H is a free factor of J. This yields, in particular, a procedure to determine whether a given element in F_k is primitive.
Again let w \in F_k and consider the word map w:G x G x ... x G \to G (from the direct product of k copies of G to G), where G is an arbitrary finite group. We call w measure preserving if given uniform measure on G x G x ... x G, w induces uniform measure on G (for every finite G). This is the second criterion we investigate: it is not hard to see that primitivity implies measure preservation and it was conjectured that the two properties are equivalent. Our combinatorial approach to primitivity allows us to make progress on this problem and in particular prove the conjecture for k=2.
It was asked whether the primitive elements of F_k form a closed set in the profinite topology of free groups. Our results provide a positive answer for F_2.
△ Less
Submitted 20 December, 2012; v1 submitted 20 April, 2011;
originally announced April 2011.
-
On Primitive Words I: A New Algorithm
Authors:
Doron Puder
Abstract:
Let $F_k$ be the free group on $k$ generators, and let $H\le J\le \F_k$ be subgroups of finite rank. We present a new elementary algorithm to determine whether $H$ is a free factor of $J$. In particular, this algorithm can determine whether a given element $w\in F_k$ is primitive, i.e. whether it belongs to some basis of $F_k$.
Let $F_k$ be the free group on $k$ generators, and let $H\le J\le \F_k$ be subgroups of finite rank. We present a new elementary algorithm to determine whether $H$ is a free factor of $J$. In particular, this algorithm can determine whether a given element $w\in F_k$ is primitive, i.e. whether it belongs to some basis of $F_k$.
△ Less
Submitted 9 September, 2011; v1 submitted 21 March, 2011;
originally announced March 2011.
-
More on the phi = beta Conjecture and Eigenvalues of Random Graph Lifts
Authors:
Edward Lui,
Doron Puder
Abstract:
Let $G$ be a connected graph, and let $λ_1$ and $ρ$ denote the spectral radius of $G$ and the universal cover of $G$, respectively. In \cite{Fri03}, Friedman has shown that almost every $n$-lift of $G$ has all of its new eigenvalues bounded by $O(λ_1^{1/2}ρ^{1/2})$. In \cite{LP10}, Linial and Puder have improved this bound to $O(λ_1^{1/3}ρ^{2/3})$. Friedman had conjectured that this bound can actu…
▽ More
Let $G$ be a connected graph, and let $λ_1$ and $ρ$ denote the spectral radius of $G$ and the universal cover of $G$, respectively. In \cite{Fri03}, Friedman has shown that almost every $n$-lift of $G$ has all of its new eigenvalues bounded by $O(λ_1^{1/2}ρ^{1/2})$. In \cite{LP10}, Linial and Puder have improved this bound to $O(λ_1^{1/3}ρ^{2/3})$. Friedman had conjectured that this bound can actually be improved to $ρ+ o_n(1)$ (e.g., see \cite{Fri03,HLW06}).
In \cite{LP10}, Linial and Puder have formulated two new categorizations of formal words, namely $φ$ and $β$, which assign a non-negative integer or infinity to each word. They have shown that for every word $w$, $φ(w) = 0$ iff $β(w) = 0$, and $φ(w) = 1$ iff $β(w) = 1$. They have conjectured that $φ(w) = β(w)$ for every word $w$, and have run extensive numerical simulations that strongly suggest that this conjecture is true. This conjecture, if proven true, gives us a very promising approach to proving a slightly weaker version of Friedman's conjecture, namely the bound $O(ρ)$ on the new eigenvalues (see \cite{LP10}).
In this paper, we make further progress towards proving this important conjecture by showing that $φ(w) = 2$ iff $β(w) = 2$ for every word $w$.
△ Less
Submitted 27 November, 2010; v1 submitted 7 September, 2009;
originally announced September 2009.
-
Words Maps and Spectra of Random Graph Lifts
Authors:
Nati Linial,
Doron Puder
Abstract:
We begin with a new analysis of formal words. Let w be a formal word in letters g_1,...,g_k. The word map associated with w maps the permutations s_1,...,s_k in S_n to the permutation obtained by replacing for each i, every occurrence of g_i in w by s_i. We investigate the random variable X_w^n that counts the fixed points in this permutation when the s_i are selected uniformly at random. A majo…
▽ More
We begin with a new analysis of formal words. Let w be a formal word in letters g_1,...,g_k. The word map associated with w maps the permutations s_1,...,s_k in S_n to the permutation obtained by replacing for each i, every occurrence of g_i in w by s_i. We investigate the random variable X_w^n that counts the fixed points in this permutation when the s_i are selected uniformly at random. A major ingredient of our work is a new categorization of words which considerably extends the dichotomy of primitive vs. imprimitive words. We establish some results and make a few conjectures about the relation between the expectation E(X_w^n) and this new categorization.
This analysis contributes deeply to our study of the spectra of random lifts of graphs. Let G be a connected graph, and let the infinite tree T be its universal cover space. If L and R are the spectral radii of G and T respectively, then, as shown by J. Friedman, for almost every n-lift H of G, all "new" eigenvalues of H are < O(L^(1/2)R^(1/2)). We improve this upper bound to O(L^(1/3)R^(2/3)), and our aforementioned conjectures suggest a possible approach to proving an upper bound of O(R). This is a generalization of the problem of bounding the second eigenvalue in a random 2d-regular graph.
As an aside, we obtain a new conceptual and relatively simple proof of a theorem of A. Nica, which determines, for every fixed w, the limit distribution (as n \to \infty) of X_w^n. A surprising aspect of this theorem is that the answer depends only on the largest integer d so that w=u^d for some word u.
△ Less
Submitted 6 March, 2009; v1 submitted 11 June, 2008;
originally announced June 2008.
