In this note, we give a quantum algorithm that finds collisions in arbitrary r-to-one functions after only O((N/r)^(1/3)) expected evaluations of the function. Assuming the function is given by a black box, this is more efficient than the best possible classical algorithm, even allowing probabilism. We also give a similar algorithm for finding claws in pairs of functions. Furthermore, we exhibit a space-time tradeoff for our technique. Our approach uses Grover's quantum searching algorithm in a novel way.
In this paper, we give a quantum algorithm which solves collision problem in an expected polynomial time. Especially, when the function is two-to-one, we present a quantum algorithm which can find a collision with certainty in a worst-case polynomial time. We also give a quantum algorithm which solves claw problem with certainty in a worst-case polynomial time.
Collisions, even though they do not limit the lifetime of quantum information stored in ground state hyperfine coherences, may severely limit the fidelity for quantum memory when they happen during the write and read process. This imposes restrictions on the implementation of quantum processes in thermal vapor cells and their performance as a quantum memory. We study the effect of these collisions in our experiment.
We propose a scheme to implement two-qubit Grover's quantum search algorithm using Cavity Quantum Electrodynamics. Circular Rydberg atoms are used as quantum bits (qubits). They interact with the electromagnetic field of a non-resonant cavity . The quantum gate dynamics is provided by a cavity-assisted collision, robust against decoherence processes. We present the detailed procedure and analyze the experimental feasibility.
By studying the attribute of the inversion about average operation in quantum searching algorithm, we find the similarity between the quantum searching and the course of two rigid bodies'collision. Some related questions are discussed from this similarity.
We study the applicability of collisional models for non-Markovian dynamics of open quantum systems. By allowing interactions between the separate environmental degrees of freedom in between collisions we are able to construct a collision model that allows to study quantum memory effects in open system dynamics. We also discuss the possibility to embed non-Markovian collision model dynamics into Markovian collision model dynamics in an extended state space. As a concrete example we show how using the proposed class of collision models we can discretely model non- Markovian amplitude damping of…
Quantum electrodynamics in a laser is formulated, in which the electron-laser interaction is exactly considered, while the interaction of an electron and a single photon is considered by perturbation. The formulation is applied to the electron-laser collisions. The effect of coherence between photons in the laser is therefore fully considered in these collisions. The possibility of $γ-$ray laser generation by use of this kind of collision is discussed.
We study quantum correlations and quantum noise in the soliton collision described by a general two-soliton solution of the nonlinear Schrödinger equation, by using the back-propagation method. Our results include the standard case of a $sech$-shaped initial pulse analyzed earlier. We reveal that double-hump initial pulses can get more squeezed, and the squeezing ratio enhancement is due to the long collision period in which the pulses are more stationary. These results offer promising possibilities of using higher-order solitons to generate strongly squeezed states for the quantum information…
Quantum collision models (CMs) provide advantageous case studies for investigating major issues in open quantum systems theory, and especially quantum non-Markovianity. After reviewing their general definition and distinctive features, we illustrate the emergence of a CM in a familiar quantum optics scenario. This task is carried out by highlighting the close connection between the well-known input-output formalism and CMs. Within this quantum optics framework, usual assumptions in the CMs' literature - such as considering a bath of non-interacting yet initially correlated ancillas - have a cl…
We extend Shi's 2002 quantum lower bound for collision in $r$-to-one functions with $n$ inputs. Shi's bound of $Ω((n/r)^{1/3})$ is tight, but his proof applies only in the case where the range has size at least $3n/2$. We give a modified version of Shi's argument which removes this restriction.
The suppression of spin-exchange relaxation in dense alkali-metal vapors discovered in 1973 and governing modern atomic magnetometers is here reformulated in terms of quantum measurement theory and the quantum Zeno effect. This provides a new perspective of understanding decoherence in spin-polarized atomic vapors.
When confined to small regions quantum systems exhibit electronic and structural properties different from their free space behavior. These properties are of interest, for example, for molecular insertion, hydrogen storage and the exploration of new pathways for chemical and nuclear reactions. Here, a confined three-body problem is studied, with emphasis on the study of the "quantum scars" associated to dynamical collisions. For the particular case of nuclear reactions it is proposed that a molecular cage might simply be used as a confining device with the collision states accessed by quantum …
An algorithm and a system of quantum circuits is developed and applied to compute accurately the S matrix for the transitions between vibrational states of H2 for collisions with H. The algorithm was applied to 100 eV laboratory collision energy at a quantum circuit simulator. The effects of the discretized dissociative continuum to the transition cross sections are carefully studied and accuracy and convergence of the results with the chosen parameters of the algorithm and the collision system are verified by comparison with a solution of the time-dependent Schrodinger equation using the clas…
The wave function of an atom passed through a diffraction grating acquires a regular space structure and the interaction of another particle with this atom can be thought of as scattering on a 'quantum grating' composed of a single atom. Probing this 'grating' by collisions with charged projectiles reveals interference effects due to coherent contributions of its 'slits' to the transition amplitude. In particular, the spectra of electrons emitted from the atom in collisions with swift ions exhibit a pronounced interference pattern whose shape can be extremely sensitive to the collision velocit…
In this work, the use of the Boltzmann collision operator for dissipative quantum transport is analyzed. Its mathematical role on the description of the time-evolution of the density matrix during a collision can be understood as processes of adding and subtracting states. We show that unphysical results can be present in quantum simulations when the old states (that built the density matrix associated to an open system before the collision) are different from the additional states generated by the Boltzmann collision operator. As a consequence of the Fermi Golden rule, the new generated sates…
We introduce the multipartite collision model, defined in terms of elementary interactions between subsystems and ancillae, and show that it can simulate the Markovian dynamics of any multipartite open quantum system. We develop a method to estimate an analytical error bound for any repeated interactions model, and we use it to prove that the error of our scheme displays an optimal scaling. Finally, we provide a simple decomposition of the multipartite collision model into elementary quantum gates, and show that it is efficiently simulable on a quantum computer according to the dissipative qua…
A new micro-irreversible 3D theory of quantum multichannel scattering in the three-body system is developed. The quantum approach is constructed on the generating trajectory tubes which allow taking into account influence of classical non-integrability on the dynamical quantum system. It was shown that when the volume of classical chaos in phase space is larger than quantum sell in the main object of quantum system the wavefunction generates chaos (quantum chaos). The probability of quantum transitions is constructed for this case. On the example of collinear collision of Li+(FH) -> (LiF)+H sy…
We reveal the emergence of environment-induced spontaneous synchronization between two spin-1/2 quantum objects in a collision model setting. In particular, we determine the conditions for the dynamical establishment of synchronous evolution between local spin observables of a pair of spins undergoing open-system dynamics in the absence of an external drive. Exploiting the versatility of the collision model framework, we show that the formation of quantum or classical correlations between the principal spin pair are of no significant relevance to the manifestation of spontaneous quantum synchr…
Most literature on quantum collision models (CMs) usually considers periodic weak collisions featuring a fixed waiting time between two next collisions. Some works have yet addressed CMs with random waiting time and strong collisions (stochastic CMs). This short paper discusses how the open dynamics arising from these two types of models can be formally mapped with one another. This can be achieved for a given stochastic CM by constructing an associated periodic CM such that the waiting time randomness of the former is turned into the mixedness of the ancilla's initial state of the latter, int…
Master equations in the Lindblad form describe evolution of open quantum systems that is completely positive and simultaneously has a semigroup property. We analyze a possibility to derive this type of master equations from an intrinsically discrete dynamics that is modelled as a sequence of collisions between a given quantum system (a qubit) with particles that form the environment. In order to illustrate our approach we analyze in detail how a process of an exponential decay and a process of decoherence can be derived from a collision-like model in which particular collisions are described b…
We have recently presented a collision-model-based framework to approach non-Markovian quantum dynamics [Ciccarello F Palma G M and Giovannetti V 2013 Phys. Rev. A 87, 040103(R)]. As a distinctive feature, memory is introduced in a dynamical way by adding extra inter-ancillary collisions to a standard (memoryless) collision model. Here, we focus on the case where such intra-bath collisions are described by incoherent partial swap operations. After briefly reviewing the model, we show how to include temperature as an additional parameter by relaxing the assumption that each bath ancilla is init…
A simple collision model is employed to introduce elementary concepts of open system dynamics of quantum systems. In particular, within the framework of collision models we introduce the quantum analogue of thermalization process called quantum homogenization and simulate quantum decoherence processes. These dynamics are driven by partial swaps and controlled unitary collisions, respectively. We show that collision models can be used to prepare multipartite entangled states. Partial swap dynamics generates W-type of entanglement saturating the CKW inequalities, whereas the decoherence collisio…
One-electron energy levels are studied for a configuration of two positive charges inside an octahedral cage, the vertices of the cage being occupied by atoms with a partially filled shell. Although ground states correspond to large separations, there are relatively low-lying states with large collision probabilities. Electromagnetic radiation fields used to excite the quantum collisional levels may provide a means to control nuclear reactions. However, given the scale of the excitation energies involved, this mechanism cannot provide an explanation for the unexplained ``cold fusion'' events.
We investigate collision dynamics involving two electrons and a quantum dot embedded in a quantum wire. One electron is initially at rest in the ground state of the dot, whereas the other electron is incident on the dot with a rather well defined velocity. Excitation, reflection and transmission probabilities are obtained by resolving the dynamics explicitly. Also, the probability of both electrons being unbound after collision is studied. It is found that the dynamics is strongly influenced by the presence of doubly excited states; reflection becomes considerably more probable in the energeti…
We present an algorithm to simulate genuine, measurement-conditioned quantum trajectories for a class of non-Markovian systems, using a collision model for the environment. We derive two versions of the algorithm, the first corresponding to photodetection and the second to homodyne detection with a finite local oscillator amplitude. We use the algorithm to simulate trajectories for a system with delayed coherent feedback, as well as a system with a continuous memory.
We propose a scheme to implement the $1\to2$ universal quantum cloning machine of Buzek et.al [Phys. Rev.A 54, 1844(1996)] in the context of cavity QED. The scheme requires cavity-assisted collision processes between atoms, which cross through nonresonant cavity fields in the vacuum states. The cavity fields are only virtually excited to face the decoherence problem. That's why the requirements on the cavity quality factor can be loosened.
Recently, a large class of quantum non-Markovian piecewise dynamics for an open quantum system obeying closed evolution equations has been introduced [B. Vacchini, Phys. Rev. Lett. 117, 230401 (2016)]. These dynamics have been defined in terms of a waiting-time distribution between quantum jumps, along with quantum maps describing the effect of jumps and the system's evolution between them. Here, we present a quantum collision model with memory, whose reduced dynamics in the continuous-time limit reproduces the above class of non-Markovian piecewise dynamics, thus providing an explicit microsc…
Quantum particle simulations have largely been based on time-independent, split-operator schemes in which kinetic and potential operators are interwoven to provide accurate approximations to system dynamics. These simulations can be very expensive in terms of the number of gates required, although individual cases, such as tunneling, have been found where prethreshold simulations are possible. By prethreshold, we mean a quantum computation or simulation with an existing architecture and not requiring error correction. In the case of molecular collisions, switching to a time-dependent formulati…
The quantum collision models are a useful method to describe the dynamics of an open quantum system by means of repeated interactions between the system and some particles of the environment, which are usually termed "ancillas". In this paper, we review the main collision models for the dynamics of multipartite open quantum systems, which are composed of several subsystems. In particular, we are interested in models that are based on elementary collisions between the subsystems and the ancillas, and that simulate global and/or local Markovian master equations in the limit of infinitesimal time…
Quantum collision models have proved to be useful for a clear and concise description of many physical phenomena in the field of open quantum systems: thermalization, decoherence, homogenization, nonequilibrium steady state, entanglement generation, simulation of many-body dynamics, quantum thermometry. A challenge in the standard collision model, where the system and many ancillas are all initially uncorrelated, is how to describe quantum correlations among ancillas induced by successive system-ancilla interactions. Another challenge is how to deal with initially correlated ancillas. Here we …
Two methodological troubles of the quantum theory of collisions are considered. The first is the undesirable interference of the incident and scattered waves in the stationary approach to scattering. The second concerns the nonstationary approach to the theory of collisions of the type $a+b\to c+d$. In order to calculate the cross section one uses the matrix element $<cd|S|ab>$ of the $S$-matrix. The element is proportional to $δ$-function expressing the energy conservation. The corresponding probability $|< cd|S|ab>|^2$ contains $δ^2$ which is mathematically senseless. The known regular way t…
We follow the emergence of quantum entanglement in a scattering event between two initially uncorrelated distinguishable quantum particles interacting via a delta potential. We calculate the time dependence of the Neumann entropy of the one-particle reduced density matrix. By using the exact propagator for the delta potential, we derive an approximate analytic formula for the asymptotic form of the two-particle wave function which is sufficiently accurate to account for the entanglement features of the system.
Given a random function $f$ with domain $[2^n]$ and codomain $[2^m]$, with $m \geq n$, a collision of $f$ is a pair of distinct inputs with the same image. Collision finding is an ubiquitous problem in cryptanalysis, and it has been well studied using both classical and quantum algorithms. Indeed, the quantum query complexity of the problem is well known to be $Θ(2^{m/3})$, and matching algorithms are known for any value of $m$. The situation becomes different when one is looking for multiple collision pairs. Here, for $2^k$ collisions, a query lower bound of $Θ(2^{(2k+m)/3})$ was shown by Liu…
We introduce a protocol for the fast simulation of $n$-dimensional quantum systems on $n$-qubit quantum computers with tunable couplings. A mapping is given between the control parameters of the quantum computer and the matrix elements of $H_{\rm s}(t)$, an arbitrary, real, time-dependent $n\times n$ dimensional Hamiltonian that is simulated in the $n$-dimensional `single excitation' subspace of the quantum computer. A time-dependent energy/time rescaling minimizes the simulation time on hardware having a fixed coherence time. We demonstrate how three tunably coupled phase qubits simulate a th…
Quantum search is a technique for searching N possibilities in only O(sqrt(N)) steps. It has been applied in the design of quantum algorithms for several structured problems. Many of these algorithms require significant amount of quantum hardware. In this paper we observe that if an algorithm requires O(P) hardware, it should be considered significant if and only if it produces a speedup of at least O(sqrt(P)) over a simple quantum search algorithm. This is because a speedup of $O(sqrt(P)) $ can be trivially obtained by dividing the search space into $O(P)$ separate parts and handing the probl…
A sequence of controlled collisions between a quantum system and its environment (composed of a set of quantum objects) naturally simulates (with arbitrary precision) any Markovian quantum dynamics of the system under consideration. In this paper we propose and study the problem of simulation of an {\it arbitrary} quantum channel via collision models. We show that a correlated environment is capable to simulate {\it non-Markovian} evolutions leading to any indivisible qubit channel. In particular, we derive the corresponding master equation generating a continuous time non-Markovian dynamics i…
We construct a new quantum algorithm for the graph collision problem; that is, the problem of deciding whether the set of marked vertices contains a pair of adjacent vertices in a known graph G. The query complexity of our algorithm is O(sqrt(n)+sqrt(alpha*(G))), where n is the number of vertices and alpha*(G) is the maximum total degree of the vertices in an independent set of G. Notably, if G is a random graph where every edge is present with a fixed probability independently of other edges, then our algorithm requires O(sqrt(n log n)) queries on most graphs, which is optimal up to the sqrt(…
Divisibility of dynamical maps is visualized by trajectories in the parameter space and analyzed within the framework of collision models. We introduce ultimate completely positive (CP) divisible processes, which lose CP divisibility under infinitesimal perturbations, and characterize Pauli dynamical semigroups exhibiting such a property. We construct collision models with factorized environment particles, which realize additivity and multiplicativity of generators of CP divisible maps. A mixture of dynamical maps is obtained with the help of correlated environment. Mixture of ultimate CP divi…
Modern cryptographic protocols rely on sophisticated hash functions to generate quasi-unique numbers that serve as signatures for user authentication and other security verifications. The security could be compromised by finding texts hash-mappable to identical numbers, forming so-called collision attack. Seeding a disturbance vector in the hash mapping to obtain a successful collision is that a major focus of cryptography study in the past two decades to improve hash protocols. We propose an algorithm that takes advantage of entangled quantum states for concurrent seeding of candidate disturb…
A collision model (CM) is a framework to describe open quantum dynamics. In its {\it memoryless} version, it models the reservoir $\mathcal R$ as consisting of a large collection of elementary ancillas: the dynamics of the open system $\mathcal{S}$ results from successive "collisions" of $\mathcal{S}$ with the ancillas of $\mathcal R$. Here, we present a general formulation of memoryless {\it composite} CMs, where $\mathcal S$ is partitioned into the very open system under study $S$ coupled to one or more auxiliary systems $\{S_i\}$. Their composite dynamics occurs through internal $S$-$\{S_i\…
Formulas for transversal conductance and dielectric permeability (dielectric function) in quantum Maxwell collisional plasma are deduced. The kinetic equation with collision integral in the form relaxation type is used.
We have proved the quantum mechanical H-theorem for dilute Bose and Fermi gases by generalizing the quantum statistical Boltzmann equation for all possible many-body elastic collisions among the particles in the quantum gases within the Lippmann-Schwinger formalism. Previous study by Pauli did almost the same only for binary elastic collisions. We are considering all possible many-body elastic collisions for the current study. Our proof offers a better understanding to the foundation of the second law of thermodynamics for quantum gases.
Quantum machine learning for the quantum lattice Boltzmann method: Trainability of variational quantum circuits for the nonlinear collision operator across multiple time steps
Formulas for transverse conductance in quantum Maxwellian collisional plasma are deduced. The kinetic Von Neumann equation in momentum space with collision integral in the relaxation form is used. It is shown, that at Planck's constant tends to zero the derived formula transfers to the classical one. It is shown also, that when values of dimensionless wave numbers are small, the conductance formula transfers in the known formula for classical Maxwellian plasmas.
Spin-exchange collisions in alkali vapors have been at the basis of several fundamental and applied investigations, like nuclear structure studies and tests of fundamental symmetries, ultra-sensitive atomic magnetometers, magnetic resonance and bio-magnetic imaging. Spin-exchange collisions cause loss of spin coherence, and concomittantly produce spin noise, both phenomena being central to quantum metrology. We here develop the quantum trajectory picture of spin-exchange collisions, consistent with their long-standing ensemble description using density matrices. We then use quantum trajectorie…
Formulas for longitudinal electric conductivity and dielectric permeability in the quantum non-degenerate collisional plasma with the frequency of collisions depending on momentum in Mermin' approach are received. The kinetic equation in momentum space in relaxation approximation is used. It is shown that when Planck's constant tends to zero, the deduced formula passes to the corresponding formula for classical plasma. It is shown also that when frequency of collisions of particles of plasma tends to zero (plasma passes to collisionless one), the deduced formula passes to the known Lindhard' f…
Detailed deducing of formulas for longitudinal electric conductivity and dielectric permeability in the quantum degenerate collisional plasma with constant collision frequency in Mermin' approach is given. The kinetic Schrödinger-Boltzmann equation in momentum space in relaxation approximation is used. It is shown that when collision frequency of plasma particles tends to zero (plasma passes to collisionless one), the deduced formula for dielectric function passes to the known Lindhard' formula for collisionless plasmas. It is shown that the deduced formula for dielectric permeability coincide…
Formulas for transverse conductance in quantum non-degenerate collisional plasma are deduced. The kinetic equation in momentum space in the relaxation approach is used. It is shown, that at $\hbar\to 0$ the derived formula transfers to the classical one. It is shown also, that when values of dimensionless wave numbers are small, the conductance formula transfers in the known formula for classical non-degenerate plasmas.
The elements of the quantum mechanical diffusion matrix, leading to a Gibbs equilibrium state for a set of $N$ coupled quantum harmonic oscillators are derived within Lindblad's axiomatic approach. Consequences of the fundamental constraints on the quantum friction coefficients are discussed. We derive the equations of motion for the expectation values and variances, and we solve them analytically. We apply our results to the description of the charge and mass asymmetry coordinates in heavy-ion collisions, and we investigate the effect of dissipation on tunneling in sub-barrier processes.
Cold collisions of light molecules are often dominated by a single partial wave resonance. For the rotational quenching of HD(v=1,j=2) by collisions with ground state para-H2, the process is dominated by a single L=2 partial wave resonance centered around 0.1 K. Here, we show that this resonance can be switched on or off simply by appropriate alignment of the HD rotational angular momentum relative to the initial velocity vector, thereby enabling complete control of the collision outcome.
We consider a general problem of inelastic collision of particles interacting with power-law potentials. Using quantum defect theory we derive an analytical formula for the energy-dependent complex scattering length, valid for arbitrary collision energy, and use it to analyze the elastic and reactive collision rates. Our theory is applicable for both universal and non-universal collisions. The former corresponds to the unit reaction probability at short range, while in the latter case the reaction probability is smaller than one. In the high-energy limit we present a method that allows to inco…
We show that any quantum algorithm to decide whether a function f:[n]->[n] is a permutation or far from a permutation must make Omega(n^{1/3}/w) queries to f, even if the algorithm is given a w-qubit quantum witness in support of f being a permutation. This implies that there exists an oracle A such that SZK^A is not contained in QMA^A, answering an eight-year-old open question of the author. Indeed, we show that relative to some oracle, SZK is not in the counting class A0PP defined by Vyalyi. The proof is a fairly simple extension of the quantum lower bound for the collision problem.
A $k$-collision for a compressing hash function $H$ is a set of $k$ distinct inputs that all map to the same output. In this work, we show that for any constant $k$, $Θ\left(N^{\frac{1}{2}(1-\frac{1}{2^k-1})}\right)$ quantum queries are both necessary and sufficient to achieve a $k$-collision with constant probability. This improves on both the best prior upper bound (Hosoyamada et al., ASIACRYPT 2017) and provides the first non-trivial lower bound, completely resolving the problem.
We present analytic expressions describing generation of the entanglement in collisions of initially uncorrelated quantum solitons. The results, obtained by means of the Born's approximation (for fast solitons), are valid for both integrable and non-integrable quasi-one-dimensional systems supporting soliton states.