05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6

Browse

Institute: search.filters.UBSInstitut.Institut für Architektur von AnwendungssystemenAuthor: search.filters.author.Beisel, Martin

Search Results

Now showing 1 - 4 of 4
  • Thumbnail Image
    ItemOpen Access
    Provenance-preserving analysis and rewrite of quantum workflows for hybrid quantum algorithms
    (2023) Weder, Benjamin; Barzen, Johanna; Beisel, Martin; Leymann, Frank
    Quantum applications are hybrid, i.e., they comprise quantum and classical programs, which must be orchestrated. Workflows are a proven solution for orchestrating heterogeneous programs while providing benefits, such as robustness or scalability. However, the orchestration using workflows can be inefficient for some quantum algorithms, requiring the execution of quantum and classical programs in a loop. Hybrid runtimes are offered to efficiently execute these algorithms. For this, the quantum and classical programs are combined in a single hybrid program, for which the execution is optimized. However, this leads to a conceptual gap between the modeling benefits of workflow technologies, e.g., modularization, reuse, and understandability, and the efficiency improvements when using hybrid runtimes. To close this gap, we introduce a method to model all tasks explicitly in the workflow model and analyze the workflow to detect parts of the workflow that can benefit from hybrid runtimes. Furthermore, corresponding hybrid programs are automatically generated based on the quantum and classical programs, and the workflow is rewritten to invoke them. To ease the live monitoring and later analysis of workflow executions, we integrate process views into our method and collect related provenance data. Thus, the user can visualize and monitor the workflow in the original and rewritten form within the workflow engine. The practical feasibility of our approach is validated by a prototypical implementation, a case study, and a runtime evaluation.
  • Thumbnail Image
    ItemOpen Access
    Configurable readout error mitigation in quantum workflows
    (2022) Beisel, Martin; Barzen, Johanna; Leymann, Frank; Truger, Felix; Weder, Benjamin; Yussupov, Vladimir
    Current quantum computers are still error-prone, with measurement errors being one of the factors limiting the scalability of quantum devices. To reduce their impact, a variety of readout error mitigation methods, mostly relying on classical post-processing, have been developed. However, the application of these methods is complicated by their heterogeneity and a lack of information regarding their functionality, configuration, and integration. To facilitate their use, we provide an overview of existing methods, and evaluate general and method-specific configuration options. Quantum applications comprise many classical pre- and post-processing tasks, including readout error mitigation. Automation can facilitate the execution of these often complex tasks, as their manual execution is time-consuming and error-prone. Workflow technology is a promising candidate for the orchestration of heterogeneous tasks, offering advantages such as reliability, robustness, and monitoring capabilities. In this paper, we present an approach to abstractly model quantum workflows comprising configurable readout error mitigation tasks. Based on the method configuration, these workflows can then be automatically refined into executable workflow models. To validate the feasibility of our approach, we provide a prototypical implementation and demonstrate it in a case study from the quantum humanities domain.
  • Thumbnail Image
    ItemOpen Access
    Selection and optimization of hyperparameters in warm-started quantum optimization for the MaxCut problem
    (2022) Truger, Felix; Beisel, Martin; Barzen, Johanna; Leymann, Frank; Yussupov, Vladimir
    Today’s quantum computers are limited in their capabilities, e.g., the size of executable quantum circuits. The Quantum Approximate Optimization Algorithm (QAOA) addresses these limitations and is, therefore, a promising candidate for achieving a near-term quantum advantage. Warm-starting can further improve QAOA by utilizing classically pre-computed approximations to achieve better solutions at a small circuit depth. However, warm-starting requirements often depend on the quantum algorithm and problem at hand. Warm-started QAOA (WS-QAOA) requires developers to understand how to select approach-specific hyperparameter values that tune the embedding of classically pre-computed approximations. In this paper, we address the problem of hyperparameter selection in WS-QAOA for the maximum cut problem using the classical Goemans-Williamson algorithm for pre-computations. The contributions of this work are as follows: We implement and run a set of experiments to determine how different hyperparameter settings influence the solution quality. In particular, we (i) analyze how the regularization parameter that tunes the bias of the warm-started quantum algorithm towards the pre-computed solution can be selected and optimized, (ii) compare three distinct optimization strategies, and (iii) evaluate five objective functions for the classical optimization, two of which we introduce specifically for our scenario. The experimental results provide insights on efficient selection of the regularization parameter, optimization strategy, and objective function and, thus, support developers in setting up one of the central algorithms of contemporary and near-term quantum computing.
  • Thumbnail Image
    ItemOpen Access
    Mustererstellung für Quantenalgorithmen in einem Musterrepository
    (2020) Beisel, Martin
    Muster werden in unterschiedlichsten Domänen zur Dokumentation von häufig wiederkehrenden Problemen verwendet. Zumeist arbeiten mehrere Musterautoren kollaborativ an dem Identifikations- und Erstellungsprozess einer Mustersprache. Die Dokumentation der Muster erfolgt entweder klassisch in einem Buch oder Paper oder in einem Musterrepository. Ein Repository bietet den Vorteil, dass es einfach angepasst und erweitert werden kann. Mit der steigenden Relevanz des Quantencomputings wurde es immer wichtiger, dass Entwickler Quantenalgorithmen effizient erstellen können. Um dies zu erreichen wurden häufig wiederkehrende Probleme aufgefasst und in den ersten Quantencomputing-Mustern dokumentiert. Da sich die Quantencomputing-Domäne momentan sehr schnell entwickelt, sollen die Muster erweitert und beim Erlangen neuer Erkenntnisse angepasst werden. Im Rahmen dieser Masterarbeit wurde analysiert, welche spezifischen Anforderungen Quantencomputing-Muster an ein Musterrepository haben. Insbesondere das Darstellen, Bearbeiten und Diskutieren von Quantenartefakten, wie mathematischen Formeln, Quantenschaltungen und konkreten Implementierungen, wurde als essentiell identifiziert. Auf Basis dieser Anforderungen und der allgemeinen Richtlinien zum Mustererstellungsprozess wurde ein Konzept für ein Quantencomputing-Musterrepository entwickelt, welches im Pattern Atlas als Prototyp umgesetzt wurde.