Symmetric Grassmann Formulas: Monotone Dimension-Defect Hierarchies
Abstract
We study the dimension defect of finitely many subspaces over an arbitrary field. We derive a symmetric, nonrecursive Grassmann-type formula for the dimension of their sum. The formula expresses the total dimension loss through intersections of a distinguished subspace with partial sums of the remaining subspaces, with coefficients determined by the number of subspaces involved. We also show that the formula admits a Shapley-value interpretation for the associated representable polymatroid. Grouping the correction terms by the number of participating subspaces yields a nonnegative dimension-defect profile. We prove that this profile is monotone and identify its successive gaps with the discrete curvatures of the average-rank profile. These gaps give exact remainders in two-sided defect bounds. Equality in either bound holds precisely when the images of the subspaces in the quotient by their common intersection form an internal direct sum. We also give an exact geometric decomposition of the Kinser slack into nonnegative quotient dimensions and characterize equality. Averaging these slacks over permutations and contractions recovers every defect curvature except the final one; additional representability constraints remain in the individual ordered slacks. Weighted and dual formulas accompany the expansion, and entropy analogues express the defect levels and curvatures as averages of mutual and conditional mutual information, respectively.
Related
- A logarithmically monotone symmetric norm which is not fully symmetric
- Symmetric and antisymmetric cumulant hierarchies and Wick polynomials of operators
- Entire monotone solutions of the anisotropic Allen-Cahn equation in dimension 5
- Isospectral Deformations of Diagonal Matrices by Symmetric Matrices in Dimension Four
- Semialgebraic Dimension and Truncated Toeplitz Models for Complex Symmetric Matrices
BibTeX
@misc{gharahi2026symmetric,
title = {{Symmetric Grassmann Formulas: Monotone Dimension-Defect Hierarchies}},
author = {Masoud Gharahi and Diego Ponterio},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.06739},
eprint = {2610.06739},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.06739},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Symmetric Grassmann Formulas: Monotone Dimension-Defect Hierarchies
AU - Masoud Gharahi
AU - Diego Ponterio
PY - 2026
DA - 2026/10/05
PB - arXiv
DO - 10.48550/arxiv.2610.06739
UR - https://arxiv.org/abs/2610.06739
AB - We study the dimension defect of finitely many subspaces over an arbitrary field. We derive a symmetric, nonrecursive Grassmann-type formula for the dimension of their sum. The formula expresses the total dimension loss through intersections of a distinguished subspace with partial sums of the remaining subspaces, with coefficients determined by the number of subspaces involved. We also show that the formula admits a Shapley-value interpretation for the associated representable polymatroid. Grouping the correction terms by the number of participating subspaces yields a nonnegative dimension-defect profile. We prove that this profile is monotone and identify its successive gaps with the discrete curvatures of the average-rank profile. These gaps give exact remainders in two-sided defect bounds. Equality in either bound holds precisely when the images of the subspaces in the quotient by their common intersection form an internal direct sum. We also give an exact geometric decomposition of the Kinser slack into nonnegative quotient dimensions and characterize equality. Averaging these slacks over permutations and contractions recovers every defect curvature except the final one; additional representability constraints remain in the individual ordered slacks. Weighted and dual formulas accompany the expansion, and entropy analogues express the defect levels and curvatures as averages of mutual and conditional mutual information, respectively.
ER -