Quantum logic using correlated one-dimensional quantum walks

We present an overview of two models of quantum random walk. In the first model, the discrete quantum random walk, we present the explicit solution for the recurring amplitude of the quantum random walk on a one-dimensional lattice. We also introduce a new method of solving the problem of random walk in the most general case and use it to derive the hitting amplitude for quantum random walk on the hypercube. The second is a special model based on a local interaction between neighboring spin-1/2 particles on a one-dimensional lattice. We present explicit results for the relevant quantities and obtain an upper bound on the speed of convergence to limiting probability distribution.

Discrete-time quantum walks are known to exhibit exotic topological states and phases. Physical realization of quantum walks in a lossy environment may destroy these phases. We investigate the behaviour of topological states in quantum walks in the presence of a lossy environment. The environmental effects in the quantum walk dynamics are addressed using the non-Hermitian Hamiltonian approach. We show that the topological phases of the quantum walks are robust against moderate losses. The topological order in one-dimensional split-step quantum walk persists as long as the Hamiltonian respects exact {{mathcal {P}}}{{mathcal {T}}}-symmetry. Although the topological nature persists in two-dimensional quantum walks as well, the {{mathcal {P}}}{{mathcal {T}}}-symmetry has no role to play there. Furthermore, we observe topological phase transition in two-dimensional quantum walks that is induced by losses in the system.

We introduce and analyze a one-dimensional quantum walk with two time-independent rotations on the coin. We study the influence on the property of quantum walk due to the second rotation on the coin. Based on the asymptotic solution in the long time limit, a ballistic behaviour of this walk is observed. This quantum walk retains the quadratic growth of the variance if the combined operator of the coin rotations is unitary. That confirms no localization exhibits in this walk. This result can be extended to the walk with multiple time-independent rotations on the coin.

We show that the Dirac quantum cellular automaton [Ann. Phys. 354 (2015) 244] shares many properties in common with the discrete-time quantum walk. These similarities can be exploited to study the automaton as a unitary process that takes place at regular time steps on a one-dimensional lattice, in the spirit of general quantum cellular automata. In this way, it becomes an alternative to the quantum walk, with a dispersion relation that can be controlled by a parameter, which plays a similar role to the coin angle in the quantum walk. The Dirac Hamiltonian is recovered under a suitable limit. We provide two independent analytical approximations to the long term probability distribution. It is shown that, starting from localized conditions, the asymptotic value of the entropy of entanglement between internal and motional degrees of freedom overcomes the known limit that is approached by the quantum walk for the same initial conditions, and are similar to the ones achieved by highly localized states of the Dirac equation.

We introduce and study a class of discrete-time quantum walks on a one-dimensional lattice. In contrast to the standard homogeneous quantum walks, coin operators are inhomogeneous and depend on their positions in this class of models. The models are shown to be self-dual with respect to the Fourier transform, which is analogous to the Aubry-André model describing the one-dimensional tight-binding model with a quasiperiodic potential. When the period of coin operators is incommensurate to the lattice spacing, we rigorously show that the limit distribution of the quantum walk is localized at the origin. We also numerically study the eigenvalues of the one-step time evolution operator and find the Hofstadter butterfly spectrum which indicates the fractal nature of this class of quantum walks.

We report on our latest findings on photonic Quantum Walks (QW) of entangled particles in several quantum transport regimes as for instance in photonic Bloch lattices or disordered lattices. Furthermore, the discrete fractional Fourier transform of quantum states is presented in the context of QWs.

The capability to engineer and characterize high dimensional states has become a crucial request in the quantum information field. The quantum walk dynamics proved to be a suitable resource for developing general quantumstate engineering protocols. Here, we experimentally verified the flexibility of an engineering protocol based on a one-dimensional quantum walk in the Orbital Angular Momentum (OAM). Although this degree of freedom has found several applications in the quantum information field, extract the information stored in them appears to be difficult. Therefore, we employ machine learning protocols to classify and characterize particularly structured beams endowed with a not uniform distribution of the polarization on the transverse plane. Moreover, we prove that by modeling the engineering process through a refined model it is possible to improve the performances of measurement techniques such as holographic projection and machine-learning based classification. These results represent a further investigation in the manipulation and detection of OAM modes coupling the photonics platforms with machine-learning protocols.

We investigate the evolution dynamics of inhomogeneous discrete-time one-dimensional quantum walks displaying long-range correlations in both space and time. The associated quantum coin operators of internal states are built to exhibit random inhomogeneity distribution of long-range correlations embedded in the time evolution protocol through a fractional Brownian motion with spectrum following a power-law behavior, S(k)∼1/k^{ν}. From extensive numerical simulations with averages over a large number of independent realizations of the phases of quantum coins, the power-law correlated disorder encoded in the coin phases is shown to give rise to a wide variety of spreading patterns of the qubit states, from localized to subdiffusive, diffusive, and superdiffusive (including ballistic) behavior, depending on the relative strength of the parameters driving the correlation degree. Dispersion control is possible in one-dimensional discrete-time quantum walks by tuning the long-range correlation properties assigned to the inhomogeneous quantum coin operator.

We present a finite-element approach for computing the aggregate scattering matrix of a network of linear coherent scatterers. These might be optical scatterers or more general scattering coins studied in quantum walk theory. While techniques exist for two-dimensional lattices of feed-forward scatterers, the present approach is applicable to any network configuration of any collection of scatterers. Unlike traditional finite-element methods in optics, this method does not directly solve Maxwell’s equations; instead it is used to assemble and solve a linear, coupled scattering problem that emerges after Maxwell’s equations are abstracted within the scattering matrix method. With this approach, a global unitary is assembled corresponding to one time step of the quantum walk on the network. After applying the relevant boundary conditions to this global matrix, the problem becomes non-unitary and possesses a steady-state solution that is the output scattering state. We provide an algorithm to obtain this steady-state solution exactly using a matrix inversion, yielding the scattering state without requiring a direct calculation of the eigenspectrum. The approach is then numerically validated on a coupled-cavity interferometer example that possesses a known, closed-form solution. Finally, the method is shown to be a generalization of the Redheffer star product, which describes scatterers on one-dimensional lattices (2-regular graphs) and is often applied to the design of thin-film optics, making the current approach an invaluable tool for the design and validation of high-dimensional phase-reprogrammable optical devices and study of quantum walks on arbitrary graphs.

The capability to generate and manipulate quantum states in high-dimensional Hilbert spaces is a crucial step for the development of quantum technologies, from quantum communication to quantum computation. One-dimensional quantum walk dynamics represents a valid tool in the task of engineering arbitrary quantum states. Here we affirm such potential in a linear-optics platform that realizes discrete-time quantum walks in the orbital angular momentum degree of freedom of photons. Different classes of relevant qudit states in a six-dimensional space are prepared and measured, confirming the feasibility of the protocol. Our results represent a further investigation of quantum walk dynamics in photonics platforms, paving the way for the use of such a quantum state-engineering toolbox for a large range of applications.

On the Limitations of Graph Invariants Inspired by Quantum Walks

The quantum walk is the quantum analog of the well-known random walk, which forms the basis for models and applications in many realms of science. Its properties are markedly different from the classical counterpart and might lead to extensive applications in quantum information science. In our experiment, we implemented a quantum walk on the line with single neutral atoms by deterministically delocalizing them over the sites of a one-dimensional spin-dependent optical lattice. With the use of site-resolved fluorescence imaging, the final wave function is characterized by local quantum state tomography, and its spatial coherence is demonstrated. Our system allows the observation of the quantum-to-classical transition and paves the way for applications, such as quantum cellular automata.

We show that with the addition of multiple walkers, quantum walks on a line can be transformed into lattice graphs of higher dimension. Thus, multi-walker walks can simulate single-walker walks on higher dimensional graphs and vice versa. This exponential complexity opens up new applications for present-day quantum walk experiments. We discuss the applications of such higher-dimensional structures and how they relate to linear optics quantum computing. In particular we show that multi-walker quantum walks are equivalent to the BosonSampling model for linear optics quantum computation proposed by Aaronson & Arkhipov. With the addition of control over phase-defects in the lattice, which can be simulated with entangling gates, asymmetric lattice structures can be constructed which are universal for quantum computation.

We address the problem of the construction of quantum walks on Cayley graphs. Our main motivation is the relationship between quantum algorithms and quantum walks. In particular, we discuss the choice of the dimension of the local Hilbert space and consider various classes of graphs on which the structure of quantum walks may differ. We completely characterise quantum walks on free groups and present partial results on more general cases. Some examples are given, including a family of quantum walks on the hypercube involving a Clifford Algebra.

The topology of a single-particle band structure plays a fundamental role in understanding a multitude of physical phenomena. Motivated by the connection between quantum walks and such topological band structures, we demonstrate that a simple time-dependent, Bloch-oscillating quantum walk enables the direct measurement of topological invariants. We consider two classes of one-dimensional quantum walks and connect the global phase imprinted on the walker with its refocusing behavior. By disentangling the dynamical and geometric contributions to this phase, we describe a general strategy to measure the topological invariant in these quantum walks. As an example, we propose an experimental protocol in a circuit QED architecture where a superconducting transmon qubit plays the role of the coin, while the quantum walk takes place in the phase space of a cavity.