We study quantum transport on finite discrete structures and we model the process by means of continuous-time quantum walks. A direct and effective comparison between quantum and classical walks can be attained based on the average displacement of the walker as a function of time. Indeed, a fast growth of the average displacement can be advantageously exploited to build up efficient search algorithms. By means of analytical and numerical investigations, we show that the finiteness and the inhomogeneity of the substrate jointly weaken the quantum walk performance. We further highlight the interplay between the quantum-walk dynamics and the underlying topology by studying the temporal evolution of the transfer probability distribution and the lower bound of long time averages.
The ground and excited state calculations at key geometries, such as the Frank-Condon (FC) and the conical intersection (CI) geometries, are essential for understanding photophysical properties. To compute these geometries on noisy intermediate-scale quantum devices, we proposed a strategy that combined a chemistry-inspired spin-restricted ansatz and a new excited state calculation method called the variational quantum eigensolver under automatically-adjusted constraints (VQE/AC). Unlike the conventional excited state calculation method, called the variational quantum deflation, the VQE/AC doe…
We have analytically obtained 1-particle density matrices for ideal Bose and Fermi gases in both the 3-D box geometries and the harmonically trapped geometries for the entire range of temperature. We have obtained quantum cluster expansions of the grand free energies in closed forms for the same systems in the restricted geometries. We have proposed a theorem (with a proof) about the generic form of the quantum cluster integral. We also have considered short ranged interactions in our analyses for the quasi 1-D cases of Bose and Fermi gases in the box geometries. Our theoretical results are ex…
Quantum walks are accepted as a generic model for quantum transport. The character of the transport crucially depends on the properties of the walk like its geometry and the driving coin. We demonstrate that increasing transport distance between source and target or adding redundant branches to the actual graph may surprisingly result in a significant enhancement of transport efficiency. We explain analytically the observed non-classical effects using the concept of trapped states for several intriguing geometries including the ladder graph, the Cayley tree and its modifications.
Matchgates are a group of two-qubit gates associated with free fermions. They are classically simulatable if restricted to act between nearest neighbors on a one-dimensional chain, but become universal for quantum computation with longer-range interactions. We describe various alternative geometries with nearest-neighbor interactions that result in universal quantum computation with matchgates only, including subtle departures from the chain. Our results pave the way for new quantum computer architectures that rely solely on the simple interactions associated with matchgates.
We consider the effect of different unitary noise mechanisms on the evolution of a quantum walk (QW) on a linear chain with a generic coin operation: (i) bit-flip channel noise, restricted to the coin subspace of the QW, and (ii) topological noise caused by randomly broken links in the linear chain. Similarities and differences in the respective decoherent dynamics of the walker as a function of the probability per unit time of a decoherent event taking place are discussed.
In some of the earliest work on quantum mechanical computers, Feynman showed how to implement universal quantum computation by the dynamics of a time-independent Hamiltonian. I show that this remains possible even if the Hamiltonian is restricted to be a sparse matrix with all entries equal to 0 or 1, i.e., the adjacency matrix of a low-degree graph. Thus quantum walk can be regarded as a universal computational primitive, with any desired quantum computation encoded entirely in some underlying graph. The main idea of the construction is to implement quantum gates by scattering processes.
The anyonic quantum walk is a dynamical model describing a single anyon propagating along a chain of stationary anyons and interacting via mutual braiding statistics. We review the recent results on the effects of braiding statistics in anyonic quantum walks in quasi-one dimensional ladder geometries. For anyons which correspond to spin-1/2 irreps of the quantum groups $SU(2)_k$, the non-Abelian species $(1<k<\infty)$ gives rise to entanglement between the walker and topological degrees of freedom which is quantified by quantum link invariants over the trajectories of the walk. The decoherence…
We report an enhancement of the decay rate of the survival probability when non-local initial conditions in position space are considered in the Quantum Walk on the line. It is shown how this interference effect can be understood analytically by using previously derived results. Within a restricted position subspace, the enhanced decay is correlated with a maximum asymptotic entanglement level while the normal decay rate corresponds to initial relative phases associated to a minimum entanglement level.
The problem of simulating through quantum walks Dirac fermions in arbitrary curved space-times and coordinates is revisited, taking (1 + 1)D space-times as an example. A new shift or translation operator on the grid is introduced, to take into account arbitrary geometries. The new, generalised quantum walks built with this operator can simulate Dirac fermions in arbitrary curved space-times and coordinates, and their wave functions have exactly the same number of components as standard Dirac spinors, and not twice that number, as previously believed. In particular, in $(1 + 1)$D space-times, o…
Iterated bipartite quantum games are implemented in terms of the discrete-time quantum walk on the line. Our proposal allows for conditional strategies, as two rational agents make a choice from a restricted set of two-qubit unitary operations. Several frequently used classical strategies give rise to families of corresponding quantum strategies. A quantum version of the Prisoner's Dilemma in which both players use mixed strategies is presented as a specific example. Since there are now quantum walk physical implementations at a proof-of principle stage, this connection may represent a step to…
In the setting of networked computation, data security can be a significant concern. Here we consider the problem of allowing a server to remotely manipulate client supplied data, in such a way that both the information obtained by the client about the server's operation and the information obtained by the server about the client's data are significantly limited. We present a protocol for achieving such functionality in two closely related models of restricted quantum computation -- the Boson sampling and quantum walk models. Due to the limited technological requirements of the Boson scatterin…
Quantum walks have been shown to have a wide range of applications, from artificial intelligence, to photosynthesis, and quantum transport. Quantum stochastic walks (QSWs) generalize this concept to additional non-unitary evolution. In this paper, we propose a trajectory-based quantum simulation protocol to effectively implement a family of discrete-time QSWs in a quantum device. After deriving the protocol for a 2-vertex graph with a single edge, we show how our protocol generalizes to a graph with arbitrary topology and connectivity. The straight-forward generalization leads to simple scalin…
We present a 2-local quantum algorithm for graph isomorphism GI based on an adiabatic protocol. By exploiting continuous-time quantum-walks, we are able to avoid a mere diffusion over all possible configurations and to significantly reduce the dimensionality of the visited space. Within this restricted space, the graph isomorphism problem can be translated into the search of a satisfying assignment to a 2-SAT formula without resorting to perturbation gadgets or projective techniques. We present an analysis of the execution time of the algorithm on small instances of the graph isomorphism probl…
This study investigate the unitary equivalence classes of quantum walks on cycles. We show that unitary equivalence classes of quantum walks on a cycle with $N$ vertices are parameterized by $2N$ real parameters. Moreover, the ranges of two of the parameters are restricted, and the ranges depend on the parity of $N$.
A quantum walk, \emph{i.e.}, the quantum evolution of a particle on a graph, is termed \emph{scalar} if the internal space of the moving particle (often called the coin) has a dimension one. Here, we study the existence of scalar quantum walks on Cayley graphs, which are built from the generators of a group. After deriving a necessary condition on these generators for the existence of a scalar quantum walk, we present a general method to express the evolution operator of the walk, assuming homogeneity of the evolution. We use this necessary condition and the subsequent constructive method to i…
The discrete-time quantum walk dynamics can be generated by a time-dependent Hamiltonian, repeatedly switching between the coin and the shift generators. We change the model and consider the case where the Hamiltonian is time-independent, including both the coin and the shift terms in all times. The eigenvalues and the related Bloch vectors for the time-independent Hamiltonian are then compared with the corresponding quantities for the effective Hamiltonian generating the quantum walk dynamics. Restricted to the non-localized initial quantum walk states, we optimize the parameters in the time-…
In this work we seek to generalize the connection between traversable wormholes and quantum channels. We do this via a connection between traversable wormholes and graph geometries on which we can perform quantum random walks for signal transmission. As a proof of principle, we give an example of a geometry for which quantum random walk signal traversal occurs exponentially faster than a standard ballistic classical traversal. We then generalize this connection to superpositions over holographic states, and argue that the quantum random walk/graph geometry picture works to study quantum channe…
Random walks describe diffusion processes, where movement at every time step is restricted to only the neighbouring locations. We construct a quantum random walk algorithm, based on discretisation of the Dirac evolution operator inspired by staggered lattice fermions. We use it to investigate the spatial search problem, i.e. finding a marked vertex on a $d$-dimensional hypercubic lattice. The restriction on movement hardly matters for $d>2$, and scaling behaviour close to Grover's optimal algorithm (which has no restriction on movement) can be achieved. Using numerical simulations, we optimise…
In this survey paper we give an intuitive treatment of the discrete time quantization of classical Markov chains. Grover search and the quantum walk based search algorithms of Ambainis, Szegedy and Magniez et al. will be stated as quantum analogues of classical search procedures. We present a rather detailed description of a somewhat simplified version of the MNRS algorithm. Finally, in the query complexity model, we show how quantum walks can be applied to the following search problems: Element Distinctness, Matrix Product Verification, Restricted Range Associativity, Triangle, and Group Comm…
Quantum walks exhibit properties without classical analogues. One of those is the phenomenon of asymptotic trapping -- there can be non-zero probability of the quantum walker being localised in a finite part of the underlying graph indefinitely even though locally all directions of movement are assigned non-zero amplitudes at each step. We study quantum walks with the flip-flop shift operator and the Grover coin, where this effect has been identified previously. For the version of the walk further modified by a random dynamical disruption of the graph (percolated quantum walks) we provide a re…
We consider the continuous-time quantum walk defined on the adjacency matrix of a graph. At each instant, the walk defines a mixing matrix which is doubly-stochastic. The average of the mixing matrices contains relevant information about the quantum walk and about the graph. We show that it is the matrix of transformation of the orthogonal projection onto the commutant algebra of the adjacency matrix, restricted to diagonal matrices. Using this formulation of the average mixing matrix, we find connections between its rank and automorphisms of the graph.
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…
We apply the recently suggested strategy to lift state spaces and operators for (2+1)-dimensional topological quantum field theories to state spaces and operators for a (3+1)-dimensional TQFT with defects. We start from the (2+1)-dimensional Turaev-Viro theory and obtain a state space, consistent with the state space expected from the Crane-Yetter model with line defects. This work has important applications for quantum gravity as well as the theory of topological phases in (3+1) dimensions. It provides a self-dual quantum geometry realization based on a vacuum state peaked on a homogeneously …
Transport properties play a crucial role in several fields of science, as biology, chemistry, sociology, information science, and physics. The behavior of many dynamical processes running over complex networks is known to be closely related to the geometry of the underlying topology, but this connection becomes even harder to understand when quantum effects come into play. Here, we exploit the Kossakoski-Lindblad formalism of quantum stochastic walks to investigate the capability to quickly and robustly transmit energy (or information) between two distant points in very large complex structure…
Quantum walk represents one of the most promising resources for the simulation of physical quantum systems, and has also emerged as an alternative to the standard circuit model for quantum computing. Up to now the experimental implementations have been restricted to single particle quantum walk, while very recently the quantum walks of two identical photons have been reported. Here, for the first time, we investigate how the particle statistics, either bosonic or fermionic, influences a two-particle discrete quantum walk. Such experiment has been realized by adopting two-photon entangled state…
