arXiv++ Combinatorics

Let $k\ge2$ be fixed. We study the integer lower bound $\ell(G)$ obtained by inverting the classical counting inequality for Turán systems. For a $k$-uniform hypergraph with $n$ vertices and $m$ edges, the bound can be evaluated exactly by binary search in time polynomial in the binary lengths of $n$ and $m$. We exhibit separations from the Turán-Spencer and Caro-Tuza bounds for every fixed $k\ge3$, and from the Csaba-Plick--hokoufandeh bound in the $3$-uniform case. For the Caro-Tuza comparison, the separation grows linearly in $k$ on infinitely many regular $k$-uniform hypergraphs.

Motivated by the Dani-Mainkar construction, we extend the notion of independence polynomial of graphs to arbitrary 2-step nilpotent Lie algebras. After establishing efficiently computable upper and lower bounds for the independence number, we discuss a metric-dependent generalization motivated by a quantum mechanical interpretation of our construction. As an application, we derive elementary bounds for the dimension of abelian subalgebras of 2-step nilpotent Lie algebras.

We describe a canonical decomposition of the cohomology of the Dani-Mainkar metabelian Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the cohomology in all degrees of Lie algebras associated with arbitrary star graphs. We also describe a procedure to reduce the calculation of the cohomology of solvable Lie algebras associated with graphs through the Grantcharov-Grantcharov-Iliev construction to the cohomology of Dani-Mainkar Lie algebras.