Leaders in multi-type TASEP

We study the totally asymmetric simple exclusion process (TASEP) on $\mathbb{Z}$ with step initial condition, in which all particles have distinct types. Our main object of interest is the type of the rightmost particle -- the leader -- at large time $t$. We prove a central limit theorem for this random variable. Somewhat unexpectedly, the problem is closely connected to certain observables of voter and coalescing processes on $\mathbb{Z}$; we therefore derive their asymptotics as well. We also analyze the large-time behavior of a few other related observables, including certain multi-particle ones.