arXiv subjects

Tobias Hartung

Publications and source records attributed to Tobias Hartung.

54 records · Page 3Linked to original sources

arXiv2021

Model-Independent Error Mitigation in Parametric Quantum Circuits and Depolarizing Projection of Quantum Noise

Finding ground states and low-lying excitations of a given Hamiltonian is one of the most important problems in many fields of physics. As a novel approach, quantum computing on Noisy Intermediate-Scale Quantum (NISQ) devices offers the prospect to efficiently perform such computations and may eventually outperform classical computers. However, current quantum devices still suffer from inherent quantum noise. In this work, we propose an error mitigation scheme suitable for parametric quantum circuits. This scheme is based on projecting a general quantum noise channel onto depolarization errors. Our method can efficiently reduce errors in quantum computations, which we demonstrate by carrying out simulations both on classical and IBM's quantum devices. In particular, we test the performance of the method by computing the mass gap of the transverse-field Ising model using the variational quantum eigensolver algorithm.

quant-ph↗

arXiv2021

Machine Learning of Thermodynamic Observables in the Presence of Mode Collapse

Estimating the free energy, as well as other thermodynamic observables, is a key task in lattice field theories. Recently, it has been pointed out that deep generative models can be used in this context [1]. Crucially, these models allow for the direct estimation of the free energy at a given point in parameter space. This is in contrast to existing methods based on Markov chains which generically require integration through parameter space. In this contribution, we will review this novel machine-learning-based estimation method. We will in detail discuss the issue of mode collapse and outline mitigation techniques which are particularly suited for applications at finite temperature.

hep-lat↗

arXiv2021

Investigating the variance increase of readout error mitigation through classical bit-flip correction on IBM and Rigetti quantum computers

Readout errors are among the most dominant errors on current noisy intermediate-scale quantum devices. Recently, an efficient and scaleable method for mitigating such errors has been developed, based on classical bit-flip correction. In this talk, we compare the performance of this method for IBM's and Rigetti's quantum devices, demonstrating how the method improves the noisy measurements of observables obtained on the quantum hardware. Moreover, we examine the variance amplification to the data after applying of our mitigation procedure, which is common to all mitigation strategies. We derive a new expression for the variance of the mitigated Pauli operators in terms of the corrected expectation values and the noisy variances.Our hardware results show good agreement with the theoretical prediction, and we demonstrate that the increase of the variance due to the mitigation procedure is only moderate.

quant-ph↗

arXiv2021

Towards Quantum Simulations in Particle Physics and Beyond on Noisy Intermediate-Scale Quantum Devices

We review two algorithmic advances that bring us closer to reliable quantum simulations of model systems in high energy physics and beyond on noisy intermediate-scale quantum (NISQ) devices. The first method is the dimensional expressivity analysis of quantum circuits, which allows for constructing minimal but maximally expressive quantum circuits. The second method is an efficient mitigation of readout errors on quantum devices. Both methods can lead to significant improvements in quantum simulations, e.g., when variational quantum eigensolvers are used.

quant-ph↗

arXiv2021

Best-approximation error for parametric quantum circuits

In Variational Quantum Simulations, the construction of a suitable parametric quantum circuit is subject to two counteracting effects. The number of parameters should be small for the device noise to be manageable, but also large enough for the circuit to be able to represent the solution. Dimensional expressivity analysis can optimize a candidate circuit considering both aspects. In this article, we will first discuss an inductive construction for such candidate circuits. Furthermore, it is sometimes necessary to choose a circuit with fewer parameters than necessary to represent all relevant states. To characterize such circuits, we estimate the best-approximation error using Voronoi diagrams. Moreover, we discuss a hybrid quantum-classical algorithm to estimate the worst-case best-approximation error, its complexity, and its scaling in state space dimensionality. This allows us to identify some obstacles for variational quantum simulations with local optimizers and underparametrized circuits, and we discuss possible remedies.

quant-ph↗

arXiv2021

Lattice meets lattice: Application of lattice cubature to models in lattice gauge theory

High dimensional integrals are abundant in many fields of research including quantum physics. The aim of this paper is to develop efficient recursive strategies to tackle a class of high dimensional integrals having a special product structure with low order couplings, motivated by models in lattice gauge theory from quantum field theory. A novel element of this work is the potential benefit in using lattice cubature rules. The group structure within lattice rules combined with the special structure in the physics integrands may allow efficient computations based on Fast Fourier Transforms. Applications to the quantum mechanical rotor and compact $U(1)$ lattice gauge theory in two and three dimensions are considered.

math.NA↗

arXiv2021

Dimensional Expressivity Analysis of Parametric Quantum Circuits

Parametric quantum circuits play a crucial role in the performance of many variational quantum algorithms. To successfully implement such algorithms, one must design efficient quantum circuits that sufficiently approximate the solution space while maintaining a low parameter count and circuit depth. In this paper, we develop a method to analyze the dimensional expressivity of parametric quantum circuits. Our technique allows for identifying superfluous parameters in the circuit layout and for obtaining a maximally expressive ansatz with a minimum number of parameters. Using a hybrid quantum-classical approach, we show how to efficiently implement the expressivity analysis using quantum hardware, and we provide a proof of principle demonstration of this procedure on IBM's quantum hardware. We also discuss the effect of symmetries and demonstrate how to incorporate or remove symmetries from the parametrized ansatz.

quant-ph↗

arXiv2021

Estimation of Thermodynamic Observables in Lattice Field Theories with Deep Generative Models

In this work, we demonstrate that applying deep generative machine learning models for lattice field theory is a promising route for solving problems where Markov Chain Monte Carlo (MCMC) methods are problematic. More specifically, we show that generative models can be used to estimate the absolute value of the free energy, which is in contrast to existing MCMC-based methods which are limited to only estimate free energy differences. We demonstrate the effectiveness of the proposed method for two-dimensional $ϕ^4$ theory and compare it to MCMC-based methods in detailed numerical experiments.

hep-lat↗

arXiv2020

Avoiding the sign-problem in lattice field theory

In lattice field theory, the interactions of elementary particles can be computed via high-dimensional integrals. Markov-chain Monte Carlo (MCMC) methods based on importance sampling are normally efficient to solve most of these integrals. But these methods give large errors for oscillatory integrands, exhibiting the so-called sign-problem. We developed new quadrature rules using the symmetry of the considered systems to avoid the sign-problem in physical one-dimensional models for the resulting high-dimensional integrals. This article gives a short introduction to integrals used in lattice QCD where the interactions of gluon and quark elementary particles are investigated, explains the alternative integration methods we developed and shows results of applying them to models with one physical dimension. The new quadrature rules avoid the sign-problem and can therefore be used to perform simulations at until now not reachable regions in parameter space, where the MCMC errors are too big for affordable sample sizes. However, it is still a challenge to develop these techniques further for applications with physical higher-dimensional systems.

hep-lat↗

arXiv2019

Zeta-regularized vacuum expectation values from quantum computing simulations

The zeta-regularization allows to establish a connection between Feynman's path integral and Fourier integral operator zeta-functions. This fact can be utilized to perform the regularization of the vacuum expectation values in quantum field theories. In this proceeding, we will describe the concept of the zeta-regularization, give a simple example and demonstrate that quantum computing can be employed to numerically evaluate zeta-regulated vacuum expectation values on a quantum computer.

hep-lat↗

arXiv2019

Zeta-regularized vacuum expectation values

It has recently been shown that vacuum expectation values and Feynman path integrals can be regularized using Fourier integral operator $ζ$-function, yet the physical meaning of these $ζ$-regularized objects was unknown. Here we show that $ζ$-regularized vacuum expectations appear as continuum limits using a certain discretization scheme. Furthermore, we study the rate of convergence for the discretization scheme using the example of a one-dimensional hydrogen atom in $(-π,π)$ which we evaluate classically, using the Rigetti Quantum Virtual Machine, and on the Rigetti 8Q quantum chip "Agave" device. We also provide the free radiation field as an example for the computation of $ζ$-regularized vacuum expectation values in a gauge theory.

quant-ph↗

arXiv2019

Integrating Gauge Fields in the $ζ$-formulation of Feynman's path integral

In recent work by the authors, a connection between Feynman's path integral and Fourier integral operator $ζ$-functions has been established as a means of regularizing the vacuum expectation values in quantum field theories. However, most explicit examples using this regularization technique to date, do not consider gauge fields in detail. Here, we address this gap by looking at some well-known physical examples of quantum fields from the Fourier integral operator $ζ$-function point of view.

math-ph↗

arXiv2018

Zeta-regularization and the heat-trace on some compact quantum semigroups

Heat-invariants are a class of spectral invariants of Laplace-type operators on compact Riemannian manifolds that contain information about the geometry of the manifold, e.g., the metric and connection. Since Brownian motion solves the heat equation, these invariants can be obtained studying Brownian motion on manifolds. In this article, we consider Brownian motion on the Toeplitz algebra, discrete Heisenberg group algebras, and non-commutative tori to define Laplace-type operators and heat-semigroups on these C*-bialgebras. We show that their traces can be $ζ$-regularized and compute "heat-traces" on these algebras, giving us a notion of dimension and volume. Furthermore, we consider $SU_q(2)$ which does not have a Brownian motion but a class of driftless Gaussians which still recover the dimension of $SU_q(2)$.

math.OA↗

arXiv2017

Regularizing Feynman path integrals using the generalized Kontsevich-Vishik trace

A fully regulated definition of Feynman's path integral is presented here. The proposed re-formulation of the path integral coincides with the familiar formulation whenever the path integral is well-defined. In particular, it is consistent with respect to lattice formulations and Wick rotations, i.e., it can be used in Euclidean and Minkowskian space-time. The path integral regularization is introduced through the generalized Kontsevich-Vishik trace, that is, the extension of the classical trace to Fourier Integral Operators. Physically, we are replacing the time-evolution semi-group by a holomorphic family of operator families such that the corresponding path integrals are well-defined in some half space of $\mathbb{C}$. The regularized path integral is, thus, defined through analytic continuation. This regularization can be performed by means of stationary phase approximation or computed analytically depending only on the Hamiltonian and the observable (i.e., known a priori). In either case, the computational effort to evaluate path integrals or expectations of observables reduces to the evaluation of integrals over spheres. Furthermore, computations can be performed directly in the continuum and applications (analytic computations and their implementations) to a number of models including the non-trivial cases of the massive Schwinger model and a $φ^4$ theory.

math-ph↗

arXiv2016

Applying recursive numerical integration techniques for solving high dimensional integrals

The error scaling for Markov-Chain Monte Carlo techniques (MCMC) with $N$ samples behaves like $1/\sqrt{N}$. This scaling makes it often very time intensive to reduce the error of computed observables, in particular for applications in lattice QCD. It is therefore highly desirable to have alternative methods at hand which show an improved error scaling. One candidate for such an alternative integration technique is the method of recursive numerical integration (RNI). The basic idea of this method is to use an efficient low-dimensional quadrature rule (usually of Gaussian type) and apply it iteratively to integrate over high-dimensional observables and Boltzmann weights. We present the application of such an algorithm to the topological rotor and the anharmonic oscillator and compare the error scaling to MCMC results. In particular, we demonstrate that the RNI technique shows an error scaling in the number of integration points $m$ that is at least exponential.

hep-lat↗

arXiv2016

New polynomially exact integration rules on U(N) and SU(N)

In lattice Quantum Field Theory, we are often presented with integrals over polynomials of coefficients of matrices in U(N) or SU(N) with respect to the Haar measure. In some physical situations, e.g., in presence of a chemical potential, these integrals are numerically very difficult since their integrands are highly oscillatory which manifests itself in form of the sign problem. In these cases, Monte Carlo methods often fail to be adequate, rendering such computations practically impossible. We propose a new class of integration rules on U(N) and SU(N) which are derived from polynomially exact rules on spheres. We will examine these quadrature rules and their efficiency at the example of a 0+1 dimensional QCD for a non-zero quark mass and chemical potential. In particular, we will demonstrate the failure of Monte Carlo methods in such applications and that we can obtain polynomially exact, arbitrary precision results using the new integration rules.

hep-lat↗

arXiv2016

A generalized Kontsevich-Vishik trace for Fourier Integral Operators and the Laurent expansion of $ζ$-functions

Based on Guillemin's work on gauged Lagrangian distributions, we will introduce the notion of a poly-$\log$-homogeneous distribution as an approach to $ζ$-functions for a class of Fourier Integral Operators which includes cases of amplitudes with asymptotic expansion $\sum_{k\in\mathbb{N}}a_{m_k}$ where each $a_{m_k}$ is $\log$-homogeneous with degree of homogeneity $m_k$ but violating $\Re(m_k)\to-\infty$. We will calculate the Laurent expansion for the $ζ$-function and give formulae for the coefficients in terms of the phase function and amplitude as well as investigate generalizations to the Kontsevich-Vishik quasi-trace. Using stationary phase approximation, series representations for the Laurent coefficients and values of $ζ$-functions will be stated explicitly. Additionally, we will introduce an approximation method (mollification) for $ζ$-functions of Fourier Integral Operators whose symbols have singularities at zero by $ζ$-functions of Fourier Integral Operators with regular symbols.

math.AP↗

arXiv2013

Applicability of Quasi-Monte Carlo for lattice systems

This project investigates the applicability of quasi-Monte Carlo methods to Euclidean lattice systems in order to improve the asymptotic error scaling of observables for such theories. The error of an observable calculated by averaging over random observations generated from ordinary Monte Carlo simulations scales like $N^{-1/2}$, where $N$ is the number of observations. By means of quasi-Monte Carlo methods it is possible to improve this scaling for certain problems to $N^{-1}$, or even further if the problems are regular enough. We adapted and applied this approach to simple systems like the quantum harmonic and anharmonic oscillator and verified an improved error scaling of all investigated observables in both cases.

hep-lat↗