我们展示了关于量子图灵机（QTM）在严重受限内存下可解决的问题集的新结果。在此背景下，我们证明了“小空间”范围内的两个无限时间复杂度层次：对于任意$i\geq 0$，存在一个语言，可以由常量空间机器在$2^{O(n^{1/2^i})}$时间内识别，但不能被任何亚对数空间QTM在$2^{O(n^{1/2^{i+1}})}$时间内识别。对于运行于$o(\log \log n)$空间内的量子机器，还存在另一个层次结构，每个级别对应于不同正整数$i$的期望运行时间为$2^{O((\log n)^i)}$。此外，我们改进了一个量子优势结果，展示了一个语言，它可以由多项式时间常量空间QTM识别，但不能被任何经典机器在$o(\log \log n)$空间内识别，无论时间预算如何。文中讨论了这些发现对量子时空权衡的影响。

We present new results on the landscape of problems that can be solved by quantum Turing machines (QTM's) employing severely limited amounts of memory. In this context, we demonstrate two infinite time hierarchies of complexity classes within the ``small space'' regime: For all $i\geq 0$, there is a language that can be recognized by a constant-space machine in $2^{O(n^{1/2^i})}$ time, but not by any sublogarithmic-space QTM in $2^{O(n^{1/2^{i+1}})}$ time. For quantum machines operating within $o(\log \log n)$ space, there exists another hierarchy, each level of which corresponds to an expected runtime of $2^{O((\log n)^i)}$ for a different positive integer $i$. We also improve a quantum advantage result, demonstrating a language that can be recognized by a polynomial-time constant-space QTM, but not by any classical machine using $o(\log \log n)$ space, regardless of the time budget. The implications of our findings for quantum space-time tradeoffs are discussed.