Quasi-continuous variable quantum computation with collective spins in multi-path interferometers
T. Opatrny

TL;DR
This paper proposes a method for quantum computation using collective spins in multi-path interferometers, enabling coupling between samples and simulation of quantum systems through polynomial Hamiltonians.
Contribution
It introduces a novel approach combining multi-path interferometers with collective spins for quantum computation, enabling complex Hamiltonian construction.
Findings
Coupling between atomic samples achieved via multi-path interferometers.
Polynomial Hamiltonians constructed through spin rotations and light interactions.
Potential for efficient quantum system simulation.
Abstract
Collective spins of large atomic samples trapped inside optical resonators can carry quantum information that can be processed in a way similar to quantum computation with continuous variables. It is shown here that by combining the resonators in multi-path interferometers one can realize coupling between different samples, and that polynomial Hamiltonians can be constructed by repeated spin rotations and twisting induced by dispersive interaction of the atoms with light. Application can be expected in efficient simulation of quantum systems.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Quasi-continuous variable quantum computation with collective spins in multi-path interferometers
Tomáš Opatrný
Optics Department, Faculty of Science, Palacký University, 17. Listopadu 12, 77146 Olomouc, Czech Republic
Abstract
Collective spins of large atomic samples trapped inside optical resonators can carry quantum information that can be processed in a way similar to quantum computation with continuous variables. It is shown here that by combining the resonators in multi-path interferometers one can realize coupling between different samples, and that polynomial Hamiltonians can be constructed by repeated spin rotations and twisting induced by dispersive interaction of the atoms with light. Application can be expected in efficient simulation of quantum systems.
Introduction.— Quantum computation with continuous variables (CVs) is an alternative to the computation based on qubits Lloyd-Braunstein-1999 ; Braunstein-Loock-2005 . Efficient simulation of quantum processes with dynamical CVs is one of the the main motivations for this approach Kendon-2010 ; Georgescu ; Deng-2016 ; Marshall-2015 . A universal CV quantum computer would need (i) a sufficiently large set of single CV modes each of which can be initialized in a suitable quantum state, (ii) a suitable set of single-mode Hamiltonians capable to be combined into more complicated Hamiltonians realizing arbitrary polynomials of the CV, and (iii) a suitable interaction Hamiltonian of different CVs. As shown in Lloyd-Braunstein-1999 , having in each mode a conjugate pair of variables and commuting as , any polynomial Hamiltonian of and can be constructed if a Hamiltonian of at least third power of or is available, as well as some simpler Hamiltonians realizing, e.g., displacements or rotations in the phase space. Hamiltonians containing higher powers of and are generated by cascaded application of commutators of lower power Hamiltonians. As a possible model of a CV quantum computer, one considers a set of optical modes where Kerr interaction plays the role of the higher order Hamiltonian, and beam splitters realize the interaction between different modes. Since the Kerr interaction is typically too weak to be practical for quantum CV operations, alternate schemes have been proposed. These include quantum computing with CV clusters Menicucci-2006 ; Gu-2009 , or measurement-based schemes for higher order Hamiltonians such as Marek-2011 ; Marshall-2015b .
Here, a scheme of quasi-CV quantum computation based on collective spins of large () atomic samples interacting via optical fields in multi-path interferometers is proposed. Although spin is a discrete variable, for large and nearly polarized atomic samples the spin components perpendicular to the polarization direction have similar properties as the CVs position and momentum of a harmonic oscillator. Visualizing collective spin states on a Bloch sphere, the computationally relevant states are localized in a confined area where the geometry is close to that of a flat phase space. On the other hand, the curved geometry brings a special advantage in that already quadratic Hamiltonians typically used to generate spin squeezing are sufficient to generate higher power Hamiltonians by commutators. This is achieved by a sequence of rotations (linear Hamiltonian) and squeezing operations (quadratic) which can, in principle, realize Hamiltonians containing, among others, arbitrary powers of the computational variable. Moreover, if the atomic samples are placed in optical resonators mutually coupled to form an interferometer, the off-resonant atom-light interaction can mediate quantum non-demolition (QND) interaction between various samples. By changing resonator lengths and optical phases between the resonators, one can select the modes to interact. Thus, multimode polynomial Hamiltonians can be realized. To realize quantum computation, the system is initialized by squeezing the atomic spins in each resonator, and at the end the results are read-off by measuring the relevant spin components as in the cavity spin squeezing experiments Leroux-2010a ; Hosten-2016 .
Atoms in a resonator.— Based on the idea of atomic spin squeezing by cavity feedback Schleier-SmithPRA2010 ; Leroux-2010a , we first consider a scheme in Fig. 1a. Incoming laser beam of electric intensity is partially reflected from the left cavity mirror and partially enters the cavity. The laser is tuned close to the cavity resonance where the field intensity inside the cavity strongly depends on the optical phase. A large collection of nearly resonant atoms is optically trapped inside the cavity by additional field at anti-nodes of the standing wave . The relevant atomic states are the hyperfine-split states and of the electronic ground state and an electronically excited state . The laser frequency is tuned halfway between the transitions and such that the field is detuned by from each of them. The presence of an atom in state () changes the optical phase by respectively, where Supplement . Here is the wavelength, is the beam waist, and is the optical decay rate from state .
A collective spin state of the atoms can be expressed in terms of operators and their Hermitian conjugates, where () creates (annihilates) an atom in state , respectively. The total number of atoms is , and the commutation rules are . We construct angular momentum-like operators , , and as , , and satisfying the commutation relations , , and . Note that for simplicity we use rather than the more common notation . For states with and (near equator, as in Fig. 1b), the operators and commute as and can be used to simulate the CVs and .
The optical phase shift in the cavity due to the collective atomic state can be expressed as . The cavity phase shift influences the inside field intensity as follows. Assume the left mirror of the cavity has transmissivity , whereas the right mirror is perfectly reflecting. Assume the loss per one round trip in the cavity is . If describes the optical phase deviation from the center of the resonance line, the field intensity at the anti-nodes in the cavity can be expressed as (see Supplement for the derivation). Expressing the wave number as where with being the cavity length and integer, the phase deviation is .
The cavity field induces ac Stark shift of the atomic states so that the levels move apart by with the Rabi frequency being , where is the electric dipole moment of the optical transition. The dipole moment is related to the spontaneous decay rate by Scully , where is the vacuum permittivity and . The energy of the whole atomic sample is thus changed by . Expressing the intensity of the incoming field in terms of the incoming power which can be expressed by means of the rate of incoming photons , we can write
[TABLE]
Linearizing the dependence of on for sufficiently large detuning one finds
[TABLE]
where
[TABLE]
Note that a suitable choice of parameters , and is needed so as to ensure both that the interaction is strong enough and that is independent of with a reasonable precision. Hamiltonian (2) realizes the one-axis twisting (OAT) scenario of spin squeezing Kitagawa . The sign of the quadratic term can be switched by switching the sign of detuning . Recently, application of this twist-untwist feature for quantum metrological purposes was proposed Davis-2016 .
Apart from a quadratic Hamiltonian, one needs also a suitable set of operators linear in the variables . A microwave field off-resonantly coupling states realizes Hamiltonians proportional to . A resonant microwave field can realize Hamiltonians proportional to where is the mutual phase between the microwave and the atomic sample Leroux-2010a ; Schleier-SmithPRL2010 . Alternately, one can also use optical Raman transitions between the spin states.
Coupling between different atomic samples.— First consider a scheme with two cavities in a Michelson-like setup as in Fig. 1b. Various modifications are possible, but for concreteness, let us assume cavities in branches and with resonant path lengths and a mirror in path with . In this case a phase shift in one cavity strongly influences the intensity in both cavities. Assuming a sufficiently large detuning , linearization of the phase dependence leads to the Hamiltonian of the form
[TABLE]
where
[TABLE]
with being the transmissivity of the interferometer beam splitter (see Supplement for detailed derivation). Hamiltonian (5) can be straightforwardly used to generate evolution corresponding to the QND Hamiltonian
[TABLE]
This is achieved by a four-step sequence in which rotations of the Bloch spheres change and sign of is changed to the opposite value in the two steps when exactly one of the coordinates is changed. This sequence eliminates the linear terms as well as the quadratic terms of (5).
The strength of the interaction can be increased by decreasing the detuning . This is illustrated in Fig. 2 where the power inside one of the cavities as well as the resulting interaction Hamiltonian are shown for two different values of . For small (Fig. 2a) the atoms may tune the system close to resonance where the power increases dramatically. This leads to strong interaction, but also to the deformation of the dependence of on beyond the approximation of (5) and (8). For larger (Fig. 2b) the Hamiltonian is closer to the bilinear form (8), but the interaction is weaker. The optimal choice of will depend on the particular task to be achieved with the interacting atoms.
The scheme can be scaled up to contain more cavities. The simplest generalization is a three-cavity scheme where a cavity is placed in each of the branches of the interferometer in Fig. 1b. By shifting the cavity mirrors, some cavities can be brought sufficiently near to resonance whereas others will be far off-resonant. In the resulting Hamiltonian, only the atomic samples of the nearly resonant cavities will interact. A five-cavity scheme is illustrated in Fig. 3. As checked by numerical simulation of the interferometer, two arbitrary cavities can be brought to interaction whereas the rest of them are switched off.
Construction of higher power Hamiltonians and functions of the CVs.— Having the Hamiltonian with both signs, as well as rotations of the Bloch sphere by linear Hamiltonians, one can construct any quadratic Hamiltonian of . In particular, the two-axis countertwisting (TACT) Kitagawa Hamiltonians or are built by rotating the Bloch sphere by or and applying (for a general treatment of spin squeezing by quadratic Hamiltonians, see Opatrny-twist ). Other Hamiltonians can be constructed as commutators of the available operators by the sequence and by the Suzuki-Trotter expansion Trotter ; Suzuki76 ; Hatano-Suzuki . Using the commutation relations of , one finds, e.g.,
[TABLE]
or a two-mode Hamiltonian
[TABLE]
that can be useful to construct functions mapping the variables as . By cascading the commutators one can construct Hamiltonians of arbitrary power. More efficient ways of producing various Hamiltonians by using the fact that limited area of the Bloch sphere is used can be found; optimization of the process is in focus of further research.
Decoherence and losses.— Several challenges have to be addressed to fully utilize the scheme. Losses are inherently connected with the dispersive interaction as Supplement . Decreasing losses thus means also decreasing the strength of the Hamiltonians and thus making the process longer. Therefore, optimization of the interaction strength should be applied to make the process useful. Also, the optical field becomes entangled with the atomic system leading to decoherence: the phase of the outgoing light is influenced by the atomic number inside, and phase of the atomic spins is influenced by the fluctuating light intensity. This problem was studied in detail in Leroux-2012 and one can anticipate various scenarios to solve it: recycling the light pulses to disentangle them from the atoms, using sub-shot-noise squeezed pulses, or detecting the energy of the outgoing light and considering the atomic state conditioned on the result.
Discussion and conclusion.— The essential features of the proposed scheme are the possibility to vary the sign of the nonlinearity, to build Hamiltonians of higher powers of the computational CVs out of the quadratic Hamiltonian, and the possibility to couple multiple resonators in interferometric schemes. The seeming contradiction between the possibility to generate higher power Hamiltonians out of quadratic ones and the fact that at least cubic nonlinearity is required in schemes as in Lloyd-Braunstein-1999 is resolved by considering that the spin operators themselves are quadratic in the creation and annihilation operators. Thus, the Hamiltonian contains terms like , i.e., of the cross-Kerr type.
The approach is fully compatible with the scheme of quantum computing with CV clusters Menicucci-2006 ; Gu-2009 as all its ingredients are present here: multi-mode squeezed states can be initially prepared by the QND Hamiltonians, and non-Gaussian operations are generated either by and higher order Hamiltonians, or by projective measurements of a suitable non-Gaussian variable. Here, such a measurement can be done by rotating the states close to the pole of the Bloch sphere and then measuring which would be analogous to photon counting in optical CV schemes. Note that non-Gaussian features of the detected statistics in atomic spin systems have been used recently for metrology improvement Strobel-2014 .
The potential of collective spins of atoms in optical resonators for CV quantum computation seems promising taking into account the huge squeezing recently achieved Hosten-2016 . The scheme is expected to be useful especially for simulation of quantum systems Kendon-2010 ; Georgescu ; Deng-2016 ; Marshall-2015 .
This work was supported by the Czech Science Foundation, grant No. 17-20479S.
I Phase shift by one atom in the cavity
Assume one atom in an empty cavity resonant for light of frequency with vacuum Rabi frequency and detuning , the frequency shift is . The vacuum Rabi frequency is
[TABLE]
where is the vacuum electric field and the dipole moment which can be inferred from the relation for the spontaneous decay rate (see Ref. [12] of the main text)
[TABLE]
Here is the effective volume of the beam in the cavity, being the beam waist and the cavity length. From these equations one can find
[TABLE]
The change of the wavenumber is then
[TABLE]
and the phase shift per one roundtrip caused by one atom in the cavity of length is thus
[TABLE]
II Cavity input-output relations and field inside the cavity
Assume a field arriving at a cavity mirror with transmissivity and reflectivity , the geometry being as in Fig 1a of the main text. The field behind the cavity mirror is
[TABLE]
where is the cavity length, with being the relative absorption of light in the cavity per one round-trip, and is an additional phase shift. Introducing , for simplicity, we find
[TABLE]
For small one finds
[TABLE]
and for
[TABLE]
For the field inside the cavity one can write which for small yields
[TABLE]
where the last approximation is valid for .
III Spin Hamiltonian
Consider first a free propagating wave, the transmitted power being
[TABLE]
where is the electric field amplitude and is the area of the beam. Thus, for the propagating wave one finds
[TABLE]
For a standing wave the amplitude in the anti-nodes is doubled, i.e.,
[TABLE]
Atoms located at the standing wave maxima have their frequencies ac-Stark shifted by , where
[TABLE]
so that
[TABLE]
Applying for Eq. (I.13) and for the beam area we get
[TABLE]
If for atoms the detuning is and for atoms the detuning is , the energy change of the system can be described by the Hamiltonian
[TABLE]
where . If depends on , the Hamiltonian becomes nonlinear in .
IV Estimation of the absorption coefficient
Even if one tries to eliminate all losses, there is unavoidable absorption of light interacting with the off-resonant atoms. The absorption cross section of an atom with the linewidth in the field detuned by from resonance can be expressed as
[TABLE]
where the last approximation holds for . If such an atom is sitting on the axis of a beam of waist , the fraction of the beam power is absorbed and randomly re-emitted. For atoms positioned randomly in a cavity, twice this fraction of the circulating light energy is absorbed each round trip per atom, i.e.,
[TABLE]
For atoms positioned in the anti-nodes, this value is doubled. For of 85Rb atoms with nm, MHz, and laser beam of the waist m detuned by GHz one finds for the atoms sitting in the anti-nodes.
V Michelson-like interferometer with two cavities
V.1 Input-output relations
Consider a scheme as in Fig. 1b of the main text. Assume the input amplitude being 1 and the beam splitter transformation matrix
[TABLE]
with , , and . The amplitudes in the four outputs of the beam splitter can be calculated from
[TABLE]
where
[TABLE]
is the input-output relation of the cavity in path (cf. Eq. (II.19)) and similarly for . Each cavity has length , and the distances between the beam splitter and the mirror in paths are . Solving the set (V.36)–(V.39) one gets
[TABLE]
From these equations one gets the intensities
[TABLE]
where
[TABLE]
and
[TABLE]
with
[TABLE]
As can be checked, for (no losses, ) one gets , i.e., energy conservation.
V.2 Estimation of losses in resonance
Resonance effects occur when the denominator is small. In the lossless case one finds that for and . For small losses with and one can expand the expressions as powers of and ,
[TABLE]
Expressing with and expanded up to the third power of , one finds
[TABLE]
This leads to
[TABLE]
which can be used to estimate the total losses in the interferometer.
V.3 Estimation of the inter-cavity intensity dependence on phases
The intensities inside the cavities can be expressed using Eq. (II.22) where we assume that the phases are changed in an interval much narrower than so that and for we use Eqs. (V.42) and (V.44) multiplied with , i.e., the field incoming to the system. We thus get
[TABLE]
We use
[TABLE]
and
[TABLE]
being integers, so that we arrive at
[TABLE]
where we have neglected the last terms as we assume , i.e., . In this case we find
[TABLE]
and
[TABLE]
Combined with (V.60) and (V.61), these equations yield
[TABLE]
For sufficiently large detuning one can write
[TABLE]
which for can be linearized as
[TABLE]
Expressing with of (I.16) and writing the total Hamiltonian as
[TABLE]
with given by (III.29), we arrive at Eqs. (5)–(7) of the main text.
VI Information in the quasi-continuous variables
Symmetric states of two-level atoms form a dimensional Hilbert space that can, in principle, encode qubits. If one wants to use the system for continuous-variable simulation, only a part of this number is available. To estimate the reduction, assume that the states of interest are located on the Bloch sphere in an area of radius much smaller than the Bloch sphere radius , i.e., . Assume that the information is encoded into spin-squeezed states of principal half-widths (square roots of variances) where the larger half-width is , and the product of the half-widths is the variance of the spin coherent state, . Thus, the smaller half-width is , and the number of states that can be encoded is . Thus, the information corresponds to , i.e., the reduction is bits (more details on the amount of information carried by continuous variables can be found, e.g., in Braunstein-Loock-2005 ). Using these relations, one finds that
[TABLE]
where Sq refers to the squeezing in decibels (negative Sq means squeezing below the standard quantum limit) and is the number of qubits encoded in these states.
As an illustration, assume atoms and . This corresponds to 12.5-qubit equivalent of the total number of symmetric states reduced to 3.9 qubits encoded in the 15 states located in the radius area of the Bloch sphere. These states are squeezed by dB dB.
As another example, consider the recent record in spin squeezing of 20 dB in a sample of atoms Hosten-2016 . Using these states for continuous variable simulation, one finds which would allow to work with different states, corresponding to qubits in one sample. Note that using all the symmetrical states of the -sample would correspond to approximately qubits.
VII Influence of the Bloch sphere curvature on the squeezed state overlap
For large and weakly excited states (i.e., states not too distant from a chosen spin coherent state) the system dynamics are virtually the same as the dynamics of a harmonic oscillator having a flat phase space. On the other hand, strongly squeezed atomic spin states differ from their harmonic oscillator counterparts because of the finite-dimensional Hilbert space and curved phase space (Bloch sphere). For simulating continuous variable systems, the resulting states should be close to those of the flat phase space, although advantage of the curved Bloch sphere is taken during the computation process.
There are various possibilities to quantify the influence of the curvature of the Bloch sphere on the states of interest. As an example, one can compare overlaps of mutually shifted squeezed coherent states. First consider two Gaussian states of a harmonic oscillator. Let the states be located parallel to each other: the mean values of their quadratures are , , and , and their standard deviations are and with as for the minimum uncertainty states. If the mutual distance of the Gaussians is a fixed multiple of their widths, , the overlap of the states only depends on as .
The situation is changed in a curved phase space. Consider two spin squeezed states centered on the equator and stretched along the meridians. Let the distance of their centers be a fixed multiple of their width, and let us vary their extension along the meridian. For small extensions the situation is similar as in the flat phase space, but when the stretching becomes comparable to the size of the Bloch sphere, one can observe the effect of meridians approaching each other near the poles. The results can be seen in Fig. 4. One can observe decreasing or increasing overlap of the states due to the interference of the approaching parts in the phase space. As can be seen, the results are very close to those in the flat phase space provided that the relative extension of the state to the Bloch sphere radius is .
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) S. Lloyd and S. L. Braunstein, Quantum Computation over Continuous Variables. Phys. Rev. Lett. 82, 1784 (1999).
- 2(2) S. L. Braunstein and P. van Loock, Quantum information with continuous variables. Rev. Mod. Phys. 77, 5013 (2005).
- 3(3) V. M. Kendon, K. Nemoto, and W. J. Munro, Quantum analogue computing. Phil. Trans. R. Soc. A 368, 3609 (2010).
- 4(4) I. M. Georgescu, S. Ashhab, and F. Nori, Quantum simulation. Rev. Mod. Phys. 86, 153 (2014).
- 5(5) K. Marshall, R. Pooser, G. Siopsis, and C. Weedbrook, Quantum simulation of quantum field theory using continuous variables. Phys. Rev. A 92, 063825 (2015).
- 6(6) X. Deng, S. Hao, H. Guo, C. Xie, and X. Su, Continuous variable quantum optical simulation for time evolution of quantum harmonic oscillators. Sci. Rep. 6, 22914 (2016).
- 7(7) N. C. Menicucci, P. van Loock, M. Gu, C. Weedbrook, T. C. Ralph, and M. A. Nielsen, Universal quantum computation with continuous-variable cluster states. Phys. Rev. Lett. 97, 110501 (2006).
- 8(8) M. Gu, C. Weedbrook, N. C. Menicucci, T. C. Ralph, and P. van Loock, Quantum computing with continuous-variable clusters. Phys. Rev. A 79, 062318 (2009).
