Discrete time (coined) quantum walks are produced by the repeated application of a constant unitary transformation to a quantum system. By recasting these walks into the setting of periodic perturbations to an otherwise freely evolving system we introduce the concept of a stroboscopic quantum walk. Through numerical simulation, we establish the link between families of stroboscopic walks and quantum resonances. These are observed in the nonlinear systems of quantum chaos theory such as the delta-kicked rotator or the delta-kicked accelerator.
We consider an optomechanical cavity that is driven stroboscopically by a train of short pulses. By suitably choosing the inter-pulse spacing we show that ground-state cooling and mechanical squeezing can be achieved, even in the presence of mechanical dissipation and for moderate radiation-pressure interaction. We provide a full quantum-mechanical treatment of stroboscopic backaction-evading measurements, for which we give a simple analytic insight, and discuss preparation and verification of squeezed mechanical states. We further consider stroboscopic driving of a pair of non-interacting mec…
We consider a quantum system dynamics caused by successive selective and non-selective measurements of the probe coupled to the system. For the finite measurement rate $τ^{-1}$ and the system-probe interaction strength $γ$ we derive analytical evolution equations in the stroboscopic limit $τ\rightarrow 0$ and $γ^2 τ= {\rm const}$, which can be considered as a deviation from the Zeno subspace dynamics on a longer timescale $T \sim (γ^2 τ)^{-1} \gg γ^{-1}$. Non-linear quantum dynamics is analyzed for selective stroboscopic projective measurements of an arbitrary rank. Non-selective measurements …
In this paper, we discuss the minimal number of observables, where expectation values at some time instant determine the trajectory of a d-level quantum system ("qudit") governed by the Gaussian semigroup. We assume that the macroscopic information about the system in question is given by the mean values of n selfadjoint operators $Q_1,...,Q_n$ at some time instants $t_1<t_2<...<t_r$, where $n<d^2-1$ and $r\leq {\rm deg} μ(λ,\bBBL)$. Here $μ(λ,\bBBL)$ stands for the minimal polynomial of the generator of the Gaussian flow.
In trapped-ion quantum information processing, interactions between spins (qubits) are mediated by collective modes of motion of an ion crystal. While there are many different experimental strategies to design such interactions, they all face both technical and fundamental limitations to the achievable coherent interaction strength. In general, obtaining strong interactions and fast gates is an ongoing challenge. Here, we extend previous work [Phys. Rev. Lett. 112, 030501 (2019)] and present a general strategy for enhancing the interaction strengths in trapped-ion systems via parametric amplif…
High-order quantum nonlinearity is an important prerequisite for the advanced quantum technology leading to universal quantum processing with large information capacity of continuous variables. Levitated optomechanics, a field where motion of dielectric particles is driven by precisely controlled tweezer beams, is capable of attaining the required nonlinearity via engineered potential landscapes of mechanical motion. Importantly, to achieve nonlinear quantum effects, the evolution caused by the free motion of mechanics and thermal decoherence have to be suppressed. For this purpose, we devise …
We provide an analytic solution to the problem of system-bath dynamics under the effect of high-frequency driving that has applications in a large class of settings, such as driven-dissipative many-body systems. Our method relies on discrete symmetries of the system-bath Hamiltonian and provides the time evolution operator of the full system, including bath degrees of freedom, without weak-coupling or Markovian assumptions. An interpretation of the solution in terms of the strobo- scopic evolution of a family of observables under the influence of an effective static Hamiltonian is proposed, wh…
We study the dynamics of a generalization of quantum coin walk on the line which is a natural model for a diffusion modified by quantum or interference effects. In particular, our results provide surprisingly simple explanations to phenomena observed by Bouwmeester et al. (Phys. Rev. A, 61, 13410 (1999)) in their optical Galton board experiment, and a description of a stroboscopic quantum walks given by Buershaper and Burnett (quant-ph/0406039) through numerical simulations. We also provide heuristic explanations for the behavior of our model which show, in particular, that its dynamics can be…
We develop a measurement operator formalism to handle quantum nondemolition (QND) measurement induced entanglement generation between two atomic gases. We first derive how the QND entangling scheme reduces to a positive operator-valued measure, and consider its limiting case when it can be used to construct a projection operator that collapses the state to a total spin projection state. We then analyze how a stroboscopic sequence of such projections made in the x and z basis evolves the initial wave function. Such a sequence of QND projections can enhance the entanglement between the atomic en…
Continuous observation on an oscillator is known to result in quantum back-action which limits the knowledge acquired by the measurement. A careful balance between the information obtained and the back-action disturbance leads to a limit known as the standard quantum limit. The means to surpass this limit by modulating the measurement strength with the period proportional to half period of the oscillation has been proposed decades ago (Braginskii et al 1978 JETP Lett. 27 276; Thorne et al 1978 Phys. Rev. Lett. 40 667; Braginskii et al 1980 Science 209 547). Such modulated or stroboscopic obser…
We unveil a mechanism for generating oscillations with arbitrary multiplets of the period of a given external drive, in long-range interacting quantum many-particle spin systems. These oscillations break discrete time translation symmetry as in time crystals, but they are understood via two intertwined stroboscopic effects similar to the aliasing resulting from video taping a single fast rotating helicopter blade. The first effect is similar to a single blade appearing as multiple blades due to a frame rate that is in resonance with the frequency of the helicopter blades' rotation; the second …
An all-optical scheme for simulating non-Markovian evolution of a quantum system is proposed. It uses only linear optics elements and by controlling the system parameters allows one to control the presence or absence of information backflow from the environment. A sufficient and necessary condition for the non-Markovianity of our channel based on Gaussian inputs is proved. Various criteria for detecting non-Markovianity are also investigated by checking the dynamical evolution of the channel.
Recent experiments have demonstrated single-site resolved observation of cold atoms in optical lattices. Thus, in the future it may be possible to take repeated snapshots of an interacting quantum many-body system during the course of its evolution. Here we address the impact of the resulting Quantum (anti-)Zeno physics on the many-body dynamics. We use the time-dependent density-matrix renormalization group to obtain the time evolution of the full many-body wave function, which is then periodically projected in order to simulate realizations of stroboscopic measurements. For the example of a …
Trapped neutral atoms offer a powerful route to robust simulation of complex quantum systems. We present here a stroboscopic scheme for realization of a Hamiltonian with $n$-body interactions on a set of neutral atoms trapped in an addressable optical lattice, using only 1- and 2-body physical operations together with a dissipative mechanism that allows thermalization to finite temperature or cooling to the ground state. We demonstrate this scheme with application to the toric code Hamiltonian, ground states of which can be used to robustly store quantum information when coupled to a low tempe…
Floquet operator engineering for quantum state stroboscopic stabilization
Laboratoire Collisions Agrégats Réactivité, UMR 5589, FERMI, UT3, Université de Toulouse, CNRS（图卢兹大学、法国国家科学研究中心碰撞聚合反应联合研究实验室）；Laboratoire Interdisciplinaire Carnot de Bourgogne, UMR 6303（勃艮第卡尔诺跨学科实验室）
In the paper we discuss possible applications of the so-called stroboscopic tomography (stroboscopic observability) to selected decoherence models of 2-level quantum systems. The main assumption behind our reasoning claims that the time evolution of the analyzed system is given by a master equation of the form $\dotρ = \mathbb{L} ρ$ and the macroscopic information about the system is provided by the mean values $m_i (t_j) = Tr(Q_i ρ(t_j))$ of certain observables $\{Q_i\}_{i=1} ^r $ measured at different time instants $\{t_j\}_{j=1}^p$. The goal of the stroboscopic tomography is to establish th…
The formulation of models describing quantum versions of heat engines plays an important role in the quest toward establishing the laws of thermodynamics in the quantum regime. Of particular importance is the description of stroke-based engines which can operate at finite-time. In this paper we put forth a framework for describing stroboscopic, two-stroke engines, in generic quantum chains. The framework is a generalization of the so-called SWAP engine and is based on a collisional model, which alternates between pure heat and pure work strokes. The transient evolution towards a limit-cycle is…
Quantum simulation of lattice gauge theories (LGTs), aiming at tackling non-perturbative particle and condensed matter physics, has recently received a lot of interest and attention, resulting in many theoretical proposals, as well as several experimental implementations. One of the current challenges is to go beyond 1+1 dimensions, where four-body (plaquette) interactions, not contained naturally in quantum simulating devices, appear. In this Letter, we propose a method to obtain them based on a combination of stroboscopic optical atomic control and the non-local photon-mediated interactions …
In this article we propose a new approach to quantum measurement in reference to the stroboscopic tomography. Generally, in the stroboscopic approach it is assumed that the information about the quantum system is encoded in the mean values of certain Hermitian operators $Q_1, ..., Q_r$ and each of them can be measured more than once. The main goal of the stroboscopic tomography is to determine when one can reconstruct the initial density matrix $ρ(0)$ on the basis of the measurement results $\langle Q_i \rangle_{t_j}$. In this paper we propose to treat every complex matrix as a measurable oper…
Measurement-driven transitions between extensive and sub-extensive scaling of the entanglement entropy receive interest as they illuminate the intricate physics of thermalization and control in open interacting quantum systems. Whilst this transition is well established for stroboscopic measurements in random quantum circuits, a crucial link to physical settings is its extension to continuous observations, where for an integrable model it has been shown that the transition changes its nature and becomes immediate. Here, we demonstrate that the entanglement transition at finite coupling persist…
We demonstrate that the time operator that measures the time of arrival of a quantum particle into chosen state can be defined as a self-adjoint quantum-mechanical operator using periodic boundary conditions on applied to wavefuncions in energy representation. The time becomes quantized into discreet eigenvalues and the eigenstates of the time operator, the stroboscopic wavepackets introduced recently [Phys. Rev. Lett. 101, 046402 (2008).] form orthogonal system of states. The formalism provides simple physical interpretation of the time-measurement process and direct construction of normalize…
In this brief article we indicate a connection between Jordan normal form of a square matrix and the stroboscopic approach to quantum tomography. We show that the index of cyclicy of a generator of evolution, which receives much attention in the stroboscopic tomography, can be defined and computed by referring to the Jordan decomposition of a square matrix. The result presented in this work shows a relation between terminology from quantum tomography and linear algebra.
Creating squeezed and non-classical collective motional many-body states through stroboscopic Rydberg dressing
Institut für Theoretische Physik and Center for Integrated Quantum Science and Technology, Universität Tübingen（蒂宾根大学理论物理研究所与集成量子科学技术中心）；Institute for Applied Physics, University of Bonn（波恩大学应用物理研究所）；RIKEN Center for Quantum Computing (RQC)（理化学研究院量子计算中心）；Physikalisches Institut and Center for Integrated Quantum Science and Technology, Universität Tübingen（蒂宾根大学物理研究所与集成量子科学技术中心）；School of Physics and Astronomy and Centre for the Mathematics and Theoretical Physics of Quantum Non-Equilibrium Systems, The University of Nottingham（诺丁汉大学物理与天文学学院及量子非平衡系统数学与理论物理中心）
Quantum walks underlie an important class of quantum computing algorithms, and represent promising approaches in various simulations and practical applications. Here we design stroboscopically monitored quantum walks and their subsequent graphs that can naturally boost target searches. We show how to construct walks with the property that all the eigenvalues of the non-Hermitian survival operator, describing the mixed effects of unitary dynamics and the back-action of measurement, coalesce to zero, corresponding to an exceptional point whose degree is the size of the system. Generally, the res…
We investigate the statistics of the first detected passage time of a quantum walk. The postulates of quantum theory, in particular the collapse of the wave function upon measurement, reveal an intimate connection between the wave function of a process free of measurements, i.e. the solution of the Schrödinger equation, and the statistics of first detection events on a site. For stroboscopic measurements a quantum renewal equation yields basic properties of quantum walks. For example, for a tight binding model on a ring we discover critical sampling times, diverging quantities such as the mean…
In this article we propose a dynamic quantum state tomography model for qutrits subject to laser cooling. We prove that one can reduce the number of distinct measurement setups required for state reconstruction by employing the stroboscopic approach. The results are in line with current advances in quantum tomography where there is a strong tendency to investigate the optimal criteria for state reconstruction. We believe that the stroboscopic approach can be considered an efficient tool for density matrix identification since it allows to determine the minimal number of distinct observables ne…
We analyze squeezing of the nanoresonator state produced by periodic measurement of position by a quantum point contact or a single-electron transistor. The mechanism of squeezing is the stroboscopic quantum nondemolition measurement generalized to the case of continuous measurement by a weakly coupled detector. The magnitude of squeezing is calculated for the harmonic and stroboscopic modulations of measurement, taking into account detector efficiency and nanoresonator quality factor. We also analyze the operation of the quantum feedback, which prevents fluctuations of the wavepacket center d…
We investigate a tight binding quantum walk on a graph. Repeated stroboscopic measurements of the position of the particle yield a measured "trajectory", and a combination of classical and quantum mechanical properties for the walk are observed. We explore the effects of the measurements on the spreading of the packet on a one dimensional line, showing that except for the Zeno limit, the system converges to Gaussian statistics similarly to a classical random walk. A large deviation analysis and an Edgeworth expansion yield quantum corrections to this normal behavior. We then explore the first …
We derive the theory of open quantum system dynamics intervened by a series of nonselective measurements. We analyze the cases of time independent and time dependent Hamiltonian dynamics in between the measurements and find the approximate master equation in the stroboscopic limit. We also consider a situation, in which the measurement basis changes in time, and illustrate it by nonselective measurements in the basis of diabatic states of the Landau-Zener model.
Making a system state follow a prescribed trajectory despite fluctuations and errors commonly consists in monitoring an observable (temperature, blood-glucose level...) and reacting on its controllers (heater power, insulin amount ...). In the quantum domain, there is a change of paradigm in feedback since measurements modify the state of the system, most dramatically when the trajectory goes through superpositions of measurement eigenstates. Here, we demonstrate the stabilization of an arbitrary trajectory of a superconducting qubit by measurement based feedback. The protocol benefits from th…
We present an idea to convert to a unitary quantum walk any open quantum walk which is defined on lattices as well as on finite graphs. This approach generalizes to the domain of open quantum walks (or quantum Markov chains) the framework introduced by Szegedy for quantizing Markov chains. For the unitary quantum walks formulated in this article, we define the probability and the mean probability of finding the walk at a node, then derive the asymptotic mean probability.
We show how multi-walker quantum walks can be implemented in a quantum quincunx created via cavity quantum electrodynamics. The implementation of a quantum walk with a multi-walker opens up the interesting possibility to introduce entanglement and more advanced walks. With different coin tosses and initial states the multi-walker quantum walk shows different probability distributions which deviate strongly from the classical random walks with quadratic enhanced spreadings and localization effects. By introducing decoherence, the transition from quantum walks to the classical versions is observ…
We introduce the quantum stochastic walk (QSW), which determines the evolution of generalized quantum mechanical walk on a graph that obeys a quantum stochastic equation of motion. Using an axiomatic approach, we specify the rules for all possible quantum, classical and quantum-stochastic transitions from a vertex as defined by its connectivity. We show how the family of possible QSWs encompasses both the classical random walk (CRW) and the quantum walk (QW) as special cases, but also includes more general probability distributions. As an example, we study the QSW on a line, the QW to CRW tran…
Lazy quantum walks were presented by Andrew M. Childs to prove that the continuous-time quantum walk is a limit of the discrete-time quantum walk [Commun.Math.Phys.294,581-603(2010)]. In this paper, we discuss properties of lazy quantum walks. Our analysis shows that lazy quantum walks have $O(t^n)$ order of the n-th moment of the corresponding probability distribution, which is the same as that for normal quantum walks. Also, the lazy quantum walk with DFT (Discrete Fourier Transform) coin operator has a similar probability distribution concentrated interval to that of the normal Hadamard qua…
Quantum walks have emerged as an interesting candidate for the implementation of quantum information processing protocols. Optical implementations of quantum walks have been demonstrated by various groups and some have received high-profile coverage. It is often claimed that quantum walks provide an avenue towards universal quantum computation. In this comment I wish to dispel some misconceptions surrounding the prospects of quantum walks as a route towards universal optical quantum computation.
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 …
In this paper, we introduce a quantum walk whose local scattering at each vertex is denoted by a unitary circulant matrix; namely the circulant quantum walk. We also introduce another quantum walk induced by the circulant quantum walk; namely the optical quantum walk, whose underlying graph is a $2$-regular directed graph and obtained by blowing up the original graph in some way. We propose a design of an optical circuit which implements the stationary state of the optical quantum walk. We show that if the induced optical quantum walk does not have $+1$ eigenvalue, then the stationary state of…
We show that quantum walks interpolate between a coherent `wave walk' and a random walk depending on how strongly the walker's coin state is measured; i.e., the quantum walk exhibits the quintessentially quantum property of complementarity, which is manifested as a trade-off between knowledge of which path the walker takes vs the sharpness of the interference pattern. A physical implementation of a quantum walk (the quantum quincunx) should thus have an identifiable walker and the capacity to demonstrate the interpolation between wave walk and random walk depending on the strength of measureme…
The physics of quantum walks on graphs is formulated in Hamiltonian language, both for simple quantum walks and for composite walks, where extra discrete degrees of freedom live at each node of the graph. It is shown how to map between quantum walk Hamiltonians and Hamiltonians for qubit systems and quantum circuits; this is done for both a single- and multi-excitation coding, and for more general mappings. Specific examples of spin chains, as well as static and dynamic systems of qubits, are mapped to quantum walks, and walks on hyperlattices and hypercubes are mapped to various gate systems.…
Quantum walks can be used either as tools for quantum algorithm development or as entanglement generators, potentially useful to test quantum hardware. We present a novel algorithm based on a discrete Hadamard quantum walk on a line with one coin and two walkers whose purpose is to generate entanglement between walkers. We provide several classical computer simulations of our quantum algorithm in which we show that, although the asymptotical amount of entanglement generated between walkers does not reach the highest degree of entanglement possible at each step for either coin measurement outco…
A simple coined quantum walk in one dimension can be characterized by a $SU(2)$ operator with three parameters which represents the coin toss. However, different such coin toss operators lead to equivalent dynamics of the quantum walker. In this manuscript we present the unitary equivalence classes of quantum walks and show that all the nonequivalent quantum walks can be distinguished by a single parameter. Moreover, we argue that the electric quantum walks are equivalent to quantum walks with time dependent coin toss operator.
We give a short overview over recent developments on quantum graphs and outline the connection between general quantum graphs and so-called quantum random walks.
We analyze the recurrence probability (Pólya number) for d-dimensional unbiased quantum walks. A sufficient condition for a quantum walk to be recurrent is derived. As a by-product we find a simple criterion for localisation of quantum walks. In contrast to classical walks, where the Pólya number is characteristic for the given dimension, the recurrence probability of a quantum walk depends in general on the topology of the walk, choice of the coin and the initial state. This allows to change the character of the quantum walk from recurrent to transient by altering the initial state.
A quantum walk is a time-homogeneous quantum-mechanical process on a graph defined by analogy to classical random walk. The quantum walker is a particle that moves from a given vertex to adjacent vertices in quantum superposition. Here we consider a generalization of quantum walk to systems with more than one walker. A continuous-time multi-particle quantum walk is generated by a time-independent Hamiltonian with a term corresponding to a single-particle quantum walk for each particle, along with an interaction term. Multi-particle quantum walk includes a broad class of interacting many-body s…
A quantum central limit theorem for a continuous-time quantum walk on a homogeneous tree is derived from quantum probability theory. As a consequence, a new type of limit theorems for another continuous-time walk introduced by the walk is presented. The limit density is similar to that given by a continuous-time quantum walk on the one-dimensional lattice.
The quantum random walk is a possible approach to construct new quantum algorithms. Several groups have investigated the quantum random walk and experimental schemes were proposed. In this paper we present the experimental implementation of the quantum random walk algorithm on a nuclear magnetic resonance quantum computer. We observe that the quantum walk is in sharp contrast to its classical counterpart. In particular, the properties of the quantum walk strongly depends on the quantum entanglement.
In this work we introduce the concept of a quantum walk on a hypergraph. We show that the staggered quantum walk model is a special case of a quantum walk on a hypergraph.
We consider quantum random walks on congested lattices and contrast them to classical random walks. Congestion is modelled with lattices that contain static defects which reverse the walker's direction. We implement a dephasing process after each step which allows us to smoothly interpolate between classical and quantum random walkers as well as study the effect of dephasing on the quantum walk. Our key results show that a quantum walker escapes a finite boundary dramatically faster than a classical walker and that this advantage remains in the presence of heavily congested lattices. Also, we …
