A Domain-Specific Language for Formulating Hybrid Quantum-Classical Meta-Solver Strategies

📅 2026-08-10
📈 Citations: 0
Influential: 0
📄 PDF
🤖 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.
Problem

Research questions and friction points this paper is trying to address.

hybrid quantum-classical workflows
quantum candidates
quantum advantage
domain-specific language
problem characteristics
Innovation

Methods, ideas, or system contributions that make the work stand out.

domain-specific language
hybrid quantum-classical workflows
meta-solver strategies
ProvideQ
quantum advantage identification
🔎 Similar Papers
No similar papers found.
💼 Related Jobs
No related jobs found.
N
Nick Poser
Karlsruhe Institute of Technology, Germany
D
Domenik Eichhorn
Karlsruhe Institute of Technology, Germany
Ina Schaefer
Ina Schaefer
Karlsruhe Institute of Technology (KIT)
Software EngineeringFormal MethodsSoftware Product Lines