I apologize if this is a silly question, but could someone tell me whether the class polyL (polylogarithmic space) is equal to the class ATIME(polylog)? If so, where can I find a reference to this or is it obvious?
$SPACE[polylog(n)]=ATIME[polylog(n)]$ citing that $ATIME[s(n)]\subseteq SPACE[s(n)]\subseteq ATIME[(s(n))^2]$. This follows from a modified proof of Savitch's Theorem and is a pretty standard exercise in Complexity Theory courses. I'm not sure where this theorem first appeared, but I'll happily add a link to the paper if I find it or if someone links it in the comments.