---
abstract: 'The $k$-th moment of the mean empirical spectral distribution (ESD) of the squared unimodular random matrix of dimension $N$ can be expressed in the form $N^{-2k-1} Q_k(N)$, where $Q_k(x)$ is a polynomial of degree $k+1$ with integer coefficients. We use tools from traffic-free probability to express the coefficients of this polynomial in terms of the number of quotients, with a certain property, of some colored directed graphs. The obtained result disproves the formula conjectured in A. Lakshminarayan, Z. Puchala, K. Zyczkowski (2014).'
author:
- |
    Jorge Garza Vargas [^1]\
    UC Berkeley\
    garciastephen@example.com
---

\[section\] \[section\] \[section\] \[section\] \[section\] \[section\] \[section\] \[section\] \[section\] \[section\]

**Keywords:** Random Matrices, Non-Commutative Probability, Quantum Information Theory.

Introduction
============

For every positive integer $N$, define the unimodular random matrix $U_N$ as the random square matrix of dimension $N$ whose entries are i.i.d. complex random variables uniformly distributed on $\mathbb{T}$, the unitary circle in $\mathbb{C}$. Denote by $U_N^*$ the adjoint matrix of $U_N$ and define the squared unimodular random matrix by $$\rho_N := \frac{1}{N^2} U_NU_N^*.$$ The moments of the mean empirical spectral distribution of $\rho_N$, i.e. the set of values of the form $\mathbb{E}[\mathrm{tr}(\rho_N^k)]$, with $k$ a positive integer and $\mathrm{tr}$ denoting the normalized trace, were studied by Lakshminarayan, Puchala and Zyczkowski in @Arul in relation with problems in quantum information theory. This moments can be written as $N^{-2k-1}Q_k(N)$, where $Q_k(x)$ is a polynomial with integer coefficients of degree $k+1$. Here, we will calculate the injective traffic distribution of the unimodular ensemble and use it to derive an explicit formula for the coefficients of $Q_k(x)$ in terms of certain combinatorial numbers described in Section 3. In particular, this result disproves the following conjecture.

\[conj\] (@Arul) For $k$ and $N$ positive integers, it holds that $$\mathbb{E}[\mathrm{tr}(\rho_N^k)]  N^{-2k-1} \sum_{j=2}^{k+1} (-1)^{k-j+1}f_{k-1,k-j+1} N^{j},$$

where $f_{k,j} := \frac{1}{k+1} {{2k+2}\choose{k-j}} {{k+j}\choose {j}}$, are the elements of the Borel triangle.

We acknowledge that this research was motivated by the suggestion made by the first autor in @Arul, who communicated that the conjectured formula presented systematic deviations when doing simulations for values of $k$ beyond 5.

The traffic distribution method
===============================

The theory of traffic-free probability, introduced by Camille Male in @Maletraffics, was developed in the context of free probability and was motivated by the problem of studying the asymptotic freeness of permutation invariant families of matrices.

Formally, we will analyse the traffic distribution of $\rho_N$. This method can be simply thought as a generalization of the moment method. First we will need to define the notion of $K$-graph operation defined by Cébron, Dahlqvist and Male in @Cebron-Dahlqvist-Male. This concept was originally introduced in @Mingo-Speicher-Graphs by Mingo and Speicher as the notion of *graph of matrices*.

Let $K$ be a nonnegative integer. A $K$-graph operation is a directed connected graph (which may have loops and multiple edges) with $K$ ordered edges, and two distinguished vertices, which are named *input* and *output*, and will be denoted by $v_{\mathrm{in}}$ and $v_{\mathrm{out}}$ respectively. The input and the output may be the same.

Intuitively, each $K$-graph will work as a template to define a multilinear operation that takes $K$ square matrices of the same size and returns another square matrix of the same dimension. Given a $K$-graph $g=(V, E, v_{\mathrm{in}}, v_{\mathrm{out}})$ and random matrices $A_1, \dots, A_K$ of dimension $N$, we will denote by $Z_g(A_1\otimes \cdots \otimes A_K)$ the resulting random matrix of substituting, for $r=1, \dots, K$, each random matrix $A_r$ in the $r$-th edge of $g$, and define it as $$\label{defKop}
Z_g(A_1\otimes \cdots \otimes A_K) (i,j) := \sum_{\substack{\kappa : V \to [N]\\ \kappa(v_{\mathrm{in}})=j, \kappa(v_{\mathrm{out}})=i}} \prod_{r=1}^K A_r(\kappa(w_r), \kappa(v_r)),$$ where the $r$-th edge of $g$ goes from the vertex $v_r$ to the vertex $w_r$.

For example, if $g$ has vertices $v_0, v_1, \dots, v_K$, with $v_{\mathrm{in}}=v_0$ and $v_{\mathrm{out}}= v_K$, and edges $(v_0, v_1),$ $\dots, (v_{K-1}, v_K)$, then $Z_g(A_1\otimes \cdots \otimes A_K)$ is the usual product of matrices $A_KA_{K-1} \cdots A_1$. The set of all $K$-graph operations, with $K$ running over all nonnegative, is denoted by $\mathcal{G}$.

The traffic distribution of a family of random matrices $\textbf{A}= (A_i)_{i\in I}$, with $A_i$ of fixed dimension $d$, is the set of values of the form $$\mathbb{E}[\mathrm{tr}(Z_g(A_{i_1}^{\varepsilon_1} \otimes \cdots \otimes A_{i_K}^{\varepsilon_K}))],$$ where $g$ runs over all elements in $\mathcal{G}$, and for each $K$-graph, the indices $i_1, \dots, i_K$ are non necessarily distinct elements in $I$, while the $\varepsilon_i$ are elements in $\{1, \ast\}$. Note that in particular, the traffic distribution contains all the information of the mixed moments of the family $\textbf{A}$.

Given a $K$-graph operation $g=(V, E, v_{\mathrm{in}}, v_{\mathrm{out}})$, denote by $G=(V',E')$ the directed graph obtained by identifying the input and the output of $g$, and forgetting the *input* and *output* labels. Then, from <span>(\[defKop\])</span> we can see that $$\mathrm{tr}(Z_g(A_1\otimes \cdots \otimes A_K)) = \frac{1}{N} \sum_{\kappa: V' \to [N]} \prod_{r=1}^K A_r(\kappa(w_r'), \kappa(v_r')),$$ where the $v_r'$ and $w_r'$ are now vertices of $G$, and $(v_r', w_r')$ are the directed edges. Note that with this modification the sum on the right of the latter equation runs over all possible functions on the set of vertices. This observation allows us to restrict our analysis to directed graphs with ordered edges. For $G$ a directed connected graph, possibly with loops and multiple edges, with set of vertices $V$ and with $K$ ordered edges, $(v_1, w_1), \dots, (v_r, w_r)$, we denote $$\tau[G(A_1, \dots, A_K)] :=\frac{1}{N} \mathbb{E} \left[ \sum_{\kappa: V \to [N]} \prod_{r=1}^K A_r (\kappa(w_r), \kappa(v_r)) \right].$$ The function $\tau$ is called the traffic state in analogy with the theory of non-commutative probability. Note that the traffic distribution of a family of random matrices $\textbf{A}$ can also be thought as the set of values that $\tau$ takes when evaluated on all possible directed graphs in which elements of $\textbf{A}$ or $\textbf{A}^{\ast}$ are put in their edges in all possible ways. The injective version of the traffic state, introduced in @Maletraffics, is denoted by $\tau^0[\cdot]$ and is defined by $$\tau^{0}[G(A_1, \dots, A_K)]:=\frac{1}{N} \mathbb{E} \left[ \sum_{\substack{\kappa :V \to [N]\\ \kappa \text{ injective}}} \prod_{r=1}^K A_r(\kappa(w_r), \kappa(v_r)) \right].$$ A direct computation proves the following relation between the traffic state and the injective traffic state.

If $G=(V, E)$ is a directed graph with $K$ ordered edges and $A_1, \dots, A_K$ are $N\times N$ random matrices, then $$\tau [G(A_1, \dots, A_K)] = \sum_{\pi \in \mathcal{P}(V)}  \tau^0[G^{\pi}(A_1, \dots, A_K)],$$ where $\mathcal{P}(V)$ denotes the set of partitions of $V$ and for each $\pi \in \mathcal{P}(V)$, $G^\pi$ denotes the quotient graph induced by $\pi$, that is, $G^\pi$ is the graph obtained by taking $G$ and identifying all vertices that are in a same block in $\pi$, without erasing any edges.

In particular, note that if $A$ is a random matrix, $k$ is a positive integer, and $C_k$ is the directed cycle of $k$ vertices, we have that $$\label{decoftrace}
\mathbb{E}[\mathrm{tr}(A^k)] = \tau[C_k(A)]= \sum_{\pi \in \mathcal{P}(k)} \tau^0[C_k^{\pi}(A)],$$ where $C_k(A)$ is a shorthand notation for $C_k(A, \dots, A)$.

In Section 2.3 of @Cebron-Dahlqvist-Male, it is noted that, using the Möbius inversion formula, the traffic state can be retrieved from the injective traffic state. Hence, these two functionals posses essentially the same information, nervetheless, when working with random matrices, it is usually easier to compute the values of injective version of the traffic state, which is known as finding the injective traffic distribution of the given family of random matrices.

The formula
===========

Once we have equation <span>(\[decoftrace\])</span>, to find the wanted formula it will be enough to study for every $k$ and every $\pi \in \mathcal{P}(k)$, the value of $\tau^0[C_k^{\pi}(\rho_N)]$. To do this we will study the injective traffic distribution of the unitary ensemble $U_N$. The latter is possible do to the fact that the mixed moments of the uniform probability measure on $\mathbb{T}$ have a nice formula. Explicitly, for $k$ and $l$ non negative integers $$\label{moments}
\frac{1}{2\pi}\int_{\mathbb{T}} z^{k} \overline{z}^l dz = \delta_{kl}.$$

Let $G=(V,E)$ be a directed connected graph. To every edge $e\in E$ we will assign either $U_N$ or $U_N^*$. Fix a labeling of this sort and denote it by $G(U_N, U_N^*)$. Given $G(U_N, U_N^*)$, let $c:E\to \{\text{red},\text{blue}\}$, be the coloring of $G$ such that $c(e)=\text{red}$ if $e$ is labeled with $U_N$ and $c(e)=\text{blue}$ if $e$ is labeled with $U_N^*$. Let $E_1=\{e\in E: c(e)=\text{red}\}$ and $E_2=\{e\in E: c(e)=\text{blue}\}$. Denote by $\hat{G}(U_N, U_N^*)$ the resulting colored graph.

(-1.150069508506187,1.515490504884702)(10.55807888747329,3.6520927006487005) (-0.5754069700607644,2.1485782891127525)<span>0.1</span> (1.4245930299392353,2.1485782891127525)<span>0.1</span> (3.424593029939236,2.1485782891127525)<span>0.1</span> (2.4245930299392353,3.1485782891127525)<span>0.1</span> (-0.5754069700607644,2.248578289112753)(1.3645876831703316,2.247219736684062) (1.4245930299392353,2.048578289112752)(-0.5134963481544288,2.048407911796803) (1.4921040854464376,2.2223499461654685)(2.33789951264774,3.0647350238863167) (3.3245930299392357,2.1485782891127525)(1.547553265520604,2.1493770914428523) (5.224593029939234,2.1485782891127525)<span>0.1</span> (7.224593029939236,2.1485782891127525)<span>0.1</span> (9.224593029939237,2.1485782891127525)<span>0.1</span> (8.224593029939236,3.1485782891127525)<span>0.1</span> (5.224593029939234,2.248578289112753)(7.164587683170332,2.247219736684062) (7.224593029939236,2.048578289112752)(5.286503651845571,2.048407911796803) (7.292104085446439,2.222349946165467)(8.137899512647742,3.0647350238863167) (9.124593029939238,2.1485782891127525)(7.347553265520601,2.1493770914428523) (0.37145023696211354,2.680909884392338)<span>$U_N^*$</span> (2.3080524327261102,2.5622097624054487)<span>$U_N^*$</span> (4.007990337833158,2.519046081682944)<span>$U_N^*$</span> (0.3174956360589823,1.866183542772674)<span>$U_N$</span> (1.3908242173728795,2.883055649449873)<span>$U_N$</span> (3.5345462863189576,2.3912781838167176)(3.4299511277512162,2.2484346398764243) (9.338315969687383,2.3940752063706405)(9.229951127751216,2.2484346398764115)

Denote by $\tau^0[G(U_N, U_N^*)]$ the value of the injective traffic state evaluated on $G$ with the fixed choice of assignments of $U_N$ and $U_N^*$ to the edges. We have $$\label{traffdistU}
\tau^0[G(U_N, U_N^*)]= \frac{1}{N} \sum_{\substack{\kappa :V \to [N]\\ \kappa \text{ injective}}} \mathbb{E}\left[ \prod_{(u,v)\in E_1} U_N(\kappa(v), \kappa(u)) \prod_{(r, s)\in E_2} \overline{U_N(\kappa(r), \kappa(s))} \right].$$

Note that since the expectation of the product of independent random variables factorizes, by <span>(\[moments\])</span> each term in the sum in the right of <span>(\[traffdistU\])</span> is either 0 or 1. Now we will characterize those terms that do not vanish in terms of the structure of $G$ and the coloring $c$, for this we need the next definition.

A connected directed graph colored in red and blue is called a **double directed colored graph (d.d.c.g.)**, if for every $u, v \in V$, not necessarily distinct, the number of red edges going from $u$ to $v$ is equal to the number of blue edges going from $v$ to $u$. We will denote the family of d.d.c.g's by $\mathcal{D}$.

(2.3558370121937435,-1.3615470970400518)(16.82816463602887,2.791946032670507) (-2.,2.4641016151377557)<span>0.09836262875318949</span> (0.,2.4641016151377553)<span>0.09670872187124512</span> (1.,0.7320508075688774)<span>0.09759296348517955</span> (0.,-1.)<span>0.1</span> (-2.,-1.)<span>0.1</span> (-3.,0.732050807568879)<span>0.1003207474366654</span> (4.927781356839965,2.5042230835599977)<span>0.09836262875318856</span> (7.927781356839964,0.7721722759911196)<span>0.09759296348518111</span> (4.927781356839964,-0.9598785315777578)<span>0.1</span> (6.,0.7320508075688774)<span>0.09912084741145608</span> (-1.90249676408703,2.4511275748365398)(-0.09612428055020428,2.453485609548297) (0.06988202916291382,2.397250445469278)(0.9383275722856385,0.8076874268854257) (0.964312907900916,0.6412167942295391)(0.054255243755362725,-0.915997806427176) (-0.099630188238299,-1.0085921820046546)(-1.90057671059922,-1.010724249378336) (-2.093597736422374,-0.9647939815286102)(-2.9599481060278943,0.6400720156899986) (-2.9792010327377914,0.8301918047468004)(-2.0566766644061754,2.3837090629514526) (5.019697494226831,2.53924636757387)(6.06723914849081,0.8217124337338908) (5.904183041215201,0.7574290029498949)(4.873209882867254,2.391212478368995) (4.844919183283536,-0.9038976402530898)(5.868198257539013,0.6938199575398962) (6.053035634463368,0.6483121434486915)(5.056371421970577,-0.9661164771977976) (6.06723914849081,0.8217124337338907)(7.827467491983496,0.8570923937436039) (7.931475806877554,0.6746492655743997)(6.053035634463368,0.6483121434486915) (10.,0.7)<span>0.1</span> (12.,0.7)<span>0.1</span> (14.,0.7)<span>0.1</span> (14.,0.8)(12.070186659442916,0.7983671480442277) (14.,0.6)(12.070186659442916,0.6012721613954357) (13.941136238280428,0.8555863683258547)(14.,0.8) (13.950430688777374,0.5527743768269571)(14.,0.6) (10.,0.8)(11.9090383708087,0.8013567315269511) (10.,0.6)(11.91357583949248,0.6017081094406034) (13.83224735307488,0.9434003425309341)(14.,0.8) (13.789707259154389,0.42681525545255083)(14.,0.6) (9.819144979642351,1.0939794296359572)<span>$u$</span> (11.809360437628646,1.0939794296359572)<span>$v$</span>

Let $\kappa: V \to [N]$ be injective. Then $$\label{eqexpectation}
\mathbb{E}\left[ \prod_{(u,v)\in E_1} U_N(\kappa(v), \kappa(u)) \prod_{(r, s)\in E_2} \overline{U_N(\kappa(r), \kappa(s))} \right]\neq 0,$$ if and only if the resulting colored graph $\hat{G}(U_N, U_N^*)=(V, E, c)$ is in $\mathcal{D}.$

Since $\kappa$ is injective, for any $\{u, v\}$ and $\{r,s\}$ different sets of vertices, the sets $\{\kappa(u),\kappa(v)\}$ and $\{\kappa(r), \kappa(s)\}$ are different. In this case, given that the entries of $U_N$ are independent, $U_N^{\varepsilon_1}(\kappa(u),\kappa(v))$ and $U_N^{\varepsilon_2}(\kappa(r), \kappa(s))$ are independent random variables, for any $\varepsilon_1, \varepsilon_2 \in \{1, \ast\}$.

Hence, edges with different endpoints contribute with independent random variables in the product in <span>(\[eqexpectation\])</span>. Moreover, since $U_N(i,j)$ and $U_N^*(k,l)$ are only dependent if $i=l$ and $j=k$, we will have that edges with the same endpoints contribute with dependent random variables only if they go in the same direction and are of the same color, or if they go in opposite directions and are of different colors. Hence, the left side of <span>(\[eqexpectation\])</span> factorizes in the following way $$\prod_{u , v\in V}\mathbb{E}\left[ U_N(\kappa(v), \kappa(u))^{d_1(u,v)} \overline{U_N}(\kappa(u), \kappa(v))^{d_2(v,u)}\right],$$ where $d_1(u,v)$ denotes the number of red edges going from $u$ to $v$ and $d_2(v,u)$ the number of blue edges going from $v$ to $u$. By <span>(\[moments\])</span>, the latter product is different from zero only if for every $u$ and $v$, not necessarily distinct, it is satisfied that $d_1(u,v) = d_2(v,u)$, in which case the product equals to $1$. Now note that the condition $d_1(u,v) = d_2(v,u)$ for every $u, v \in V$ translates into the condition $\hat{G}(U_N, U_N^*) \in \mathcal{D}$.

Combining <span>(\[traffdistU\])</span> with the previous lemma one sees that $$\tau^0[G(U_N, U_N^*)]= \frac{1}{N} \sum_{\substack{\kappa :V \to [N]\\ \kappa \text{ injective}}}  \mathbbm{1}_{\{ \hat{G}(U_N, U_N^*) \in \mathcal{D}\}}= \begin{cases} \frac{(N)_{|V|}}{N} & \text{if } \hat{G}(U_N, U_N^*) \in \mathcal{D},  \\
0 & \text{otherwise.}
\end{cases}$$ where, for $j$ a positive integer, $(N)_j:= N(N-1)\cdots(N-j+1)$ denotes the Pochhammer symbol.

Now note that if $C_k$ is the directed cycle with $k$ edges and $\rho_N$ is the squared unimodular matrix, then $\tau[C_k(\rho_N)] = N^{-2k} \tau[C_{2k}(U_N, U_N^*)]$, where the labeling $C_{2k}(U_N, U_N^*)$ alternates between $U_N$ and $U_N^*$, i.e. the resulting colored graph $\widehat{C_{2k}}(U_N, U_N^*)$ alternates between red and blue. From the characterization of the injective traffic distribution obtained before we get that $$\tau[C_{2k}(U_N, U_N^*)] = \frac{1}{N} \sum_{\pi \in \mathcal{P}(2k) } \mathbbm{1}_{\{\widehat{C_{2k}^{\pi}}(U_N, U_N^*)\in \mathcal{D}\}} (N)_{|\pi|}.$$ Denote by $\mathcal{F}(2k, j)$ the number of partitions $\pi \in \mathcal{P}(2k)$ with $j$ blocks and such that $\widehat{C_{2k}^{\pi}}\in \mathcal{D}$. Since $C_{2k}$ has $2k$ edges, if $|\pi| > k+1$, then $\widehat{C_{2k}^{\pi}}$ can not be a d.d.c.g., so $\mathcal{F}(2k, j) =0$ for all $j > k+1$. From what we have developed until now it follows that $$\label{formulapochhammer}
\mathbb{E}[\mathrm{tr}(\rho_N^k)] = \tau[C_{2k}(U_N, U_N^*)] = N^{-2k-1} \sum_{j=1}^{k+1} \mathcal{F}(2k, j)(N)_j.$$

The Pochhammer symbols and the change of basis
----------------------------------------------

The formula that we have provided for $N^{2k+1}\mathbb{E}[\mathrm{tr}(\rho_N^k)]$ is clearly a polynomial in $N$, nevertheless, it is not clear what its coefficients are, which, for example, makes it difficult to compare to the conjecture made in @Arul.

In traffic-free probability, the Pochhammer symbols appear frequently, so it is convenient to be able to go from the Pochhammer symbols to the monomials of the form $N^k$ and vice versa. More precisely, the family of polynomials $\{(x)_{j}\}_{j=0}^{\infty}$, where $(x)_0:=1$, form a basis for the space of polynomials. Below we will provide the formulas to change from the Pochhammer symbols basis to the usual basis $\{x^j\}_{j=1}^\infty$ and to do the reverse process as well.

We will denote the $k$-th symmetric elementary polynomial in $n$ variables by $e_k(x_1, \dots, x_n)$, i.e. $$e_k(x_1, \dots, x_n) := \sum_{1\leq j_1 < j_2 < \cdots < j_k\leq n} x_{j_1}\cdots x_{j_k},$$ when $1\leq k\leq n$, and define $e_0(x_1, \dots, x_n):=1$ and $e_k(x_1, \dots, x_n) = 0$ for $k > n$. Using the Vieta relations, for $k>0$ we get that $$(x)_k = \sum_{j=1}^k (-1)^{k-j} e_{k-j}(1, \dots, k-1)x^j,$$ which yields the following result.

\[cambioPoch-Usual\] If $\sum_{j=1}^n a_j x^j = \sum_{j=1}^n b_j(x)_j$ then $a_j = \sum_{k=j}^n (-1)^{k-j}e_{k-j}(1, \dots, k-1) b_k$ for every $j=1, \dots, n$.

To change from the usual basis to the Pochhammer basis we will use the following well known combinatorial identity $$N^k = \sum_{j=1}^k {{ k\brace j}} (N)_j,$$ where the numbers ${{ k\brace j}}$ are the Stirling numbers of the second kind, which denote the number of partitions with $j$ blocks of a set with $k$ elements. This equality can easily be proven by a double counting argument for every positive integer $N$. Since it is valid for an infinite number of values it also holds as an equality of polynomials, yielding the following result.

\[cambioUsual-Poch\] If $\sum_{j=1}^n a_j x^j = \sum_{j=1}^n b_j(x)_j$ then $b_j = \sum_{k=j}^n {{ k\brace j}}a_k$, for every $j=1, \dots, n$.

If we assume that the Conjecture \[conj\] is true, we get the following equality for every positive integers $k$ and $N$ $$\sum_{j=1}^{k+1} \mathcal{F}(2k, j)(N)_j = \sum_{j=2}^{k+1} (-1)^{k-j+1}f_{k-1,k-j+1} N^{j},$$ using Lemma \[cambioUsual-Poch\] we get that the latter is equivalent to $$\label{conjforG}
\mathcal{F}(2k, j) = \sum_{r=j}^{k+1} (-1)^{k-r+1} {{ r\brace j}}f_{k-1, k-r+1}.$$ The above formula turns out to be true for all $j$ when $k\leq 5$. Making use of a computer to do the calculations, for $k=6$ and $j=3$, we obtained that the right hand side is 10988 while $\mathcal{F}(6,3)$ is actually 11000. This disproves the conjecture.

On the other hand, we can use Lemma \[cambioPoch-Usual\] to obtain a formula in the usual basis, yielding the following theorem.

\[theorem\] For every $k$ and $N$ positive integers we have that $\mathbb{E}[\mathrm{tr}(\rho_N^k)] = N^{-2k-1} \sum_{j=1}^{k+1} a_j N^j$, where $$\label{formulafinal}
a_j= \sum_{r=j}^{k+1} (-1)^{r-j}e_{r-j}(1, \dots, k) \mathcal{F}(2k, j).$$

Final remarks
=============

We used a computer to calculate the values of $\mathcal{F}(2k, j)$. Since the conjecture was based in the first four values of $k$, it is not a surprise that equation <span>(\[conjforG\])</span> holds for all $j$ when $k\leq 4$. However, it was surprising that it also turned out to be true when $k=5$, but not true in general for greater values of $k$. It is also worth remarking how small is the error of the proposed formula for $\mathcal{F}(2k, j)$ when $k$ is small and that in fact it is always true for the cases $\mathcal{F}(2k, 1), \mathcal{F}(2k, 2)$ and $\mathcal{F}(2k, k+1)$ [^2].

In this article we append two tables; one of them presenting the values of $\mathcal{F}(2k, j)$ for all $1\leq k \leq 11$ and all $1\leq j \leq k+1$, the other table presents the respective values of the right hand side of <span>(\[conjforG\])</span>. We believe that the right hand side of <span>(\[conjforG\])</span> is actually counting a proper subfamily of the partitions whose associated quotient is a d.d.c.g., this is supported by the fact that the proposed formula has been always seen to be less or equal than $\mathcal{F}(2k, j)$. When there are few blocks, say one or two, or when they are too many, say $k+1$ or $k$, the partitions whose associated quotient is a d.d.c.g. have a very ordered structure. On the other hand, when there are more than two blocks, but not too many, and we have enough vertices, i.e. $k$ is big, the partitions that satisfy the wanted property have no particular garciastephen@example.com. We think that it is in this case when "rare" partitions appear that are not counted by the proposed formula.

Below we show the explicit coefficients in the formula <span>(\[formulafinal\])</span> when $k=6$ and $k=7$. $$N^{13}\mathbb{E}[\mathrm{tr}(\rho_N^6)] = 132 N^{7}-495 N^{6}+772 N^5- 624 N^4 +262 N^3 - 46 N^2.$$ $$N^{15}\mathbb{E}[\mathrm{tr}(\rho_N^7)]= 429 N^8 - 2002 N^7 + 4039 N^6 -4550 N^5 + 3073 N^4 -1204 N^3 + 216 N^2.$$

Finally, we warn the reader that several attempts were made, using the On-line Encyclopedia of Integer Sequences, to find explicit formulas for the numbers $\mathcal{F}(2k, j)$ with $j$ different from 1, 2, $k$ and $k+1$, and to find formulas for the coefficients given in Theorem \[theorem\] for the monomials $N^j$ with $j$ different from 0, 1, $k$ and $k+1$ . It was not even possible to arrive to a conjecture, making us believe that there is no "nice" general formula for the numbers $\mathcal{F}(2k,j)$ nor for the moments of the mean ESD of $\rho_N$.

Acknowledgements {#acknowledgements .unnumbered}
================

I thank Octavio Arizmendi for introducing me to traffic-free probability and for his valuable comments on this work. I also thank Jorge Fernandez for providing the code to do the computer calculations of the formulas above. Finally, I thank Daniel Perales for providing a nice and simple proof for the equality $\mathcal{F}(2k, 2) = {{2k}\choose{k}}-1$.

<span>99</span>

G. Cèbron, A. Dahlqvist, C. Male: *Universal constructions for spaces of traffics*, arXiv: 1601.00168 (2015).

C. Francisco, J. Mermin, J. Schweing: *Catalan numbers, binary trees, and pointed pseudotriangulations*, European Journal of Combinatorics, **45**, 85, (2015).

A. Lakshminarayan, Z. Puchala, K. Zyczkowski: *Diagonal unitary entangling gates and contradiagonal quantum states*, Physical Review A, **90**, 032303 (2014).

C. Male: *Traffic distributions and independence: permutation invariant random matrices and the three notions of independence*, arXiv: 1111.4662 (2017).

J. A. Mingo, R. Speicher: *Sharp bounds for sums associated to graphs of matrices*, Journal of Functional Analysis, **262**, 2272 (2012).

[^1]: This work was supported by CONACYT Grant 222668 and by CIMAT's (Center for Research in Mathematics, Guanajuato) scholarship for bachelor's thesis.

[^2]: It is trivial that $\mathcal{F}(2k,1)=1$, on the other hand, using the series expansion definition of $f_{k,j}$ given in @Francisco (Definition 2.2), it can be shown directly that the right hand of <span>(\[conjforG\])</span> is 1 when $j=1$, showing that formula <span>(\[conjforG\])</span> holds for $j=1$. With less ease, but with elementary combinatorial methods it can be shown that $\mathcal{F}(2k, k+1) = \frac{1}{k+1}{{2k}\choose{k}}$ and that $\mathcal{F}(2k, 2) = {{2k}\choose{k}}-1$. The latter equation, together with equation <span>(\[formulapochhammer\])</span> yields that when $N=2$ the $k$-th momment of the ESD of the squarred unimodular matrix is $2^{-2k-1}{{2k}\choose{k}}$, confirming that in this case, the ESD is the arcsine distribution supported in $[0,2]$.

{'source': 'arXiv_out/1709'}