Trade-offs between classical and quantum space using spooky pebbling (Logical Methods in Computer Science, 2025)