Ising Machines for Diophantine Problems in Physics
- URL: http://arxiv.org/abs/2206.09956v2
- Date: Tue, 19 Jul 2022 11:15:04 GMT
- Title: Ising Machines for Diophantine Problems in Physics
- Authors: Steven Abel and Luca A. Nutricati
- Abstract summary: We present methods to solve Diophantine problems on annealers based on the quadratic Ising Model.
We demonstrate the method on so-called Taxicab numbers, and on the realistic problem of anomaly cancellation in $U(1)$ extensions of the Standard Model.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Diophantine problems arise frequently in physics, in for example anomaly
cancellation conditions, string consistency conditions and so forth. We present
methods to solve such problems to high order on annealers that are based on the
quadratic Ising Model. This is the intrinsic framework for both quantum
annealing and for common forms of classical simulated annealing. We demonstrate
the method on so-called Taxicab numbers (discovering some apparently new ones),
and on the realistic problem of anomaly cancellation in $U(1)$ extensions of
the Standard Model.
Related papers
- Quantum Circuits for the heat equation with physical boundary conditions via Schrodingerisation [33.76659022113328]
This paper explores the explicit design of quantum circuits for quantum simulation of partial differential equations (PDEs) with physical boundary conditions.
We present two methods for handling the inhomogeneous terms arising from time-dependent physical boundary conditions.
We then apply the quantum simulation technique from [CJL23] to transform the resulting non-autonomous system to an autonomous system in one higher dimension.
arXiv Detail & Related papers (2024-07-22T03:52:14Z) - Revisiting astrophysical bounds on continuous spontaneous localization models [0.0]
We will revisit some astrophysical bounds previously found, and introduce new methods for testing the spontaneous heating in a variety of compact objects.
We will compare our different bounds and discuss the benefits and shortcomings of each one.
arXiv Detail & Related papers (2024-06-06T19:42:10Z) - Amorphous quantum magnets in a two-dimensional Rydberg atom array [44.99833362998488]
We propose to explore amorphous quantum magnets with an analog quantum simulator.
We first present an algorithm to generate amorphous quantum magnets, suitable for Rydberg simulators of the Ising model.
We then use semiclassical approaches to get a preliminary insight of the physics of the model.
arXiv Detail & Related papers (2024-02-05T10:07:10Z) - Convergence of Dynamics on Inductive Systems of Banach Spaces [68.8204255655161]
Examples are phase transitions in the thermodynamic limit, the emergence of classical mechanics from quantum theory at large action, and continuum quantum field theory arising from renormalization group fixed points.
We present a flexible modeling tool for the limit of theories: soft inductive limits constituting a generalization of inductive limits of Banach spaces.
arXiv Detail & Related papers (2023-06-28T09:52:20Z) - Simulating $\mathbb{Z}_2$ Lattice Gauge Theory with the Variational
Quantum Thermalizer [0.6165163123577484]
We apply a variational quantum algorithm to a low-dimensional model which has a local abelian gauge symmetry.
We demonstrate how this approach can be applied to obtain information regarding the phase diagram as well as unequal-time correlation functions at non-zero temperature.
arXiv Detail & Related papers (2023-06-09T17:32:37Z) - Robust Extraction of Thermal Observables from State Sampling and
Real-Time Dynamics on Quantum Computers [49.1574468325115]
We introduce a technique that imposes constraints on the density of states, most notably its non-negativity, and show that this way, we can reliably extract Boltzmann weights from noisy time series.
Our work enables the implementation of the time-series algorithm on present-day quantum computers to study finite temperature properties of many-body quantum systems.
arXiv Detail & Related papers (2023-05-30T18:00:05Z) - A Hybrid Classical-Quantum framework for solving Free Boundary Value
Problems and Applications in Modeling Electric Contact Phenomena [0.0]
In this paper we elaborate a hybrid classical-quantum framework which allows one to model and solve heat and mass transfer problems in electric contacts.
We utilize special functions and Harrow-Hassidim-Lloyd (HHL) quantum algorithm for finding temperature and arc flux functions exactly and approximately for the Stefan type problems.
arXiv Detail & Related papers (2022-05-04T00:54:40Z) - Fermionic approach to variational quantum simulation of Kitaev spin
models [50.92854230325576]
Kitaev spin models are well known for being exactly solvable in a certain parameter regime via a mapping to free fermions.
We use classical simulations to explore a novel variational ansatz that takes advantage of this fermionic representation.
We also comment on the implications of our results for simulating non-Abelian anyons on quantum computers.
arXiv Detail & Related papers (2022-04-11T18:00:01Z) - Q-FW: A Hybrid Classical-Quantum Frank-Wolfe for Quadratic Binary
Optimization [44.96576908957141]
We present a hybrid classical-quantum framework based on the Frank-Wolfe algorithm, Q-FW, for solving quadratic, linear iterations problems on quantum computers.
arXiv Detail & Related papers (2022-03-23T18:00:03Z) - Provable Adversarial Robustness in the Quantum Model [0.966840768820136]
We consider a model similar to the quantum PAC-learning model introduced by Bshouty and Jackson.
Our reduction guarantees that in order to solve the adversarial problem in our model it suffices to consider a single distance notion.
arXiv Detail & Related papers (2021-12-17T16:54:18Z) - Intrinsic sign problems in topological quantum field theories [1.605809929862042]
The sign problem is a widespread numerical hurdle preventing us from simulating the equilibrium behavior of various problems at the forefront of physics.
Focusing on an important sub-class of such problems, bosonic $(2+1)$-dimensional topological quantum field theories, here we provide a simple criterion to diagnose intrinsic sign problems.
Explicitly, textit if the exchange statistics of the anyonic excitations do not form complete sets of roots of unity, then the model has an intrinsic sign problem.
arXiv Detail & Related papers (2020-05-11T18:00:05Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.