ABSTRACT
Acknowledging the inter-disciplinary aspect of quantum computing, there is a need to make quantum programming more accessible for its fast-growing community. With the advent of quantum computers with hundreds of qubits designing circuits manually is infeasible. Most current languages are low-level or involve a steep learning curve or lack control. Thus we propose a quantum programming language (QPL) that allows for high-level abstractions with intuitive syntax while still allowing users to directly construct circuits.
High-level languages decrease user control and caution leading to sub-optimal circuits. To prevent this, Qiwi allows for dead qubit elimination and has dynamically sized data types. We also introduce a mechanism to let the compiler decide the most optimal among several overloaded function definitions, based on statements following the call. Moreover, this work also presents circuits for if outside the control family of gates and a control for loop on quantum data.
- Ville Bergholm, Josh Izaac, Maria Schuld, Christian Gogolin, M Sohaib Alam, Shahnawaz Ahmed, Juan Miguel Arrazola, Carsten Blank, Alain Delgado, and Soran Jahangiri. 2018. Pennylane: Automatic differentiation of hybrid quantum-classical computations. arXiv preprint arXiv:1811.04968, https://doi.org/10.48550/ARXIV.1811.04968 Google Scholar
- Benjamin Bichsel, Maximilian Baader, Timon Gehr, and Martin Vechev. 2020. Silq: A high-level quantum language with safe uncomputation and intuitive semantics. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. 286–300. https://doi.org/10.1145/3385412.3386007 Google ScholarDigital Library
- Andrew W Cross, Lev S Bishop, John A Smolin, and Jay M Gambetta. 2017. Open quantum assembly language. arXiv preprint arXiv:1707.03429, https://doi.org/10.48550/ARXIV.1707.03429 Google Scholar
- Steven A Cuccaro, Thomas G Draper, Samuel A Kutin, and David Petrie Moulton. 2004. A new quantum ripple-carry addition circuit. arXiv preprint quant-ph/0410184, https://doi.org/10.48550/ARXIV.QUANT-PH/0410184 Google Scholar
- Cirq Developers. 2022. Cirq. Zenodo. https://doi.org/10.5281/zenodo.6599601 See full list of authors on Github: https://github.com/quantumlib/Cirq/graphs/contributors Google ScholarCross Ref
- Aleksandrowicz et. al.. 2019. Qiskit: An Open-source Framework for Quantum Computing. https://doi.org/10.5281/zenodo.2562111 Google ScholarCross Ref
- Alexander S Green, Peter LeFanu Lumsdaine, Neil J Ross, Peter Selinger, and Benoît Valiron. 2013. Quipper: a scalable quantum programming language. In Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation. 333–342. https://doi.org/10.1145/2491956.2462177 Google ScholarDigital Library
- Himanshu Thapliyal. 2016. Mapping of subtractor and adder-subtractor circuits on reversible quantum gates. In Transactions on Computational Science XXVII. Springer, 10–34. https://doi.org/10.1007/978-3-662-50412-3_2 Google ScholarDigital Library
- William K Wootters and Wojciech H Zurek. 1982. A single quantum cannot be cloned. Nature, 299, 5886 (1982), 802–803. https://doi.org/10.1038/299802a0 Google ScholarCross Ref
Index Terms
- Qiwi: A Beginner Friendly Quantum Language
Recommendations
Silq: a high-level quantum language with safe uncomputation and intuitive semantics
PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and ImplementationExisting quantum languages force the programmer to work at a low level of abstraction leading to unintuitive and cluttered code. A fundamental reason is that dropping temporary values from the program state requires explicitly applying quantum ...
Silq2Qiskit - Developing a quantum language source-to-source translator
CSSE '22: Proceedings of the 5th International Conference on Computer Science and Software EngineeringQuantum Computers are quickly becoming capable of solving certain tasks substantially faster than classical computers and the promise of quantum-driven advancements in research and economy continues to accelerate the development of quantum technology. ...
Automatic translation of quantum circuits to optimized one-way quantum computation patterns
One-way quantum computation (1WQC) is a model of universal quantum computations in which a specific highly entangled state called a cluster state (or graph state) allows for quantum computation by only single-qubit measurements. The needed computations ...
Comments