CAREER: Efficient and Effective Quantum Program Optimization in the High-Dimensional Space

职业：高维空间中高效且有效的量子程序优化

• 批准号: 2338773
• 负责人: Gushu Li
• 金额: $ 75.63万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2024
• 资助国家: 美国
• 起止时间: 2024-10-01 至 2029-09-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2338773&HistoricalAwards=false
• 关键词: CAREER; Efficient; Effective; Quantum; Program

Quantum computing holds immense potential for revolutionizing technology in many domains, such as physics, chemistry, material science, optimization, etc. Currently, quantum hardware advancements outpace the corresponding software capabilities, and this project aims to bridge the gap between quantum hardware capabilities and software compiler optimizations. Existing quantum compiler optimizations mostly only perform local small-scale transformations and a large optimization space remains untouched. This project aims to reshape the quantum compiler infrastructure with novel programming languages and optimization methods, which will systematically enable more effective and efficient large-scale program optimizations across high-dimensional quantum spaces and compiler support for more diverse quantum hardware platforms beyond traditional quantum bits. The project's interdisciplinary nature stimulates collaboration across various domains and its technical advancements lay the foundation for unlocking the full potential of quantum computing. This project also supports education initiatives and training opportunities for both academic and industrial participants, nurturing a skilled quantum computing workforce for societal advancement.This project will significantly enhance the performance of quantum computing software by greatly improving the capability, applicability, and reliability of quantum compiler optimizations. Specifically, this project takes a three-pronged approach. First, this project will pioneer quantum algorithmic optimizations with high-level intermediate representations and corresponding compilation algorithms, enabling comprehensive quantum program optimizations across extensive qubit and operation ranges, thus drastically improving compiler efficiency and program performance. Second, this project seeks to expand compiler support beyond qubit-based systems to encompass diverse quantum hardware paradigms like continuous-variable quantum computing and analog quantum simulators. These efforts will broaden the quantum compiler infrastructure's adaptability, unlocking the potential of diverse quantum hardware landscapes. Third, this project will develop innovative testing and verification tools that can ensure the accuracy and scalability of high-dimensional quantum program optimizations, fostering the creation of dependable quantum software. The success of this research agenda will greatly enhance quantum compiler infrastructure and contribute to the realization of more powerful quantum computing technologies and applications.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

量子计算在物理、化学、材料科学、优化等多个领域具有巨大的技术革命潜力。目前，量子硬件的进步超过了相应的软件能力，本项目旨在弥合量子硬件能力和软件编译器优化之间的差距。现有的量子编译器优化大多只执行局部小规模的变换，而很大的优化空间保持不变。该项目旨在用新颖的编程语言和优化方法重塑量子编译器基础设施，从而系统地实现跨高维量子空间的更有效和高效的大规模程序优化，并为传统量子比特以外的更多样化的量子硬件平台提供编译器支持。该项目的跨学科性质促进了各个领域的合作，其技术进步为释放量子计算的全部潜力奠定了基础。该项目还支持学术和工业参与者的教育倡议和培训机会，为社会进步培养一支熟练的量子计算劳动力。该项目将通过极大地提高量子编译器优化的能力、适用性和可靠性，显著提高量子计算软件的性能。具体地说，这个项目采取了三管齐下的方法。首先，该项目将开创量子算法优化的先河，采用高级中间表示法和相应的编译算法，使量子程序能够在广泛的量子比特和操作范围内进行全面的优化，从而大幅提高编译器的效率和程序的性能。其次，该项目寻求将编译器支持扩展到基于量子比特的系统之外，以涵盖各种量子硬件范例，如连续变量量子计算和模拟量子模拟器。这些努力将扩大量子编译器基础设施的适应性，释放不同量子硬件环境的潜力。第三，该项目将开发创新的测试和验证工具，以确保高维量子程序优化的准确性和可扩展性，促进创建可靠的量子软件。这一研究议程的成功将极大地增强量子编译器的基础设施，并为实现更强大的量子计算技术和应用做出贡献。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。