-
Quantum Search on Bipartite Multigraphs
Authors:
Gustavo Alves Bezerra,
Andris Ambainis,
Renato Portugal
Abstract:
Quantum walks provide a powerful framework for achieving algorithmic speedup in quantum computing. This paper presents a quantum search algorithm for 2-tessellable graphs, a generalization of bipartite graphs, achieving a quadratic speedup over classical Markov chain-based search methods. Our approach employs an adapted version of the Szegedy quantum walk model (adapted SzQW), which takes place on…
▽ More
Quantum walks provide a powerful framework for achieving algorithmic speedup in quantum computing. This paper presents a quantum search algorithm for 2-tessellable graphs, a generalization of bipartite graphs, achieving a quadratic speedup over classical Markov chain-based search methods. Our approach employs an adapted version of the Szegedy quantum walk model (adapted SzQW), which takes place on bipartite graphs, and an adapted version of Staggered Quantum Walks (Adapted StQW), which takes place on 2-tessellable graphs, with the goal of efficiently finding a marked vertex by querying an oracle. The Ambainis, Gilyén, Jeffery, and Kokainis' algorithm (AGJK), which provides a quadratic speedup on balanced bipartite graphs, is used as a subroutine in our algorithm. Our approach generalizes existing quantum walk techniques and offers a quadratic speedup in the number of queries needed, demonstrating the utility of our adapted quantum walk models in a broader class of graphs.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Single-Qudit Quantum Neural Networks for Multiclass Classification
Authors:
Leandro C. Souza,
Renato Portugal
Abstract:
This paper proposes a single-qudit quantum neural network for multiclass classification, by using the enhanced representational capacity of high-dimensional qudit states. Our design employs an $d$-dimensional unitary operator, where $d$ corresponds to the number of classes, constructed using the Cayley transform of a skew-symmetric matrix, to efficiently encode and process class information. This…
▽ More
This paper proposes a single-qudit quantum neural network for multiclass classification, by using the enhanced representational capacity of high-dimensional qudit states. Our design employs an $d$-dimensional unitary operator, where $d$ corresponds to the number of classes, constructed using the Cayley transform of a skew-symmetric matrix, to efficiently encode and process class information. This architecture enables a direct mapping between class labels and quantum measurement outcomes, reducing circuit depth and computational overhead. To optimize network parameters, we introduce a hybrid training approach that combines an extended activation function -- derived from a truncated multivariable Taylor series expansion -- with support vector machine optimization for weight determination. We evaluate our model on the MNIST and EMNIST datasets, demonstrating competitive accuracy while maintaining a compact single-qudit quantum circuit. Our findings highlight the potential of qudit-based QNNs as scalable alternatives to classical deep learning models, particularly for multiclass classification. However, practical implementation remains constrained by current quantum hardware limitations. This research advances quantum machine learning by demonstrating the feasibility of higher-dimensional quantum systems for efficient learning tasks.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Regression and Classification with Single-Qubit Quantum Neural Networks
Authors:
Leandro C. Souza,
Bruno C. Guingo,
Gilson Giraldi,
Renato Portugal
Abstract:
Since classical machine learning has become a powerful tool for developing data-driven algorithms, quantum machine learning is expected to similarly impact the development of quantum algorithms. The literature reflects a mutually beneficial relationship between machine learning and quantum computing, where progress in one field frequently drives improvements in the other. Motivated by the fertile…
▽ More
Since classical machine learning has become a powerful tool for developing data-driven algorithms, quantum machine learning is expected to similarly impact the development of quantum algorithms. The literature reflects a mutually beneficial relationship between machine learning and quantum computing, where progress in one field frequently drives improvements in the other. Motivated by the fertile connection between machine learning and quantum computing enabled by parameterized quantum circuits, we use a resource-efficient and scalable Single-Qubit Quantum Neural Network (SQQNN) for both regression and classification tasks. The SQQNN leverages parameterized single-qubit unitary operators and quantum measurements to achieve efficient learning. To train the model, we use gradient descent for regression tasks. For classification, we introduce a novel training method inspired by the Taylor series, which can efficiently find a global minimum in a single step. This approach significantly accelerates training compared to iterative methods. Evaluated across various applications, the SQQNN exhibits virtually error-free and strong performance in regression and classification tasks, including the MNIST dataset. These results demonstrate the versatility, scalability, and suitability of the SQQNN for deployment on near-term quantum devices.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
Hiperwalk: Simulation of Quantum Walks with Heterogeneous High-Performance Computing
Authors:
Paulo Motta,
Gustavo A. Bezerra,
Anderson F. P. Santos,
Renato Portugal
Abstract:
The Hiperwalk package is designed to facilitate the simulation of quantum walks using heterogeneous high-performance computing, taking advantage of the parallel processing power of diverse processors such as CPUs, GPUs, and acceleration cards. This package enables the simulation of both the continuous-time and discrete-time quantum walk models, effectively modeling the behavior of quantum systems…
▽ More
The Hiperwalk package is designed to facilitate the simulation of quantum walks using heterogeneous high-performance computing, taking advantage of the parallel processing power of diverse processors such as CPUs, GPUs, and acceleration cards. This package enables the simulation of both the continuous-time and discrete-time quantum walk models, effectively modeling the behavior of quantum systems on large graphs. Hiperwalk features a user-friendly Python package frontend with comprehensive documentation, as well as a high-performance C-based inner core that leverages parallel computing for efficient linear algebra calculations. This versatile tool empowers researchers to better understand quantum walk behavior, optimize implementation, and explore a wide range of potential applications, including spatial search algorithms.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Sensitivity of quantum walk to phase reversal and geometric perturbations: an exploration in complete graphs
Authors:
Taisuke Hosaka,
Renato Portugal,
Etsuo Segawa
Abstract:
In this paper, we analyze the dynamics of quantum walks on a graph structure resulting from the integration of a main connected graph $G$ and a secondary connected graph $G'$. This composite graph is formed by a disjoint union of $G$ and $G'$, followed by the contraction of a selected pair of vertices creating a cut vertex $v^*$ and leading to a unique form of geometric perturbation. Our study foc…
▽ More
In this paper, we analyze the dynamics of quantum walks on a graph structure resulting from the integration of a main connected graph $G$ and a secondary connected graph $G'$. This composite graph is formed by a disjoint union of $G$ and $G'$, followed by the contraction of a selected pair of vertices creating a cut vertex $v^*$ and leading to a unique form of geometric perturbation. Our study focuses on instances where $G$ is a complete graph $K_N$ and $G'$ is a star graph $S_m$. The core of our analysis lies in exploring the impact of this geometric perturbation on the success probability of quantum walk-based search algorithms, particularly in an oracle-free context. Despite initial findings suggesting a low probability of locating the perturbed vertex $v^*$, we demonstrate that introducing a phase reversal to the system significantly enhances the success rate. Our results reveal that with an optimal running time and specific parameter conditions, the success probability can be substantially increased. The paper is structured to first define the theoretical framework, followed by the presentation of our main results, detailed proofs, and concluding with a summary of our findings and potential future research directions.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Quantum Counting on the Complete Bipartite Graph
Authors:
Gustavo A. Bezerra,
Raqueline A. M. Santos,
Renato Portugal
Abstract:
Quantum counting is a key quantum algorithm that aims to determine the number of marked elements in a database. This algorithm is based on the quantum phase estimation algorithm and uses the evolution operator of Grover's algorithm because its non-trivial eigenvalues are dependent on the number of marked elements. Since Grover's algorithm can be viewed as a quantum walk on a complete graph, a natu…
▽ More
Quantum counting is a key quantum algorithm that aims to determine the number of marked elements in a database. This algorithm is based on the quantum phase estimation algorithm and uses the evolution operator of Grover's algorithm because its non-trivial eigenvalues are dependent on the number of marked elements. Since Grover's algorithm can be viewed as a quantum walk on a complete graph, a natural way to extend quantum counting is to use the evolution operator of quantum-walk-based search on non-complete graphs instead of Grover's operator. In this paper, we explore this extension by analyzing the coined quantum walk on the complete bipartite graph with an arbitrary number of marked vertices. We show that some eigenvalues of the evolution operator depend on the number of marked vertices and using this fact we show that the quantum phase estimation can be used to obtain the number of marked vertices. The time complexity for estimating the number of marked vertices in the bipartite graph with our algorithm aligns closely with that of the original quantum counting algorithm.
△ Less
Submitted 8 December, 2023; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Quantum search by continuous-time quantum walk on t-designs
Authors:
Pedro H. G. Lugão,
Renato Portugal
Abstract:
This work examines the time complexity of quantum search algorithms on combinatorial $t$-designs with multiple marked elements using the continuous-time quantum walk. Through a detailed exploration of $t$-designs and their incidence matrices, we identify a subset of bipartite graphs that are conducive to success compared to random-walk-based search algorithms. These graphs have adjacency matrices…
▽ More
This work examines the time complexity of quantum search algorithms on combinatorial $t$-designs with multiple marked elements using the continuous-time quantum walk. Through a detailed exploration of $t$-designs and their incidence matrices, we identify a subset of bipartite graphs that are conducive to success compared to random-walk-based search algorithms. These graphs have adjacency matrices with eigenvalues and eigenvectors that can be determined algebraically and are also suitable for analysis in the multiple-marked vertex scenario. We show that the continuous-time quantum walk on certain symmetric $t$-designs achieves an optimal running time of $O(\sqrt{n})$, where $n$ is the number of points and blocks, even when accounting for an arbitrary number of marked elements. Upon examining two primary configurations of marked elements distributions, we observe that the success probability is consistently $o(1)$, but it approaches 1 asymptotically in certain scenarios.
△ Less
Submitted 21 October, 2023;
originally announced October 2023.
-
Implementation of Continuous-Time Quantum Walks on Quantum Computers
Authors:
Renato Portugal,
Jalil Khatibi Moqadam
Abstract:
Quantum walk is a useful model to simulate complex quantum systems and to build quantum algorithms; in particular, to develop spatial search algorithms on graphs, which aim to find a marked vertex as quickly as possible. Quantum walks are interesting candidates to be implemented on quantum computers. In this work, we describe efficient circuits that implement the evolution operator of continuous-t…
▽ More
Quantum walk is a useful model to simulate complex quantum systems and to build quantum algorithms; in particular, to develop spatial search algorithms on graphs, which aim to find a marked vertex as quickly as possible. Quantum walks are interesting candidates to be implemented on quantum computers. In this work, we describe efficient circuits that implement the evolution operator of continuous-time quantum-walk-based search algorithms on three graph classes: complete graphs, complete bipartite graphs, and hypercubes. For the class of complete and complete bipartite graphs, the circuits implement the evolution operator exactly. For the class of hypercubes, the circuit implements an approximate evolution operator, which tends to the exact evolution operator when the number of vertices is large. Our Qiskit simulations show that the implementation is successful at finding the marked vertex even for low-dimensional hypercubes.
△ Less
Submitted 17 December, 2022;
originally announced December 2022.
-
Walking on Vertices and Edges by Continuous-Time Quantum Walk
Authors:
Caue F. T. Silva,
Daniel Posner,
Renato Portugal
Abstract:
The quantum walk dynamics obey the laws of quantum mechanics with an extra locality constraint, which demands that the evolution operator is local in the sense that the walker must visit the neighboring locations before endeavoring to distant places. Usually, the Hamiltonian is obtained from either the adjacency or the laplacian matrix of the graph and the walker hops from vertices to neighboring…
▽ More
The quantum walk dynamics obey the laws of quantum mechanics with an extra locality constraint, which demands that the evolution operator is local in the sense that the walker must visit the neighboring locations before endeavoring to distant places. Usually, the Hamiltonian is obtained from either the adjacency or the laplacian matrix of the graph and the walker hops from vertices to neighboring vertices. In this work, we define a version of the continuous-time quantum walk that allows the walker to hop from vertices to edges and vice versa. As an application, we analyze the spatial search algorithm on the complete bipartite graph by modifying the new version of the Hamiltonian with an extra term that depends on the location of the marked vertex or marked edge, similar to what is done in the standard continuous-time quantum walk model. We show that the optimal running time to find either a vertex or an edge is $O(\sqrt{N_e})$ with success probability $1-o(1)$, where $N_e$ is the number of edges of the complete bipartite graph.
△ Less
Submitted 20 December, 2022; v1 submitted 7 June, 2022;
originally announced June 2022.
-
Multimarked Spatial Search by Continuous-Time Quantum Walk
Authors:
Pedro H. G. Lugão,
Renato Portugal,
Mohamed Sabri,
Hajime Tanaka
Abstract:
The quantum-walk-based spatial search problem aims to find a marked vertex using a quantum walk on a graph with marked vertices. We describe a framework for determining the computational complexity of spatial search by continuous-time quantum walk on arbitrary graphs by providing a recipe for finding the optimal running time and the success probability of the algorithm. The quantum walk is driven…
▽ More
The quantum-walk-based spatial search problem aims to find a marked vertex using a quantum walk on a graph with marked vertices. We describe a framework for determining the computational complexity of spatial search by continuous-time quantum walk on arbitrary graphs by providing a recipe for finding the optimal running time and the success probability of the algorithm. The quantum walk is driven by a Hamiltonian derived from the adjacency matrix of the graph modified by the presence of the marked vertices. The success of our framework depends on the knowledge of the eigenvalues and eigenvectors of the adjacency matrix. The spectrum of the Hamiltonian is subsequently obtained from the roots of the determinant of a real symmetric matrix $M$, the dimensions of which depend on the number of marked vertices. The eigenvectors are determined from a basis of the kernel of $M$. We show each step of the framework by solving the spatial searching problem on the Johnson graphs with a fixed diameter and with two marked vertices. Our calculations show that the optimal running time is $O(\sqrt{N})$ with an asymptotic probability of $1+o(1)$, where $N$ is the number of vertices.
△ Less
Submitted 17 January, 2024; v1 submitted 27 March, 2022;
originally announced March 2022.
-
Basic Quantum Algorithms
Authors:
Renato Portugal
Abstract:
Quantum computing is evolving so rapidly that it forces us to revisit, rewrite, and update the foundations of the theory. Basic Quantum Algorithms revisits the earliest quantum algorithms. The journey began in 1985 with Deutsch attempting to evaluate a function at two domain points simultaneously. Then, in 1992, Deutsch and Jozsa created a quantum algorithm that determines whether a Boolean functi…
▽ More
Quantum computing is evolving so rapidly that it forces us to revisit, rewrite, and update the foundations of the theory. Basic Quantum Algorithms revisits the earliest quantum algorithms. The journey began in 1985 with Deutsch attempting to evaluate a function at two domain points simultaneously. Then, in 1992, Deutsch and Jozsa created a quantum algorithm that determines whether a Boolean function is constant or balanced. The following year, Bernstein and Vazirani realized that the same algorithm could be used to identify a specific Boolean function within a set of linear Boolean functions. In 1994, Simon introduced a novel quantum algorithm that determined whether a function was one-to-one or two-to-one exponentially faster than any classical algorithm for the same problem. That same year, Shor developed two groundbreaking quantum algorithms for integer factoring and calculating discrete logarithms, posing a threat to the widely used cryptography methods. In 1995, Kitaev proposed an alternative version of Shor's algorithms that proved valuable in numerous other applications. The following year, Grover devised a quantum search algorithm that was quadratically faster than its classical equivalent. With an emphasis on the circuit model, this work provides a detailed description of all these remarkable algorithms.
△ Less
Submitted 11 September, 2024; v1 submitted 25 January, 2022;
originally announced January 2022.
-
Spatial Search on Johnson Graphs by Discrete-Time Quantum Walk
Authors:
Hajime Tanaka,
Mohamed Sabri,
Renato Portugal
Abstract:
The spatial search problem aims to find a marked vertex of a finite graph using a dynamic with two constraints: (1) The walker has no compass and (2) the walker can check whether a vertex is marked only after reaching it. This problem is a generalization of unsorted database search and has many applications to algorithms. Classical algorithms that solve the spatial search problem are based on rand…
▽ More
The spatial search problem aims to find a marked vertex of a finite graph using a dynamic with two constraints: (1) The walker has no compass and (2) the walker can check whether a vertex is marked only after reaching it. This problem is a generalization of unsorted database search and has many applications to algorithms. Classical algorithms that solve the spatial search problem are based on random walks and the computational complexity is determined by the hitting time. On the other hand, quantum algorithms are based on quantum walks and the computational complexity is determined not only by the number of steps to reach a marked vertex, but also by the success probability, since we need to perform a measurement at the end of the algorithm to determine the walker's position. In this work, we address the spatial search problem on Johnson graphs using the coined quantum walk model. Since Johnson graphs are vertex- and distance-transitive, we have found an invariant subspace of the Hilbert space, which aids in the calculation of the computational complexity. We have shown that, for every fixed diameter, the asymptotic success probability is $1/2$ after taking $π\sqrt N/(2\sqrt 2)$ steps, where $N$ is the number of vertices of the Johnson graph.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
A Quantum Approach to the Discretizable Molecular Distance Geometry Problem
Authors:
Carlile Lavor,
Franklin Marquezino,
Andres Oliveira,
Renato Portugal
Abstract:
The Discretizable Molecular Distance Geometry Problem (DMDGP) aims to determine the three-dimensional protein structure using distance information from nuclear magnetic resonance experiments. The DMDGP has a finite number of candidate solutions and can be solved by combinatorial methods. We describe a quantum approach to the DMDGP by using Grover's algorithm with an appropriate oracle function, wh…
▽ More
The Discretizable Molecular Distance Geometry Problem (DMDGP) aims to determine the three-dimensional protein structure using distance information from nuclear magnetic resonance experiments. The DMDGP has a finite number of candidate solutions and can be solved by combinatorial methods. We describe a quantum approach to the DMDGP by using Grover's algorithm with an appropriate oracle function, which is more efficient than classical methods that use brute force. We show computational results by implementing our scheme on IBM quantum computers with a small number of noisy qubits.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Spatial Search on Johnson Graphs by Continuous-Time Quantum Walk
Authors:
Hajime Tanaka,
Mohamed Sabri,
Renato Portugal
Abstract:
Spatial search on graphs is one of the most important algorithmic applications of quantum walks. To show that a quantum-walk-based search is more efficient than a random-walk-based search is a difficult problem, which has been addressed in several ways. Usually, graph symmetries aid in the calculation of the algorithm's computational complexity, and Johnson graphs are an interesting class regardin…
▽ More
Spatial search on graphs is one of the most important algorithmic applications of quantum walks. To show that a quantum-walk-based search is more efficient than a random-walk-based search is a difficult problem, which has been addressed in several ways. Usually, graph symmetries aid in the calculation of the algorithm's computational complexity, and Johnson graphs are an interesting class regarding symmetries because they are regular, Hamilton-connected, vertex- and distance-transitive. In this work, we show that spatial search on Johnson graphs by continuous-time quantum walk achieves the Grover lower bound $π\sqrt{N}/2$ with success probability $1$ asymptotically for every fixed diameter, where $N$ is the number of vertices. The proof is mathematically rigorous and can be used for other graph classes.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Quantum walk-based search algorithms with multiple marked vertices
Authors:
G. A. Bezerra,
P. H. G. Lugão,
R. Portugal
Abstract:
The quantum walk is a powerful tool to develop quantum algorithms, which usually are based on searching for a vertex in a graph with multiple marked vertices, Ambainis's quantum algorithm for solving the element distinctness problem being the most shining example. In this work, we address the problem of calculating analytical expressions of the time complexity of finding a marked vertex using quan…
▽ More
The quantum walk is a powerful tool to develop quantum algorithms, which usually are based on searching for a vertex in a graph with multiple marked vertices, Ambainis's quantum algorithm for solving the element distinctness problem being the most shining example. In this work, we address the problem of calculating analytical expressions of the time complexity of finding a marked vertex using quantum walk-based search algorithms with multiple marked vertices on arbitrary graphs, extending previous analytical methods based on Szegedy's quantum walk, which can be applied only to bipartite graphs. Two examples based on the coined quantum walk on two-dimensional lattices and hypercubes show the details of our method.
△ Less
Submitted 20 December, 2022; v1 submitted 23 March, 2021;
originally announced March 2021.
-
Entropy production in the quantum walk
Authors:
Andrés Vallejo,
Alejandro Romanelli,
Raúl Donangelo,
Renato Portugal
Abstract:
We explore the notion of generated entropy in open quantum systems. We focus on the study of the discrete-time quantum walk on the line, from the entropy production perspective. We argue that the evolution of the coin can be modeled as an open two-level system that exchanges energy with the lattice at some effective temperature that depends on the initial state. The entropy balance shows that ther…
▽ More
We explore the notion of generated entropy in open quantum systems. We focus on the study of the discrete-time quantum walk on the line, from the entropy production perspective. We argue that the evolution of the coin can be modeled as an open two-level system that exchanges energy with the lattice at some effective temperature that depends on the initial state. The entropy balance shows that there is a positive entropy production during the evolution, in accordance with the second law of thermodynamics.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Experimental Implementation of Quantum Walks on IBM Quantum Computers
Authors:
Frank Acasiete,
Flavia P. Agostini,
Jalil Khatibi Moqadam,
Renato Portugal
Abstract:
The development of universal quantum computers has achieved remarkable success in recent years, culminating with the quantum supremacy reported by Google. Now is possible to implement short-depth quantum circuits with dozens of qubits and to obtain results with significant fidelity. Quantum walks are good candidates to be implemented on the available quantum computers. In this work, we implement d…
▽ More
The development of universal quantum computers has achieved remarkable success in recent years, culminating with the quantum supremacy reported by Google. Now is possible to implement short-depth quantum circuits with dozens of qubits and to obtain results with significant fidelity. Quantum walks are good candidates to be implemented on the available quantum computers. In this work, we implement discrete-time quantum walks with one and two interacting walkers on cycles, two-dimensional lattices, and complete graphs on IBM quantum computers. We are able to obtain meaningful results using the cycle, the two-dimensional lattice, and the complete graph with 16 nodes each, which require 4-qubit quantum circuits up to depth 100.
△ Less
Submitted 9 March, 2020; v1 submitted 5 February, 2020;
originally announced February 2020.
-
Discrete-Time Quantum Walks on Oriented Graphs
Authors:
Bruno Chagas,
Renato Portugal
Abstract:
The interest in quantum walks has been steadily increasing during the last two decades. It is still worth to present new forms of quantum walks that might find practical applications and new physical behaviors. In this work, we define discrete-time quantum walks on arbitrary oriented graphs by partitioning a graph into tessellations, which is a collection of disjoint cliques that cover the vertex…
▽ More
The interest in quantum walks has been steadily increasing during the last two decades. It is still worth to present new forms of quantum walks that might find practical applications and new physical behaviors. In this work, we define discrete-time quantum walks on arbitrary oriented graphs by partitioning a graph into tessellations, which is a collection of disjoint cliques that cover the vertex set. By using the adjacency matrices associated with the tessellations, we define local unitary operators, whose product is the evolution operator of our quantum walk model. We introduce a parameter, called alpha, that quantifies the amount of orientation. We show that the parameter alpha can be tuned in order to increase the amount of quantum walk-based transport on oriented graphs.
△ Less
Submitted 2 April, 2020; v1 submitted 12 January, 2020;
originally announced January 2020.
-
Multiparticle quantum walk with a gas-like interaction
Authors:
Pedro C. S. Costa,
Fernando de Melo,
Renato Portugal
Abstract:
We analyze the dynamics of multiparticle discrete-time quantum walk on the two-dimensional lattice, with an interaction inspired on a classical model for gas collision, called HPP model. In this classical model, the direction of motion changes only when the particles collide head-on, preserving momentum and energy. In our quantum model, the dynamics is driven by the usual quantum-walk evolution op…
▽ More
We analyze the dynamics of multiparticle discrete-time quantum walk on the two-dimensional lattice, with an interaction inspired on a classical model for gas collision, called HPP model. In this classical model, the direction of motion changes only when the particles collide head-on, preserving momentum and energy. In our quantum model, the dynamics is driven by the usual quantum-walk evolution operator if the particles are on different nodes, and is driven by the HPP rules if the particles are in the same node, linearly extended for superpositions. Using this new form of evolution operator, we numerically analyze three physical quantities for the two-walker case: The probability distribution of the position of one walker, the standard deviation of the position of one walker, and the entanglement between the walkers as a function of the number of steps. The numerical analysis implies that the entanglement between the walkers as a function of the number of steps initially increases and quickly tends to a constant value, which depends on the initial condition. We compare the results obtained using the HPP interaction with the equivalent ones using the phase interaction, which is based on an evolution operator that inverts the sign of the coin operator if the walkers are in the same position.
△ Less
Submitted 17 June, 2019;
originally announced June 2019.
-
Eigenbasis of the Evolution Operator of 2-Tessellable Quantum Walks
Authors:
Yusuke Higuchi,
Renato Portugal,
Iwao Sato,
Etsuo Segawa
Abstract:
Staggered quantum walks on graphs are based on the concept of graph tessellation and generalize some well-known discrete-time quantum walk models. In this work, we address the class of 2-tessellable quantum walks with the goal of obtaining an eigenbasis of the evolution operator. By interpreting the evolution operator as a quantum Markov chain on an underlying multigraph, we define the concept of…
▽ More
Staggered quantum walks on graphs are based on the concept of graph tessellation and generalize some well-known discrete-time quantum walk models. In this work, we address the class of 2-tessellable quantum walks with the goal of obtaining an eigenbasis of the evolution operator. By interpreting the evolution operator as a quantum Markov chain on an underlying multigraph, we define the concept of quantum detailed balance, which helps to obtain the eigenbasis. A subset of the eigenvectors is obtained from the eigenvectors of the double discriminant matrix of the quantum Markov chain. To obtain the remaining eigenvectors, we have to use the quantum detailed balance conditions. If the quantum Markov chain has a quantum detailed balance, there is an eigenvector for each fundamental cycle of the underlying multigraph. If the quantum Markov chain does not have a quantum detailed balance, we have to use two fundamental cycles linked by a path in order to find the remaining eigenvectors. We exemplify the process of obtaining the eigenbasis of the evolution operator using the kagome lattice (the line graph of the hexagonal lattice), which has symmetry properties that help in the calculation process.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Staggered Quantum Walk on Hexagonal Lattices
Authors:
Bruno Chagas,
Renato Portugal,
Stefan Boettcher,
Etsuo Segawa
Abstract:
A discrete-time staggered quantum walk was recently introduced as a generalization that allows to unify other versions, such as the coined and Szegedy's walk. However, it also produces new forms of quantum walks not covered by previous versions. To explore their properties, we study here the staggered walk on a hexagonal lattice. Such a walk is defined using a set of overlapping tessellations that…
▽ More
A discrete-time staggered quantum walk was recently introduced as a generalization that allows to unify other versions, such as the coined and Szegedy's walk. However, it also produces new forms of quantum walks not covered by previous versions. To explore their properties, we study here the staggered walk on a hexagonal lattice. Such a walk is defined using a set of overlapping tessellations that cover the graph edges, and each tessellation is a partition of the node set into cliques. The hexagonal lattice requires at least three tessellations. Each tessellation is associated with a local unitary operator and the product of the local operators defines the evolution operator of the staggered walk on the graph. After defining the evolution operator on the hexagonal lattice, we analyze the quantum walk dynamics with the focus on the position standard deviation and localization. We also obtain analytic results for the time complexity of spatial search algorithms with one marked node using cyclic boundary conditions.
△ Less
Submitted 26 June, 2018;
originally announced June 2018.
-
Quantum Walks via Quantum Cellular Automata
Authors:
Pedro C. S. Costa,
Renato Portugal,
Fernando de Melo
Abstract:
Very much as its classical counterpart, quantum cellular automata are expected to be a great tool for simulating complex quantum systems. Here we introduce a partitioned model of quantum cellular automata and show how it can simulate, with the same amount of resources (in terms of effective Hilbert space dimension), various models of quantum walks. All the algorithms developed within quantum walk…
▽ More
Very much as its classical counterpart, quantum cellular automata are expected to be a great tool for simulating complex quantum systems. Here we introduce a partitioned model of quantum cellular automata and show how it can simulate, with the same amount of resources (in terms of effective Hilbert space dimension), various models of quantum walks. All the algorithms developed within quantum walk models are thus directly inherited by the quantum cellular automata. The latter, however, has its structure based on local interactions between qubits, and as such it can be more suitable for present (and future) experimental implementations.
△ Less
Submitted 6 March, 2018;
originally announced March 2018.
-
The graph tessellation cover number: extremal bounds, efficient algorithms and hardness
Authors:
A. Abreu,
L. Cunha,
T. Fernandes,
C. de Figueiredo,
L. Kowada,
F. Marquezino,
D. Posner,
R. Portugal
Abstract:
A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges. The $t$-tessellability problem aims to decide whether there is a tessellation cover of the graph with $t$ tessellations. This problem is motivated by its applications to quantum walk models, in especial, the evolution operato…
▽ More
A tessellation of a graph is a partition of its vertices into vertex disjoint cliques. A tessellation cover of a graph is a set of tessellations that covers all of its edges. The $t$-tessellability problem aims to decide whether there is a tessellation cover of the graph with $t$ tessellations. This problem is motivated by its applications to quantum walk models, in especial, the evolution operator of the staggered model is obtained from a graph tessellation cover. We establish upper bounds on the tessellation cover number given by the minimum between the chromatic index of the graph and the chromatic number of its clique graph and we show graph classes for which these bounds are tight. We prove $\mathcal{NP}$-completeness for $t$-tessellability if the instance is restricted to planar graphs, chordal (2,1)-graphs, (1,2)-graphs, diamond-free graphs with diameter five, or for any fixed $t$ at least 3. On the other hand, we improve the complexity for 2-tessellability to a linear-time algorithm.
△ Less
Submitted 20 December, 2017;
originally announced December 2017.
-
Element Distinctness Revisited
Authors:
Renato Portugal
Abstract:
The element distinctness problem is the problem of determining whether the elements of a list are distinct, that is, if $x=(x_1,...,x_N)$ is a list with $N$ elements, we ask whether the elements of $x$ are distinct or not. The solution in a classical computer requires $N$ queries because it uses sorting to check whether there are equal elements. In the quantum case, it is possible to solve the pro…
▽ More
The element distinctness problem is the problem of determining whether the elements of a list are distinct, that is, if $x=(x_1,...,x_N)$ is a list with $N$ elements, we ask whether the elements of $x$ are distinct or not. The solution in a classical computer requires $N$ queries because it uses sorting to check whether there are equal elements. In the quantum case, it is possible to solve the problem in $O(N^{2/3})$ queries. There is an extension which asks whether there are $k$ colliding elements, known as element $k$-distinctness problem.
This work obtains optimal values of two critical parameters of Ambainis' seminal quantum algorithm [SIAM J.~Comput., 37, 210-239, 2007]. The first critical parameter is the number of repetitions of the algorithm's main block, which inverts the phase of the marked elements and calls a subroutine. The second parameter is the number of quantum walk steps interlaced by oracle queries. We show that, when the optimal values of the parameters are used, the algorithm's success probability is $1-O(N^{1/(k+1)})$, quickly approaching 1. The specification of the exact running time and success probability is important in practical applications of this algorithm.
△ Less
Submitted 13 June, 2018; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Complexity Bounds on Quantum Search Algorithms in finite-dimensional Networks
Authors:
Stefan Boettcher,
Shanshan Li,
Tharso D. Fernandes,
Renato Portugal
Abstract:
We establish a lower bound concerning the computational complexity of Grover's algorithms on fractal networks. This bound provides general predictions for the quantum advantage gained for searching unstructured lists. It yields a fundamental criterion, derived from quantum transport properties, for the improvement a quantum search algorithm achieves over the corresponding classical search in a net…
▽ More
We establish a lower bound concerning the computational complexity of Grover's algorithms on fractal networks. This bound provides general predictions for the quantum advantage gained for searching unstructured lists. It yields a fundamental criterion, derived from quantum transport properties, for the improvement a quantum search algorithm achieves over the corresponding classical search in a network based solely on its spectral dimension, $d_{s}$. Our analysis employs recent advances in the interpretation of the venerable real-space renormalization group (RG) as applied to quantum walks. It clarifies the competition between Grover's abstract algorithm, i.e., a rotation in Hilbert space, and quantum transport in an actual geometry. The latter is characterized in terms of the quantum walk dimension $d_{w}^{Q}$ and the spatial (fractal) dimension $d_{f}$ that is summarized simply by the spectral dimension of the network. The analysis simultaneously determines the optimal time for a quantum measurement and the probability for successfully pin-pointing a marked element in the network. The RG further encompasses an optimization scheme devised by Tulsi that allows to tune this probability to certainty, leaving quantum transport as the only limiting process. It considers entire families of problems to be studied, thereby establishing large universality classes for quantum search, which we verify with extensive simulations. The methods we develop could point the way towards systematic studies of universality classes in computational complexity to enable modification and control of search behavior.
△ Less
Submitted 18 July, 2018; v1 submitted 17 August, 2017;
originally announced August 2017.
-
The tessellation problem of quantum walks
Authors:
A. Abreu,
L. Cunha,
T. Fernandes,
C. de Figueiredo,
L. Kowada,
F. Marquezino,
D. Posner,
R. Portugal
Abstract:
Quantum walks have received a great deal of attention recently because they can be used to develop new quantum algorithms and to simulate interesting quantum systems. In this work, we focus on a model called staggered quantum walk, which employs advanced ideas of graph theory and has the advantage of including the most important instances of other discrete-time models. The evolution operator of th…
▽ More
Quantum walks have received a great deal of attention recently because they can be used to develop new quantum algorithms and to simulate interesting quantum systems. In this work, we focus on a model called staggered quantum walk, which employs advanced ideas of graph theory and has the advantage of including the most important instances of other discrete-time models. The evolution operator of the staggered model is obtained from a tessellation cover, which is defined in terms of a set of partitions of the graph into cliques. It is important to establish the minimum number of tessellations required in a tessellation cover, and what classes of graphs admit a small number of tessellations. We describe two main results: (1) infinite classes of graphs where we relate the chromatic number of the clique graph to the minimum number of tessellations required in a tessellation cover, and (2) the problem of deciding whether a graph is $k$-tessellable for $k\ge 3$ is NP-complete.
△ Less
Submitted 24 May, 2017;
originally announced May 2017.
-
Discretization of continuous-time quantum walks via the staggered model with Hamiltonians
Authors:
Gabriel Coutinho,
Renato Portugal
Abstract:
We characterize a close connection between the continuous-time quantum-walk model and a discrete-time quantum-walk version, based on the staggered model with Hamiltonians in a class of Cayley graphs, which can be considered as a discretization of continuous-time quantum walks. This connection provides examples of perfect state transfer and instantaneous uniform mixing in the staggered model. On th…
▽ More
We characterize a close connection between the continuous-time quantum-walk model and a discrete-time quantum-walk version, based on the staggered model with Hamiltonians in a class of Cayley graphs, which can be considered as a discretization of continuous-time quantum walks. This connection provides examples of perfect state transfer and instantaneous uniform mixing in the staggered model. On the other hand, we provide some more examples of perfect state transfer and instantaneous uniform mixing in the staggered model that cannot be reproduced by the continuous-time model.
△ Less
Submitted 22 May, 2018; v1 submitted 12 January, 2017;
originally announced January 2017.
-
Quantum search on the two-dimensional lattice using the staggered model with Hamiltonians
Authors:
Renato Portugal,
Tharso D. Fernandes
Abstract:
Quantum search on the two-dimensional lattice with one marked vertex and cyclic boundary conditions is an important problem in the context of quantum algorithms with an interesting unfolding. It avails to test the ability of quantum walk models to provide efficient algorithms from the theoretical side and means to implement quantum walks in laboratories from the practical side. In this paper, we r…
▽ More
Quantum search on the two-dimensional lattice with one marked vertex and cyclic boundary conditions is an important problem in the context of quantum algorithms with an interesting unfolding. It avails to test the ability of quantum walk models to provide efficient algorithms from the theoretical side and means to implement quantum walks in laboratories from the practical side. In this paper, we rigorously prove that the recent-proposed staggered quantum walk model provides an efficient quantum search on the two-dimensional lattice, if the reflection operators associated with the graph tessellations are used as Hamiltonians, which is an important theoretical result for validating the staggered model with Hamiltonians. Numerical results show that on the two-dimensional lattice staggered models without Hamiltonians are not as efficient as the one described in this paper and are, in fact, as slow as classical random-walk-based algorithms.
△ Less
Submitted 30 March, 2017; v1 submitted 5 January, 2017;
originally announced January 2017.
-
Coined Quantum Walks as Quantum Markov Chains
Authors:
Renato Portugal,
Etsuo Segawa
Abstract:
We analyze the equivalence between discrete-time coined quantum walks and Szegedy's quantum walks. We characterize a class of flip-flop coined models with generalized Grover coin on a graph $Γ$ that can be directly converted into Szegedy's model on the subdivision graph of $Γ$ and we describe a method to convert one model into the other. This method improves previous results in literature that nee…
▽ More
We analyze the equivalence between discrete-time coined quantum walks and Szegedy's quantum walks. We characterize a class of flip-flop coined models with generalized Grover coin on a graph $Γ$ that can be directly converted into Szegedy's model on the subdivision graph of $Γ$ and we describe a method to convert one model into the other. This method improves previous results in literature that need to use the staggered model and the concept of line graph, which are avoided here.
△ Less
Submitted 2 May, 2017; v1 submitted 7 December, 2016;
originally announced December 2016.
-
Staggered quantum walks with superconducting microwave resonators
Authors:
Jalil Khatibi Moqadam,
Marcos Cesar de Oliveira,
Renato Portugal
Abstract:
The staggered quantum walk model on a graph is defined by an evolution operator that is the product of local operators related to two or more independent graph tessellations. A graph tessellation is a partition of the set of nodes that respects the neighborhood relation. Flip-flop coined quantum walks with the Hadamard or Grover coins can be expressed as staggered quantum walks by converting the c…
▽ More
The staggered quantum walk model on a graph is defined by an evolution operator that is the product of local operators related to two or more independent graph tessellations. A graph tessellation is a partition of the set of nodes that respects the neighborhood relation. Flip-flop coined quantum walks with the Hadamard or Grover coins can be expressed as staggered quantum walks by converting the coin degree of freedom into extra nodes in the graph. We propose an implementation of the staggered model with superconducting microwave resonators, where the required local operations are provided by the nearest neighbor interaction of the resonators coupled through superconducting quantum interference devices. The tunability of the interactions makes this system an excellent toolbox for this class of quantum walks. We focus on the one-dimensional case and discuss its generalization to a more general class known as triangle-free graphs.
△ Less
Submitted 30 September, 2016;
originally announced September 2016.
-
Renormalization of the Unitary Evolution Equation for Coined Quantum Walks
Authors:
Stefan Boettcher,
Shanshan Li,
Renato Portugal
Abstract:
We consider discrete-time evolution equations in which the stochastic operator of a classical random walk is replaced by a unitary operator. Such a problem has gained much attention as a framework for coined quantum walks that are essential for attaining the Grover limit for quantum search algorithms in physically realizable, low-dimensional geometries. In particular, we analyze the exact real-spa…
▽ More
We consider discrete-time evolution equations in which the stochastic operator of a classical random walk is replaced by a unitary operator. Such a problem has gained much attention as a framework for coined quantum walks that are essential for attaining the Grover limit for quantum search algorithms in physically realizable, low-dimensional geometries. In particular, we analyze the exact real-space renormalization group (RG) procedure recently introduced to study the scaling of quantum walks on fractal networks. While this procedure, when implemented numerically, was able to provide some deep insights into the relation between classical and quantum walks, its analytic basis has remained obscure. Our discussion here is laying the groundwork for a rigorous implementation of the RG for this important class of transport and algorithmic problems, although some instances remain unresolved. Specifically, we find that the RG fixed-point analysis of the classical walk, which typically focuses on the dominant Jacobian eigenvalue $λ_{1}$, with walk dimension $d_{w}^{RW}=\log_{2}λ_{1}$, needs to be extended to include the subdominant eigenvalue $λ_{2}$, such that the dimension of the quantum walk obtains $d_{w}^{QW}=\log_{2}\sqrt{λ_{1}λ_{2}}$. With that extension, we obtain analytically previously conjectured results for $d_{w}^{QW}$ of Grover walks on all but one of the fractal networks that have been considered.
△ Less
Submitted 23 February, 2017; v1 submitted 2 September, 2016;
originally announced September 2016.
-
Transient temperature and mixing times of quantum walks on cycles
Authors:
Nicolás Díaz,
Raul Donangelo,
Renato Portugal,
Alejandro Romanelli
Abstract:
The definition of entanglement temperature for the quantum walk on the line is extended to $N$-cycles, which are more amenable to a physical implementation. We show that, for these systems, there is a linear connection between the thermalization time and the mixing time, and also that these characteristic times become insensitive to the system size when $N$ is larger than a few units
The definition of entanglement temperature for the quantum walk on the line is extended to $N$-cycles, which are more amenable to a physical implementation. We show that, for these systems, there is a linear connection between the thermalization time and the mixing time, and also that these characteristic times become insensitive to the system size when $N$ is larger than a few units
△ Less
Submitted 21 July, 2016;
originally announced July 2016.
-
Exact simulation of coined quantum walks with the continuous-time model
Authors:
Pascal Philipp,
Renato Portugal
Abstract:
The connection between coined and continuous-time quantum walk models has been addressed in a number of papers. In most of those studies, the continuous-time model is derived from coined quantum walks by employing dimensional reduction and taking appropriate limits. In this work, we produce the evolution of a coined quantum walk on a generic graph using a continuous-time quantum walk on a larger g…
▽ More
The connection between coined and continuous-time quantum walk models has been addressed in a number of papers. In most of those studies, the continuous-time model is derived from coined quantum walks by employing dimensional reduction and taking appropriate limits. In this work, we produce the evolution of a coined quantum walk on a generic graph using a continuous-time quantum walk on a larger graph. In addition to expanding the underlying structure, we also have to switch on and off edges during the continuous-time evolution to accommodate the alternation between the shift and coin operators from the coined model. In one particular case, the connection is very natural, and the continuous-time quantum walk that simulates the coined quantum walk is driven by the graph Laplacian on the dynamically changing expanded graph.
△ Less
Submitted 13 June, 2016;
originally announced June 2016.
-
Staggered Quantum Walks with Hamiltonians
Authors:
Renato Portugal,
Marcos Cesar de Oliveira,
Jalil Khatibi Moqadam
Abstract:
Quantum walks are recognizably useful for the development of new quantum algorithms, as well as for the investigation of several physical phenomena in quantum systems. Actual implementations of quantum walks face technological difficulties similar to the ones for quantum computers, though. Therefore, there is a strong motivation to develop new quantum-walk models which might be easier to implement…
▽ More
Quantum walks are recognizably useful for the development of new quantum algorithms, as well as for the investigation of several physical phenomena in quantum systems. Actual implementations of quantum walks face technological difficulties similar to the ones for quantum computers, though. Therefore, there is a strong motivation to develop new quantum-walk models which might be easier to implement. In this work, we present an extension of the staggered quantum walk model that is fitted for physical implementations in terms of time-independent Hamiltonians. We demonstrate that this class of quantum walk includes the entire class of staggered quantum walk model, Szegedy's model, and an important subset of the coined model.
△ Less
Submitted 5 January, 2017; v1 submitted 9 May, 2016;
originally announced May 2016.
-
Staggered Quantum Walks on Graphs
Authors:
Renato Portugal
Abstract:
The staggered quantum walk model allows to establish an unprecedented connection between discrete-time quantum walks and graph theory. We call attention to the fact that a large subclass of the coined model is included in Szegedy's model, which in its turn is entirely included in the staggered model. In order to compare those three quantum walk models, we put them in the staggered formalism and we…
▽ More
The staggered quantum walk model allows to establish an unprecedented connection between discrete-time quantum walks and graph theory. We call attention to the fact that a large subclass of the coined model is included in Szegedy's model, which in its turn is entirely included in the staggered model. In order to compare those three quantum walk models, we put them in the staggered formalism and we show that the Szegedy and coined models are defined on a special subclass of graphs. This inclusion scheme is also true when the searching framework is added. We use graph theory to characterize which staggered quantum walks can be reduced to the Szegedy or coined quantum walk model. We analyze a staggered-based search that cannot be included in Szegedy's model and we show numerically that this search is more efficient than a random-walk-based search.
△ Less
Submitted 4 June, 2016; v1 submitted 7 March, 2016;
originally announced March 2016.
-
Establishing the equivalence between Szegedy's and coined quantum walks using the staggered model
Authors:
Renato Portugal
Abstract:
Coined Quantum Walks (QWs) are being used in many contexts with the goal of understanding quantum systems and building quantum algorithms for quantum computers. Alternative models such as Szegedy's and continuous-time QWs were proposed taking advantage of the fact that quantum theory seems to allow different quantized versions based on the same classical model, in this case, the classical random w…
▽ More
Coined Quantum Walks (QWs) are being used in many contexts with the goal of understanding quantum systems and building quantum algorithms for quantum computers. Alternative models such as Szegedy's and continuous-time QWs were proposed taking advantage of the fact that quantum theory seems to allow different quantized versions based on the same classical model, in this case, the classical random walk. In this work, we show the conditions upon which coined QWs are equivalent to Szegedy's QWs. Those QW models have in common a large class of instances, in the sense that the evolution operators are equal when we convert the graph on which the coined QW takes place into a bipartite graph on which Szegedy's QW takes place, and vice versa. We also show that the abstract search algorithm using the coined QW model can be cast into Szegedy's searching framework using bipartite graphs with sinks.
△ Less
Submitted 29 November, 2015; v1 submitted 29 September, 2015;
originally announced September 2015.
-
The Staggered Quantum Walk Model
Authors:
R. Portugal,
R. A. M. Santos,
T. D. Fernandes,
D. N. Gonçalves
Abstract:
There are at least three models of discrete-time quantum walks (QWs) on graphs currently under active development. In this work we focus on the equivalence of two of them, known as Szegedy's and staggered QWs. We give a formal definition of the staggered model and discuss generalized versions for searching marked vertices. Using this formal definition, we prove that any instance of Szegedy's model…
▽ More
There are at least three models of discrete-time quantum walks (QWs) on graphs currently under active development. In this work we focus on the equivalence of two of them, known as Szegedy's and staggered QWs. We give a formal definition of the staggered model and discuss generalized versions for searching marked vertices. Using this formal definition, we prove that any instance of Szegedy's model is equivalent to an instance of the staggered model. On the other hand, we show that there are instances of the staggered model that cannot be cast into Szegedy's framework. Our analysis also works when there are marked vertices. We show that Szegedy's spatial search algorithms can be converted into search algorithms in staggered QWs. We take advantage of the similarity of those models to define the quantum hitting time in the staggered model and to describe a method to calculate the eigenvalues and eigenvectors of the evolution operator of staggered QWs.
△ Less
Submitted 27 July, 2015; v1 submitted 18 May, 2015;
originally announced May 2015.
-
Moments of Coinless Quantum Walks on Lattices
Authors:
Raqueline A. M. Santos,
Renato Portugal,
Stefan Boettcher
Abstract:
The properties of the coinless quantum walk model have not been as thoroughly analyzed as those of the coined model. Both evolve in discrete time steps but the former uses a smaller Hilbert space, which is spanned merely by the site basis. Besides, the evolution operator can be obtained using a process of lattice tessellation, which is very appealing. The moments of the probability distribution pl…
▽ More
The properties of the coinless quantum walk model have not been as thoroughly analyzed as those of the coined model. Both evolve in discrete time steps but the former uses a smaller Hilbert space, which is spanned merely by the site basis. Besides, the evolution operator can be obtained using a process of lattice tessellation, which is very appealing. The moments of the probability distribution play an important role in the context of quantum walks. The ballistic behavior of the mean square displacement indicates that quantum-walk-based algorithms are faster than random-walk-based ones. In this paper, we obtain analytical expressions for the moments of the coinless model on $d$-dimensional lattices. The mean square displacement for large times is explicitly calculated for the one- and two-dimensional lattices and, using optimization methods, the parameter values that give the largest spread are calculated and compared with the equivalent ones of the coined model. Although we have employed asymptotic methods, our approximations are accurate even for small numbers of time steps.
△ Less
Submitted 22 February, 2015;
originally announced February 2015.
-
Relation between Random Walks and Quantum Walks
Authors:
Stefan Boettcher,
Stefan Falkner,
Renato Portugal
Abstract:
Based on studies on four specific networks, we conjecture a general relation between the walk dimensions $d_{w}$ of discrete-time random walks and quantum walks with the (self-inverse) Grover coin. In each case, we find that $d_{w}$ of the quantum walk takes on exactly half the value found for the classical random walk on the same geometry. Since walks on homogeneous lattices satisfy this relation…
▽ More
Based on studies on four specific networks, we conjecture a general relation between the walk dimensions $d_{w}$ of discrete-time random walks and quantum walks with the (self-inverse) Grover coin. In each case, we find that $d_{w}$ of the quantum walk takes on exactly half the value found for the classical random walk on the same geometry. Since walks on homogeneous lattices satisfy this relation trivially, our results for heterogeneous networks suggests that such a relation holds irrespective of whether translational invariance is maintained or not. To develop our results, we extend the renormalization group analysis (RG) of the stochastic master equation to one with a unitary propagator. As in the classical case, the solution $ρ(x,t)$ in space and time of this quantum walk equation exhibits a scaling collapse for a variable $x^{d_{w}}/t$ in the weak limit, which defines $d_{w}$ and illuminates fundamental aspects of the walk dynamics, e.g., its mean-square displacement. We confirm the collapse for $ρ(x,t)$ in each case with extensive numerical simulation. The exact values for $d_{w}$ in themselves demonstrate that RG is a powerful complementary approach to study the asymptotics of quantum walks that weak-limit theorems have not been able to access, such as for systems lacking translational symmetries beyond simple trees.
△ Less
Submitted 1 June, 2015; v1 submitted 26 October, 2014;
originally announced October 2014.
-
Thermodynamics of N-dimensional quantum walks
Authors:
Alejandro Romanelli,
Raul Donangelo,
Renato Portugal,
Franklin L. Marquezino
Abstract:
The entanglement between the position and coin state of a $N$-dimensional quantum walker is shown to lead to a thermodynamic theory. The entropy, in this thermodynamics, is associated to the reduced density operator for the evolution of chirality, taking a partial trace over positions. From the asymptotic reduced density matrix it is possible to define thermodynamic quantities, such as the asympto…
▽ More
The entanglement between the position and coin state of a $N$-dimensional quantum walker is shown to lead to a thermodynamic theory. The entropy, in this thermodynamics, is associated to the reduced density operator for the evolution of chirality, taking a partial trace over positions. From the asymptotic reduced density matrix it is possible to define thermodynamic quantities, such as the asymptotic entanglement entropy, temperature, Helmholz free energy, etc. We study in detail the case of a $2$-dimensional quantum walk, in the case of two different initial conditions: a non-separable coin-position initial state, and a separable one. The resulting entanglement temperature is presented as function of the parameters of the system and those of the initial conditions.
△ Less
Submitted 22 August, 2014;
originally announced August 2014.
-
One-Dimensional Coinless Quantum Walks
Authors:
Renato Portugal,
Stefan Boettcher,
Stefan Falkner
Abstract:
A coinless, discrete-time quantum walk possesses a Hilbert space whose dimension is smaller compared to the widely-studied coined walk. Coined walks require the direct product of the site basis with the coin space, coinless walks operate purely in the site basis, which is clearly minimal. These coinless quantum walks have received considerable attention recently because they have evolution operato…
▽ More
A coinless, discrete-time quantum walk possesses a Hilbert space whose dimension is smaller compared to the widely-studied coined walk. Coined walks require the direct product of the site basis with the coin space, coinless walks operate purely in the site basis, which is clearly minimal. These coinless quantum walks have received considerable attention recently because they have evolution operators that can be obtained by a graphical method based on lattice tessellations and they have been shown to be as efficient as the best known coined walks when used as a quantum search algorithm. We argue that both formulations in their most general form are equivalent. In particular, we demonstrate how to transform the one-dimensional version of the coinless quantum walk into an equivalent extended coined version for a specific family of evolution operators. We present some of its basic, asymptotic features for the one-dimensional lattice with some examples of tessellations, and analyze the mixing time and limiting probability distributions on cycles.
△ Less
Submitted 26 August, 2014; v1 submitted 21 August, 2014;
originally announced August 2014.
-
Quantum walks on a circle with optomechanical systems
Authors:
Jalil Khatibi Moqadam,
Renato Portugal,
Marcos Cesar de Oliveira
Abstract:
We propose an implementation of a quantum walk on a circle on an optomechanical system by encoding the walker on the phase space of a radiation field and the coin on a two-level state of a mechanical resonator. The dynamics of the system is obtained by applying Suzuki-Trotter decomposition. We numerically show that the system displays typical behaviors of quantum walks, namely, the probability dis…
▽ More
We propose an implementation of a quantum walk on a circle on an optomechanical system by encoding the walker on the phase space of a radiation field and the coin on a two-level state of a mechanical resonator. The dynamics of the system is obtained by applying Suzuki-Trotter decomposition. We numerically show that the system displays typical behaviors of quantum walks, namely, the probability distribution evolves ballistically and the standard deviation of the phase distribution is linearly proportional to the number of steps. We also analyze the effects of decoherence by using the phase damping channel on the coin space, showing the possibility to implement the quantum walk with present day technology.
△ Less
Submitted 30 July, 2015; v1 submitted 20 March, 2014;
originally announced March 2014.
-
Spatial Search on Grids with Minimum Memory
Authors:
Andris Ambainis,
Renato Portugal,
Nikolay Nahimov
Abstract:
We study quantum algorithms for spatial search on finite dimensional grids. Patel et al. and Falk have proposed algorithms based on a quantum walk without a coin, with different operators applied at even and odd steps. Until now, such algorithms have been studied only using numerical simulations. In this paper, we present the first rigorous analysis for an algorithm of this type, showing that the…
▽ More
We study quantum algorithms for spatial search on finite dimensional grids. Patel et al. and Falk have proposed algorithms based on a quantum walk without a coin, with different operators applied at even and odd steps. Until now, such algorithms have been studied only using numerical simulations. In this paper, we present the first rigorous analysis for an algorithm of this type, showing that the optimal number of steps is $O(\sqrt{N\log N})$ and the success probability is $O(1/\log N)$, where $N$ is the number of vertices. This matches the performance achieved by algorithms that use other forms of quantum walks.
△ Less
Submitted 30 November, 2013;
originally announced December 2013.
-
Renormalization and Scaling in Quantum Walks
Authors:
S. Boettcher,
S. Falkner,
R. Portugal
Abstract:
We show how to extract the scaling behavior of quantum walks using the renormalization group (RG). We introduce the method by efficiently reproducing well-known results on the one-dimensional lattice. As a nontrivial model, we apply this method to the dual Sierpinski gasket and obtain its exact, closed system of RG-recursions. Numerical iteration suggests that under rescaling the system length,…
▽ More
We show how to extract the scaling behavior of quantum walks using the renormalization group (RG). We introduce the method by efficiently reproducing well-known results on the one-dimensional lattice. As a nontrivial model, we apply this method to the dual Sierpinski gasket and obtain its exact, closed system of RG-recursions. Numerical iteration suggests that under rescaling the system length, $L^{\prime}=2L$, characteristic times rescale as $t^{\prime}=2^{d_{w}}t$ with the exact walk exponent $d_{w}=\log_{2}\sqrt{5}=1.1609\ldots$. Despite the lack of translational invariance, this is very close to the ballistic spreading, $d_{w}=1$, found for regular lattices. However, we argue that an extended interpretation of the traditional RG formalism will be needed to obtain scaling exponents analytically. Direct simulations confirm our RG-prediction for $d_w$ and furthermore reveal an immensely rich phenomenology for the spreading of the quantum walk on the gasket. Invariably, quantum interference localizes the walk completely with a site-access probability that declines with a powerlaw from the initial site, in contrast with a classical random walk, which would pass all sites with certainty.
△ Less
Submitted 28 September, 2014; v1 submitted 13 November, 2013;
originally announced November 2013.
-
Analyzing the Toffoli gate in disordered circuit QED
Authors:
J. Khatibi Moqadam,
Renato Portugal,
N. F. Svaiter,
G. O. Corrêa
Abstract:
We study the effects of imperfections on the fidelity of the Toffoli gate recently realized in a circuit~QED setup using quantum control methods. The noise is introduced in the interqubits interactions. The coupling constants are no longer fixed; instead, they fluctuate around average values obeying some given probability density functions characterizing the dynamical-imperfection case. We also co…
▽ More
We study the effects of imperfections on the fidelity of the Toffoli gate recently realized in a circuit~QED setup using quantum control methods. The noise is introduced in the interqubits interactions. The coupling constants are no longer fixed; instead, they fluctuate around average values obeying some given probability density functions characterizing the dynamical-imperfection case. We also consider the static-imperfection case in which the values of the coupling constants are not exactly known. We obtain a more robust gate by modifying the quantum optimization problem using a weighted average of the fidelity over an interval of coupling values as the objective functional.
△ Less
Submitted 1 August, 2016; v1 submitted 26 February, 2013;
originally announced February 2013.
-
A New Hybrid Classical-Quantum Algorithm for Continuous Global Optimization Problems
Authors:
Pedro Lara,
Renato Portugal,
Carlile Lavor
Abstract:
Grover's algorithm can be employed in global optimization methods providing, in some cases, a quadratic speedup over classical algorithms. This paper describes a new method for continuous global optimization problems that uses a classical algorithm for finding a local minimum and Grover's algorithm to escape from this local minimum. Simulations with testbed functions and comparisons with algorithm…
▽ More
Grover's algorithm can be employed in global optimization methods providing, in some cases, a quadratic speedup over classical algorithms. This paper describes a new method for continuous global optimization problems that uses a classical algorithm for finding a local minimum and Grover's algorithm to escape from this local minimum. Simulations with testbed functions and comparisons with algorithms from the literature are presented.
△ Less
Submitted 20 January, 2013;
originally announced January 2013.
-
Spatial Search Algorithms on Hanoi Networks
Authors:
Franklin L. Marquezino,
Renato Portugal,
Stefan Boettcher
Abstract:
We use the abstract search algorithm and its extension due to Tulsi to analyze a spatial quantum search algorithm that finds a marked vertex in Hanoi networks of degree 4 faster than classical algorithms. We also analyze the effect of using non-Groverian coins that take advantage of the small world structure of the Hanoi networks. We obtain the scaling of the total cost of the algorithm as a funct…
▽ More
We use the abstract search algorithm and its extension due to Tulsi to analyze a spatial quantum search algorithm that finds a marked vertex in Hanoi networks of degree 4 faster than classical algorithms. We also analyze the effect of using non-Groverian coins that take advantage of the small world structure of the Hanoi networks. We obtain the scaling of the total cost of the algorithm as a function of the number of vertices. We show that Tulsi's technique plays an important role to speed up the searching algorithm. We can improve the algorithm's efficiency by choosing a non-Groverian coin if we do not implement Tulsi's method. Our conclusion is based on numerical implementations.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Quantum Walks on Sierpinski Gaskets
Authors:
Pedro Carlos S. Lara,
Renato Portugal,
Stefan Boettcher
Abstract:
We analyze discrete-time quantum walks on Sierpinski gaskets using a flip-flop shift operator with the Grover coin. We obtain the scaling of two important physical quantities: the mean-square displacement and the mixing time as function of the number of points. The Sierpinski gasket is a fractal that lacks translational invariance and the results differ from those described in the literature for o…
▽ More
We analyze discrete-time quantum walks on Sierpinski gaskets using a flip-flop shift operator with the Grover coin. We obtain the scaling of two important physical quantities: the mean-square displacement and the mixing time as function of the number of points. The Sierpinski gasket is a fractal that lacks translational invariance and the results differ from those described in the literature for ordinary lattices. We find that the displacement varies with the initial location. Averaged over all initial locations, our simulation obtain an exponent very similar to classical diffusion.
△ Less
Submitted 10 September, 2012;
originally announced September 2012.
-
Non-Pauli Observables for CWS Codes
Authors:
Douglas F. G. Santiago,
Renato Portugal,
Nolmar Melo
Abstract:
It is known that nonadditive quantum codes are more optimal for error correction when compared to stabilizer codes. The class of codeword stabilized codes (CWS) provides tools to obtain new nonadditive quantum codes by reducing the problem to finding nonlinear classical codes. In this work, we establish some results on the kind of non-Pauli operators that can be used as decoding observables for CW…
▽ More
It is known that nonadditive quantum codes are more optimal for error correction when compared to stabilizer codes. The class of codeword stabilized codes (CWS) provides tools to obtain new nonadditive quantum codes by reducing the problem to finding nonlinear classical codes. In this work, we establish some results on the kind of non-Pauli operators that can be used as decoding observables for CWS codes and describe a procedure to obtain these observables.
△ Less
Submitted 7 June, 2012;
originally announced June 2012.
-
Quantum Search Algorithms on Hierarchical Networks
Authors:
F. L. Marquezino,
R. Portugal,
S. Boettcher
Abstract:
The "abstract search algorithm" is a well known quantum method to find a marked vertex in a graph. It has been applied with success to searching algorithms for the hypercube and the two-dimensional grid. In this work we provide an example for which that method fails to provide the best algorithm in terms of time complexity. We analyze search algorithms in degree-3 hierarchical networks using quant…
▽ More
The "abstract search algorithm" is a well known quantum method to find a marked vertex in a graph. It has been applied with success to searching algorithms for the hypercube and the two-dimensional grid. In this work we provide an example for which that method fails to provide the best algorithm in terms of time complexity. We analyze search algorithms in degree-3 hierarchical networks using quantum walks driven by non-groverian coins. Our conclusions are based on numerical simulations, but the hierarchical structures of the graphs seems to allow analytical results.
△ Less
Submitted 2 May, 2012;
originally announced May 2012.
