LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing. Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to control quantum hardware. It enables easy programming, compilation, and simulation of quantum algorithms and circuits, and is independent of a specific quantum architecture. LIQUi|> contains an embedded, domain-specific language designed for programming quantum algorithms, with F# as the host language. It also allows the extraction of a circuit data structure that can be used for optimization, rendering, or translation. The circuit can also be exported to external hardware and software environments. Two different simulation environments are available to the user which allow a trade-off between number of qubits and class of operations. LIQUi|> has been implemented on a wide range of runtimes as back-ends with a single user front-end. We describe the significant components of the design architecture and how to express any given quantum algorithm.

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Beillahi, Sidi Mohamed; Mahmoud, Mohamed Yousri; Tahar, Sofiène: A modeling and verification framework for optical quantum circuits (2019)
  2. Ying, Mingsheng: Toward automatic verification of quantum programs (2019)
  3. Bausch, Johannes: Classifying data using near-term quantum devices (2018)
  4. Haener, Thomas; Soeken, Mathias; Roetteler, Martin; Svore, Krysta M.: Quantum circuits for floating-point arithmetic (2018)
  5. Nathan Killoran, Josh Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, Christian Weedbrook: Strawberry Fields: A Software Platform for Photonic Quantum Computing (2018) arXiv
  6. Şahin, Engin; Yilmaz, İhsan: A novel quantum steganography algorithm based on lsbq for multi-wavelength quantum images (2018)
  7. Tyson Jones, Anna Brown, Ian Bush, Simon Benjamin: QuEST and High Performance Simulation of Quantum Computers (2018) arXiv
  8. Ying, Shenggang; Ying, Mingsheng: Reachability analysis of quantum Markov decision processes (2018)
  9. Axel Dahlberg; Stephanie Wehner: SimulaQron - A simulator for developing quantum internet software (2017) arXiv
  10. E. Schuyler Fried, Nicolas P. D. Sawaya, Yudong Cao, Ian D. Kivlichan, Jhonathan Romero, Alán Aspuru-Guzik: qTorch: The Quantum Tensor Contraction Handler (2017) arXiv
  11. Jarrod R. McClean, Ian D. Kivlichan, Kevin J. Sung, Damian S. Steiger, Yudong Cao, Chengyu Dai, E. Schuyler Fried, Craig Gidney, Brendan Gimby, Pranav Gokhale, Thomas Häner, Tarini Hardikar, Vojtěch Havlíček, Cupjin Huang, Josh Izaac, Zhang Jiang, Xinle Liu, Matthew Neeley, Thomas O’Brien, Isil Ozfidan, Maxwell D. Radin, Jhonathan Romero, Nicholas Rubin, Nicolas P. D. Sawaya, Kanav Setia, Sukin Sim, Mark Steudtner, Qiming Sun, Wei Sun, Fang Zhang, Ryan Babbush: OpenFermion: The Electronic Structure Package for Quantum Computers (2017) arXiv
  12. Mikhail Smelyanskiy, Nicolas P. D. Sawaya, Alan Aspuru-Guzik: qHiPSTER: The Quantum High Performance Software Testing Environment (2016) arXiv
  13. Robert S. Smith, Michael J. Curtis, William J. Zeng: A Practical Quantum Instruction Set Architecture (2016) arXiv