arXiv++ Combinatorics

A bi-hole of size $t$ in a bipartite graph $G$ is a copy of $K_{t,t}$ in the bipartite complement of $G$. Given an $n \times n$ bipartite graph $G$, let $β(G)$ be the largest $k$ for which $G$ has a bi-hole of size $k$. We prove that \[ β(G) \geq \left \lfloor \frac{1}{2} \cdot \sum_{v \in V(G)} \frac{1}{d(v)+1} \right \rfloor. \] Furthermore, we prove the following generalization of the result above. Given an $n \times n$ bipartite graph $G$, Let $β_d(G)$ be the largest $k$ for which $G$ has a $k \times k$ $d$-degenerate subgraph. We prove that \[ β_d(G) \geq \left \lfloor \frac{1}{2} \cdot \sum_{v \in V(G)} \min\left(1,\frac{d+1}{d(v)+1}\right) \right \rfloor. \] Notice that $β_0(G) = β(G)$.

For a graph $G$, let $a(G)$ denote the maximum size of a subset of vertices that induces a forest. We prove the following. 1. Let $G$ be a graph of order $n$, maximum degree $Δ>0$ and maximum clique size $ω$. Then \[ a(G) \geq \frac{6n}{2Δ+ ω+2}. \] This bound is sharp for cliques. 2. Let $G=(V,E)$ be a triangle-free graph and let $d(v)$ denote the degree of $v \in V$. Then \[ a(G) \geq \sum_{v \in V} \min\left(1, \frac{3}{d(v)+2} \right). \] As a corollary we have that a triangle-free graph $G$ of order $n$, with $m$ edges and average degree $d \geq 2$ satisfies \[ a(G) \geq \frac{3n}{d+2}. \] This improves the lower bound $n - \frac{m}{4}$ of Alon-Mubayi-Thomas for graphs of average degree greater than $4$. Furthermore it improves the lower bound $\frac{20n - 5m - 5}{19}$ of Shi-Xu for (connected) graphs of average degree at least $\frac{9}{2}$.

Let $G$ be a $2$-coloring of a complete graph on $n$ vertices, for sufficiently large $n$. We prove that $G$ contains at least $n^{(\frac{1}{4} - o(1))\log n}$ monochromatic complete subgraphs of size $r$, where \[ 0.3\log n < r < 0.7\log n. \] The previously known lower bound on the total number of monochromatic complete subgraphs, due to Székely was $n^{0.1576\log n}$. We also prove that $G$ contains at least $n^{\frac{1}{7} \log n} $ monochromatic complete subgraphs of size $\frac{1}{2}\log n$. If furthermore one assumes that the largest monochromatic complete subgraph in $G$ is of size $(\frac{1}{2} + o(1))\log n$ (it is a well known open question whether such graphs exist), then for every constant $0 \le c \le \frac{1}{2}$ we determine (up to low order terms) the number of monochromatic complete subgraphs of size $c \log n$. We do so by proving a lower bound that matches (up to low order terms) a previous upper bound of Székely. For example, the number of monochromatic complete subgraphs of size $\frac{1}{2} \log n$ is $n^{\frac{1}{8}(4 - \log e \pm o(1))\log n} \simeq n^{0.32 \log n}$.