Showing 1–48 of 48 results for author: Hartung, T

Physics-Informed Bayesian Optimization of Variational Quantum Circuits

Authors: Kim A. Nicoli, Christopher J. Anders, Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Klaus-Robert Müller, Paolo Stornati, Pan Kessel, Shinichi Nakajima

Abstract: In this paper, we propose a novel and powerful method to harness Bayesian optimization for Variational Quantum Eigensolvers (VQEs) -- a hybrid quantum-classical protocol used to approximate the ground state of a quantum Hamiltonian. Specifically, we derive a VQE-kernel which incorporates important prior information about quantum circuits: the kernel feature map of the VQE-kernel exactly matches th… ▽ More In this paper, we propose a novel and powerful method to harness Bayesian optimization for Variational Quantum Eigensolvers (VQEs) -- a hybrid quantum-classical protocol used to approximate the ground state of a quantum Hamiltonian. Specifically, we derive a VQE-kernel which incorporates important prior information about quantum circuits: the kernel feature map of the VQE-kernel exactly matches the known functional form of the VQE's objective function and thereby significantly reduces the posterior uncertainty. Moreover, we propose a novel acquisition function for Bayesian optimization called Expected Maximum Improvement over Confident Regions (EMICoRe) which can actively exploit the inductive bias of the VQE-kernel by treating regions with low predictive uncertainty as indirectly ``observed''. As a result, observations at as few as three points in the search domain are sufficient to determine the complete objective function along an entire one-dimensional subspace of the optimization landscape. Our numerical experiments demonstrate that our approach improves over state-of-the-art baselines. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 36 pages, 17 figures, 37th Conference on Neural Information Processing Systems (NeurIPS 2023)

Predictive Model Development to Identify Failed Healing in Patients after Non-Union Fracture Surgery

Authors: Cedric Donié, Marie K. Reumann, Tony Hartung, Benedikt J. Braun, Tina Histing, Satoshi Endo, Sandra Hirche

Abstract: Bone non-union is among the most severe complications associated with trauma surgery, occurring in 10-30% of cases after long bone fractures. Treating non-unions requires a high level of surgical expertise and often involves multiple revision surgeries, sometimes even leading to amputation. Thus, more accurate prognosis is crucial for patient well-being. Recent advances in machine learning (ML) ho… ▽ More Bone non-union is among the most severe complications associated with trauma surgery, occurring in 10-30% of cases after long bone fractures. Treating non-unions requires a high level of surgical expertise and often involves multiple revision surgeries, sometimes even leading to amputation. Thus, more accurate prognosis is crucial for patient well-being. Recent advances in machine learning (ML) hold promise for develo** models to predict non-union healing, even when working with smaller datasets, a commonly encountered challenge in clinical domains. To demonstrate the effectiveness of ML in identifying candidates at risk of failed non-union healing, we applied three ML models (logistic regression, support vector machine, and XGBoost) to the clinical dataset TRUFFLE, which includes 797 patients with long bone non-union. The models provided prediction results with 70% sensitivity, and the specificities of 66% (XGBoost), 49% (support vector machine), and 43% (logistic regression). These findings offer valuable clinical insights because they enable early identification of patients at risk of failed non-union healing after the initial surgical revision treatment protocol. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: To be presented at the 46th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC 2024)

ACM Class: J.3; I.5.4

Testing the $\mathrm{SU}(2)$ lattice Hamiltonian built from $S_3$ partitionings

Authors: Marco Garofalo, Tobias Hartung, Timo Jakobs, Karl Jansen, Johann Ostmeyer, Dominik Rolfes, Simone Romiti, Carsten Urbach

Abstract: We test a possible digitization of $\mathrm{SU}(2)$ lattice gauge theories based on partitionings of the sphere $S_3$. In our construction the link operators are unitary and diagonal, with eigenvalues determined by the vertices of the partitioning. The canonical momenta are finite difference operators approximating the Lie derivatives on the manifold. In this formalism we implement the standard Wi… ▽ More We test a possible digitization of $\mathrm{SU}(2)$ lattice gauge theories based on partitionings of the sphere $S_3$. In our construction the link operators are unitary and diagonal, with eigenvalues determined by the vertices of the partitioning. The canonical momenta are finite difference operators approximating the Lie derivatives on the manifold. In this formalism we implement the standard Wilson Hamiltonian. We show results for a 2-site Schwinger-type model in 1D and a single-plaquette system in 2D. Our calculations are performed on a classical computer, though in principle they can be implemented also on a quantum device. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Studying the phase diagram of the three-flavor Schwinger model in the presence of a chemical potential with measurement- and gate-based quantum computing

Authors: Stephan Schuster, Stefan Kühn, Lena Funcke, Tobias Hartung, Marc-Oliver Pleinert, Joachim von Zanthier, Karl Jansen

Abstract: We propose an ansatz quantum circuit for the variational quantum eigensolver (VQE), suitable for exploring the phase structure of the multi-flavor Schwinger model in the presence of a chemical potential. Our ansatz is capable of incorporating relevant model symmetries via constrains on the parameters, and can be implemented on circuit-based as well as measurement-based quantum devices. We show via… ▽ More We propose an ansatz quantum circuit for the variational quantum eigensolver (VQE), suitable for exploring the phase structure of the multi-flavor Schwinger model in the presence of a chemical potential. Our ansatz is capable of incorporating relevant model symmetries via constrains on the parameters, and can be implemented on circuit-based as well as measurement-based quantum devices. We show via classical simulation of the VQE that our ansatz is able to capture the phase structure of the model, and can approximate the ground state to a high level of accuracy. Moreover, we perform proof-of-principle simulations on superconducting, gate-based quantum hardware. Our results show that our approach is suitable for current gate-based quantum devices, and can be readily implemented on measurement-based quantum devices once available. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Determining the ability for universal quantum computing: Testing controllability via dimensional expressivity

Authors: Fernando Gago-Encinas, Tobias Hartung, Daniel M. Reich, Karl Jansen, Christiane P. Koch

Abstract: Operator controllability refers to the ability to implement an arbitrary unitary in SU(N) and is a prerequisite for universal quantum computing. Controllability tests can be used in the design of quantum devices to reduce the number of external controls. Their practical use is hampered, however, by the exponential scaling of their numerical effort with the number of qubits. Here, we devise a hybri… ▽ More Operator controllability refers to the ability to implement an arbitrary unitary in SU(N) and is a prerequisite for universal quantum computing. Controllability tests can be used in the design of quantum devices to reduce the number of external controls. Their practical use is hampered, however, by the exponential scaling of their numerical effort with the number of qubits. Here, we devise a hybrid quantum-classical algorithm based on a parametrized quantum circuit. We show that controllability is linked to the number of independent parameters, which can be obtained by dimensional expressivity analysis. We exemplify the application of the algorithm to qubit arrays with nearest-neighbour couplings and local controls. Our work provides a systematic approach to the resource-efficient design of quantum chips. △ Less

Submitted 15 December, 2023; v1 submitted 1 August, 2023; originally announced August 2023.

Comments: 20 pages, 9 figures, 2 tables, 2 algorithms

Journal ref: Quantum 7, 1214 (2023)

Canonical Momenta in Digitized SU(2) Lattice Gauge Theory: Definition and Free Theory

Authors: Timo Jakobs, Marco Garofalo, Tobias Hartung, Karl Jansen, Johann Ostmeyer, Dominik Rolfes, Simone Romiti, Carsten Urbach

Abstract: Hamiltonian simulations of quantum systems require a finite-dimensional representation of the operators acting on the Hilbert space H. Here we give a prescription for gauge links and canonical momenta of an SU(2) gauge theory, such that the matrix representation of the former is diagonal in H. This is achieved by discretising the sphere $S_3$ isomorphic to SU(2) and the corresponding directional d… ▽ More Hamiltonian simulations of quantum systems require a finite-dimensional representation of the operators acting on the Hilbert space H. Here we give a prescription for gauge links and canonical momenta of an SU(2) gauge theory, such that the matrix representation of the former is diagonal in H. This is achieved by discretising the sphere $S_3$ isomorphic to SU(2) and the corresponding directional derivatives. We show that the fundamental commutation relations are fulfilled up to discretisation artefacts. Moreover, we directly construct the Casimir operator corresponding to the Laplace-Beltrami operator on $S_3$ and show that the spectrum of the free theory is reproduced again up to discretisation effects. Qualitatively, these results do not depend on the specific discretisation of SU(2), but the actual convergence rates do. △ Less

Submitted 28 July, 2023; v1 submitted 5 April, 2023; originally announced April 2023.

Comments: typos corrected, matches published version in EPJC

Quantum algorithms for charged particle track reconstruction in the LUXE experiment

Authors: Arianna Crippa, Lena Funcke, Tobias Hartung, Beate Heinemann, Karl Jansen, Annabel Kropf, Stefan Kühn, Federico Meloni, David Spataro, Cenk Tüysüz, Yee Chinn Yap

Abstract: The LUXE experiment is a new experiment in planning in Hamburg, which will study Quantum Electrodynamics at the strong-field frontier. LUXE intends to measure the positron production rate in this unprecedented regime by using, among others, a silicon tracking detector. The large number of expected positrons traversing the sensitive detector layers results in an extremely challenging combinatorial… ▽ More The LUXE experiment is a new experiment in planning in Hamburg, which will study Quantum Electrodynamics at the strong-field frontier. LUXE intends to measure the positron production rate in this unprecedented regime by using, among others, a silicon tracking detector. The large number of expected positrons traversing the sensitive detector layers results in an extremely challenging combinatorial problem, which can become computationally expensive for classical computers. This paper investigates the potential future use of gate-based quantum computers for pattern recognition in track reconstruction. Approaches based on a quadratic unconstrained binary optimisation and a quantum graph neural network are investigated in classical simulations of quantum devices and compared with a classical track reconstruction algorithm. In addition, a proof-of-principle study is performed using quantum hardware. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: 15 pages, 12 figures

Report number: DESY-23-045, MIT-CTP/5481

Critical behavior of Ising model by preparing thermal state on quantum computer

Authors: Xiaoyang Wang, Xu Feng, Tobias Hartung, Karl Jansen, Paolo Stornati

Abstract: We simulate the critical behavior of the Ising model utilizing a thermal state prepared using quantum computing techniques. The preparation of the thermal state is based on the variational quantum imaginary time evolution (QITE) algorithm. The initial state of QITE is prepared as a classical product state, and we propose a systematic method to design the variational ansatz for QITE. We calculate t… ▽ More We simulate the critical behavior of the Ising model utilizing a thermal state prepared using quantum computing techniques. The preparation of the thermal state is based on the variational quantum imaginary time evolution (QITE) algorithm. The initial state of QITE is prepared as a classical product state, and we propose a systematic method to design the variational ansatz for QITE. We calculate the specific heat and susceptibility of the long-range interacting Ising model and observe indications of the Ising criticality on a small lattice size. We find the results derived by the quantum algorithm are well consistent with the ones from exact diagonalization, both in the neighbourhood of the critical temperature and the low-temperature region. △ Less

Submitted 6 September, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 14 pages, 7 figures

Journal ref: Phys. Rev. A 108, 022612 (2023)

Detecting and Mitigating Mode-Collapse for Flow-based Sampling of Lattice Field Theories

Authors: Kim A. Nicoli, Christopher J. Anders, Tobias Hartung, Karl Jansen, Pan Kessel, Shinichi Nakajima

Abstract: We study the consequences of mode-collapse of normalizing flows in the context of lattice field theory. Normalizing flows allow for independent sampling. For this reason, it is hoped that they can avoid the tunneling problem of local-update MCMC algorithms for multi-modal distributions. In this work, we first point out that the tunneling problem is also present for normalizing flows but is shifted… ▽ More We study the consequences of mode-collapse of normalizing flows in the context of lattice field theory. Normalizing flows allow for independent sampling. For this reason, it is hoped that they can avoid the tunneling problem of local-update MCMC algorithms for multi-modal distributions. In this work, we first point out that the tunneling problem is also present for normalizing flows but is shifted from the sampling to the training phase of the algorithm. Specifically, normalizing flows often suffer from mode-collapse for which the training process assigns vanishingly low probability mass to relevant modes of the physical distribution. This may result in a significant bias when the flow is used as a sampler in a Markov-Chain or with Importance Sampling. We propose a metric to quantify the degree of mode-collapse and derive a bound on the resulting bias. Furthermore, we propose various mitigation strategies in particular in the context of estimating thermodynamic observables, such as the free energy. △ Less

Submitted 3 November, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 10 pages, 7 figures, 6 pages of supplement material

Towards Finding an Optimal Flight Gate Assignment on a Digital Quantum Computer

Authors: Yahui Chai, Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kuehn, Paolo Stornati, Tobias Stollenwerk

Abstract: We investigate the performance of the variational quantum eigensolver (VQE) for the optimal flight gate assignment problem. This problem is a combinatorial optimization problem that aims at finding an optimal assignment of flights to the gates of an airport, in order to minimize the passenger travel time. To study the problem, we adopt a qubit-efficient binary encoding with a cyclic map**, which… ▽ More We investigate the performance of the variational quantum eigensolver (VQE) for the optimal flight gate assignment problem. This problem is a combinatorial optimization problem that aims at finding an optimal assignment of flights to the gates of an airport, in order to minimize the passenger travel time. To study the problem, we adopt a qubit-efficient binary encoding with a cyclic map**, which is suitable for a digital quantum computer. Using this encoding in conjunction with the Conditional Value at Risk (CVaR) as an aggregation function, we systematically explore the performance of the approach by classically simulating the CVaR-VQE. Our results indicate that the method allows for finding a good solution with high probability, and the method significantly outperforms the naive VQE approach. We examine the role of entanglement for the performance, and find that ansätze with entangling gates allow for better results than pure product states. Studying the problem for various sizes, our numerical data show that the scaling of the number of cost function calls for obtaining a good solution is not exponential for the regimes we investigate in this work. △ Less

Submitted 22 February, 2023; originally announced February 2023.

Report number: MIT-CTP/5484

Journal ref: Phys. Rev. Applied 20, 064025 (2023)

Quantum spin helices more stable than the ground state: onset of helical protection

Authors: Stefan Kühn, Felix Gerken, Lena Funcke, Tobias Hartung, Paolo Stornati, Karl Jansen, Thore Posske

Abstract: Topological magnetic structures are promising candidates for resilient information storage. An elementary example are spin helices in one-dimensional easy-plane quantum magnets. To quantify their stability, we numerically implement the stochastic Schrödinger equation and time-dependent perturbation theory for spin chains with fluctuating local magnetic fields. We find two classes of quantum spin h… ▽ More Topological magnetic structures are promising candidates for resilient information storage. An elementary example are spin helices in one-dimensional easy-plane quantum magnets. To quantify their stability, we numerically implement the stochastic Schrödinger equation and time-dependent perturbation theory for spin chains with fluctuating local magnetic fields. We find two classes of quantum spin helices that can reach and even exceed ground-state stability: Spin-current-maximizing helices and, for fine-tuned boundary conditions, the recently discovered "phantom helices". Beyond that, we show that the helicity itself (left- or right-rotating) is even more stable. We explain these findings by separated helical sectors and connect them to topological sectors in continuous spin systems. The resulting helical protection mechanism is a promising phenomenon towards stabilizing helical quantum structures, e.g., in ultracold atoms and solid state systems. We also identify an - up to our knowledge - previously unknown new type of phantom helices. △ Less

Submitted 28 February, 2023; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: 6+4 pages, 3 figures; version 2: minor updates, additional references

Report number: MIT-CTP/5478

Review on Quantum Computing for Lattice Field Theory

Authors: Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn

Abstract: In these proceedings, we review recent advances in applying quantum computing to lattice field theory. Quantum computing offers the prospect to simulate lattice field theories in parameter regimes that are largely inaccessible with the conventional Monte Carlo approach, such as the sign-problem afflicted regimes of finite baryon density, topological terms, and out-of-equilibrium dynamics. First pr… ▽ More In these proceedings, we review recent advances in applying quantum computing to lattice field theory. Quantum computing offers the prospect to simulate lattice field theories in parameter regimes that are largely inaccessible with the conventional Monte Carlo approach, such as the sign-problem afflicted regimes of finite baryon density, topological terms, and out-of-equilibrium dynamics. First proof-of-concept quantum computations of lattice gauge theories in (1+1) dimensions have been accomplished, and first resource-efficient quantum algorithms for lattice gauge theories in (1+1) and (2+1) dimensions have been developed. The path towards quantum computations of (3+1)-dimensional lattice gauge theories, including Lattice QCD, requires many incremental steps of improving both quantum hardware and quantum algorithms. After reviewing these requirements and recent advances, we discuss the main challenges and future directions. △ Less

Submitted 9 August, 2023; v1 submitted 1 February, 2023; originally announced February 2023.

Comments: 25 pages, 9 figures; Proceedings of the 39th International Symposium on Lattice Field Theory, 8th-13th August 2022, Rheinische Friedrich-Wilhelms-Universität Bonn, Germany

Report number: MIT-CTP/5482

Journal ref: PoS LATTICE2022, 228 (2023)

Digitizing SU(2) Gauge Fields and What to Look Out for When Doing So

Authors: Tobias Hartung, Timo Jakobs, Karl Jansen, Johann Ostmeyer, Carsten Urbach

Abstract: With the long term perspective of using quantum computers and tensor networks for lattice gauge theory simulations, an efficient method of digitizing gauge group elements is needed. We thus present our results for a handful of discretization approaches for the non-trivial example of SU(2), such as its finite subgroups, as well as different classes of finite subsets. We focus our attention on a fre… ▽ More With the long term perspective of using quantum computers and tensor networks for lattice gauge theory simulations, an efficient method of digitizing gauge group elements is needed. We thus present our results for a handful of discretization approaches for the non-trivial example of SU(2), such as its finite subgroups, as well as different classes of finite subsets. We focus our attention on a freezing transition observed towards weak couplings. A generalized version of the Fibonacci spiral appears to be particularly efficient and close to optimal. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: Proceedings of the 39th International Symposium on Lattice Field Theory, 8th-13th August 2022, Rheinische Friedrich-Wilhelms-Universität Bonn, Bonn, Germany

Exploring the phase structure of the multi-flavor Schwinger model with quantum computing

Authors: Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Marc-Oliver Pleinert, Stephan Schuster, Joachim von Zanthier

Abstract: We propose a variational quantum eigensolver suitable for exploring the phase structure of the multi-flavor Schwinger model in the presence of a chemical potential. The parametric ansatz circuit we design is capable of incorporating the symmetries of the model, present in certain parameter regimes, which allows for reducing the number of variational parameters substantially. Moreover, the ansatz c… ▽ More We propose a variational quantum eigensolver suitable for exploring the phase structure of the multi-flavor Schwinger model in the presence of a chemical potential. The parametric ansatz circuit we design is capable of incorporating the symmetries of the model, present in certain parameter regimes, which allows for reducing the number of variational parameters substantially. Moreover, the ansatz circuit can be implementated on both measurement-based and circuit-based quantum hardware. We numerically demonstrate that our ansatz circuit is able to capture the phase structure of the model and allows for faithfully approximating the ground state. Our results show that our approach is suitable for current intermediate-scale quantum hardware and can be readily implemented on existing quantum devices. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Comments: 9 pages, 3 figures; Proceedings of the 39th International Symposium on Lattice Field Theory, 8th-13th August 2022, Rheinische Friedrich-Wilhelms-Universität Bonn, Germany

Report number: MIT-CTP/5479

Defining Canonical Momenta for Discretised SU(2) Gauge Fields

Authors: Marco Garofalo, Tobias Hartung, Karl Jansen, Johann Ostmeyer, Simone Romiti, Carsten Urbach

Abstract: In this proceeding contribution we discuss how to define canonical momenta for SU(N) lattice gauge theories in the Hamiltonian formalism in a basis where the gauge field operators are diagonal. For an explicit discretisation of SU(2) we construct the momenta and check the violation of the fundamental commutation relations. In this proceeding contribution we discuss how to define canonical momenta for SU(N) lattice gauge theories in the Hamiltonian formalism in a basis where the gauge field operators are diagonal. For an explicit discretisation of SU(2) we construct the momenta and check the violation of the fundamental commutation relations. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: Proceedings of the 39th International Symposium on Lattice Field Theory, 8th-13th August 2022, Rheinische Friedrich-Wilhelms-Universität Bonn, Bonn, Germany

Track reconstruction at the LUXE experiment using quantum algorithms

Authors: Arianna Crippa, Lena Funcke, Tobias Hartung, Beate Heinemann, Karl Jansen, Annabel Kropf, Stefan Kühn, Federico Meloni, David Spataro, Cenk Tüysüz, Yee Chinn Yap

Abstract: LUXE (Laser Und XFEL Experiment) is a proposed experiment at DESY which will study Quantum Electrodynamics (QED) in the strong-field regime, where QED becomes non-perturbative. Measuring the rate of created electron-positron pairs using a silicon pixel tracking detector is an essential ingredient to study this regime. Precision tracking of positrons traversing the four layers of the tracking detec… ▽ More LUXE (Laser Und XFEL Experiment) is a proposed experiment at DESY which will study Quantum Electrodynamics (QED) in the strong-field regime, where QED becomes non-perturbative. Measuring the rate of created electron-positron pairs using a silicon pixel tracking detector is an essential ingredient to study this regime. Precision tracking of positrons traversing the four layers of the tracking detector becomes very challenging at high laser intensities due to the high rates, which can be computationally expensive for classical computers. In this work, we update our previous study of the potential of using quantum computing to reconstruct positron tracks. The reconstruction task is formulated as a quadratic unconstrained binary optimisation and is solved using simulated quantum computers and a hybrid quantum-classical algorithm, namely the variational quantum eigensolver. Different ansatz circuits and optimisers are studied. The results are discussed and compared with classical track reconstruction algorithms using a graph neural network and a combinatorial Kalman filter. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: 7 pages, 6 figures, Proceedings of the Connecting The Dots workshop 2022 (CTD2022)

Report number: PROC-CTD2022-32; MIT-CTP/5476; DESY-22-113

Zeta-regularized Lattice Field Theory with Lorentzian background metrics

Authors: Tobias Hartung, Karl Jansen, Chiara Sarti

Abstract: Lattice field theory is a very powerful tool to study Feynman's path integral non-perturbatively. However, it usually requires Euclidean background metrics to be well-defined. On the other hand, a recently developed regularization scheme based on Fourier integral operator $ζ$-functions can treat Feynman's path integral non-pertubatively in Lorentzian background metrics. In this article, we formall… ▽ More Lattice field theory is a very powerful tool to study Feynman's path integral non-perturbatively. However, it usually requires Euclidean background metrics to be well-defined. On the other hand, a recently developed regularization scheme based on Fourier integral operator $ζ$-functions can treat Feynman's path integral non-pertubatively in Lorentzian background metrics. In this article, we formally $ζ$-regularize lattice theories with Lorentzian backgrounds and identify conditions for the Fourier integral operator $ζ$-function regularization to be applicable. Furthermore, we show that the classical limit of the $ζ$-regularized theory is independent of the regularization. Finally, we consider the harmonic oscillator as an explicit example. We discuss multiple options for the regularization and analytically show that they all reproduce the correct ground state energy on the lattice and in the continuum limit. Additionally, we solve the harmonic oscillator on the lattice in Minkowski background numerically. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 26 pages, 3 figures

MSC Class: 81T25

Classical Splitting of Parametrized Quantum Circuits

Authors: Cenk Tüysüz, Giuseppe Clemente, Arianna Crippa, Tobias Hartung, Stefan Kühn, Karl Jansen

Abstract: Barren plateaus appear to be a major obstacle to using variational quantum algorithms to simulate large-scale quantum systems or replace traditional machine learning algorithms. They can be caused by multiple factors such as expressivity, entanglement, locality of observables, or even hardware noise. We propose classical splitting of ansätze or parametrized quantum circuits to avoid barren plateau… ▽ More Barren plateaus appear to be a major obstacle to using variational quantum algorithms to simulate large-scale quantum systems or replace traditional machine learning algorithms. They can be caused by multiple factors such as expressivity, entanglement, locality of observables, or even hardware noise. We propose classical splitting of ansätze or parametrized quantum circuits to avoid barren plateaus. Classical splitting is realized by splitting an $N$ qubit ansatz to multiple ansätze that consists of $\mathcal{O}(\log N)$ qubits. We show that such an ansatz can be used to avoid barren plateaus. We support our results with numerical experiments and perform binary classification on classical and quantum datasets. Then, we propose an extension of the ansatz that is compatible with variational quantum simulations. Finally, we discuss a speed-up for gradient-based optimization and hardware implementation, robustness against noise and parallelization, making classical splitting an ideal tool for noisy intermediate scale quantum (NISQ) applications. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: main text 11 pages, 5 figures; supplementary material 10 pages, 11 figures

Journal ref: Quantum Mach. Intell. 5, 34 (2023)

Impact of quantum noise on the training of quantum Generative Adversarial Networks

Authors: Kerstin Borras, Su Yeon Chang, Lena Funcke, Michele Grossi, Tobias Hartung, Karl Jansen, Dirk Kruecker, Stefan Kühn, Florian Rehm, Cenk Tüysüz, Sofia Vallecorsa

Abstract: Current noisy intermediate-scale quantum devices suffer from various sources of intrinsic quantum noise. Overcoming the effects of noise is a major challenge, for which different error mitigation and error correction techniques have been proposed. In this paper, we conduct a first study of the performance of quantum Generative Adversarial Networks (qGANs) in the presence of different types of quan… ▽ More Current noisy intermediate-scale quantum devices suffer from various sources of intrinsic quantum noise. Overcoming the effects of noise is a major challenge, for which different error mitigation and error correction techniques have been proposed. In this paper, we conduct a first study of the performance of quantum Generative Adversarial Networks (qGANs) in the presence of different types of quantum noise, focusing on a simplified use case in high-energy physics. In particular, we explore the effects of readout and two-qubit gate errors on the qGAN training process. Simulating a noisy quantum device classically with IBM's Qiskit framework, we examine the threshold of error rates up to which a reliable training is possible. In addition, we investigate the importance of various hyperparameters for the training process in the presence of different error rates, and we explore the impact of readout error mitigation on the results. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Comments: 6 pages, 5 figures, Proceedings of the 20th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2021)

Report number: MIT-CTP/5400

Studying quantum algorithms for particle track reconstruction in the LUXE experiment

Authors: Lena Funcke, Tobias Hartung, Beate Heinemann, Karl Jansen, Annabel Kropf, Stefan Kühn, Federico Meloni, David Spataro, Cenk Tüysüz, Yee Chinn Yap

Abstract: The LUXE experiment (LASER Und XFEL Experiment) is a new experiment in planning at DESY Hamburg, which will study Quantum Electrodynamics (QED) at the strong-field frontier. In this regime, QED is non-perturbative. This manifests itself in the creation of physical electron-positron pairs from the QED vacuum. LUXE intends to measure the positron production rate in this unprecedented regime by using… ▽ More The LUXE experiment (LASER Und XFEL Experiment) is a new experiment in planning at DESY Hamburg, which will study Quantum Electrodynamics (QED) at the strong-field frontier. In this regime, QED is non-perturbative. This manifests itself in the creation of physical electron-positron pairs from the QED vacuum. LUXE intends to measure the positron production rate in this unprecedented regime by using, among others, a silicon tracking detector. The large number of expected positrons traversing the sensitive detector layers results in an extremely challenging combinatorial problem, which can become computationally very hard for classical computers. This paper presents a preliminary study to explore the potential of quantum computers to solve this problem and to reconstruct the positron trajectories from the detector energy deposits. The reconstruction problem is formulated in terms of a quadratic unconstrained binary optimisation. Finally, the results from the quantum simulations are discussed and compared with traditional classical track reconstruction algorithms. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Comments: 6 pages, 6 figures, Proceedings of the 20th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2021)

Report number: MIT-CTP/5399, DESY-22-027

Digitising SU(2) Gauge Fields and the Freezing Transition

Authors: Tobias Hartung, Timo Jakobs, Karl Jansen, Johann Ostmeyer, Carsten Urbach

Abstract: Efficient discretisations of gauge groups are crucial with the long term perspective of using tensor networks or quantum computers for lattice gauge theory simulations. For any Lie group other than U$(1)$, however, there is no class of asymptotically dense discrete subgroups. Therefore, discretisations limited to subgroups are bound to lead to a freezing of Monte Carlo simulations at weak coupling… ▽ More Efficient discretisations of gauge groups are crucial with the long term perspective of using tensor networks or quantum computers for lattice gauge theory simulations. For any Lie group other than U$(1)$, however, there is no class of asymptotically dense discrete subgroups. Therefore, discretisations limited to subgroups are bound to lead to a freezing of Monte Carlo simulations at weak couplings, necessitating alternative partitionings without a group structure. In this work we provide a comprehensive analysis of this freezing for all discrete subgroups of SU$(2)$ and different classes of asymptotically dense subsets. We find that an appropriate choice of the subset allows unfrozen simulations for arbitrary couplings, though one has to be careful with varying weights of unevenly distributed points. A generalised version of the Fibonacci spiral appears to be particularly efficient and close to optimal. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Prospective Learning: Principled Extrapolation to the Future

Authors: Ashwin De Silva, Rahul Ramesh, Lyle Ungar, Marshall Hussain Shuler, Noah J. Cowan, Michael Platt, Chen Li, Leyla Isik, Seung-Eon Roh, Adam Charles, Archana Venkataraman, Brian Caffo, Javier J. How, Justus M Kebschull, John W. Krakauer, Maxim Bichuch, Kaleab Alemayehu Kinfu, Eva Yezerets, Dinesh Jayaraman, Jong M. Shin, Soledad Villar, Ian Phillips, Carey E. Priebe, Thomas Hartung, Michael I. Miller , et al. (18 additional authors not shown)

Abstract: Learning is a process which can update decision rules, based on past experience, such that future performance improves. Traditionally, machine learning is often evaluated under the assumption that the future will be identical to the past in distribution or change adversarially. But these assumptions can be either too optimistic or pessimistic for many problems in the real world. Real world scenari… ▽ More Learning is a process which can update decision rules, based on past experience, such that future performance improves. Traditionally, machine learning is often evaluated under the assumption that the future will be identical to the past in distribution or change adversarially. But these assumptions can be either too optimistic or pessimistic for many problems in the real world. Real world scenarios evolve over multiple spatiotemporal scales with partially predictable dynamics. Here we reformulate the learning problem to one that centers around this idea of dynamic futures that are partially learnable. We conjecture that certain sequences of tasks are not retrospectively learnable (in which the data distribution is fixed), but are prospectively learnable (in which distributions may be dynamic), suggesting that prospective learning is more difficult in kind than retrospective learning. We argue that prospective learning more accurately characterizes many real world problems that (1) currently stymie existing artificial intelligence solutions and/or (2) lack adequate explanations for how natural intelligences solve them. Thus, studying prospective learning will lead to deeper insights and solutions to currently vexing challenges in both natural and artificial intelligences. △ Less

Submitted 13 July, 2023; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: Accepted at the 2nd Conference on Lifelong Learning Agents (CoLLAs), 2023

Lattice field computations via recursive numerical integration

Authors: Tobias Hartung, Karl Jansen, Frances Y. Kuo, Hernan Leövey, Dirk Nuyens, Ian H. Sloan

Abstract: We investigate the application of efficient recursive numerical integration strategies to models in lattice gauge theory from quantum field theory. Given the coupling structure of the physics problems and the group structure within lattice cubature rules for numerical integration, we show how to approach these problems efficiently by means of Fast Fourier Transform techniques. In particular, we co… ▽ More We investigate the application of efficient recursive numerical integration strategies to models in lattice gauge theory from quantum field theory. Given the coupling structure of the physics problems and the group structure within lattice cubature rules for numerical integration, we show how to approach these problems efficiently by means of Fast Fourier Transform techniques. In particular, we consider applications to the quantum mechanical rotor and compact U(1) lattice gauge theory, where the physical dimensions are two and three. This proceedings article reviews our results presented in J. Comput. Phys 443 (2021) 110527. △ Less

Submitted 9 December, 2021; originally announced December 2021.

Comments: arXiv admin note: text overlap with arXiv:2011.05451

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

Authors: Xiaoyang Wang, Xu Feng, Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Georgios Polykratis, Paolo Stornati

Abstract: 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 qu… ▽ More 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. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 12 pages, 4 figures, Proceedings of the 38th International Symposium on Lattice Field Theory, 26th-30th July 2021, Zoom/Gather@Massachusetts Institute of Technology

Report number: MIT-CTP/5354

Dimensional Expressivity Analysis, best-approximation errors, and automated design of parametric quantum circuits

Authors: Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Manuel Schneider, Paolo Stornati

Abstract: The design of parametric quantum circuits (PQCs) for efficient use in variational quantum simulations (VQS) is subject to two competing factors. On one hand, the set of states that can be generated by the PQC has to be large enough to contain the solution state. Otherwise, one may at best find the best approximation of the solution restricted to the states generated by the chosen PQC. On the other… ▽ More The design of parametric quantum circuits (PQCs) for efficient use in variational quantum simulations (VQS) is subject to two competing factors. On one hand, the set of states that can be generated by the PQC has to be large enough to contain the solution state. Otherwise, one may at best find the best approximation of the solution restricted to the states generated by the chosen PQC. On the other hand, the PQC should contain as few parametric quantum gates as possible to minimize noise from the quantum device. Thus, when designing a PQC one needs to ensure that there are no redundant parameters. The dimensional expressivity analysis discussed in these proceedings is a means of addressing these counteracting effects. Its main objective is to identify independent and redundant parameters in the PQC. Using this information, superfluous parameters can be removed and the dimension of the space of states that are generated by the PQC can be computed. Knowing the dimension of the physical state space then allows us to deduce whether or not the PQC can reach all physical states. Furthermore, the dimensional expressivity analysis can be implemented efficiently using a hybrid quantum-classical algorithm. This implementation has relatively small overhead costs both for the classical and quantum part of the algorithm and could therefore be used in the future for on-the-fly circuit construction. This would allow for optimized circuits to be used in every loop of a VQS rather than the same PQC for the entire VQS. These proceedings review and extend work in [1, 2]. △ Less

Submitted 1 December, 2021; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: 12 pages, Proceedings of the 38th International Symposium on Lattice Field Theory, 26th-30th July 2021, Zoom/Gather@Massachusetts Institute of Technology

Report number: MIT-CTP/5349

Machine Learning of Thermodynamic Observables in the Presence of Mode Collapse

Authors: Kim A. Nicoli, Christopher Anders, Lena Funcke, Tobias Hartung, Karl Jansen, Pan Kessel, Shinichi Nakajima, Paolo Stornati

Abstract: 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… ▽ More 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. △ Less

Submitted 30 November, 2021; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: 10 pages, 2 figures, Proceedings of the 38th International Symposium on Lattice Field Theory, 26th-30th July 2021, Zoom/Gather@Massachusetts Institute of Technology

Report number: MIT-CTP/5353

Using classical bit-flip correction for error mitigation including 2-qubit correlations

Authors: Constantia Alexandrou, Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kuehn, Georgios Polykratis, Paolo Stornati, Xiaoyang Wang

Abstract: We present an error mitigation scheme which corrects readout errors on Noisy Intermediate-Scale Quantum (NISQ) computers [1,2]. After a short review of applying the method to one qubit, we proceed to discuss the case when correlations between different qubits occur. We demonstrate how the readout error can be mitigated in this case. By performing experiments on IBMQ hardware, we show that such cor… ▽ More We present an error mitigation scheme which corrects readout errors on Noisy Intermediate-Scale Quantum (NISQ) computers [1,2]. After a short review of applying the method to one qubit, we proceed to discuss the case when correlations between different qubits occur. We demonstrate how the readout error can be mitigated in this case. By performing experiments on IBMQ hardware, we show that such correlations do not have a strong effect on the results, justifying to neglect them. △ Less

Submitted 8 June, 2022; v1 submitted 16 November, 2021; originally announced November 2021.

Comments: 9 pages, 3 figures, Proceedings of the 38th International Symposium on Lattice Field Theory, 26th-30th July 2021, Zoom/Gather@Massachusetts Institute of Technology

Report number: MIT-CTP/5352

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

Authors: Constantia Alexandrou, Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Georgios Polykratis, Paolo Stornati, Xiaoyang Wang, Tom Weber

Abstract: 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 obser… ▽ More 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. △ Less

Submitted 29 November, 2021; v1 submitted 9 November, 2021; originally announced November 2021.

Comments: 11 pages, 5 figures, Proceedings of the 38th International Symposium on Lattice Field Theory, 26th-30th July 2021, Zoom/Gather@Massachusetts Institute of Technology

Report number: MIT-CTP/5351

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

Authors: Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Manuel Schneider, Paolo Stornati, Xiaoyang Wang

Abstract: 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 r… ▽ More 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. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Comments: 15 pages, 6 figures, invited manuscript for Philosophical Transactions of the Royal Society A

Report number: MIT-CTP/5325

Best-approximation error for parametric quantum circuits

Authors: Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Manuel Schneider, Paolo Stornati

Abstract: 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,… ▽ More 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. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: accepted at 2021 IEEE International Conference on Web Services (ICWS), Special Track: Quantum Software and Services

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

Authors: Tobias Hartung, Karl Jansen, Frances Y. Kuo, Hernan Leövey, Dirk Nuyens, Ian H. Sloan

Abstract: 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 us… ▽ More 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. △ Less

Submitted 29 June, 2021; v1 submitted 10 November, 2020; originally announced November 2020.

MSC Class: 65D30; 65D32; 65T50; 65Z05; 81T80

Journal ref: Journal of Computational Physics Volume 443, 15 October 2021, 110527

Dimensional Expressivity Analysis of Parametric Quantum Circuits

Authors: Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Paolo Stornati

Abstract: 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 ci… ▽ More 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. △ Less

Submitted 4 May, 2021; v1 submitted 6 November, 2020; originally announced November 2020.

Comments: 37 pages, 13 figures, journal version

Report number: HU-EP-20/31

Journal ref: Quantum 5, 422 (2021)

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

Authors: Kim A. Nicoli, Christopher J. Anders, Lena Funcke, Tobias Hartung, Karl Jansen, Pan Kessel, Shinichi Nakajima, Paolo Stornati

Abstract: 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 o… ▽ More 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. △ Less

Submitted 5 January, 2021; v1 submitted 14 July, 2020; originally announced July 2020.

Comments: 8 figures

Journal ref: Phys. Rev. Lett. 126, 032001 (2021)

Measurement Error Mitigation in Quantum Computers Through Classical Bit-Flip Correction

Authors: Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kühn, Paolo Stornati, Xiaoyang Wang

Abstract: We develop a classical bit-flip correction method to mitigate measurement errors on quantum computers. This method can be applied to any operator, any number of qubits, and any realistic bit-flip probability. We first demonstrate the successful performance of this method by correcting the noisy measurements of the ground-state energy of the longitudinal Ising model. We then generalize our results… ▽ More We develop a classical bit-flip correction method to mitigate measurement errors on quantum computers. This method can be applied to any operator, any number of qubits, and any realistic bit-flip probability. We first demonstrate the successful performance of this method by correcting the noisy measurements of the ground-state energy of the longitudinal Ising model. We then generalize our results to arbitrary operators and test our method both numerically and experimentally on IBM quantum hardware. As a result, our correction method reduces the measurement error on the quantum hardware by up to one order of magnitude. We finally discuss how to pre-process the method and extend it to other errors sources beyond measurement errors. For local Hamiltonians, the overhead costs are polynomial in the number of qubits, even if multi-qubit correlations are included. △ Less

Submitted 1 September, 2022; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: 27 pages, 11 figures, 4 tables, v3: updated to match journal version

Report number: HU-EP-20/15

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

Avoiding the sign-problem in lattice field theory

Authors: Tobias Hartung, Karl Jansen, Hernan Leövey, Julia Volmer

Abstract: 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 t… ▽ More 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. △ Less

Submitted 15 February, 2020; originally announced February 2020.

Zeta-regularized vacuum expectation values from quantum computing simulations

Authors: Karl Jansen, Tobias Hartung

Abstract: 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 empl… ▽ More 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. △ Less

Submitted 3 December, 2019; originally announced December 2019.

Comments: 14 pages, 1 figure, proceedings of the 37th International Symposium on Lattice Field Theory, 16-22 June 2019, Wuhan, China

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

Authors: Tobias Hartung, Karl Jansen

Abstract: 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 ph… ▽ More 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. △ Less

Submitted 28 March, 2019; v1 submitted 26 February, 2019; originally announced February 2019.

Comments: 17 pages, updated with reviewers comments, accepted version

Zeta-regularized vacuum expectation values

Authors: Tobias Hartung, Karl Jansen

Abstract: 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 dis… ▽ More 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. △ Less

Submitted 15 August, 2019; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: 36 pages, 2 figures; accepted version (Journal of Mathematical Physics)

Report number: DESY 18-139

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

Authors: Jason Hancox, Tobias Hartung

Abstract: 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, discret… ▽ More 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)$. △ Less

Submitted 31 January, 2018; v1 submitted 11 January, 2018; originally announced January 2018.

Comments: 28 pages, minor changes based on comments we received

MSC Class: 58B32; 58J35; 46L57; 47B48

Regularizing Feynman path integrals using the generalized Kontsevich-Vishik trace

Authors: Tobias Hartung

Abstract: 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 intro… ▽ More 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 $\varphi^4$ theory. △ Less

Submitted 9 March, 2017; originally announced March 2017.

Comments: 19 pages, code is written in Python2.7

MSC Class: 81T08; 58J40

Applying recursive numerical integration techniques for solving high dimensional integrals

Authors: Andreas Ammon, Alan Genz, Tobias Hartung, Karl Jansen, Hernan Leövey, Julia Volmer

Abstract: 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 integr… ▽ More 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. △ Less

Submitted 25 November, 2016; originally announced November 2016.

Report number: DESY 16-220

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

Authors: Andreas Ammon, Tobias Hartung, Karl Jansen, Hernan Leövey, Julia Volmer

Abstract: 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,… ▽ More 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. △ Less

Submitted 6 October, 2016; originally announced October 2016.

Comments: on occasion of the 34th International Symposium on Lattice Field Theory - LATTICE 2016, July 24 - July 30, 2016, Southampton, UK; 7 Pages, 4 figures

Overcoming the sign problem in 1-dimensional QCD by new integration rules with polynomial exactness

Authors: A. Ammon, T. Hartung, K. Jansen, H. Leövey, J. Volmer

Abstract: In this paper we describe a new integration method for the groups $U(N)$ and $SU(N)$, for which we verified numerically that it is polynomially exact for $N\le 3$. The method is applied to the example of 1-dimensional QCD with a chemical potential. We explore, in particular, regions of the parameter space in which the sign problem appears due the presence of the chemical potential. While Markov Ch… ▽ More In this paper we describe a new integration method for the groups $U(N)$ and $SU(N)$, for which we verified numerically that it is polynomially exact for $N\le 3$. The method is applied to the example of 1-dimensional QCD with a chemical potential. We explore, in particular, regions of the parameter space in which the sign problem appears due the presence of the chemical potential. While Markov Chain Monte Carlo fails in this region, our new integration method still provides results for the chiral condensate on arbitrary precision, demonstrating clearly that it overcomes the sign problem. Furthermore, we demonstrate that our new method leads to orders of magnitude reduced errors also in other regions of parameter space. △ Less

Submitted 10 August, 2016; v1 submitted 18 July, 2016; originally announced July 2016.

Comments: added reference in introduction

Report number: DESY 16-129

Journal ref: Phys. Rev. D 94, 114508 (2016)

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

Authors: Tobias Hartung, Simon Scott

Abstract: 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… ▽ More 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. △ Less

Submitted 8 September, 2016; v1 submitted 25 October, 2015; originally announced October 2015.

Comments: 45 pages

MSC Class: 35S30; 58J40; 46F10

On the efficient numerical solution of lattice systems with low-order couplings

Authors: A. Ammon, A. Genz, T. Hartung, K. Jansen, H. Leövey, J. Volmer

Abstract: We apply the Quasi Monte Carlo (QMC) and recursive numerical integration methods to evaluate the Euclidean, discretized time path-integral for the quantum mechanical anharmonic oscillator and a topological quantum mechanical rotor model. For the anharmonic oscillator both methods outperform standard Markov Chain Monte Carlo methods and show a significantly improved error scaling. For the quantum m… ▽ More We apply the Quasi Monte Carlo (QMC) and recursive numerical integration methods to evaluate the Euclidean, discretized time path-integral for the quantum mechanical anharmonic oscillator and a topological quantum mechanical rotor model. For the anharmonic oscillator both methods outperform standard Markov Chain Monte Carlo methods and show a significantly improved error scaling. For the quantum mechanical rotor we could, however, not find a successful way employing QMC. On the other hand, the recursive numerical integration method works extremely well for this model and shows an at least exponentially fast error scaling. △ Less

Submitted 15 September, 2015; v1 submitted 17 March, 2015; originally announced March 2015.

Report number: DESY 15-033

Applicability of Quasi-Monte Carlo for lattice systems

Authors: Andreas Ammon, Tobias Hartung, Karl Jansen, Hernan Leovey, Andreas Griewank, Micheal Müller-Preussker

Abstract: 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 Ca… ▽ More 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. △ Less

Submitted 19 November, 2013; originally announced November 2013.

Comments: on occasion of the 31st International Symposium on Lattice Field Theory - LATTICE 2013, July 29 - August 3, 2013, Mainz, Germany, 7 Pages, 4 figures

Report number: HU-EP-13/69, SFB/CPP-13-98, DESY 13-225

On radial migration of dense regions and objects and local unstability of accreting systems

Authors: T. Hartung

Abstract: I have used a newtonian infinite body problem to model a protoplanitary-like hot accretion disk and added terms of laminar and Stokes friction. Then I used qualitative methods to show the unstability of local regions leading to a lemma of radial migration and local unstability in hot, proto-planetary-like accretion disks. Then I considered a general infinite body problem with a position dependen… ▽ More I have used a newtonian infinite body problem to model a protoplanitary-like hot accretion disk and added terms of laminar and Stokes friction. Then I used qualitative methods to show the unstability of local regions leading to a lemma of radial migration and local unstability in hot, proto-planetary-like accretion disks. Then I considered a general infinite body problem with a position dependent, gravitation-like force and a general perturbating term. △ Less

Submitted 21 June, 2009; originally announced June 2009.

Comments: 5 pages, strongly linked to arXiv:0906.1119v2 [astro-ph.GA]

On radial motion of dense regions and objects in protoplanitary-like disks

Authors: T. Hartung

Abstract: Astronomers recently discovered a non-trivial radial motion of stars within our galaxy and were able to reproduce the results using n-body numerics. I modeled a protoplanitary-like disk within a newtonian $\infty$-body problem and considered the stability of local trajectories giving a qualitative explanation to the observed radial motion. As a prospect there will be a short estimate on the impa… ▽ More Astronomers recently discovered a non-trivial radial motion of stars within our galaxy and were able to reproduce the results using n-body numerics. I modeled a protoplanitary-like disk within a newtonian $\infty$-body problem and considered the stability of local trajectories giving a qualitative explanation to the observed radial motion. As a prospect there will be a short estimate on the impact on spiral arms. △ Less

Submitted 13 June, 2009; v1 submitted 5 June, 2009; originally announced June 2009.

Comments: 5 pages, changed some words to describe the ideas more fittingly