-
Circuit Implementation and Analysis of a Quantum-Walk Based Search Complement Algorithm
Authors:
Allan Wing-Bocanegra,
Carlos E. Quintero-Narvaez,
Salvador E. Venegas-Andraca
Abstract:
We propose a modified version of the quantum walk-based search algorithm created by Shenvi, Kempe and Whaley, also known as the SKW algorithm. In our version of the algorithm, we modified the evolution operator of the system so that it is composed by the product of the shift operator associated to the $2^n$-complete graph with self-loops and a perturbed coin operator based on the Hadamard operator…
▽ More
We propose a modified version of the quantum walk-based search algorithm created by Shenvi, Kempe and Whaley, also known as the SKW algorithm. In our version of the algorithm, we modified the evolution operator of the system so that it is composed by the product of the shift operator associated to the $2^n$-complete graph with self-loops and a perturbed coin operator based on the Hadamard operator that works as an oracle for the search. The modified evolution operator leads the opposite behavior as in the original algorithm, that is, the probability to measure the target state is reduced. We call this new behavior the $\textit{search complement}$. Taking a multigraph and matrix approach, we were able to explain that the new algorithm decreases the probability of the target state given that there are less paths that lead towards the node that is associated to the target state in a Unitary Coined Discrete-Time Quantum Walk. The search complement algorithm was executed experimentally on IBM quantum processor $\textit{ibmq_manila}$ obtaining statistical distances $\ell_1\leq 0.0895$ when decreasing the probability of one state out of four.
△ Less
Submitted 28 May, 2024; v1 submitted 25 May, 2024;
originally announced May 2024.
-
Unitary Coined Discrete-Time Quantum Walks on Directed Multigraphs
Authors:
Allan Wing-Bocanegra,
Salvador E. Venegas-Andraca
Abstract:
Unitary Coined Discrete-Time Quantum Walks (UC-DTQW) constitute a universal model of quantum computation, meaning that any computation done by a general purpose quantum computer can either be done using the UC-DTQW framework. In the last decade,s great progress has been done in this field by develo** quantum walk-based algorithms that can outperform classical ones. However, current quantum compu…
▽ More
Unitary Coined Discrete-Time Quantum Walks (UC-DTQW) constitute a universal model of quantum computation, meaning that any computation done by a general purpose quantum computer can either be done using the UC-DTQW framework. In the last decade,s great progress has been done in this field by develo** quantum walk-based algorithms that can outperform classical ones. However, current quantum computers work based on the quantum circuit model of computation, and the general map** from one model to the other is still an open problem. In this work we provide a matrix analysis of the unitary evolution operator of UC-DTQW, which is composed at the time of two unitary operators: the shift and coin operators. We conceive the shift operator of the system as the unitary matrix form of the adjacency matrix associated to the graph on which the UC-DTQW takes place, and provide a set of equations to transform the latter into the former and vice-versa. However, this map** modifies the structure of the original graph into a directed multigraph, by splitting single edges or arcs of the original graph into multiple arcs. Thus, the fact that any unitary operator has a quantum circuit representation means that any adjacency matrix that complies with the transformation equations will be automatically associated to a quantum circuit, and any quantum circuit acting on a bipartite system will be always associated to a multigraph. Finally, we extend the definition of the coin operator to a superposition of coins in such a way that each coin acts on different vertices of the multigraph on which the quantum walk takes place, and provide a description of how this can be implemented in circuit form.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Circuit Implementation of Discrete-Time Quantum Walks via the Shunt Decomposition Method
Authors:
Allan Wing-Bocanegra,
Salvador E. Venegas-Andraca
Abstract:
Several models have been proposed to build evolution operators to perform quantum walks in a theoretical way, although when wanting to map the resulting evolution operators into quantum circuits to run them in quantum computers, it is often the case that the map** process is in fact complicated. Nevertheless, when the adjacency matrix of a graph can be decomposed into a sum of permutation matric…
▽ More
Several models have been proposed to build evolution operators to perform quantum walks in a theoretical way, although when wanting to map the resulting evolution operators into quantum circuits to run them in quantum computers, it is often the case that the map** process is in fact complicated. Nevertheless, when the adjacency matrix of a graph can be decomposed into a sum of permutation matrices, we can always build a shift operator for a quantum walk that has a block diagonal matrix representation. In this paper, we analyze the map** process of block diagonal operators into quantum circuit form, and apply this method to obtain quantum circuits that generate quantum walks on the most common topologies found in the literature: the straight line, the cyclic graph, the hypercube and the complete graph. The obtained circuits are then executed on quantum processors of the type Falcon r5.11L and Falcon r4T (two of each type) through IBM Quantum Composer platform and on the Qiskit Aer simulator, performing three steps for each topology. The resulting distributions were compared against analytical distributions, using the statistical distance $\ell_1$ as a performance metric. Regarding experimental executions, we obtained short $\ell_1$ distances in the cases of quantum circuits with a low amount of multi-control gates, being the quantum processors of the type Falcon r4T the ones that provided more accurate results.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Quantum-resistance in blockchain networks
Authors:
Marcos Allende,
Diego López León,
Sergio Cerón,
Antonio Leal,
Adrián Pareja,
Marcelo Da Silva,
Alejandro Pardo,
Duncan Jones,
David Worrall,
Ben Merriman,
Jonathan Gilmore,
Nick Kitchener,
Salvador E. Venegas-Andraca
Abstract:
This paper describes the work carried out by the Inter-American Development Bank, the IDB Lab, LACChain, Cambridge Quantum Computing (CQC), and Tecnologico de Monterrey to identify and eliminate quantum threats in blockchain networks.
The advent of quantum computing threatens internet protocols and blockchain networks because they utilize non-quantum resistant cryptographic algorithms. When quan…
▽ More
This paper describes the work carried out by the Inter-American Development Bank, the IDB Lab, LACChain, Cambridge Quantum Computing (CQC), and Tecnologico de Monterrey to identify and eliminate quantum threats in blockchain networks.
The advent of quantum computing threatens internet protocols and blockchain networks because they utilize non-quantum resistant cryptographic algorithms. When quantum computers become robust enough to run Shor's algorithm on a large scale, the most used asymmetric algorithms, utilized for digital signatures and message encryption, such as RSA, (EC)DSA, and (EC)DH, will be no longer secure. Quantum computers will be able to break them within a short period of time. Similarly, Grover's algorithm concedes a quadratic advantage for mining blocks in certain consensus protocols such as proof of work.
Today, there are hundreds of billions of dollars denominated in cryptocurrencies that rely on blockchain ledgers as well as the thousands of blockchain-based applications storing value in blockchain networks. Cryptocurrencies and blockchain-based applications require solutions that guarantee quantum resistance in order to preserve the integrity of data and assets in their public and immutable ledgers. We have designed and developed a layer-two solution to secure the exchange of information between blockchain nodes over the internet and introduced a second signature in transactions using post-quantum keys. Our versatile solution can be applied to any blockchain network. In our implementation, quantum entropy was provided via the IronBridge Platform from CQC and we used LACChain Besu as the blockchain network.
△ Less
Submitted 11 June, 2021;
originally announced June 2021.
-
Implementing Bilinear Interpolation on Quantum Images
Authors:
Fei Yan,
Shan Zhao,
Salvador E. Venegas-Andraca
Abstract:
In this paper, we present an interpolation scheme for FRQI images based on bilinear interpolation. To accomplish this, we formulated several quantum modules, i.e., assignment module, increment module, and quarter module, and suffused them into our proposed quantum image interpolation circuit. The concrete quantum circuits to accomplish up-scaling and down-scaling based on bilinear for FRQI images…
▽ More
In this paper, we present an interpolation scheme for FRQI images based on bilinear interpolation. To accomplish this, we formulated several quantum modules, i.e., assignment module, increment module, and quarter module, and suffused them into our proposed quantum image interpolation circuit. The concrete quantum circuits to accomplish up-scaling and down-scaling based on bilinear for FRQI images are designed and the network complexities of them are analyzed. Finally, to validate the proposed method, simulation experiments to enlarge and reduce the test images are executed, whose results are compared with the nearest neighbor interpolation for FRQI images. The up-scaled images by using proposed interpolation algorithm achieve satisfactory results, and both PSNR and SSIM values are better than those of the nearest neighbor method.
△ Less
Submitted 20 October, 2020;
originally announced October 2020.
-
A Critical and Moving-Forward View on Quantum Image Processing
Authors:
Fei Yan,
Salvador E. Venegas-Andraca,
Kaoru Hirota
Abstract:
Physics and computer science have a long tradition of cross-fertilization. One of the latest outcomes of this mutually beneficial relationship is quantum information science, which comprises the study of information processing tasks that can be accomplished using quantum mechanical systems. Quantum Image Processing (QIMP) is an emergent field of quantum information science whose main goal is to st…
▽ More
Physics and computer science have a long tradition of cross-fertilization. One of the latest outcomes of this mutually beneficial relationship is quantum information science, which comprises the study of information processing tasks that can be accomplished using quantum mechanical systems. Quantum Image Processing (QIMP) is an emergent field of quantum information science whose main goal is to strengthen our capacity for storing, processing, and retrieving visual information from images and video either by transitioning from digital to quantum paradigms or by complementing digital imaging with quantum techniques. The expectation is that harnessing the properties of quantum mechanical systems in QIMP will result in the realization of advanced technologies that will outperform, enhance or complement existing and upcoming digital technologies for image and video processing tasks.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
A cross-disciplinary introduction to quantum annealing-based algorithms
Authors:
Salvador E. Venegas-Andraca,
William Cruz-Santos,
Catherine McGeoch,
Marco Lanzagorta
Abstract:
A central goal in quantum computing is the development of quantum hardware and quantum algorithms in order to analyse challenging scientific and engineering problems. Research in quantum computation involves contributions from both physics and computer science, hence this article presents a concise introduction to basic concepts from both fields that are used in annealing-based quantum computation…
▽ More
A central goal in quantum computing is the development of quantum hardware and quantum algorithms in order to analyse challenging scientific and engineering problems. Research in quantum computation involves contributions from both physics and computer science, hence this article presents a concise introduction to basic concepts from both fields that are used in annealing-based quantum computation, an alternative to the more familiar quantum gate model.
We introduce some concepts from computer science required to define difficult computational problems and to realise the potential relevance of quantum algorithms to find novel solutions to those problems. We introduce the structure of quantum annealing-based algorithms as well as two examples of this kind of algorithms for solving instances of the max-SAT and Minimum Multicut problems. An overview of the quantum annealing systems manufactured by D-Wave Systems is also presented.
△ Less
Submitted 8 March, 2018;
originally announced March 2018.
-
Quantum Image Rotation by an arbitrary angle
Authors:
Fei Yan,
Kehan Chen,
Salvador E. Venegas-Andraca,
Jian** Zhao
Abstract:
In this paper, a novel method of quantum image rotation (QIR) based on shear transformations on NEQR quantum images is proposed. To compute the horizontal and vertical shear map**s required for rotation, we have designed quantum self-adder, quantum control multiplier, and quantum interpolation circuits as the basic computing units in the QIR implementation. Furthermore, we provide several exampl…
▽ More
In this paper, a novel method of quantum image rotation (QIR) based on shear transformations on NEQR quantum images is proposed. To compute the horizontal and vertical shear map**s required for rotation, we have designed quantum self-adder, quantum control multiplier, and quantum interpolation circuits as the basic computing units in the QIR implementation. Furthermore, we provide several examples of our results by presenting computer simulation experiments of QIR under $30^\circ$, $45^\circ$, and $60^\circ$ rotation scenarios and have a discussion onto the anti-aliasing and computational complexity of the proposed QIR method.
△ Less
Submitted 25 April, 2017;
originally announced April 2017.
-
Probability distributions for Markov chains based quantum walks
Authors:
Radhakrishnan Balu,
Chaobin Liu,
Salvador E. Venegas-Andraca
Abstract:
We analyze the probability distributions of the quantum walks induced from Markov chains by Szegedy (2004). The first part of this paper is devoted to the quantum walks induced from finite state Markov chains. It is shown that the probability distribution on the states of the underlying Markov chain is always convergent in the Cesaro sense. In particular, we deduce that the limiting distribution i…
▽ More
We analyze the probability distributions of the quantum walks induced from Markov chains by Szegedy (2004). The first part of this paper is devoted to the quantum walks induced from finite state Markov chains. It is shown that the probability distribution on the states of the underlying Markov chain is always convergent in the Cesaro sense. In particular, we deduce that the limiting distribution is uniform if the transition matrix is symmetric. In the cases of non-symmetric Markov chain, we exemplify that the limiting distribution of the quantum walk is not necessarily identical with the stationary distribution of the underlying irreducible Markov chain. The Szegedy scheme can be extended to infinite state Markov chains (random walks). In the second part, we formulate the quantum walk induced from a lazy random walk on the line. We then obtain the weak limit of the quantum walk. It is noted that the current quantum walk appears to spread faster than its counterpart-quantum walk on the line driven by the Grover coin discussed in literature. The paper closes with an outlook on possible future directions.
△ Less
Submitted 15 December, 2017; v1 submitted 12 March, 2017;
originally announced March 2017.
-
Quantum walks: a comprehensive review
Authors:
Salvador E. Venegas-Andraca
Abstract:
Quantum walks, the quantum mechanical counterpart of classical random walks, is an advanced tool for building quantum algorithms that has been recently shown to constitute a universal model of quantum computation. Quantum walks is now a solid field of research of quantum computation full of exciting open problems for physicists, computer scientists, mathematicians and engineers.
In this paper we…
▽ More
Quantum walks, the quantum mechanical counterpart of classical random walks, is an advanced tool for building quantum algorithms that has been recently shown to constitute a universal model of quantum computation. Quantum walks is now a solid field of research of quantum computation full of exciting open problems for physicists, computer scientists, mathematicians and engineers.
In this paper we review theoretical advances on the foundations of both discrete- and continuous-time quantum walks, together with the role that randomness plays in quantum walks, the connections between the mathematical models of coined discrete quantum walks and continuous quantum walks, the quantumness of quantum walks, a summary of papers published on discrete quantum walks and entanglement as well as a succinct review of experimental proposals and realizations of discrete-time quantum walks. Furthermore, we have reviewed several algorithms based on both discrete- and continuous-time quantum walks as well as a most important result: the computational universality of both continuous- and discrete- time quantum walks.
△ Less
Submitted 27 July, 2012; v1 submitted 23 January, 2012;
originally announced January 2012.
-
Classical Simulation of Quantum Adiabatic Algorithms using Mathematica on GPUs
Authors:
Sandra Díaz-Pier,
Salvador E. Venegas-Andraca,
José Luis Gómez-Muñoz
Abstract:
In this paper we present a simulation environment enhanced with parallel processing which can be used on personal computers, based on a high-level user interface developed on Mathematica©which is connected to C++ code in order to make our platform capable of communicating with a Graphics Processing Unit. We introduce the reader to the behavior of our proposal by simulating a quantum adiabatic algo…
▽ More
In this paper we present a simulation environment enhanced with parallel processing which can be used on personal computers, based on a high-level user interface developed on Mathematica©which is connected to C++ code in order to make our platform capable of communicating with a Graphics Processing Unit. We introduce the reader to the behavior of our proposal by simulating a quantum adiabatic algorithm designed for solving hard instances of the 3-SAT problem. We show that our simulator is capable of significantly increasing the number of qubits that can be simulated using classical hardware. Finally, we present a review of currently available classical simulators of quantum systems together with some justifications, based on our willingness to further understand processing properties of Nature, for devoting resources to building more powerful simulators.
△ Less
Submitted 7 March, 2011;
originally announced March 2011.
-
Physics and computer science: quantum computation and other approaches
Authors:
Salvador E. Venegas-Andraca
Abstract:
This is a position paper written as an introduction to the special volume on quantum algorithms I edited for the journal Mathematical Structures in Computer Science (Volume 20 - Special Issue 06 (Quantum Algorithms), 2010).
This is a position paper written as an introduction to the special volume on quantum algorithms I edited for the journal Mathematical Structures in Computer Science (Volume 20 - Special Issue 06 (Quantum Algorithms), 2010).
△ Less
Submitted 7 March, 2011;
originally announced March 2011.
-
Quantum Walk-based Generation of Entanglement Between Two Walkers
Authors:
Salvador E. Venegas-Andraca,
Sougato Bose
Abstract:
Quantum walks can be used either as tools for quantum algorithm development or as entanglement generators, potentially useful to test quantum hardware. We present a novel algorithm based on a discrete Hadamard quantum walk on a line with one coin and two walkers whose purpose is to generate entanglement between walkers. We provide several classical computer simulations of our quantum algorithm i…
▽ More
Quantum walks can be used either as tools for quantum algorithm development or as entanglement generators, potentially useful to test quantum hardware. We present a novel algorithm based on a discrete Hadamard quantum walk on a line with one coin and two walkers whose purpose is to generate entanglement between walkers. We provide several classical computer simulations of our quantum algorithm in which we show that, although the asymptotical amount of entanglement generated between walkers does not reach the highest degree of entanglement possible at each step for either coin measurement outcome, the entanglement ratio (entanglement generated/highest value of entanglement possible, for each step) tends to converge, and the actual convergence value depends on the coin initial state and on the coin measurement outcome. Furthermore, our numerical simulations show that, for the quantum walks used in our algorithm, the value towards which entanglement ratio converges also depends on the position probability distribution symmetry of a quantum walk computed with one single walker and the same coin initial state employed in the corresponding quantum walk with two walkers.
△ Less
Submitted 25 January, 2009;
originally announced January 2009.
-
A study of heuristic guesses for adiabatic quantum computation
Authors:
Alejandro Perdomo,
Salvador E. Venegas-Andraca,
Alán Aspuru-Guzik
Abstract:
Adiabatic quantum computation (AQC) is a universal model for quantum computation which seeks to transform the initial ground state of a quantum system into a final ground state encoding the answer to a computational problem. AQC initial Hamiltonians conventionally have a uniform superposition as ground state. We diverge from this practice by introducing a simple form of heuristics: the ability t…
▽ More
Adiabatic quantum computation (AQC) is a universal model for quantum computation which seeks to transform the initial ground state of a quantum system into a final ground state encoding the answer to a computational problem. AQC initial Hamiltonians conventionally have a uniform superposition as ground state. We diverge from this practice by introducing a simple form of heuristics: the ability to start the quantum evolution with a state which is a guess to the solution of the problem. With this goal in mind, we explain the viability of this approach and the needed modifications to the conventional AQC (CAQC) algorithm. By performing a numerical study on hard-to-satisfy 6 and 7 bit random instances of the satisfiability problem (3-SAT), we show how this heuristic approach is possible and we identify that the performance of the particular algorithm proposed is largely determined by the Hamming distance of the chosen initial guess state with respect to the solution. Besides the possibility of introducing educated guesses as initial states, the new strategy allows for the possibility of restarting a failed adiabatic process from the measured excited state as opposed to restarting from the full superposition of states as in CAQC. The outcome of the measurement can be used as a more refined guess state to restart the adiabatic evolution. This concatenated restart process is another heuristic that the CAQC strategy cannot capture.
△ Less
Submitted 29 January, 2010; v1 submitted 2 July, 2008;
originally announced July 2008.
-
Quantum Walks with Entangled Coins
Authors:
S. E. Venegas-Andraca,
J. L. Ball,
K. Burnett,
S. Bose
Abstract:
We present a mathematical formalism for the description of unrestricted quantum walks with entangled coins and one walker. The numerical behaviour of such walks is examined when using a Bell state as the initial coin state, two different coin operators, two different shift operators, and one walker. We compare and contrast the performance of these quantum walks with that of a classical random wa…
▽ More
We present a mathematical formalism for the description of unrestricted quantum walks with entangled coins and one walker. The numerical behaviour of such walks is examined when using a Bell state as the initial coin state, two different coin operators, two different shift operators, and one walker. We compare and contrast the performance of these quantum walks with that of a classical random walk consisting of one walker and two maximally correlated coins as well as quantum walks with coins sharing different degrees of entanglement.
We illustrate that the behaviour of our walk with entangled coins can be very different in comparison to the usual quantum walk with a single coin. We also demonstrate that simply by changing the shift operator, we can generate widely different distributions. We also compare the behaviour of quantum walks with maximally entangled coins with that of quantum walks with non-entangled coins. Finally, we show that the use of different shift operators on 2 and 3 qubit coins leads to different position probability distributions in 1 and 2 dimensional graphs.
△ Less
Submitted 17 October, 2005; v1 submitted 19 November, 2004;
originally announced November 2004.
-
Quantum Adaptive Protocol and its Application in Image Storage and Retrieval
Authors:
S. E. Venegas-Andraca,
S. Bose
Abstract:
This paper has been temporarily withdrawn by the authors.
This paper has been temporarily withdrawn by the authors.
△ Less
Submitted 25 October, 2004; v1 submitted 20 June, 2004;
originally announced June 2004.
-
Storing Images in Entangled Quantum Systems
Authors:
S. E. Venegas-Andraca,
J. L. Ball
Abstract:
We introduce a new method of storing visual information in Quantum Mechanical systems which has certain advantages over more restricted classical memory devices. To do this we employ uniquely Quantum Mechanical properties such as Entanglement in order to store information concerning the position and shape of simple objects.
We introduce a new method of storing visual information in Quantum Mechanical systems which has certain advantages over more restricted classical memory devices. To do this we employ uniquely Quantum Mechanical properties such as Entanglement in order to store information concerning the position and shape of simple objects.
△ Less
Submitted 12 February, 2004;
originally announced February 2004.