Free Multiplicative Convolution and Erlang Moments in Monitored Quantum Transport

Resumo Técnico: Convolução Multiplicativa Livre e Momentos de Erlang em Transporte Quântico Monitorado

Enunciado do Problema
O artigo investiga as propriedades estatísticas dos autovalores de transmissão em um modelo de transporte quântico monitorado. Especificamente, analisa o espectro da matriz $B_L^\dagger B_L$, onde $B_L = (PS_L)(PS_{L-1})\cdots(PS_1)$. Aqui, $S_1, \dots, S_L$ são matrizes unitárias independentes de Haar distribuídas em $U(N)$, e $P$ é uma projeção ortogonal determinística de posto $M = (1-c)N$. Os autovalores de $B_L^\dagger B_L$ representam os autovalores de transmissão do sistema, que determinam a estatística completa de contagem de carga transferida.

Trabalhos anteriores por Beenakker e Chen estabeleceram que os momentos de transmissão médios satisfazem uma recursão envolvendo somas exponenciais finitas que se assemelham à fórmula de Erlang B. No entanto, a origem probabilística livre dessas estruturas do tipo Erlang permanecia inexplicada. Este artigo visa derivar esses momentos e a distribuição espectral limite utilizando o arcabouço da convolução multiplicativa livre, estabelecendo uma ponte entre produtos de matrizes aleatórias e as estruturas combinatórias específicas observadas no modelo de transporte monitorado.

Metodologia
A análise procede através de três regimes assintóticos distintos e ferramentas matemáticas:

1. Limite de Comprimento Fixo ($N \to \infty$, $L$ fixo):
   O artigo utiliza o teorema de freeness assintótica padrão para matrizes determinísticas e conjugados de Haar independentes. Estabelece que, para um número fixo de passos $L$, a distribuição espectral empírica (ESD) de $B_L^\dagger B_L$ converge em probabilidade para a convolução multiplicativa livre de $L$ vezes da lei de passo único. A lei de passo único é identificada como $\nu_c = (1-c)\delta_1 + c\delta_0$, correspondente aos autovalores de $(PS)^\dagger(PS)$.

2. Limite de Pequena Perda Livre ($c \to 0$, $L \to \infty$):
   Ao tomar o limite onde o parâmetro de perda escala como $c = \tau/n$ e o número de passos $n \to \infty$, o artigo analisa a convergência da S-transforma. A S-transforma da lei de passo único é $S_{\nu_c}(z) = \frac{1+z}{1-c+z}$. A $n$-dobra convolução resulta em $S_{\nu_c^{\boxtimes n}}(z) = \left(\frac{1+z}{1-\tau/n+z}\right)^n$, que converge localmente uniformemente para $S_{\mu_\tau}(z) = \exp\left(\frac{\tau}{1+z}\right)$. Isso identifica a medida limite $\mu_\tau$ como um semigrupo de convolução multiplicativa livre.

3. Inversão de Lagrange e Combinatória:
   Para recuperar os momentos explícitos $m_p(\tau) = \int x^p d\mu_\tau(x)$, o artigo emprega a inversão de Lagrange sobre a série de momentos inversa derivada da S-transforma. A série inversa é expandida usando a função geradora para polinômios de Laguerre. Essa expansão permite o cálculo explícito dos momentos, revelando uma estrutura envolvendo polinômios do tipo Erlang $G_p(\tau)$.

4. Análise de Escalonamento Diagonal ($L \sim \tau N$):
   O artigo formula uma conjectura para o regime "diagonal", onde o número de passos $L$ e o tamanho do sistema $N$ crescem simultaneamente tal que $L/N \to \tau$ e o posto da projeção é $N-1$ ($c=1/N$). Embora uma prova rigorosa para este regime não seja fornecida, o artigo deriva recursões de ordens baixas de momentos (até o terceiro momento) para fornecer evidências. Ele destaca que o problema geral requer provar a fatoração assintótica de produtos de traços normalizados, uma propriedade ainda não estabelecida para este escalonamento diagonal específico.

Contribuições Principais e Resultados

• Identificação da Lei Limite: O artigo prova que, para $L$ fixo, a ESD converge para $\nu_c^{\boxtimes L}$. Além disso, identifica a lei limite $\mu_\tau$ para o limite de probabilidade livre de pequena perda, caracterizada unicamente pela sua S-transforma $S_{\mu_\tau}(z) = \exp\left(\frac{\tau}{1+z}\right)$.
• Explicação dos Momentos de Erlang: O artigo deriva uma fórmula explícita para os 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!}$$
  Isso é expresso em termos de polinômios do tipo Erlang $G_p(\tau)$. Esta derivação fornece uma explicação de probabilidade livre para as somas exponenciais finitas que aparecem na recursão de Beenakker, ligando-as à inversão de Lagrange de uma expansão de Laguerre.
• Estrutura Espectral: O artigo caracteriza as propriedades espectrais de $\mu_\tau$:
  • Átomo em 1: Existe um átomo em $x=1$ com peso $(1-\tau)_+$. Para $\tau < 1$, a transmissão perfeita persiste; para $\tau \ge 1$, o átomo desaparece.
  • Ponto de Ramificação: A equação da transformada de Stieltjes possui um ponto de ramificação real em $x^*(\tau) = \tau e^{1-\tau}$. Uma transição de fase ocorre em $\tau=1$, onde o ponto de ramificação colide com a borda dura em $x=1$, coincidindo com o desaparecimento do átomo.
• Estatística de Carga: O artigo calcula os dois primeiros cumulantes da transferência de carga por canal, $\kappa_1(\tau) = e^{-\tau}$ e $\kappa_2(\tau) = (e^\tau - 1 - \tau)e^{-2\tau}$. Consequentemente, o fator de Fano é derivado como $F(\tau) = 1 - (1+\tau)e^{-\tau}$, com um valor específico de $F(1) = 1 - 2/e$ na força de monitoramento crítica.
• Conjectura de Escalonamento Diagonal: O artigo formula a Conjectura 3, afirmando que o limite de escalonamento diagonal ($L \sim \tau N, c=1/N$) converge para a mesma medida $\mu_\tau$. Ele fornece evidências ao mostrar que os dois primeiros momentos satisfazem o limite conjecturado e deriva a recursão para o terceiro momento, observando que o caso geral depende da fatoração de produtos de traços.

Significância e Alegações
O artigo afirma fornecer uma base rigorosa de probabilidade livre para as estruturas de Erlang observadas no transporte quântico monitorado. Demonstra que as complexas somas combinatórias da recursão de Beenakker surgem naturalmente da inversão de Lagrange da S-transforma de um semigrupo de convolução multiplicativa livre.

Os autores declaram explicitamente que seus resultados rigorosos aplicam-se ao limite de $L$ fixo e ao limite de pequena perda livre (onde $N \to \infty$ primeiro, depois $c \to 0$). O limite de escalonamento diagonal ($L \sim N$) é apresentado como uma conjectura apoiada por verificações de momentos de ordem baixa. O artigo não afirma ter resolvido o problema do escalonamento diagonal, mas identifica o obstáculo técnico específico: a fatoração assintótica de produtos de traços normalizados. Sugere que ferramentas de probabilidade livre finita (especificamente o arcabouço de Marcus, Spielman e Srivastava) podem oferecer um caminho para resolver este problema remanescente. O trabalho também observa que as sequências de momentos limites para o ensemble complexo (unitário) coincidem com as do ensemble real (ortogonal) computado por Beenakker, uma vez que a diferença aparece apenas em correções de ordem $1/N$.