A Critique of Czerwinski's "Separation of $\mathrm{PSPACE}$ and $\mathrm{EXP}$"

Ian Clingerman, Quan Luu

Czerwinski's paper "Separation of $\mathrm{PSPACE}$ and $\mathrm{EXP}$" [Cze21] claims to prove that $\mathrm{PSPACE}\ne \mathrm{EXP}$ by showing there is no length-increasing polynomial-tim…