Achieving quantum advantage in a search for a violations of the Goldbach conjecture, with driven atoms in tailored potentials

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Marchukov, Oleksandr V., Trombettoni, Andrea, Mussardo, Giuseppe, Olshanii, Maxim
Format: Preprint
Veröffentlicht: 2024
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866908617366568960
author Marchukov, Oleksandr V.
Trombettoni, Andrea
Mussardo, Giuseppe
Olshanii, Maxim
author_facet Marchukov, Oleksandr V.
Trombettoni, Andrea
Mussardo, Giuseppe
Olshanii, Maxim
contents The famous Goldbach conjecture states that any even natural number $N$ greater than $2$ can be written as the sum of two prime numbers $p^{\text{(I)}}$ and $p^{\text{(II)}}$. In this article we propose a quantum analogue device that solves the following problem: given a small prime $p^{\text{(I)}}$, identify a member $N$ of a $\mathcal{N}$-strong set even numbers for which $N-p^{\text{(I)}}$ is also a prime. A table of suitable large primes $p^{\text{(II)}}$ is assumed to be known a priori. The device realizes the Grover quantum search protocol and as such ensures a $\sqrt{\mathcal{N}}$ quantum advantage. Our numerical example involves a set of 51 even numbers just above the highest even classical-numerically explored so far [T. O. e Silva, S. Herzog, and S. Pardi, Mathematics of Computation {\bf 83}, 2033 (2013)]. For a given small prime number $p^{\text{(I)}}=223$, it took our quantum algorithm 5 steps to identify the number $N=4\times 10^{18}+14$ as featuring a Goldbach partition involving $223$ and another prime, namely $p^{\text{(II)}}=4\times 10^{18}-239$. Currently, our algorithm limits the number of evens to be tested simultaneously to $\mathcal{N} \sim \ln(N)$: larger samples will typically contain more than one even that can be partitioned with the help of a given $p^{\text{(I)}}$, thus leading to a departure from the Grover paradigm.
format Preprint
id arxiv_https___arxiv_org_abs_2404_00517
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Achieving quantum advantage in a search for a violations of the Goldbach conjecture, with driven atoms in tailored potentials
Marchukov, Oleksandr V.
Trombettoni, Andrea
Mussardo, Giuseppe
Olshanii, Maxim
Quantum Physics
Quantum Gases
The famous Goldbach conjecture states that any even natural number $N$ greater than $2$ can be written as the sum of two prime numbers $p^{\text{(I)}}$ and $p^{\text{(II)}}$. In this article we propose a quantum analogue device that solves the following problem: given a small prime $p^{\text{(I)}}$, identify a member $N$ of a $\mathcal{N}$-strong set even numbers for which $N-p^{\text{(I)}}$ is also a prime. A table of suitable large primes $p^{\text{(II)}}$ is assumed to be known a priori. The device realizes the Grover quantum search protocol and as such ensures a $\sqrt{\mathcal{N}}$ quantum advantage. Our numerical example involves a set of 51 even numbers just above the highest even classical-numerically explored so far [T. O. e Silva, S. Herzog, and S. Pardi, Mathematics of Computation {\bf 83}, 2033 (2013)]. For a given small prime number $p^{\text{(I)}}=223$, it took our quantum algorithm 5 steps to identify the number $N=4\times 10^{18}+14$ as featuring a Goldbach partition involving $223$ and another prime, namely $p^{\text{(II)}}=4\times 10^{18}-239$. Currently, our algorithm limits the number of evens to be tested simultaneously to $\mathcal{N} \sim \ln(N)$: larger samples will typically contain more than one even that can be partitioned with the help of a given $p^{\text{(I)}}$, thus leading to a departure from the Grover paradigm.
title Achieving quantum advantage in a search for a violations of the Goldbach conjecture, with driven atoms in tailored potentials
topic Quantum Physics
Quantum Gases
url https://arxiv.org/abs/2404.00517