Prof. Dr.

Hauswirth, Manfred

Filters

7 4
Reset filters

Settings
Now showing 1 - 10 of 11
  • Publication
    Quantum Backtracking in Qrisp Applied to Sudoku Problems
    ( 2024-02)
    Seidel, Raphael
    ;
    Zander, René
    ;
    Petric, Matic
    ;
    Steinmann, Niklas
    ;
    Liu, David Q.
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Hauswirth, Manfred
    The quantum backtracking algorithm proposed by Ashley Montanaro raised considerable interest, as it provides a quantum speed-up for a large class of classical optimization algorithms. It does not suffer from Barren-Plateaus and transfers well into the fault-tolerant era, as it requires only a limited number of arbitrary angle gates. Despite its potential, the algorithm has seen limited implementation efforts, presumably due to its abstract formulation. In this work, we provide a detailed instruction on implementing the quantum step operator for arbitrary backtracking instances. For a single controlled diffuser of a binary backtracking tree with depth n, our implementation requires only 6n + 14 CX gates. We detail the process of constructing accept and reject oracles for Sudoku problems using our interface to quantum backtracking. The presented code is written using Qrisp, a high-level quantum programming language, making it executable on most current physical backends and simulators. Subsequently, we perform several simulator based experiments and demonstrate solving 4x4 Sudoku instances with up to 9 empty fields. This is, to the best of our knowledge, the first instance of a compilable implementation of this generality, marking a significant and exciting step forward in quantum software engineering.
  • Publication
    Extracting GHZ states from linear cluster states
    ( 2024)
    Jong, Dirk J. de
    ;
    Hahn, F.
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Hauswirth, Manfred
    ;
    Pappa, Anna
    Quantum information processing architectures typically only allow for nearest-neighbor entanglement creation. In many cases, this prevents the direct generation of GHZ states, which are commonly used for many communication and computation tasks. Here, we show how to obtain GHZ states between nodes in a network that are connected in a straight line, naturally allowing them to initially share linear cluster states. We prove a strict upper bound of ⌊(n+3)/2⌋ on the size of the set of nodes sharing a GHZ state that can be obtained from a linear cluster state of n qubits, using local Clifford unitaries, local Pauli measurements, and classical communication. Furthermore, we completely characterize all selections of nodes below this threshold that can share a GHZ state obtained within this setting. Finally, we demonstrate these transformations on the IBMQ Montreal quantum device for linear cluster states of up to n=19 qubits.
  • Publication
    Extracting GHZ states from linear cluster states
    ( 2023-11)
    Jong, J. de
    ;
    Hahn, F.
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Hauswirth, Manfred
    ;
    Pappa, Anna
    Quantum information processing architectures typically only allow for nearest-neighbour entanglement creation. In many cases, this prevents the direct generation of states, which are commonly used for many communication and computation tasks. Here, we show how to obtain states between nodes in a network that are connected in a straight line, naturally allowing them to initially share linear cluster states. We prove a strict upper bound of ⌊(n+3)/2⌋ on the size of the set of nodes sharing a state that can be obtained from a linear cluster state of n qubits, using local Clifford unitaries, local Pauli measurements, and classical communication. Furthermore, we completely characterize all selections of nodes below this threshold that can share a state obtained within this setting. Finally, we demonstrate these transformations on the quantum device for linear cluster states of up to n=19 qubits.
  • Publication
    Design and development of a short-term photovoltaic power output forecasting method based on Random Forest, Deep Neural Network and LSTM using readily available weather features
    ( 2023)
    Rangelov, Denis
    ;
    Boerger, Michell
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Lämmel, Philipp
    ;
    Hauswirth, Manfred
    Renewable energy sources (RES) are an essential part of building a more sustainable future, with higher diversity of clean energy, reduced emissions and less dependence on finite fossil fuels such as coal, oil and natural gas. The advancements in the renewable energy sources domain bring higher hardware efficiency and lower costs, which improves the likelihood of wider RES adoption. However, integrating renewables such as photovoltaic (PV) systems in the current grid is still a major challenge. The main reason is the volatile, intermittent nature of RES, which increases the complexity of the grid management and maintenance. Having access to accurate PV power output forecasting could reduce the number of power supply disruptions, improve the planning of the available and reserve capacities and decrease the management and operational costs. In this context, this paper explores and evaluates three Artificial Intelligence (AI) methods - random forest (RF), deep neural network (DNN) and long short-term memory network (LSTM), which are applied for the task of short-term PV output power forecasting. Following a statistical forecasting approach, the selected models are trained on weather and PV output data collected in Berlin, Germany. The assembled data set contains predominantly broadly accessible weather features, which makes the proposed approach more cost efficient and easily applicable even for geographic locations without access to specialized hardware or hard-to-obtain input features. The performance achieved by two of the selected algorithms indicates that the RF and the DNN models are able to generate accurate solar power forecasts and are also able to handle sudden changes and shifts in the PV power output.
  • Publication
    Uncomputation in the Qrisp High-Level Quantum Programming Framework
    ( 2023)
    Seidel, Raphael
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Bock, Sebastian
    ;
    Hauswirth, Manfred
    Uncomputation is an essential part of reversible computing and plays a vital role in quantum computing. Using this technique, memory resources can be safely deallocated without performing a non-reversible deletion process. For the case of quantum computing, several algorithms depend on this as they require disentangled states in the course of their execution. Thus, uncomputation is not only about resource management, but is also required from an algorithmic point of view. However, synthesizing uncomputation circuits is tedious and can be automated. In this paper, we describe the interface for automated generation of uncomputation circuits in our Qrisp framework. Our algorithm for synthesizing uncomputation circuits in Qrisp is based on an improved version of “Unqomp”, a solution presented by Paradis et al. Our paper also presents some improvements to the original algorithm, in order to make it suitable for the needs of a high-level programming framework. Qrisp itself is a fully compilable, high-level programming language/framework for gate-based quantum computers, which abstracts from many of the underlying hardware details. Qrisp’s goal is to support a high-level programming paradigm as known from classical software development.
  • Publication
    Automatic generation of Grover quantum oracles for arbitrary data structures
    ( 2023)
    Seidel, Raphael
    ;
    Becker, Colin Kai-Uwe
    ;
    Bock, Sebastian
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Gheorghe-Pop, Ilie-Daniel
    ;
    Hauswirth, Manfred
    The steadily growing research interest in quantum computing-together with the accompanying technological advances in the realization of quantum hardware-fuels the development of meaningful real-world applications, as well as implementations for well-known quantum algorithms. One of the most prominent examples till today is Grover’s algorithm, which can be used for efficient search in unstructured databases. Quantum oracles that are frequently masked as black boxes play an important role in Grover’s algorithm. Hence, the automatic generation of oracles is of paramount importance. Moreover, the automatic generation of the corresponding circuits for a Grover quantum oracle is deeply linked to the synthesis of reversible quantum logic, which-despite numerous advances in the field-still remains a challenge till today in terms of synthesizing efficient and scalable circuits for complex Boolean functions. In this paper, we present a flexible method for automatically encoding unstructured databases into oracles, which can then be efficiently searched with Grover’s algorithm. Furthermore, we develop a tailor-made method for quantum logic synthesis, which vastly improves circuit complexity over other current approaches. Finally, we present another logic synthesis method that considers the requirements of scaling onto real world backends. We compare our method with other approaches through evaluating the oracle generation for random databases and analyzing the resulting circuit complexities using various metrics.
  • Publication
    Computer Scientist's and Programmer's View on Quantum Algorithms: Mapping Functions' APIs and Inputs to Oracles
    ( 2022)
    Gheorghe-Pop, Ilie-Daniel
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Ritter, Tom
    ;
    Hauswirth, Manfred
    Quantum Computing (QC) is a promising approach which is expected to boost the development of new services and applications. Specific addressable problems can be tackled through acceleration in computational time and advances with respect to the complexity of the problems, for which QC algorithms can support the solution search. However, QC currently remains a domain that is strongly dominated by a physics' perspective. Indeed, in order to bring QC to industrial grade applications we need to consider multiple perspectives, especially the one of software engineering and software application/service programming. Following this line of thought, the current paper presents our computer scientist's view on the aspect of black-box oracles, which are a key construct for the majority of currently available QC algorithms. Thereby, we observe the need for the input of API functions from the traditional world of software engineering and (web-)services to be mapped to the above mentioned black-box oracles. Hence, there is a clear requirement for automatically generating oracles for specific types of problems/algorithms based on the concrete input to the belonging APIs. In this paper, we discuss the above aspects and illustrate them on two QC algorithms, namely Deutsch-Jozsa and the Grover's algorithm.
  • Publication
    Design and specification of a privacy-preserving registration for Blockchain-based energy markets
    ( 2022)
    Boerger, Michell
    ;
    Lämmel, Philipp
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Hauswirth, Manfred
    The challenges of climate change and the related demand to integrate non-plannable and weather-dependent renewable energy resources pose enormous challenges for the entire energy domain, e.g. in the context of grid control. These challenges reveal the need for new technical solutions and new business models while they indicate the required and inevitable transition to smart grids. Many blockchain-based solutions are being discussed in this context, ranging from peer-to-peer energy trading to grid-serving applications. However, especially in connection with public blockchains, clear security privacy challenges arise since the security and privacy of private data must be guaranteed while traceability must be avoided. Therefore, in this paper, we will specify privacy-protecting registration processes for blockchain-based flexibility markets that enable pseudonymous access to the latter. Furthermore, in collaboration with a governmental regulating institution named DGA, we will show that using an existing X.509-based PKI and RSA-based cryptographic processes, the integrity of all market participants can be guaranteed. This integrity is essential for the security-critical use of operating reserve. In addition, we will evaluate the specified processes in terms of efficiency, scalability, security, and privacy protection.
  • Publication
    Qrisp: a framework for compilable high-level programming of gate-based quantum computers
    ( 2022)
    Seidel, Raphael
    ;
    Bock, Sebastian
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Hauswirth, Manfred
    The recent advances of quantum computation hardware spark realistic hopes to achieve commercially relevant quantum advantage in less than a decade. While the physics side of quantum computing makes significant progress, the support for high-level quantum programming abstractions is still in its infancy compared to modern classical languages and frameworks. In this article we present Qrisp, a framework which aims to bridge several of the existing gaps between the abstract high-level programming paradigms of state-of-the art software engineering and the physical reality of today's quantum hardware. The goal of the framework is to provide a uniform high-level programming interface, abstraction and low-level backend interface for different hardware platforms. We specify a simple and expressive syntax which nevertheless compiles to efficient circuits. Compared to many other high-level language approaches, Qrisps most outstanding feature is that it's programs are compiled to the circuit level and can thus be executed on most of today's physical backends.
  • Publication
    Enabling short-term energy flexibility markets through Blockchain
    ( 2022)
    Boerger, Michell
    ;
    Lämmel, Philipp
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Hauswirth, Manfred
    Climate change has put significant pressure on energy markets. Political decisions such as the plan of the German government to shut down coal power plants by 2038 are shifting electricity production towards renewable and distributed energy resources. The share of these resources will continue to grow significantly in the coming years. This trend changes the ways how energy markets work which mandates fundamental changes in the underlying IT infrastructure. In this paper, we propose a blockchain-based solution which enables an economically viable and grid-serving integration of distributed energy resources into the existing energy system. Our blockchain-based approach targets intraday and day-ahead operating reserve markets, on which energy grid operators and operators of distributed energy resources can trade flexibilities within the schedulable energy production and consumption of their resources. By utilizing these flexibilities as an operating reserve, renewable and climate-friendly technologies can contribute to maintaining the grid stability and security of supply while simultaneously creating economically interesting business models for their operators. We propose to define blockchain-based short-term energy markets by utilizing the concept of general-purpose smart contracts and cryptocurrencies. This enables direct and decentralized trading of energy flexibilities without any intermediary or central instance. We demonstrate the feasibility of our approach through an implementation of a prototype of the proposed markets based on the Ethereum blockchain and provide a detailed evaluation of its efficiency and scalability.