首页 > 最新文献

ACM Transactions on Quantum Computing最新文献

英文 中文
qprof: A gprof-Inspired Quantum Profiler qprof:一个受gprof启发的量子分析器
Pub Date : 2021-06-14 DOI: 10.1145/3529398
Adrien Suau, G. Staffelbach, A. Todri-Sanial
We introduce qprof, a new and extensible quantum program profiler able to generate profiling reports of quantum circuits written using various quantum computing frameworks. We describe the internal structure and working of qprof and provide practical examples on quantum circuits with increasing complexity along with benchmarks of the tool execution time on large circuits. This tool will allow researchers to visualise their quantum algorithm implementation in a different and complementary way and reliably localise the bottlenecks for efficient code optimisation.
我们介绍了qprof,一个新的和可扩展的量子程序分析器,能够生成使用各种量子计算框架编写的量子电路的分析报告。我们描述了qprof的内部结构和工作原理,并提供了越来越复杂的量子电路上的实际示例,以及在大型电路上对工具执行时间的基准测试。该工具将允许研究人员以不同的和互补的方式可视化他们的量子算法实现,并可靠地定位高效代码优化的瓶颈。
{"title":"qprof: A gprof-Inspired Quantum Profiler","authors":"Adrien Suau, G. Staffelbach, A. Todri-Sanial","doi":"10.1145/3529398","DOIUrl":"https://doi.org/10.1145/3529398","url":null,"abstract":"We introduce qprof, a new and extensible quantum program profiler able to generate profiling reports of quantum circuits written using various quantum computing frameworks. We describe the internal structure and working of qprof and provide practical examples on quantum circuits with increasing complexity along with benchmarks of the tool execution time on large circuits. This tool will allow researchers to visualise their quantum algorithm implementation in a different and complementary way and reliably localise the bottlenecks for efficient code optimisation.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127542101","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Optimal Qubit Assignment and Routing via Integer Programming 基于整数规划的最优量子位分配和路由
Pub Date : 2021-06-11 DOI: 10.1145/3544563
G. Nannicini, L. Bishop, O. Günlük, P. Jurcevic
We consider the problem of mapping a logical quantum circuit onto a given hardware with limited 2-qubit connectivity. We model this problem as an integer linear program, using a network flow formulation with binary variables that includes the initial allocation of qubits and their routing. We consider several cost functions: an approximation of the fidelity of the circuit, its total depth, and a measure of cross-talk, all of which can be incorporated in the model. Numerical experiments on synthetic data and different hardware topologies indicate that the error rate and depth can be optimized simultaneously without significant loss. We test our algorithm on a large number of quantum volume circuits, optimizing for error rate and depth; our algorithm significantly reduces the number of CNOTs compared to Qiskit’s default transpiler SABRE [19] and produces circuits that, when executed on hardware, exhibit higher fidelity.
我们考虑将逻辑量子电路映射到具有有限2量子位连接的给定硬件上的问题。我们将此问题建模为整数线性规划,使用包含二进制变量的网络流公式,其中包括量子位的初始分配及其路由。我们考虑了几个成本函数:电路保真度的近似值,其总深度和串扰的度量,所有这些都可以纳入模型中。在合成数据和不同硬件拓扑上的数值实验表明,该方法可以在不造成显著损失的情况下同时优化错误率和深度。我们在大量量子体积电路上测试了我们的算法,优化了错误率和深度;与Qiskit的默认转译器SABRE[19]相比,我们的算法显著减少了cnet的数量,并且产生的电路在硬件上执行时具有更高的保真度。
{"title":"Optimal Qubit Assignment and Routing via Integer Programming","authors":"G. Nannicini, L. Bishop, O. Günlük, P. Jurcevic","doi":"10.1145/3544563","DOIUrl":"https://doi.org/10.1145/3544563","url":null,"abstract":"We consider the problem of mapping a logical quantum circuit onto a given hardware with limited 2-qubit connectivity. We model this problem as an integer linear program, using a network flow formulation with binary variables that includes the initial allocation of qubits and their routing. We consider several cost functions: an approximation of the fidelity of the circuit, its total depth, and a measure of cross-talk, all of which can be incorporated in the model. Numerical experiments on synthetic data and different hardware topologies indicate that the error rate and depth can be optimized simultaneously without significant loss. We test our algorithm on a large number of quantum volume circuits, optimizing for error rate and depth; our algorithm significantly reduces the number of CNOTs compared to Qiskit’s default transpiler SABRE [19] and produces circuits that, when executed on hardware, exhibit higher fidelity.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134320943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
Best Approximate Quantum Compiling Problems 最佳近似量子编译问题
Pub Date : 2021-06-10 DOI: 10.1145/3505181
Liam Madden, Andrea Simonetto
We study the problem of finding the best approximate circuit that is the closest (in some pertinent metric) to a target circuit, and which satisfies a number of hardware constraints, like gate alphabet and connectivity. We look at the problem in the CNOT+rotation gate set from a mathematical programming standpoint, offering contributions both in terms of understanding the mathematics of the problem and its efficient solution. Among the results that we present, we are able to derive a 14-CNOT 4-qubit Toffoli decomposition from scratch, and show that the Quantum Shannon Decomposition can be compressed by a factor of two without practical loss of fidelity.
我们研究了寻找最接近(在一些相关度量中)目标电路的最佳近似电路的问题,并且它满足许多硬件约束,如门字母和连通性。我们从数学规划的角度看待CNOT+旋转门集合中的问题,在理解问题的数学原理及其有效解决方案方面都做出了贡献。在我们提出的结果中,我们能够从零开始推导出14-CNOT 4量子位Toffoli分解,并表明量子香农分解可以被压缩两倍而不会实际损失保真度。
{"title":"Best Approximate Quantum Compiling Problems","authors":"Liam Madden, Andrea Simonetto","doi":"10.1145/3505181","DOIUrl":"https://doi.org/10.1145/3505181","url":null,"abstract":"We study the problem of finding the best approximate circuit that is the closest (in some pertinent metric) to a target circuit, and which satisfies a number of hardware constraints, like gate alphabet and connectivity. We look at the problem in the CNOT+rotation gate set from a mathematical programming standpoint, offering contributions both in terms of understanding the mathematics of the problem and its efficient solution. Among the results that we present, we are able to derive a 14-CNOT 4-qubit Toffoli decomposition from scratch, and show that the Quantum Shannon Decomposition can be compressed by a factor of two without practical loss of fidelity.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116137458","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 28
ArQTiC: A Full-stack Software Package for Simulating Materials on Quantum Computers ArQTiC:用于量子计算机上模拟材料的全栈软件包
Pub Date : 2021-06-09 DOI: 10.1145/3511715
Lindsay Bassman, Connor Powers, W. D. de Jong
ArQTiC is an open-source, full-stack software package built for the simulations of materials on quantum computers. It currently can simulate materials that can be modeled by any Hamiltonian derived from a generic, one-dimensional, time-dependent Heisenberg Hamiltonian. ArQTiC includes modules for generating quantum programs for real- and imaginary-time evolution, quantum circuit optimization, connection to various quantum backends via the cloud, and post-processing of quantum results. By enabling users to seamlessly design, execute, and analyze materials simulations on quantum computers, ArQTiC opens this field to a broader community of scientists from a wider range of scientific domains.
ArQTiC是一个开源的全栈软件包,用于在量子计算机上模拟材料。目前,它可以模拟可以由一般的、一维的、随时间变化的海森堡哈密顿量导出的任何哈密顿量来建模的材料。ArQTiC包括生成实时和虚时演化的量子程序、量子电路优化、通过云连接各种量子后端以及量子结果后处理等模块。通过使用户能够在量子计算机上无缝地设计、执行和分析材料模拟,ArQTiC向来自更广泛科学领域的更广泛的科学家社区开放了这一领域。
{"title":"ArQTiC: A Full-stack Software Package for Simulating Materials on Quantum Computers","authors":"Lindsay Bassman, Connor Powers, W. D. de Jong","doi":"10.1145/3511715","DOIUrl":"https://doi.org/10.1145/3511715","url":null,"abstract":"ArQTiC is an open-source, full-stack software package built for the simulations of materials on quantum computers. It currently can simulate materials that can be modeled by any Hamiltonian derived from a generic, one-dimensional, time-dependent Heisenberg Hamiltonian. ArQTiC includes modules for generating quantum programs for real- and imaginary-time evolution, quantum circuit optimization, connection to various quantum backends via the cloud, and post-processing of quantum results. By enabling users to seamlessly design, execute, and analyze materials simulations on quantum computers, ArQTiC opens this field to a broader community of scientists from a wider range of scientific domains.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123872643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
PyMatching: A Python Package for Decoding Quantum Codes with Minimum-Weight Perfect Matching PyMatching:一个Python包,用于解码具有最小权重完美匹配的量子码
Pub Date : 2021-05-27 DOI: 10.1145/3505637
Oscar Higgott
This article introduces PyMatching, a fast open-source Python package for decoding quantum error-correcting codes with the minimum-weight perfect matching (MWPM) algorithm. PyMatching includes the standard MWPM decoder as well as a variant, which we call local matching, that restricts each syndrome defect to be matched to another defect within a local neighborhood. The decoding performance of local matching is almost identical to that of the standard MWPM decoder in practice, while reducing the computational complexity. We benchmark the performance of PyMatching, showing that local matching is several orders of magnitude faster than implementations of the full MWPM algorithm using NetworkX or Blossom V for problem sizes typically considered in error correction simulations. PyMatching and its dependencies are open-source, and it can be used to decode any quantum code for which syndrome defects come in pairs using a simple Python interface. PyMatching supports the use of weighted edges, hook errors, boundaries and measurement errors, enabling fast decoding, and simulation of fault-tolerant quantum computing.
本文介绍PyMatching,这是一个快速的开源Python包,用于使用最小权重完美匹配(MWPM)算法解码量子纠错码。PyMatching包括标准的MWPM解码器以及一个变体,我们称之为局部匹配,它限制每个综合征缺陷与局部邻域内的另一个缺陷匹配。在实际应用中,局部匹配的译码性能与标准MWPM译码器几乎相同,同时降低了计算复杂度。我们对PyMatching的性能进行了基准测试,结果表明,对于错误校正模拟中通常考虑的问题大小,使用NetworkX或Blossom V的完整MWPM算法的实现比本地匹配快几个数量级。PyMatching及其依赖项是开源的,它可以使用简单的Python接口来解码任何量子代码,其中综合症缺陷成对出现。PyMatching支持使用加权边、钩子错误、边界和测量错误,实现快速解码,并模拟容错量子计算。
{"title":"PyMatching: A Python Package for Decoding Quantum Codes with Minimum-Weight Perfect Matching","authors":"Oscar Higgott","doi":"10.1145/3505637","DOIUrl":"https://doi.org/10.1145/3505637","url":null,"abstract":"This article introduces PyMatching, a fast open-source Python package for decoding quantum error-correcting codes with the minimum-weight perfect matching (MWPM) algorithm. PyMatching includes the standard MWPM decoder as well as a variant, which we call local matching, that restricts each syndrome defect to be matched to another defect within a local neighborhood. The decoding performance of local matching is almost identical to that of the standard MWPM decoder in practice, while reducing the computational complexity. We benchmark the performance of PyMatching, showing that local matching is several orders of magnitude faster than implementations of the full MWPM algorithm using NetworkX or Blossom V for problem sizes typically considered in error correction simulations. PyMatching and its dependencies are open-source, and it can be used to decode any quantum code for which syndrome defects come in pairs using a simple Python interface. PyMatching supports the use of weighted edges, hook errors, boundaries and measurement errors, enabling fast decoding, and simulation of fault-tolerant quantum computing.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122735646","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 74
Time- and Query-optimal Quantum Algorithms Based on Decision Trees 基于决策树的时间和查询最优量子算法
Pub Date : 2021-05-18 DOI: 10.1145/3519269
Salman Beigi, Leila Taghavi, Artin Tajdini
It has recently been shown that starting with a classical query algorithm (decision tree) and a guessing algorithm that tries to predict the query answers, we can design a quantum algorithm with query complexity O(√ GT where T is the query complexity of the classical algorithm (depth of the decision tree) and G is the maximum number of wrong answers by the guessing algorithm [3, 14]. In this article, we show that, given some constraints on the classical algorithms, this quantum algorithm can be implemented in time Õ(√ GT). Our algorithm is based on non-binary span programs and their efficient implementation. We conclude that various graph-theoretic problems including bipartiteness, cycle detection, and topological sort can be solved in time O(n3/2log2n) and with O(n3/2) quantum queries. Moreover, finding a maximal matching can be solved with O(n3/2) quantum queries in time O(n3/2log2n), and maximum bipartite matching can be solved in time O(n2log2n).
最近有研究表明,从经典查询算法(决策树)和尝试预测查询答案的猜测算法开始,我们可以设计一个查询复杂度为O(√GT)的量子算法,其中T为经典算法(决策树深度)的查询复杂度,G为猜测算法的最大错误答案数[3,14]。在本文中,我们证明了在给定经典算法的一些约束条件下,该量子算法可以在Õ(√GT)时间内实现。我们的算法基于非二进制跨度程序及其高效实现。我们得出结论,各种图论问题,包括双分性、循环检测和拓扑排序,可以在O(n3/2log2n)时间内用O(n3/2)个量子查询解决。在O(n3/2log2n)时间内,可以用O(n3/2log2n)个量子查询求解最大匹配,在O(n2log2n)时间内求解最大二部匹配。
{"title":"Time- and Query-optimal Quantum Algorithms Based on Decision Trees","authors":"Salman Beigi, Leila Taghavi, Artin Tajdini","doi":"10.1145/3519269","DOIUrl":"https://doi.org/10.1145/3519269","url":null,"abstract":"It has recently been shown that starting with a classical query algorithm (decision tree) and a guessing algorithm that tries to predict the query answers, we can design a quantum algorithm with query complexity O(√ GT where T is the query complexity of the classical algorithm (depth of the decision tree) and G is the maximum number of wrong answers by the guessing algorithm [3, 14]. In this article, we show that, given some constraints on the classical algorithms, this quantum algorithm can be implemented in time Õ(√ GT). Our algorithm is based on non-binary span programs and their efficient implementation. We conclude that various graph-theoretic problems including bipartiteness, cycle detection, and topological sort can be solved in time O(n3/2log2n) and with O(n3/2) quantum queries. Moreover, finding a maximal matching can be solved with O(n3/2) quantum queries in time O(n3/2log2n), and maximum bipartite matching can be solved in time O(n2log2n).","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131670489","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Extending Python for Quantum-classical Computing via Quantum Just-in-time Compilation 通过量子即时编译扩展Python用于量子经典计算
Pub Date : 2021-05-10 DOI: 10.1145/3544496
Thien Nguyen, A. McCaskey
Python is a popular programming language known for its flexibility, usability, readability, and focus on developer productivity. The quantum software community has adopted Python on a number of large-scale efforts due to these characteristics, as well as the remote nature of near-term quantum processors. The use of Python has enabled quick prototyping for quantum code that directly benefits pertinent research and development efforts in quantum scientific computing. However, this rapid prototyping ability comes at the cost of future performant integration for tightly coupled CPU-QPU architectures with fast-feedback. Here, we present a language extension to Python that enables heterogeneous quantum-classical computing via a robust C++ infrastructure for quantum just-in-time (QJIT) compilation. Our work builds off the QCOR C++ language extension and compiler infrastructure to enable a single-source, quantum hardware-agnostic approach to quantum-classical computing that retains the performance required for tightly coupled CPU-QPU compute models. We detail this Python extension, its programming model and underlying software architecture, and provide a robust set of examples to demonstrate the utility of our approach.
Python是一种流行的编程语言,以其灵活性、可用性、可读性和对开发人员生产力的关注而闻名。由于这些特点,以及近期量子处理器的远程特性,量子软件社区已经在许多大规模的工作中采用了Python。Python的使用使量子代码的快速原型化成为可能,这直接有利于量子科学计算的相关研究和开发工作。然而,这种快速的原型能力是以未来的性能集成为代价的,因为CPU-QPU架构紧密耦合且具有快速反馈。在这里,我们提出了Python的一种语言扩展,它通过强大的c++基础设施实现量子实时(QJIT)编译,从而实现异构量子经典计算。我们的工作建立在QCOR c++语言扩展和编译器基础设施的基础上,以实现单源、量子硬件无关的量子经典计算方法,从而保持紧耦合CPU-QPU计算模型所需的性能。我们详细介绍了这个Python扩展、它的编程模型和底层软件架构,并提供了一组健壮的示例来演示我们的方法的实用性。
{"title":"Extending Python for Quantum-classical Computing via Quantum Just-in-time Compilation","authors":"Thien Nguyen, A. McCaskey","doi":"10.1145/3544496","DOIUrl":"https://doi.org/10.1145/3544496","url":null,"abstract":"Python is a popular programming language known for its flexibility, usability, readability, and focus on developer productivity. The quantum software community has adopted Python on a number of large-scale efforts due to these characteristics, as well as the remote nature of near-term quantum processors. The use of Python has enabled quick prototyping for quantum code that directly benefits pertinent research and development efforts in quantum scientific computing. However, this rapid prototyping ability comes at the cost of future performant integration for tightly coupled CPU-QPU architectures with fast-feedback. Here, we present a language extension to Python that enables heterogeneous quantum-classical computing via a robust C++ infrastructure for quantum just-in-time (QJIT) compilation. Our work builds off the QCOR C++ language extension and compiler infrastructure to enable a single-source, quantum hardware-agnostic approach to quantum-classical computing that retains the performance required for tightly coupled CPU-QPU compute models. We detail this Python extension, its programming model and underlying software architecture, and provide a robust set of examples to demonstrate the utility of our approach.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125646669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Leveraging State Sparsity for More Efficient Quantum Simulations 利用状态稀疏性进行更有效的量子模拟
Pub Date : 2021-05-04 DOI: 10.1145/3491248
Samuel Jaques, Thomas Häner
High-performance techniques to simulate quantum programs on classical hardware rely on exponentially large vectors to represent quantum states. When simulating quantum algorithms, the quantum states that occur are often sparse due to special structure in the algorithm or even in the underlying problem. We thus introduce a new simulation method that exploits this sparsity to reduce memory usage and simulation runtime. Moreover, our prototype implementation includes optimizations such as gate (re)scheduling, which amortizes data structure accesses and reduces memory usage. To benchmark our implementation, we run quantum algorithms for factoring, for computing integer and elliptic curve discrete logarithms, and for chemistry. Our simulator successfully runs a factoring instance of a 20-bit number using 102 qubits, and elliptic curve discrete logarithm over a 10-bit curve with 110 qubits. While previous work needed a supercomputer to simulate such instances of factoring, our approach succeeds in less than four minutes using a single core and less than 100 MB of memory. To the best of our knowledge, we are the first to fully simulate a quantum algorithm to compute elliptic curve discrete logarithms.
在经典硬件上模拟量子程序的高性能技术依赖于指数大向量来表示量子态。在模拟量子算法时,由于算法甚至底层问题的特殊结构,所发生的量子态往往是稀疏的。因此,我们引入了一种新的模拟方法,利用这种稀疏性来减少内存使用和模拟运行时。此外,我们的原型实现包括门(重新)调度等优化,它可以平摊数据结构访问并减少内存使用。为了对我们的实现进行基准测试,我们运行了用于分解、计算整数和椭圆曲线离散对数以及化学的量子算法。我们的模拟器成功运行了一个使用102个量子比特的20位数字的因数分解实例,以及一个使用110个量子比特的10位曲线上的椭圆曲线离散对数。虽然以前的工作需要一台超级计算机来模拟这种分解实例,但我们的方法使用单核和不到100 MB的内存在不到4分钟的时间内就成功了。据我们所知,我们是第一个完全模拟量子算法来计算椭圆曲线离散对数的。
{"title":"Leveraging State Sparsity for More Efficient Quantum Simulations","authors":"Samuel Jaques, Thomas Häner","doi":"10.1145/3491248","DOIUrl":"https://doi.org/10.1145/3491248","url":null,"abstract":"High-performance techniques to simulate quantum programs on classical hardware rely on exponentially large vectors to represent quantum states. When simulating quantum algorithms, the quantum states that occur are often sparse due to special structure in the algorithm or even in the underlying problem. We thus introduce a new simulation method that exploits this sparsity to reduce memory usage and simulation runtime. Moreover, our prototype implementation includes optimizations such as gate (re)scheduling, which amortizes data structure accesses and reduces memory usage. To benchmark our implementation, we run quantum algorithms for factoring, for computing integer and elliptic curve discrete logarithms, and for chemistry. Our simulator successfully runs a factoring instance of a 20-bit number using 102 qubits, and elliptic curve discrete logarithm over a 10-bit curve with 110 qubits. While previous work needed a supercomputer to simulate such instances of factoring, our approach succeeds in less than four minutes using a single core and less than 100 MB of memory. To the best of our knowledge, we are the first to fully simulate a quantum algorithm to compute elliptic curve discrete logarithms.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133913457","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A Backend-agnostic, Quantum-classical Framework for Simulations of Chemistry in C++ 一个后端不可知的、量子经典的c++化学模拟框架
Pub Date : 2021-05-04 DOI: 10.1145/3523285
D. Claudino, A. McCaskey, Dmitry I. Lyakh
As quantum computing hardware systems continue to advance, the research and development of performant, scalable, and extensible software architectures, languages, models, and compilers is equally as important to bring this novel coprocessing capability to a diverse group of domain computational scientists. For the field of quantum chemistry, applications and frameworks exist for modeling and simulation tasks that scale on heterogeneous classical architectures, and we envision the need for similar frameworks on heterogeneous quantum-classical platforms. Here, we present the XACC system-level quantum computing framework as a platform for prototyping, developing, and deploying quantum-classical software that specifically targets chemistry applications. We review the fundamental design features in XACC, with special attention to its extensibility and modularity for key quantum programming workflow interfaces and provide an overview of the interfaces most relevant to simulations of chemistry. A series of examples demonstrating some of the state-of-the-art chemistry algorithms currently implemented in XACC are presented, while also illustrating the various APIs that would enable the community to extend, modify, and devise new algorithms and applications in the realm of chemistry.
随着量子计算硬件系统的不断发展,高性能、可扩展和可扩展的软件架构、语言、模型和编译器的研究和开发对于将这种新颖的协同处理能力带给不同领域的计算科学家来说同样重要。对于量子化学领域,存在用于在异构经典架构上扩展的建模和仿真任务的应用程序和框架,我们设想在异构量子经典平台上需要类似的框架。在这里,我们提出了XACC系统级量子计算框架,作为原型设计、开发和部署量子经典软件的平台,专门针对化学应用。我们回顾了XACC的基本设计特征,特别关注其关键量子编程工作流接口的可扩展性和模块化,并概述了与化学模拟最相关的接口。本文给出了一系列示例,展示了目前在XACC中实现的一些最先进的化学算法,同时还说明了各种api,这些api将使社区能够扩展、修改和设计化学领域中的新算法和应用程序。
{"title":"A Backend-agnostic, Quantum-classical Framework for Simulations of Chemistry in C++","authors":"D. Claudino, A. McCaskey, Dmitry I. Lyakh","doi":"10.1145/3523285","DOIUrl":"https://doi.org/10.1145/3523285","url":null,"abstract":"As quantum computing hardware systems continue to advance, the research and development of performant, scalable, and extensible software architectures, languages, models, and compilers is equally as important to bring this novel coprocessing capability to a diverse group of domain computational scientists. For the field of quantum chemistry, applications and frameworks exist for modeling and simulation tasks that scale on heterogeneous classical architectures, and we envision the need for similar frameworks on heterogeneous quantum-classical platforms. Here, we present the XACC system-level quantum computing framework as a platform for prototyping, developing, and deploying quantum-classical software that specifically targets chemistry applications. We review the fundamental design features in XACC, with special attention to its extensibility and modularity for key quantum programming workflow interfaces and provide an overview of the interfaces most relevant to simulations of chemistry. A series of examples demonstrating some of the state-of-the-art chemistry algorithms currently implemented in XACC are presented, while also illustrating the various APIs that would enable the community to extend, modify, and devise new algorithms and applications in the realm of chemistry.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121416795","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
OpenQASM 3: A Broader and Deeper Quantum Assembly Language OpenQASM 3:一种更广泛、更深层次的量子汇编语言
Pub Date : 2021-04-30 DOI: 10.1145/3505636
Andrew W. Cross, Ali Javadi-Abhari, Thomas Alexander, N. de Beaudrap, L. Bishop, S. Heidel, C. Ryan, P. Sivarajah, J. Smolin, J. Gambetta, Blake R. Johnson
Quantum assembly languages are machine-independent languages that traditionally describe quantum computation in the circuit model. Open quantum assembly language (OpenQASM 2) was proposed as an imperative programming language for quantum circuits based on earlier QASM dialects. In principle, any quantum computation could be described using OpenQASM 2, but there is a need to describe a broader set of circuits beyond the language of qubits and gates. By examining interactive use cases, we recognize two different timescales of quantum-classical interactions: real-time classical computations that must be performed within the coherence times of the qubits, and near-time computations with less stringent timing. Since the near-time domain is adequately described by existing programming frameworks, we choose in OpenQASM 3 to focus on the real-time domain, which must be more tightly coupled to the execution of quantum operations. We add support for arbitrary control flow as well as calling external classical functions. In addition, we recognize the need to describe circuits at multiple levels of specificity, and therefore we extend the language to include timing, pulse control, and gate modifiers. These new language features create a multi-level intermediate representation for circuit development and optimization, as well as control sequence implementation for calibration, characterization, and error mitigation.
量子汇编语言是一种与机器无关的语言,传统上用于描述电路模型中的量子计算。开放量子汇编语言(OpenQASM 2)是在早期量子汇编语言方言的基础上提出的一种用于量子电路的命令式编程语言。原则上,任何量子计算都可以使用OpenQASM 2来描述,但是需要描述一组更广泛的电路,而不仅仅是量子比特和门的语言。通过检查交互用例,我们认识到量子-经典相互作用的两种不同的时间尺度:必须在量子比特的相干时间内执行的实时经典计算,以及时间不太严格的近时间计算。由于现有的编程框架已经充分描述了近时间域,我们选择在OpenQASM 3中关注实时域,这必须与量子操作的执行更紧密地耦合。我们增加了对任意控制流以及调用外部经典函数的支持。此外,我们认识到需要在多个层次上描述电路的特异性,因此我们扩展了语言,包括时序,脉冲控制和门调节器。这些新的语言特性为电路开发和优化以及用于校准、表征和减少错误的控制序列实现创建了多层次的中间表示。
{"title":"OpenQASM 3: A Broader and Deeper Quantum Assembly Language","authors":"Andrew W. Cross, Ali Javadi-Abhari, Thomas Alexander, N. de Beaudrap, L. Bishop, S. Heidel, C. Ryan, P. Sivarajah, J. Smolin, J. Gambetta, Blake R. Johnson","doi":"10.1145/3505636","DOIUrl":"https://doi.org/10.1145/3505636","url":null,"abstract":"Quantum assembly languages are machine-independent languages that traditionally describe quantum computation in the circuit model. Open quantum assembly language (OpenQASM 2) was proposed as an imperative programming language for quantum circuits based on earlier QASM dialects. In principle, any quantum computation could be described using OpenQASM 2, but there is a need to describe a broader set of circuits beyond the language of qubits and gates. By examining interactive use cases, we recognize two different timescales of quantum-classical interactions: real-time classical computations that must be performed within the coherence times of the qubits, and near-time computations with less stringent timing. Since the near-time domain is adequately described by existing programming frameworks, we choose in OpenQASM 3 to focus on the real-time domain, which must be more tightly coupled to the execution of quantum operations. We add support for arbitrary control flow as well as calling external classical functions. In addition, we recognize the need to describe circuits at multiple levels of specificity, and therefore we extend the language to include timing, pulse control, and gate modifiers. These new language features create a multi-level intermediate representation for circuit development and optimization, as well as control sequence implementation for calibration, characterization, and error mitigation.","PeriodicalId":365166,"journal":{"name":"ACM Transactions on Quantum Computing","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128739302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 96
期刊
ACM Transactions on Quantum Computing
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1