Free Multiplicative Convolution and Erlang Moments in Monitored Quantum Transport

Sintesi Tecnica: Convoluzione Moltiplicativa Libera e Momenti di Erlang nel Trasporto Quantistico Monitorato

Enunciato del Problema
Il saggio investiga le proprietà statistiche degli autovalori di trasmissione in un modello di trasporto quantistico monitorato. Nello specifico, analizza lo spettro della matrice $B_L^\dagger B_L$, dove $B_L = (PS_L)(PS_{L-1})\cdots(PS_1)$. Qui, $S_1, \dots, S_L$ sono matrici unitarie indipendenti distribuite secondo la misura di Haar in $U(N)$, e $P$ è una proiezione ortogonale deterministica di rango $M = (1-c)N$. Gli autovalori di $B_L^\dagger B_L$ rappresentano gli autovalori di trasmissione del sistema, che determinano la statistica completa del conteggio (full counting statistics) della carica trasferita.

Il lavoro precedente di Beenakker e Chen ha stabilito che i momenti medi di trasmissione soddisfano una ricorsione coinvolgente somme esponenziali finite che ricordano la formula di Erlang B. Tuttavia, l'origine free-probabilistica di queste strutture di tipo Erlang rimaneva inspiegata. Questo saggio mira a derivare tali momenti e la distribuzione spettrale limite utilizzando il quadro della convoluzione moltiplicativa libera, colmando il divario tra prodotti di matrici casuali e le specifiche strutture combinatorie osservate nel modello di trasporto monitorato.

Metodologia
L'analisi procede attraverso tre distinti regimi asintotici e strumenti matematici:

1. Limite a Lunghezza Fissa ($N \to \infty$, $L$ fisso):
   Il saggio utilizza il teorema di freeness asintotica standard per matrici deterministiche e coniugati di Haar indipendenti. Stabilisce che per un numero fisso di passi $L$, la distribuzione spettrale empirica (ESD) di $B_L^\dagger B_L$ converge in probabilità alla $L$-fold free multiplicative convolution della legge del singolo passo. La legge del singolo passo è identificata come $\nu_c = (1-c)\delta_1 + c\delta_0$, corrispondente agli autovalori di $(PS)^\dagger(PS)$.

2. Limite di Piccola Perdita Libera ($c \to 0$, $L \to \infty$):
   Prendendo il limite in cui il parametro di perdita scala come $c = \tau/n$ e il numero di passi $n \to \infty$, il saggio analizza la convergenza della S-transform. La S-transform della legge del singolo passo è $S_{\nu_c}(z) = \frac{1+z}{1-c+z}$. La $n$-fold convolution $\nu_c^{\boxtimes n}$ produce $S_{\nu_c^{\boxtimes n}}(z) = \left(\frac{1+z}{1-\tau/n+z}\right)^n$, che converge localmente uniformemente a $S_{\mu_\tau}(z) = \exp\left(\frac{\tau}{1+z}\right)$. Ciò identifica la misura limite $\mu_\tau$ come un semigruppo di convoluzione moltiplicativa libera.

3. Inversione di Lagrange e Combinatoria:
   Per recuperare i momenti espliciti $m_p(\tau) = \int x^p d\mu_\tau(x)$, il saggio impiega l'inversione di Lagrange sulla serie dei momenti inversa derivata dalla S-transform. La serie inversa viene espansa utilizzando la funzione generatrice dei polinomi di Laguerre. Questa espansione permette il calcolo esplicito dei momenti, rivelando una struttura che coinvolge polinomi di tipo Erlang $G_p(\tau)$.

4. Analisi di Scalatura Diagonale ($L \sim \tau N$):
   Il saggio formula una congettura per il regime "diagonale" dove il numero di passi $L$ e la dimensione del sistema $N$ crescono simultaneamente in modo tale che $L/N \to \tau$ e il rango della proiezione è $N-1$ ($c=1/N$). Sebbene una prova rigorosa per questo regime non sia fornita, il saggio deriva le ricorsioni dei momenti di basso ordine (fino al terzo momento) per fornire evidenza. Esso evidenzia che il problema generale richiede la dimostrazione della fattorizzazione asintotica di prodotti di tracce normalizzate, una proprietà non ancora stabilita per questa specifica scalatura diagonale.

Contributi Chiave e Risultati

• Identificazione della Legge Limite: Il saggio prova che, per $L$ fisso, l'ESD converge a $\nu_c^{\boxtimes L}$. Inoltre, identifica la legge limite $\mu_\tau$ per il limite di free-probability a piccola perdita, caratterizzata unicamente dalla sua S-transform $S_{\mu_\tau}(z) = \exp\left(\frac{\tau}{1+z}\right)$.
• Spiegazione dei Momenti di Erlang: Il saggio deriva una formula esplicita per i momenti di $\mu_\tau$:
  $$m_p(\tau) = e^{-p\tau} \sum_{k=0}^{p-1} \left(1 - \frac{k}{p}\right) \frac{(p\tau)^k}{k!}$$
  Questa è espressa in termini di polinomi di tipo Erlang $G_p(\tau)$. Questa derivazione fornisce una spiegazione free-probabilistica per le somme esponenziali finite che compaiono nella ricorsione di Beenakker, collegandole all'inversione di Lagrange di un'espansione di Laguerre.
• Struttura Spettrale: Il saggio caratterizza le proprietà spettrali di $\mu_\tau$:
  • Atomo in 1: Esiste un atomo in $x=1$ con peso $(1-\tau)_+$. Per $\tau < 1$, la trasmissione perfetta persiste; per $\tau \ge 1$, l'atomo scompare.
  • Punto di Ramificazione: L'equazione della trasformata di Stieltjes possiede un punto di ramificazione reale in $x^*(\tau) = \tau e^{1-\tau}$. Si verifica una transizione di fase a $\tau=1$, dove il punto di ramificazione collide con il bordo duro (hard edge) in $x=1$, coincidendo con la scomparsa dell'atomo.
• Statistica della Carica: Il saggio calcola i primi due cumulanti della carica trasferita per canale, $\kappa_1(\tau) = e^{-\tau}$ e $\kappa_2(\tau) = (e^\tau - 1 - \tau)e^{-2\tau}$. Di conseguenza, il fattore di Fano è derivato come $F(\tau) = 1 - (1+\tau)e^{-\tau}$, con un valore specifico di $F(1) = 1 - 2/e$ al valore critico di monitoraggio.
• Congettura di Scalatura Diagonale: Il saggio formula la Congettura 3, asserendo che la scalatura diagonale limite ($L \sim \tau N, c=1/N$) converge alla stessa misura $\mu_\tau$. Esso fornisce evidenza mostrando che i primi due momenti soddisfano il limite congetturato e deriva la ricorsione per il terzo momento, notando che il caso generale dipende dalla fattorizzazione dei prodotti di tracce.

Significato e Rivendicazioni
Il saggio rivendica di fornire una fondazione rigorosa di free-probability per le strutture di Erlang osservate nel trasporto quantistico monitorato. Dimostra che le complesse somme combinatorie della ricorsione di Beenakker derivano naturalmente dall'inversione di Lagrange della S-transform di un semigruppo di convoluzione moltiplicativa libera.

Gli autori dichiarano esplicitamente che i loro risultati rigorosi si applicano al limite a $L$ fisso e al limite di piccola perdita libera (dove $N \to \infty$ prima, poi $c \to 0$). Il limite di scalatura diagonale ($L \sim N$) è presentato come una congettura supportata da controlli sui momenti di basso ordine. Il lavoro non pretende di aver risolto il problema della scalatura diagonale, ma identifica l'ostacolo tecnico specifico: la fattorizzazione asintotica dei prodotti di tracce normalizzate. Suggerisce che strumenti della finite free probability (specificamente il framework di Marcus, Spielman e Srivastava) possano offrire una via per risolvere questo problema rimanente. Il lavoro nota inoltre che le sequenze di momenti limite per l'insieme complesso (unitario) coincidono con quelle dell'insieme reale (ortogonale) calcolate da Beenakker, poiché la differenza appare solo in correzioni di ordine $1/N$.