Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Generalization of the Bernstein-Vazirani Algorithm Beyond Qubit Systems

Koji Nagata, Tadao Nakamura, Shahrokh Heidari, Ahmed Farouk, Do Ngoc Diep

Published Sep 1, 2018• 0 citations
OpenAlex

Abstract

First, we review the Bernstein-Vazirani algorithm for determining a bit string. Next, we discuss the generalized Bernstein-Vazirani algorithm for determining a natural number string. Finally, we discuss the generalized Bernstein-Vazirani algorithm for determining an integer string. All of the generalized algorithms presented here have the following structure. Given the set of real values $\{a_1,a_2,a_3,\ldots,a_N\}$ and a special function $g$, we determine $N$ values of the function $g(a_1),g(a_2),g(a_3),\ldots, g(a_N)$ simultaneously. The speed of determining the strings is shown to outperform the best classical case by a factor of $N$ in every case.

Related papers

The Generalized Bernstein-Vazirani Algorithm for Determining an Integer String

Koji Nagata, Tadao Nakamura, Han J.F. Geurdes +3 more

We present the generalized Bernstein-Vazirani algorithm for determining a restricted integer string. Given the set of real values $\{a_1,a_2,a_3,\ldots,a_N\}$ and a function $g:{\bf R}\rightarrow {\bf Z}$, we shall determine the following values $\{g(a_1),g(a_2),g(a_3),\ldots, g(a_N)\}$ simultaneously. The speed of determining the values is shown to outperform the classical case by a factor of $N$. The method determines the maximum of and the minimum of the function $g$ that the finite domain is $\{a_1,a_2,a_3,\ldots,a_N\}$.

•Mar 1, 2018•0 citations

Generalization of the Bernstein-Vazirani Algorithm

Koji Nagata, Tadao Nakamura

We present generalization of the Bernstein-Vazirani algorithm. Suppose there are many natural numbers: $a_1,a_2,a_3,\ldots,a_N$. Here, we introduce a function: $ g:{\bf N}\rightarrow \{0,1\}. $ Our goal is to determine the following values simultaneously: $ g(a_1),g(a_2),g(a_3),\ldots, g(a_N). $ The speed to determine $N$ values improves by a factor of $N$ by comparing the classical case. We obtain the Bernstein-Vazirani algorithm when $g:a_i\rightarrow a_i$.

•Aug 1, 2016•3 citations

A Method of Computing Many Functions Simultaneously by Using Many Parallel Quantum Systems

Koji Nagata, Germano Resconi, Tadao Nakamura +4 more

We suggest a method of computing many functions in the same time by using many parallel quantum systems. We use the Bernstein-Vazirani algorithm. Given the set of real values $\{a_1,a_2,a_3,\ldots,a_N\}$, and the function $g:{\bf R}\rightarrow \{0,1\}$, we shall determine the following values $\{g(a_1),g(a_2),g(a_3),\ldots, g(a_N)\}$ simultaneously. By using $M$ parallel quantum systems, we can compute $M$ functions $g^1,g^2,...,g^M$ simultaneously. The speed of determining the $N\times M$ values will be shown to outperform the classical case by a factor of $N$.

•Apr 1, 2017•1 citation

A Generalization of Bernstein-Vazirani Algorithm to Qudit Systems

R Narayanan Krishna, Vishesh Makwana, Ananda Padhmanabhan Suresh

A quantum algorithm to solve the parity problem is better than its most efficient classical counter- part with a separation that is polynomial in the number of queries. This was shown by E. Bernstein and U. Vazirani and was one of the earliest indications that the quantum information processing can outperform the classical one by a significant margin. The problem and its solution both is usually stated for a 2-level system since we generally work with bits/qubits. However, many works have been done generalizing known quantum computing techniques to higher level systems. Following this, we look at a generalization of the Bernstein-Vazirani algorithm implemented on a general qudit system.

arXiv:1609.03185•Sep 11, 2016•5 citations

Quantum Algorithm Determining a Homogeneous Linear Function

Koji Nagata, Tadao Nakamura, Han J.F. Geurdes +4 more

We present a method of fast determining a homogeneous linear function $f(x):= s.x=s_1x_1+ s_2x_2+\dots+s_Nx_N$ from $\{0,1,\dots,d-1\}^N$ with coefficients $s=(s_1,\dots,s_N)$. Here $x=(x_1,\dots,x_N)$ and $x_j\in{\bf R}$. Given the interpolation values $(f(1), f(2),...,f(N))=\vec{y}$, we shall determine the unknown coefficients $s = (s_1(\vec{y}),\dots, s_N(\vec{y}))$ of the linear function, simultaneously. The speed of determining the values is shown to outperform the classical case by a factor of $N$. Our method is based on the generalized Bernstein-Vazirani algorithm \cite{BVG} to qudit systems \cite{BVD}.

•Sep 1, 2017•0 citations

Quantum Search With Generalized Wildcards

Arjan Cornelissen, Nikhil S. Mande, Subhasree Patro +2 more

In the search with wildcards problem [Ambainis, Montanaro, Quantum Inf.~Comput.'14], one's goal is to learn an unknown bit-string $x \in \{-1,1\}^n$. An algorithm may, at unit cost, test equality of any subset of the hidden string with a string of its choice. Ambainis and Montanaro showed a quantum algorithm of cost $O(\sqrt{n} \log n)$ and a near-matching lower bound of $Ω(\sqrt{n})$. Belovs [Comput.~Comp.'15] subsequently showed a tight $O(\sqrt{n})$ upper bound. We consider a natural generalization of this problem, parametrized by a subset $\cal{Q} \subseteq 2^{[n]}$, where an algorithm may test whether $x_S = b$ for an arbitrary $S \in \cal{Q}$ and $b \in \{-1,1\}^S$ of its choice, at unit cost. We show near-tight bounds when $\cal{Q}$ is any of the following collections: bounded-size sets, contiguous blocks, prefixes, and only the full set. All of these results are derived using a framework that we develop. Using symmetries of the task at hand we show that the quantum query complexity of learning $x$ is characterized, up to a constant factor, by an optimization program, which is succinctly described as follows: `maximize over all odd functions $f : \{-1,1\}^n \to \mathbb{R}$ the ratio of the maximum value of $f$ to the maximum (over $T \in \cal{Q}$) standard deviation of $f$ on a subcube whose free variables are exactly $T$.' To the best of our knowledge, ours is the first work to use the primal version of the negative-weight adversary bound (which is a maximization program typically used to show lower bounds) to show new quantum query upper bounds without explicitly resorting to SDP duality.

quant-pharXiv:2511.04669•Leibniz international proceedings in informatics•Nov 7, 2025•0 citations
First, we review the Bernstein-Vazirani algorithm for determining a bit string. Next, we discuss the generalized Bernstein-Vazirani algorithm for determining a natural number string. Finally, we discuss the generalized Bernstein-Vazirani algorithm for determining an integer string. All of the generalized algorithms presented here have the following structure. Given the set of real values {a1,a2,a3,…,aN}\{a_1,a_2,a_3,\ldots,a_N\}{a1​,a2​,a3​,…,aN​} and a special function ggg, we determine NNN values of the function g(a1),g(a2),g(a3),…,g(aN)g(a_1),g(a_2),g(a_3),\ldots, g(a_N)g(a1​),g(a2​),g(a3​),…,g(aN​) simultaneously. The speed of determining the strings is shown to outperform the best classical case by a factor of NNN in every case.
We present the generalized Bernstein-Vazirani algorithm for determining a restricted integer string. Given the set of real values {a1,a2,a3,…,aN}\{a_1,a_2,a_3,\ldots,a_N\}{a1​,a2​,a3​,…,aN​} and a function g:R→Zg:{\bf R}\rightarrow {\bf Z}g:R→Z, we shall determine the following values {g(a1),g(a2),g(a3),…,g(aN)}\{g(a_1),g(a_2),g(a_3),\ldots, g(a_N)\}{g(a1​),g(a2​),g(a3​),…,g(aN​)} simultaneously. The speed of determining the values is shown to outperform the classical case by a factor of NNN. The method determines the maximum of and the minimum of the function ggg that the finite domain is {a1,a2,a3,…,aN}\{a_1,a_2,a_3,\ldots,a_N\}{a1​,a2​,a3​,…,aN​}.
We present generalization of the Bernstein-Vazirani algorithm. Suppose there are many natural numbers: a1,a2,a3,…,aNa_1,a_2,a_3,\ldots,a_Na1​,a2​,a3​,…,aN​. Here, we introduce a function: $ g:{\bf N}\rightarrow \{0,1\}. $ Our goal is to determine the following values simultaneously: $ g(a_1),g(a_2),g(a_3),\ldots, g(a_N). $ The speed to determine NNN values improves by a factor of NNN by comparing the classical case. We obtain the Bernstein-Vazirani algorithm when g:ai→aig:a_i\rightarrow a_ig:ai​→ai​.
We suggest a method of computing many functions in the same time by using many parallel quantum systems. We use the Bernstein-Vazirani algorithm. Given the set of real values {a1,a2,a3,…,aN}\{a_1,a_2,a_3,\ldots,a_N\}{a1​,a2​,a3​,…,aN​}, and the function g:R→{0,1}g:{\bf R}\rightarrow \{0,1\}g:R→{0,1}, we shall determine the following values {g(a1),g(a2),g(a3),…,g(aN)}\{g(a_1),g(a_2),g(a_3),\ldots, g(a_N)\}{g(a1​),g(a2​),g(a3​),…,g(aN​)} simultaneously. By using MMM parallel quantum systems, we can compute MMM functions g1,g2,...,gMg^1,g^2,...,g^Mg1,g2,...,gM simultaneously. The speed of determining the N×MN\times MN×M values will be shown to outperform the classical case by a factor of NNN.
A quantum algorithm to solve the parity problem is better than its most efficient classical counter- part with a separation that is polynomial in the number of queries. This was shown by E. Bernstein and U. Vazirani and was one of the earliest indications that the quantum information processing can outperform the classical one by a significant margin. The problem and its solution both is usually stated for a 2-level system since we generally work with bits/qubits. However, many works have been done generalizing known quantum computing techniques to higher level systems. Following this, we look at a generalization of the Bernstein-Vazirani algorithm implemented on a general qudit system.
We present a method of fast determining a homogeneous linear function f(x):=s.x=s1x1+s2x2+⋯+sNxNf(x):= s.x=s_1x_1+ s_2x_2+\dots+s_Nx_Nf(x):=s.x=s1​x1​+s2​x2​+⋯+sN​xN​ from {0,1,…,d−1}N\{0,1,\dots,d-1\}^N{0,1,…,d−1}N with coefficients s=(s1,…,sN)s=(s_1,\dots,s_N)s=(s1​,…,sN​). Here x=(x1,…,xN)x=(x_1,\dots,x_N)x=(x1​,…,xN​) and xj∈Rx_j\in{\bf R}xj​∈R. Given the interpolation values (f(1),f(2),...,f(N))=y⃗(f(1), f(2),...,f(N))=\vec{y}(f(1),f(2),...,f(N))=y​, we shall determine the unknown coefficients s=(s1(y⃗),…,sN(y⃗))s = (s_1(\vec{y}),\dots, s_N(\vec{y}))s=(s1​(y​),…,sN​(y​)) of the linear function, simultaneously. The speed of determining the values is shown to outperform the classical case by a factor of NNN. Our method is based on the generalized Bernstein-Vazirani algorithm \cite{BVG} to qudit systems \cite{BVD}.
In the search with wildcards problem [Ambainis, Montanaro, Quantum Inf.~Comput.'14], one's goal is to learn an unknown bit-string x∈{−1,1}nx \in \{-1,1\}^nx∈{−1,1}n. An algorithm may, at unit cost, test equality of any subset of the hidden string with a string of its choice. Ambainis and Montanaro showed a quantum algorithm of cost O(nlog⁡n)O(\sqrt{n} \log n)O(n​logn) and a near-matching lower bound of Ω(n)Ω(\sqrt{n})Ω(n​). Belovs [Comput.~Comp.'15] subsequently showed a tight O(n)O(\sqrt{n})O(n​) upper bound. We consider a natural generalization of this problem, parametrized by a subset Q⊆2[n]\cal{Q} \subseteq 2^{[n]}Q⊆2[n], where an algorithm may test whether xS=bx_S = bxS​=b for an arbitrary S∈QS \in \cal{Q}S∈Q and b∈{−1,1}Sb \in \{-1,1\}^Sb∈{−1,1}S of its choice, at unit cost. We show near-tight bounds when Q\cal{Q}Q is any of the following collections: bounded-size sets, contiguous blocks, prefixes, and only the full set. All of these results are derived using a framework that we develop. Using symmetries of the task at hand we show that the quantum query complexity of learning xxx is characterized, up to a constant factor, by an optimization program, which is succinctly described as follows: `maximize over all odd functions f:{−1,1}n→Rf : \{-1,1\}^n \to \mathbb{R}f:{−1,1}n→R the ratio of the maximum value of fff to the maximum (over T∈QT \in \cal{Q}T∈Q) standard deviation of fff on a subcube whose free variables are exactly TTT.' To the best of our knowledge, ours is the first work to use the primal version of the negative-weight adversary bound (which is a maximization program typically used to show lower bounds) to show new quantum query upper bounds without explicitly resorting to SDP duality.