Quantum computing is greatly advanced in recent years and is expected to transform the computation paradigm in the near future. Quantum circuit simulation plays a key role in the toolchain for the development of quantum hardware and software systems. However, due to the enormous Hilbert space of quantum states, simulating quantum circuits with classical computers is extremely challenging despite notable efforts have been made. In this paper, we enhance quantum circuit simulation in two dimensions: accuracy and scalability. The former is achieved by using an algebraic representation of complex numbers; the latter is achieved by bit-slicing the number representation and replacing matrix-vector multiplication with symbolic Boolean function manipulation. Experimental results demonstrate that our method can be superior to the state-of-the-art for various quantum circuits and can simulate certain benchmark families with up to tens of thousands of qubits.

中文翻译：

---

对希尔伯特空间进行位切片：将精确的量子电路仿真扩展到一个新的水平

近年来，量子计算取得了巨大进步，有望在不久的将来改变计算范式。量子电路仿真在开发量子硬件和软件系统的工具链中起着关键作用。然而，由于量子态的巨大希尔伯特空间，尽管已经做出了显着的努力，但用经典计算机模拟量子电路极具挑战性。在本文中，我们在两个维度上增强了量子电路模拟：准确性和可扩展性。前者是通过使用复数的代数表示来实现的；后者是通过对数字表示进行位切片并用符号布尔函数操作替换矩阵向量乘法来实现的。