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 ℓ out of r particles contracts matrix entropy by the optimal universal factor ℓ/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}∪[3,∞), 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.
Related
- Merino-Welsh inequalities for matroids with controlled lattices of cyclic flats
- Area-constrained Willmore surfaces in Lorentzian manifolds: curvature inequalities and the Hawking quasi-local energy
- Concentration inequalities for vector-valued martingales
- Majorization, Entropy and Concentration Inequalities for Discrete α-Concave Random Variables
- Randomization Inference with Concentration Inequalities
BibTeX
@misc{ercan2026lorentzian,
title = {{Lorentzian entropy, subgaussian matrix concentration, and sharp functional inequalities for all matroids}},
author = {Eren Ercan},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.00626},
eprint = {2611.00626},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.00626},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Lorentzian entropy, subgaussian matrix concentration, and sharp functional inequalities for all matroids
AU - Eren Ercan
PY - 2026
DA - 2026/11/01
PB - arXiv
DO - 10.48550/arxiv.2611.00626
UR - https://arxiv.org/abs/2611.00626
AB - We prove complete entropy contraction for homogeneous Lorentzian laws and derive subgaussian matrix concentration and sharp functional inequalities for every matroid. Uniform retention of ℓ out of r particles contracts matrix entropy by the optimal universal factor ℓ/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}∪[3,∞), 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.
ER -