SearcharxivSearch

arXiv subjects

Christopher F. Kane

Publications and source records attributed to Christopher F. Kane.

9 recordsLinked to original sources

Tightening energy-based boson truncation bound using Monte Carlo-assisted methods

Quantum simulation offers a promising framework for quantum field theory calculations. Obtaining reliable results, however, requires careful characterization of systematic uncertainties. One important source is the boson truncation error, which arises from representing infinite-dimensional local Hilbert spaces with finite-dimensional ones. Previous studies have examined this problem from several perspectives. In particular, Jordan, Lee, and Preskill (arXiv:1111.3633) derived an energy-based bound applicable to generic low-energy states across a broad class of field theories. However, this approach often yields overly conservative bounds, especially at large volumes. In this work, we introduce a new methodology that significantly tightens the energy-based boson truncation bound through two complementary advances: an improved analytic derivation and a Monte Carlo-based numerical procedure. We demonstrate the method in (1+1)-dimensional scalar field theory and (2+1)-dimensional U(1) gauge theory in the dual formalism. Our approach substantially mitigates the volume dependence of the required truncation cutoff, achieving reductions nearly proportional to the volume in some cases and to the square root of the volume in others.

hep-lat

Obtaining continuum physics from dynamical simulations of Hamiltonian lattice gauge theories

Taking the continuum limit is essential for extracting physical observables from quantum simulations of lattice gauge theories. Achieving the correct continuum limit requires careful control of all systematic uncertainties, including those arising from approximate implementations of the time evolution operator. In this work, we review existing approaches based on renormalization techniques, and point out their limitations. To overcome these limitations, we introduce a new general framework -- the Statistically-Bounded Time Evolution (SBTE) protocol -- for rigorously controlling the impact of approximate time evolution on the continuum limit. The central insight is that, since exact time evolution introduces no UV divergences, errors from approximate evolution can be treated as a source of systematic uncertainty that can be neglected if reduced below the working statistical uncertainty. We show that, using the SBTE protocol, which prescribes driving the approximate time evolution error below the working statistical uncertainty, leads to a simplified renormalization procedure. Furthermore, we show that, due to the existence of rigorous error bounds, one can guarantee a priori that such errors are negligible and do not affect the continuum limit. Ultimately, our protocol lays the foundation for performing systematic and fair comparisons between different simulation algorithms for lattice gauge theory simulations.

hep-lat

Efficient lattice QCD computation of radiative-leptonic-decay form factors at multiple positive and negative photon virtualities

In previous work Phys. Rev. D 107, 074507 (2023), we showed that form factors for radiative leptonic decays of pseudoscalar mesons can be determined efficiently and with high precision from lattice QCD using the ``3d method,'' in which three-point functions are computed for all values of the current-insertion time and the time integral is performed at the data-analysis stage. Here, we demonstrate another benefit of the 3d method: the form factors can be extracted for any number of nonzero photon virtualites from the same three-point functions at no extra cost. We present results for the $D_s\to\ell\nu\gamma^*$ vector form factor as a function of photon energy and photon virtuality, for both positive and negative virtuality. In our analysis, we separately consider the two different time orderings and the different quark flavors in the electromagnetic current. We discuss in detail the behavior of the unwanted exponentials contributing to the three-point functions, as well as the choice of fit models and fit ranges used to remove them for various values of the virtuality. While positive photon virtuality is relevant for decays to multiple charged leptons, negative photon virtuality suppresses soft contributions and is of interest in QCD-factorization studies of the form factors.

hep-lat

A Fully Gauge-Fixed SU(2) Hamiltonian for Quantum Simulations

We demonstrate how to construct a fully gauge-fixed lattice Hamiltonian for a pure SU(2) gauge theory. Our work extends upon previous work, where a formulation of an SU(2) lattice gauge theory was developed that is efficient to simulate at all values of the gauge coupling. That formulation utilized maximal-tree gauge, where all local gauge symmetries are fixed and a residual global gauge symmetry remains. By using the geometric picture of an SU(2) lattice gauge theory as a system of rotating rods, we demonstrate how to fix the remaining global gauge symmetry. In particular, the quantum numbers associated with total charge can be isolated by rotating between the lab and body frames using the three Euler angles. The Hilbert space in this new `sequestered' basis partitions cleanly into sectors with differing total angular momentum, which makes gauge-fixing to a particular total charge sector trivial, particularly for the charge-zero sector. In addition to this sequestered basis inheriting the property of being efficient at all values of the coupling, we show that, despite the global nature of the final gauge-fixing procedure, this Hamiltonian can be simulated using quantum resources scaling only polynomially with the lattice volume.

quant-ph

Block encoding bosons by signal processing

Block Encoding (BE) is a crucial subroutine in many modern quantum algorithms, including those with near-optimal scaling for simulating quantum many-body systems, which often rely on Quantum Signal Processing (QSP). Currently, the primary methods for constructing BEs are the Linear Combination of Unitaries (LCU) and the sparse oracle approach. In this work, we demonstrate that QSP-based techniques, such as Quantum Singular Value Transformation (QSVT) and Quantum Eigenvalue Transformation for Unitary Matrices (QETU), can themselves be efficiently utilized for BE implementation. Specifically, we present several examples of using QSVT and QETU algorithms, along with their combinations, to block encode Hamiltonians for lattice bosons, an essential ingredient in simulations of high-energy physics. We also introduce a straightforward approach to BE based on the exact implementation of Linear Operators Via Exponentiation and LCU (LOVE-LCU). We find that, while using QSVT for BE results in the best asymptotic gate count scaling with the number of qubits per site, LOVE-LCU outperforms all other methods for operators acting on up to $\lesssim11$ qubits, highlighting the importance of concrete circuit constructions over mere comparisons of asymptotic scalings. Using LOVE-LCU to implement the BE, we simulate the time evolution of single-site and two-site systems in the lattice $\varphi^4$ theory using the Generalized QSP algorithm and compare the gate counts to those required for Trotter simulation.

quant-ph

Strategies for simulating time evolution of Hamiltonian lattice field theories

Simulating the time evolution of quantum field theories given some Hamiltonian $H$ requires developing algorithms for implementing the unitary operator e^{-iHt}. A variety of techniques exist that accomplish this task, with the most common technique used so far being Trotterization, which is a special case of the application of a product formula. However, other techniques exist that promise better asymptotic scaling in certain parameters of the theory being simulated, the most efficient of which are based on the concept of block encoding. In this work we study the performance of such algorithms in simulating lattice field theories. We derive and compare the asymptotic gate complexities of several commonly used simulation techniques in application to Hamiltonian Lattice Field Theories. Using the scalar ϕ^4 theory as a test, we also perform numerical studies and compare the gate costs required by Product Formulas and Signal Processing based techniques to simulate time evolution. For the latter, we use the the Linear Combination of Unitaries construction augmented with the Quantum Fourier Transform circuit to switch between the field and momentum eigenbases, which leads to immediate order-of-magnitude improvement in the cost of preparing the block encoding. The paper also includes a pedagogical review of utilized techniques, in particular Product Formulas, LCU, Qubitization, QSP, as well as a technique we call HHKL based on its inventors' names.

quant-ph

Nearly-optimal state preparation for quantum simulations of lattice gauge theories

We present several improvements to the recently developed ground state preparation algorithm based on the Quantum Eigenvalue Transformation for Unitary Matrices (QETU), apply this algorithm to a lattice formulation of U(1) gauge theory in 2+1D, as well as propose a novel application of QETU, a highly efficient preparation of Gaussian distributions. The QETU technique has been originally proposed as an algorithm for nearly-optimal ground state preparation and ground state energy estimation on early fault-tolerant devices. It uses the time-evolution input model, which can potentially overcome the large overall prefactor in the asymptotic gate cost arising in similar algorithms based on the Hamiltonian input model. We present modifications to the original QETU algorithm that significantly reduce the cost for the cases of both exact and Trotterized implementation of the time evolution circuit. We use QETU to prepare the ground state of a U(1) lattice gauge theory in 2 spatial dimensions, explore the dependence of computational resources on the desired precision and system parameters, and discuss the applicability of our results to general lattice gauge theories. We also demonstrate how the QETU technique can be utilized for preparing Gaussian distributions and wave packets in a way which outperforms existing algorithms for as little as $n_q \gtrsim 2-5$ qubits.

quant-ph

Methods for high-precision determinations of radiative-leptonic decay form factors using lattice QCD

We present a study of lattice-QCD methods to determine the relevant hadronic form factors for radiative leptonic decays of pseudoscalar mesons. We provide numerical results for $D_s^+ \to \ell^+ νγ$. Our calculation is performed using a domain-wall action for all quark flavors and on a single RBC/UKQCD lattice gauge-field ensemble. The first part of the study is how to best control two sources of systematic error inherent in the calculation, specifically the unwanted excited states created by the meson interpolating field, and unwanted exponentials in the sum over intermediate states. Using a 3d sequential propagator allows for better control over unwanted exponentials from intermediate states, while using a 4d sequential propagator allows for better control over excited states. We perform individual analyses of the 3d and 4d methods as well as a combined analysis using both methods, and find that the 3d sequential propagator offers good control over both sources of systematic uncertainties for the smallest number of propagator solves. From there, we further improve the use of a 3d sequential propagator by employing an infinite-volume approximation method, which allows us to calculate the relevant form factors over the entire allowed range of photon energies. We then study improvements gained by performing the calculation using a different three-point function, using ratios of three-point functions, averaging over positive and negative photon momentum, and using an improved method for extracting the structure-dependent part of the axial form factor. The optimal combination of methods yields results for the $D_s^+ \to \ell^+ νγ$ structure-dependent vector and axial form factors in the entire kinematic range with statistical plus fitting uncertainties of order 5%, using 25 gauge configurations with 64 samples per configuration.

hep-lat

Overcoming exponential volume scaling in quantum simulations of lattice gauge theories

Real-time evolution of quantum field theories using classical computers requires resources that scale exponentially with the number of lattice sites. Because of a fundamentally different computational strategy, quantum computers can in principle be used to perform detailed studies of these dynamics from first principles. Before performing such calculations, it is important to ensure that the quantum algorithms used do not have a cost that scales exponentially with the volume. In these proceedings, we present an interesting test case: a formulation of a compact U(1) gauge theory in 2+1 dimensions free of gauge redundancies. A naive implementation onto a quantum circuit has a gate count that scales exponentially with the volume. We discuss how to break this exponential scaling by performing an operator redefinition that reduces the non-locality of the Hamiltonian. While we study only one theory as a test case, it is possible that the exponential gate scaling will persist for formulations of other gauge theories, including non-Abelian theories in higher dimensions.

hep-lat