Accelerating Stochastic Dynamics Simulation With Continuous-Time Quantum Walks

Author(s):  
Yan Wang

Stochastic diffusion is a general phenomenon observed in various national and engineering systems. It is typically modeled by either stochastic differential equation (SDE) or Fokker-Planck equation (FPE), which are equivalent approaches. Path integral is an accurate and effective method to solve FPEs. Yet, computational efficiency is the common challenge for path integral and other numerical methods, include time and space complexities. Previously, one-dimensional continuous-time quantum walk was used to simulate diffusion. By combining quantum diffusion and random diffusion, the new approach can accelerate the simulation with longer time steps than those in path integral. It was demonstrated that simulation can be dozens or even hundreds of times faster. In this paper, a new generic quantum operator is proposed to simulate drift-diffusion processes in high-dimensional space, which combines quantum walks on graphs with traditional path integral approaches. Probability amplitudes are computed efficiently by spectral analysis. The efficiency of the new method is demonstrated with stochastic resonance problems.

Author(s):  
Yan Wang

Stochastic differential equation (SDE) and Fokker-Planck equation (FPE) are two general approaches to describe the stochastic drift-diffusion processes. Solving SDEs relies on the Monte Carlo samplings of individual system trajectory, whereas FPEs describe the time evolution of overall distributions via path integral alike methods. The large state space and required small step size are the major challenges of computational efficiency in solving FPE numerically. In this paper, a generic continuous-time quantum walk formulation is developed to simulate stochastic diffusion processes. Stochastic diffusion in one-dimensional state space is modeled as the dynamics of an imaginary-time quantum system. The proposed quantum computational approach also drastically accelerates the path integrals with large step sizes. The new approach is compared with the traditional path integral method and the Monte Carlo trajectory sampling.


Entropy ◽  
2018 ◽  
Vol 20 (8) ◽  
pp. 586 ◽  
Author(s):  
Xin Wang ◽  
Yi Zhang ◽  
Kai Lu ◽  
Xiaoping Wang ◽  
Kai Liu

The isomorphism problem involves judging whether two graphs are topologically the same and producing structure-preserving isomorphism mapping. It is widely used in various areas. Diverse algorithms have been proposed to solve this problem in polynomial time, with the help of quantum walks. Some of these algorithms, however, fail to find the isomorphism mapping. Moreover, most algorithms have very limited performance on regular graphs which are generally difficult to deal with due to their symmetry. We propose IsoMarking to discover an isomorphism mapping effectively, based on the quantum walk which is sensitive to topological structures. Firstly, IsoMarking marks vertices so that it can reduce the harmful influence of symmetry. Secondly, IsoMarking can ascertain whether the current candidate bijection is consistent with existing bijections and eventually obtains qualified mapping. Thirdly, our experiments on 1585 pairs of graphs demonstrate that our algorithm performs significantly better on both ordinary graphs and regular graphs.


Author(s):  
NORIO KONNO

A quantum central limit theorem for a continuous-time quantum walk on a homogeneous tree is derived from quantum probability theory. As a consequence, a new type of limit theorems for another continuous-time walk introduced by the walk is presented. The limit density is similar to that given by a continuous-time quantum walk on the one-dimensional lattice.


2022 ◽  
Vol 22 (1&2) ◽  
pp. 53-85
Author(s):  
Thomas G. Wong

The task of finding an entry in an unsorted list of $N$ elements famously takes $O(N)$ queries to an oracle for a classical computer and $O(\sqrt{N})$ queries for a quantum computer using Grover's algorithm. Reformulated as a spatial search problem, this corresponds to searching the complete graph, or all-to-all network, for a marked vertex by querying an oracle. In this tutorial, we derive how discrete- and continuous-time (classical) random walks and quantum walks solve this problem in a thorough and pedagogical manner, providing an accessible introduction to how random and quantum walks can be used to search spatial regions. Some of the results are already known, but many are new. For large $N$, the random walks converge to the same evolution, both taking $N \ln(1/\epsilon)$ time to reach a success probability of $1-\epsilon$. In contrast, the discrete-time quantum walk asymptotically takes $\pi\sqrt{N}/2\sqrt{2}$ timesteps to reach a success probability of $1/2$, while the continuous-time quantum walk takes $\pi\sqrt{N}/2$ time to reach a success probability of $1$.


2006 ◽  
Vol 6 (3) ◽  
pp. 263-276 ◽  
Author(s):  
L. Fedichkin ◽  
D. Solenov ◽  
C. Tamon

We prove analytical results showing that decoherence can be useful for mixing time in a continuous-time quantum walk on finite cycles. This complements the numerical observations by Kendon and Tregenna (Physical Review A 67 (2003), 042315) of a similar phenomenon for discrete-time quantum walks. Our analytical treatment of continuous-time quantum walks includes a continuous monitoring of all vertices that induces the decoherence process. We identify the dynamics of the probability distribution and observe how mixing times undergo the transition from quantum to classical behavior as our decoherence parameter grows from zero to infinity. Our results show that, for small rates of decoherence, the mixing time improves linearly with decoherence, whereas for large rates of decoherence, the mixing time deteriorates linearly towards the classical limit. In the middle region of decoherence rates, our numerical data confirms the existence of a unique optimal rate for which the mixing time is minimized.


2008 ◽  
Vol 06 (04) ◽  
pp. 945-957 ◽  
Author(s):  
S. SALIMI

In the present paper, we study the continuous-time quantum walk on quotient graphs. On such graphs, there is a straightforward reduction of the problem to a subspace that can be considerably smaller than the original one. Along the lines of reductions, by using the idea of calculation of the probability amplitudes for continuous-time quantum walk in terms of the spectral distribution associated with the adjacency matrix of graphs [Jafarizadeh and Salimi (Ann. Phys.322 (2007))], we show that the continuous-time quantum walk on original graph Γ induces a continuous-time quantum walk on quotient graph ΓH. Finally, for example, we investigate the continuous-time quantum walk on some quotient Cayley graphs.


2020 ◽  
Vol 19 (10) ◽  
Author(s):  
Michael Manighalam ◽  
Mark Kon

Abstract Models of quantum walks which admit continuous time and continuous spacetime limits have recently led to quantum simulation schemes for simulating fermions in relativistic and nonrelativistic regimes (Molfetta GD, Arrighi P. A quantum walk with both a continuous-time and a continuous-spacetime limit, 2019). This work continues the study of relationships between discrete time quantum walks (DTQW) and their ostensive continuum counterparts by developing a more general framework than was done in Molfetta and Arrighi (A quantum walk with both a continuous-time and a continuous-spacetime limit, 2019) to evaluate the continuous time limit of these discrete quantum systems. Under this framework, we prove two constructive theorems concerning which internal discrete transitions (“coins”) admit nontrivial continuum limits. We additionally prove that the continuous space limit of the continuous time limit of the DTQW can only yield massless states which obey the Dirac equation. Finally, we demonstrate that for general coins the continuous time limit of the DTQW can be identified with the canonical continuous time quantum walk when the coin is allowed to transition through the continuous limit process.


2021 ◽  
Vol 8 (1) ◽  
Author(s):  
Jin-Hui Zhu ◽  
Li-Hua Lu ◽  
You-Quan Li

AbstractWe consider an continuous-time quantum walk on triple graphs with a potential well in one of the terminal sites on the main chain and study its dynamical properties in the open system by introducing a ‘spontaneous damping’ process between the terminal site and its nearest neighbour one. Calculating the stable probability of the terminal site and the time evolution of probabilities of the other sites on the main chain, we show that the system can manifest the factorization and coherence protection phenomena when the length and position of the side chain satisfy some concrete conditions. Furthermore we investigate the effect of disorder on the hopping strength and show that the existence of the disorder can destroy the coherence protection phenomena and increase the stable probability of the terminal site on the main chain.


Entropy ◽  
2021 ◽  
Vol 23 (1) ◽  
pp. 85
Author(s):  
Luca Razzoli ◽  
Matteo G. A. Paris ◽  
Paolo Bordone

Continuous-time quantum walk describes the propagation of a quantum particle (or an excitation) evolving continuously in time on a graph. As such, it provides a natural framework for modeling transport processes, e.g., in light-harvesting systems. In particular, the transport properties strongly depend on the initial state and specific features of the graph under investigation. In this paper, we address the role of graph topology, and investigate the transport properties of graphs with different regularity, symmetry, and connectivity. We neglect disorder and decoherence, and assume a single trap vertex that is accountable for the loss processes. In particular, for each graph, we analytically determine the subspace of states having maximum transport efficiency. Our results provide a set of benchmarks for environment-assisted quantum transport, and suggest that connectivity is a poor indicator for transport efficiency. Indeed, we observe some specific correlations between transport efficiency and connectivity for certain graphs, but, in general, they are uncorrelated.


2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Ernesto Campos ◽  
Salvador E. Venegas-Andraca ◽  
Marco Lanzagorta

AbstractWe present a new quantum heuristic algorithm aimed at finding satisfying assignments for hard K-SAT instances using a continuous time quantum walk that explicitly exploits the properties of quantum tunneling. Our algorithm uses a Hamiltonian $$H_A(F)$$ H A ( F ) which is specifically constructed to solve a K-SAT instance F. The heuristic algorithm aims at iteratively reducing the Hamming distance between an evolving state $${|{\psi _j}\rangle }$$ | ψ j ⟩ and a state that represents a satisfying assignment for F. Each iteration consists on the evolution of $${|{\psi _j}\rangle }$$ | ψ j ⟩ (where j is the iteration number) under $$e^{-iH_At}$$ e - i H A t , a measurement that collapses the superposition, a check to see if the post-measurement state satisfies F and in the case it does not, an update to $$H_A$$ H A for the next iteration. Operator $$H_A$$ H A describes a continuous time quantum walk over a hypercube graph with potential barriers that makes an evolving state to scatter and mostly follow the shortest tunneling paths with the smaller potentials that lead to a state $${|{s}\rangle }$$ | s ⟩ that represents a satisfying assignment for F. The potential barriers in the Hamiltonian $$H_A$$ H A are constructed through a process that does not require any previous knowledge on the satisfying assignments for the instance F. Due to the topology of $$H_A$$ H A each iteration is expected to reduce the Hamming distance between each post measurement state and a state $${|{s}\rangle }$$ | s ⟩ . If the state $${|{s}\rangle }$$ | s ⟩ is not measured after n iterations (the number n of logical variables in the instance F being solved), the algorithm is restarted. Periodic measurements and quantum tunneling also give the possibility of getting out of local minima. Our numerical simulations show a success rate of 0.66 on measuring $${|{s}\rangle }$$ | s ⟩ on the first run of the algorithm (i.e., without restarting after n iterations) on thousands of 3-SAT instances of 4, 6, and 10 variables with unique satisfying assignments.


Sign in / Sign up

Export Citation Format

Share Document