Pith. sign in

REVIEW 5 minor 9 references

Free Multiplicative Convolution and Erlang Moments in Monitored Quantum Transport

T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Monitored quantum transport eigenvalues converge to a free-probability law whose moments are explicit Erlang sums.

desk verdict Clean free-probability explanation of Beenakker’s Erlang moments, with two solid theorems and an honest open diagonal conjecture. read the letter →

arxiv 2607.05693 v1 pith:HO4SH4VI submitted 2026-07-06 math.PR math-phmath.MPquant-ph

Joon Hyung Lee This is my paper · ORCID
classification math.PRmath-phmath.MPquant-ph MSC 60B2046L5481P45
keywords freeprobabilitymonitoredquantumtransportmultiplicativeconvolutiontransmissioneigenvaluesErlangpolynomialsS-transformHaarunitaries
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

When a quantum channel is repeatedly rotated by independent random unitaries and then projected (monitored), the transmission eigenvalues of the resulting product matrix have a limiting distribution that free probability can describe exactly. For any fixed number of monitoring steps the empirical spectrum converges to an L-fold free multiplicative convolution of a simple two-point measure. Taking the free small-loss limit produces a continuous one-parameter family of measures μ_τ on [0,1] whose S-transform is the elementary exponential exp(τ/(1+z)). Lagrange inversion of that S-transform recovers the explicit Erlang-type moment polynomials that had previously appeared only as solutions of a recursion. The same law predicts an atom of mass (1−τ)_+ at perfect transmission, a real branch point at τ e^{1−τ}, and concrete charge-transfer cumulants (including a Fano factor that equals 1−2/e at criticality). The paper therefore supplies a free-probabilistic origin for the combinatorial structure of monitored transport and formulates the remaining diagonal scaling L∼ au N as a precise factorization problem.

What carries the argument

The free multiplicative S-transform of the elementary projection measure ν_c=(1−c)δ_1+cδ_0, which multiplies under free convolution and becomes the exponential exp(τ/(1+z)) after the free small-loss limit; Lagrange inversion of the associated inverse moment series then produces the Erlang moments.

What would settle it

Compute the first few normalized moments of B_L^† B_L for large N with L fixed and with L/N o au, and check whether they match the free-convolution moments of ν_c^⊗L and the Erlang formula for μ_τ respectively.

Watch

Extended reading notes

Core claim

The empirical spectral distribution of the monitored Haar product B_L^† B_L converges in probability, for fixed L, to the free multiplicative convolution ν_c^⊗L. In the free small-loss limit the measures converge weakly to the unique compactly supported law μ_τ on [0,1] characterized by the S-transform S_{μ_τ}(z)=exp(τ/(1+z)), and the moments of μ_τ are given by the explicit Erlang sums obtained by Lagrange inversion.

Load-bearing premise

The fixed-length convergence rests on a standard asymptotic-freeness theorem for independent Haar conjugates of positive matrices; if that freeness fails for the particular random matrices generated by the induction, the spectral limit does not hold.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies transmission eigenvalues of monitored Haar products B_L = (P S_L)…(P S_1) with independent Haar unitaries S_i and a fixed projection P of relative rank 1-c. Theorem 1 proves that for fixed L the empirical spectral distribution of B_L^† B_L converges in probability to the L-fold free multiplicative convolution u_c^⊗L, where u_c = (1-c)δ_1 + c δ_0. Theorem 2 then takes the free small-loss limit c_n = au/n and identifies the weak limit u_c_n^⊗n o u_ au, the unique compactly supported law on [0,1] characterized by the S-transform S_ u_ au(z) = exp( au/(1+z)). Lagrange inversion of the associated inverse moment series yields explicit Erlang-type moments m_p( au) that recover the polynomials appearing in Beenakker’s recursion. Spectral consequences (atom of mass (1- au)_+ at 1, real branch point au e^{1- au}) and the first charge-transfer cumulants are derived. The diagonal scaling L o au N, c = 1/N is formulated as Conjecture 3 and supported by exact first- and second-moment calculations together with a third-moment consistency check.

Significance. The work supplies a clean free-probability explanation for the Erlang structure observed in monitored quantum transport. Theorems 1 and 2 are proved in full: the fixed-L induction rests on a standard Haar-conjugation freeness theorem whose hypotheses (uniform operator-norm bound ‖A_n‖ ≤ 1 and inductive ESD convergence) are verified, while the free small-loss limit is an elementary analytic argument via locally uniform convergence of S-transforms. The resulting moment formula is parameter-free and matches Beenakker’s polynomials as a derived consequence rather than an input. The spectral analysis (atom, branch-point transition at au = 1) and the explicit Fano factor F( au) = 1 - (1+ au)e^{- au} give concrete, falsifiable predictions. The open diagonal conjecture is carefully delimited and supported by low-order evidence, so the paper does not overclaim. Overall the contribution is solid and of clear interest to free probability and random-matrix approaches to quantum transport.

minor comments (5)
  1. Section 3, Theorem 6: the asymptotic-freeness statement is standard, but a one-sentence pointer to the precise statement in Mingo–Speicher (or Collins–Śniady) that covers random positive A_N independent of the Haar unitary would help readers who do not have the monographs at hand.
  2. Section 5, after Eq. (1): the first three moments are written out; adding m_4( au) (or a short table) would make the pattern more immediately visible for readers comparing with Beenakker’s recursion.
  3. Section 6.3: the claim that x_*( au) is an interior branch point for au < 1 and the upper edge for au > 1 is clear, but a brief numerical plot or density sketch for two representative values (e.g. au = 0.5 and au = 1.7) would illustrate the transition at au = 1.
  4. Section 8: the third-moment consistency check assumes factorization of normalized trace products; a short remark that this is the precise obstruction to a full proof of Conjecture 3 (and that finite free convolution may address it) would sharpen the open-problem statement.
  5. References: the arXiv identifiers for Beenakker (2025) and Beenakker–Chen (2025) are given; once the journal versions appear they should be updated, but this is not urgent.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: free-probability derivation of μ_τ and Erlang moments is self-contained from first principles.

full rationale

The paper's strongest claims are proved without circular reduction. Lemma 4 shows that a single monitored step has deterministic ESD ν_c by unitary conjugation; Lemma 5 computes its S-transform from the elementary moment series ψ_ν_c(z)=(1-c)z/(1-z). Proposition 7 then inducts on fixed L using a standard external asymptotic-freeness theorem for Haar conjugates (Mingo–Speicher, Collins–Śniady), with the paper verifying the needed hypotheses (uniform norm bound ||A_n||≤1 and inductive ESD convergence). The free small-loss limit (Proposition 8 / Theorem 2) is an ordinary analytic limit of the S-transforms, producing S_μ_τ(z)=exp(τ/(1+z)). Moments are extracted by Lagrange inversion of the inverse series (Section 5), yielding the explicit Erlang-type sums; the match to Beenakker's polynomials is a derived consequence, not an input. Spectral features (atom (1-τ)_+, branch point τ e^{1-τ}) and charge cumulants follow from the same moment formula. No parameters are fitted to data, no uniqueness theorem is imported from the author's prior work, and the diagonal scaling L∼ au N is left as an open conjecture supported only by low-order moment checks. The single external black box is a standard freeness result from the literature, which does not constitute circularity under the stated rules.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The paper rests on standard free-probability machinery (S-transform multiplicativity, asymptotic freeness of Haar conjugates, Lagrange inversion) and on the classical definition of the monitored product model. No free parameters are fitted; the only invented objects are the limiting measure μ_τ and the diagonal conjecture, both of which are defined explicitly from the free-probability limit.

assumptions (4)
  • standard math Asymptotic freeness of a deterministic positive matrix with an independent Haar conjugate of another positive matrix of uniformly bounded norm (Theorem 6).
    Invoked in the induction of Proposition 7; cited to Mingo–Speicher and Collins–Śniady; hypotheses (compact support, uniform bound) are verified for the monitored products.
  • standard math Multiplicativity of the S-transform under free multiplicative convolution.
    Used to obtain S of the L-fold convolution and of the free small-loss limit; standard free-probability fact.
  • standard math Lagrange inversion formula for formal power series.
    Applied in Section 5 to extract moments from the inverse moment series of μ_τ.
  • domain assumption The monitored product model B_L = (P S_L)…(P S_1) with independent Haar unitaries and fixed-rank projection P is the correct mathematical idealization of the physical system studied by Beenakker–Chen.
    Taken from the cited physics papers; the mathematical results are conditional on this model.
invented entities (2)
  • The free small-loss measure μ_τ characterized by S_μτ(z)=exp(τ/(1+z)) independent evidence
    purpose: Limiting transmission-eigenvalue law after free multiplicative small-loss limit; source of the Erlang moments and spectral features.
    Defined explicitly as the weak limit of free convolutions; its existence and uniqueness follow from moment convergence and Hausdorff moment theorem; independent of any external data.
  • Conjecture 3 (diagonal monitored-transport limit)
    purpose: Asserts that the random-matrix chain with L∼τ N and rank-(N-1) projection converges to the same free-probability law μ_τ.
    Formulated as an open problem; supported by exact low-order moment calculations but not proved; the entity is the conjectural statement itself.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Free Multiplicative Convolution and Erlang Moments in Monitored Quantum Transport." pith.science (2026). https://pith.science/paper/HO4SH4VI

@misc{pith2026260705693,
  author       = {Pith},
  title        = {Pith review of: Free Multiplicative Convolution and Erlang Moments in Monitored Quantum Transport},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HO4SH4VI}},
  note         = {Machine review of arXiv:2607.05693}
}
abstract

We study the transmission eigenvalues of monitored Haar products \[ B_L=(PS_L)(PS_{L-1})\cdots(PS_1), \] where the $S_i$ are independent Haar unitaries and $P$ is a deterministic projection. For fixed $L$, we prove that the empirical eigenvalue distribution of $B_L^\dagger B_L$ converges to $\nu_c^{\boxtimes L}$, where $\nu_c=(1-c)\delta_1+c\delta_0$. We then take the free small-loss limit and identify the limiting law by \[ S_{\mu_\tau}(z)=\exp\left(\frac{\tau}{1+z}\right). \] Lagrange inversion gives explicit Erlang-type moments, explaining the polynomials appearing in Beenakker's recursion. We also record spectral consequences, including the atom $\mu_\tau(\{1\})=(1-\tau)_+$ and the real branch point $\tau \mathrm{e}^{1-\tau}$, and formulate the diagonal scaling $L\sim\tau N$, $c=1/N$, as a quantitative convergence problem supported by low-order moment checks.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    C. W. J. Beenakker,Entropy and singular-value moments of products of truncated random unitary matrices, Phys. Rev. E111, 064108 (2025), arXiv:2501.11085

    work page Pith review arXiv 2025

  2. [2]

    C. W. J. Beenakker and J.-F. Chen,Monitored quantum transport: full counting statistics of a quantum Hall interfer- ometer, Quantum9, 1874 (2025), arXiv:2504.07773

    work page arXiv 2025

  3. [3]

    Collins and P

    B. Collins and P . ´Sniady,Integration with respect to the Haar measure on unitary, orthogonal and symplectic groups, Comm. Math. Phys.264(2006), 773–795

    work page 2006

  4. [4]

    Gorin and A

    V . Gorin and A. W. Marcus,Crystallization of random matrix orbits, Int. Math. Res. Not. IMRN2020, 883–913

    work page

  5. [5]

    Asymptotic Behavior of Multiplicative Spherical Integrals and S-transform

    J. Husson,Asymptotic behavior of multiplicative spherical integrals and S-transform, arXiv:2108.11842 (2021)

    work page Pith review arXiv 2021

  6. [6]

    L. S. Levitov and G. B. Lesovik,Charge distribution in quantum shot noise, JETP Lett.58(1993), 230–235

    work page 1993

  7. [7]

    A. W. Marcus, D. A. Spielman, and N. Srivastava,Finite free convolutions of polynomials, Probab. Theory Related Fields182(2022), 807–848

    work page 2022

  8. [8]

    Asymptotic behavior of the multiplicative counterpart of the Harish-Chandra integral and the $S$-transform

    P . Mergny and M. Potters,Asymptotic behavior of the multiplicative counterpart of the Harish–Chandra integral and the S-transform, arXiv:2007.09421 (2020)

    work page Pith review arXiv 2007

Show all 9 references
  1. [9]

    J. A. Mingo and R. Speicher,Free Probability and Random Matrices, Fields Institute Monographs, vol. 35, Springer, New York, 2017. LEIDENINSTITUTE OFADVANCEDCOMPUTERSCIENCE(LIACS), LEIDENUNIVERSITY, EINSTEINWEG55, 2333 CC LEIDEN, THENETHERLANDS Email address:j.h.lee@liacs.leidenuniv.nl

    2017

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.