Simulating and verifying quantum circuits

该项目旨在开发新的理论和数值工具，利用当今现有的计算机模拟中等规模的量子计算机电路。这种模拟工具对于验证下一代量子计算设备的性能至关重要。该项目的预期成果包括预测中等规模（50到1000量子位）量子处理器结果的有效算法，以及对电路中可以实现“量子优势”的基本成分的明确识别。这些工具将被量子行业用于对量子设备进行基准测试，认证其性能，并为实用量子计算机开发新的高效架构。

This project aims to develop new theoretical and numerical tools to simulate intermediate-scale quantum computer circuits using today's existing computers. Such simulation tools are critically important to verify the performance of the next generation of quantum computing devices. Expected outcomes of this project include efficient algorithms to predict the outcomes of intermediate-scale (50 to 1000 qubit) quantum processors, and a clear identification of the essential ingredients in a circuit that can allow for 'quantum advantage'. These tools will be used by quantum industries to benchmark quantum devices, certify their performance, and develop new efficient architectures for practical quantum computers.