Sharp asymptotics of disconnection time of large cylinders by simple and biased random walks

We investigate the asymptotic disconnection time of a large discrete cylinder $(\mathbb{Z}/N\mathbb{Z})^{d}\times \mathbb{Z}$, $d\geq 2$, by simple and biased random walks. For simple random walk, we derive a sharp asymptotic lower bound that matches the upper bound from [Sznitman, Ann. Probab., 2009]. For biased walks, we obtain bounds that asymptotically match in the principal order when the bias is not too strong, which greatly improves non-matching bounds from [Windisch, Ann. Appl. Probab., 2008]. As a crucial tool in the proof, we also obtain a "very strong" coupling between the trace of random walk on the cylinder and random interlacements, which is of independent interest.