math.PRApr 13, 2026

Spectral Structure in Finite Free Information Inequalities and pp-Stam Phase Transitions

Authors: Baran Hashemi

Abstract

Using FlowBoost, a closed-loop deep generative optimization framework for extremal structure discovery, we investigate ℓp\ell^p-generalizations of the finite free Stam inequality for real-rooted polynomials under finite free additive convolution ⊞n\boxplus_n. At p=2p=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 EnE_n on the mean-zero subspace are 2−k/2:k=1,…,n−1{2^{-k/2}:k=1,\ldots,n-1}, independent of nn. Conditional on this conjecture, we obtain a sharp local stability constant and the finite free CLT convergence rate, both uniform in nn. We introduce a one-parameter family of pp-Stam inequalities using ℓp\ell^p-Fisher information and prove that the Hermite pair itself violates the inequality for every p>2p>2, with the sign of the deficit governed by the ℓp\ell^p-contraction ratio of EnE_n. Systematic computation via FlowBoost supports the conjecture that p∗ ⁣=2p^*\!=2 is the sharp critical exponent. For p<2p<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→2−p\to 2^-. Our findings demonstrate that FlowBoost, can be an effective tool of mathematical discovery in infinite-dimensional extremal problems.

Figures & tables

Appendix figures & tables2 assets

Supplementary material from the paper’s appendix.

Appendix

Explore similar work

Oct 26, 2025

Beyond the Semicircle: Free Diffusion Models with Prescribed Equilibria

A growing class of machine-learning objects -- covariance and Gram matrices, kernel and attention matrices, MIMO channel matrices, density operators -- are naturally spectra rather than coordinate vectors. Building a denoising diffusion model for such data by corrupting eigenvalues coordinatewise is not merely elegant: it converges to the wrong limit, because eigenvalues repel rather than move independently. Free probability theory supplies the correct forward process, with free convolution replacing classical convolution and Voiculescu's conjugate variable replacing the score, but constant-coefficient free diffusions have a hidden limitation of their own: their only possible equilibrium is the semicircular law, whatever the target distribution looks like. We show that state-dependent free volatility removes this restriction. For any sufficiently regular compactly supported target law, we explicitly construct, through a closed-form Hilbert-transform drift, a free Fokker--Planck flow having that law as a stationary spectral distribution. Under an additional convex-potential condition, the construction admits a globally relaxing diffusion interpretation, reverse-time dynamics, and a trainable score. The generalization is genuine rather than cosmetic: no change of spectral variable reduces it to the constant-coefficient case, and it is a Wasserstein gradient flow only for an explicitly characterized family of coefficients that contains no bounded non-constant member. We instantiate the construction on the Marchenko--Pastur law, the limiting spectrum of isotropic sample covariance matrices, and validate it numerically: the free-versus-coordinatewise gap, an exact dimension-independent score driving reverse-time matrix dynamics at several matrix sizes, the designed Marchenko--Pastur equilibrium, and end-to-end generation with a learned score.
May 6, 2026

Neural Discovery of Strichartz Extremizers

Strichartz inequalities are a cornerstone of the modern theory of dispersive PDEs, but their extremizers are known explicitly only in a handful of sharp cases. The non-convexity of the underlying functional makes the problem hard, and to our knowledge no systematic numerical attack has been attempted. We propose a simple neural-network-based pipeline that searches for extremizers as critical points of the Strichartz ratio, and apply it in three settings. First, on the Schrödinger group we recover the Gaussian extremizers of Foschi and Hundertmark--Zharnitsky in dimensions d=1,2d=1,2 to within 10−310^{-3} relative error, with no analytical prior. Second, on 5959 further admissible pairs in d=1d=1 where the answer is conjectural, the method consistently finds Gaussians, supporting the conjecture that Gaussians are the universal extremizers in the admissible range. Third, on the critical Airy--Strichartz inequality at γ=1/qγ=1/q, where existence is open, the optimization does not converge to any L2L^2 profile: instead, the iterates organize themselves as mKdV breathers B(0,⋅;α,1,0,0)B(0,\cdot;α,1,0,0) with growing internal frequency αα, and the discovered ratio approaches the Frank--Sabin universal lower bound A~q,r\widetilde A_{q,r} from below with a power-law gap ∼α−0.9\simα^{-0.9}. We confirm the same picture with an independent Hermite-basis ansatz. We propose a precise conjecture: the supremum equals A~q,r\widetilde A_{q,r} and is approached, but not attained, along the breather family. The pipeline thus serves both as a validator on known cases and as a discovery tool when no extremizer exists.
May 25, 2026

Guided Flow Matching for Forward and Inverse PDE Problems with Sparse Observations: Algorithm and Theory

Reconstructing PDE solutions from sparse observations is a core challenge in scientific computing. We present FM4PDE, a flow-matching generative framework that learns the joint distribution of PDE coefficients (or initial states) and solutions (or final states), enabling both forward simulation and inverse recovery with limited paired data. At inference, sampling is guided by a composite loss that enforces agreement with sparse measurements and reduces the PDE residual; we support deterministic, stochastic, and hybrid samplers. We provide error guarantees for these guided procedures. For the deterministic optimizer, a coercivity condition ensures trajectory boundedness and a phase-wise contraction yields logarithmic complexity in the target accuracy. For the stochastic sampler, we introduce adaptive guidance and assume dissipativity of the velocity field to obtain uniform moment bounds independent of the noise-floor parameter. This leads to polynomial-time error bounds, and a matching lower bound shows constant guidance induces an unavoidable positive bias, motivating adaptivity. A hybrid deterministic-stochastic analysis is also provided. Experiments on static and time-dependent benchmark PDEs demonstrate competitive accuracy and faster inference than diffusion-based generative models.