-
Quantum search in a dictionary based on fingerprinting-hashing
Authors:
Farid Ablayev,
Nailya Salikhova,
Marat Ablayev
Abstract:
In this work, we present a quantum query algorithm for searching a word of length $m$ in an unsorted dictionary of size $n$. The algorithm uses $O(\sqrt{n})$ queries (Grover operators), like previously known algorithms.
What is new is that the algorithm is based on the quantum fingerprinting-hashing technique, which (a) provides a first level of amplitude amplification before applying the sequen…
▽ More
In this work, we present a quantum query algorithm for searching a word of length $m$ in an unsorted dictionary of size $n$. The algorithm uses $O(\sqrt{n})$ queries (Grover operators), like previously known algorithms.
What is new is that the algorithm is based on the quantum fingerprinting-hashing technique, which (a) provides a first level of amplitude amplification before applying the sequence of Grover amplitude amplification operators and (b) makes the algorithm more efficient in terms of memory use -- it requires $O(\log n + \log m)$ qubits.
Note that previously developed algorithms by other researchers without hashing require $O(\log n + m)$ qubits.
△ Less
Submitted 15 December, 2024;
originally announced December 2024.
-
Quantum-Assisted Blockchain
Authors:
D. Sapaev,
D. Bulychkov,
F. Ablayev,
A. Vasiliev,
M. Ziatdinov
Abstract:
Bitcoin and blockchain in general is a hot topic nowadays. In the paper we propose a quantum empowering of this technology and show how to speed-up the mining procedure using the modified Grover's algorithm.
Bitcoin and blockchain in general is a hot topic nowadays. In the paper we propose a quantum empowering of this technology and show how to speed-up the mining procedure using the modified Grover's algorithm.
△ Less
Submitted 29 March, 2018; v1 submitted 19 February, 2018;
originally announced February 2018.
-
Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test
Authors:
Farid Ablayev,
Andris Ambainis,
Kamil Khadiev,
AliyaKhadieva
Abstract:
We explore multi-round quantum memoryless communication protocols. These are restricted version of multi-round quantum communication protocols. The "memoryless" term means that players forget history from previous rounds, and their behavior is obtained only by input and message from the opposite player. The model is interesting because this allows us to get lower bounds for models like automata, O…
▽ More
We explore multi-round quantum memoryless communication protocols. These are restricted version of multi-round quantum communication protocols. The "memoryless" term means that players forget history from previous rounds, and their behavior is obtained only by input and message from the opposite player. The model is interesting because this allows us to get lower bounds for models like automata, Ordered Binary Decision Diagrams and streaming algorithms. At the same time, we can prove stronger results with this restriction. We present a lower bound for quantum memoryless protocols. Additionally, we show a lower bound for Disjointness function for this model. % As an application of communication complexity results, we consider Quantum Ordered Read-$k$-times Branching Programs ($k$-QOBDD). Our communication complexity result allows us to get lower bound for $k$-QOBDD and to prove hierarchies for sublinear width bounded error $k$-QOBDDs, where $k=o(\sqrt{n})$. Furthermore, we prove a hierarchy for polynomial size bounded error $k$-QOBDDs for constant $k$. This result differs from the situation with an unbounded error where it is known that an increase of $k$ does not give any advantage.
△ Less
Submitted 3 October, 2017; v1 submitted 15 March, 2017;
originally announced March 2017.
-
Very narrow quantum OBDDs and width hierarchies for classical OBDDs
Authors:
Farid Ablayev,
Aida Gainutdinova,
Kamil Khadiev,
Abuzer Yakarylmaz
Abstract:
We present several results on comparative complexity for different variants of OBDD models.
- We present some results on comparative complexity of classical and quantum OBDDs. We consider a partial function depending on parameter k such that for any k > 0 this function is computed by an exact quantum OBDD of width 2 but any classical OBDD (deterministic or stable bounded error probabilistic) nee…
▽ More
We present several results on comparative complexity for different variants of OBDD models.
- We present some results on comparative complexity of classical and quantum OBDDs. We consider a partial function depending on parameter k such that for any k > 0 this function is computed by an exact quantum OBDD of width 2 but any classical OBDD (deterministic or stable bounded error probabilistic) needs width 2k+1.
- We consider quantum and classical nondeterminism. We show that quantum nondeterminism can be more efficient than classical one. In particular, an explicit function is presented which is computed by a quantum nondeterministic OBDD with constant width but any classical nondeterministic OBDD for this function needs non-constant width.
- We also present new hierarchies on widths of deterministic and non-deterministic OBDDs. We focus both on small and large widths.
△ Less
Submitted 30 May, 2014;
originally announced May 2014.
-
Quantum Hashing via Classical $ε$-universal Hashing Constructions
Authors:
Farid Ablayev,
Marat Ablayev
Abstract:
In the paper, we define the concept of the quantum hash generator and offer design, which allows to build a large amount of different quantum hash functions. The construction is based on composition of classical $ε$-universal hash family and a given family of functions -- quantum hash generator.
The proposed construction combines the properties of robust presentation of information by classical…
▽ More
In the paper, we define the concept of the quantum hash generator and offer design, which allows to build a large amount of different quantum hash functions. The construction is based on composition of classical $ε$-universal hash family and a given family of functions -- quantum hash generator.
The proposed construction combines the properties of robust presentation of information by classical error-correcting codes together with the possibility of highly compressed presentation of information by quantum systems.
In particularly, we present quantum hash function based on Reed-Solomon code, and we proved, that this construction is optimal in the sense of number of qubits needed.
△ Less
Submitted 21 January, 2015; v1 submitted 5 April, 2014;
originally announced April 2014.
-
On Computational Power of Quantum Read-Once Branching Programs
Authors:
Farid Ablayev,
Alexander Vasiliev
Abstract:
In this paper we review our current results concerning the computational power of quantum read-once branching programs. First of all, based on the circuit presentation of quantum branching programs and our variant of quantum fingerprinting technique, we show that any Boolean function with linear polynomial presentation can be computed by a quantum read-once branching program using a relatively sma…
▽ More
In this paper we review our current results concerning the computational power of quantum read-once branching programs. First of all, based on the circuit presentation of quantum branching programs and our variant of quantum fingerprinting technique, we show that any Boolean function with linear polynomial presentation can be computed by a quantum read-once branching program using a relatively small (usually logarithmic in the size of input) number of qubits. Then we show that the described class of Boolean functions is closed under the polynomial projections.
△ Less
Submitted 14 March, 2011;
originally announced March 2011.
-
Proceedings CSR 2010 Workshop on High Productivity Computations
Authors:
Farid Ablayev,
Bob Coecke,
Alexander Vasiliev
Abstract:
This volume contains the proceedings of the Workshop on High Productivity Computations (HPC 2010) which took place on June 21-22 in Kazan, Russia. This workshop was held as a satellite workshop of the 5th International Computer Science Symposium in Russia (CSR 2010).
HPC 2010 was intended to organize the discussions about high productivity computing means and models, including but not limited to…
▽ More
This volume contains the proceedings of the Workshop on High Productivity Computations (HPC 2010) which took place on June 21-22 in Kazan, Russia. This workshop was held as a satellite workshop of the 5th International Computer Science Symposium in Russia (CSR 2010).
HPC 2010 was intended to organize the discussions about high productivity computing means and models, including but not limited to high performance and quantum information processing.
△ Less
Submitted 8 March, 2011;
originally announced March 2011.
-
Algorithms for Quantum Branching Programs Based on Fingerprinting
Authors:
Farid Ablayev,
Alexander Vasiliev
Abstract:
In the paper we develop a method for constructing quantum algorithms for computing Boolean functions by quantum ordered read-once branching programs (quantum OBDDs). Our method is based on fingerprinting technique and representation of Boolean functions by their characteristic polynomials. We use circuit notation for branching programs for desired algorithms presentation. For several known funct…
▽ More
In the paper we develop a method for constructing quantum algorithms for computing Boolean functions by quantum ordered read-once branching programs (quantum OBDDs). Our method is based on fingerprinting technique and representation of Boolean functions by their characteristic polynomials. We use circuit notation for branching programs for desired algorithms presentation. For several known functions our approach provides optimal QOBDDs. Namely we consider such functions as Equality, Palindrome, and Permutation Matrix Test. We also propose a generalization of our method and apply it to the Boolean variant of the Hidden Subgroup Problem.
△ Less
Submitted 12 November, 2009;
originally announced November 2009.
