Algebraically trivial tropical cycles are smash-nilpotent
We prove that if $Z$ is a tropical cycle in a tropical variety $Y$ which is algebraically trivial, then for $k\gg1$ sufficiently large, $k!\cdot Z^k\subset Y^k$ is rationally trivial. The proof involves explicitly constructing a rational equivalence $k!\cdot(p-q)^k\sim0$ in the product $C^k$, where $p$ and $q$ are any points on $C$. We use this to formulate a tropical version of Voevodsky's conjecture, provide explicit examples, and comment on potential applications to symplectic geometry.