In analytic number theory, there is a well known analogy between the prime factorisation of a large integer, and the cycle decomposition of a large permutation; this analogy is central to the topic of “anatomy of the integers”, as discussed for instance in this survey article of Granville. Consider for instance the following two parallel lists of facts (stated somewhat informally). Firstly, some facts about the prime factorisation of large integers:

• Every positive integer ${m}$ has a prime factorisation

$\displaystyle m = p_1 p_2 \dots p_r$

into (not necessarily distinct) primes ${p_1,\dots,p_r}$, which is unique up to rearrangement. Taking logarithms, we obtain a partition

$\displaystyle \log m = \log p_1 + \log p_2 + \dots + \log p_r$

of ${\log m}$.

• (Prime number theorem) A randomly selected integer ${m}$ of size ${m \sim N}$ will be prime with probability ${\approx \frac{1}{\log N}}$ when ${N}$ is large.
• If ${m \sim N}$ is a randomly selected large integer of size ${N}$, and ${p = p_i}$ is a randomly selected prime factor of ${m = p_1 \dots p_r}$ (with each index ${i}$ being chosen with probability ${\frac{\log p_i}{\log m}}$), then ${\log p_i}$ is approximately uniformly distributed between ${0}$ and ${\log N}$. (See Proposition 9 of this previous blog post.)
• The set of real numbers ${\{ \frac{\log p_i}{\log m}: i=1,\dots,r \}}$ arising from the prime factorisation ${m = p_1 \dots p_r}$ of a large random number ${m \sim N}$ converges (away from the origin, and in a suitable weak sense) to the Poisson-Dirichlet process in the limit ${N \rightarrow \infty}$. (See the previously mentioned blog post for a definition of the Poisson-Dirichlet process, and a proof of this claim.)

Now for the facts about the cycle decomposition of large permutations:

• Every permutation ${\sigma \in S_n}$ has a cycle decomposition

$\displaystyle \sigma = C_1 \dots C_r$

into disjoint cycles ${C_1,\dots,C_r}$, which is unique up to rearrangement, and where we count each fixed point of ${\sigma}$ as a cycle of length ${1}$. If ${|C_i|}$ is the length of the cycle ${C_i}$, we obtain a partition

$\displaystyle n = |C_1| + \dots + |C_r|$

of ${n}$.

• (Prime number theorem for permutations) A randomly selected permutation of ${S_n}$ will be an ${n}$-cycle with probability exactly ${1/n}$. (This was noted in this previous blog post.)
• If ${\sigma}$ is a random permutation in ${S_n}$, and ${C_i}$ is a randomly selected cycle of ${\sigma}$ (with each ${i}$ being selected with probability ${|C_i|/n}$), then ${|C_i|}$ is exactly uniformly distributed on ${\{1,\dots,n\}}$. (See Proposition 8 of this blog post.)
• The set of real numbers ${\{ \frac{|C_i|}{n} \}}$ arising from the cycle decomposition ${\sigma = C_1 \dots C_r}$ of a random permutation ${\sigma \in S_n}$ converges (in a suitable sense) to the Poisson-Dirichlet process in the limit ${n \rightarrow \infty}$. (Again, see this previous blog post for details.)

See this previous blog post (or the aforementioned article of Granville, or the Notices article of Arratia, Barbour, and Tavaré) for further exploration of the analogy between prime factorisation of integers and cycle decomposition of permutations.

There is however something unsatisfying about the analogy, in that it is not clear why there should be such a kinship between integer prime factorisation and permutation cycle decomposition. It turns out that the situation is clarified if one uses another fundamental analogy in number theory, namely the analogy between integers and polynomials ${P \in {\mathbf F}_q[T]}$ over a finite field ${{\mathbf F}_q}$, discussed for instance in this previous post; this is the simplest case of the more general function field analogy between number fields and function fields. Just as we restrict attention to positive integers when talking about prime factorisation, it will be reasonable to restrict attention to monic polynomials ${P}$. We then have another analogous list of facts, proven very similarly to the corresponding list of facts for the integers:

• Every monic polynomial ${f \in {\mathbf F}_q[T]}$ has a factorisation

$\displaystyle f = P_1 \dots P_r$

into irreducible monic polynomials ${P_1,\dots,P_r \in {\mathbf F}_q[T]}$, which is unique up to rearrangement. Taking degrees, we obtain a partition

$\displaystyle \hbox{deg} f = \hbox{deg} P_1 + \dots + \hbox{deg} P_r$

of ${\hbox{deg} f}$.

• (Prime number theorem for polynomials) A randomly selected monic polynomial ${f \in {\mathbf F}_q[T]}$ of degree ${n}$ will be irreducible with probability ${\approx \frac{1}{n}}$ when ${q}$ is fixed and ${n}$ is large.
• If ${f \in {\mathbf F}_q[T]}$ is a random monic polynomial of degree ${n}$, and ${P_i}$ is a random irreducible factor of ${f = P_1 \dots P_r}$ (with each ${i}$ selected with probability ${\hbox{deg} P_i / n}$), then ${\hbox{deg} P_i}$ is approximately uniformly distributed in ${\{1,\dots,n\}}$ when ${q}$ is fixed and ${n}$ is large.
• The set of real numbers ${\{ \hbox{deg} P_i / n \}}$ arising from the factorisation ${f = P_1 \dots P_r}$ of a randomly selected polynomial ${f \in {\mathbf F}_q[T]}$ of degree ${n}$ converges (in a suitable sense) to the Poisson-Dirichlet process when ${q}$ is fixed and ${n}$ is large.

The above list of facts addressed the large ${n}$ limit of the polynomial ring ${{\mathbf F}_q[T]}$, where the order ${q}$ of the field is held fixed, but the degrees of the polynomials go to infinity. This is the limit that is most closely analogous to the integers ${{\bf Z}}$. However, there is another interesting asymptotic limit of polynomial rings to consider, namely the large ${q}$ limit where it is now the degree ${n}$ that is held fixed, but the order ${q}$ of the field goes to infinity. Actually to simplify the exposition we will use the slightly more restrictive limit where the characteristic ${p}$ of the field goes to infinity (again keeping the degree ${n}$ fixed), although all of the results proven below for the large ${p}$ limit turn out to be true as well in the large ${q}$ limit.

The large ${q}$ (or large ${p}$) limit is technically a different limit than the large ${n}$ limit, but in practice the asymptotic statistics of the two limits often agree quite closely. For instance, here is the prime number theorem in the large ${q}$ limit:

Theorem 1 (Prime number theorem) The probability that a random monic polynomial ${f \in {\mathbf F}_q[T]}$ of degree ${n}$ is irreducible is ${\frac{1}{n}+o(1)}$ in the limit where ${n}$ is fixed and the characteristic ${p}$ goes to infinity.

Proof: There are ${q^n}$ monic polynomials ${f \in {\mathbf F}_q[T]}$ of degree ${n}$. If ${f}$ is irreducible, then the ${n}$ zeroes of ${f}$ are distinct and lie in the finite field ${{\mathbf F}_{q^n}}$, but do not lie in any proper subfield of that field. Conversely, every element ${\alpha}$ of ${{\mathbf F}_{q^n}}$ that does not lie in a proper subfield is the root of a unique monic polynomial in ${{\mathbf F}_q[T]}$ of degree ${f}$ (the minimal polynomial of ${\alpha}$). Since the union of all the proper subfields of ${{\mathbf F}_{q^n}}$ has size ${o(q^n)}$, the total number of irreducible polynomials of degree ${n}$ is thus ${\frac{q^n - o(q^n)}{n}}$, and the claim follows. $\Box$

Remark 2 The above argument and inclusion-exclusion in fact gives the well known exact formula ${\frac{1}{n} \sum_{d|n} \mu(\frac{n}{d}) q^d}$ for the number of irreducible monic polynomials of degree ${n}$.

Now we can give a precise connection between the cycle distribution of a random permutation, and (the large ${p}$ limit of) the irreducible factorisation of a polynomial, giving a (somewhat indirect, but still connected) link between permutation cycle decomposition and integer factorisation:

Theorem 3 The partition ${\{ \hbox{deg}(P_1), \dots, \hbox{deg}(P_r) \}}$ of a random monic polynomial ${f= P_1 \dots P_r\in {\mathbf F}_q[T]}$ of degree ${n}$ converges in distribution to the partition ${\{ |C_1|, \dots, |C_r|\}}$ of a random permutation ${\sigma = C_1 \dots C_r \in S_n}$ of length ${n}$, in the limit where ${n}$ is fixed and the characteristic ${p}$ goes to infinity.

We can quickly prove this theorem as follows. We first need a basic fact:

Lemma 4 (Most polynomials square-free in large ${q}$ limit) A random monic polynomial ${f \in {\mathbf F}_q[T]}$ of degree ${n}$ will be square-free with probability ${1-o(1)}$ when ${n}$ is fixed and ${q}$ (or ${p}$) goes to infinity. In a similar spirit, two randomly selected monic polynomials ${f,g}$ of degree ${n,m}$ will be coprime with probability ${1-o(1)}$ if ${n,m}$ are fixed and ${q}$ or ${p}$ goes to infinity.

Proof: For any polynomial ${g}$ of degree ${m}$, the probability that ${f}$ is divisible by ${g^2}$ is at most ${1/q^{2m}}$. Summing over all polynomials of degree ${1 \leq m \leq n/2}$, and using the union bound, we see that the probability that ${f}$ is not squarefree is at most ${\sum_{1 \leq m \leq n/2} \frac{q^m}{q^{2m}} = o(1)}$, giving the first claim. For the second, observe from the first claim (and the fact that ${fg}$ has only a bounded number of factors) that ${fg}$ is squarefree with probability ${1-o(1)}$, giving the claim. $\Box$

Now we can prove the theorem. Elementary combinatorics tells us that the probability of a random permutation ${\sigma \in S_n}$ consisting of ${c_k}$ cycles of length ${k}$ for ${k=1,\dots,r}$, where ${c_k}$ are nonnegative integers with ${\sum_{k=1}^r k c_k = n}$, is precisely

$\displaystyle \frac{1}{\prod_{k=1}^r c_k! k^{c_k}},$

since there are ${\prod_{k=1}^r c_k! k^{c_k}}$ ways to write a given tuple of cycles ${C_1,\dots,C_r}$ in cycle notation in nondecreasing order of length, and ${n!}$ ways to select the labels for the cycle notation. On the other hand, by Theorem 1 (and using Lemma 4 to isolate the small number of cases involving repeated factors) the number of monic polynomials of degree ${n}$ that are the product of ${c_k}$ irreducible polynomials of degree ${k}$ is

$\displaystyle \frac{1}{\prod_{k=1}^r c_k!} \prod_{k=1}^r ( (\frac{1}{k}+o(1)) q^k )^{c_k} + o( q^n )$

which simplifies to

$\displaystyle \frac{1+o(1)}{\prod_{k=1}^r c_k! k^{c_k}} q^n,$

and the claim follows.

This was a fairly short calculation, but it still doesn’t quite explain why there is such a link between the cycle decomposition ${\sigma = C_1 \dots C_r}$ of permutations and the factorisation ${f = P_1 \dots P_r}$ of a polynomial. One immediate thought might be to try to link the multiplication structure of permutations in ${S_n}$ with the multiplication structure of polynomials; however, these structures are too dissimilar to set up a convincing analogy. For instance, the multiplication law on polynomials is abelian and non-invertible, whilst the multiplication law on ${S_n}$ is (extremely) non-abelian but invertible. Also, the multiplication of a degree ${n}$ and a degree ${m}$ polynomial is a degree ${n+m}$ polynomial, whereas the group multiplication law on permutations does not take a permutation in ${S_n}$ and a permutation in ${S_m}$ and return a permutation in ${S_{n+m}}$.

I recently found (after some discussions with Ben Green) what I feel to be a satisfying conceptual (as opposed to computational) explanation of this link, which I will place below the fold.

To put cycle decomposition of permutations and factorisation of polynomials on an equal footing, we generalise the notion of a permutation ${\sigma \in S_n}$ to the notion of a partial permutation ${\sigma = (\sigma,S)}$ on a fixed (but possibly infinite) domain ${X}$, which consists of a finite non-empty subset ${S}$ of the set ${X}$, together with a bijection ${\sigma: S \rightarrow S}$ on ${S}$; I’ll call ${S}$ the support of the partial permutation. We say that a partial permutation ${\sigma}$ is of size ${n}$ if the support ${S}$ is of cardinality ${n}$, and denote this size as ${|\sigma|}$. And now we can introduce a multiplication law on partial permutations that is much closer to that of polynomials: if two partial permutations ${\sigma, \sigma'}$ on the same domain ${X}$ have disjoint supports ${S, S'}$, then we can form their disjoint union ${\sigma \uplus \sigma'}$, supported on ${S \cup S'}$, to be the bijection on ${S \cup S'}$ that agrees with ${\sigma}$ on ${S}$ and with ${\sigma'}$ on ${S'}$. Note that this is a commutative and associative operation (where it is defined), and is the disjoint union of a partial permutation of size ${n}$ and a partial permutation of size ${m}$ is a partial permutation of size ${n+m}$, so this operation is much closer in behaviour to the multiplication law on polynomials than the group law on ${S_n}$. There is the defect that the disjoint union operation is sometimes undefined (when the two partial permutations have overlapping support); but in the asymptotic regime where the size ${n}$ is fixed and the set ${X}$ is extremely large, this will be very rare (compare with Lemma 4).

Note that a partial permutation is irreducible with respect to disjoint union if and only if it is a cycle on its support, and every partial permutation ${\sigma}$ has a decomposition ${\sigma = C_1 \uplus \dots \uplus C_r}$ into such partial cycles, unique up to permutations. If one then selects some set ${{\mathcal P}}$ of partial cycles on the domain ${X}$ to serve as “generalised primes”, then one can define (in the spirit of Beurling integers) the set ${{\mathcal N}}$ of “generalised integers”, defined as those partial permutations that are the disjoint union ${\sigma = C_1 \uplus \dots \uplus C_r}$ of partial cycles in ${{\mathcal P}}$. If one lets ${{\mathcal N}_n}$ denote the set of generalised integers of size ${n}$, one can (assuming that this set is non-empty and finite) select a partial permutation ${\sigma}$ uniformly at random from ${{\mathcal N}_n}$, and consider the partition ${\{ |C_1|, \dots, |C_r| \}}$ of ${n}$ arising from the decomposition into generalised primes.

We can now embed both the cycle decomposition for (complete) permutations and the factorisation of polynomials into this common framework. We begin with the cycle decomposition for permutations. Let ${q}$ be a large natural number, and set the domain ${X}$ to be the set ${\{1,\dots,q\}}$. We define ${{\mathcal P}_n}$ to be the set of all partial cycles on ${X}$ of size ${n}$, and let ${{\mathcal P}}$ be the union of the ${{\mathcal P}_n}$, that is to say the set of all partial cycles on ${X}$ (of arbitrary size). Then ${{\mathcal N}}$ is of course the set of all partial permutations on ${X}$, and ${{\mathcal N}_n}$ is the set of all partial permutations on ${X}$ of size ${n}$. To generate an element of ${{\mathcal N}_n}$ uniformly at random for ${1 \leq n \leq q}$, one simply has to randomly select an ${n}$-element subset ${S}$ of ${X}$, and then form a random permutation of the ${n}$ elements of ${S}$. From this, it is obvious that the partition ${\{ |C_1|, \dots, |C_r|\}}$ of ${n}$ coming from a randomly chosen element of ${{\mathcal N}_n}$ has exactly the same distribution as the partition ${\{ |C_1|, \dots, |C_r|\}}$ of ${n}$ coming from a randomly chosen element of ${S_n}$, as long as ${q}$ is at least as large as ${n}$ of course.

Now we embed the factorisation of polynomials into the same framework. The domain ${X}$ is now taken to be the algebraic closure ${\overline{{\mathbf F}_q}}$ of ${{\mathbf F}_q}$, or equivalently the direct limit of the finite fields ${{\mathbf F}_{q^n}}$ (with the obvious inclusion maps). This domain has a fundamental bijection on it, the Frobenius map ${\hbox{Frob}: x \mapsto x^q}$, which is a field automorphism that has ${{\mathbf F}_q}$ as its fixed points. We define ${{\mathcal N}}$ to be the set of partial permutations on ${X}$ formed by restricting the Frobenius map ${\hbox{Frob}}$ to a finite Frobenius-invariant set. It is easy to see that the irreducible Frobenius-invariant sets (that is to say, the orbits of ${\hbox{Frob}}$) arise from taking an element ${x}$ of ${X}$ together with all of its Galois conjugates, and so if we define ${{\mathcal P}}$ to be the set of restrictions of Frobenius to a single such Galois orbit, then ${{\mathcal N}}$ are the generalised integers to the generalised primes ${{\mathcal P}}$ in the sense above. Next, observe that, when the characteristic ${p}$ is sufficiently large, every squarefree monic polynomial ${f \in {\mathbf F}_q[T]}$ of degree ${n}$ generates a generalised integer of size ${n}$, namely the restriction of the Frobenius map to the ${n}$ roots of ${f}$ (which will be necessarily distinct when the characteristic is large and ${f}$ is squarefree). This generalised integer will be a generalised prime precisely when ${f}$ is irreducible. Conversely, every generalised integer of size ${n}$ generates a squarefree monic polynomial in ${{\mathbf F}_q[T]}$, namely the product of ${T-x}$ as ${x}$ ranges over the support of the integer. This product is clearly monic, squarefree, and Frobenius-invariant, thus it lies in ${{\mathbf F}_q[T]}$. Thus we may identify ${{\mathcal N}_n}$ with the monic squarefree polynomials of ${{\mathbf F}_q}$ of degree ${n}$. With this identification, the (now partially defined) multiplication operation on monic squarefree polynomials coincides exactly with the disjoint union operation on partial permutations. As such, we see that the partition ${\{ \hbox{deg} P_1, \dots, \hbox{deg} P_r \}}$ associated to a randomly chosen squarefree monic polynomial ${f = P_1\dots P_r}$ of degree ${n}$ has exactly the same distribution as the partition ${\{ |C_1|, \dots, |C_r| \}}$ associated to a randomly chosen generalised integer ${\sigma = C_1 \uplus \dots \uplus C_r}$ of size ${n}$. By Lemma 4, one can drop the condition of being squarefree while only distorting the distribution by ${o(1)}$.

Now that we have placed cycle decomposition of permutations and factorisation of polynomials into the same framework, we can explain Theorem 3 as a consequence of the following universality result for generalised prime factorisations:

Theorem 5 (Universality) Let ${{\mathcal P}, {\mathcal N}}$ be collections of generalised primes and integers respectively on a domain ${X}$, all of which depend on some asymptotic parameter ${q}$ that goes to infinity. Suppose that for any fixed ${n,m}$ and ${q}$ going to infinity, the sets ${{\mathcal N}_n, {\mathcal N}_m, {\mathcal N}_{n+m}}$ are non-empty with cardinalities obeying the asymptotic

$\displaystyle |{\mathcal N}_{n+m}| = (1+o(1)) |{\mathcal N}_n| |{\mathcal N}_m|. \ \ \ \ \ (1)$

Also, suppose that only ${o( |{\mathcal N}_n| |{\mathcal N}_m|)}$ of the pairs ${(\sigma,\sigma') \in {\mathcal N}_n \times {\mathcal N}_m}$ have overlapping supports (informally, this means that ${\sigma \uplus \sigma'}$ is defined with probability ${1-o(1)}$). Then, for fixed ${n}$ and ${q}$ going to infinity, the distribution of the partition ${\{ |C_1|, \dots, |C_r|\}}$ of a random generalised integer from ${{\mathcal N}_n}$ is universal in the limit; that is to say, the limiting distribution does not depend on the precise choice of ${X, {\mathcal P}, {\mathcal N}}$.

Note that when ${{\mathcal N}_n}$ consists of all the partial permutations of size ${n}$ on ${\{1,\dots,q\}}$ we have

$\displaystyle |{\mathcal N}_n| = \binom{q}{n} n! = (1+o(1)) q^n$

while when ${{\mathcal N}_n}$ consists of the monic squarefree polynomials of degree ${n}$ in ${{\mathbf F}_q[T]}$ then from Lemma 4 we also have

$\displaystyle |{\mathcal N}_n| = (1+o(1)) q^n$

so in both cases the first hypothesis (1) is satisfied. The second hypothesis is easy to verify in the former case and follows from Lemma 4 in the latter case. Thus, Theorem 5 gives Theorem 3 as a corollary.

Remark 6 An alternate way to interpret Theorem 3 is as an equidistribution theorem: if one randomly labels the ${n}$ zeroes of a random degree ${n}$ polynomial as ${1,\dots,n}$, then the resulting permutation on ${1,\dots,n}$ induced by the Frobenius map is asymptotically equidistributed in the large ${q}$ (or large ${p}$) limit. This is the simplest case of a much more general (and deeper) result known as the Deligne equidistribution theorem, discussed for instance in this survey of Kowalski. See also this paper of Church, Ellenberg, and Farb concerning more precise asymptotics for the number of squarefree polynomials with a given cycle decomposition of Frobenius.

It remains to prove Theorem 5. The key is to establish an abstract form of the prime number theorem in this setting.

Theorem 7 (Prime number theorem) Let the hypotheses be as in Theorem 5. Then for fixed ${n}$ and ${q \rightarrow \infty}$, the density of ${{\mathcal P}_n}$ in ${{\mathcal N}_n}$ is ${\frac{1}{n}+o(1)}$. In particular, the asymptotic density ${1/n}$ is universal (it does not depend on the choice of ${X, {\mathcal P}_n, {\mathcal N}_n}$).

Proof: Let ${a_n := n |{\mathcal P}_n| / |{\mathcal N}_n|}$ (this may only be defined for ${q}$ sufficiently large depending on ${n}$); our task is to show that ${a_n = 1+o(1)}$ for each fixed ${n}$.

Consider the set of pairs ${(\sigma, x)}$ where ${\sigma}$ is an element of ${{\mathcal N}_n}$ and ${x}$ is an element of the support of ${\sigma}$. Clearly, the number of such pairs is ${n |{\mathcal N}_n|}$. On the other hand, given such a pair ${(\sigma,x)}$, there is a unique factorisation ${\sigma = C \uplus \sigma'}$, where ${C}$ is the generalised prime in the decomposition of ${\sigma}$ that contains ${x}$ in its support, and ${\sigma'}$ is formed from the remaining components of ${\sigma}$. ${C}$ has some size ${1 \leq m \leq n}$, ${\sigma'}$ has the complementary size ${n-m}$ and has disjoint support from ${C}$, and ${x}$ has to be one of the ${m}$ elements of the support of ${C}$. Conversely, if one selects ${1 \leq m \leq n}$, then selects a generalised prime ${C \in {\mathcal P}_m}$, and a generalised integer ${\sigma' \in {\mathcal C}_{n-m}}$ with disjoint support from ${C}$, and an element ${x}$ in the support of ${C}$, we recover the pair ${(\sigma,x)}$. Using the hypotheses of Theorem 5, we thus obtain the double counting identity

$\displaystyle n |{\mathcal N}_n| = \sum_{m=1}^n m |{\mathcal P}_m| |{\mathcal N}_{n-m}| - o( |{\mathcal N}_m| |{\mathcal N}_{n-m}| )$

$\displaystyle = (\sum_{m=1}^n a_m + o(1)) |{\mathcal N}_n|$

and thus ${\sum_{m=1}^n a_m = n+o(1)}$ for every fixed ${n}$, and so ${a_n = 1+o(1)}$ for fixed ${n}$ as claimed. $\Box$

Remark 8 One could cast this argument in a language more reminiscent of analytic number theory by forming generating series of ${{\mathcal N}_n}$ and ${{\mathcal P}_n}$ and treating these series as analogous to a zeta function and its log-derivative (in close analogy to what is done with Beurling primes), but we will not do so here.

We can now finish the proof of Theorem 5. To show asymptotic universality of the partition ${\{ |C_1|,\dots,|C_r|\}}$ of a random generalised integer ${\sigma \in {\mathcal N}_n}$, we may assume inductively that asymptotic universality has already been shown for all smaller choices of ${n}$. To generate a uniformly random generalised integer ${\sigma}$ of size ${n}$, we can repeat the process used to prove Theorem 7. It of course suffices to generate a uniformly random pair ${(\sigma,x)}$, where ${\sigma}$ is a generalised integer of size ${n}$ and ${x}$ is an element of the support of ${\sigma}$, since on dropping ${x}$ we would obtain a uniformly drawn ${\sigma}$.

To obtain the pair ${(\sigma,x)}$, we first select ${m \in \{1,\dots,n\}}$ uniformly at random, then select a generalised prime ${C}$ randomly from ${{\mathcal P}_m}$ and a generalised integer ${\sigma'}$ randomly from ${{\mathcal C}_{n-m}}$ (independently of ${C}$ once ${m}$ is fixed). Finally, we select ${x}$ uniformly at random from the support of ${C}$, and set ${\sigma := C \uplus \sigma'}$. The pair ${(\sigma,x)}$ is certainly a pair of the required form, but this random variable is not quite uniformly distributed amongst all such pairs. However, by repeating the calculations in Theorem 5 (and in particular relying on the conclusion ${a_m=1+o(1)}$), we see that this distribution is is within ${o(1)}$ of the uniform distribution in total variation norm. Thus, the distribution of the cycle partition ${\{ |C_1|,\dots,|C_r|\}}$ of a uniformly chosen ${\sigma}$ lies within ${o(1)}$ in total variation of the distribution of the cycle partition of a ${\sigma = C \uplus \sigma'}$ chosen by the above recipe. However, the cycle partition of ${\sigma = C \uplus \sigma'}$ is simply the union (with multiplicity) of ${\{m\}}$ with the cycle partition of ${\sigma'}$. As the latter was already assumed to be asymptotically universal, we conclude that the former is also, as required.

Remark 9 The above analysis helps explain why one could not easily link permutation cycle decomposition with integer factorisation – to produce permutations here with the right asymptotics we needed both the large ${q}$ limit and the Frobenius map, both of which are available in the function field setting but not in the number field setting.