Quantum Simulation with a Boson Sampling Circuit

Quantum Simulation with a Boson Sampling Circuit

Diego González Olivares Instituto de Física Fundamental IFF-CSIC, Calle Serrano 113b, Madrid E-28006, Spain.    Borja Peropadre Department of Chemistry and Chemical Biology, Harvard University, Cambridge, Massachusetts 02138, United States    Alán Aspuru-Guzik Department of Chemistry and Chemical Biology, Harvard University, Cambridge, Massachusetts 02138, United States    Juan José García-Ripoll Instituto de Física Fundamental IFF-CSIC, Calle Serrano 113b, Madrid E-28006, Spain.
Abstract

In this work we study a system that consists of matter qubits that interact through a boson sampling circuit, i.e., an -port interferometer, embedded in two different architectures. We prove that, under the conditions required to derive a master equation, the qubits evolve according to effective bipartite XY spin Hamiltonians, with or without local and collective dissipation terms. This opens the door to the simulation of any bipartite spin or hard-core boson models and exploring dissipative phase transitions as the competition between coherent and incoherent exchange of excitations. We also show that in the purely dissipative regime this model has a large number of exact and approximate dark states, whose structure and decay rates can be estimated analytically. We finally argue that this system may be used for the adiabatic preparation of boson sampling states encoded in the matter qubits.

I Introduction

Optical circuits are linear devices that route photons along different paths. They can be found at a variety of scales, from classical circuits built using macroscopic lenses and mirrors Reck et al. (1994); Clements et al. (), to photonic crystals that achieve routing and confinement by means of nanostructuring a metamaterial Lund-Hansen et al. (2008); Goban et al. (2014), on-chip waveguides Politi et al. (2008), waveguides imprinted using femtosecond pulses Meany et al. (2015) or reconfigurable optical microchips Carolan et al. (2015); Harris et al. (2015).

In addition to their widespread use in telecommunications, optical circuits have found two extraordinary applications in quantum science. Photonic pathways enable the engineering of electromagnetic environments for atoms or quantum dots, either to to enhance and control light-matter interactions Goban et al. (2014); Lodahl et al. (2015), implement nonlinear transformations on light Tiecke et al. (2014), or engineer photon-mediated interactions Chang et al. (2006); Gonzalez-Tudela et al. (2011).

An additional novel application is the study of computational models based on boson sampling Aaronson and Arkhipov (2011); Gard et al. (2015); Broome et al. (2013); Spring et al. (2013); Tillmann et al. (2013); Crespi et al. (2013); Shen et al. (2014); Motes et al. (2014); Peropadre et al. (2015); Motes et al. (2015); Huh et al. (2015). Within this paradigm, a particular kind of optical circuit known as a multiport interferometer is fed with a nonclassical input of one photon in out of ports. Aaronson and Arkhipov showed Aaronson and Arkhipov (2011) that the events with exactly photons exiting distinct ports have a probability distribution that, under reasonable conjectures, is classically hard to simulate for arbitrary circuits 111When is sampled randomly from the set of unitaries using the Haar measure. Therefore, optical circuits are good candidates to demonstrate the supremacy of quantum computing models Preskill ().

In this work, we merge the two research lines mentioned above into an application that studies the long time effective dynamics between matter qubits interacting through boson sampling circuits [cf. Fig. 1a]. We build on the idea that the time evolution with general spin XY Hamiltonians is formally linked to boson sampling Peropadre et al. (). Here, we show that this relation emerges not only at a mathematical level, but also in physical implementations. More precisely, we consider a setup with two-level systems coupled to the ports of an -line interferometer —symbolized by green circles and blue waveguides in Fig. 1a—. We show that this system exhibits an effective spin-spin interaction which may be dissipative [cf. Fig. 1b] or coherent [cf. Fig. 1c]. In the first case, the dissipative interaction has got a collective nature. We prove that these models have a large space of dark and quasi-dark states, which we can analyze for arbitrary random unitaries. In the second case, our system implements arbitrary bipartite spin models with long-range interactions, whose dynamics is classically hard to simulate. Moreover, the same setup can be used to directly prepare and study boson sampling states directly in the matter qubits. The main conclusion of this work is that the combination of optical circuits and few-level systems offers unique opportunities for quantum simulation and quantum information processing.

Figure 1: (a) Our setup consists of two sets of matter qubits or two-level systems (green) effectively connected with each other by the photons that propagate through a linear optics circuit (blue waveguides). Such a circuit could be built. for instance, from beam splitters and phase shifters. This circuit may be open (b), with free photons, or it may be converted into a resonator by terminating the ends with mirrors or closing it periodically (c) with additional optical paths.

The structure of this work is as follows. Throughout Sec. II we introduce the physical setup and its description in terms of abstract unitary transformations. Starting from these spin-boson models, Sec. III derives the effective interaction between emitters, both in the coherent and incoherent regimes. These models are then used in Sec. IV to study applications in quantum simulations, the potential of achieving quantum supremacy and dissipative state engineering. Sec. V summarizes the results and discusses their potential impact in various fields. Finally, for the sake of readability, we group several appendices with the explicit calculations for the interferometer transformation, the effective models and the boson-samplign state preparation.

Ii Physical Setup

We consider two arrays of qubits or two-level systems that interact through an optical circuit. The circuit is regarded as a linear transformation of the annihilation operators, from input channels to output channels,

(1)

where the linear transformation depends in general on the linear momentum, , associated to the bosonic modes with anihilation operators , . As explained in Appendix A, this unitary map can be built using beam splitters and phase shifters. Nevertheless, the same idea can be extended to more general setups with optical Tillmann et al. (2013); Broome et al. (2013); Spring et al. (2013); Motes et al. (2014) or microwave media Peropadre et al. (2015) that propagate photons through a finite number of channels.

We consider an architecture in which we have one matter qubit coupled to each of the input or output ports of the photonic circuit [cf. Fig. 1(a)]. This architecture may be embedded in two different physical configurations. In the first of them, shown in Fig. 1(b), the photonic channels extend in both directions well beyond the qubits and support propagating waves. The Hamiltonian reads

(2)

where is the qubit splitting, is the photon frequency, the corresponding momentum and the are the Pauli operators for the two sets of in,out of matter qubits each. The qubit-mode coupling constant is of the form , with being a quantization length for the waveguide modes and the dipolar coupling strength. We will eventually take the continuum limit replacing the sum over momenta with an integral, , but the sums are kept for convenience throughout the calculations.

Note also the difference in the coupling amplitudes of the input and ouptut qubits in Eq. (II). The output qubits couple through the unitary transformation implemented by the optical circuit, which in general is a function of the photon momentum with the only constraint [cf. Appendix A].

An alternative setup would be an optical circuit where the output ports are closed with mirrors, thereby creating a resonator. The analysis of such circuits might be complicated in general, because the unitary depends on photon momentum and the modes need to satisfy zero-field boundary conditions. For the sake of simplicity we have devised a configuration of the form shown in Fig. 1(c). This configuration ensures that we may define photonic modes provided that , where and is the total length of the resonator. In addition, input and output qubits perceive the same distribution of fields in this configuration as they do in the setup of Fig. 1(b). Consequently, the Hamiltonian of this alternative configuration is the same as (II), with the difference that we will never replace the sums with integrals.

Iii Effective Models

So far we have considered linear transformations on a collection of bosonic modes connecting two sets of qubits. We will now derive effective models for the qubits by tracing out those bosonic degrees of freedom in the two different setups considered. We begin with the resonator system, in which the discrete spectrum gives rise to a purely coherent interaction. We then continue with the open waveguide circuit, for which both Hamiltonian interactions and collective dissipation coexist.

iii.1 Closed Circuit: Spin Hamiltonian

We will work with the model for the resonator setup shown in Fig. 1(c), where the optical circuit is introduced twice to have appropriate boundary conditions. We assume a dispersive limit in which the frequency spacing between cavity modes is much larger than the qubit-resonator coupling . In this regime, if qubits are off-resonant from all cavity modes and , we can use second-order perturbation theory to derive an effective qubit interaction mediated by the exchange of virtual photons

(3)

The virtual photon exchange gives rise to a renormalization of the qubit frequency , where

(4)

is the effective shift; and the effective exchange interaction is given by

(5)

which depends on the transformation implemented by the optical circuit for each value of the photon momentum . In most cases, one of the contributions in (5) will dominate with respect to all the others, allowing a direct identification of with .

iii.2 Open Circuit: Master Equation

We will now work with the model (II), in which the photons form a continuum of modes propagating in both directions. Following the derivation in Appendix B, we obtain an effective master equation for the reduced density matrix of the qubits . This equation only depends on the unitary transformation that represents the optical circuit at the resonance point, , and the spontaneous emission rate of each qubit onto its corresponding photonic channel [cf. Eq. 30]:

(6)

This equation contains an effective Hamiltonian

(7)

and a dissipation term

(8)

defined in terms of the Lindblad superoperator

(9)

The dissipation terms in Eq. (8) are consistent with the application of Fermi’s golden rule to the degrees of freedom of this system. The factors accompanying the nonlocal spin-flip terms arise from the fact each spin can excite photons in both directions, and , and that the dependence on of the corresponding matrix elements for the associated transitions satisfies [cf. Appendix A].

Iv Applications

iv.1 Quantum Simulation of Spin Models and Spin-Boson Sampling

Working in the resonator regime, Eq. (3) opens the door to the simulation of any bipartite spin or hard-core boson model. More precisely, for any bipartite spin-spin interaction described by a real and symmetric matrix , we can identify a unitary matrix such that in an element-wise manner. The procedure for this would start by diagonalizing , for a certain unitary transformation and a diagonal form . We then would find out the largest eigenvalue and construct , where the diagonal matrix is chosen such that .

A very relevant subset of problems in this context corresponds to spin-sampling. In this case would be a random orthogonal matrix drawn from the Haar measure. As it was proven in Ref. Peropadre et al. (), an model with random, long-range interactions implements a short-time dynamics that is as complex as boson sampling. Our resonator setup provides a possible physical implementation of this idea. More precisely, if we excite input spins and probe the output qubits after a time , the distribution of excitations in this subsystem would be described by a permanent, just as in the case of boson sampling. Provided that is large enough, the resulting dynamics would be classically hard to simulate.

iv.2 Dissipative Regime and Dark States

It is also interesting to take the opposite limit in which coherent tunneling is completely suppressed and we only have collective dissipation. In this case, , where is an orthogonal transformation, and we can write the master equation as

(10)

in terms of collective spin operators

(11)

We may now look for stationary states, solving the equation . Besides the trivial stationary solution that is the ground state , we will find exact ‘dark states’ of the dynamics that correspond to delocalized spin excitations. These states, which are created by the operators

(12)

are called dark states because they are exactly decoupled from the photonic fields. The states (12) appear as a generalization of the singlet states Gonzalez-Tudela et al. (2011) that are the dark states of a system consisting of two qubits interacting with a lossless photonic waveguide.

In addition to these exact dark states, in our problem we also find other quasi-stationary states that are constructed by repeatedly applying different operators. As explained in Appendix C, we find that a state with distinct dark-state quasiparticle excitations decays with a rate

(13)

with . Thus, in the very dilute limit, can be very small and the resulting states may be regarded as de facto dark states. This limit of diluteness is reached even for moderate circuit sizes. We have verified this performing a Monte Carlo simulation of the circuit and estimating the decay rates with up to modes and up to excitations. These results are shown in Fig. 2 alongside the theoretical predictions.

Figure 2: Effective decay rates averaged over random unitary operators for different number of modes and quasiparticle filling . Dashed lines represent the analytic results (13) for increasing values of (from bottom to top), while the corresponding sets of points with error bars represent the decay rates estimated from a Monte Carlo simulation of the system.

iv.3 Adiabatic Preparation of Boson Sampling States

An attractive feature of model (3) is that it can be used to adiabatically prepare the boson sampling state. Given a random unitary transformation sampled with the Haar measure, the boson sampling state with excitations in modes is given by

(14)

This state is the one obtained by injecting bosons in the first modes of a multiport interferometer implementing the transformation . We now show how to encode an approximately similar state in the qubits

(15)

where the error can be made arbitrarily small.

Our protocol builds on the results of Peropadre et al. (), which states that the dynamics of a multimode bosonic system with few excitations can be approximated by the evolution of a spin model with a similarly small number of excitations. The protocol assumes that we can build a random spin-spin interaction of the form (3) where is our randomly sampled orthogonal transformation. We also assume that in the effective model we can tune the energies of the input and output qubits, using external fields. The time-dependent Hamiltonian reads

(16)

The switching function interpolates smoothly and over a long time . We start with an initial state , in a regime in which prevents tunneling. We then adiabatically shift to zero, until at a time we have . As shown in Appendix D, provided remains small compared to , the system should then converge to a ground state that consists on excitations in the output qubits. In other words, . The resulting state should be arbitrarily close to a boson sampling state, provided that the number of excitations is dilute enough.

V Conclusions

We have presented a setup and a model for engineering photon-mediated interactions between two-level emitters using optical circuits. This idea represents a rather general paradigm that encompasses and extends previous approaches towards similar goals in one-dimensional photonic environments Chang et al. (2006); Gonzalez-Tudela et al. (2011). Using the tools in this paper we can reverse-engineer arbitrary bipartite interactions, such as high-dimensional XY spin Hamiltonians, finding the optical circuits that implement them, and rely on reconfigurable circuits Carolan et al. (2015) or single-purpose devices Politi et al. (2008); Meany et al. (2015) to implement them.

We have discussed various applications of the resulting setups, that range from studies of quantum complexity and quantum supremacy at through short time evolution Peropadre et al. () or through the preparation of boson sampling states, to using the optical circuit dark states for quantum information and quantum optics applications.

These applications can be tested in a variety of state-of-the-art platforms. For instance, setups with trapped atoms in photonic crystals have demonstrated strong light-matter interactions Tiecke et al. (2014) that are sufficient for implementing the dissipative models in this work. Solid-state devices such as quantum dots have also achieved sufficient coupling strengths Lodahl et al. (2015), but in this case inhomogeneous broadening of levels might make them more suitable for studying disorder in our spin Hamiltonians.

All our proposals can be extended to work with superconducting quantum circuits, where microwave transformations such as beam splitters have been demonstrated Hoffmann et al. (2010); Pechal et al. (2016). In this case, the enhanced light-matter interaction allows reaching the ultrastrong coupling regime to the continuum Forn-Díaz et al. (2016) and we can no longer apply the Markov approximations. However, rather simple generalizations of our treatment based on the polaron transformation Kurcz et al. (2014); Díaz-Camacho et al. (2015) shows that we still recover spin-spin interactions, but now they become of Ising type. This opens the door to simulating other types of dissipative phase transitions Rossini and Fazio (2007); Falci et al. (2000); Nissen et al. (2012); Eisert et al. (2015), but also opens questions regarding the quantum complexity of Ising models and their time evolution.

Another important generalization would be using only a subset of qubits, or placing qubits at a subset of ports and blocking other channels with mirrors or closed loops. These and other designs, which allow implementing more general spin Hamiltonians which are not bipartite, will be explored in further work.

Finally, this work has been developed under reasonable assumptions of Markovianity and long photon wavepackets, where the time for photons to travel between qubits greatly exceeds the spontaneous emission rate. These open interesting questions about how to generalize our theoretical framework to include retardation effects.

Acknowledgements.
The authors acknowledge support from the European Union FP7 project PROMISCE, Spanish MINECO projects FIS2012-33022 and FIS2015-70856-P, CAM Research Network QUITEMAD+. D. G. O. was supported by FPI grant BES-2013-066486. B. P. and A. A.-G. acknowledge the Air Force of Scientific Research for support under award: FA9550-12-1-0046. A.A.-G. acknowledges the Army Research Office under Award: W911NF-15-1-0256 and the Defense Security Science Engineering Fellowship managed by the Office of Naval Research.

Appendix A Waves from Optical Transformations

An arbitrary optical transformation may be decompose into a series of at most interferometers and phase shifters Clements et al. (); Reck et al. (1994) of the form shown in Fig. 3. Assuming this optical interpretation of the circuit, we will find that the -th operation will couple -th and -th modes through a unitary transformation

(17)

that, following the conventions in Ref. Reck et al. (1994), depends on two angular parameters

(18)

Note that the unitary transformation also depends on the momentum of the photon.

Figure 3: A two-port interferometer built with two 50-50 beam splitters and two phase shifters, and , implements the most general unitary transformation from input modes into output modes .

Taking as reference the unitary that is implemented for the photons that are resonant with the qubits, , a general transformation will typically read

(19)

An important question is what happens to the photons propagating in the opposite direction. It is not difficult to convince oneself that by having a backwards-moving plane wave we will obtain the relation

(20)

where arises from the particular form of the optical transformation (18). Since the product of unitaries runs in an opposite order to that of (19), when we apply the inverse transformations to extract we recover the simple result

(21)

In other words, we have found the relationship

(22)

which is a generalization of the relation between forward and backwards-moving waves, , in one-dimensional waveguides.

Appendix B Derivation of a Master Equation for the Open Circuit

A master equation that describes the effective qubit dynamics generated by the Hamiltonian (II) may be derived in the Markovian regime. This limit assumes that the travelling time of the photons through the optical circuit is much shorter than the spontaneous emission rate of the qubits, which is of the order of the spectral function at the resonance point . We also assume a weak coupling limit , . Under these approximations, a procedure similar to the one described in the Supplementary Material of González-Tudela and Porras (2013) may be followed.

We start from the Liouville-von Neumman equation after having performed the Born-Markov approximation:

(23)

Here refers to the interacting part of the Hamiltonian (II) in the interaction picture, and tr refers to the partial trace over the bosonic degrees of freedom.

The next step consists in expanding these expressions and performing the rotating wave approximation, while assuming that the equilibrium state of the photonic degrees of freedom is close to the ground state. This yields for the first term in Eq. (23)

(24)

where is a complicated functional which is Hermitian, and therefore disappears when adding the term (24) to its complex conjugate in (23).

Following the same procedure with the second term in Eq. (23) gives a more complicated contribution

(25)

where PV means that the Cauchy principal value of the integrals in momenta should be computed.

The aforementioned integrations in may be substituted by integrals in the photon frequency by making use of the property (22) of , and including a density of states . After this change of variable, all the integrals can be evaluated explicitly; either as a consequence of the definition of the distribution or by using the Kramers-Kronig relations,

(26)
(27)

which hold provided that is an analytic function in the upper half of the complex plane.

Besides a renormalization of the qubit frequencies, which does not affect the dynamics in the interaction picture, the result of integrating (24)–(25) is

(28)
(29)

where the spontaneous emission rate parameter

(30)

is the natural time scale for the dipolar qubit-waveguide interaction, and .

Substituting (28)–(28) into (23) gives as a result the effective master equation (6), with the different contributions discussed in Sec. III.2.

Appendix C Crowding of Asymptotic Solutions

The stationary solutions (12) obtained in Sec. IV.2 are delocalized excitations that, by construction, are not dissipated according to the dynamics described by the master equation (10). However, there is no prescription in these dynamics preventing a state with more than one such an excitation from dissipating. Even though this point is rigorously true, under certain conditions the decay of these ‘crowded’ dark states may be superseded by the typical timescale of the effective dynamics.

The magnitude of the decay of a crowded dark state,

(31)

is determined, in units of , by the norm of the state resulting from the application of a collective annihilator on this state:

(32)

where it is assumed that all indices are different.

The norm (32) can be calculated by commuting the operator with the string of operators that lay to the right, following at the same time an identical by commuting with the operators to the left. The commutator of and is

(33)

is required in order to conduct these operations. We also need to know that

(34)
(35)

After each successive conmutation (33)–(35) performed on (32), we get either terms with the same number of Pauli matrices or terms with one less Pauli matrix. Most of these are zero upon explicit inspection, either because , or as a consequence of having assumed that no index is repeated, or because the application of (34) leaves a vanishing product of Pauli matrices.

The only nonvanishing terms are those which depend on quadratic powers of sets of , , coefficients of the -th column of the unitary transformation , with the rows being chosen among the dark state indices appearing in (31):

(36)

When averaged over the Haar measure, the expected values of the matrix elements of are . Counting the number of different possible combinations of coefficients appearing in Eq. (36) yields

(37)

Where the decay parameter of these quasi-stationary dark states is given by . Considering the dilute limit , it follows that . The consequence of this being that the typical timescales associated to the decay of a state with multiple dark-state excitations are much larger than the characteristic timescale of the dynamics described by Eq. (10).

Appendix D Adiabatic Connection to Boson Sampling

Let us start by proving that, when using harmonic oscillators and non-classical states, it is possible to adiabatically prepare a boson sampling distribution. The setup that we have in mind is a collection of input and output bosonic modes (i.e. resonators) connected between themselves through an optical transformation such as the one in Fig. 1. Provided that these resonators satisfy the same requirements as in Sec. III.2, we will be able to write down an effective Hamiltonian of the form

(38)

Since , we may define new collective operators,

(39)

which diagonalize the previous Hamiltonian

(40)

where we have introduced , . It is now rather simple to apply the adiabatic theorem to each of the local Hamiltonians that connect to the corresponding . The result is that by switching off in a time , and provided , we will adiabatically transfer the state onto an output state . This way, if we start with excitations

(41)

the final state will be, up to small corrections, the output of the interferometer with input photons

(42)

It remains to be proven that we achieve a similar state when using the spin Hamiltonian (3) and an input state

(43)

For this we invoke the result in Ref. Peropadre et al. () which establishes that the distance between the hard-core boson state , evolved under (3), and the soft-boson state evolved under (D) is bounded by

(44)

where and project onto the hard-core subspace and the space of states with at most one bunched mode. Therefore, it can be concluded that

(45)

so that it becomes possible to decrease the error arbitrarily by either making the system more dilute or adjusting the evolution time.

References

Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
252826
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description