Laboratory for Digitalisation — Prof. Dr. Wolfgang Mauerer

We are happy that our two full paper submissions to IEEE QSW (with a challenging 22% acceptance rate) have been accepted:

• Lukas Schmidbauer, Wolfgang Mauerer: SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains
• Stefan Maschek, Jürgen Schwitalla, Maja Franz and Wolfgang Mauerer: Make Some Noise! Measuring Noise Model Quality in Real-World Quantum Software

Furthermore, we also look forward to present the short paper QML-Essentials: A Framework for Working with Quantum Fourier Models by Melvin Strobl, Maja Franz, Eileen Kühn, Wolfgang Mauerer and Achim Streit at the conference in Helsinki, Finland.
As always, it was a joy to work with our collaboration partners at Eviden and the Karlsruhe Institute of Technology.

At head of the working group quantum of Münchner Kreis, Wolfgang Mauerer organised a meetup on recent developments in quantum computing at IQM Munich. It was a pleasure to enjoy technical details and the Finnish-German hospitality of one of the most advanced manufacturers of quantum computers. Participants were particularly impressed by the tour through IQM's newly opened quantum data centre.

Research Master student Benno Bielmeier successfully finished his thesis and continues his work in the team as doctoral student at the Systems Architecture Research Group. Congrats Benno! Congratulations also go to the two graduates Felix Wagner and Lukas Landgraf, who successfully presented their Bachelor's thesis.

Zwei weitere Unternehmen aus der Oberpfalz absolvierten erfolgreich das Förderprogramm KI-Transfer Plus.

Bei der Abschlussveranstaltung im Januar 2025 im House of Communication in München präsentierten die OmniCert Umweltgutachter GmbH aus Bad Abbach und die LÄPPLE Automotive GmbH aus Teublitz ihre KI-Transformation.

Ziel der LÄPPLE Automotive GmbH ist ein KI-gestütztes System, um Kundenanforderungen aus verschiedenen Portalen effizient zu verwalten und zu prüfen. Statt manueller Downloads und Prüfungen identifiziert die KI automatisch Freigabestände, überprüft Normen und stellt sicher, dass stets die aktuellsten und validierten Versionen verwendet werden. Eine intelligente Textanalyse kombiniert mit maschinellem Lernen analysiert Dokumente, erkennt relevante Inhalte und gleicht sie präzise mit bestehenden Werksnormen ab.

OmniCert erweitert seit 2024 den Einsatz von KI, um die Gutachtenerstellung effizienter zu gestalten. Dabei werden Prozessschritte wie die automatische Klassifikation, Ablage und Inhalts-Extraktion von Dokumenten automatisiert. Diese KI-gestützten Tools unterstützen Sachverständige und Gutachter bei der Zertifizierungsentscheidung. Eine besondere Herausforderung besteht in der Vielfalt der eingehenden Daten, die von unterschiedlichen Formaten bis hin zu handschriftlichen Unterlagen reichen. Zum Ende des Projekts kann die KI grundlegende Dokumenttypen erkennen.

Die im Projekt begonnenen Ansätze werden in einem gemeinsamen Forschungsprojekt mit dem RCAI weitergeführt, um die Fähigkeiten der Lösung schrittweise zu erweitern.

Wolfgang Mauerer was invited to participate in the renowned Dagstuhl Seminar on Quantum Software Engineering, a key event bringing together leading researchers to shape the future of this emerging discipline.

The seminar focused on the convergence of quantum computing and software engineering, addressing critical topics such as quantum software design, modeling, architecture, quality assurance, and the development of adaptive hybrid quantum systems. Participants examined how classical engineering principles apply—or need to be rethought—in the context of quantum technologies. The event also served as a platform for fostering community among researchers and for outlining a clear research roadmap.
All outcomes and discussions from the seminar are detailed in a comprehensive final report, contributing to the foundation and growth of Quantum Software Engineering as a discipline.

Wolfgang Mauerer, Vorsitzender Direktor des RCAI, organisierte und moderierte mit dem Bundesministerium für Digitales und Verkehr einen Roundtable in Berlin, um mit führenden Vertretern aus Industrie und Wissenschaft auf Bundesebene über die Zukunft von KI, Quanten- und Supercomputern in Deutschland zu diskutieren.

In zwei Paneldiskussionen sprachen (inter-)nationale Vertreter aus Wissenschaft und Industrie unter anderem darüber, welche Schritte nötig sind, damit die europäische KI-, QC- und HPC-Forschung (weiterhin) zur Weltspitze gehört. Dazu wurden konkrete Ideen diskutiert, um Synergien optimal zu nutzen und die europäische Wettbewerbsfähigkeit zu stärken.

Staatssekretär Tobias Gotthardt besuchte das LfD an der OTH Regensburg für einen Austausch zu aktuellen Entwicklungen im Quantencomputing in Akademia und Industrie. Anhand von interaktiven Demonstratoren und Vorträgen präsentierte das LfD ihre langjährigen Quanten-Aktivitäten in Forschung und Lehre. Es war uns eine Freude auch unsere Vertreter aus der lokalen Wirtschaft willkommen zu heißen, die interessante Einblicke in quanten-spezifische Vorhaben ihrer Unternehmen lieferten. Vielen Dank an:

• Dr. Johannes Klepsch, BMW
• Dr. Christoph Niedermeier, Siemens
• Dr. Sebastian Luber, Infineon
• Theresa Schreyer, Schäffler
• Dr. Christian Otto, OptWare

The LfD presented their ongoing work at the Smart Country Convention in the capital of Germany, Berlin. The SCCON covers a broad range of topics, including smart cities and the digitalisation of public services. It is organized by Bitkom, the industry association of the German information and telecommunications sector, and patroned by the Federal Ministry of the Interior and Community.

At the LfD exhibition booth, in the immediate vicinity of the Bitkom stand, Benno Bielmeier presented our contributions to the Digital Innovation Ostbayern (DInO) and the AI Transfer Plus (KIT+) projects, while Tom Krüger, Hila Safi, Lukas Schmidbauer and Simon Thelen from the quantum team showcased our results in quantum computing as part of the TAQO-PAM and QLindA projects to many interested convention visitors. The positive response we received from various high-level business and public administration stakeholders confirmed to us that there is significant interest in AI and quantum computing in these fields.

The convention featured many industry leaders and high ranking politicians, such as Cem Özedmir, Federal Minister of Food and Agriculture, Volker Wissing, Federal Ministry for Digital and Transport, or Edgars Rinkēvičs, State President of Latvia. Minister of the Interior Nancy Faeser said in her opening speech: "We have to keep up with technological progress and the expectations of society. To do this, we need a spirit of innovation and a willingness to reform". We at the Lab for Digitalisation could not agree more.

The partners of the TAQO-PAM project held their 6th cosortium meeting at Eviden in the beautiful city of Tübingen to exchange ideas and discuss the results of the last 6 months. Hila Safi, Maja Franz, Lukas Schmidbauer, Simon Thelen and Tom Krüger presented their latest results to the consortium.

Dr. Hans-Peter Nollert from the university of Tübingen gave a great talk on the origins of Eviden and on visualizations of special and general relativity. After some great food in the "Wurstküche", we went on a city tour as the final event of the day where we did not allow the rain to dampen our mood.

At this year's Linux Plumbers Conference, our PhD Student Benno Bielmeier gave a talk on his work on probabilistic real-time analyses and presented it to a broader audience. With his techniques, Benno tries to probabilistically predict real-time behaviour of complex software systems. His talk met high interest of Linux Kernel developers and ended in a fruitful discussion with core kernel developers. Congrats, Benno!

Abstract Ensuring temporal correctness of real-time systems is challenging. The level of difficulty is determined by the complexity of hardware, software, and their interaction. Real-time analysis on modern complex hardware platforms with modern complex software ecosystems, such as the Linux kernel with its userland, is hard or almost impossible with traditional methods like formal verification or real-time calculus. We need new techniques and methodologies to analyse real-time behaviour and validate real-time requirements.

In this talk, we present a toolkit designed to evaluate the probabilistic Worst-Case Execution Time (pWCET) of real-time Linux systems. It utilises a hybrid combination of traditional measurement-based and model-based techniques to derive execution time distributions considering variability and uncertainty in real-time tasks. This approach provides assessment of execution time bounds and supports engineers to achieve fast and robust temporal prediction of their real-time environments.

Our framework models runtime behaviour and predicts WCET in a streamlined four-phase process: (1) model relevant aspects of the system as finite automaton, (2) instrument the system and measure latencies within the model, (3) generate a stochastic model based on semi-Markov chains, and (4) calculate pWCET via extreme value statistics. This method is applicable across system context boundaries without being tied to specific platforms, infrastructure or tracing tools.

The framework requires injecting tracepoints to generate a lightweight sequence of timestamped events. This can be done by existing Linux tracing mechanisms, for instance, BPF or ftrace. Benefits include significantly reduced WCET measurement duration from days to minutes, dramatically accelerating development cycles for open-source systems with frequent code updates like Linux. This efficiency doesn't compromise accuracy; our hybrid approach ensures robust temporal predictions, enabling developers to quickly assess real-time implications of changes and maintain system performance.

In our talk, we outline the steps taken towards this new evaluation method and discuss the limitations and potential impacts on the development process. We invite interaction from the community to discuss the benefits and limitations of this approach. Our goal is to refine this toolkit to enhance its utility for Linux kernel developers and maintainers, ultimately contributing to a more efficient and effective development process for real-time systems.

For one final time, the QLindA consortium has met at OTH Regensburg, to review results and milestones achieved during the project's over three-year lifespan.

These milestones encompass a broad selection of publications on quantum machine learning for industrial applications, jointly organised workshops at the IEEE Conference on Quantum Computing and Engineering, and an extensive software library, among others.

Fitting to the occasion, a beer barrel was opened later in the evening, to properly celebrate the project's conclusion. Prost!

We are happy that all our full paper submissions to IEEE QCE, one of the leading quantum computing conferences, have been accepted:

• Maniraman Periyasamy, Axel Plinge, Christopher Mutschler, Daniel D. Scherer, Wolfgang Mauerer: Guided-SPSA: Simultaneous Perturbation Stochastic Approximation assisted by the Parameter Shift Rule
• Maja Franz, Tobias Winker, Sven Groppe, Wolfgang Mauerer: Hype or Heuristic? Quantum Reinforcement Learning for Join Order Optimisation

As always, it was a joy to work with our collaboration partners at Fraunhofer IIS and the University of Lübeck. Congratulations, Maja Franz and Maniraman Periyasamy!

Abstract The study of variational quantum algorithms (VQCs) has received significant attention from the quantum computing community in recent years. These hybrid algorithms, utilizing both classical and quantum components, are well-suited for noisy intermediate-scale quantum devices. Though estimating exact gradients using the parameter-shift rule to optimize the VQCs is realizable in NISQ devices, they do not scale well for larger problem sizes. The computational complexity, in terms of the number of circuit evaluations required for gradient estimation by the parameter-shift rule, scales linearly with the number of parameters in VQCs. On the other hand, techniques that approximate the gradients of the VQCs, such as the simultaneous perturbation stochastic approximation (SPSA), do not scale with the number of parameters but struggle with instability and often attain suboptimal solutions. In this work, we introduce a novel gradient estimation approach called Guided-SPSA, which meaningfully combines the parameter-shift rule and SPSA-based gradient approximation. The GuidedSPSA results in a 15% to 25% reduction in the number of circuit evaluations required during training for a similar or better optimality of the solution found compared to the parameter-shift rule. The Guided-SPSA outperforms standard SPSA in all scenarios and outperforms the parameter-shift rule in scenarios such as suboptimal initialization of the parameters. We demonstrate numerically the performance of Guided-SPSA on different paradigms of quantum machine learning

Abstract Identifying optimal join orders (JOs) stands out as a key challenge in database research and engineering. Owing to the large search space, established classical methods rely on approximations and heuristics. Recent efforts have successfully explored reinforcement learning (RL) for JO. Likewise, quantum versions of RL have received considerable scientific attention. Yet, it is an open question if they can achieve sustainable, overall practical advantages with improved quantum processors. In this paper, we present a novel approach that uses quantum reinforcement learning (QRL) for JO based on a hybrid variational quantum ansatz. It is able to handle general bushy join trees instead of resorting to simpler left-deep variants as compared to approaches based on quantum(-inspired) optimisation, yet requires multiple orders of magnitudes fewer qubits, which is a scarce resource even for post-NISQ systems. Despite moderate circuit depth, the ansatz exceeds current NISQ capabilities, which requires an evaluation by numerical simulations. While QRL may not significantly outperform classical approaches in solving the JO problem with respect to result quality (albeit we see parity), we find a drastic reduction in required trainable parameters. This benefits practically relevant aspects ranging from shorter training times compared to classical RL, less involved classical optimisation passes, or better use of available training data, and fits data-stream and low-latency processing scenarios. Our comprehensive evaluation and careful discussion delivers a balanced perspective on possible practical quantum advantage, provides insights for future systemic approaches, and allows for quantitatively assessing trade-offs of quantum approaches for one of the most crucial problems of database management systems.