Perfect Matching in Product Graphs and in their Random Subgraphs

For $t\in \mathbb{N}$ and every $i\in [t]$, let $H_i$ be a $d_i$-regular connected graph, with $1<\mathrm{\mid }V(H_i)\mathrm{\mid }\le C$ for some integer $C\ge 2$. Let $G={\mathrm{\square }}_{i=1}^t{H}_i$ be the Cartesian product of $H_1,\dots ,H_t$. We show that if $t\ge 5C$ then $G$ contains a (nearly-)perfect matching. Then, considering the random graph process on $G$, we generalise the result of Bollobás on the binary hypercube $Q^t$, showing that with high probability, the hitting times for minimum degree one, connectivity, and the existence of a (nearly-)perfect matching in the random graph process on $G$ are the same. As a byproduct, we develop several tools which may be of independent interest in a more general setting when one seeks to establish the typical existence of a perfect matching under percolation.