(a)
Model $h$ as a random permutation. The minimum over $A\cup B$ is equally likely to be any element; it satisfies $m(A)=m(B)$ iff it lies in $A\cap B$:
$$\Pr[m(A)=m(B)]=\frac{|A\cap B|}{|A\cup B|}=J\quad\checkmark$$
(b)
With $k$ independent hash functions, $\hat{J}_{\text{MH}} = \tfrac{1}{k}\sum_{i=1}^k \mathbf{1}[m_i(A) = m_i(B)]$ is the average of $k$ different 0-1 random variables, each of which is one when $m_i(A) = m_i(B)$ and zero otherwise:
$$\mathbb{E}[\hat{J}_{\text{MH}}] = J \quad \Rightarrow \quad \text{Bias} = 0$$
$$\operatorname{MSE}(\hat{J}_{\text{MH}}) = \operatorname{Var}(\hat{J}_{\text{MH}}) = \frac{J(1-J)}{k}$$
The MSE vanishes as $k \to \infty$ independently of $|A|$ and $|B|$: to achieve $\operatorname{MSE} \leq \varepsilon^2$, it suffices to take $k \geq J(1-J)/\varepsilon^2$.
(c)
Let $|A| = |B| = n$, $|A \cap B| = m$, $|A \setminus B| = |B \setminus A| = n - m$, so $J = m/(2n-m)$.
(c.1) Expected numerator
Consider an element $x \in A \cap B$. The two samples are drawn independently: $S_A$ from $A$ and $S_B$ from $B$. Since $x$ belongs to both sets, it can be selected by either draw:
$$\Pr[x \in S_A] = \frac{k}{n}, \qquad \Pr[x \in S_B] = \frac{k}{n}$$
For $x$ to land in the **intersection** $S_A \cap S_B$ it must be selected by **both** independent draws:
$$\Pr[x \in S_A \cap S_B] = \frac{k}{n} \cdot \frac{k}{n} = \frac{k^2}{n^2}$$
Elements in $A \setminus B$ can never enter $S_B$, and elements in $B \setminus A$ can never enter $S_A$, so they contribute $0$ to the intersection. By linearity of expectation:
$$\mathbb{E}[|S_A \cap S_B|] = m \cdot \frac{k^2}{n^2}$$
(c.2) Expected denominator
We always draw exactly $k$ elements into $S_A$ and $k$ into $S_B$. Every element we pick is by definition in the union, so by inclusionβexclusion on the two fixed-size samples:
$$|S_A \cup S_B| = |S_A| + |S_B| - |S_A \cap S_B| = 2k - |S_A \cap S_B|$$
Taking expectations:
$$\mathbb{E}[|S_A \cup S_B|] = 2k - \mathbb{E}[|S_A \cap S_B|] = 2k - \frac{mk^2}{n^2}$$
For $k \ll n$ the second-order term $mk^2/n^2$ is negligible, so:
$$\mathbb{E}[\hat{J}_{\text{S}}] \approx \frac{mk^2/n^2}{2k} = \frac{mk}{2n^2}$$
Since $J \approx m/(2n)$ (for $m \ll n$), this simplifies to:
$$\mathbb{E}[\hat{J}_{\text{S}}] \approx J \cdot \frac{k}{n}$$
MinHash's entire error is variance (zero bias), shrinking as $1/k$ regardless of $n$. Sampling has an irreducible bias that only vanishes when $k\approx n$.