English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Variational Quantum Algorithms are hybrid classical-quantum algorithms whereclassical and quantum computation work in tandem to solve computationalproblems. These algorithms create interesting challenges for the design ofsuitable programming languages. In this paper we introduce Qimaera, which is aset of libraries for the Idris 2 programming language that enable theprogrammer to implement (variational) quantum algorithms where the full powerof the elegant Idris language works in synchrony with quantum programmingprimitives that we introduce. The two key ingredients of Idris that make thispossible are (1) dependent types which allow us to implement unitary (i.e.reversible and controllable) quantum operations; and (2) linearity which allowsus to enforce fine-grained control over the execution of quantum operationsthat ensures compliance with the laws of quantum mechanics. We demonstrate thatQimaera is suitable for variational quantum programming by providingimplementations of the two most prominent variational quantum algorithms --QAOA and VQE. To the best of our knowledge, this is the first implementation ofthese algorithms that has been achieved in a type-safe framework.

Qimaera: Type-safe (Variational) Quantum Programming in Idris