Bounds on the Game Transversal Number in Hypergraphs

Let $H = (V,E)$ be a hypergraph with vertex set $V$ and edge set $E$ of order \nH = |V| and size \mH = |E|. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. A vertex hits an edge if it belongs to that edge. The transversal game played on $H$ involves of two players, \emph{Edge-hitter} and \emph{Staller}, who take turns choosing a vertex from $H$. Each vertex chosen must hit at least one edge not hit by the vertices previously chosen. The game ends when the set of vertices chosen becomes a transversal in $H$. Edge-hitter wishes to minimize the number of vertices chosen in the game, while Staller wishes to maximize it. The \emph{game transversal number}, $\tau_g(H)$, of $H$ is the number of vertices chosen when Edge-hitter starts the game and both players play optimally. We compare the game transversal number of a hypergraph with its transversal number, and also present an important fact concerning the monotonicity of $\tau_g$, that we call the Transversal Continuation Principle. It is known that if $H$ is a hypergraph with all edges of size at least~$2$, and $H$ is not a $4$-cycle, then \tau_g(H) \le \frac{4}{11}(\nH+\mH); and if $H$ is a (loopless) graph, then \tau_g(H) \le \frac{1}{3}(\nH + \mH + 1). We prove that if $H$ is a $3$-uniform hypergraph, then \tau_g(H) \le \frac{5}{16}(\nH + \mH), and if $H$ is $4$-uniform, then \tau_g(H) \le \frac{71}{252}(\nH + \mH).Comment: 23 pages

Transversals in 44-Uniform Hypergraphs

Let $H$ be a $3$-regular $4$-uniform hypergraph on $n$ vertices. The transversal number $\tau(H)$ of $H$ is the minimum number of vertices that intersect every edge. Lai and Chang [J. Combin. Theory Ser. B 50 (1990), 129--133] proved that $\tau(H) \le 7n/18$. Thomass\'{e} and Yeo [Combinatorica 27 (2007), 473--487] improved this bound and showed that $\tau(H) \le 8n/21$. We provide a further improvement and prove that $\tau(H) \le 3n/8$, which is best possible due to a hypergraph of order eight. More generally, we show that if $H$ is a $4$-uniform hypergraph on $n$ vertices and $m$ edges with maximum degree $\Delta(H) \le 3$, then $\tau(H) \le n/4 + m/6$, which proves a known conjecture. We show that an easy corollary of our main result is that the total domination number of a graph on $n$ vertices with minimum degree at least~4 is at most $3n/7$, which was the main result of the Thomass\'{e}-Yeo paper [Combinatorica 27 (2007), 473--487].Comment: 41 page

Sharp Concentration of Hitting Size for Random Set Systems

Consider the random set system of {1,2,...,n}, where each subset in the power set is chosen independently with probability p. A set H is said to be a hitting set if it intersects each chosen set. The second moment method is used to exhibit the sharp concentration of the minimal size of H for a variety of values of p.Comment: 11 page

Decomposing 1-Sperner hypergraphs

A hypergraph is Sperner if no hyperedge contains another one. A Sperner hypergraph is equilizable (resp., threshold) if the characteristic vectors of its hyperedges are the (minimal) binary solutions to a linear equation (resp., inequality) with positive coefficients. These combinatorial notions have many applications and are motivated by the theory of Boolean functions and integer programming. We introduce in this paper the class of $1$-Sperner hypergraphs, defined by the property that for every two hyperedges the smallest of their two set differences is of size one. We characterize this class of Sperner hypergraphs by a decomposition theorem and derive several consequences from it. In particular, we obtain bounds on the size of $1$-Sperner hypergraphs and their transversal hypergraphs, show that the characteristic vectors of the hyperedges are linearly independent over the reals, and prove that $1$-Sperner hypergraphs are both threshold and equilizable. The study of $1$-Sperner hypergraphs is motivated also by their applications in graph theory, which we present in a companion paper