English

Bollob\'{a}s-type inequalities for subspaces via weight invariance

Combinatorics 2026-03-27 v1

Abstract

Let VV be an nn-dimension real vector space with a direct sum decomposition V=V1VrV = V_1 \oplus \cdots \oplus V_r. Let P={(Ai,Bi):i[m]}\mathcal{P} = \{(A_i, B_i) : i \in [m]\} be a skew Bollob\'as system of subspaces of VV such that each i[m]i\in [m], Ai=k=1r(AiVk) A_i = \bigoplus_{k=1}^r (A_i \cap V_k) and Bi=k=1r(BiVk) B_i = \bigoplus_{k=1}^r (B_i \cap V_k). We prove that i=1mk=1r[(ai,k+bi,kai,k)(1+ai,k+bi,k)1]1,\sum_{i=1}^{m} \prod_{k=1}^{r} \left[ \binom{a_{i,k} + b_{i,k}}{a_{i,k}} (1 + a_{i,k} + b_{i,k})^{-1} \right] \leq 1, where ai,k=dim(AiVk)a_{i,k} = \dim(A_i \cap V_k) and bi,k=dim(BiVk)b_{i,k} = \dim(B_i \cap V_k). This extends a recent result of Yue from set systems to finite dimensional subspaces. We then consider Tuza's theorem on weak Bollob\'as system for dd-tuples. We give an alternative proof of the original set version of Tuza, and also establish its vector space analogue. Precisely, let P={(Ai(1),,Ai(d)):i[m]}\mathcal{P} = \{(A_i^{(1)}, \ldots, A_i^{(d)}) : i \in [m]\} be a skew Bollob\'as system of dd-tuples of subspaces of finite dimensional space VV with ai()=dim(Ai())a^{(\ell)}_i=\dim (A_i^{(\ell)}). Then, for any positive real numbers p1,,pdp_1, \ldots, p_d satisfying p1++pd=1p_1 + \cdots + p_d = 1, we prove that i=1m=1dpai()1. \sum_{i=1}^{m} \prod_{\ell=1}^{d} p_{\ell}^{a_i^{(\ell)}} \leq 1.

Keywords

Cite

@article{arxiv.2603.25007,
  title  = {Bollob\'{a}s-type inequalities for subspaces via weight invariance},
  author = {Zhiyi Liu and Lihua Feng and Tingzeng Wu},
  journal= {arXiv preprint arXiv:2603.25007},
  year   = {2026}
}

Comments

11 pages