Free Multiplicative Convolution and Erlang Moments in Monitored Quantum Transport

Resumen Técnico: Convolución Multiplicativa Libre y Momentos de Erlang en el Transporte Cuántico Monitoreado

Planteamiento del Problema
El artículo investiga las propiedades estadísticas de los autovalores de transmisión en un modelo de transporte cuántico monitoreado. Específicamente, analiza el espectro de la matriz $B_L^\dagger B_L$, donde $B_L = (PS_L)(PS_{L-1})\cdots(PS_1)$. Aquí, $S_1, \dots, S_L$ son matrices unitarias independientes distribuidas según la medida de Haar en $U(N)$, y $P$ es una proyección ortogonal determinista de rango $M = (1-c)N$. Los autovalores de $B_L^\dagger B_L$ representan los autovalores de transmisión del sistema, los cuales determinan la estadística completa de conteo de la carga transferida.

Un trabajo previo de Beenakker y Chen estableció que los momentos de transmisión promediados satisfacen una recursión que involucra sumas exponenciales finitas que asemejan la fórmula de Erlang B. Sin embargo, el origen probablistico libre de estas estructuras de tipo Erlang permanecía sin explicar. Este artículo tiene como objetivo derivar estos momentos y la distribución espectral límite utilizando el marco de la convolución multiplicativa libre, cerrando la brecha entre los productos de matrices aleatorias y las estructuras combinatorias específicas observadas en el modelo de transporte monitoreado.

Metodología
El análisis procede a través de tres regímenes asintóticos distintos y herramientas matemáticas:

1. Límite de Longitud Fija ($N \to \infty$, $L$ fijo):
   El artículo utiliza el teorema de freeness asintótica estándar para matrices deterministas y conjugados de Haar independientes. Establece que, para un número fijo de pasos $L$, la distribución espectral empírica (ESD) de $B_L^\dagger B_L$ converge en probabilidad a la convolución multiplicativa libre $L$-veces de la ley de un solo paso. La ley de un solo paso se identifica como $\nu_c = (1-c)\delta_1 + c\delta_0$, correspondiente a los autovalores de $(PS)^\dagger(PS)$.

2. Límite de Pequeña Pérdida Libre ($c \to 0$, $L \to \infty$):
   Al tomar el límite donde el parámetro de pérdida escala como $c = \tau/n$ y el número de pasos $n \to \infty$, el artículo analiza la convergencia de la S-transformada. La S-transformada de la ley de un solo paso es $S_{\nu_c}(z) = \frac{1+z}{1-c+z}$. La convolución $n$-veces $\nu_c^{\boxtimes n}$ resulta en $S_{\nu_c^{\boxtimes n}}(z) = \left(\frac{1+z}{1-\tau/n+z}\right)^n$, la cual converge localmente de forma uniforme a $S_{\mu_\tau}(z) = \exp\left(\frac{\tau}{1+z}\right)$. Esto identifica la medida límite $\mu_\tau$ como un semigrupo de convolución multiplicativa libre.

3. Inversión de Lagrange y Combinatoria:
   Para recuperar los momentos explícitos $m_p(\tau) = \int x^p d\mu_\tau(x)$, el artículo emplea la inversión de Lagrange sobre la serie de momentos inversa derivada de la S-transformada. La serie inversa se expande utilizando la función generadora de los polinomios de Laguerre. Esta expansión permite el cálculo explícito de los momentos, revelando una estructura que involucra polinomios de tipo Erlang $G_p(\tau)$.

4. Análisis de Escalamiento Diagonal ($L \sim \tau N$):
   El artículo formula una conjetura para el régimen "diagonal" donde el número de pasos $L$ y el tamaño del sistema $N$ crecen simultáneamente tal que $L/N \to \tau$ y el rango de la proyección es $N-1$ ($c=1/N$). Aunque no se proporciona una prueba rigurosa para este régimen, el artículo deriva recursiones de bajos órdenes de momentos (hasta el tercer momento) para proporcionar evidencia. Destaca que el problema general requiere demostrar la factorización asintótica de productos de trazas normalizadas, una propiedad que aún no se ha establecido para este escalamiento diagonal específico.

Contribuciones Clave y Resultados

• Identificación de la Ley Límite: El artículo demuestra que, para un $L$ fijo, la ESD converge a $\nu_c^{\boxtimes L}$. Además, identifica la ley límite $\mu_\tau$ para el límite de pequeña pérdida libre, caracterizada unívocamente por la S-transformada $S_{\mu_\tau}(z) = \exp\left(\frac{\tau}{1+z}\right)$.
• Explicación de los Momentos de Erlang: El artículo deriva una fórmula explícita para los momentos de $\mu_\tau$:
  $$m_p(\tau) = e^{-p\tau} \sum_{k=0}^{p-1} \left(1 - \frac{k}{p}\right) \frac{(p\tau)^k}{k!}$$
  Esto se expresa en términos de polinomios de tipo Erlang $G_p(\tau)$. Esta derivación proporciona una explicación de probabilidad libre para las sumas exponenciales finitas que aparecen en la recursión de Beenakker, vinculándolas con la inversión de Lagrange de una expansión de Laguerre.
• Estructura Espectral: El artículo caracteriza las propiedades espectrales de $\mu_\tau$:
  • Átomo en 1: Existe un átomo en $x=1$ con peso $(1-\tau)_+$. Para $\tau < 1$, la transmisión perfecta persiste; para $\tau \ge 1$, el átomo desaparece.
  • Punto de Ramificación: La ecuación de la transformada de Stieltjes posee un punto de ramificación real en $x^*(\tau) = \tau e^{1-\tau}$. Ocurre una transición de fase en $\tau=1$, donde el punto de ramificación colisiona con el borde duro en $x=1$, coincidiendo con la desaparición del átomo.
• Estadística de Carga: El artículo calcula los dos primeros cumulantes de la transferencia de carga por canal, $\kappa_1(\tau) = e^{-\tau}$ y $\kappa_2(\tau) = (e^\tau - 1 - \tau)e^{-2\tau}$. Consecuentemente, el factor de Fano se deriva como $F(\tau) = 1 - (1+\tau)e^{-\tau}$, con un valor específico de $F(1) = 1 - 2/e$ en la fuerza de monitoreo crítica.
• Conjetura de Escalamiento Diagonal: El artículo formula la Conjetura 3, afirmando que el límite de escalamiento diagonal ($L \sim \tau N, c=1/N$) converge a la misma medida $\mu_\tau$. Proporciona evidencia mostrando que los dos primeros momentos satisfacen el límite conjeturado y deriva la recursión para el tercer momento, señalando que el caso general depende de la factorización de productos de trazas.

Significado y Reivindicaciones
El artículo afirma proporcionar una base rigurosa de probabilidad libre para las estructuras de Erlang observadas en el transporte cuántico monitoreado. Demuestra que las complejas sumas combinatorias de la recursión de Beenakker surgen naturalmente de la inversión de Lagrange de la S-transformada de un semigrupo de convolución multiplicativa libre.

Los autores declaran explícitamente que sus resultados rigurosos se aplican al límite de $L$ fijo y al límite de pequeña pérdida libre (donde $N \to \infty$ primero, luego $c \to 0$). El límite de escalamiento diagonal ($L \sim N$) se presenta como una conjetura apoyada por verificaciones de bajos órdenes de momentos. El artículo no pretende haber resuelto el problema del escalamiento diagonal, sino que identifica el obstáculo técnico específico: la factorización asintótica de productos de trazas normalizadas. Sugiere que las herramientas de la probabilidad libre finita (específicamente el marco de Marcus, Spielman y Srivastava) pueden ofrecer una vía para resolver este problema restante. El trabajo también observa que las secuencias de momentos límite para el conjunto complejo (unitario) coinciden con las del conjunto real (ortogonal) computado por Beenakker, ya que la diferencia aparece solo en correcciones de orden $1/N$.