Scalar edge-root existence for \(1<\gamma\le3/2\)

Determine whether the scalar self-consistency equation \(I(a)=K_1(a)\) for the row-independent power-law ensemble has a real solution \(a^*>\sigma_1(\gamma)\) for every \(1<\gamma\le3/2\).

Background

The paper proves existence of a solution a>σ1(γ)a^*>\sigma_1(\gamma) only for γ>3/2\gamma>3/2, using the divergence of K1(a)I(a)K_1(a)-I(a) as aσ1a\downarrow\sigma_1.

For 1<γ3/21<\gamma\le3/2, both relevant quantities remain bounded at the endpoint, so the intermediate-value argument does not establish a root. The general Matrix Dyson Equation theory guarantees an edge under its assumptions, but does not establish that this edge is represented by the particular scalar root equation.

References

For 1<\gamma\le3/2, the argument above does not apply: by the Proposition, both I and K_1 remain bounded as a\to\sigma_1+ in this range, so the intermediate-value argument gives no information, and we do not have a proof that a root a*>\sigma_1 exists at all.

Bulk Phase Transition and Edge Behavior in Temporally Correlated Random Matrices  (2608.23944 - Hisakado et al., 25 Aug 2026) in Remark~\ref{rem:log-correction} [actually labelled Remark: The divergence as \(\gamma\to1^+\) is not established], Section IV.F