quaspy 1.0.0a0

The Quaspy library for Python for simulating and post-processing various quantum algorithms, including Shor's algorithms and Ekerå–Håstad's variations of Shor's algorithms.

The Quaspy library for Python

The Quaspy (Quantum algorithm simulations in Python) library for Python contains modules that implement:

• Simulators for the quantum part of Shor's order-finding algorithm [Shor94], modified as in [E24], and the classical post-processing from [E24] that recovers the order in a single run with very high success probability.

  Furthermore, these modules implement simulators for the quantum part of Seifert's variation [Seifert01] of Shor's order-finding algorithm [Shor94], as described as in [E24t] and [E21], and with the classical post-processing from [E24t] and [E21] with supporting functions from [E24] that efficiently recovers the order, or a positive integer multiple of the order, in multiple runs when making tradeoffs.

• Simulators for factoring general integers via order-finding, and the classical post-processing from [E21b] and [E24] that factors any integer completely in a single order-finding run with very high success probability.

• Simulators for the quantum part of Shor's algorithm for computing general discrete logarithms [Shor94], modified as in [E19p], and the classical post-processing from [E19p] that recovers the logarithm given the order in a single run with very high probability of success, and that also efficiently recovers the logarithm given the order when making tradeoffs.

• Simulators for the quantum part of Ekerå–Håstad's algorithm for computing short discrete logarithms [EH17], modified as in [E20] and [E23p], and the classical post-processing from [E23p] that recovers the logarithm in a single run with very high probability of success. This algorithm does not require the order to be known.

  Furthermore, this module implements the classical post-processing from [E20] that efficiently recovers the logarithm in multiple runs of the quantum part of Ekerå–Håstad's algorithm when making tradeoffs.

• Simulators for factoring RSA integers via short discrete logarithms, by using the reduction in [EH17], modified as in [E20] and [E23p], and the classical post-processing from [E23p] that factors random RSA integers in a single run of the quantum part of Ekerå–Håstad's algorithm with very high probability of success.

  Furthermore, this module implements the classical post-processing from [E20] that efficiently factors random RSA integers in multiple runs of the quantum part of Ekerå–Håstad's algorithm when making tradeoffs.

All modules, classes, methods and functions in Quaspy are documented using Python docstrings.

Note that Quaspy implements basic support for tradeoffs via a native Python implementation of LLL that is stable and resasonable performant. See also the Qunundrum repository with its suite of MPI programs that implements support for tradeoffs via LLL and BKZ as implemented by fpLLL. Note furthermore that portions of Quaspy are inherited from the Factoritall repository.

Quaspy is a work in progress, and may be subject to major changes without prior notice. Quaspy was developed for academic research purposes. It grew out of our research project in an organic manner as research questions were posed and answered. It is distributed "as is" without warranty of any kind, either expressed or implied. For further details, see the license.

Examples

For examples that illustrate how to use Quaspy, please see the examples directory in the Quaspy repository.

See also the documentation for Quaspy for help on how to use the library.

About and acknowledgments

The Quaspy library was developed by Martin Ekerå, in part at KTH, the Royal Institute of Technology, in Stockholm, Sweden. Valuable comments and advice were provided by Johan Håstad throughout the development process.

Funding and support was provided by the Swedish NCSA that is a part of the Swedish Armed Forces.