-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.