Lorentzian entropy, subgaussian matrix concentration, and sharp functional inequalities for all matroids

Abstract

We prove complete entropy contraction for homogeneous Lorentzian laws and derive subgaussian matrix concentration and sharp functional inequalities for every matroid. Uniform retention of $\ell$ out of $r$ particles contracts matrix entropy by the optimal universal factor $\ell/r$, in every finite matrix dimension and positive field, including repeated labels. The matrix Laplace comparison retains matrix variance and arbitrary Hermitian offsets. It gives subgaussian bounds for arbitrary Hermitian observables with bounded exchange differences, and Chernoff and Bernstein bounds for basis sums. Every unit-edge matroid basis graph satisfies the cube's small-set and Gross inequalities, with equality classified and optimal universal complete entropy-decay rate four. Its spectrum lies in $\{0,2\}\cup[3,\infty)$, with binary direct-factor contrasts spanning the eigenspace at two. We classify extremal down-up eigenfunctions, resolving Alaniz Pintos's degree-one conjecture and the equality problem for the Feder--Mihail walk. For degree at least two, every matrix entropy extremizer extends uniquely from its two-particle marginal. Equality depends only on the normalized pair law, with noncommutativity confined to mutually exclusive labels. We classify power-entropy extremizers for $1<p<2$ and give a fourth-order criterion for affine equality. Retained-level Gibbs reconstruction has sharp dimension-independent stability. For multiaffine laws whose generating polynomial and complement are Lorentzian, we determine the exact simultaneous all-field quantum marginal and matrix Hölder regions and classify the sharp half-marginal fields. Connected sharp laws are determinantal through rank three; stable nondeterminantal examples exist in every higher rank.