-
Structure-inspired Ansatz and Warm Start of Variational Quantum Algorithms for Quadratic Unconstrained Binary Optimization Problems
Authors:
Yahui Chai,
Karl Jansen,
Stefan Kühn,
Tim Schwägerl,
Tobias Stollenwerk
Abstract:
This paper introduces a structure-inspired ansatz for addressing quadratic unconstrained binary optimization problems with the Variational Quantum Eigensolver. We propose a novel warm start technique that is based on imaginary time evolution, and allows for determining a set of initial parameters prioritizing lower energy states in a resource-efficient way. Using classical simulations, we demonstr…
▽ More
This paper introduces a structure-inspired ansatz for addressing quadratic unconstrained binary optimization problems with the Variational Quantum Eigensolver. We propose a novel warm start technique that is based on imaginary time evolution, and allows for determining a set of initial parameters prioritizing lower energy states in a resource-efficient way. Using classical simulations, we demonstrate that this warm start method significantly improves the success rate and reduces the number of iterations required for the convergence of Variational Quantum Eigensolver. The numerical results also indicate that the warm start approach effectively mitigates statistical errors arising from a finite number of measurements, and to a certain extent alleviates the effect of barren plateaus.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
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.
-
Towards determining the (2+1)-dimensional Quantum Electrodynamics running coupling with Monte Carlo and quantum computing methods
Authors:
Arianna Crippa,
Simone Romiti,
Lena Funcke,
Karl Jansen,
Stefan Kühn,
Paolo Stornati,
Carsten Urbach
Abstract:
In this paper, we examine a compact $U(1)$ lattice gauge theory in $(2+1)$ dimensions and present a strategy for studying the running coupling and extracting the non-perturbative $Λ$-parameter. To this end, we combine Monte Carlo simulations and quantum computing, where the former can be used to determine the numerical value of the lattice spacing $a$, and the latter allows for reaching the pertur…
▽ More
In this paper, we examine a compact $U(1)$ lattice gauge theory in $(2+1)$ dimensions and present a strategy for studying the running coupling and extracting the non-perturbative $Λ$-parameter. To this end, we combine Monte Carlo simulations and quantum computing, where the former can be used to determine the numerical value of the lattice spacing $a$, and the latter allows for reaching the perturbative regime at very small values of the bare coupling and, correspondingly, small values of $a$. The methodology involves a series of sequential steps (i.e., the step scaling function) to bridge results from small lattice spacings to non-perturbative large-scale lattice calculations. Focusing on the pure gauge case, we demonstrate that these quantum circuits, adapted to gauge degrees of freedom, are able to capture the relevant physics by studying the expectation value of the plaquette operator, for matching with corresponding Monte Carlo simulations. We also present results for the static potential and static force, which can be related to the renormalized coupling. The procedure outlined in this work can be extended to Abelian and non-Abelian lattice gauge theories with matter fields and might provide a way towards studying lattice quantum chromodynamics utilizing both quantum and classical methods.
△ Less
Submitted 12 June, 2024; v1 submitted 26 April, 2024;
originally announced April 2024.
-
Exact and Approximate High-Multiplicity Scheduling on Identical Machines
Authors:
Klaus Jansen,
Kai Kahler,
Esther Zwanger
Abstract:
Goemans and Rothvoss (SODA'14) gave a framework for solving problems in time $enc(P)^{2^{O(N)}}enc(Q)^{O(1)}$ that can be described as finding a point in $\text{int.cone}(P\cap\mathbb{Z}^N)\cap Q$, where $P,Q\subset\mathbb{R}^N$ are (bounded) polyhedra. This framework can be used to solve various scheduling problems, but the encoding length $enc(P)$ usually involves large parameters like the makes…
▽ More
Goemans and Rothvoss (SODA'14) gave a framework for solving problems in time $enc(P)^{2^{O(N)}}enc(Q)^{O(1)}$ that can be described as finding a point in $\text{int.cone}(P\cap\mathbb{Z}^N)\cap Q$, where $P,Q\subset\mathbb{R}^N$ are (bounded) polyhedra. This framework can be used to solve various scheduling problems, but the encoding length $enc(P)$ usually involves large parameters like the makespan. We describe three tools to improve the framework by Goemans and Rothvoss: Problem-specific preprocessing, LP relaxation techniques and a new bound for the number of vertices of the integer hull.
In particular, applied to the classical scheduling problem $P||C_{\max}$, these tools each improve the running time from $(\log(C_{\max}))^{2^{O(d)}} enc(I)^{O(1)}$ to the possibly much better $(\log(p_{\max}))^{2^{O(d)}}enc(I)^{O(1)}$. Here, $p_{\max}$ is the largest processing time, $d$ is the number of different processing times, $C_{\max}$ is the makespan and $enc(I)$ is the encoding length of the instance. This running time is FPT w.r.t. parameter $d$ if $p_{\max}$ is given in unary. We obtain similar results for various other problems. Moreover, we show how a balancing result by Govzmann et al. can be used to speed up an additive approximation scheme by Buchem et al. (ICALP'21) in the high-multiplicity setting.
On the complexity side, we use reductions from the literature to provide new parameterized lower bounds for $P||C_{\max}$ and to show that the improved running time of the additive approximation algorithm is probably optimal. Finally, we show that the big open question asked by Mnich and van Bevern (Comput. Oper. Res. '18) whether $P||C_{\max}$ is FPT w.r.t. the number of job types $d$ has the same answer as the question whether $Q||C_{\max}$ is FPT w.r.t. the number of job and machine types $d+τ$ (all in high-multiplicity encoding). The same holds for objective $C_{\min}$.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Hardness and Tight Approximations of Demand Strip Packing
Authors:
Klaus Jansen,
Malin Rau,
Malte Tutas
Abstract:
We settle the pseudo-polynomial complexity of the Demand Strip Packing (DSP) problem: Given a strip of fixed width and a set of items with widths and heights, the items must be placed inside the strip with the objective of minimizing the peak height. This problem has gained significant scientific interest due to its relevance in smart grids[Deppert et al.\ APPROX'21, Gálvez et al.\ APPROX'21]. Sma…
▽ More
We settle the pseudo-polynomial complexity of the Demand Strip Packing (DSP) problem: Given a strip of fixed width and a set of items with widths and heights, the items must be placed inside the strip with the objective of minimizing the peak height. This problem has gained significant scientific interest due to its relevance in smart grids[Deppert et al.\ APPROX'21, Gálvez et al.\ APPROX'21]. Smart Grids are a modern form of electrical grid that provide opportunities for optimization. They are forecast to impact the future of energy provision significantly. Algorithms running in pseudo-polynomial time lend themselves to these applications as considered time intervals, such as days, are small. Moreover, such algorithms can provide superior approximation guarantees over those running in polynomial time. Consequently, they evoke scientific interest in related problems.
We prove that Demand Strip Packing is strongly NP-hard for approximation ratios below $5/4$. Through this proof, we provide novel insights into the relation of packing and scheduling problems. Using these insights, we show a series of frameworks that solve both Demand Strip Packing and Parallel Task Scheduling optimally when increasing the strip's width or number of machines. Such alterations to problems are known as resource augmentation. Applications are found when penalty costs are prohibitively large. Finally, we provide a pseudo-polynomial time approximation algorithm for DSP with an approximation ratio of $(5/4+\varepsilon)$, which is nearly optimal assuming $P\neq NP$. The construction of this algorithm provides several insights into the structure of DSP solutions and uses novel techniques to restructure optimal solutions.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Convolution and Knapsack in Higher Dimensions
Authors:
Kilian Grage,
Klaus Jansen
Abstract:
In the Knapsack problem, one is given the task of packing a knapsack of a given size with items in order to gain a packing with a high profit value. In recent years, a connection to the $(\max,+)$-convolution problem has been established, where knapsack solutions can be combined by building the convolution of two sequences. This observation has been used to give conditional lower bounds but also p…
▽ More
In the Knapsack problem, one is given the task of packing a knapsack of a given size with items in order to gain a packing with a high profit value. In recent years, a connection to the $(\max,+)$-convolution problem has been established, where knapsack solutions can be combined by building the convolution of two sequences. This observation has been used to give conditional lower bounds but also parameterized algorithms.
In this paper we want to carry these results into higher dimension. We consider Knapsack where items are characterized by multiple properties - given through a vector - and a knapsack that has a capacity vector. The packing must now not exceed any of the given capacity constraints. In order to show a similar sub-quadratic lower bound we introduce a multi-dimensional version of convolution as well. Instead of combining sequences, we will generalize this problem and combine higher dimensional matrices. We will establish a few variants of these problems and prove that they are all equivalent in terms of algorithms that allow for a running time sub-quadratic in the number of entries of the matrix.
We further develop a parameterized algorithm to solve higher dimensional Knapsack. The techniques we apply are inspired by an algorithm introduced by Axiotis and Tzamos. In general, we manage not only to extend their result to higher dimension. We will show that even for higher dimensional Knapsack, we can reduce the problem to convolution on one-dimensional sequences, leading to an $\mathcal{O}(d(n + D \cdot \max\{Π_{i=1}^d{t_i}, t_{\max}\log t_{\max}\} ))$ algorithm, where $D$ is the number of different weight vectors, $t$ the capacity vector and $d$ is the dimension of the problem. Finally we also modify this algorithm to handle items with negative weights to cross the bridge from solving not only Knapsack but also Integer Linear Programs (ILPs) in general.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Multimodal wearable EEG, EMG and accelerometry measurements improve the accuracy of tonic-clonic seizure detection in-hospital
Authors:
**gwei Zhang,
Lauren Swinnen,
Christos Chatzichristos,
Victoria Broux,
Renee Proost,
Katrien Jansen,
Benno Mahler,
Nicolas Zabler,
Nino Epitashvilli,
Matthias Dümpelmann,
Andreas Schulze-Bonhage,
Elisabeth Schriewer,
Ummahan Ermis,
Stefan Wolking,
Florian Linke,
Yvonne Weber,
Mkael Symmonds,
Arjune Sen,
Andrea Biondi,
Mark P. Richardson,
Abuhaiba Sulaiman I,
Ana Isabel Silva,
Francisco Sales,
Gergely Vértes,
Wim Van Paesschen
, et al. (1 additional authors not shown)
Abstract:
Objective: Most current wearable tonic-clonic seizure (TCS) detection systems are based on extra-cerebral signals, such as electromyography (EMG) or accelerometry (ACC). Although many of these devices show good sensitivity in seizure detection, their false positive rates (FPR) are still relatively high. Wearable EEG may improve performance; however, studies investigating this remain scarce. This p…
▽ More
Objective: Most current wearable tonic-clonic seizure (TCS) detection systems are based on extra-cerebral signals, such as electromyography (EMG) or accelerometry (ACC). Although many of these devices show good sensitivity in seizure detection, their false positive rates (FPR) are still relatively high. Wearable EEG may improve performance; however, studies investigating this remain scarce. This paper aims 1) to investigate the possibility of detecting TCSs with a behind-the-ear, two-channel wearable EEG, and 2) to evaluate the added value of wearable EEG to other non-EEG modalities in multimodal TCS detection. Method: We included 27 participants with a total of 44 TCSs from the European multicenter study SeizeIT2. The multimodal wearable detection system Sensor Dot (Byteflies) was used to measure two-channel, behind-the-ear EEG, EMG, electrocardiography (ECG), ACC and gyroscope (GYR). First, we evaluated automatic unimodal detection of TCSs, using performance metrics such as sensitivity, precision, FPR and F1-score. Secondly, we fused the different modalities and again assessed performance. Algorithm-labeled segments were then provided to a neurologist and a wearable data expert, who reviewed and annotated the true positive TCSs, and discarded false positives (FPs). Results: Wearable EEG outperformed the other modalities in unimodal TCS detection by achieving a sensitivity of 100.0% and a FPR of 10.3/24h (compared to 97.7% sensitivity and 30.9/24h FPR for EMG; 95.5% sensitivity and 13.9 FPR for ACC). The combination of wearable EEG and EMG achieved overall the most clinically useful performance in offline TCS detection with a sensitivity of 97.7%, a FPR of 0.4/24 h, a precision of 43.0%, and a F1-score of 59.7%. Subsequent visual review of the automated detections resulted in maximal sensitivity and zero FPs.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Symmetry breaking in geometric quantum machine learning in the presence of noise
Authors:
Cenk Tüysüz,
Su Yeon Chang,
Maria Demidik,
Karl Jansen,
Sofia Vallecorsa,
Michele Grossi
Abstract:
Geometric quantum machine learning based on equivariant quantum neural networks (EQNN) recently appeared as a promising direction in quantum machine learning. Despite the encouraging progress, the studies are still limited to theory, and the role of hardware noise in EQNN training has never been explored. This work studies the behavior of EQNN models in the presence of noise. We show that certain…
▽ More
Geometric quantum machine learning based on equivariant quantum neural networks (EQNN) recently appeared as a promising direction in quantum machine learning. Despite the encouraging progress, the studies are still limited to theory, and the role of hardware noise in EQNN training has never been explored. This work studies the behavior of EQNN models in the presence of noise. We show that certain EQNN models can preserve equivariance under Pauli channels, while this is not possible under the amplitude dam** channel. We claim that the symmetry breaking grows linearly in the number of layers and noise strength. We support our claims with numerical data from simulations as well as hardware up to 64 qubits. Furthermore, we provide strategies to enhance the symmetry protection of EQNN models in the presence of noise.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
First-Order Phase Transition of the Schwinger Model with a Quantum Computer
Authors:
Takis Angelides,
Pranay Naredi,
Arianna Crippa,
Karl Jansen,
Stefan Kühn,
Ivano Tavernelli,
Derek S. Wang
Abstract:
We explore the first-order phase transition in the lattice Schwinger model in the presence of a topological $θ$-term by means of the variational quantum eigensolver (VQE). Using two different fermion discretizations, Wilson and staggered fermions, we develop parametric ansatz circuits suitable for both discretizations, and compare their performance by simulating classically an ideal VQE optimizati…
▽ More
We explore the first-order phase transition in the lattice Schwinger model in the presence of a topological $θ$-term by means of the variational quantum eigensolver (VQE). Using two different fermion discretizations, Wilson and staggered fermions, we develop parametric ansatz circuits suitable for both discretizations, and compare their performance by simulating classically an ideal VQE optimization in the absence of noise. The states obtained by the classical simulation are then prepared on the IBM's superconducting quantum hardware. Applying state-of-the art error-mitigation methods, we show that the electric field density and particle number, observables which reveal the phase structure of the model, can be reliably obtained from the quantum hardware. To investigate the minimum system sizes required for a continuum extrapolation, we study the continuum limit using matrix product states, and compare our results to continuum mass perturbation theory. We demonstrate that taking the additive mass renormalization into account is vital for enhancing the precision that can be obtained with smaller system sizes. Furthermore, for the observables we investigate we observe universality, and both fermion discretizations produce the same continuum limit.
△ Less
Submitted 25 April, 2024; v1 submitted 20 December, 2023;
originally announced December 2023.
-
Gaussian Boson Sampling for binary optimization
Authors:
Jean Cazalis,
Yahui Chai,
Karl Jansen,
Stefan Kühn,
Tirth Shah
Abstract:
In this study, we consider a Gaussian Boson Sampler for solving a Flight Gate Assignment problem. We employ a Variational Quantum Eigensolver approach using the Conditional Value-at-risk cost function. We provide proof of principle by carrying out numerical simulations on randomly generated instances.
In this study, we consider a Gaussian Boson Sampler for solving a Flight Gate Assignment problem. We employ a Variational Quantum Eigensolver approach using the Conditional Value-at-risk cost function. We provide proof of principle by carrying out numerical simulations on randomly generated instances.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Study of 3-dimensional SU(2) gauge theory with adjoint Higgs as a model for cuprate superconductors
Authors:
Guilherme Catumba,
Atsuki Hiraguchi,
George W. -S. Hou,
Karl Jansen,
Ying-Jer Kao,
C. -J. David Lin,
Alberto Ramos,
Mugdha Sarkar
Abstract:
We study a 3-dimensional SU(2) gauge theory with 4 Higgs fields which transform under the adjoint representation of the gauge group, that has been recently proposed by Sachdev et al. to explain the physics of cuprate superconductors near optimal do**. The symmetric confining phase of the theory corresponds to the usual Fermi-liquid phase while the broken (Higgs) phase is associated with the inte…
▽ More
We study a 3-dimensional SU(2) gauge theory with 4 Higgs fields which transform under the adjoint representation of the gauge group, that has been recently proposed by Sachdev et al. to explain the physics of cuprate superconductors near optimal do**. The symmetric confining phase of the theory corresponds to the usual Fermi-liquid phase while the broken (Higgs) phase is associated with the interesting pseudogap phase of cuprates. We employ the Hybrid Monte-Carlo algorithm to study the phase diagram of the theory. We find the existence of a variety of broken phases in qualitative accordance with earlier mean-field predictions and discuss their role in cuprates. In addition, we investigate the behavior of Polyakov loop to probe the confinement/deconfinement phase transition, and find that the Higgs phase hosts a stable deconfining phase consistent with previous studies.
△ Less
Submitted 9 December, 2023;
originally announced December 2023.
-
Lattice investigation of the general Two Higgs Doublet Model with $SU(2)$ gauge fields
Authors:
Guilherme Catumba,
Atsuki Hiraguchi,
George W. -S Hou,
Karl Jansen,
Ying-Jer Kao,
C. -J. David Lin,
Alberto Ramos,
Mugdha Sarkar
Abstract:
We study the most general Two Higgs Doublet Model with $SU(2)$ gauge fields on the lattice. The phase space is probed through the computation of gauge-invariant global observables serving as proxies for order parameters. In each phase, the spectrum of the theory is analysed for different combinations of bare couplings and different symmetry breaking patterns. The scale setting and determination of…
▽ More
We study the most general Two Higgs Doublet Model with $SU(2)$ gauge fields on the lattice. The phase space is probed through the computation of gauge-invariant global observables serving as proxies for order parameters. In each phase, the spectrum of the theory is analysed for different combinations of bare couplings and different symmetry breaking patterns. The scale setting and determination of the running gauge coupling are performed through the Wilson flow computation of the action density.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Fermionic wave packet scattering: a quantum computing approach
Authors:
Yahui Chai,
Arianna Crippa,
Karl Jansen,
Stefan Kühn,
Vincent R. Pascuzzi,
Francesco Tacchino,
Ivano Tavernelli
Abstract:
We propose a method to prepare Gaussian wave packets with momentum on top of the interacting ground state of a fermionic Hamiltonian. Using Givens rotation, we show how to efficiently obtain expectation values of observables throughout the evolution of the wave packets on digital quantum computers. We demonstrate our technique by applying it to the staggered lattice formulation of the Thirring mod…
▽ More
We propose a method to prepare Gaussian wave packets with momentum on top of the interacting ground state of a fermionic Hamiltonian. Using Givens rotation, we show how to efficiently obtain expectation values of observables throughout the evolution of the wave packets on digital quantum computers. We demonstrate our technique by applying it to the staggered lattice formulation of the Thirring model and studying the scattering of two wave packets. Monitoring the the particle density and the entropy produced during the scattering process, we characterize the phenomenon and provide a first step towards studying more complicated collision processes on digital quantum computers. In addition, we perform a small-scale demonstration on IBM's quantum hardware, showing that our method is suitable for current and near-term quantum devices.
△ Less
Submitted 20 March, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
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.
-
Variational Quantum Harmonizer: Generating Chord Progressions and Other Sonification Methods with the VQE Algorithm
Authors:
Paulo Vitor Itaboraí,
Tim Schwägerl,
María Aguado Yáñez,
Arianna Crippa,
Karl Jansen,
Eduardo Reck Miranda,
Peter Thomas
Abstract:
This work investigates a case study of using physical-based sonification of Quadratic Unconstrained Binary Optimization (QUBO) problems, optimized by the Variational Quantum Eigensolver (VQE) algorithm. The VQE approximates the solution of the problem by using an iterative loop between the quantum computer and a classical optimization routine. This work explores the intermediary statevectors found…
▽ More
This work investigates a case study of using physical-based sonification of Quadratic Unconstrained Binary Optimization (QUBO) problems, optimized by the Variational Quantum Eigensolver (VQE) algorithm. The VQE approximates the solution of the problem by using an iterative loop between the quantum computer and a classical optimization routine. This work explores the intermediary statevectors found in each VQE iteration as the means of sonifying the optimization process itself. The implementation was realised in the form of a musical interface prototype named Variational Quantum Harmonizer (VQH), providing potential design strategies for musical applications, focusing on chords, chord progressions, and arpeggios. The VQH can be used both to enhance data visualization or to create artistic pieces. The methodology is also relevant in terms of how an artist would gain intuition towards achieving a desired musical sound by carefully designing QUBO cost functions. Flexible map** strategies could supply a broad portfolio of sounds for QUBO and quantum-inspired musical compositions, as demonstrated in a case study composition, "Dependent Origination" by Peter Thomas and Paulo Itaborai.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Simulating the flight gate assignment problem on a trapped ion quantum computer
Authors:
Yahui Chai,
Evgeny Epifanovsky,
Karl Jansen,
Ananth Kaushik,
Stefan Kühn
Abstract:
We study the flight gate assignment problem on IonQ's Aria trapped ion quantum computer using the variational quantum eigensolver. Utilizing the conditional value at risk as an aggregation function, we demonstrate that current trapped ion quantum hardware is able to obtain good solutions for this combinatorial optimization problem with high probability. In particular, we run the full variational q…
▽ More
We study the flight gate assignment problem on IonQ's Aria trapped ion quantum computer using the variational quantum eigensolver. Utilizing the conditional value at risk as an aggregation function, we demonstrate that current trapped ion quantum hardware is able to obtain good solutions for this combinatorial optimization problem with high probability. In particular, we run the full variational quantum eigensolver for small instances and we perform inference runs for larger systems, demonstrating that current and near-future quantum hardware is suitable for addressing combinatorial optimization problems.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Pion Transition Form Factor from Twisted-Mass Lattice QCD and the Hadronic Light-by-Light $π^0$-pole Contribution to the Muon $g-2$
Authors:
C. Alexandrou,
S. Bacchio,
G. Bergner,
S. Burri,
J. Finkenrath,
A. Gasbarro,
K. Hadjiyiannakou,
K. Jansen,
G. Kanwar,
B. Kostrzewa,
G. Koutsou,
K. Ottnad,
M. Petschlies,
F. Pittler,
F. Steffens,
C. Urbach,
U. Wenger
Abstract:
The neutral pion generates the leading pole contribution to the hadronic light-by-light tensor, which is given in terms of the nonperturbative transition form factor $\mathcal{F}_{π^0γγ}(q_1^2,q_2^2)$. Here we present an ab-initio lattice calculation of this quantity in the continuum and at the physical point using twisted-mass lattice QCD. We report our results for the transition form factor para…
▽ More
The neutral pion generates the leading pole contribution to the hadronic light-by-light tensor, which is given in terms of the nonperturbative transition form factor $\mathcal{F}_{π^0γγ}(q_1^2,q_2^2)$. Here we present an ab-initio lattice calculation of this quantity in the continuum and at the physical point using twisted-mass lattice QCD. We report our results for the transition form factor parameterized using a model-independent conformal expansion valid for arbitrary space-like kinematics and compare it with experimental measurements of the single-virtual form factor, the two-photon decay width, and the slope parameter. We then use the transition form factors to compute the pion-pole contribution to the hadronic light-by-light scattering in the muon $g-2$, finding $a_μ^{π^0\text{-pole}} = 56.7(3.2) \times 10^{-11}$.
△ Less
Submitted 3 January, 2024; v1 submitted 23 August, 2023;
originally announced August 2023.
-
A qubit-ADAPT Implementation for H$_2$ Molecules using an Explicitly Correlated Basis
Authors:
Hakon Volkmann,
Raamamurthy Sathyanarayanan,
Alejandro Saenz,
Karl Jansen,
Stefan Kühn
Abstract:
With the recent advances in the development of devices capable of performing quantum computations, a growing interest in finding near-term applications has emerged in many areas of science. In the era of non-fault tolerant quantum devices, algorithms that only require comparably short circuits accompanied by high repetition rates are considered to be a promising approach for assisting classical ma…
▽ More
With the recent advances in the development of devices capable of performing quantum computations, a growing interest in finding near-term applications has emerged in many areas of science. In the era of non-fault tolerant quantum devices, algorithms that only require comparably short circuits accompanied by high repetition rates are considered to be a promising approach for assisting classical machines with finding solution on computationally hard problems. The ADAPT approach previously introduced in Nat. Commun. 10, 3007 (2019) extends the class of variational quantum eigensolver (VQE) algorithms with dynamically growing ansätze in order to find approximations to ground and excited state energies of molecules. In this work, the ADAPT algorithm has been combined with a first-quantized formulation for the hydrogen molecule in the Born-Oppenheimer approximation, employing the explicitly correlated basis functions introduced in J. Chem. Phys. 43, 2429 (1965). By the virtue of their explicit electronic correlation properties, it is shown in classically performed simulations that relatively short circuits yield chemical accuracy ($< 1.6$ mHa) for ground and excited state potential curves that can compete with second quantized approaches such as Unitary Coupled Cluster.
△ Less
Submitted 14 August, 2023;
originally announced August 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.
-
Symmetry enhanced variational quantum imaginary time evolution
Authors:
Xiaoyang Wang,
Yahui Chai,
Maria Demidik,
Xu Feng,
Karl Jansen,
Cenk Tüysüz
Abstract:
The variational quantum imaginary time evolution (VarQITE) algorithm is a near-term method to prepare the ground state and Gibbs state of Hamiltonians. Finding an appropriate parameterization of the quantum circuit is crucial to the success of VarQITE. This work provides guidance for constructing parameterized quantum circuits according to the locality and symmetries of the Hamiltonian. Our approa…
▽ More
The variational quantum imaginary time evolution (VarQITE) algorithm is a near-term method to prepare the ground state and Gibbs state of Hamiltonians. Finding an appropriate parameterization of the quantum circuit is crucial to the success of VarQITE. This work provides guidance for constructing parameterized quantum circuits according to the locality and symmetries of the Hamiltonian. Our approach can be used to implement the unitary and anti-unitary symmetries of a quantum system, which significantly reduces the depth and degree of freedom of the parameterized quantum circuits. To benchmark the proposed parameterized quantum circuits, we carry out VarQITE experiments on statistical models. Numerical results confirm that the symmetry-enhanced circuits outperform the frequently-used parametrized circuits in the literature.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Quantum Computing for High-Energy Physics: State of the Art and Challenges. Summary of the QC4HEP Working Group
Authors:
Alberto Di Meglio,
Karl Jansen,
Ivano Tavernelli,
Constantia Alexandrou,
Srinivasan Arunachalam,
Christian W. Bauer,
Kerstin Borras,
Stefano Carrazza,
Arianna Crippa,
Vincent Croft,
Roland de Putter,
Andrea Delgado,
Vedran Dunjko,
Daniel J. Egger,
Elias Fernandez-Combarro,
Elina Fuchs,
Lena Funcke,
Daniel Gonzalez-Cuadra,
Michele Grossi,
Jad C. Halimeh,
Zoe Holmes,
Stefan Kuhn,
Denis Lacroix,
Randy Lewis,
Donatella Lucchesi
, et al. (21 additional authors not shown)
Abstract:
Quantum computers offer an intriguing path for a paradigmatic change of computing in the natural sciences and beyond, with the potential for achieving a so-called quantum advantage, namely a significant (in some cases exponential) speed-up of numerical simulations. The rapid development of hardware devices with various realizations of qubits enables the execution of small scale but representative…
▽ More
Quantum computers offer an intriguing path for a paradigmatic change of computing in the natural sciences and beyond, with the potential for achieving a so-called quantum advantage, namely a significant (in some cases exponential) speed-up of numerical simulations. The rapid development of hardware devices with various realizations of qubits enables the execution of small scale but representative applications on quantum computers. In particular, the high-energy physics community plays a pivotal role in accessing the power of quantum computing, since the field is a driving source for challenging computational problems. This concerns, on the theoretical side, the exploration of models which are very hard or even impossible to address with classical techniques and, on the experimental side, the enormous data challenge of newly emerging experiments, such as the upgrade of the Large Hadron Collider. In this roadmap paper, led by CERN, DESY and IBM, we provide the status of high-energy physics quantum computations and give examples for theoretical and experimental target benchmark applications, which can be addressed in the near future. Having the IBM 100 x 100 challenge in mind, where possible, we also provide resource estimates for the examples given using error mitigated quantum computing.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
In Situ Framework for Coupling Simulation and Machine Learning with Application to CFD
Authors:
Riccardo Balin,
Filippo Simini,
Cooper Simpson,
Andrew Shao,
Alessandro Rigazzi,
Matthew Ellis,
Stephen Becker,
Alireza Doostan,
John A. Evans,
Kenneth E. Jansen
Abstract:
Recent years have seen many successful applications of machine learning (ML) to facilitate fluid dynamic computations. As simulations grow, generating new training datasets for traditional offline learning creates I/O and storage bottlenecks. Additionally, performing inference at runtime requires non-trivial coupling of ML framework libraries with simulation codes. This work offers a solution to b…
▽ More
Recent years have seen many successful applications of machine learning (ML) to facilitate fluid dynamic computations. As simulations grow, generating new training datasets for traditional offline learning creates I/O and storage bottlenecks. Additionally, performing inference at runtime requires non-trivial coupling of ML framework libraries with simulation codes. This work offers a solution to both limitations by simplifying this coupling and enabling in situ training and inference workflows on heterogeneous clusters. Leveraging SmartSim, the presented framework deploys a database to store data and ML models in memory, thus circumventing the file system. On the Polaris supercomputer, we demonstrate perfect scaling efficiency to the full machine size of the data transfer and inference costs thanks to a novel co-located deployment of the database. Moreover, we train an autoencoder in situ from a turbulent flow simulation, showing that the framework overhead is negligible relative to a solver time step and training epoch.
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Volumetric Benchmarking of Quantum Computing Noise Models
Authors:
Tom Weber,
Kerstin Borras,
Karl Jansen,
Dirk Krücker,
Matthias Riebisch
Abstract:
The main challenge of quantum computing on its way to scalability is the erroneous behaviour of current devices. Understanding and predicting their impact on computations is essential to counteract these errors with methods such as quantum error mitigation. Thus, it is necessary to construct and evaluate accurate noise models. However, the evaluation of noise models does not yet follow a systemati…
▽ More
The main challenge of quantum computing on its way to scalability is the erroneous behaviour of current devices. Understanding and predicting their impact on computations is essential to counteract these errors with methods such as quantum error mitigation. Thus, it is necessary to construct and evaluate accurate noise models. However, the evaluation of noise models does not yet follow a systematic approach, making it nearly impossible to estimate the accuracy of a model for a given application. Therefore, we developed and present a systematic approach to benchmark noise models for quantum computing applications. It compares the results of hardware experiments to predictions of noise models for a representative set of quantum circuits. We also construct a noise model and optimize its parameters with a series of training circuits. We then perform a volumetric benchmark comparing our model to other models from the literature.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Turbulent boundary layer with strong favorable pressure gradient and curvature effects: Streamline coordinate and scaling analysis
Authors:
Aviral Prakash,
Riccardo Balin,
John A. Evans,
Kenneth E. Jansen
Abstract:
Direct numerical simulation (DNS) of a turbulent boundary layer over the Gaussian (Boeing) bump is performed. This boundary layer exhibits a series of adverse and favorable pressure gradients and convex and concave curvature effects before separating. These effects on turbulent boundary layers are characterized and compared to a lower Reynolds number flow over the same geometry. The momentum budge…
▽ More
Direct numerical simulation (DNS) of a turbulent boundary layer over the Gaussian (Boeing) bump is performed. This boundary layer exhibits a series of adverse and favorable pressure gradients and convex and concave curvature effects before separating. These effects on turbulent boundary layers are characterized and compared to a lower Reynolds number flow over the same geometry. The momentum budgets are analyzed in the streamline-aligned coordinate system upstream of the separation region. These momentum budgets allow the simplification of equations to facilitate an integral analysis. Integral analysis-based scalings for Reynolds stresses in the inner and outer regions of the boundary layer are also formulated. These proposed scalings exhibit a better collapse of Reynolds stress profiles compared to friction velocity scaling and Zagarola-Smits scaling in the strong favorable pressure gradient region and in the mild adverse pressure region that precedes it in this flow.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
Nonperturbative renormalization of asymmetric staple-shaped operators in twisted mass lattice QCD
Authors:
Constantia Alexandrou,
Simone Bacchio,
Krzysztof Cichy,
Martha Constantinou,
Xu Feng,
Karl Jansen,
Chuan Liu,
Aniket Sen,
Gregoris Spanoudes,
Fernanda Steffens,
Jacopo Tarello
Abstract:
Staple-shaped Wilson line operators are necessary for the study of transverse momentum-dependent parton distribution functions (TMDPDFs) in lattice QCD and beyond. In this work, we study the renormalization of such operators in the general case of an asymmetric staple. We analyze the mixing pattern of these operators using their symmetry properties, where we find that the possible mixing is restri…
▽ More
Staple-shaped Wilson line operators are necessary for the study of transverse momentum-dependent parton distribution functions (TMDPDFs) in lattice QCD and beyond. In this work, we study the renormalization of such operators in the general case of an asymmetric staple. We analyze the mixing pattern of these operators using their symmetry properties, where we find that the possible mixing is restricted within groups of four operators. We then present numerical results using the regularization independent momentum subtraction (RI/MOM) scheme to study the importance of mixing using one operator in particular, the $γ_0$ operator. Based on these results, we consider the short distance ratio (SDR) scheme, which is desirable in the absence of mixing. Finally, we investigate a variant of the RI/MOM scheme, where the renormalization factors are computed at short distances.
△ Less
Submitted 31 January, 2024; v1 submitted 19 May, 2023;
originally announced May 2023.
-
New Support Size Bounds for Integer Programming, Applied to Makespan Minimization on Uniformly Related Machines
Authors:
Sebastian Berndt,
Hauke Brinkop,
Klaus Jansen,
Matthias Mnich,
Tobias Stamm
Abstract:
Mixed-integer linear programming (MILP) is at the core of many advanced algorithms for solving fundamental problems in combinatorial optimization. The complexity of solving MILPs directly correlates with their support size, which is the minimum number of non-zero integer variables in an optimal solution. A hallmark result by Eisenbrand and Shmonin (Oper. Res. Lett., 2006) shows that any feasible i…
▽ More
Mixed-integer linear programming (MILP) is at the core of many advanced algorithms for solving fundamental problems in combinatorial optimization. The complexity of solving MILPs directly correlates with their support size, which is the minimum number of non-zero integer variables in an optimal solution. A hallmark result by Eisenbrand and Shmonin (Oper. Res. Lett., 2006) shows that any feasible integer linear program (ILP) has a solution with support size $s\leq 2m\cdot\log(4mΔ)$, where $m$ is the number of constraints, and $Δ$ is the largest coefficient in any constraint.
Our main combinatorial result are improved support size bounds for ILPs.
To improve granularity, we analyze for the largest $1$-norm $A_{\max}$ of any column of the constraint matrix, instead of $Δ$. We show a support size upper bound of $s\leq m\cdot(\log(3A_{\max})+\sqrt{\log(A_{\max})})$, by deriving a new bound on the -1 branch of the Lambert $\mathcal{W}$ function. Additionally, we provide a lower bound of $m\log(A_{\max})$, proving our result asymptotically optimal. Furthermore, we give support bounds of the form $s\leq 2m\cdot\log(1.46A_{\max})$. These improve upon the previously best constants by Aliev. et. al. (SIAM J. Optim., 2018), because all our upper bounds hold equally with $A_{\max}$ replaced by $\sqrt{m}Δ$.
Using our combinatorial result, we obtain the fastest known approximation schemes (EPTAS) for the fundamental scheduling problem of makespan minimization of uniformly related machines ($Q\mid\mid C_{\max}$).
△ Less
Submitted 15 May, 2023;
originally announced May 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.
-
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.
-
Particle track reconstruction with noisy intermediate-scale quantum computers
Authors:
Tim Schwägerl,
Cigdem Issever,
Karl Jansen,
Teng Jian Khoo,
Stefan Kühn,
Cenk Tüysüz,
Hannsjörg Weber
Abstract:
The reconstruction of trajectories of charged particles is a key computational challenge for current and future collider experiments. Considering the rapid progress in quantum computing, it is crucial to explore its potential for this and other problems in high-energy physics. The problem can be formulated as a quadratic unconstrained binary optimization (QUBO) and solved using the variational qua…
▽ More
The reconstruction of trajectories of charged particles is a key computational challenge for current and future collider experiments. Considering the rapid progress in quantum computing, it is crucial to explore its potential for this and other problems in high-energy physics. The problem can be formulated as a quadratic unconstrained binary optimization (QUBO) and solved using the variational quantum eigensolver (VQE) algorithm. In this work the effects of dividing the QUBO into smaller sub-QUBOs that fit on the hardware available currently or in the near term are assessed. Then, the performance of the VQE on small sub-QUBOs is studied in an ideal simulation, using a noise model mimicking a quantum device and on IBM quantum computers. This work serves as a proof of principle that the VQE could be used for particle tracking and investigates modifications of the VQE to make it more suitable for combinatorial optimization.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Computing the Mass Shift of Wilson and Staggered Fermions in the Lattice Schwinger Model with Matrix Product States
Authors:
Takis Angelides,
Lena Funcke,
Karl Jansen,
Stefan Kühn
Abstract:
Simulations of lattice gauge theories with tensor networks and quantum computing have so far mainly focused on staggered fermions. In this paper, we use matrix product states to study Wilson fermions in the Hamiltonian formulation and present a novel method to determine the additive mass renormalization. Focusing on the single-flavor Schwinger model as a benchmark model, we investigate the regime…
▽ More
Simulations of lattice gauge theories with tensor networks and quantum computing have so far mainly focused on staggered fermions. In this paper, we use matrix product states to study Wilson fermions in the Hamiltonian formulation and present a novel method to determine the additive mass renormalization. Focusing on the single-flavor Schwinger model as a benchmark model, we investigate the regime of a nonvanishing topological $θ$-term, which is inaccessible to conventional Monte Carlo methods. We systematically explore the dependence of the mass shift on the volume, the lattice spacing, the $θ$-parameter, and the Wilson parameter. This allows us to follow lines of constant renormalized mass, and therefore to substantially improve the continuum extrapolation of the mass gap and the electric field density. For small values of the mass, our continuum results agree with the theoretical prediction from mass perturbation theory. Going beyond Wilson fermions, our technique can also be applied to staggered fermions, and we demonstrate that the results of our approach agree with a recent theoretical prediction for the mass shift at sufficiently large volumes.
△ Less
Submitted 18 October, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
Exploring the CP-violating Dashen phase in the Schwinger model with tensor networks
Authors:
Lena Funcke,
Karl Jansen,
Stefan Kühn
Abstract:
We numerically study the phase structure of the two-flavor Schwinger model with matrix product states, focusing on the (1+1)-dimensional analog of the CP-violating Dashen phase in QCD. We simulate the two-flavor Schwinger model around the point where the positive mass of one fermion flavor corresponds to the negative mass of the other fermion flavor, which is a sign-problem afflicted regime for co…
▽ More
We numerically study the phase structure of the two-flavor Schwinger model with matrix product states, focusing on the (1+1)-dimensional analog of the CP-violating Dashen phase in QCD. We simulate the two-flavor Schwinger model around the point where the positive mass of one fermion flavor corresponds to the negative mass of the other fermion flavor, which is a sign-problem afflicted regime for conventional Monte Carlo techniques. Our results indicate that the model undergoes a CP-violating Dashen phase transition at this point, which manifests itself in abrupt changes of the average electric field and the analog of the pion condensate in the model. Studying the scaling of the bipartite entanglement entropy as a function of the volume, we find clear indications that this transition is not of first order.
△ Less
Submitted 9 August, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Improved Algorithms for Monotone Moldable Job Scheduling using Compression and Convolution
Authors:
Kilian Grage,
Klaus Jansen,
Felix Ohnesorge
Abstract:
In the moldable job scheduling problem one has to assign a set of $n$ jobs to $m$ machines, in order to minimize the time it takes to process all jobs. Each job is moldable, so it can be assigned not only to one but any number of the equal machines. We assume that the work of each job is monotone and that jobs can be placed non-contiguously. In this work we present a $(\frac 3 2 + ε)$-approximatio…
▽ More
In the moldable job scheduling problem one has to assign a set of $n$ jobs to $m$ machines, in order to minimize the time it takes to process all jobs. Each job is moldable, so it can be assigned not only to one but any number of the equal machines. We assume that the work of each job is monotone and that jobs can be placed non-contiguously. In this work we present a $(\frac 3 2 + ε)$-approximation algorithm with a worst-case runtime of ${O(n \log^2(\frac 1 ε+ \frac {\log (εm)} ε) + \frac{n}ε \log(\frac 1 ε) {\log (εm)})}$ when $m\le 16n$. This is an improvement over the best known algorithm of the same quality by a factor of $\frac 1 ε$ and several logarithmic dependencies. We complement this result with an improved FPTAS with running time $O(n \log^2(\frac 1 ε+ \frac {\log (εm)} ε))$ for instances with many machines $m> 8\frac n ε$. This yields a $\frac 3 2$-approximation with runtime $O(n \log^2(\log m))$ when $m>16n$.
We achieve these results through one new core observation: In an approximation setting one does not need to consider all $m$ possible allotments for each job. We will show that we can reduce the number of relevant allotments for each job from $m$ to $O(\frac 1 ε+ \frac {\log (εm)}ε)$. Using this observation immediately yields the improved FPTAS. For the other result we use a reduction to the knapsack problem first introduced by Mounié, Rapine and Trystram. We use the reduced number of machines to give a new elaborate rounding scheme and define a modified version of this this knapsack instance. This in turn allows for the application of a convolution based algorithm by Axiotis and Tzamos. We further back our theoretical results through a practical implementation and compare our algorithm to the previously known best result.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Lattice calculation of the R-ratio smeared with Gaussian kernel
Authors:
Constantia Alexandrou,
Simone Bacchio,
Alessandro De Santis,
Petros Dimopoulos,
Jacob Finkenrath,
Roberto Frezzotti,
Giuseppe Gagliardi,
Marco Garofalo,
Kyriakos Hadjiyiannakou,
Bartosz Kostrzewa,
Karl Jansen,
Vittorio Lubicz,
Marcus Petschlies,
Francesco Sanfilippo,
Silvano Simula,
Nazario Tantalo,
Carsten Urbach,
Urs Wenger
Abstract:
The ratio $R(E)$ of the cross-sections for $e^+e^-\to$ hadrons and $e^+e^-\to μ^+μ^-$ is a valuable energy-dependent probe of the hadronic sector of the Standard Model. Moreover, the experimental measurements of $R(E)$ are the inputs of the dispersive calculations of the leading hadronic vacuum polarization contribution to the muon $g-2$ and these are in significant tension with direct lattice cal…
▽ More
The ratio $R(E)$ of the cross-sections for $e^+e^-\to$ hadrons and $e^+e^-\to μ^+μ^-$ is a valuable energy-dependent probe of the hadronic sector of the Standard Model. Moreover, the experimental measurements of $R(E)$ are the inputs of the dispersive calculations of the leading hadronic vacuum polarization contribution to the muon $g-2$ and these are in significant tension with direct lattice calculations and with the muon $g-2$ experiment. In this talk we discuss the results of our first-principles lattice study of $R(E)$. By using a recently proposed method for extracting smeared spectral densities from Euclidean lattice correlators, we have calculated $R(E)$ convoluted with Gaussian kernels of different widths $σ$ and central energies up to $2.5$ GeV. Our theoretical results have been compared with the KNT19 [1] compilation of experimental results smeared with the same Gaussian kernels and a tension (about three standard deviations) has been observed for $σ\sim 600$ MeV and central energies around the $ρ$-resonance peak.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Short \& intermediate distance HVP contributions to muon g-2: SM (lattice) prediction versus $e^+e^-$ annihilation data
Authors:
Constantia Alexandrou,
Simone Bacchio,
Petros Dimopoulos,
Jacob Finkenrath,
Roberto Frezzotti,
Giuseppe Gagliardi,
Marco Garofalo,
Kyriakos Hadjiyiannakou,
Bartosz Kostrzewa,
Karl Jansen,
Vittorio Lubicz,
Marcus Petschlies,
Francesco Sanfilippo,
Silvano Simula,
Carsten Urbach,
Urs Wenger
Abstract:
We present new lattice results of the ETM Collaboration, obtained from extensive simulations of lattice QCD with dynamical up, down, strange and charm quarks at physical mass values, different volumes and lattice spacings, concerning the SM prediction for the so-called intermediate window (W) and short-distance (SD) contributions to the leading order hadronic vacuum polarization (LO-HVP) term of t…
▽ More
We present new lattice results of the ETM Collaboration, obtained from extensive simulations of lattice QCD with dynamical up, down, strange and charm quarks at physical mass values, different volumes and lattice spacings, concerning the SM prediction for the so-called intermediate window (W) and short-distance (SD) contributions to the leading order hadronic vacuum polarization (LO-HVP) term of the muon anomalous magnetic moment, $a_μ$. Results for $a_μ^{\rm LO-HVP,W}$ and $a_μ^{\rm LO-HVP,SD}$, besides representing a step forward to a complete lattice computation of $a_μ^{\rm LO-HVP}$ and a useful benchmark among lattice groups, are compared here with their dispersive counterparts based on experimental data for $e^+e^-$ into hadrons. The comparison confirms the tension in $a_μ^{\rm LO-HVP,W}$, already noted in 2020 by the BMW Collaboration, while showing no tension in $a_μ^{\rm LO-HVP,SD}$.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Pseudoscalar-pole contributions to the muon $g-2$ at the physical point
Authors:
Sebastian Burri,
Gurtej Kanwar,
Constantia Alexandrou,
Simone Bacchio,
Georg Bergner,
Jacob Finkenrath,
Andrew Gasbarro,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Bartosz Kostrzewa,
Giannis Koutsou,
Konstantin Ottnad,
Marcus Petschlies,
Ferenc Pittler,
Fernanda Steffens,
Carsten Urbach,
Urs Wenger
Abstract:
Pseudoscalar-pole diagrams are an important component of estimates of the hadronic light-by-light (HLbL) contribution to the muon $g-2$. We report on our computation of the transition form factors $\mathcal{F}_{P \rightarrow γ^* γ^*}$ for the neutral pseudoscalar mesons $P=π^0$ and $η$. The calculation is performed using twisted-mass lattice QCD with physical quark masses. On the lattice, we have…
▽ More
Pseudoscalar-pole diagrams are an important component of estimates of the hadronic light-by-light (HLbL) contribution to the muon $g-2$. We report on our computation of the transition form factors $\mathcal{F}_{P \rightarrow γ^* γ^*}$ for the neutral pseudoscalar mesons $P=π^0$ and $η$. The calculation is performed using twisted-mass lattice QCD with physical quark masses. On the lattice, we have access to a broad range of (space-like) photon four-momenta and therefore produce form factor data complementary to the experimentally accessible single-virtual direction, which directly leads to an estimate of the pion- and $η$-pole components of the muon $g-2$. For the pion, our result for the $g-2$ contribution in the continuum is comparable with previous lattice and data-driven determinations, with combined relative uncertainties below $10\%$. For the $η$ meson, we report on a preliminary determination from a single lattice spacing.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Hamiltonian limit of lattice QED in 2+1 dimensions
Authors:
L. Funcke,
C. F. Groß,
K. Jansen,
S. Kühn,
S. Romiti,
C. Urbach
Abstract:
The Hamiltonian limit of lattice gauge theories can be found by extrapolating the results of anisotropic lattice computations, i.e., computations using lattice actions with different temporal and spatial lattice spacings ($a_t\neq a_s$), to the limit of $a_t\to 0$. In this work, we present a study of this Hamiltonian limit for a Euclidean $U(1)$ gauge theory in 2+1 dimensions (QED3), regularized o…
▽ More
The Hamiltonian limit of lattice gauge theories can be found by extrapolating the results of anisotropic lattice computations, i.e., computations using lattice actions with different temporal and spatial lattice spacings ($a_t\neq a_s$), to the limit of $a_t\to 0$. In this work, we present a study of this Hamiltonian limit for a Euclidean $U(1)$ gauge theory in 2+1 dimensions (QED3), regularized on a toroidal lattice. The limit is found using the renormalized anisotropy $ξ_R=a_t/a_s$, by sending $ξ_R \to 0$ while kee** the spatial lattice spacing constant. We compute $ξ_R$ in $3$ different ways: using both the ``normal'' and the ``sideways'' static quark potential, as well as the gradient flow evolution of gauge fields. The latter approach will be particularly relevant for future investigations of combining quantum computations with classical Monte Carlo computations, which requires the matching of lattice results obtained in the Hamiltonian and Lagrangian formalisms.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
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.
-
Time windows of the muon HVP from twisted-mass lattice QCD
Authors:
C. Alexandrou,
S. Bacchio,
P. Dimopoulos,
J. Finkenrath,
R. Frezzotti,
G. Gagliardi,
M. Garofalo,
K. Hadjiyiannakou,
B. Kostrzewa,
K. Jansen,
V. Lubicz,
M. Petschlies,
F. Sanfilippo,
S. Simula,
C. Urbach,
U. Wenger
Abstract:
We present a lattice determination of the leading-order hadronic vacuum polarization (HVP) contribution to the muon anomalous magnetic moment, $a_μ^{\rm HVP}$, in the so-called short and intermediate time-distance windows, $a_μ^{\rm SD}$ and $a_μ^{\rm W}$. We employ gauge ensembles produced by the Extended Twisted Mass Collaboration (ETMC) with $N_f = 2 + 1 + 1$ flavours of Wilson-clover twisted-m…
▽ More
We present a lattice determination of the leading-order hadronic vacuum polarization (HVP) contribution to the muon anomalous magnetic moment, $a_μ^{\rm HVP}$, in the so-called short and intermediate time-distance windows, $a_μ^{\rm SD}$ and $a_μ^{\rm W}$. We employ gauge ensembles produced by the Extended Twisted Mass Collaboration (ETMC) with $N_f = 2 + 1 + 1$ flavours of Wilson-clover twisted-mass quarks with masses of all the dynamical quark flavours tuned close to their physical values. The simulations are carried out at three values of the lattice spacing equal to $\simeq 0.057, 0.068$ and $0.080$ fm with spatial lattice sizes up to $L \simeq 7.6$~fm. For the short distance window we obtain $a_μ^{\rm SD} = 69.27\,(34) \cdot 10^{-10}$, in agreement with the dispersive determination based on experimental $e^+ e^-$ data. For the intermediate window we get instead $a_μ^{\rm W} = 236.3\,(1.3) \cdot 10^{-10}$, which is consistent with recent determinations by other lattice collaborations, but disagrees with the dispersive determination at the level of $3.6\,σ$.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Probing the energy-smeared R-ratio on the lattice
Authors:
Constantia Alexandrou,
Simone Bacchio,
Alessandro De Santis,
Petros Dimopoulos,
Jacob Finkenrath,
Roberto Frezzotti,
Giuseppe Gagliardi,
Marco Garofalo,
Kyriakos Hadjiyiannakou,
Bartosz Kostrzewa,
Karl Jansen,
Vittorio Lubicz,
Marcus Petschlies,
Francesco Sanfilippo,
Silvano Simula,
Nazario Tantalo,
Carsten Urbach,
Urs Wenger
Abstract:
We present a first-principles lattice QCD investigation of the $R$-ratio between the $e^+e^-$ cross-section into hadrons and that into muons. By using the method of Ref.[1], that allows to extract smeared spectral densities from Euclidean correlators, we compute the $R$-ratio convoluted with Gaussian smearing kernels of widths of about $600$ MeV and central energies from $220$ MeV up to $2.5$ GeV.…
▽ More
We present a first-principles lattice QCD investigation of the $R$-ratio between the $e^+e^-$ cross-section into hadrons and that into muons. By using the method of Ref.[1], that allows to extract smeared spectral densities from Euclidean correlators, we compute the $R$-ratio convoluted with Gaussian smearing kernels of widths of about $600$ MeV and central energies from $220$ MeV up to $2.5$ GeV. Our theoretical results are compared with the corresponding quantities obtained by smearing the KNT19 compilation [2] of $R$-ratio experimental measurements with the same kernels and, by centring the Gaussians in the region around the $ρ$-resonance peak, a tension of about three standard deviations is observed. From the phenomenological perspective, we have not included yet in our calculation QED and strong isospin-breaking corrections and this might affect the observed tension. From the methodological perspective, our calculation demonstrates that it is possible to study the $R$-ratio in Gaussian energy bins on the lattice at the level of accuracy required in order to perform precision tests of the Standard Model.
△ Less
Submitted 19 May, 2023; v1 submitted 16 December, 2022;
originally announced December 2022.
-
Disconnected contribution to the LO HVP term of muon g-2 from ETMC
Authors:
Constantia Alexandrou,
Simone Bacchio,
Petros Dimopoulos,
Jacob Finkenrath,
Roberto Frezzotti,
Giuseppe Gagliardi,
Marco Garofalo,
Kyriakos Hadjiyiannakou,
Bartosz Kostrzewa,
Karl Jansen,
Vittorio Lubicz,
Marcus Petschlies,
Francesco Sanfilippo,
Silvano Simula,
Carsten Urbach,
Urs Wenger
Abstract:
We present a lattice determination of the disconnected contributions to the leading-order hadronic vacuum polarization (HVP) to the muon anomalous magnetic moment in the so-called short and intermediate time-distance windows. We employ gauge ensembles produced by the Extended Twisted Mass Collaboration (ETMC) with $N_f = 2 + 1 + 1$ flavours of Wilson twisted-mass clover-improved quarks with masses…
▽ More
We present a lattice determination of the disconnected contributions to the leading-order hadronic vacuum polarization (HVP) to the muon anomalous magnetic moment in the so-called short and intermediate time-distance windows. We employ gauge ensembles produced by the Extended Twisted Mass Collaboration (ETMC) with $N_f = 2 + 1 + 1$ flavours of Wilson twisted-mass clover-improved quarks with masses approximately tuned to their physical value. We take the continuum limit employing three lattice spacings at about 0.08, 0.07 and 0.06 fm.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
The $η\rightarrow γ^* γ^*$ transition form factor and the hadronic light-by-light $η$-pole contribution to the muon $g-2$ from lattice QCD
Authors:
Constantia Alexandrou,
Simone Bacchio,
Sebastian Burri,
Jacob Finkenrath,
Andrew Gasbarro,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Gurtej Kanwar,
Bartosz Kostrzewa,
Konstantin Ottnad,
Marcus Petschlies,
Ferenc Pittler,
Carsten Urbach,
Urs Wenger
Abstract:
We calculate the double-virtual $η\rightarrow γ^* γ^*$ transition form factor $\mathcal{F}_{η\to γ^* γ^*}(q_1^2,q_2^2)$ from first principles using a lattice QCD simulation with $N_f=2+1+1$ quark flavors at the physical pion mass and at one lattice spacing and volume. The kinematic range covered by our calculation is complementary to the one accessible from experiment and is relevant for the $η$-p…
▽ More
We calculate the double-virtual $η\rightarrow γ^* γ^*$ transition form factor $\mathcal{F}_{η\to γ^* γ^*}(q_1^2,q_2^2)$ from first principles using a lattice QCD simulation with $N_f=2+1+1$ quark flavors at the physical pion mass and at one lattice spacing and volume. The kinematic range covered by our calculation is complementary to the one accessible from experiment and is relevant for the $η$-pole contribution to the hadronic light-by-light scattering in the anomalous magnetic moment $a_μ= (g-2)/2$ of the muon. From the form factor calculation we extract the partial decay width $Γ(η\rightarrow γγ) = 323(85)_\text{stat}(22)_\text{syst}$ eV and the slope parameter $b_η=1.19(36)_\text{stat}(16)_\text{syst}$ GeV${}^{-2}$. For the $η$-pole contribution to $a_μ$ we obtain $a_μ^{η-\text{pole}} = 13.2(5.2)_\text{stat}(1.3)_\text{syst} \cdot 10^{-11}$.
△ Less
Submitted 21 December, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Invariant Data-Driven Subgrid Stress Modeling on Anisotropic Grids for Large Eddy Simulation
Authors:
Aviral Prakash,
Kenneth E. Jansen,
John A. Evans
Abstract:
We present a new approach for constructing data-driven subgrid stress models for large eddy simulation of turbulent flows using anisotropic grids. The key to our approach is a Galilean, rotationally, reflectionally and unit invariant model form that also embeds filter anisotropy in such a way that an important subgrid stress identity is satisfied. We use this model form to train a data-driven subg…
▽ More
We present a new approach for constructing data-driven subgrid stress models for large eddy simulation of turbulent flows using anisotropic grids. The key to our approach is a Galilean, rotationally, reflectionally and unit invariant model form that also embeds filter anisotropy in such a way that an important subgrid stress identity is satisfied. We use this model form to train a data-driven subgrid stress model using only a small amount of anisotropically filtered DNS data and a simple and inexpensive neural network architecture. A priori and a posteriori tests indicate that the trained data-driven model generalizes well to filter anisotropy ratios, Reynolds numbers and flow physics outside the training dataset.
△ Less
Submitted 17 July, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
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.
-
Mass Renormalization of the Schwinger Model with Wilson and Staggered Fermions in the Hamiltonian Lattice Formulation
Authors:
Takis Angelides,
Lena Funcke,
Karl Jansen,
Stefan Kühn
Abstract:
Lattice computations in the Hamiltonian formulation have so far mainly focused on staggered fermions. In these proceedings, we study Wilson fermions in the Hamiltonian formulation and propose a new method to determine the resulting mass shift. As a benchmark study, we examine the one-flavour Schwinger model with Wilson fermions and a topological $θ$-term using matrix product states. Wilson fermion…
▽ More
Lattice computations in the Hamiltonian formulation have so far mainly focused on staggered fermions. In these proceedings, we study Wilson fermions in the Hamiltonian formulation and propose a new method to determine the resulting mass shift. As a benchmark study, we examine the one-flavour Schwinger model with Wilson fermions and a topological $θ$-term using matrix product states. Wilson fermions explicitly break chiral symmetry; thus, the bare mass of the lattice model receives an additive renormalization. In order to measure this mass shift directly, we develop a method that is suitable for the Hamiltonian formulation, which relies on the fact that the vacuum expectation value of the electric field density vanishes when the renormalized mass is zero. We examine the dependence of the mass shift on the lattice spacing, the lattice volume, the $θ$-parameter, and the Wilson parameter. Using the mass shift, we then perform the continuum extrapolation of the electric field density and compare the resulting mass dependence to the analytical predictions of mass perturbation theory. We demonstrate that incorporating the mass shift significantly improves the continuum extrapolation. Finally, we apply our method to the same model using staggered fermions instead of Wilson fermions and compare the resulting mass shift to recent theoretical predictions.
△ Less
Submitted 18 October, 2023; v1 submitted 22 November, 2022;
originally announced November 2022.