🤖 AI Summary
This work addresses the challenge of identifying suitable quantum computing candidates and expressing solution strategies within hybrid quantum-classical workflows, which is often hindered by highly specialized expertise and a lack of unified abstractions. To overcome these limitations, the paper introduces the first domain-specific language (DSL) tailored for hybrid quantum-classical meta-solving strategies. This DSL enables technology-agnostic, problem-level specification of strategies and is accompanied by a dedicated execution framework. By integrating with the ProvideQ toolkit for workflow orchestration, the proposed open-source solution significantly lowers the barrier to entry, enhances strategy reusability, and improves automation—thereby facilitating the identification and deployment of quantum-suitable problems.
📝 Abstract
A key challenge when designing hybrid quantum-classical workflows is the identification of quantum candidates, that is, determining for which specific problems quantum advantages could potentially be achieved. When choosing between several candidates, it is crucial to consider the characteristics specific to the problem, as these can fundamentally determine how successful quantum or classical approaches will be. This implies that specialized expertise is needed to use hybrid quantum-classical workflows successfully. To address this challenge, we propose a domain-specific language (DSL) to express best-practices in solution strategies using a universal representation that is easy to use and share. This DSL provides a flexible approach to design hybrid quantum-classical workflows and to automate decisions for a wide range of problems, supporting decisions down to problem-specific details while remaining technically independent. Furthermore, we propose a framework that is built around our DSL that enables the execution of defined workflows using the ProvideQ toolbox as an orchestration layer. All contributions from this publication are open source.