- Research
- Open Access
- Published:

# Robust quantum state engineering through coherent localization in biased-coin quantum walks

*EPJ Quantum Technology***volume 5**, Article number: 1 (2018)

## Abstract

We address the performance of a coin-biased quantum walk as a generator for non-classical position states of the walker. We exploit a phenomenon of *coherent localization* in the position space - resulting from the choice of small values of the coin parameter and assisted by post-selection - to engineer large-size coherent superpositions of position states of the walker. The protocol that we design appears to be remarkably robust against both the actual value taken by the coin parameter and strong dephasing-like noise acting on the spatial degree of freedom. We finally illustrate a possible linear-optics implementation of our proposal, suitable for both bulk and integrated-optics platforms.

Quantum walks, which generalize the well-known concept of random walks to the quantum domain, have recently attracted considerable attention in light of the possibility that they offer the capability to explore non-trivial phenomena in statistical mechanics [1], such as interference [2], localization [3–6] and tunnelling, and are able to establish entanglement among either the different degrees of freedom of a walker, or the parties of a multi-walker setting [7–13]. Quantum walk-based architectures for quantum computation have been proposed and theoretically explored [14], while the possibility to implement quantum simulation through schemes based on the dynamics of a quantum walker are currently being pursued both theoretically and experimentally.

In the last few years, the number of experimental validations of the quantum walk paradigm, and investigations towards its use for the coherent manipulation of information at the quantum mechanical level have flourished [15–29]. This therefore paves the way to the full exploitation of the possibilities offered by quantum walks for quantum state engineering in Hilbert spaces of large dimensions, which is in general a difficult task to pursue experimentally.

In this paper, we explore exactly such a possibility and exploit the statistical features of a discrete-time quantum walk to engineer non-classical states of an *N*-dimensional system. Specifically, we make use of special *coherent localization effects* induced on the position state of a quantum walker by choosing properly the operation describing the tossing of a coin. We demonstrate that high-quality coherent superpositions of fully position states of the walker can be arranged through this mechanism and simple post-processing operations. As the focus of our investigation is on quantum state engineering, we consider explicitly the finite-*N* case, and will not address explicitly the (undoubtedly relevant) scaling laws of the features that we discuss with the size of the walker space.

We also assess the robustness of our scheme against improper choices of the coin operation, showing that the scheme remains effective in a broad range of possible choices for such a transformation. Remarkably, such robustness extends to the effects of a dephasing environment that projects the state of the walker onto position states with no quantum coherence. Finally, we assess the experimental observability of the effects that we predict, showing that both bulk- and integrated-optics settings are suitable for such scope.

The remainder of this paper is organised as follows: Section 1 illustrates the basic features of the quantum walk at hand and present the effects induced by the use of a so-called Pauli *Ẑ* operator. This will be sufficient to provide an intuition of the physical influences that low-parameter coin operations have on the statistical features of the walk. Section 2 discusses the effects that deviations from the ideal conditions stated in Section 1 have on the features of the walk, and how postselection aids in generating superposition states of the walker’s position. Section 3 discusses the case of a special preparation of the walker, and how this results in a quantum coherent superposition of spatial distributions, while Section 4 illustrates a possible experimental implementation encompassing the features at the core of our analysis. Finally, Section 5 presents our conclusion.

## Quantum walk with SU(2) coin operation

The one-dimensional discrete-time quantum walk (DTQW) entails a ‘walker’ endowed with two distinct degrees of freedom: a spatial one, which we dub ‘position’, and an internal one, which embodies the ‘coin’ that is tossed to decide the direction of the movement of the walker. The position state refers to where the walker is, in relation to the centre of the line on which it is moving. In the case of a linear walk and a dichotomic coin, the basis of the Hilbert space for such degrees of freedom are \(\mathcal{H}_{p} :\{ \vert {n} \rangle _{p} ; n \in\mathbb{Z}\}\) and \(\mathcal{H}_{c} :\{ \vert {0} \rangle_{c}, \vert {1} \rangle_{c}\}\), respectively.

Each step of the evolution comprises a coin-tossing operation and a position shift. The first can be formally described using the unitary coin transformation

with \(\hat{X},\hat{Y},\hat{Z}\) the \(x,y,z\) Pauli spin operator acting in \({\mathcal {H}}_{c}\). Although this is not the most general form of coin operation that can be devised, it captures the essence of the features that we aim at addressing in this work. Typically, the Hadamard coin \(\hat{C}_{c}(\pi/4)\) is used, which yields equal probabilities for the walker to move leftward or rightward [30]. The shift operator \(\hat{P}_{p}\) acts on the position of the walker by displacing it conditionally on the state of the coin. We thus consider the joint operation as

We adopt a description based on density matrices right from this point, where \(\hat{\rho}_{pc}(t)\) is the joint state of walker and coin at the discrete time *t* of their evolution. With the notation introduced above we have

Unless otherwise specified, it is intended that at the end of the walk the coin is traced out to leave room for an analysis of the statistical properties of the spatial degree of freedom. In this context, a key quantity in the study of quantum walk dynamics is the probability \(P(n)={}_{p} \langle{n} \vert \operatorname{Tr}_{c}[\hat{\rho}_{pc}(t)]\vert {n} \rangle_{p}\) that position *n* in the position space is occupied at the discrete time *t*.

The one-dimensional DTQW with a Hadamard coin (dubbed here a Hadamard walk) has been the focus of extensive research activities both at the theoretical and experimental level [1, 31]. The most striking feature of a Hadamard walk is the quadratic growth of the variance of the walk with the size of the lattice, a property that makes the DTQW very useful for the design of faster-than-classical search algorithms.

On the contrary, walks with \(\theta\neq\pi/4\) (thus resulting in unequal chances for the walker to move leftward and rightward) have received only limited attention [30]. Yet, interesting features emerge from considering biased coin operations. Most noticeably, for an *N*-step DTQW achieved using \(\hat{C}_{c}(\theta)\), the variance of the walk has been shown to vary as [30]

which, for \(\theta\in[0,\pi/4)\), is larger than that of a Hadamard walk. Notice that the initial state considered in Ref. [30] is the factorized pure state

with \(\vert {\phi} \rangle_{c}=\frac{1}{\sqrt{2}} ( \vert {0} \rangle + i\vert {1} \rangle)_{c}\).

Our goal is to further explore the features of a low-*θ* walk to see what properties of the walk depend on this choice of coin operation, and the extent of the control that can be operated on the walk through the tuning of such operation. The behaviour for low-*θ* described by Eq. (4) can be intuitively understood considering the limit case of \(\theta=0\), corresponding to a Pauli \(\hat{Z}_{c}\) coin operation. For a generic initial pure state of the walker \(\vert {\psi_{0}} \rangle_{p}\), the state of the system after *t* steps reads

where the walker states \(\vert {\psi_{\pm t}} \rangle _{p}\) are defined as the initial state \(\vert {\psi_{0}} \rangle_{p}\) displaced by ±*t* steps in the position space \(\mathcal{H}_{p}\)

If the initial state has support over a finite *M* of sites, then the state in Eq. (6) is maximally entangled between the coin and the walker for any \(t > \lceil M/2 \rceil\), regardless of the specific shape of the initial wave function. The state of the walker is rigidly displaced towards the extremes of \(\mathcal{H}_{p}\). Therefore, if the initial state \(\vert {\psi_{0}} \rangle_{p}\) is localised in the position state, we have a coherent superposition of two states localized towards the opposite ends of the walker line. In addition, the absence of quantum interference in the position space explains the larger variance of the \(\hat{Z}_{c}\)-walk with respect to the Hadamard walk, as per Eq. (4).

## Deviations from an ideal \(\hat{Z}_{p}\)-walk

Given the behaviour just described, a natural question arises: are the main features of the \(\hat{Z}_{c}\)-walk - namely, the generation of maximal entanglement and large variance - robust against imperfections? Here we will focus on two main sources of imperfections. First, we will consider the case in which the coin parameter *θ* is different from zero. Second, we will take into account the detrimental effect of noise on the walk.

### Robustness to small *θ* deviations

We first look at the ideal scenario corresponding to the full absence of noise and arbitrary *θ*, in order to gain insight into the phenomenology of the walk. Considering the initial state in Eq. (5), Figure 1 shows the probability distribution \(P(n)\) of finding the walker at the *n*th site of a lattice after \(N=100\) steps when the coin parameter is increased.

The effects of such variations on the probability distribution of the walk are significant: As *θ* increases from \({\pi}/{4}\), the spread of the walk decreases, while a decrease of *θ* from the value corresponding to a Hadamard walk results in the walker being able to spread faster and visit more sites of the lattice, in line with Ref. [30]. Remarkably, for small values of the coin parameter, the walker manages to explore all the sites on the line, with the lobes of the probability distribution reaching the opposite ends of the position space [cf. Figure 1(d)]. Similarly to what is observed for the ideal \(\hat{Z}_{c}\)-walk, there is a strong modification of the interference mechanism responsible for the features of a quantum walk. This results in a significant reduction of the probability for the walker to occupy sites on the lattice that are different from those close to the end of the position space. A closer look reveals that a small value of the coin parameter effectively localizes the walker around \(n=\pm N\) in a coherent way (the underlying dynamics of the walker is fully unitary, at this stage), although the probability for the walker to occupy *exactly* such end sites appears to depend on the size of the position space itself.

In order to characterize this feature, we use the state fidelity [32]

between the reduced state of the walker \(\hat{\rho}_{p}(N)= \operatorname{Tr}_{c}[\hat{\rho}_{pc}(N)]\) and a chosen target state of the form \(\vert {T(l)}\rangle_{p}=(\vert {+l} \rangle_{p}+s\vert {-l} \rangle_{p})/\sqrt{2}\) (with \(s=\pm1\) and \(l\in{\mathbb {N}}\)). As *θ* grows, we find that the fidelity with \(\vert {T(l)} \rangle\) improves by considering decreasing values of *l*. This is shown in Figure 2(a), where we have taken the target states \(\vert {T(N-k)} \rangle_{p}\) (for \(k=0,1,2,\dots\)) and plotted \(\max_{s}\max _{k}{\mathcal {F}}(N)\) against the value taken by the coin parameter and for growing sizes of the the position space. We consider these superposition states for comparison with the projected case and on the basis of the insight given by the analytical solution for \(\theta=0\), see Eq. (6). While the fidelity with the state with \(k=0\) decreases as the coin parameter grows, the state of the position degree of freedom becomes close to coherent superposition states with growing values of *k*, as witnessed by the *ripples* displayed in Figure 2(a).

Notice that, in the case of a \(\hat{Z}_{c}\)-walk, the walker-coin entanglement and the rigid translation of the initial state towards the extremes of the walker line implies a final walker state \(\hat{\rho}_{p}(N)=\frac{1}{2}(\vert {N} \rangle\langle{N} \vert +\vert {-N} \rangle\langle{-N} \vert )\). The latter has a fidelity \(\mathcal{F}=1/2\) for \(k=0\) independently of *N* which explains the low fidelity of Figure 2(a). We can see that, in case of low *θ*, the residual entanglement established between coin and position of the walker prevents the state of the walker from exhibiting strong coherences between \(\vert {N-k} \rangle\) and \(\vert {-N+k} \rangle\). The absence of such coherences is the factor limiting the values taken by the fidelity studied in Figure 2(a). The situation can be significantly modified if we slightly change our approach to the determination of the position state of the walker: rather than tracing out the coin after the *N*-step walk, we projectively measure the coin state in the basis determined by \(\{ \vert {\phi} \rangle_{c}, \vert {\phi_{\perp}} \rangle_{c}\equiv\frac{1}{\sqrt{2}} ( i\vert {0} \rangle +\vert {1} \rangle)_{c}\}\). That is, we consider the conditional position state

where \(j=0,1\) and \(\hat{\Pi}^{0}_{c}\equiv \vert {\phi} \rangle\langle{\phi} \vert _{c}\) and \(\hat{\Pi}^{1}_{c}\equiv \vert {\phi_{\perp}} \rangle\langle {\phi_{\perp}} \vert _{c}\). Notice that in the case of a \(\hat{Z}_{c}\)-walk, one has

which shows strong coherences in the position basis. Here \(\tau^{j}_{p}(N)=\vert {T(N)} \rangle\langle{T(N)} \vert _{p}\) is the density matrix of a walker prepared in a superposition over the end sites of the lattice. This feature is preserved for the case of low *θ*, as demonstrated in Figure 2(b), where the fidelity \(\max_{s}\max_{k}{\mathcal {F}}(N)\) with the target states \(\tau^{j}_{p}(N-k)\) (where \(k= 1,2,3,\ldots\)) is substantially larger than the corresponding one for the unconditional state over the whole range of lattice size that we have considered. The analysis at set size of the position space and changing *θ* presented above is completed by the complementary study against the size of the walker space showcased in Figure 3(a)-(d). Figure 2(b), Figures 3(c)-(d), and Eqs. (9) and (10), showing that the high level of walker-coin entanglement determines coherent superpositions of localised states - implying that the main features of the \(\hat{Z}_{c}\)-walk are retained also for small deviations of the coin parameter from \(\theta=0\).

### Robustness to dephasing noise

The striking differences between the probability distribution for small-*θ* DTQW and the one associated with a Hadamard walk persist under the influences of relevant forms of noise on the walk itself. In light of the transport-like nature of the DTQW mechanism, and the core role played by interference in the establishment of this salient feature, it is appropriate to focus on a dephasing-like channel \(\Phi^{t}_{p}[\hat{\rho}_{pc}(t)]\) affecting the position degree of freedom only and that transforms the state \(\hat{\rho}_{pc}(t)\) of the walker at time *t* into

where \(\beta_{t}\in[\delta,1]\) is a discrete time-dependent noise parameter, whose value we chose randomly at every step of the walk, and \(\hat{\varrho}^{k}_{c}(t)=\langle{k} \vert \hat{\rho}_{pc}(t) \vert {k} \rangle\) are operators in \({\mathcal {H}}_{c}\). Here, \(\delta\in[0,1]\) determines the range of probabilities within which \(\beta_{t}\) is chosen at a given step of the evolution. We choose \(\beta_{t}\) to be a random variable to ensure our theory and results are more consistent with what we would recover in an experimental setting. It is unlikely that there would be a constant, fixed value for the amount of noise within an experiment. Most likely it will fluctuate within a range, which we allow for by our choice of \(\beta _{t}\). In what follows, we will refer to the amplitude \(f=1-\delta\) of such range as the *noise amplitude*. Therefore, at step *t* (with probability \(\beta_{t}\)) the mechanism that we consider leaves the state of the walker unaffected. With a complementary chance it renders it an incoherent admixture of position states, thus erasing any previously set spatial coherence. The dynamics of the walker thus proceeds as follows

By varying the range within which the values of the set \(\{\beta_{t}\}\) are taken, we go from the ideal case with no noise, to the maximum noise interval with substantial dephasing effects.

Previous investigations focused on the Hadamard walk have shown that, in the presence of maximum noise, the distribution \(P(n)\) tends to the Gaussian distribution for a classical walk [33]. On the other hand, small amounts of noise have been shown to be beneficial for the spreading of the walker’s distribution, thus demonstrating dephasing assisted-like walk [34]. Here we aim at exploring the resilience of the localization effect observed at small values of *θ* when the walk is affected as in Eq. (12).

It is instructive to first consider analytically the behaviour of a \(\hat{Z}_{c}\)-walk in the presence of full dephasing noise, where \(\beta _{t}\) is a constant rather than a random variable (*i.e.*, \(\theta=\beta _{t}=0\)). Considering a generic initial pure state for the walker \(\vert {\psi_{0}} \rangle_{p}\), a straightforward calculation shows that after *t* steps the state of the system is given by

In the equation above we have defined the following displaced states of the initial walker state, devoid of all its coherences

Eq. (13) is the incoherent counterpart of Eq. (6) and it shows that, in the presence of full dephasing noise, the system evolves towards an incoherent mixture of the two rigid translations of the walker initial state (devoid of all its coherences). If the initial state is localised in position, we thus have an incoherent mixture of two localised states. Evidently, this is at odds with the behaviour of the Hadamard walk in the presence of full noise, which is instead characterised by a Gaussian like distribution in position. The reason for this discrepancy is that, in the \(\hat{Z}_{c}\)-walk, the coin acts *de facto* as a label that allows to rigidly translate the initial state of the walker towards the opposite ends of the position space, just as we have seen also for the ideal case of Eq. (6). Both cases are then characterized by a localization effect at the extremes of the position space.

Focussing now on the case of intermediate noise and arbitrary coin parameter *θ*, Figure 4 summarises the findings of our investigation. For \(\theta\ge\pi/4\), increasing noise strengths drive \(P(n)\) towards a Gaussian-like distribution that is reminiscent of classical walks. In contrast with this, the localization resulting from the use of small coin parameters survives to arbitrary dephasing strengths, albeit enhancing the probability to find the walker at positions far from the end-lattice ones with respect to the \(\hat{Z}_{c}\)-walk (Figure 4 only shows a specific instance that does not affect the generality of our conclusions).

## Quenched spreading of DTQW with a small coin parameter

The localization features discussed in the previous sections can be used for the sake of preparing interesting position states of the walker, or to preserve them from the natural dispersion entailed by the walk. Specifically, we first show that the small-coin parameter walk is able to *filter* high-quality coherent superposition states from specific initial position states of the walker.

We start assessing the performance of a walker prepared in superpositions of spatial states. In this section we will see the quantum random walk whose initial position state is a superposition over the Gaussian and uniform distributions. For the Gaussian distribution, the initial position state is

where \(\mathcal{N_{G}}\) is the normalisation constant and Σ is the standard deviation of the Gaussian. Figure 5(a) shows the probability distributions for \(\Sigma=10\) and \(\theta =\pi/20\), which is chosen here for convenience and clarity of presentation of the results.

Quite clearly, two Gaussian peak appear, both of standard deviation Σ, separated roughly by 2*N*. These features should be taken as canonical and valid for other choices of the coin parameter and lattice size. As for the case of a walker starting from the origin of the lattice, though, the distribution \(P(n)\) thus found is actually associated with a state that is virtually deprived of coherences. A close inspection of the density matrix of the position degree of freedom only, in fact, reveals the virtual absence of off-diagonal elements. As done in the case of a walk starting from the origin of the lattice, we can enhance the quantum coherence in the position state of the system by projecting the coin onto \(\vert {\phi} \rangle_{c}\). This delivers a state that is very close to the quantum coherent superposition of spatial Gaussian distributions as

Using again state fidelity as a figure of merit for the closeness of the walker’s position state to \(\vert {T} \rangle_{p}\), we find the results reported in Figure 5(b), which demonstrate the very high quality of the conditional state within quite a large range of lattice sizes. Fidelity remains above 92% for \(N\simeq80\), a result that appears to be only very weakly affected by an increase in the variance of the initial Gaussian distribution.

On the other hand, the addition of dephasing noise strongly affects the features of the conditional position states. In Figure 5(c) we see that already for \(\{\beta_{t}\}\in [0.9,1]\), the fidelity between the noiseless conditional state and the corresponding noise-affected one drops to ≃0.22.

## Experimental proposal

Here we present a brief description of a set up that can be used to implement a quantum walk scheme able to generate the sort of coherent state superpositions addressed in our analysis so far. In Figure 6(a) we show the optical spatial representation for a 1D DTQW. In this implementation, the coin is embedded into the walker’s degree of freedom, which is embodied by the position of a light pulse, going through a multi-layer interferometer, on a detection line. The walker performs the first step by impinging on a beam splitter with a set reflectivity *θ*. This effectively implements the coin-tossing operation, and prepares the coin state. The light beam is thus split into a superposition of directions, conditionally on such a coin operation.

In order to reproduce the DTQW evolution with initial state \(\hat{\rho}_{pc}(0)\) in Eq. (5), we propose the following approach: a first coin operation is implemented to generate the state \(|\phi \rangle_{c}\). This can be done through a \(50:50\) beam splitter (i.e. we set the reflectivity ratio \(\theta= \pi/4\)). The outputs are then recombined to enter the first beam splitter of the walk [step 0 in Figure 6(a)]. This is followed by the DTQW optical scheme, as in Figure 6(a), where the beam splitters implementing the necessary series of coin tossing operations have a set reflectivity ratio of \(\theta\ll1\). The process continues up to step *N* [cf. Figure 6(b)]. In order to project on the initial coin state, after the final step, we project over the initial coin state inserting another row of beam splitters with \(\theta= \pi/4\) and detecting on the output corresponding to \(\frac{1}{\sqrt {2}}(|0\rangle+i|1\rangle)\).

In this context, an experimental test of the resilience of the localization phenomenon highlighted in this work can be performed by simulating dephasing noise on the position degree of freedom of the walk, which can be effectively implemented by inserting random phases \(\phi_{n,k}\) between the beam splitters of consecutive walk steps. Here *n* is the step index and *k* the index of the modes into which the walker is split at a given step of the walk. The strength of such noise will be related to the rate with which we pick each phase between values \((0;2\pi]\) instead of choosing 0.

A possible platform of the implementation of this scheme is provided by integrated optical waveguide technology [3–6], where beam splitting operations are realised by optically *writing* on a chip a set of mode couplers, whose mixing ratio (equivalent to our coin parameter), can be chosen during the writing process. The main limitation of this architecture is the strength of losses experienced by a photonic signal propagating through. However, Ref. [35] shows that integrated photonic architectures affected by standard fabrication and and propagation losses would allow for as many steps of a walk-like dynamics as 32 with only insignificant effects on the quality of the output walker state. The degree of reconfigurability of the large integrated-waveguides arrays is currently very limited, which would put some constraints to the possibility of simulating the effects of noise.

A potential way around such limitations is provided by fiber-integrated setups exploiting time-multiplexing approaches. In this configuration, the encoding of the walker is done exploiting the temporal degree of freedom and the coin using polarisation or path degrees of freedom of optical signals. The conditional shift of the walker over the position space can be mapped into earlier and later arrival time given by two different path lengths [28, 29]. This might be realized using coupled loop cavities of different radius, such as in Ref. [36]. This approach would also be suitable for a dynamically variable phase to simulate noise in the system, enjoys more flexibility than integrated-waveguides settings, offering a potentially fruitful ground for the simulation of the noise effects addressed here, where averaging over many noise patterns would be needed. In order to project over the initial coin state either the last coin operation can be dynamically tuned back to \(\theta= \pi/4\) via an electro-optical modulator (EOM) or the outputs can interfere over a beam splitter with \(\theta= \pi /4\). The output will consist of a sequence of pulses in time-bins given by the size of the loops; the detection can be achieved through a single-photon avalanche diode with a time-to-digital converter that records the detection time relative to the initial pulse generation. The low losses in such a fibre implementation (Ref. [36] reports a high-fidelity quantum walk of up to 62 steps) would allow for the preparation of a superposition state of the form at the core of our study after 20-30 steps evolution.

Finally, we point out that Ref. [37] provides an exact, analytical methodology for the preparation of arbitrary states of a quantum walker through only passive linear-optics transformation. This would thus provide the way to engineer initial states of the walker such as the one in Eq. (15).

## Conclusions

We have highlighted a phenomenon of coherent localization of the position of a quantum walker in its position space taking place when the parameter of the coin operation is chosen to be small. Such effect, which is a consequence of the enhanced variance of the quantum walk distribution resulting from the use of a small coin parameter [30] turns out to be a remarkably efficient way to postselect important types of non-classical states. Our scheme offers features of robustness against the range of choices of the coin parameters, and the dephasing noise that might affect the position degree of freedom, while being suitable for agile experimental implementations in state-of-the-art linear optics experiments. Our study paves the way to the investigation of quantum state engineering based on the exploitation of the statistics of quantum walk processes, and reinforces the versatility of such mechanisms for low-control coherent operations on systems spanning naturally large Hilbert spaces.

*Note added* - While completing this work, we became aware of the work by W.-W. Zhang *et al.*, where the absence of dispersion for delocalised initial states is used to engineer coherent superpositions of position states [38].

## References

- 1.
Kempe J. Contemp Phys. 2003;44:0303081.

- 2.
Jeong H, Paternostro M, Kim MS. Phys Rev A. 2004;69:012310.

- 3.
Anderson P. Phys Rev. 1958;109:1492.

- 4.
Crespi A, Osellame R, Ramponi R, Giovannetti V, Fazio R, Sansoni L, De Nicola F, Sciarrino F, Mataloni P. Nat Photonics. 2013;7:322.

- 5.
Joye A. 2012. arXiv:1209.4190.

- 6.
Asch J, Bourget O, Joye A. J Stat Phys. 2012;147:194.

- 7.
Venegas-Andraca SE, Bose S. 2009. arXiv:0901.3946.

- 8.
Goya SK, Chandrashekar CM. J Phys A. 2010;43:235303.

- 9.
Carneiro I, Loo M, Xu X, Gired M, Kendon V, Knight PL. New J Phys. 2005;7:156.

- 10.
Abal G, Romanelli A, Dinangelo R. Phys Rev A. 2006;73:042302.

- 11.
Annabestani M, Abolhasani MR, Abal G. J Phys A. 2010;43:075301.

- 12.
Di Franco C, McGettrick M, Busch T. Phys Rev Lett. 2011;106:080502.

- 13.
Di Franco C, McGettrick M, Machida T, Busch T. J Comput Theor Nanosci. 2013;10:1613.

- 14.
Childs A. Phys Rev Lett. 2009;102:180501.

- 15.
Preiss PM, Ma R, Tai ME, Lukin A, Rispoli M, Zupancic P, Lahini Y, Islam R, Greiner M. Science. 2015;347:1229.

- 16.
Fukuhara T, SchaußP, Endres M, Hild S, Cheneau M, Bloch I, Gross C. Nature. 2013;502:76.

- 17.
Karski M, Förster L, Choi J-M, Steffen A, Alt W, Meschede D, Widera A. Science. 2009;325:174.

- 18.
Schmitz H, Matjeschk R, Schneider C, Glueckert J, Enderlein M, Huber T, Schaetz T. Phys Rev Lett. 2009;103:090504.

- 19.
Xue P, Sanders BC, Leibfried D. Phys Rev Lett. 2009;103:183602.

- 20.
Zähringer F, Kirchmair G, Gerritsma R, Solano E, Blatt R, Roos C. Phys Rev Lett. 2010;104:100503.

- 21.
Bouwmeester D, Marzoli I, Karman GP, Schleich W, Woerdman JP. Phys Rev A. 1999;61:013410.

- 22.
Cardano F, Massa F, Qassim H, Karimi E, Slussarenko S, Paparo D, de Lisio C, Sciarrino F, Santamato E, Boyd RW, Marrucci L. Sci Adv. 2015;1:e1500087.

- 23.
Perets HB, Lahini Y, Pozzi F, Sorel M, Morandotti R, Silberberg Y. Phys Rev Lett. 2008;100:170506.

- 24.
Nitsche T, Elster F, Novotný J, Gábris A, Jex I, Barkhofen S, Silberhorn C. New J Phys. 2016;18:063017.

- 25.
Peruzzo A, Lobino M, Matthews JC, Matsuda N, Politi A, Poulios K, Zhou X-Q, Lahini Y, Ismail N, Wörhoff K, Bromberg Y, Silberberg Y, Thompson MG, OBrien JL. Science. 2010;329:1500.

- 26.
Sansoni L, Sciarrino F, Vallone G, Mataloni P, Crespi A, Ramponi R, Osellame R. Phys Rev Lett. 2012;108:010502.

- 27.
Regensburger A, Bersch C, Hinrichs B, Onishchukov G, Schreiber A, Silberhorn C, Peschel U. Phys Rev Lett. 2011;107:233902.

- 28.
Schreiber A, Cassemiro KN, Potoček V, Gábris A, Mosley PJ, Andersson E, Jex I, Silberhorn C. Phys Rev Lett. 2010;104:050502.

- 29.
Schreiber A, Cassemiro K, Potoček V, Gábris A, Jex I, Silberhorn C. Phys Rev Lett. 2011;106:180403.

- 30.
Chandrashekar CM, Srikanth R, Laflamme R. Phys Rev A. 2008;77:032326.

- 31.
Venegas-Andraca SE. Quantum Inf Process. 2012;11:1015.

- 32.
Nielsen MA, Chuang IL. Quantum computation and quantum information. Cambridge: Cambridge University Press; 2010.

- 33.
Chandrashekar CM, Srikanth R, Banerjee S. Phys Rev A. 2007;76:022316.

- 34.
Kendon V, Tregenna B. Phys Rev A. 2003;67:042315.

- 35.
Flamini F, Spagnolo N, Viggianiello N, Crespi A, Osellame R, Sciarrino F. 2017. arXiv:1705.09211.

- 36.
Boutari J, Feizpour A, Barz S, Di Franco C, Kim MS, Kolthammer WS, Walmsley IA. J Opt. 2016;18:094007.

- 37.
Innocenti L, Majury H, Giordani T, Spagnolo N, Sciarrino F, Paternostro M, Ferraro A. 2017. arXiv:1710.10518.

- 38.
Zhang WW, Goyal S, Gao F, Sanders BC, Simon C. New J Phys. 2016;18:093025.

## Acknowledgements

We acknowledge support from the EU project TherMiQ, the Marie Curie ITN PICQUE, the John Templeton Foundation (grant number 43467), the Julian Schwinger Foundation (grant number JSF-14-7-0000), the UK EPSRC (grants EP/M003019/1, and EP/N508664/1), and the Northern Ireland DfE. MP acknowledge the DfE-SFI Investigator Programme (grant 15/IA/2864).

## Author information

### Affiliations

### Contributions

AF and MP conceived the project with strong input from HM. HM performed the calculations and wrote the first draft of the manuscript. JB contributed with the design of the experimental proposal. All authors contributed to the finalisation of the manuscript. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Helena Majury.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

#### Received

#### Accepted

#### Published

#### DOI