Dice Question Streamline Icon: https://streamlinehq.com

Conjecture on singular support and L^1-convergence of the absolutely continuous part for c < 0

Prove that, for the Brownian motion on the unitary quantum group U_N^+ at times t_c = N ln(√2 N) + c N with c < 0, the singular part of the large-N limit lies outside the support of the semicircular distribution ν_SC, and that the absolutely continuous part converges to that of the free Meixner law η_c in L^1(ν_SC).

Information Square Streamline Icon: https://streamlinehq.com

Background

After establishing the cutoff profile for c ≥ 0 and a lower bound for c < 0, the authors formulate a conjecture to complete the description in the loss-of-absolute-continuity regime. They propose that the singular part resides outside the support of ν_SC and that the absolutely continuous part converges in L1(ν_SC) to that of η_c even when c < 0.

This conjecture, if proved, would settle the profile for c < 0 by confirming true L1-convergence of the absolutely continuous component and clarifying the relationship between the singular support and ν_SC.

References

We conjecture, however, that the singular part lies outside the support of \nu_{\mathrm{SC}, and that there is true \mathrm{L}1-convergence. Specifically, we believe that even for c < 0, the absolutely continuous part of the process converges to that of \eta_c in \mathrm{L}1(\nu_{\mathrm{SC}).

Brownian Motion on the Unitary Quantum Group: Construction and Cutoff (2409.06552 - Delhaye, 10 Sep 2024) in Section 5 (The limit profile), concluding paragraph