arXiv++ Combinatorics

We prove a strengthening of Füredi's conjecture on strong Bollobás $t$-systems. For nonnegative integers $t$ and $s$, a family of $m\ge2$ pairs of finite sets $(A_i,B_i)$ satisfying $|A_i\cap B_i|\le t$ and $|A_i\cap B_j|>t+s$ for all $i\ne j$ satisfies \[ \sum_{i=1}^{m} \frac{\binom{|B_i|-t+s}{s}} {\binom{|A_i|+|B_i|-2t}{|A_i|-t}}\le1. \] When $s=0$, this is precisely Füredi's conjectured weighted inequality. The proof is based on a local growth inequality for graded exterior ideals, a basis-exchange construction, and a common-section reduction. The same method gives the corresponding inequality for subspaces over arbitrary fields. We also determine a best possible upper bound for the Füredi weight sum, construct equality examples with an arbitrary prescribed number of pairs, and derive further inequalities from two-sided basis exchanges.

We generalize the problem of hyperplane coverings from the Boolean cube to the $m$-fold hypercube $mB^n = \{0,1,\ldots,m\}^n$. Let $f_m(n,k)$ denote the minimum number of hyperplanes such that each point of $mB^n$ is covered at least $k$ times while the origin is uncovered. We derive upper and lower bounds for $f_m(n,k)$, and further determine the exact value: $f_m(n,2) = mn + m$. To achieve this, we establish a version of Sauermann--Wigderson Combinatorial Nullstellensatz for $mB^n$, which enables us to construct polynomials with prescribed vanishing multiplicities.

In 2000, Kadell gave an orthogonality conjecture for a symmetric function generalization of the Zeilberger--Bressoud $q$-Dyson constant term identity. The non-zero part of Kadell's conjecture is a constant term identity indexed by a weak composition $v$. This conjecture was first proved by Károlyi, Lascoux and Warnaar in 2015. They further formulated a closed-form expression for the above constant term when all parts of the composition $v$ are distinct. In 2021, Zhou obtained a recursion for this constant term for an arbitrary composition $v$. In this paper, by categorizing the variables into two parts, we generalize Zhou's result.

The LYM inequality is a fundamental result concerning the sizes of subsets in a Sperner family. Subsequent studies on the LYM inequality have been generalized to families of $r$-decompositions, where all components are required to avoid chains of the same length. In this paper, we relax this constraint by allowing components of a family of $r$-decompositions to avoid chains of distinct lengths, and derive generalized LYM inequalities across all the relevant settings, including set-theoretic, $q$-analog, continuous analog, and arithmetic analog frameworks. Notably, the bound in our LYM inequalities does not depend on the maximal length of all forbidden chains. Moreover, we extend our approach beyond $r$-decompositions to $r$-multichains, and establish analogous LYM inequalities.