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.

Let $G=(V,E)$ be a connected, finite undirected graph. A set $S \subseteq V$ is said to be a total dominating set of $G$ if every vertex in $V$ is adjacent to some vertex in $S$. The total domination number, $γ_{t}(G)$, is the minimum cardinality of a total dominating set in $G$. We define the $k$-total bondage of $G$ to be the minimum number of edges to remove from $G$ so that the resulting graph has a total domination number at least $k$ more than $γ_{t}(G)$. We establish general properties of $k$-total bondage and find exact values for certain graph classes including paths, cycles, wheels, complete and complete bipartite graphs.

We introduce the notion of a move graph, that is, a directed graph whose vertex set is a $\mathbb Z$-module $\mathbb Z_n^m$, and whose arc set is uniquely determined by the action $M\!:\!\mathbb Z_n^m\to \mathbb Z_n^m$ where $M$ is an $m\times m$ matrix with integer entries. We study the manner in which properties of move graphs differ when one varies the choice of cyclic group $\mathbb Z_n$. Our principal focus is on a special family of such graphs, which we refer to as ``sub-add move graphs.''