公开(公告)号：US11615334B2

公开(公告)日：2023-03-28

申请号：US16457408

申请日：2019-06-28

申请人： Microsoft Technology Licensing, LLC

发明人： Martin Roetteler ,  Giulia Meuli

IPC分类号： G06F8/00 ,  G06N10/00 ,  G06N5/00 ,  G06N10/60

摘要： Quantum memory management is becoming a pressing problem, especially given the recent research effort to develop new and more complex quantum algorithms. The disclosed technology concerns various example memory management schemes for quantum computing. For example, certain embodiments concern methods for managing quantum memory based on reversible pebbling games constructed from SAT-encodings.

公开(公告)号：US11580434B2

公开(公告)日：2023-02-14

申请号：US16843733

申请日：2020-04-08

申请人： Microsoft Technology Licensing, LLC

发明人： Thomas Haener ,  Giulia Meuli ,  Martin Roetteler

IPC分类号： G06N10/00 ,  G06F11/07 ,  G06F8/30

摘要： Embodiments of the disclosed technology concern transforming a high-level quantum-computer program to one or more symbolic expressions. Because the transformations lead to symbolic expressions in the compiled code, one can extract these to arrive at symbolic resource estimates for the quantum program. In cases where these transformations do not yield closed-form solutions, they can still be evaluated many orders of magnitude faster than it was possible using other resource estimation tools. Having access to such symbolic or near-symbolic expressions not only greatly improves the performance of accuracy management and resource estimation, but also better informs quantum software developers of the bottlenecks that may be present in the quantum program. In turn, the underlying quantum-computer program can be improved as appropriate.

公开(公告)号：US20210117844A1

公开(公告)日：2021-04-22

申请号：US16843733

申请日：2020-04-08

申请人： Microsoft Technology Licensing, LLC

发明人： Thomas Haener ,  Giulia Meuli ,  Martin Roetteler

IPC分类号： G06N10/00 ,  G06F8/30 ,  G06F11/07

摘要： Embodiments of the disclosed technology concern transforming a high-level quantum-computer program to one or more symbolic expressions. Because the transformations lead to symbolic expressions in the compiled code, one can extract these to arrive at symbolic resource estimates for the quantum program. In cases where these transformations do not yield closed-form solutions, they can still be evaluated many orders of magnitude faster than it was possible using other resource estimation tools. Having access to such symbolic or near-symbolic expressions not only greatly improves the performance of accuracy management and resource estimation, but also better informs quantum software developers of the bottlenecks that may be present in the quantum program. In turn, the underlying quantum-computer program can be improved as appropriate.