Showing 1–43 of 43 results for author: Mendl, C B

Reducing Mid-Circuit Measurements via Probabilistic Circuits

Authors: Yanbin Chen, Innocenzo Fulginiti, Christian B. Mendl

Abstract: Mid-circuit measurements and measurement-controlled gates are supported by an increasing number of quantum hardware platforms and will become more relevant as an essential building block for quantum error correction. However, mid-circuit measurements impose significant demands on the quantum hardware due to the required signal analysis and classical feedback loop. This work presents a static circu… ▽ More Mid-circuit measurements and measurement-controlled gates are supported by an increasing number of quantum hardware platforms and will become more relevant as an essential building block for quantum error correction. However, mid-circuit measurements impose significant demands on the quantum hardware due to the required signal analysis and classical feedback loop. This work presents a static circuit optimization algorithm that can substitute some of these measurements with an equivalent circuit with randomized gate applications. Our method uses ideas from constant propagation to classically precompute measurement outcome probabilities. Our proposed optimization is efficient, as its runtime scales polynomially on the number of qubits and gates of the circuit. △ Less

Submitted 22 May, 2024; originally announced May 2024.

The role of quantum and classical correlations in shrinking algorithms for optimization

Authors: Victor Fischer, Maximilian Passek, Friedrich Wagner, Jernej Rudi Finžgar, Lilly Palackal, Christian B. Mendl

Abstract: The benefit of quantum computing for solving combinatorial optimization problems (COPs) constitutes an open research question. In this work, we study the performance of a shrinking algorithm for COPs. The algorithm leverages correlations extracted from quantum or classical subroutines to recursively simplify the problem. We compare the performance of the algorithm equipped with correlations from t… ▽ More The benefit of quantum computing for solving combinatorial optimization problems (COPs) constitutes an open research question. In this work, we study the performance of a shrinking algorithm for COPs. The algorithm leverages correlations extracted from quantum or classical subroutines to recursively simplify the problem. We compare the performance of the algorithm equipped with correlations from the quantum approximate optimization algorithm (QAOA) as well as the classical linear programming (LP) and semi-definite programming (SDP) relaxations. This allows us to benchmark the utility of QAOA correlations against established classical relaxation algorithms. We apply the recursive algorithm to MaxCut problem instances with up to a hundred vertices at different graph densities. Our results indicate that LP outperforms all other approaches for low-density instances, while SDP excels for high-density problems. Moreover, the shrinking algorithm proves to be a viable alternative to established methods of rounding LP and SDP relaxations. In addition, the recursive shrinking algorithm outperforms its bare counterparts for all three types of correlations, i.e., LP with spanning tree rounding, the Goemans-Williamson algorithm, and conventional QAOA. While the lowest depth QAOA consistently yields worse results than the SDP, our tensor network experiments show that the performance increases significantly for deeper QAOA circuits. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 11 pages, 5 figures. Submitted to IEEE for possible publication

Efficient Encodings of the Travelling Salesperson Problem for Variational Quantum Algorithms

Authors: Manuel Schnaus, Lilly Palackal, Benedikt Poggel, Xiomara Runge, Hans Ehm, Jeanette Miriam Lorenz, Christian B. Mendl

Abstract: Routing problems are a common optimization problem in industrial applications, which occur on a large scale in supply chain planning. Due to classical limitations for solving NP-hard problems, quantum computing hopes to improve upon speed or solution quality. Several suggestions have been made for encodings of routing problems to solve them with variational quantum algorithms. However, for an end… ▽ More Routing problems are a common optimization problem in industrial applications, which occur on a large scale in supply chain planning. Due to classical limitations for solving NP-hard problems, quantum computing hopes to improve upon speed or solution quality. Several suggestions have been made for encodings of routing problems to solve them with variational quantum algorithms. However, for an end user it is hard to decide a priori which encoding will give the best solutions according to their needs. In this work, we investigate different encodings for the Travelling Salesperson Problem. We compare their scaling and performance when using the Quantum Approximate Optimization Algorithm and the Variational Quantum Eigensolver and provide a clear guide for users when to choose which encoding. For small instances, we find evidence that the permutation encoding can yield good results since it does not suffer from feasibility issues. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: Submitted to the IEEE for possible publication

SCIM MILQ: An HPC Quantum Scheduler

Authors: Philipp Seitz, Manuel Geiger, Christian Ufrecht, Axel Plinge, Christopher Mutschler, Daniel D. Scherer, Christian B. Mendl

Abstract: With the increasing sophistication and capability of quantum hardware, its integration, and employment in high performance computing (HPC) infrastructure becomes relevant. This opens largely unexplored access models and scheduling questions in such quantum-classical computing environments, going beyond the current cloud access model. SCIM MILQ is a scheduler for quantum tasks in HPC infrastructure… ▽ More With the increasing sophistication and capability of quantum hardware, its integration, and employment in high performance computing (HPC) infrastructure becomes relevant. This opens largely unexplored access models and scheduling questions in such quantum-classical computing environments, going beyond the current cloud access model. SCIM MILQ is a scheduler for quantum tasks in HPC infrastructure. It combines well-established scheduling techniques with methods unique to quantum computing, such as circuit cutting. SCIM MILQ can schedule tasks while minimizing the makespan, i.e., the time that elapses from the start of work to the end, improving on average by 25%. Additionally, it reduces the noise in the circuit by up to 10%, increasing the outcome's reliability. We compare it against an existing baseline and show its viability in an HPC environment. △ Less

Submitted 5 April, 2024; v1 submitted 4 April, 2024; originally announced April 2024.

Comments: 9 pages, 2 figures, 3 tables, 1 algorithm, submission to Quantum Week 2024

Evaluating Ground State Energies of Chemical Systems with Low-Depth Quantum Circuits and High Accuracy

Authors: Shuo Sun, Chandan Kumar, Kevin Shen, Elvira Shishenina, Christian B. Mendl

Abstract: Solving electronic structure problems is considered one of the most promising applications of quantum computing. However, due to limitations imposed by the coherence time of qubits in the Noisy Intermediate Scale Quantum (NISQ) era or the capabilities of early fault-tolerant quantum devices, it is vital to design algorithms with low-depth circuits. In this work, we develop an enhanced Variational… ▽ More Solving electronic structure problems is considered one of the most promising applications of quantum computing. However, due to limitations imposed by the coherence time of qubits in the Noisy Intermediate Scale Quantum (NISQ) era or the capabilities of early fault-tolerant quantum devices, it is vital to design algorithms with low-depth circuits. In this work, we develop an enhanced Variational Quantum Eigensolver (VQE) ansatz based on the Qubit Coupled Cluster (QCC) approach, which demands optimization over only $n$ parameters rather than the usual $n+2m$ parameters, where $n$ represents the number of Pauli string time evolution gates $e^{-itP}$, and $m$ is the number of qubits involved. We evaluate the ground state energies of $\mathrm{O_3}$, $\mathrm{Li_4}$, and $\mathrm{Cr_2}$, using CAS(2,2), (4,4) and (6,6) respectively in conjunction with our enhanced QCC ansatz, UCCSD (Unitary Coupled Cluster Single Double) ansatz, and canonical CCSD method as the active space solver, and compare with CASCI results. Finally, we assess our enhanced QCC ansatz on two distinct quantum hardware, IBM Kolkata and Quantinuum H1-1. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Comments: 10 pages, 6 figures

Enhancing Scalability of Quantum Eigenvalue Transformation of Unitary Matrices for Ground State Preparation through Adaptive Finer Filtering

Authors: Erenay Karacan, Yanbin Chen, Christian B. Mendl

Abstract: Hamiltonian simulation is a domain where quantum computers have the potential to outperform their classical counterparts due to their inherent quantum behavior. One of the main challenges of such quantum algorithms is up-scaling the system size, which is necessary to achieve meaningful quantum advantage. In this work, we present an approach to improve the scalability of eigenspace filtering for th… ▽ More Hamiltonian simulation is a domain where quantum computers have the potential to outperform their classical counterparts due to their inherent quantum behavior. One of the main challenges of such quantum algorithms is up-scaling the system size, which is necessary to achieve meaningful quantum advantage. In this work, we present an approach to improve the scalability of eigenspace filtering for the ground state preparation of a given Hamiltonian. Our method aims to tackle limitations introduced by a small spectral gap and high degeneracy of low energy states. It is based on an adaptive sequence of eigenspace filtering through Quantum Eigenvalue Transformation of Unitary Matrices (QETU) followed by spectrum profiling. By combining our proposed algorithm with state-of-the-art phase estimation methods, we achieved good approximations for the ground state energy with local, two-qubit gate depolarizing probability up to $10^{-4}$. To demonstrate the key results in this work, we ran simulations with the transverse-field Ising Model on classical computers using Qiskit. We compare the performance of our approach with the static implementation of QETU and show that we can consistently achieve three to four orders of magnitude improvement in the absolute error rate. △ Less

Submitted 22 June, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Universality and classification of elementary thermal operations

Authors: Pedro Hack, Christian B. Mendl

Abstract: Elementary thermal operations are thermal operations that act non-trivially on at most two energy levels of a system at the same time. They were recently introduced in order to bring thermal operations closer to experimental feasibility. A key question to address is whether any thermal operation could be realized via elementary ones, that is, whether elementary thermal operations are universal. Th… ▽ More Elementary thermal operations are thermal operations that act non-trivially on at most two energy levels of a system at the same time. They were recently introduced in order to bring thermal operations closer to experimental feasibility. A key question to address is whether any thermal operation could be realized via elementary ones, that is, whether elementary thermal operations are universal. This was shown to be false in general, although the extent to which elementary thermal operations are universal remained unknown. Here, we characterize their universality in both the sense described above and a weaker one, where we do not require them to decompose any thermal operation, but to be able to reproduce any input-output pair connected via thermal operations. Moreover, we do so for the two variants of elementary thermal operations that have been proposed, one where only deterministic protocols are allowed and one where protocols can be conditioned via the realization of a random variable, and provide algorithms to emulate thermal operations whenever their elementary counterparts are (weakly or not) universal. Lastly, we show that non-deterministic protocols reproduce thermal operations better than deterministic ones in most scenarios, even when they are not universal. Along the way, we relate elementary thermal operations to random walks on graphs. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Block encoding of matrix product operators

Authors: Martina Nibbi, Christian B. Mendl

Abstract: Quantum signal processing combined with quantum eigenvalue transformation has recently emerged as a unifying framework for several quantum algorithms. In its standard form, it consists of two separate routines: block encoding, which encodes a Hamiltonian in a larger unitary, and signal processing, which achieves an almost arbitrary polynomial transformation of such a Hamiltonian using rotation gat… ▽ More Quantum signal processing combined with quantum eigenvalue transformation has recently emerged as a unifying framework for several quantum algorithms. In its standard form, it consists of two separate routines: block encoding, which encodes a Hamiltonian in a larger unitary, and signal processing, which achieves an almost arbitrary polynomial transformation of such a Hamiltonian using rotation gates. The bottleneck of the entire operation is typically constituted by block encoding and, in recent years, several problem-specific techniques have been introduced to overcome this problem. Within this framework, we present a procedure to block-encode a Hamiltonian based on its matrix product operator (MPO) representation. More specifically, we encode every MPO tensor in a larger unitary of dimension $D+2$, where $D = \lceil\log(χ)\rceil$ is the number of subsequently contracted qubits that scales logarithmically with the virtual bond dimension $χ$. Given any system of size $L$, our method requires $L+D$ ancillary qubits in total, while the number of one- and two-qubit gates decomposing the block encoding circuit scales as $\mathcal{O}(L\cdotχ^2)$. △ Less

Submitted 17 May, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: 12 pages, 7 figures

Multithreaded parallelism for heterogeneous clusters of QPUs

Authors: Philipp Seitz, Manuel Geiger, Christian B. Mendl

Abstract: In this work, we present MILQ, a quantum unrelated parallel machines scheduler and cutter. The setting of unrelated parallel machines considers independent hardware backends, each distinguished by differing setup and processing times. MILQ optimizes the total execution time of a batch of circuits scheduled on multiple quantum devices. It leverages state-of-the-art circuit-cutting techniques to fit… ▽ More In this work, we present MILQ, a quantum unrelated parallel machines scheduler and cutter. The setting of unrelated parallel machines considers independent hardware backends, each distinguished by differing setup and processing times. MILQ optimizes the total execution time of a batch of circuits scheduled on multiple quantum devices. It leverages state-of-the-art circuit-cutting techniques to fit circuits onto the devices and schedules them based on a mixed-integer linear program. Our results show a total improvement of up to 26 % compared to a baseline approach. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Comments: 7 pages, 4 figures, 1 table, 1 algorithm

State Diagrams to determine Tree Tensor Network Operators

Authors: Richard M. Milbradt, Qunsheng Huang, Christian B. Mendl

Abstract: This work is concerned with tree tensor network operators (TTNOs) for representing quantum Hamiltonians. We first establish a mathematical framework connecting tree topologies with state diagrams. Based on these, we devise an algorithm for constructing a TTNO given a Hamiltonian. The algorithm exploits the tensor product structure of the Hamiltonian to add paths to a state diagram, while combining… ▽ More This work is concerned with tree tensor network operators (TTNOs) for representing quantum Hamiltonians. We first establish a mathematical framework connecting tree topologies with state diagrams. Based on these, we devise an algorithm for constructing a TTNO given a Hamiltonian. The algorithm exploits the tensor product structure of the Hamiltonian to add paths to a state diagram, while combining local operators if possible. We test the capabilities of our algorithm on random Hamiltonians for a given tree structure. Additionally, we construct explicit TTNOs for nearest neighbour interactions on a tree topology. Furthermore, we derive a bound on the bond dimension of tensor operators representing arbitrary interactions on trees. Finally, we consider an open quantum system in the form of a Heisenberg spin chain coupled to bosonic bath sites as a concrete example. We find that tree structures allow for lower bond dimensions of the Hamiltonian tensor network representation compared to a matrix product operator structure. This reduction is large enough to reduce the number of total tensor elements required as soon as the number of baths per spin reaches $3$. △ Less

Submitted 21 May, 2024; v1 submitted 22 November, 2023; originally announced November 2023.

Journal ref: SciPost Phys. Core 7, 036 (2024)

Quantum Wasserstein GANs for State Preparation at Unseen Points of a Phase Diagram

Authors: Wiktor Jurasz, Christian B. Mendl

Abstract: Generative models and in particular Generative Adversarial Networks (GANs) have become very popular and powerful data generation tool. In recent years, major progress has been made in extending this concept into the quantum realm. However, most of the current methods focus on generating classes of states that were supplied in the input set and seen at the training time. In this work, we propose a… ▽ More Generative models and in particular Generative Adversarial Networks (GANs) have become very popular and powerful data generation tool. In recent years, major progress has been made in extending this concept into the quantum realm. However, most of the current methods focus on generating classes of states that were supplied in the input set and seen at the training time. In this work, we propose a new hybrid classical-quantum method based on quantum Wasserstein GANs that overcomes this limitation. It allows to learn the function governing the measurement expectations of the supplied states and generate new states, that were not a part of the input set, but which expectations follow the same underlying function. △ Less

Submitted 18 September, 2023; originally announced September 2023.

Integration of Quantum Accelerators with High Performance Computing -- A Review of Quantum Programming Tools

Authors: Amr Elsharkawy, Xiao-Ting Michelle To, Philipp Seitz, Yanbin Chen, Yannick Stade, Manuel Geiger, Qunsheng Huang, Xiaorang Guo, Muhammad Arslan Ansari, Christian B. Mendl, Dieter Kranzlmüller, Martin Schulz

Abstract: Quantum computing (QC) introduces a novel mode of computation with the possibility of greater computational power that remains to be exploited - presenting exciting opportunities for high performance computing (HPC) applications. However, recent advancements in the field have made clear that QC does not supplant conventional HPC, but can rather be incorporated into current heterogeneous HPC infras… ▽ More Quantum computing (QC) introduces a novel mode of computation with the possibility of greater computational power that remains to be exploited - presenting exciting opportunities for high performance computing (HPC) applications. However, recent advancements in the field have made clear that QC does not supplant conventional HPC, but can rather be incorporated into current heterogeneous HPC infrastructures as an additional accelerator, thereby enabling the optimal utilization of both paradigms. The desire for such integration significantly affects the development of software for quantum computers, which in turn influences the necessary software infrastructure. To date, previous review papers have investigated various quantum programming tools (QPTs) (such as languages, libraries, frameworks) in their ability to program, compile, and execute quantum circuits. However, the integration effort with classical HPC frameworks or systems has not been addressed. This study aims to characterize existing QPTs from an HPC perspective, investigating if existing QPTs have the potential to be efficiently integrated with classical computing models and determining where work is still required. This work structures a set of criteria into an analysis blueprint that enables HPC scientists to assess whether a QPT is suitable for the quantum-accelerated classical application at hand. △ Less

Submitted 18 September, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: 35 pages, 8 figures and 4 tables

Correlations in Disordered Solvable Tensor Network States

Authors: Daniel Haag, Richard M. Milbradt, Christian B. Mendl

Abstract: Solvable matrix product and projected entangled pair states evolved by dual and ternary-unitary quantum circuits have analytically accessible correlation functions. Here, we investigate the influence of disorder. Specifically, we compute the average behavior of a physically motivated two-point equal-time correlation function with respect to random disordered solvable tensor network states arising… ▽ More Solvable matrix product and projected entangled pair states evolved by dual and ternary-unitary quantum circuits have analytically accessible correlation functions. Here, we investigate the influence of disorder. Specifically, we compute the average behavior of a physically motivated two-point equal-time correlation function with respect to random disordered solvable tensor network states arising from the Haar measure on the unitary group. By employing the Weingarten calculus, we provide an exact analytical expression for the average of the $k$th moment of the correlation function. The complexity of the expression scales with $k!$ and is independent of the complexity of the underlying tensor network state. Our result implies that the correlation function vanishes on average, while its covariance is nonzero. △ Less

Submitted 9 September, 2023; originally announced September 2023.

Comments: 28 pages, 2 figures, comments welcome

Quantum-Informed Recursive Optimization Algorithms

Authors: Jernej Rudi Finžgar, Aron Kerschbaumer, Martin J. A. Schuetz, Christian B. Mendl, Helmut G. Katzgraber

Abstract: We propose and implement a family of quantum-informed recursive optimization (QIRO) algorithms for combinatorial optimization problems. Our approach leverages quantum resources to obtain information that is used in problem-specific classical reduction steps that recursively simplify the problem. These reduction steps address the limitations of the quantum component and ensure solution feasibility… ▽ More We propose and implement a family of quantum-informed recursive optimization (QIRO) algorithms for combinatorial optimization problems. Our approach leverages quantum resources to obtain information that is used in problem-specific classical reduction steps that recursively simplify the problem. These reduction steps address the limitations of the quantum component and ensure solution feasibility in constrained optimization problems. Additionally, we use backtracking techniques to further improve the performance of the algorithm without increasing the requirements on the quantum hardware. We demonstrate the capabilities of our approach by informing QIRO with correlations from classical simulations of shallow (depth $p=1$) circuits of the quantum approximate optimization algorithm (QAOA), solving instances of maximum independent set and maximum satisfiability problems with hundreds of variables. We also demonstrate how QIRO can be deployed on a neutral atom quantum processor available online on Amazon Braket to find large independent sets of graphs. In summary, our scheme achieves results comparable to classical heuristics, such as simulated annealing and greedy algorithms, even with relatively weak quantum resources. Furthermore, enhancing the quality of these quantum resources improves the performance of the algorithms, highlighting the potential of QIRO. Notably, the modular nature of QIRO offers various avenues for modifications, positioning our work as a blueprint for designing a broader class of hybrid quantum-classical algorithms for combinatorial optimization. △ Less

Submitted 10 March, 2024; v1 submitted 25 August, 2023; originally announced August 2023.

Comments: 17 pages, 10 figures. Revised Figs. 1 and 2. Accepted version

Trotter error with commutator scaling for the Fermi-Hubbard model

Authors: Ansgar Schubert, Christian B. Mendl

Abstract: We derive higher-order error bounds with small prefactors for a general Trotter product formula, generalizing a result of Childs et al. [Phys. Rev. X 11, 011020 (2021)]. We then apply these bounds to the real-time quantum time evolution operator governed by the Fermi-Hubbard Hamiltonian on one-dimensional and two-dimensional square and triangular lattices. The main technical contribution of our wo… ▽ More We derive higher-order error bounds with small prefactors for a general Trotter product formula, generalizing a result of Childs et al. [Phys. Rev. X 11, 011020 (2021)]. We then apply these bounds to the real-time quantum time evolution operator governed by the Fermi-Hubbard Hamiltonian on one-dimensional and two-dimensional square and triangular lattices. The main technical contribution of our work is a symbolic evaluation of nested commutators between hop** and interaction terms for a given lattice geometry. The calculations result in explicit expressions for the error bounds in terms of the time step and Hamiltonian coefficients. Comparison with the actual Trotter error (evaluated on a small system) indicates that the bounds still overestimate the error. △ Less

Submitted 26 September, 2023; v1 submitted 18 June, 2023; originally announced June 2023.

Comments: 12 pages, 4 figures

Journal ref: Phys. Rev. B 108, 195105 (2023)

Benchmarking the Variational Quantum Eigensolver using different quantum hardware

Authors: Amine Bentellis, Andrea Matic-Flierl, Christian B. Mendl, Jeanette Miriam Lorenz

Abstract: The Variational Quantum Eigensolver (VQE) is a promising quantum algorithm for applications in chemistry within the Noisy Intermediate-Scale Quantum (NISQ) era. The ability for a quantum computer to simulate electronic structures with high accuracy would have a profound impact on material and biochemical science with potential applications e.g., to the development of new drugs. However, considerin… ▽ More The Variational Quantum Eigensolver (VQE) is a promising quantum algorithm for applications in chemistry within the Noisy Intermediate-Scale Quantum (NISQ) era. The ability for a quantum computer to simulate electronic structures with high accuracy would have a profound impact on material and biochemical science with potential applications e.g., to the development of new drugs. However, considering the variety of quantum hardware architectures, it is still uncertain which hardware concept is most suited to execute the VQE for e.g., the simulation of molecules. Aspects to consider here are the required connectivity of the quantum circuit used, the size and the depth and thus the susceptibility to noise effects. Besides theoretical considerations, empirical studies using available quantum hardware may help to clarify the question of which hardware technology might be better suited for a certain given application and algorithm. Going one step into this direction, within this work, we present results using the VQE for the simulation of the hydrogen molecule, comparing superconducting and ion trap quantum computers. The experiments are carried out with a standardized setup of ansatz and optimizer, selected to reduce the amount of iterations required. The findings are analyzed considering different quantum processor types, calibration data as well as the depth and gate counts of the circuits required for the different hardware concepts after transpilation. △ Less

Submitted 11 May, 2023; originally announced May 2023.

Comments: Submitted to the IEEE for possible publication

Journal ref: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), Bellevue, WA, USA, 518-523 (2023)

Quantum-Assisted Solution Paths for the Capacitated Vehicle Routing Problem

Authors: Lilly Palackal, Benedikt Poggel, Matthias Wulff, Hans Ehm, Jeanette Miriam Lorenz, Christian B. Mendl

Abstract: Many relevant problems in industrial settings result in NP-hard optimization problems, such as the Capacitated Vehicle Routing Problem (CVRP) or its reduced variant, the Travelling Salesperson Problem (TSP). Even with today's most powerful classical algorithms, the CVRP is challenging to solve classically. Quantum computing may offer a way to improve the time to solution, although the question rem… ▽ More Many relevant problems in industrial settings result in NP-hard optimization problems, such as the Capacitated Vehicle Routing Problem (CVRP) or its reduced variant, the Travelling Salesperson Problem (TSP). Even with today's most powerful classical algorithms, the CVRP is challenging to solve classically. Quantum computing may offer a way to improve the time to solution, although the question remains open as to whether Noisy Intermediate-Scale Quantum (NISQ) devices can achieve a practical advantage compared to classical heuristics. The most prominent algorithms proposed to solve combinatorial optimization problems in the NISQ era are the Quantum Approximate Optimization Algorithm (QAOA) and the more general Variational Quantum Eigensolver (VQE). However, implementing them in a way that reliably provides high-quality solutions is challenging, even for toy examples. In this work, we discuss decomposition and formulation aspects of the CVRP and propose an application-driven way to measure solution quality. Considering current hardware constraints, we reduce the CVRP to a clustering phase and a set of TSPs. For the TSP, we extensively test both QAOA and VQE and investigate the influence of various hyperparameters, such as the classical optimizer choice and strength of constraint penalization. Results of QAOA are generally of limited quality because the algorithm does not reach the energy threshold for feasible TSP solutions, even when considering various extensions such as recursive, warm-start and constraint-preserving mixer QAOA. On the other hand, the VQE reaches the energy threshold and shows a better performance. Our work outlines the obstacles to quantum-assisted solutions for real-world optimization problems and proposes perspectives on how to overcome them. △ Less

Submitted 7 May, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

Comments: Submitted to the IEEE for possible publication

Journal ref: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), Bellevue, WA, USA, 648-658 (2023)

A recursively partitioned approach to architecture-aware ZX Polynomial synthesis and optimization

Authors: David Winderl, Qunsheng Huang, Christian B. Mendl

Abstract: The synthesis of quantum circuits from phase gadgets in the ZX-calculus facilitates quantum circuit optimization. Our work provides an alternative formulation for the architecture-aware synthesis algorithm of PauliOpt by replacing the stochastic approach of PauliOpt with a heuristic based search and utilizes a divide and conquer method to synthesize an optimized circuit from a ZX polynomial. We pr… ▽ More The synthesis of quantum circuits from phase gadgets in the ZX-calculus facilitates quantum circuit optimization. Our work provides an alternative formulation for the architecture-aware synthesis algorithm of PauliOpt by replacing the stochastic approach of PauliOpt with a heuristic based search and utilizes a divide and conquer method to synthesize an optimized circuit from a ZX polynomial. We provide a comparison of our algorithm with PauliOpt and other state-of-the-art optimization libraries. While we note poorer performance for highly structured circuits, as in the QAOA formulation for Max-Cut, we demonstrate a significant advantage for randomized circuits, which highlights the advantages of utilizing an architecture-aware methodology. △ Less

Submitted 31 March, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible

Quantum Reinforcement Learning for Solving a Stochastic Frozen Lake Environment and the Impact of Quantum Architecture Choices

Authors: Theodora-Augustina Drăgan, Maureen Monnet, Christian B. Mendl, Jeanette Miriam Lorenz

Abstract: Quantum reinforcement learning (QRL) models augment classical reinforcement learning schemes with quantum-enhanced kernels. Different proposals on how to construct such models empirically show a promising performance. In particular, these models might offer a reduced parameter count and shorter times to reach a solution than classical models. It is however presently unclear how these quantum-enhan… ▽ More Quantum reinforcement learning (QRL) models augment classical reinforcement learning schemes with quantum-enhanced kernels. Different proposals on how to construct such models empirically show a promising performance. In particular, these models might offer a reduced parameter count and shorter times to reach a solution than classical models. It is however presently unclear how these quantum-enhanced kernels as subroutines within a reinforcement learning pipeline need to be constructed to indeed result in an improved performance in comparison to classical models. In this work we exactly address this question. First, we propose a hybrid quantum-classical reinforcement learning model that solves a slippery stochastic frozen lake, an environment considerably more difficult than the deterministic frozen lake. Secondly, different quantum architectures are studied as options for this hybrid quantum-classical reinforcement learning model, all of them well-motivated by the literature. They all show very promising performances with respect to similar classical variants. We further characterize these choices by metrics that are relevant to benchmark the power of quantum circuits, such as the entanglement capability, the expressibility, and the information density of the circuits. However, we find that these typical metrics do not directly predict the performance of a QRL model. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: Accepted at ICAART 2023

Riemannian quantum circuit optimization for Hamiltonian simulation

Authors: Ayse Kotil, Rahul Banerjee, Qunsheng Huang, Christian B. Mendl

Abstract: Hamiltonian simulation, i.e., simulating the real time evolution of a target quantum system, is a natural application of quantum computing. Trotter-Suzuki splitting methods can generate corresponding quantum circuits; however, a faithful approximation can lead to relatively deep circuits. Here we start from the insight that for translation invariant systems, the gates in such circuit topologies ca… ▽ More Hamiltonian simulation, i.e., simulating the real time evolution of a target quantum system, is a natural application of quantum computing. Trotter-Suzuki splitting methods can generate corresponding quantum circuits; however, a faithful approximation can lead to relatively deep circuits. Here we start from the insight that for translation invariant systems, the gates in such circuit topologies can be further optimized on classical computers to decrease the circuit depth and/or increase the accuracy. We employ tensor network techniques and devise a method based on the Riemannian trust-region algorithm on the unitary matrix manifold for this purpose. For the Ising and Heisenberg models on a one-dimensional lattice, we achieve orders of magnitude accuracy improvements compared to fourth-order splitting methods. The optimized circuits could also be of practical use for the time-evolving block decimation (TEBD) algorithm. △ Less

Submitted 25 November, 2023; v1 submitted 14 December, 2022; originally announced December 2022.

Comments: 10 pages, 7 figures

Journal ref: J. Phys. A: Math. Theor. 57, 135303 (2024)

On the Optimal Linear Contraction Order of Tree Tensor Networks, and Beyond

Authors: Mihail Stoian, Richard Milbradt, Christian B. Mendl

Abstract: The contraction cost of a tensor network depends on the contraction order. However, the optimal contraction ordering problem is known to be NP-hard. We show that the linear contraction ordering problem for tree tensor networks admits a polynomial-time algorithm, by drawing connections to database join ordering. The result relies on the adjacent sequence interchange property of the contraction cost… ▽ More The contraction cost of a tensor network depends on the contraction order. However, the optimal contraction ordering problem is known to be NP-hard. We show that the linear contraction ordering problem for tree tensor networks admits a polynomial-time algorithm, by drawing connections to database join ordering. The result relies on the adjacent sequence interchange property of the contraction cost, which enables a global decision of the contraction order based on local comparisons. Based on that, we specify a modified version of the IKKBZ database join ordering algorithm to find the optimal tree tensor network linear contraction order. Finally, we extend our algorithm as a heuristic to general contraction orders and arbitrary tensor network topologies. △ Less

Submitted 2 October, 2023; v1 submitted 25 September, 2022; originally announced September 2022.

Comments: Submission-ready version: improved presentation, clean notation, suitable title, algorithm pseudo-codes, and experiments; results remain the same

Ternary unitary quantum lattice models and circuits in $2 + 1$ dimensions

Authors: Richard Milbradt, Lisa Scheller, Christopher Aßmus, Christian B. Mendl

Abstract: We extend the concept of dual unitary quantum gates to quantum lattice models in $2 + 1$ dimensions, by introducing and studying ternary unitary four-particle gates, which are unitary in time and both spatial dimensions. When used as building blocks of lattice models with periodic boundary conditions in time and space (corresponding to infinite temperature states), dynamical correlation functions… ▽ More We extend the concept of dual unitary quantum gates to quantum lattice models in $2 + 1$ dimensions, by introducing and studying ternary unitary four-particle gates, which are unitary in time and both spatial dimensions. When used as building blocks of lattice models with periodic boundary conditions in time and space (corresponding to infinite temperature states), dynamical correlation functions exhibit a light-ray structure. We also generalize solvable MPS to two spatial dimensions with cylindrical boundary conditions, by showing that the analogous solvable PEPS can be identified with matrix product unitaries. In the resulting tensor network for evaluating equal-time correlation functions, the bulk ternary unitary gates cancel out. We delineate and implement a numerical algorithm for computing such correlations by contracting the remaining tensors. △ Less

Submitted 3 June, 2022; originally announced June 2022.

Comments: 16 pages, 6 figures

Journal ref: Phys. Rev. Lett. 130 (2023) 090601

Simulating quantum circuits using tree tensor networks

Authors: Philipp Seitz, Ismael Medina, Esther Cruz, Qunsheng Huang, Christian B. Mendl

Abstract: We develop and analyze a method for simulating quantum circuits on classical computers by representing quantum states as rooted tree tensor networks. Our algorithm first determines a suitable, fixed tree structure adapted to the expected entanglement generated by the quantum circuit. The gates are sequentially applied to the tree by absorbing single-qubit gates into leaf nodes, and splitting two-q… ▽ More We develop and analyze a method for simulating quantum circuits on classical computers by representing quantum states as rooted tree tensor networks. Our algorithm first determines a suitable, fixed tree structure adapted to the expected entanglement generated by the quantum circuit. The gates are sequentially applied to the tree by absorbing single-qubit gates into leaf nodes, and splitting two-qubit gates via singular value decomposition and threading the resulting virtual bond through the tree. We theoretically analyze the applicability of the method as well as its computational cost and memory requirements, and identify advantageous scenarios in terms of required bond dimensions as compared to a matrix product state representation. The study is complemented by numerical experiments for different quantum circuit layouts up to 37 qubits. △ Less

Submitted 22 March, 2023; v1 submitted 2 June, 2022; originally announced June 2022.

Comments: 13 pages, 16 figures, 1 algorithm, Latex; Comments for version 3: preparation for publication in the Quantum Journal, additional comparison to existing approaches, more details on the experiments and outcomes, general rephrasing and improvements for clarity

Journal ref: Quantum 7, 964 (2023)

Towards AutoQML: A Cloud-Based Automated Circuit Architecture Search Framework

Authors: Raúl Berganza Gómez, Corey O'Meara, Giorgio Cortiana, Christian B. Mendl, Juan Bernabé-Moreno

Abstract: The learning process of classical machine learning algorithms is tuned by hyperparameters that need to be customized to best learn and generalize from an input dataset. In recent years, Quantum Machine Learning (QML) has been gaining traction as a possible application of quantum computing which may provide quantum advantage in the future. However, quantum versions of classical machine learning alg… ▽ More The learning process of classical machine learning algorithms is tuned by hyperparameters that need to be customized to best learn and generalize from an input dataset. In recent years, Quantum Machine Learning (QML) has been gaining traction as a possible application of quantum computing which may provide quantum advantage in the future. However, quantum versions of classical machine learning algorithms introduce a plethora of additional parameters and circuit variations that have their own intricacies in being tuned. In this work, we take the first steps towards Automated Quantum Machine Learning (AutoQML). We propose a concrete description of the problem, and then develop a classical-quantum hybrid cloud architecture that allows for parallelized hyperparameter exploration and model training. As an application use-case, we train a quantum Generative Adversarial neural Network (qGAN) to generate energy prices that follow a known historic data distribution. Such a QML model can be used for various applications in the energy economics sector. △ Less

Submitted 16 February, 2022; originally announced February 2022.

Comments: 8 pages, to appear in QSA 2022 (IEEE ICSA 2022)

Journal ref: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), 129-136 (2022)

Quantum Process Tomography of Unitary Maps from Time-Delayed Measurements

Authors: Irene López Gutiérrez, Felix Dietrich, Christian B. Mendl

Abstract: Quantum process tomography conventionally uses a multitude of initial quantum states and then performs state tomography on the process output. Here we propose and study an alternative approach which requires only a single (or few) known initial states together with time-delayed measurements for reconstructing the unitary map and corresponding Hamiltonian of the time dynamics. The overarching mathe… ▽ More Quantum process tomography conventionally uses a multitude of initial quantum states and then performs state tomography on the process output. Here we propose and study an alternative approach which requires only a single (or few) known initial states together with time-delayed measurements for reconstructing the unitary map and corresponding Hamiltonian of the time dynamics. The overarching mathematical framework and feasibility guarantee of our method is provided by the Takens embedding theorem. We explain in detail how the reconstruction of a single qubit Hamiltonian works in this setting, and provide numerical methods and experiments for general few-qubit and lattice systems with local interactions. In particular, the method allows to find the Hamiltonian of a two qubit system by observing only one of the qubits. △ Less

Submitted 22 February, 2022; v1 submitted 16 December, 2021; originally announced December 2021.

Comments: 10 pages, 9 figures

Journal ref: Quantum Inf. Process. 22, 251 (2023)

Hybrid Classical-Quantum Autoencoder for Anomaly Detection

Authors: Alona Sakhnenko, Corey O'Meara, Kumar J. B. Ghosh, Christian B. Mendl, Giorgio Cortiana, Juan Bernabé-Moreno

Abstract: We propose a Hybrid classical-quantum Autoencoder (HAE) model, which is a synergy of a classical autoencoder (AE) and a parametrized quantum circuit (PQC) that is inserted into its bottleneck. The PQC augments the latent space, on which a standard outlier detection method is applied to search for anomalous data points within a classical dataset. Using this model and applying it to both standard be… ▽ More We propose a Hybrid classical-quantum Autoencoder (HAE) model, which is a synergy of a classical autoencoder (AE) and a parametrized quantum circuit (PQC) that is inserted into its bottleneck. The PQC augments the latent space, on which a standard outlier detection method is applied to search for anomalous data points within a classical dataset. Using this model and applying it to both standard benchmarking datasets, and a specific use-case dataset which relates to predictive maintenance of gas power plants, we show that the addition of the PQC leads to a performance enhancement in terms of precision, recall, and F1 score. Furthermore, we probe different PQC Ansätze and analyse which PQC features make them effective for this task. △ Less

Submitted 16 December, 2021; originally announced December 2021.

Comments: 17 pages, 11 figures

Journal ref: Quantum Mach. Intell. 4, 27 (2022)

Efficient quantum circuit simulation using a multi-qubit Bloch vector representation of density matrices

Authors: Qunsheng Huang, Christian B. Mendl

Abstract: In the Bloch sphere picture, one finds the coefficients for expanding a single-qubit density operator in terms of the identity and Pauli matrices. A generalization to $n$ qubits via tensor products represents a density operator by a real vector of length $4^n$, conceptually similar to a statevector. Here, we study this approach for the purpose of quantum circuit simulation, including noise process… ▽ More In the Bloch sphere picture, one finds the coefficients for expanding a single-qubit density operator in terms of the identity and Pauli matrices. A generalization to $n$ qubits via tensor products represents a density operator by a real vector of length $4^n$, conceptually similar to a statevector. Here, we study this approach for the purpose of quantum circuit simulation, including noise processes. The tensor structure leads to computationally efficient algorithms for applying circuit gates and performing few-qubit quantum operations. In view of variational circuit optimization, we study ``backpropagation'' through a quantum circuit and gradient computation based on this representation, and generalize our analysis to the Lindblad equation for modeling the (non-unitary) time evolution of a density operator. △ Less

Submitted 11 February, 2022; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: 10 pages

Journal ref: Phys. Rev. A 105, 022409 (2022)

Solving Differential Equations via Continuous-Variable Quantum Computers

Authors: Martin Knudsen, Christian B. Mendl

Abstract: We explore how a continuous-variable (CV) quantum computer could solve a classic differential equation, making use of its innate capability to represent real numbers in qumodes. Specifically, we construct variational CV quantum circuits [Killoran et al., Phys.~Rev.~Research 1, 033063 (2019)] to approximate the solution of one-dimensional ordinary differential equations (ODEs), with input encoding… ▽ More We explore how a continuous-variable (CV) quantum computer could solve a classic differential equation, making use of its innate capability to represent real numbers in qumodes. Specifically, we construct variational CV quantum circuits [Killoran et al., Phys.~Rev.~Research 1, 033063 (2019)] to approximate the solution of one-dimensional ordinary differential equations (ODEs), with input encoding based on displacement gates and output via measurement averages. Our simulations and parameter optimization using the PennyLane / Strawberry Fields framework demonstrate good convergence for both linear and non-linear ODEs. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: 6 pages, 8 figures

Quantum Algorithms for Solving Ordinary Differential Equations via Classical Integration Methods

Authors: Benjamin Zanger, Christian B. Mendl, Martin Schulz, Martin Schreiber

Abstract: Identifying computational tasks suitable for (future) quantum computers is an active field of research. Here we explore utilizing quantum computers for the purpose of solving differential equations. We consider two approaches: (i) basis encoding and fixed-point arithmetic on a digital quantum computer, and (ii) representing and solving high-order Runge-Kutta methods as optimization problems on qua… ▽ More Identifying computational tasks suitable for (future) quantum computers is an active field of research. Here we explore utilizing quantum computers for the purpose of solving differential equations. We consider two approaches: (i) basis encoding and fixed-point arithmetic on a digital quantum computer, and (ii) representing and solving high-order Runge-Kutta methods as optimization problems on quantum annealers. As realizations applied to two-dimensional linear ordinary differential equations, we devise and simulate corresponding digital quantum circuits, and implement and run a 6$^{\mathrm{th}}$ order Gauss-Legendre collocation method on a D-Wave 2000Q system, showing good agreement with the reference solution. We find that the quantum annealing approach exhibits the largest potential for high-order implicit integration methods. As promising future scenario, the digital arithmetic method could be employed as an "oracle" within quantum search algorithms for inverse problems. △ Less

Submitted 12 July, 2021; v1 submitted 17 December, 2020; originally announced December 2020.

Journal ref: Quantum 5, 502 (2021)

Real time evolution with neural-network quantum states

Authors: Irene López Gutiérrez, Christian B. Mendl

Abstract: A promising application of neural-network quantum states is to describe the time dynamics of many-body quantum systems. To realize this idea, we employ neural-network quantum states to approximate the implicit midpoint rule method, which preserves the symplectic form of Hamiltonian dynamics. We ensure that our complex-valued neural networks are holomorphic functions, and exploit this property to e… ▽ More A promising application of neural-network quantum states is to describe the time dynamics of many-body quantum systems. To realize this idea, we employ neural-network quantum states to approximate the implicit midpoint rule method, which preserves the symplectic form of Hamiltonian dynamics. We ensure that our complex-valued neural networks are holomorphic functions, and exploit this property to efficiently compute gradients. Application to the transverse-field Ising model on a one- and two-dimensional lattice exhibits an accuracy comparable to the stochastic configuration method proposed in [Carleo and Troyer, Science 355, 602-606 (2017)], but does not require computing the (pseudo-)inverse of a matrix. △ Less

Submitted 12 January, 2022; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: 11 pages, 8 figures

Journal ref: Quantum 6, 627 (2022)

Stability of dynamical quantum phase transitions in quenched topological insulators: From multiband to disordered systems

Authors: Christian B. Mendl, Jan Carl Budich

Abstract: Dynamical quantum phase transitions (DQPTs) represent a counterpart in non-equilibrium quantum time evolution of thermal phase transitions at equilibrium, where real time becomes analogous to a control parameter such as temperature. In quenched quantum systems, recently the occurrence of DQPTs has been demonstrated, both with theory and experiment, to be intimately connected to changes of topologi… ▽ More Dynamical quantum phase transitions (DQPTs) represent a counterpart in non-equilibrium quantum time evolution of thermal phase transitions at equilibrium, where real time becomes analogous to a control parameter such as temperature. In quenched quantum systems, recently the occurrence of DQPTs has been demonstrated, both with theory and experiment, to be intimately connected to changes of topological properties. Here, we contribute to broadening the systematic understanding of this relation between topology and DQPTs to multi-orbital and disordered systems. Specifically, we provide a detailed ergodicity analysis to derive criteria for DQPTs in all spatial dimensions, and construct basic counter-examples to the occurrence of DQPTs in multi-band topological insulator models. As a numerical case study illustrating our results, we report on microscopic simulations of the quench dynamics in the Harper-Hofstadter model. Furthermore, going gradually from multi-band to disordered systems, we approach random disorder by increasing the (super) unit cell within which random perturbations are switched on adiabatically. This leads to an intriguing order of limits problem which we address by extensive numerical calculations on quenched one-dimensional topological insulators and superconductors with disorder. △ Less

Submitted 28 December, 2019; v1 submitted 3 September, 2019; originally announced September 2019.

Comments: 11 pages, 5 figures

Journal ref: Phys. Rev. B 100, 224307 (2019)

NetKet: A Machine Learning Toolkit for Many-Body Quantum Systems

Authors: Giuseppe Carleo, Kenny Choo, Damian Hofmann, James E. T. Smith, Tom Westerhout, Fabien Alet, Emily J. Davis, Stavros Efthymiou, Ivan Glasser, Sheng-Hsuan Lin, Marta Mauri, Guglielmo Mazzola, Christian B. Mendl, Evert van Nieuwenburg, Ossian O'Reilly, Hugo Théveniaut, Giacomo Torlai, Alexander Wietek

Abstract: We introduce NetKet, a comprehensive open source framework for the study of many-body quantum systems using machine learning techniques. The framework is built around a general and flexible implementation of neural-network quantum states, which are used as a variational ansatz for quantum wave functions. NetKet provides algorithms for several key tasks in quantum many-body physics and quantum tech… ▽ More We introduce NetKet, a comprehensive open source framework for the study of many-body quantum systems using machine learning techniques. The framework is built around a general and flexible implementation of neural-network quantum states, which are used as a variational ansatz for quantum wave functions. NetKet provides algorithms for several key tasks in quantum many-body physics and quantum technology, namely quantum state tomography, supervised learning from wave-function data, and ground state searches for a wide range of customizable lattice models. Our aim is to provide a common platform for open research and to stimulate the collaborative development of computational methods at the interface of machine learning and many-body physics. △ Less

Submitted 29 March, 2019; originally announced April 2019.

Journal ref: SoftwareX 10, 100311 (2019)

Time evolution of matrix product operators with energy conservation

Authors: Christian B. Mendl

Abstract: We devise a numerical scheme for the time evolution of matrix product operators by adapting the time-dependent variational principle for matrix product states [J. Haegeman et al, Phys. Rev. B 94, 165116 (2016)]. A simple augmentation of the initial operator $\mathcal{O}$ by the Hamiltonian $H$ helps to conserve the average energy $\mathrm{tr}[H \mathcal{O}(t)]$ in the numerical scheme and increase… ▽ More We devise a numerical scheme for the time evolution of matrix product operators by adapting the time-dependent variational principle for matrix product states [J. Haegeman et al, Phys. Rev. B 94, 165116 (2016)]. A simple augmentation of the initial operator $\mathcal{O}$ by the Hamiltonian $H$ helps to conserve the average energy $\mathrm{tr}[H \mathcal{O}(t)]$ in the numerical scheme and increases the overall precision. As demonstration, we apply the improved method to a random operator on a small one-dimensional lattice, using the spin-1 Heisenberg XXZ model Hamiltonian; we observe that the augmentation reduces the trace-distance to the numerically exact time-evolved operator by a factor of 10, at the same computational cost. △ Less

Submitted 31 December, 2018; originally announced December 2018.

Comments: 4 pages, 4 figures

Scrambling and thermalization in a diffusive quantum many-body system

Authors: A. Bohrdt, C. B. Mendl, M. Endres, M. Knap

Abstract: Out-of-time ordered (OTO) correlation functions describe scrambling of information in correlated quantum matter. They are of particular interest in incoherent quantum systems lacking well defined quasi-particles. Thus far, it is largely elusive how OTO correlators spread in incoherent systems with diffusive transport governed by a few globally conserved quantities. Here, we study the dynamical res… ▽ More Out-of-time ordered (OTO) correlation functions describe scrambling of information in correlated quantum matter. They are of particular interest in incoherent quantum systems lacking well defined quasi-particles. Thus far, it is largely elusive how OTO correlators spread in incoherent systems with diffusive transport governed by a few globally conserved quantities. Here, we study the dynamical response of such a system using high-performance matrix-product-operator techniques. Specifically, we consider the non-integrable, one-dimensional Bose-Hubbard model in the incoherent high-temperature regime. Our system exhibits diffusive dynamics in time-ordered correlators of globally conserved quantities, whereas OTO correlators display a ballistic, light-cone spreading of quantum information. The slowest process in the global thermalization of the system is thus diffusive, yet information spreading is not inhibited by such slow dynamics. We furthermore develop an experimentally feasible protocol to overcome some challenges faced by existing proposals and to probe time-ordered and OTO correlation functions. Our study opens new avenues for both the theoretical and experimental exploration of thermalization and information scrambling dynamics. △ Less

Submitted 17 February, 2017; v1 submitted 7 December, 2016; originally announced December 2016.

Comments: 7+4 pages, 8+3 figures; streamlined version

Journal ref: New J. Phys. 19, 063001 (2017)

Quantum Boltzmann equation for spin-dependent reactions in the kinetic regime

Authors: Martin L. R. Fürst, Markus Kotulla, Christian B. Mendl, Herbert Spohn

Abstract: We derive and analyze an effective quantum Boltzmann equation in the kinetic regime for the interactions of four distinguishable types of fermionic spin-$\frac{1}{2}$ particles, starting from a general quantum field Hamiltonian. Each particle type is described by a time-dependent, $2 \times 2$ spin-density ("Wigner") matrix. We show that density and energy conservation laws as well as the H-theore… ▽ More We derive and analyze an effective quantum Boltzmann equation in the kinetic regime for the interactions of four distinguishable types of fermionic spin-$\frac{1}{2}$ particles, starting from a general quantum field Hamiltonian. Each particle type is described by a time-dependent, $2 \times 2$ spin-density ("Wigner") matrix. We show that density and energy conservation laws as well as the H-theorem hold, and enumerate additional conservation laws depending on the interaction. The conserved quantities characterize the $t \to \infty$ thermal (Fermi-Dirac) equilibrium state. We illustrate the approach to equilibrium by numerical simulations in the isotropic three-dimensional setting. △ Less

Submitted 19 December, 2014; v1 submitted 10 November, 2014; originally announced November 2014.

Comments: 18 pages, 7 figures

Journal ref: J. Phys. A: Math. Theor. 48, 095204 (2015)

Efficient algorithm for many-electron angular momentum and spin diagonalization on atomic subshells

Authors: Christian B. Mendl

Abstract: We devise an efficient algorithm for the symbolic calculation of irreducible angular momentum and spin (LS) eigenspaces within the $n$-fold antisymmetrized tensor product $\wedge^n V_u$, where $n$ is the number of electrons and $u = \mathrm{s}, \mathrm{p}, \mathrm{d},\dots$ denotes the atomic subshell. This is an essential step for dimension reduction in configuration-interaction (CI) methods appl… ▽ More We devise an efficient algorithm for the symbolic calculation of irreducible angular momentum and spin (LS) eigenspaces within the $n$-fold antisymmetrized tensor product $\wedge^n V_u$, where $n$ is the number of electrons and $u = \mathrm{s}, \mathrm{p}, \mathrm{d},\dots$ denotes the atomic subshell. This is an essential step for dimension reduction in configuration-interaction (CI) methods applied to atomic many-electron quantum systems. The algorithm relies on the observation that each $L_z$ eigenstate with maximal eigenvalue is also an $\boldsymbol{L}^2$ eigenstate (equivalently for $S_z$ and $\boldsymbol{S}^2$), as well as the traversal of LS eigenstates using the lowering operators $L_-$ and $S_-$. Iterative application to the remaining states in $\wedge^n V_u$ leads to an implicit simultaneous diagonalization. A detailed complexity analysis for fixed $n$ and increasing subshell number $u$ yields run time $\mathcal{O}(u^{3n-2})$. A symbolic computer algebra implementation is available online. △ Less

Submitted 3 June, 2015; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: 11 pages, 3 figures

Journal ref: Commun. Comput. Phys. 19, 192-204 (2016)

Numerical methods for a Kohn-Sham density functional model based on optimal transport

Authors: Huajie Chen, Gero Friesecke, Christian B. Mendl

Abstract: In this paper, we study numerical discretizations to solve density functional models in the "strictly correlated electrons" (SCE) framework. Unlike previous studies our work is not restricted to radially symmetric densities. In the SCE framework, the exchange-correlation functional encodes the effects of the strong correlation regime by minimizing the pairwise Coulomb repulsion, resulting in an op… ▽ More In this paper, we study numerical discretizations to solve density functional models in the "strictly correlated electrons" (SCE) framework. Unlike previous studies our work is not restricted to radially symmetric densities. In the SCE framework, the exchange-correlation functional encodes the effects of the strong correlation regime by minimizing the pairwise Coulomb repulsion, resulting in an optimal transport problem. We give a mathematical derivation of the self-consistent Kohn-Sham-SCE equations, construct an efficient numerical discretization for this type of problem for N = 2 electrons, and apply it to the H2 molecule in its dissociating limit. Moreover, we prove that the SCE density functional model is correct for the H2 molecule in its dissociating limit. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 22 pages, 6 figures

Journal ref: J. Chem. Theory Comput. 10, 4360-4368 (2014)

Matrix-valued Quantum Lattice Boltzmann Method

Authors: Christian B. Mendl

Abstract: We devise a lattice Boltzmann method (LBM) for a matrix-valued quantum Boltzmann equation, with the classical Maxwell distribution replaced by Fermi-Dirac functions. To accommodate the spin density matrix, the distribution functions become 2 x 2 matrix-valued. From an analytic perspective, the efficient, commonly used BGK approximation of the collision operator is valid in the present setting. The… ▽ More We devise a lattice Boltzmann method (LBM) for a matrix-valued quantum Boltzmann equation, with the classical Maxwell distribution replaced by Fermi-Dirac functions. To accommodate the spin density matrix, the distribution functions become 2 x 2 matrix-valued. From an analytic perspective, the efficient, commonly used BGK approximation of the collision operator is valid in the present setting. The numerical scheme could leverage the principles of LBM for simulating complex spin systems, with applications to spintronics. △ Less

Submitted 23 February, 2015; v1 submitted 6 September, 2013; originally announced September 2013.

Comments: 18 pages

MSC Class: 65Z05; 76Y05; 82D40; 81-08

Journal ref: Int. J. Mod. Phys. C 26, 1550113 (2015)

N-density representability and the optimal transport limit of the Hohenberg-Kohn functional

Authors: Gero Friesecke, Christian B. Mendl, Brendan Pass, Codina Cotar, Claudia Klüppelberg

Abstract: We derive and analyze a hierarchy of approximations to the strongly correlated limit of the Hohenberg-Kohn functional. These "density representability approximations" are obtained by first noting that in the strongly correlated limit, N-representability of the pair density reduces to the requirement that the pair density must come from a symmetric N-point density. One then relaxes this requirement… ▽ More We derive and analyze a hierarchy of approximations to the strongly correlated limit of the Hohenberg-Kohn functional. These "density representability approximations" are obtained by first noting that in the strongly correlated limit, N-representability of the pair density reduces to the requirement that the pair density must come from a symmetric N-point density. One then relaxes this requirement to the existence of a representing symmetric k-point density with k < N. The approximate energy can be computed by simulating a fictitious k-electron system. We investigate the approximations by deriving analytically exact results for a 2-site model problem, and by incorporating them into a self-consistent Kohn-Sham calculation for small atoms. We find that the low order representability conditions already capture the main part of the correlations. △ Less

Submitted 2 April, 2013; originally announced April 2013.

Comments: 12 pages

Journal ref: J. Chem. Phys. 139, 164109 (2013)

Towards the Kantorovich dual solution for strictly correlated electrons in atoms and molecules

Authors: Christian B. Mendl, Lin Lin

Abstract: The many-body Coulomb repulsive energy of strictly correlated electrons provides direct information of the exact Hohenberg-Kohn exchange-correlation functional in the strong interaction limit. Until now the treatment of strictly correlated electrons is based on the calculation of co-motion functions with the help of semi-analytic formulations. This procedure is system specific and has been limited… ▽ More The many-body Coulomb repulsive energy of strictly correlated electrons provides direct information of the exact Hohenberg-Kohn exchange-correlation functional in the strong interaction limit. Until now the treatment of strictly correlated electrons is based on the calculation of co-motion functions with the help of semi-analytic formulations. This procedure is system specific and has been limited to spherically symmetric atoms and strictly 1D systems. We develop a nested optimization method which solves the Kantorovich dual problem directly, and thus facilitates a general treatment of strictly correlated electrons for systems including atoms and small molecules. △ Less

Submitted 26 February, 2013; v1 submitted 26 October, 2012; originally announced October 2012.

Comments: 3 figures

Journal ref: Phys. Rev. B 87, 125106 (2013)

Efficient Algorithm for Two-Center Coulomb and Exchange Integrals of Electronic Prolate Spheroidal Orbitals

Authors: Christian B. Mendl

Abstract: We present a fast algorithm to calculate Coulomb/exchange integrals of prolate spheroidal electronic orbitals, which are the exact solutions of the single-electron, two-center Schrödinger equation for diatomic molecules. Our approach employs Neumann's expansion of the Coulomb repulsion 1/|x-y|, solves the resulting integrals symbolically in closed form and subsequently performs a numeric Taylor ex… ▽ More We present a fast algorithm to calculate Coulomb/exchange integrals of prolate spheroidal electronic orbitals, which are the exact solutions of the single-electron, two-center Schrödinger equation for diatomic molecules. Our approach employs Neumann's expansion of the Coulomb repulsion 1/|x-y|, solves the resulting integrals symbolically in closed form and subsequently performs a numeric Taylor expansion for efficiency. Thanks to the general form of the integrals, the obtained coefficients are independent of the particular wavefunctions and can thus be reused later. Key features of our algorithm include complete avoidance of numeric integration, drafting of the individual steps as fast matrix operations and high accuracy due to the exponential convergence of the expansions. Application to the diatomic molecules O2 and CO exemplifies the developed methods, which can be relevant for a quantitative understanding of chemical bonds in general. △ Less

Submitted 28 March, 2012; originally announced March 2012.

Comments: 27 pages, 9 figures

Journal ref: Journal of Computational Physics 231, pp. 5157 - 5175 (2012)

The FermiFab Toolbox for Fermionic Many-Particle Quantum Systems

Authors: Christian B. Mendl

Abstract: This paper introduces the FermiFab toolbox for many-particle quantum systems. It is mainly concerned with the representation of (symbolic) fermionic wavefunctions and the calculation of corresponding reduced density matrices (RDMs). The toolbox transparently handles the inherent antisymmetrization of wavefunctions and incorporates the creation/annihilation formalism. Thus, it aims at providing a s… ▽ More This paper introduces the FermiFab toolbox for many-particle quantum systems. It is mainly concerned with the representation of (symbolic) fermionic wavefunctions and the calculation of corresponding reduced density matrices (RDMs). The toolbox transparently handles the inherent antisymmetrization of wavefunctions and incorporates the creation/annihilation formalism. Thus, it aims at providing a solid base for a broad audience to use fermionic wavefunctions with the same ease as matrices in Matlab, say. Leveraging symbolic computation, the toolbox can greatly simply tedious pen-and-paper calculations for concrete quantum mechanical systems, and serves as "sandbox" for theoretical hypothesis testing. FermiFab (including full source code) is freely available as a plugin for both Matlab and Mathematica. △ Less

Submitted 4 March, 2011; originally announced March 2011.

Comments: 17 pages, 5 figures

MSC Class: 81-08; 81-04

Journal ref: Computer Physics Communications 182, pp 1327-1337 (2011)

Unital Quantum Channels - Convex Structure and Revivals of Birkhoff's Theorem

Authors: Christian B. Mendl, Michael M. Wolf

Abstract: The set of doubly-stochastic quantum channels and its subset of mixtures of unitaries are investigated. We provide a detailed analysis of their structure together with computable criteria for the separation of the two sets. When applied to O(d)-covariant channels this leads to a complete characterization and reveals a remarkable feature: instances of channels which are not in the convex hull of… ▽ More The set of doubly-stochastic quantum channels and its subset of mixtures of unitaries are investigated. We provide a detailed analysis of their structure together with computable criteria for the separation of the two sets. When applied to O(d)-covariant channels this leads to a complete characterization and reveals a remarkable feature: instances of channels which are not in the convex hull of unitaries can return to it when either taking finitely many copies of them or supplementing with a completely depolarizing channel. In these scenarios this implies that a channel whose noise initially resists any environment-assisted attempt of correction can become perfectly correctable. △ Less

Submitted 17 June, 2008; originally announced June 2008.

Comments: 31 pages

Journal ref: Commun. Math. Phys. 289, 1057-1096 (2009)