Abstract
One goal in the quantumwalk research is the exploitation of the intrinsic quantum nature of multiple walkers, in order to achieve the full computational power of the model. Here we study the behaviour of two noninteracting particles performing a quantum walk on the line when the possibility of lattice imperfections, in the form of missing links, is considered. We investigate two regimes, statical and dynamical percolation, that correspond to different time scales for the imperfections evolution with respect to the quantumwalk one. By studying the qualitative behaviour of three twoparticle quantities for different probabilities of having missing bonds, we argue that the chosen symmetry under particleexchange of the input state strongly affects the output of the walk, even in noisy and highly nonideal regimes. We provide evidence against the possibility of gathering information about the walkers indistinguishability from the observation of bunching phenomena in the output distribution, in all those situations that require a comparison between averaged quantities. Although the spread of the walk is not substantially changed by the addition of a second particle, we show that the presence of multiple walkers can be beneficial for a procedure to estimate the probability of having a broken link.
Introduction
In the field of quantum walks many results have been recently obtained, from both a theoretical^{1,2,3,4,5} and an experimental^{6,7,8,9,10,11,12,13,14} points of view. Being the quantum analogue of the classical random walk, the quantum walk^{15} is a simple yet interesting model that can be exploited in several ways. It has been proved that quantum walks can be used to implement quantum search algorithms^{16}, and they can be considered as a universal computational primitive^{17,18}. They have applications in the simulation of biological processes^{19}, and an equivalence with quantum lattice gas models^{20} has been proposed. It is worth to keep in mind that the scenario with only a single walker is however classically simulable, for example using coherent light instead of a singlephoton state in an optical implementation^{21,22}. In order to have a true quantum behaviour, that could possibly lead to computational protocols achieving an exponential speedup over their classical counterparts, the complexity introduced by the presence of more than one walker has to be considered (see for instance the short discussion in^{23}). From this perspective, the study of the emerging features of multiparticle quantum walks, together with an analysis of their resilience to nonperfect conditions (e.g. noisy or disordered environments), is of paramount importance. For example, it is well known that a quantum particle in a static disordered media cannot evolve arbitrarily far from its starting point, a phenomenon known as “Anderson localisation”^{24}. Such behaviour has been observed also for particles performing a quantum walk, and their localisation length does not considerably change even in the presence of interactions^{25,26,27}.
In this manuscript we focus on discretetime quantum walks of noninteracting particles. This model is based on the repeated application of a singlestep evolution operator, applied independently on both walkers. Such multiparticle scenario has been studied when a fixed unitary evolution is considered^{21,28,29,30,31,32,33}. Since this could not always be the case, it is interesting to study what happens with less stringent requirements. In the following we will consider the possibility of having missing links in the underlying structure (percolation graphs), modelling for example physical situations where one does not have perfect control over the lattice in which the walk takes place. Up to now, this scenario has been investigated by several authors only in the singleparticle case, approaching the problem from different perspectives: e.g. studying decoherence^{34} or disordered systems^{35}, modelling transport phenomena^{36}, or describing asymptotic behaviours^{37}.
The purpose of this paper is to understand how the possible absence of links (due, for instance, to a nonperfect experimental setup) could influence the evolution of multiple walkers, a fundamental step toward a complete exploitation of the quantumwalk model. In order to do so, we study the walk of two noninteracting particles, using as underlying lattice a simple line with bonds randomly missing with time. More precisely, on the one hand we want to see to what extent signatures of the presence of multiple walkers survive when percolation is considered, while on the other hand we are searching for possible advantages arising when dealing with two particles instead of one. To achieve the first goal, we qualitatively describe how different quantities depend upon the probability of having missing bonds and on the frequency with which the lattice changes. In particular, we will consider the final average distance between the walkers and the probability of finding both particles at the same location or exactly in their initial position, showing how their values strongly depend on the considered initial state (potentially entangled) even in noisy regimes with many broken links. Concerning the advantages of having a second walker we show that, although the spread of the walk is not considerably altered by the addition of a particle, there is a procedure to estimate the probability of having a missing link whose performance is often improved by its presence. Furthermore, from our study it emerges that a signature of enhanced bunching between the walkers in the output probability distribution does not necessarily imply the presence of entangled states symmetric under particleexchange. Since the symmetry condition is required by quantum indistinguishability, this observation is a warning against the possibility of gathering information about indistinguishability from the mere presence of bunching effects, at least in all those situations that deal with a random component in the evolution by considering averaged quantities. This is an important feature that has to be kept in mind also when studying more general manywalker scenarios in future research.
Let us point out that similar studies in more complex geometries, as higherdimensional lattices^{38} or graphs^{39}, could be of interest. However, being more computationally demanding, this is left as a possibility for future investigations. In the remainder of this introduction we will review some basic facts about quantum walks and imperfect lattices.
Singleparticle discretetime quantum walk without percolation. Let us briefly review the concept of discretetime quantum walk on the line. This can be thought as the quantum counterpart of a classical random walk, where at each step the walker can move left or right with a certain fixed probability. In this scenario, each step can be considered as composed of two parts: a (possibly biased) coin toss and a shift in the direction associated with the random output. Initially introduced in^{15}, for a more detailed discussion on the quantumwalk model we refer to^{1,2}.
Quantum mechanically the position of the walker is described by orthonormal quantum states , that span the Hilbert space , while the coin can be taken into account by adding a twodimensional Hilbert space , so that the global system can be described in . The coin toss can be realised by means of a fixed unitary operation applied to the C component of the system. Throughout this manuscript, we will use for this purpose the Hadamard matrix
expressed in the standard basis of the coin , whose states correspond to the classical idea of “head” and “tail”. This matrix represents the simplest choice for an unbiased walk, with no direction privileged by the unitary evolution. Although it has been shown that the Hadamard coin leads to all possible quantum walks if different starting states are considered^{40}, such equivalence is not guaranteed when percolation is introduced. Our choice has hence to be considered as motivated by the sake of simplicity. The second part of a single step corresponds to the shift of the walker in the lattice, toward a direction depending on the coin output. Formally, this can be written as the following operator acting nontrivially on the whole space :
where we wrote the position component in front of the coin component. We will keep the same order throughout the manuscript.
A single step of the evolution can therefore be obtained by applying the operator
to the vector , representing the initial state of the system. In order to obtain a different result with respect to a classical random walk, a measurement is performed in the position degree of freedom only after a certain number of steps N. The probability distribution characterising the result will be
where the subscript “1” reminds us that it represents the probability associated with a single walker. Without percolation, the Nstep evolution operator is simply obtained by exponentiating N times the singlestep operator U defined in Eq. (3). After the measurement, that instance of quantum walk will be considered as concluded with output given by (4). It is well known that the average distance travelled by a classical random walker scales with the number N of steps as , while for a quantum walker it scales linearly with it^{2}. A typical plot for the probability distribution of a quantum walk can be observed in Fig. 1a.
Notice that all coefficients appearing in the evolution operators (1) and (2) are real. This implies that the real and imaginary parts of the initial state (expanded in the basis , evolve independently. Therefore, a conjugation of the state amplitudes does not change the final probability distribution, a fact that will be used later on.
Percolation in 1D quantum walks. The situation previously described changes if we consider a lattice whose bonds can be randomly missing with time. Typically, in a percolation graph each bond is actually present only with a fixed probability , called “percolation parameter”, and the structure is periodically changed respecting such probabilistic constraint. For more information on percolation lattices and their applications we refer to^{41,42}. Depending on the frequency of the changes, there can be two extreme regimes of percolation: statical (different lattices for different walks) or dynamical (different lattice at each step). The first scenario can be associated with a time scale for the latticeimperfections evolution that is long with respect to the typical time required to finish a single walk, but small with respect to the average time needed between different runs of the apparatus. On the other hand, the regime of dynamical percolation appears when the imperfections in the lattice evolve so quickly that the missing bonds can change position even between consecutive steps of the same walk. In the following both these extreme cases will be considered.
In the presence of percolation, the evolution outlined in Eq. (3) must be changed to avoid crossing of missing bonds. To achieve this the step operator applied on the ith site is chosen as one of the following:
respectively when both neighbouring bonds are present, when the following or the previous one is missing, or when they are both missing.
Every time the lattice changes, the missingbonds positions are chosen randomly, so that eventually the output probability distribution has to be averaged over many different lattice sequences. As a result, the ballistic spreading typical of a quantum walk is lost, and the final probability distribution approaches that of a classical random walk^{34,35}, similarly to what happens with other decoherence models^{3,43,44}. An example can be seen in Fig. 1, where the outcomes of a 300step walk are shown in different percolation regimes. While in the standard quantum walk only odd (or even) positions can be occupied, there is no such constraint when the aforementioned strategy of time evolution with missing bonds is adopted. Notice also how in the dynamical case the spread of the Gaussianlike shaped distribution of the walker is much larger than the one of the statical output probability, which is narrowly peaked. This is a typical feature emerging in the two percolation regimes after a certain number of steps given approximately by , where is the average length of a connected segment of the line, representing the length scale over which percolation becomes relevant. After this point the walker evolves with a diffusive behaviour in a dynamical percolation regime^{34}, while in the statical one it remains always localised within a segment: the subsequent average leads to the narrowly peaked distribution of Fig. 1c , independently of the number of steps.
Noninteracting particles. In this last introductory section we present the formalism adopted throughout the paper to describe two noninteracting walkers. Using the same model of ^{29}, the global Hilbert space of the system is , where each can be expanded as . The singlestep operator characterising the evolution is chosen to be the singleparticle operator U defined in Eq. (3) (or modified close to the missing bonds according to the previous rule) applied independently to both systems:
where the label represents the Hilbert space of application. This choice guarantees that both particles evolve independently, without any kind of interaction. If the evolution takes place on a perfect lattice, is obtained from (5) via exponentiation, i.e., . This changes in the presence of dynamical percolation, because every step is characterised by a different step operator (associated with a different lattice).
In particular, in this manuscript we want to focus on indistinguishable particles, satisfying bosonlike or fermionlike statistics or just being classically impossible to discriminate when detected at the end of the walk. A comparison of the corresponding results will allow us to distinguish the features due to the quantum nature of the particles from those coming from the averaging process. Two singleparticle states and can be combined to describe two bosons or two fermions by taking as joint initial state their opportune symmetrisation:
where the indeterminate form is set to 0 by definition. The case of classically indistinguishable particles, instead, can be modelled by considering an initial separable state and by changing the measurement stage so as to make the final probability symmetric under particleexchange. This is done by considering a measurement involving the set of projectors
that leads to a probability distribution
Notice that when dealing with bosons or fermions the addition of the symmetrised term in the projector does not affect at all the output probability. With definition (8), the probability of finding one particle in position i and the other one in j ≠ i is given by , while the probability of finding them at the same location i is just . Such description is chosen in order to obtain an output distribution properly normalised to 1 on the whole plane . Given two singleparticle states , the output probability distributions obtained from (8) in the three cases (bosons, fermions or classically indistinguishable particles) can be labelled respectively by and . The dependence upon the states , k = 1, 2, will be dropped most of the time to simplify the notation, when there is no possibility of confusion. While the first two distributions cannot generally be expressed in terms of singleparticle outputs (4), for two classically indistinguishable particles the following equality holds:
as can be easily proved by using the factorised structure of both evolution (5) and projector (7).
It is worth noticing that not every entangled state in can be expressed in a symmetrised form as in (6). An example of bipartite state left out by that particular structure is
when i ≠ j. In the following, however, we will restrict our investigation to states of a symmetrised form as in (6), or to separable states , because we need a definition of , k = 1, 2, to compare with . Moreover, in order to maximise the multiparticle effects in our interactionfree model, we will always consider states with a localised common initial position: the origin. In addition to this, to avoid asymmetrical spreading, we will focus mainly on combinations of the two singleparticle coin states
that lead to the symmetric evolution shown in Fig. 1. With these conditions, the corresponding coin states for bosons, fermions and classically indistinguishable particles read
Notice that, with the initial state , relation (9) further simplifies: being and in Eq. (11) the complex conjugate of each other, their singleparticle output distributions are the same:
so that the joint probability becomes
Examples of the probability distributions obtained by using the initial states defined in Eq. (12) can be observed in Fig. 2, where typical bunching and antibunching behaviours can be noticed (see^{33} for an experimental realisation).
Results
We can now finally address the problem of considering the quantum walk of two indistinguishable and noninteracting particles in a onedimensional percolation lattice, where every run of the walk (in the statical case) or even every step (in a dynamical regime) takes place on a different underlying structure, randomly generated as described above. Considering a number of quantum walk realisations, the average output probability distribution reads
where index a runs from 1 to A. The evaluation of such quantity for different input states will be the basic tool adopted to characterise and study the behaviour of the walk. Usually the plots in this manuscript are obtained by averaging over a number of different outputs varying from to , depending on the precision required and on the complexity of the simulation. The obtained results do not qualitatively change in a significant way in that range. Moreover, they do not strongly depend upon the number of steps considered, that will typically be (we will explicitly point out the features that depend upon the parity of N). Therefore, we can use the obtained information to draw conclusions about the general qualitative behaviour of the walk. Our discussion will include three sections, addressing three different issues.
At first, we want to qualitatively describe the average output distribution obtained in different percolation regimes considering the symmetric input states of Eq. (12). The goal of this analysis is to gain a better intuitive understanding of the situation, pointing out the features that are due to the quantum interference between the particles (that arises for entangled initial coin states, associated with bosonic or fermionic statistics) and those effects whose presence is rooted in the average appearing in Eq. (15). In particular, we show how a signature of enhanced bunching between the walkers in the output distribution does not necessarily imply the presence of entangled states symmetric under particleexchange. This is therefore a warning against the possibility of gathering information about quantum indistinguishability from the mere presence of bunching effects.
In the second part of our discussion, we study how some quantities of interest depend upon the parameters of the problem (percolation regimes, probability of missing bonds and input states). In particular we focus on the average distance between the positions in which the particles are detected (D)^{29} and on the probability of finding them either in the same location (M), also called “meeting probability”^{30,45}, or exactly in the origin (C). On the one hand, this aims at capturing some particular aspects of the output by means of a few parameters that can be more easily interpreted and manipulated with respect to the whole probability distribution. Being the whole distribution impossible to plot for higher dimensions of the lattice or for a larger number of particles, in future research this kind of approach will become more and more common. From this perspective, our analysis aims at highlighting the qualitative trends that appear in the aforementioned quantities in different scenarios of interest, whose identification will ease the interpretation of future, more complex, results. On the other hand, we are interested to see if the behaviour of these quantities strongly depends upon the considered input state [chosen among (12)], implying the relevance that interparticle quantum interference maintains even in very noisy regimes. This fact, observed in particular for the meeting probability M, can be interpreted as a signature of resilience of multiparticle effects to structural imperfections.
Finally, in the third and last section, we search for possible advantages arising when considering a multiparticle quantum walk with respect to its singleparticle counterpart. At first we consider the singleparticle spread, showing that it cannot be improved by the addition of another particle. However, inspired by the qualitative behaviour of C that was previously found, we show how such quantity can be used in a procedure to estimate the percolation parameter (probability for each link to be present) whose performance can be improved by the presence of a second walker.
Analysis of bunching events
The typical behaviour of the average output distribution for classically indistinguishable particles, defined by evaluating Eq. (15) with the separable input state of Eq. (12), is plotted in Fig. 3 for dynamical and statical percolation. As can be appreciated, the two results are qualitatively dissimilar. In particular, we can notice how the distribution is more spread out over the allowed region in the dynamical case, while in the statical regime it is concentrated in a few particular points, mainly along the diagonal. This result can be interpreted by keeping in mind that in the first case the walkers spread in a diffusive way, while in every run of a statical regime they are localised on a small segment around the origin. The final distribution is then obtained by averaging the output of each run, whose detection probability is similar to Fig. 2c . This leads to the diagonal peaks visible in Fig. 3b , where the corresponding offdiagonal peaks of Fig. 2c disappeared because it is very unlikely to have a connected segment that extends far away from the origin in both directions. Similar considerations could be made for entangled coin states, representing bosonlike and fermioniclike statistics, if instead of Fig. 2c we consider as underlying coherent evolutions for example those given in Fig. 2a,b . From this analysis it emerges that the so called “bunching events”, associated with the detection of two particles at the same location, depend on the interplay between statistical average and effects of quantum interference between multiple walkers. In the following we want to formalise these considerations.
In order to properly define a peak (or a valley) in an output distribution, we need a reference probability to use as comparison. The peaks (or valleys) due to interparticle quantum interference can be evidenced by comparing the average probabilities , associated with the symmetrisation of two singleparticle input states and [see Eq. (6)], with the average probability , corresponding to classically indistinguishable particles starting from a separable input state obtained by taking the tensor product of the same and . Indeed, for a single run of the quantum walk, whose evolution is labelled by a, we can expand the probability of finding both particles in the same location as
From this, it follows that at least when [which is the case in the main situation of interest here, where the elements on the diagonal are larger (for bosons) or smaller (for fermions) than the diagonal elements in the corresponding probability for classically indistinguishable particles, as can be expected. Since this property holds for every index a, it is still true for the average probability distribution. This effect in a regime of dynamical percolation can be observed in Fig. 4.
On the other hand, the effect of the average can be understood by comparing with the symmetrised product of the two singleparticle average distributions . Surprisingly, in some situations the averaging procedure might induce an enhancement of the probability of bunching events, leaving a signature in the output distribution similar to the interference effect previously analysed. To see this, we can expand the probability around its mean value as
so that, for every lattice site j, the differences average to zero:
giving, for the average detection probability of two classically indistinguishable particles,
Usually when and lead to different probability distributions, or when offdiagonal terms i ≠ j are considered, the second line in (19) has not a fixed sign, so for it does not contribute significantly. This is no longer true when we consider diagonal terms for states with the same final distribution (e.g. and . In this case the second line in (19) is always positive, being a sum of squared terms. These contributions hence add up to create the peaks over the first term, which in the example provided is just equal to the product (see Eq. (14) and Fig. 5 for the resulting plots in a regime of dynamical percolation).
We expect that a similar behaviour can arise also with more complicated lattice structures affected by percolation. Therefore, whenever one deals statistically with such imperfections, it is useful to keep in mind that the mere averaging process could lead to an enhancement of the diagonal entries of the average probability distribution. Being aware of this fact can avoid the misinterpretation of such phenomenon as a bunching signature due to the quantum indistinguishability of the multiple walkers considered.
Qualitative analysis of three significant quantities in the presence of percolation
In what follows, we want to see how a few quantities depend upon the adopted percolation parameter p and the particleexchange symmetry encoded in the input states, for both dynamical and statical percolation regimes. In particular, we will focus on two walkers starting from the same position with initial coin states , or , defined in Eq. (12). For every considered quantity Q and for a set of equally spaced percolation parameters p, we will average the value obtained for a single lattice realisation over different configurations:
The uncertainty associated with such average will be then given by the standard error
Final average distance between the particles
A global property that can be analysed is the average distance between the positions where the two walkers are detected. Formally such quantity can be expressed as
Its numerical evaluation for different percolation parameters p is plotted in Fig. 6, for a 15step quantum walk. As can be expected, for any value of the percolation parameter, this quantifier for fermions is larger than the one for bosons, with an intermediate behaviour for the separable coin . This result agrees with the discussion in^{29}, that considered this same quantity without percolation.
If we consider the dependence upon p in the dynamical percolation regime, we can see that the average distance between bosons increases approximately in a linear way, with a small decrease just before . This can be interpreted as a tradeoff between two trends: on the one hand with less missing bonds the two walkers can move on a larger segment of the line, increasing the likelihood of finding them further away; on the other hand, if the two particles are less disturbed, their distribution approaches the one obtained without percolation (shown in Fig. 2a), characterised by a high degree of bunching. For fermions, instead, the same considerations add up increasing the average distance of separation, since they tend to show an antibunched distribution in the limit (Fig. 2b).
If a comparison is made between the plots obtained with dynamical and statical percolation for a 15step walk, one can notice that in the second regime the average distance between the particles is much smaller. This can be understood by thinking that with statical percolation in each run the particles are constrained to stay close to each other in a fixed region of space, whereas in the dynamical case they have always the chance of getting further away. The observed behaviour is hence typical once the number of steps is larger than the average length of the connected segment available to the walkers in a regime of statical percolation^{34}.
Meeting probability
Another global quantity, easier to obtain with respect to the previous one as it involves a smaller number of measurements, is the overall probability for the two walkers to be on the same position at the end of the walk. Such quantity, also called meeting probability^{30,45}, corresponds to the sum of the diagonal terms in the output probability distribution in Eq. (8):
The results obtained for a 15step quantum walk are plotted in Fig. 7 for both dynamical and statical percolation. We can notice how in the first scenario the meeting probability decreases for and slightly increases after this point, while in the statical case it is monotonically decreasing for all values of p. The minimum position in the dynamical case seems to depend on the number of steps, moving slowly toward when this is increased. However, even if this could look like a finitesize effect, we pushed simulations up to 80 steps, and have strong numerical evidence that the nonmonotonic behaviour would still be present even for a much larger number of steps. We can obtain an intuitive explanation for this fact by comparing the output of the walk in a perfect lattice (Fig. 2) with the “spreading” effect that dynamical percolation has on the output probability distribution (see Fig. 3a). Starting from the ideal case of , the addition of small amounts of imperfections makes the diagonal peaks of Fig. 2 spread, leading to a diminished meeting probability. This effect is much less important in a statical percolation regime, as can be appreciated in Fig. 3b. This is because in every lattice realisation the walk is coherent on a small segment of the line around the origin, and the percolation only averages such smallscale coherent evolutions. The overall result is that in this case the meeting probability depends monotonically upon p (see Fig. 7b).
From Fig. 7 we can also see how the quantum statistics of the particles heavily affects the meeting probability, even for small values of p. This shows that a signature of bosonic or fermionic multiparticle effects survives also in a noisy regime where the quantum walk tends to its classical counterpart.
Probability of finding both walkers in the origin
Finally, we consider a “local” property, i.e. that can be obtained through a measurement in a single position: the probability of finding both walkers in their initial starting point. In the following we will label it as
In addition to being more easily obtained with respect to the previous quantities, this one differs also because it depends on the parity of the number of steps N considered. Indeed, when , C is rigorously zero if N is odd, but this could not be the case if N is even. Being mostly interested in this quantity for its monotonic and regular behaviour, that can be exploited to estimate the percolation parameter p (see next section), we will focus only on odd numbers of steps in order to have a quantity varying in the maximum range [0, 1].
Intuitively, C will be close to 1 for small values of p, since both walkers are constrained by the missing bonds to stay close to the starting point, and it decreases with increasing p while the walk spreads further away, reaching zero for (for N odd). This behaviour is numerically confirmed by Fig. 8, that shows how C depends upon p for a 15step quantum walk affected by dynamical or statical percolation. We can see how in the first regime goes quickly to zero as soon as the imperfections are reduced. This can be explained with the diffusive behaviour of the walkers, that are allowed to quickly populate regions with i ≠ j in the plot (e.g. see Fig. 3a). The situation is different in the statical case, where the walkers move away from the origin in a more controlled way (e.g. see Fig. 3b), based once again on the typical length of connected lattice around the origin. The resulting plot for is monotonic with almost constant slope in the whole range [0, 1], as can be appreciated in Fig. 8b.
Search for multiparticle advantages
In this final section we want to discuss whether the addition of a second walker to the walk can lead to an immediate advantage in some task or protocol. As a first check we consider the possibility of having an improvement in the spread of the walk and show that this is not the case. For example, for every quantum statistics of the two particles involved there is always a singleparticle state leading to a larger spread. We then consider a more specific task, namely the estimation of the percolation parameter affecting the lattice, proposing a twowalker procedure that in certain regimes shows an advantage over its singleparticle counterpart.
Spread of the walk
The intuitive idea of spreading for a single walker, starting from a localised position i_{0}, can be well described by the quantity
where the initial coin state is not explicitly written. Notice that, if the walker evolves symmetrically, such quantity corresponds to the variance of the output distribution. How can we generalise this expression to the twowalker case? Also here, we are mostly interested in letting both particles start from the same lattice position. Indeed, since in our model there are no interactions, this situation is the one that could maximise the multiparticle effects. For this reason, we will consider here only the case where both walkers start from the origin (with arbitrary coin states). With this hypothesis, the straightforward generalisation of (25) for a generic fixed unitary evolution labelled by (i.e. for a given sequence of lattices) is
Once two singleparticle coin states have been fixed, we can label with , the spread corresponding to the different statistics of the particles, obtained by using in (26) respectively or . In the same way, with an overbar we will label the value of the spread averaged over many different lattice sequences in a percolation regime. The overall factor 1/2 in our definition (26) is introduced only to ease the comparison with the singlewalker spread of Eq. (25), because from Eq. (27) it follows
where two generic singleparticle coin states , are considered. This is a simple consequence of the fact that two particles initialised in a separable state spread independently under the evolution in Eq. (5). The fact that we cannot distinguish them in the measurement leads only to the average that appears in Eq. (27).
One can now wonder whether the presence of a proper quantum statistics, introduced by the symmetrisation of the vector describing the state, can somehow alter this result. In order to show that the situation does not considerably change, we consider an initial state
whose spread after steps (for a particular lattice sequence) can be written as
In this expression and are the two eigenvalues and eigenvectors of the coin state
obtained by tracing out the Hilbert space of the second particle. Moreover, the odd combination of two generic coin states , as well as the even one or separable one of two orthogonal coin states , yields the same spread as the two singleparticle symmetricalspreading states [defined in Eq. (11)]:
The proof of these facts can be found in Methods. Being orthogonal coin states leading to the same probability distribution, Eqs (27) and (31) imply
This means that there is no advantage, from the spread perspective, in considering two symmetricalspreading particles instead of just one, no matter what the statistics over particleexchange enforced in the input state by Eq. (6) is. From Eq. (31) it follows that only the bosonic statistics could a priori influence the spread, when two nonorthogonal singleparticle coin states and are symmetrised. However, Eq. (29) implies that there will always exist a singleparticle state with a spread at least as large as the one found with two bosons, because
We emphasise that such states could be different from both coin states and symmetrised at the beginning, and that the optimal k could depend on the explicit lattice realisation labelled by “a”.
All these results can be trivially extended to the spread averaged over many lattice configurations. In particular, for every initial coin states one has
in terms of and defined in Eq. (30).
Estimation of the percolation parameter
Here we want to explicitly consider the possibility of using some of the quantities described in section B to infer the value of the percolation parameter p that characterises the lattice imperfections. In order to do so, let us consider a certain event E, happening at the measurement stage of the quantum walk: e.g. both particles at the same location, both in the origin, etc. The probability of such event will depend on the explicit lattice realisation, and we will write it as , where runs over all the possible sequences of lattice configurations. Notice that here we are using instead of the previous a, to emphasise the fact that we are considering an effective lattice realisation and not of a simulation of it. has to be interpreted as the probability of the event considered, conditioned upon the th realisation of the lattice: . Therefore, the probability of E can be written as
This quantity, although difficult to obtain analytically, can be numerically estimated. Indeed, for the event “both particles in the same place” (or “both particles in the origin”) it would correspond to (20) [or (24)] in the limit of many different sequences of lattice configurations considered . In the following we will generically label this numerical estimate as , whose precision will depend on the number A adopted [see the standard error in Eq. (21)]. On the other hand, if one had access to an experimental setup of such quantum walk affected by percolation, after n runs of the experiment could be estimated via the quantity
where is the number of times in which E happened. This estimator is a stochastic variable, characterised by expectation value and variance given by
This can be shown by considering as the average of n independent and identically distributed variables, taking the value 1 with probability (when E happens in that single run) and the value 0 otherwise.
Our goal is to estimate the value of p through a measurement of , that estimates with an error . Exploiting the linear propagation of errors and the explicit expression of the variance given in Eq. (38), we can write the uncertainty in the estimation of p as
so that an upper bound yields a lower bound on the required number of runs :
The righthand side can be estimated by using , numerically obtained by considering a total number of sequences of lattices. In particular we can approximate
where the second term is obtained from a polynomial fit of the numerical samples . We point out that, despite Eq. (38), the expectation value of the righthand side of (41) coincides with the lefthand side only in the limit , making a biased but consistent estimator for .
In order to explicitly obtain the bound for different kinds of quantum particles, we considered the event “both walkers in the origin” for a 7step quantum walk in a regime of statical percolation. Indeed, having an almost constant slope over the whole region , is the best quantity among those studied in subsection B to estimate the value of p in that regime. Notice that here the number of steps N considered is reduced (with respect to the usual 15) to allow us to take a much larger value of A: for this analysis we randomly generated ~10^{5} percolation lattices. This guarantees that the total number of simulated configurations A is much larger than the total number of possible lattices, given by for the situation considered. We stress once again that in order to obtain plots qualitatively similar to Fig. 8b, leading to a good estimation strategy, it is important to consider an odd number of steps.
The singlewalker counterpart of the event here considered corresponds to detecting the particle in the origin at the end of the walk, and it can be used to infer p with the same procedure previously outlined. Therefore, we can compare the performances achieved using either one or two walkers initialised with different input exchange symmetries. In Fig. 9 we plotted the event probability and the bound for the input coin states defined in Eq. (12), corresponding to bosonlike, fermionlike statistics or to two classically indistinguishable particles. We can see how for the 7step walk considered, for values of the percolation parameter , there is an advantage in using two quantum particles instead of one. In particular bosons are optimal in the range , while fermions perform better below . We studied the dependence of such thresholds of bosons optimality upon N, considering walks with an odd number of steps between and . We found that p_{1} (p_{2}) decreases (increases) slightly with increasing N, with and varying respectively in the ranges [0.35, 0.44] and [0.78, 0.83]. This suggests that the range of bosons optimality could increase with the number of steps considered.
Finally, let us comment on the limit that Eq. (40) yields for or . The error (and therefore δp) is associated with a certain probability of finding the real value in that range, that for a small number of measurements n is actually unknown. Only for the central limit theorem applies, allowing us to interpret the obtained error as based on a well known Gaussian probability distribution. Moreover, the linear propagation of errors assumes small enough for the function to be considered approximately linear in that interval. Even if Eq. (40) seems to suggest otherwise, the scaling in Eq. (38) therefore requires to take large enough to satisfy the previous conditions.
Discussion
We studied the behaviour of a onedimensional quantum walk when the possibility of having missing bonds is considered together with the presence of a second walker. We focused on two percolation regimes, statical and dynamical, associated respectively with slowly and fast varying imperfections. Our numerical simulations have been averaged over many (typically ~5000 for a 15step quantum walk) different lattice sequences, realised by associating to each bond a probability of being present. Starting from two symmetricalspreading singlewalker states, we combined them in three different ways, in order to observe the behaviour of two bosons, fermions (showing interparticle interference), or simply two classically indistinguishable particles (with a nonsymmetrised quantum state).
We described how the bosonic (fermionic) quantum statistics of the walkers affects the final probability distribution, inducing the presence of characteristic peaks (valleys) in its diagonal values. This feature, easily observed through a comparison with the output of an unsymmetrised state, is not due to percolation but emerges as a consequence of the imposed exchange symmetry between two orthogonal singleparticle states. On the contrary, the remaining peaks that may still be observed in the distribution of two classically indistinguishable particles are due to a statistical effect of the average over different unitary evolutions, associated with diverse realisations of the underlying lattice structure. This shows how in the presence of percolation high probabilities of finding both walkers at the same position do not always imply a bunching phenomenon due to the bosonic nature of the particles.
The advantage of studying lowdimensional lattices with no more than two walkers is the possibility of representing the output detection probability in a 3D plot. This visual approach, however, cannot be extended to more complicated scenarios, involving multiple walkers and/or more complex structures. The search for quantities that could meaningfully describe some aspects of the walk behaviour, being at the same time easily accessible theoretically and experimentally, will therefore be of extreme importance in the future. Here we considered three of these quantities (final average distance, probability of finding both walkers at the same location or exactly in the origin) describing their qualitative behaviour for a symmetricalspreading twoparticle quantum walk with percolation. In particular we saw how they often depend strongly on the quantum statistics of the walkers even for low values of the percolation parameter p, fact that suggests the resilience of interparticle interference to very noisy conditions.
Searching for multiwalkers advantages, we considered at first the spread of the walk, focusing on the dependence upon the second particle more than on the decoherence introduced by the percolation. Our analysis shows how the addition of a second walker does not increase the spread, since there always exists a singleparticle state with a spread at least as large as the one obtained with two walkers. Moreover, for many cases of interest, i.e. for any couple of fermions and for bosons or classically indistinguishable particles obtained by combining two orthogonal singleparticle coin states, the spread is not affected by the quantum statistics of the walkers. In these cases it is equal to the spread of the two symmetric singleparticle coin states [defined in Eq. (11)].
We also proposed a procedure to estimate the value of the percolation parameter that characterises the amount of lattice imperfections. Due to the monotonicity and the regularity observed in Fig. 8b, it is worth to apply such strategy considering the detection of both particles in the origin in a regime of slowly varying imperfections, i.e., of statical percolation. For values of p not too large, we showed how the performance of the proposed estimation is enhanced by the presence of a second walker, that allows us to need a smaller number of experimental measurements in order to achieve a certain estimation precision.
This investigation considered for the first time the effects of possible missing links (that could happen, for instance, in an experimental setting) on the features of walks where the quantum nature of the involved particles is relevant. Due to the importance of quantum walks for the purposes of quantum computation and simulation, and in particular for the role that manywalkers complexity will have in the future, these results pave the way for a more complete understanding and a full exploitation of these models.
Methods
Comparison between singleparticle and twoparticle spread
Here we will provide a proof for Eqs (29) and (31). In the following the term singleparticle spread will always correspond to the quantity obtained from Eq. (25) by setting and we will use the shorthand notation and to represent respectively the singleparticle and the twoparticle output probabilities to detect the walkers in positions i and j. We will also drop the dependence upon the lattice realisation “a”.
Let us begin by showing that given two orthogonal coin states , characterising the initial conditions of two single walkers localised in the origin, their average spread depends only upon the unitary evolution and not on the basis of . Indeed, being
from Eq. (4) the sum does not depend on the choice of basis:
property that holds also for the average between the two singleparticle spreads. Therefore, given two particles starting from the origin with two orthonormal coin states :
being and .
We are now able to prove Eq. (29). Being symmetric under the exchange , the twoparticle spread defined in Eq. (26) only depends upon the marginal sum :
Using the symmetry under particle exchange of the evolved state
from Eq. (8) it follows
where the last two equalities follow from the definition of and as eigenvalues and eigenvectors of (30), using
The required equality in Eq. (29) then follows trivially from the spread definition (46).
Eventually, it can be easily proved that for every one has , , and that the same equality holds also for bosons if . Therefore, Eq. (31) is a consequence of Eqs (45) and (27).
Additional Information
How to cite this article: Rigovacca, L. and Di Franco, C. Twowalker discretetime quantum walks on the line with percolation. Sci. Rep. 6, 22052; doi: 10.1038/srep22052 (2016).
References
 1
J. Kempe . Quantum random walks: An introductory overview. Contemp. Phys. 44(4), 307–327 (2003).
 2
S. E. VenegasAndraca . Quantum walks: a comprehensive review. Quantum Inf. Process. 11(5), 1015–1106 (2012).
 3
V. Kendon Decoherence in quantum walks–a review. Math. Structures Comput. Sci. 17, 1169–1220 (Dec 2007).
 4
Y. Lahini, Y. Bromberg, D. N. Christodoulides & Y. Silberberg . Quantum correlations in twoparticle Anderson localization. Phys. Rev. Lett. 105, 163905 (Oct 2010).
 5
F. von Oppen, T. Wettig & J. Müller . Interactioninduced delocalization of two particles in a random potential: Scaling properties. Phys. Rev. Lett. 76, 491–494 (Jan 1996).
 6
M. Karski, L. Förster, J. M. Choi, A. Steffen, W. Alt, D. Meschede & A. Widera . Quantum walk in position space with single optically trapped atoms. Science 325 (5937), 174–177 (2009).
 7
H. Schmitz, R. Matjeschk, C. Schneider, J. Glueckert, M. Enderlein, T. Huber & T. Schaetz . Quantum walk of a trapped ion in phase space. Phys. Rev. Lett. 103, 090504 (Aug 2009).
 8
F. Zähringer, G. Kirchmair, R. Gerritsma, E. Solano, R. Blatt & C. F. Roos . Realization of a quantum walk with one and two trapped ions. Phys. Rev. Lett. 104, 100503 (Mar 2010).
 9
M. A. Broome, A. Fedrizzi, B. P. Lanyon, I. Kassal, A. AspuruGuzik & A. G. White. Discrete singlephoton quantum walks with tunable decoherence. Phys. Rev. Lett. 104, 153602 (Apr 2010).
 10
A. Schreiber, A. Gábris, P. P. Rohde, K. Laiho, M. Štefaňák, V. Potoek, C. Hamilton, I. Jex & C. Silberhorn. A 2D quantum walk simulation of twoparticle dynamics. Science 336(6077), 55–58 (2012).
 11
Y. C. Jeong, C. Di Franco, H. T. Lim, M. S. Kim & Y. H. Kim . Experimental realization of a delayedchoice quantum walk. Nat. Commun. 4, 2471 (Sept 2013).
 12
A. Peruzzo, M. Lobino, J. C. F. Matthews, N. Matsuda, A. Politi, K. Poulios, X. Q. Zhou, Y. Lahini, N. Ismail, K. Wörhoff, Y. Bromberg, Y. Silberberg, M. G. Thompson & J. L. O’Brien . Quantum walks of correlated photons. Science 329(5998), 1500–1503 (2010).
 13
Y. Lahini, M. Verbin, S. D. Huber, Y. Bromberg, R. Pugatch & Y. Silberberg . Quantum walk of two interacting bosons. Phys. Rev. A 86, 011603 (Jul 2012).
 14
P. M. Preiss, R. Ma, M. E. Tai, A. Lukin, M. Rispoli, P. Zupancic, Y. Lahini, R. Islam & M. Greiner . Strongly correlated quantum walks in optical lattices. Science 347(6227), 1229–1233 (2015).
 15
Y. Aharonov, L. Davidovich & N. Zagury . Quantum random walks. Phys. Rev. A 48, 1687–1690 (Aug 1993).
 16
N. Shenvi, J. Kempe & K. B. Whaley . Quantum randomwalk search algorithm. Phys. Rev. A 67, 052307 (May 2003).
 17
A. M. Childs . Universal computation by quantum walk. Phys. Rev. Lett. 102, 180501 (May 2009).
 18
N. B. Lovett, S. Cooper, M. Everitt, M. Trevers & V. Kendon . Universal quantum computation using the discretetime quantum walk. Phys. Rev. A 81, 042330 (Apr 2010).
 19
M. Mohseni, P. Rebentrost, S. Lloyd & A. AspuruGuzik . Environmentassisted quantum walks in photosynthetic energy transfer. J. Chem. Phys 129(17), 174106 (2008).
 20
R. P. Feynman & A. R. Hibbs Quantum Mechanics and Path Integrals. McGrawHill Companies (June 1965).
 21
P. P. Rohde, A. Schreiber, M. Štefaňák, I. Jex & C. Silberhorn . Multiwalker discrete time quantum walks on arbitrary graphs, their properties and their photonic implementation. New J. Phys. 13(1), 013001 (2011).
 22
H. Jeong, M. Paternostro & M. S. Kim . Simulation of quantum random walks using the interference of a classical field. Phys. Rev. A 69, 012310 (Jan 2004).
 23
P. P. Rohde . Are quantum walks the saviour of optical quantum computing? ArXiv eprints, arXiv:1010.4608 [quantph] (Oct 2010).
 24
P. W. Anderson . Absence of diffusion in certain random lattices. Phys. Rev. 109, 1492–1505 (Mar 1958).
 25
R. A. Römer & M. Schreiber . No enhancement of the localization length for two interacting particles in a random potential. Phys. Rev. Lett. 78, 515–518 (Jan 1997).
 26
K. Frahm, A.MüllerGroeling, J.L. Pichard & D. Weinmann. Scaling in interactionassisted coherent transport. Europhys. Lett. 31(3), 169 (1995).
 27
D. O. Krimer & S. Flach . Interactioninduced connectivity of disordered twoparticle states. Phys. Rev. B 91, 100201 (Mar 2015).
 28
P. K. Pathak & G. S. Agarwal . Quantum random walk of two photons in separable and entangled states. Phys. Rev. A 75, 032351 (Mar 2007).
 29
Y. Omar, N. Paunković, L. Sheridan & S. Bose Quantum walk on a line with two entangled particles. Phys. Rev. A 74, 042304 (Oct 2006).
 30
M. Štefaňák, T. Kiss, I. Jex & B. Mohring. The meeting problem in the quantum walk. J. Phys. A 39(48), 14965 (2006).
 31
J. K. Gamble, M. Friesen, D. Zhou, R. Joynt & S. N. Coppersmith . Twoparticle quantum walks applied to the graph isomorphism problem. Phys. Rev. A 81, 052313 (May 2010).
 32
S. E. VenegasAndraca & S. Bose . Quantum walkbased generation of entanglement between two walkers. ArXiv eprints, arXiv:0901.3946 [quantph] (Jan 2009).
 33
L. Sansoni, F. Sciarrino, G. Vallone, P. Mataloni, A. Crespi, R. Ramponi & R. Osellame . Twoparticle bosonicfermionic quantum walk via integrated photonics. Phys. Rev. Lett. 108, 010502 (Jan 2012).
 34
A. Romanelli, R. Siri, G. Abal, A. Auyuanet & R. Donangelo. Decoherence in the quantum walk on the line. Phys. A 347, 137–152 (2005).
 35
G. Leung, P. Knott, J. Bailey & V. Kendon . Coined quantum walks on percolation graphs. New J. Phys. 12(12), 123018 (2010).
 36
C. M. Chandrashekar & T. Busch . Quantum percolation and transition point of a directed discretetime quantum walk. Sci. Rep. 4, 6583 (2014).
 37
B. Kollár, J. Novotný, T. Kiss & I. Jex . Discrete time quantum walks on percolation graphs. Eur. Phys. J. Plus 129(5), 103 (2014).
 38
T. D. Mackay, S. D. Bartlett, L. T. Stephenson & B. C. Sanders . Quantum walks in higher dimensions. J. Phys. A 35(12), 2745 (2002).
 39
D. Aharonov, A. Ambainis, J. Kempe & U. Vazirani . Quantum walks on graphs. Proc. 33th ACM STOC pages 50–59 (2001).
 40
B. Tregenna, W. Flanagan, R. Maile & V. Kendon . Controlling discrete quantum walks: coins and initial states. New J.Phys. 5(1), 83 (2003).
 41
D. Stauffer & A. Aharony. Introduction to Percolation Theory. Oxford University Press, New York (1971).
 42
A. A. Saberi . Recent advances in percolation theory and its applications. Phys. Rep. 578, 1–32 (2015).
 43
A. Alberti, W. Alt, R. Werner & D. Meschede . Decoherence models for discretetime quantum walks and their application to neutral atom experiments. New J. Phys. 16(12), 123052 (2014).
 44
A. Ahlbrecht, C. Cedzich, R. Matjeschk, V. B. Scholz, A. H. Werner & R. F. Werner . Asymptotic behavior of quantum walks with spatiotemporal coin fluctuations. Quantum Inf. Process. 11(5), 1219–1249 (2012).
 45
B. D. Hughes. Random walks and random environments. Clarendon Press, Oxford (August 1995).
Acknowledgements
We thank M.S. Kim for useful comments and discussions. L.R. was supported by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/20072013) under REA grant agreement n° 317232. C.D.F. was supported by the UK EPSRC (EP/K034480/1).
Author information
Affiliations
Contributions
Both the authors made significant contributions to the concept, execution, interpretation, and preparation of the work.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Cite this article
Rigovacca, L., Di Franco, C. Twowalker discretetime quantum walks on the line with percolation. Sci Rep 6, 22052 (2016). https://doi.org/10.1038/srep22052
Received:
Accepted:
Published:
Further reading

A new kind of flexible quantum teleportation of an arbitrary multiqubit state by multiwalker quantum walks
Quantum Information Processing (2019)

Interacting TwoParticle DiscreteTime Quantum Walk with Percolation
International Journal of Theoretical Physics (2018)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.