FlowBoost Reveals Phase Transitions and Spectral Structure in Finite Free Information Inequalities

arXiv cs.LG / 4/15/2026

💬 OpinionSignals & Early TrendsIdeas & Deep AnalysisModels & Research

Key Points

  • The paper presents FlowBoost, a closed-loop deep generative optimization framework, to discover extremal structure in finite free information inequalities under finite free additive convolution (\boxplus_n) for real-rooted polynomials.
  • At p=2, FlowBoost identifies the Hermite pair as the unique equality case and analyzes the spectral structure of the linearized convolution map at this extremal point.
  • Based on observed spectral patterns, the authors conjecture that the singular values of the doubly stochastic coupling matrix E_n on the mean-zero subspace are {2^{-k/2}} for k=1,...,n-1, independent of n, enabling uniform-in-n sharp local stability and a finite free CLT convergence rate.
  • The authors introduce a one-parameter family of p-Stam inequalities using \ell^p-Fisher information, proving that the Hermite pair violates the inequality for every p>2, with the deficit determined by an \ell^p contraction ratio associated to E_n.
  • For p<2, the work reports a bifurcation in extremizers, producing non-matching pairs with bimodal root structures that only return to the Hermite diagonal as p approaches 2 from below, while computation suggests a sharp critical exponent p*=2.

Abstract

Using FlowBoost, a closed-loop deep generative optimization framework for extremal structure discovery, we investigate \ell^p-generalizations of the finite free Stam inequality for real-rooted polynomials under finite free additive convolution \boxplus_n. At p=2, FlowBoost finds the Hermite pair as the unique equality case and reveals the spectral structure of the linearized convolution map at this extremal point. As a result, we conjecture that the singular values of the doubly stochastic coupling matrix E_n on the mean-zero subspace are {2^{-k/2}:k=1,\ldots,n-1}, independent of n. Conditional on this conjecture, we obtain a sharp local stability constant and the finite free CLT convergence rate, both uniform in n. We introduce a one-parameter family of p-Stam inequalities using \ell^p-Fisher information and prove that the Hermite pair itself violates the inequality for every p>2, with the sign of the deficit governed by the \ell^p-contraction ratio of E_n. Systematic computation via FlowBoost supports the conjecture that p^*\!=2 is the sharp critical exponent. For p<2, the extremal configurations undergo a bifurcation, meaning that they become non-matching pairs with bimodal root structure, converging back to the Hermite diagonal only as p\to 2^-. Our findings demonstrate that FlowBoost, can be an effective tool of mathematical discovery in infinite-dimensional extremal problems.