Abstract
We develop a quantum theory describing the input–output properties of Josephson traveling wave parametric amplifiers. This allows us to show how such a device can be used as a source of nonclassical radiation, and how dispersion engineering can be used to tailor gain profiles and squeezing spectra with attractive properties, ranging from genuinely broadband spectra to “squeezing combs” consisting of a number of discrete entangled quasimodes. The device’s output field can furthermore be used to generate a multimode squeezed bath—a powerful resource for dissipative quantum state preparation. In particular, we show how it can be used to generate continuous variable cluster states that are universal for measurement based quantum computing. The favorable scaling properties of the preparation scheme makes this a promising path towards continuous variable quantum computing in the microwave regime.
Microwave quantum optics is an emerging field where artificial atoms, such as quantum dots,^{1} spin ensembles^{2} or superconducting quantum circuits^{3} are placed in engineered electromagnetic environments. Strong light–matter interaction can be achieved by confining the electromagnetic field in microwave resonators^{3, 4} or onedimensional waveguides.^{5, 6} The flexibility offered by microwave engineering allows experimentalists to go beyond the limits of conventional quantum optics in many ways. Examples include reaching the socalled ultrastrong coupling regime of light–matter interaction,^{7} and using nonlinear microwave resonators to simulate relativistic quantum effects.^{8}
A recent advancement in microwave quantum optics is the bottomup design of nonlinear, onedimensional metamaterials with strong photon–photon interactions and engineered dispersion relations.^{9,10,11} The nonlinearity in these metamaterials is provided by Josephson junctions embedded in a transmission line, with photon–photon interactions activated by a strong pump tone through a parametric fourwave mixing process. These devices have been dubbed Josephson travelling wave parametric amplifiers (JTWPAs),^{10} and are analogous to onedimensional χ^{(3)} nonlinear crystals.^{12}
The development of JTWPAs is motivated by their potential use as amplifiers for readout of solidstate qubits. The extremely high measurement fidelity necessary for faulttolerant quantum computing requires amplifiers with added noise near the fundamental quantum limit.^{13, 14} A key advantage to the JTWPA design is the operational bandwidth, which is in the GHz range. This is in contrast to other nearquantumlimited microwave amplifiers based on resonant cavity interactions, which typically have bandwidths of a few tens of MHz.^{15,16,17} An amplifier operating near the quantum limit is, however, very different from a classical amplifier. In particular, quantumlimited phase preserving amplification implies the presence of entanglement between the amplified signal and an “idler” signal in a twomode squeezed state.^{13, 18} This motivates an alternative viewpoint on the JTWPA: besides using the device to amplify a signal of interest, it can also be viewed as a source of nonclassical radiation. The large bandwidth and simple onchip integration with coherent quantum systems, such as superconducting qubits and microwave resonators, makes the JTWPA an intriguing new resource for generating quantum radiation with potential applications in metrology and quantum information processing, amongst others.^{19,20,21,22,23,24,25,26}
In this paper, we show how the inherent flexibility in the bottomup JTWPA construction allows us to tailor the quantum properties of the output field leaving the device. In particular, we show how to shape the profile of the broadband squeezing spectrum of the output field, and how to cut holes in this spectrum such that some frequency ranges are unaffected by the nonlinear interaction. This type of spectrum engineering is useful for applications of squeezing to quantum informaton processing tasks, for example to avoid unwanted quantum heating.^{27}
We subsequently demonstrate how the JTWPA can be used as a resource for dissipative quantum state preparation. Dissipative quantum state preparation has over the last years emerged as an alternative to preparation of entangled states using coherent Hamiltonian^{28} or gatebased methods.^{29} It has been shown that universal quantum computing can be achieved through dissipative processes alone^{30} and, in a similar vein, that highly correlated states, such as stabilizer states and projected entangled pair states can be created as stable steady states of dissipative processes.^{30, 31} In this paper, we show that broadband squeezed radiation, such as the radiation emitted by a JTWPA, is a particularly potent resource for dissipative quantum state preparation. The emitted radiation generates a multimode squeezed vacuum, which can be used to drive quantum systems placed at the source’s output into entangled states through correlated photon absorption and emission processes. We show that by engineering such a squeezed bath, one can produce pairs of entangled qubits as well as continuous variable (CV) cluster states—the latter being universal resource states for measurementbased quantum computing. The preparation schemes are simple, requiring no Hamiltonian interactions or complicated reservoir engineering. By exploiting the large bandwidth of the JTWPA, the process can furthermore be implemented in a very hardwareefficient manner.
The purely dissipative nature of the preparation process distinguishes our proposal from similar approaches for generating cluster states in the optical regime.^{32,33,34,35,36,37} A distinct advantage of a dissipative scheme is that it relaxes constraints on locality, which might allow for a more modular architecture that avoids spurious interactions and increases scalability.^{38}
Although we focus on JTPWAs as squeezing sources in this work, due to their design flexibility and large bandwidth, we emphasize that the dissipative quantum state preparation schemes we develop are relevant for any type of broadband squeezing source that can be integrated with coherent quantum systems, such as other types of traveling wave amplifiers,^{39, 40} impedance engineered Josephson parametric amplifiers,^{41} squeezing sources based on reservoir engineering,^{42} or the nonclassical radiation emitted by an acbiased tunnel junction.^{43, 44}
Results
To describe the JTWPA’s squeezing properties, we first need a quantized theory of its dynamics. Classical treatments of a JTWPA are presented in refs 9, 11, 45. In the following, we give a Hamiltonian treatment of the nonlinear dynamics, taking into account dispersion and the continuum nature of the electromagnetic field in the waveguide.
The device we consider in this paper is depicted in Fig. 1. It consists of a series of identical coupled Josephson junctions with Josephson energies E _{J} and junction plasma frequencies ω _{p}. Each junction is coupled to ground by a passive, dissipationless element with impedance Z(ω), which is left arbitrary for now. By engineering Z(ω) one can modify the dispersion relation of waves propagating through the device as shown in ref. 9. We show below how this can be used to tailor the squeezing properties of the output field leaving the device. Note that other variants of the JTWPA device where the Josephson junctions are replaced by SQUIDs have recently been discussed.^{46, 47} We do not consider such modifications here, but the general approach we develop below can be used to formulate a quantum theory also in these cases.
In experimental realizations, JTWPAs have several thousand junctions with a unit cell distance much smaller than the relevant wavelengths.^{10, 11} One can therefore approximate the device with a continuum description (formally taking the unit cell distance, a, to zero). We furthermore assume that the JTWPA is coupled to identical, semiinfinite and impedance matched transmission lines to the left and the right, and we neglect any reflection of the field at the interfaces between the different sections.
As shown in detail in Supplemental Methods 1, a continuum limit Hamiltonian for the system can be written \(\hat H = {\hat H_0} + {\hat H_1}\), where \({\hat H_0}\) is a linear contribution containing all terms up to second order in the fields, and \({\hat H_1}\) is a nonlinear contribution due to the Josephson junction potential. The linear Hamiltonian can be diagonalized in terms of a set of frequency modes, following an approach introduced by Santos and Loudon in ref. 48, leading to the form
where \([ {{{\hat a}_{\nu \omega }},\hat a_{\mu \omega '}^\dag } ] = {\delta _{\nu \mu }}\delta \left( {\omega  \omega '} \right)\), and we have omitted the zeropoint energy. The label v ∈ {L,R} labels left and rightmoving modes, respectively.
For the nonlinear Hamiltonian, we systematically perform a series of approximations that are ultimately analogous to those used in the classical treatment given in refs 9, 11, 45. A quantized analog of the classical equation of motion found in previous work is shown to be a limiting case of a more general theory. As detailed in Methods, for a classical rightmoving monochromatic pump at a frequency Ω _{P}, and neglecting terms that are smaller than second order in the pump, we can write the nonlinear Hamiltonian in terms of three distinct contributions
where \({\hat H_{{\rm{CPM}}}}\) describes crossphase modulation due to the pump, \({\hat H_{{\rm{SQ}}}}\) describes broadband squeezing, and H _{SPM} is a classical Hamiltonian describing selfphase modulation of the pump. Explicit expressions for these three Hamiltonians in terms of the frequency modes \({\hat a_{\nu \omega }}\) are given in Methods.
As shown in Methods, we find in a scattering limit where the initial and final times of the problem are taken to minus and plus infinity, respectively; the following is the expression for the asymptotic Heisenberg picture output field
where the functions u(ω, z) and v(ω, z), defined in Eqs. (28) and (29), satisfy \({\left {u\left( {\omega ,z} \right)} \right^2}  {\left {v\left( {\omega ,z} \right)} \right^2} = 1\), and
is the phase mismatch, including a nonlinear correction due to to the cross and selfphase modulation of the pump. Here, k _{ ω } is the wavevector, which due to dispersion inside the JTWPA section has a nonlinear dependence on ω:
where l is the inductance per unit length of the JTWPA section, ω _{P} is the junction plasma frequency and z ^{−1}(ω) = Z ^{−1}(ω)/a is the admittance to ground per unit cell. The parameter β = I _{P}/4I _{c} in Eq. (4) is the dimensionless amplitude of the classical pump, expressed in units of the Josephson junction critical current I _{ c } (see Methods for further details). As Eq. (5) clearly shows, the dispersion relation, and consequently the phase mismatch, can be tuned by engineering the admittance to ground in the JTWPA unit cells. In particular, if the impedance Z(ω) describes a resonant mode, a bandgap will open close to the resonance frequency. The behavior of the dispersion relation close to a bandgap is illustrated in Fig. 2. Note that if dispersion is neglected, Δk(ω) = 0, Eq. (3) reduces to the standard input–output relation for a lossless parametric amplifier (see, e.g., ref. 49).
Engineering nonclassical radiation
The quantum input–output theory developed above allows us predict features of the JTPWA’s output field, such as the device’s gain profile and output field squeezing spectrum. In this section, we show how output spectra can be tailored through dispersion engineering. We focus first on an ideal, quantumlimited device and discuss the effect of loss below.
From Eq. (3), the JTWPA’s amplitude gain is given by u(ω, z), and we define the power gain as \(G\left( {\omega ,z} \right) = {\left {u\left( {\omega ,z} \right)} \right^2}\) refs 9, 13, 45. This function grows exponentially with z for small phase mismatch, \(\Delta k\left( \omega \right) \simeq 0\), but is only of order one if the phase mismatch is large (see ref. 9 and Methods). The squeezing of the JTWPA’s output field is manifested in correlations between frequencies ω and 2Ω_{P} − ω, symmetric around the pump frequency. We define the squeezing spectrum of the device as^{50}
where we have defined quadratures \(\hat Y_{R\omega }^\theta = i\left[ {{e^{i\theta /2}}\hat a_{R\omega }^{{\rm{out}}\dag }  {e^{  i\theta /2}}\hat a_{R\omega }^{{\rm{out}}}} \right]\), with fluctuations \(\Delta {\hat Y_{R\omega }} = {\hat Y_{R\omega }}  \left\langle {{{\hat Y}_{R\omega }}} \right\rangle \) and θ the squeezing angle. The parameters N _{R}(ω, z) and M _{R}(ω, z) introduced on the right hand side of Eq. (6), are defined in Eqs. (31) and (32) and can be interpreted as the thermal photon number and a squeezing parameter for the rightmoving field, respectively.
The gain and the squeezing at the output depends strongly on the phase mismatch Δk(ω). The phase mismatch can, however, be compensated for by tuning Z(Ω_{p}), as this allows for tuning the pump wavevector \({k_{\rm{p}}} = {k_{{\Omega _{\rm{p}}}}}\) according to Eq. (5). As was proposed theoretically in ref. 9 and demonstrated experimentally in refs. 10, 11, it is possible to tune the phase mismatch to zero at the pump frequency, \(\Delta k\left( {{\Omega _{\rm{p}}}} \right) \simeq 0\), and greatly reduce it across the whole JTWPA bandwidth. This is done by placing LC (or transmission line) resonators with resonance frequency \({\omega _{r0}} \simeq {\Omega _{\rm{p}}}\) regularly along the JTWPA transmission line, a technique referred to as resonant phase matching (RPM).^{9}
The effect of RPM on the gain and squeezing spectra is illustrated in Fig. 3 for a simulated device similar to what has been realized experimentally in refs 10, 11: The device length was chosen to be 2000 unit cells with characteristic impedance Z _{0} = 50Ω, critical current I _{c} = (2π/Φ_{0})E _{J} = 2.75 μA, dimensionless pump strength β = 0.125 and pump frequency Ω_{p}/2π = 5.97 GHz. The ratio of the pump frequency to the junction plasma frequency was Ω_{p}/ω _{p} = 8.2 × 10^{−2}. The green lines in Fig. 3a show the gain profile and squeezing spectrum of the output field for the device without RPM, while the blue lines show results for an identical device where RPM has been used to tune Δk(Ω_{p}) = 0. The circuit parameters for the LC resonator are C _{c} = 10 fF, C _{r} = 7.0 pF, L _{r} = 100 pH, giving a resonance frequency of ω _{ r0}/2π = 6.0 GHz.
Twomode squeezing has applications for entanglement generation,^{19, 20} quantum teleportation,^{21} interferometry,^{22} creation of quantum mechanics free subsystems,^{23} highfidelity qubit readout^{24, 25} and logical operations,^{26} amongst others. A broadband squeezing source such as the JTWPA has a great advantage for scalability, as tasks can be parallelized with many pairs of farseparated twomode squeezed frequencies using a single device. It is, however, not necessarily desirable to have squeezing at all frequencies over the operational bandwidth as this might lead, e.g., to unwanted quantum heating.^{25, 27}
Building on the RPM technique, we consider placing additional resonances in each unit cell with resonance frequencies ω _{ rk } away from Ω_{ P }. This leads to a bandgap and a divergence in k(ω) close to each resonance ω _{ rk }, as illustrated in Fig. 2. The huge phase mismatch close to these resonances prohibits any parametric interaction at \(\omega \simeq {\omega _{rk}}\) and \(\omega \simeq 2{\Omega _{\rm{p}}}  {\omega _{rk}}\), effectively punching two symmetric holes in the gain and squeezing spectra. This is illustrated by the orange lines in Fig. 3a, where a single additional resonace has been placed at ω _{ r1} = 9.0 × 2π GHz. The parameters are otherwise as before, except that the second LC resonator is chosen to have twice the coupling capacitance, 2C _{ c }. This choice serves to illustrate how the width of the hole in the spectrum is determined by the coupling capacitance to the resonator, as is clearly seen when comparing the holes at ω _{ r0} and ω _{ r1}.
In Fig. 3b, we demonstrate how this technique can be used to engineer a “squeezing comb” where there is considerable gain and squeezing only for a discrete set of narrow quasimodes. With a larger number of closely spaced resonance frequencies—either using individual lumped LC circuits or the resonances of a multimode transmission line resonator—it is possible to have phase matching only over narrow frequency bandwiths. In Fig. 3b, we show the gain profile and squeezing spectrum where 19 additional resonances at ω _{ rk } = ω _{ r0} + k × ω _{ r0}/20, k = 1, 2,…,19 has been used to create a squeezing comb with 38 quasimodes. Slightly different parameters were chosen for this device, to get similar gain and squeezing profiles as before: Z _{0} = 14Ω, I _{0} = 2.75 μA, β = 0.069, while the additional coupling capacitances were chosen to be 3.0C _{ c }. Note that it is not necessary to place the LC resonators in every unit cell in an experiment. In practice, RPM has been realized by repeatedly placing identical LCs every few unit cells.^{10}
For certain applications, it might also be of interest to have a squeezing spectrum with a flatter profile than what is shown in Fig. 3. This can be achieved by suitably engineering the phase mismatch. In Fig. 4, we show a device where RPM has been used to tune Δk(ω) = 0 for \(\omega /2\pi \simeq 1.8\) GHz, with the pump frequency close to the resonance frequency at ω _{ r0}/2π = 6 GHz. The simulated device otherwise has parameters Z _{0} = 60Ω, I _{0} = 1.75 μA, β = 0.113. This choice of dispersion engineering leads to larger phase mismatch in the center region of the spectrum, close to the pump, giving the flatter profile shown in the figure.
Reduction in squeezing due to loss
Internal loss in the JTWPA, as well as insertion loss, is likely to be a source of reduction in squeezing from the ideal results shown in Fig. 3. A simplified loss model is a beam splitter with transmittance \(\sqrt {\eta \left( \omega \right)} \) placed after the JTPWA, with vacuum noise incident on the beam splitter’s second input port.^{51} This leads to a reduction in photon number, \({N_{\rm{R}}}\left( {\omega ,z} \right) \to \left {\eta \left( \omega \right)} \right{N_{\rm{R}}}\left( {\omega ,z} \right)\), and squeezing parameter, \({M_{\rm{R}}}\left( {\omega ,z} \right) \to \sqrt {\eta \left( \omega \right)} \sqrt {\eta ( 2{\Omega _{\rm{p}}}  \omega )} {M_{\rm{R}}}\left( {\omega ,z} \right)\). Taking η = η(ω) frequency independent for simplicity, this gives a reduction in squeezing, \({S_{\rm{R}}}\left( {\omega ,z} \right) \to 2\left \eta \right{N_{\rm{R}}}\left( {\omega ,z} \right) + 1  2\left \eta \right\left {{M_{\rm{R}}}\left( {\omega ,z} \right)} \right\). Note that distributed loss throughout the JTWPA can be taken into account through a simple phenomenological model,^{49} but this is beyond the scope of the present discussion.
Figure 5 shows the maximum squeezing level as a function of gain as the pump strength is ramped up. The parameters are otherwise identical to those used for the blue lines displayed in Fig. 3a. The solid lines show the maximally squeezed quadrature, while the dashed lines show the corresponding antisqueezed quadrature, for three different values η = 0.75 (yellow), 0.99 (dark red) and 1.00 (blue). Note that the gain is also reduced by the loss, \(G\left( {\omega ,z} \right) = \eta {\left {u\left( {\omega ,z} \right)} \right^2}\), such that we have attenuation at zero pump power.
For a nonunity η, the squeezing level saturates with gain, while the antisqueezed quadrature keeps growing proportionally. The maximal squeezing depends sensitively on η: while a quantumlimited device with η = 1 would produce more than 25 dB of squeezing at 20 dB of gain, a device with η = 0.75 only gives about 6.5 dB of squeezing for the same gain. For a realistic device, further reductions in squeezing might arise due to disorder, the distributed nature of loss throughout the device, and the frequency dependence of the attenuation leading to asymmetry between the signal and idler [Kamal, A. Private communication (2016)].
Probing the output
The examples discussed above demonstrate how the flexible JTWPA design allows for generating nonclassical light with interesting and useful squeezing spectra.
The squeezing spectrum can be found experimentally by measuring the variance of filtered twomode quadratures (see Supplemental Methods 1 and, e.g., refs. 43, 52,53,54). However, this necessarily includes insertion loss and noise from subsequent parts of the amplification chain,^{10} which can make the detection of twomode squeezing challenging. For a more direct probing of the JTWPA’s performance, we propose placing two superconducting qubits capacitively coupled directly to the transmission line at the output port.
For two offresonant qubits with respective frequencies ω _{1} ≠ ω _{2}, and ω _{1} + ω _{2} ≄ 2Ω_{p}, the qubits will be in uncorrelated thermally populated states. If, however, ω _{1} + ω _{2} = 2Ω_{p}, the qubits become entangled and information about the JTWPA’s squeezing spectrum is encoded in the joint twoqubit density matrix. This information can then be extracted by measuring qubit–qubit correlation functions.
Assuming for simplicity a single rightmoving pump and a leftmoving field in the vacuum state, we have that for ω _{1} + ω _{2} ≄ 2Ω_{p}, the steady state of the two qubits is the product state ρ = ρ _{1}⊗ρ _{2}, where ρ _{m} is a thermal state with thermal population N _{R}(ω _{ m })/2 and inversion \(\langle {\hat \sigma _z^{\left( m \right)}} \rangle =  1/( {{N_{\rm{R}}}( {{\omega _m}} ) + 1} )\). On the other hand, for ω _{1} + ω _{2} = 2Ω_{p} the qubits become entangled. Under the simplifying symmetric assumptions N _{R}(ω _{ m }) ≡ N and γ_{m} ≡ γ we find that
and
in steady state, where M(ω _{ i }) ≡ M. More general expressions are given in Supplementary Method 2. Hence, by measuring qubit–qubit correlation functions and singlequbit inversion using standard qubit readout protocols,^{55,56,57} one can map out the squeezing spectrum of the source.
We can also turn this around and, rather than view the two qubits as a probe of the JTWPA’s performance, view the JTWPA as a source of entanglement for the qubits. To achieve maximal degree of entanglement between the qubits, it is desirable to avoid the vacuum noise of the leftmoving field. This can be achieved by squeezing the leftmoving field with a separate JTWPA section, or more simply by operating the device in reflection mode, as illustrated in Fig. 6c.
Assuming ideal conditions where the qubits couple symmetrically to equally squeezed leftmoving fields and rightmoving fields, N _{L}(ω _{ i }) = N _{R}(ω _{ i }) ≡ N/2, M _{L}(ω _{ i }) = M _{R}(ω _{ i }) ≡ M/2, and an ideal lossless squeezing source, the steady state of the two qubits is the pure state (see Supplementary Method 2 for more information)
where θ is the squeezing angle. For large N, this pure state approaches a maximally entangled state with entanglement entropy \(E\left( {\left {{\Psi ^\theta }} \right\rangle } \right)\,{\rm{ = }}\,  {\rm{tr}}\left[ {{\rho _1}\mathop {{\log }}\nolimits_2 \left( {{\rho _1}} \right)} \right] \simeq 1  1/4{N^2}\), where \({\rho _1}{\rm{ = t}}{{\rm{r}}_2}\left[ {\left {{\Psi ^\theta }} \right\rangle \left\langle {{\Psi ^\theta }} \right} \right]\).
Of practical importance is the steady state entanglement’s dependence on the degree of loss, and the behavior of the spectral gap of the Lindbladian in Eq. 34. The latter is important because it sets the timescale for approaching the steady state. It is defined as \(\Delta \left( {\cal L} \right){\rm{ = }}\left {{\rm{Re}}{\lambda _1}} \right\), where λ _{1} is the nonzero righteigenvalue of ℒ with real part closest to zero. In Fig. 7, we plot the steady state entanglement, quantified by the concurrence,^{58} and the spectral gap as a function of gain for different values of η (as defined above). These results show that the achievable entanglement is very sensitive to loss, but an upshot is that relatively modest gains are needed to achieve high degree of entanglement.
CV cluster states
The twoqubit dynamics considered above demonstrates the JTWPA’s potential for entanglement generation. To go beyond bipartite entanglement, one can add multiple pump tones, such that a single frequency can become entangled with multiple other “idler” frequencies in a multimode squeezed state, resulting in potentially complex patterns of entanglement. Together with its broadband nature and the potential for dispersion engineering, this turns the JTWPA into a powerful resource for dissipative quantum state preparation, as we demonstrate in the following.
To exemplify the potential of broadband squeezing as a resource for quantum computing and state preparation, we show below how CV cluster states can be generated through a dissipative and deterministic process, using the output field of multiple broadband squeezing sources. The cluster states are a powerful class of entangled manybody quantum states that are resource states for measurementbased quantum computing. Given a cluster state, an algorithm is executed using only singlesite measurements and classical feed forward on the state.^{59,60,61,62,63}
A CV cluster state is defined with respect to a (weighted) simple graph G = (V,E), with V the set of vertices and E the set of edges. A CV quantum systems with quadratures \({{\hat x}_v} = ({\hat{c}_v} + {\hat{c}_v^{\dag}})/\sqrt 2 \) and \({\hat{y}_v} =  i({\hat{c}_v}  {\hat{c}_v^{\dag}} )/{\sqrt{2}}\), where \({\hat{c}_v}\) \(({\hat{c}_v^{\dag}})\) is a bosonic annihilation (creation) operator, is associated to each vertex v. The ideal CV cluster state (with respect to G) is defined as the unique state \(\left {{\phi _G}} \right\rangle \) satisfying^{61, 63, 64}
where 𝒩(v) is the neighborhood of v, i.e., all the vertices connected to v by an edge in E and a _{ vω } = a _{ ωv }∈[−1, 1] is the weight of the edge {v, w}. Note that \(\left {{\phi _G}} \right\rangle \) is an infinitely squeezed state, and thus not physical. In practice, one has to work with Gaussian states that approaches \(\left {{\phi _G}} \right\rangle \) in a limit of infinite squeezing. We can define an adjacency matrix [a _{ vw }] for the graph, where a _{ vw } = 0 if there is no edge {v, w} ∈ E. Since the adjacency matrix uniquely defines the graph, and vice versa, we use the symbol G to interchangeably refer to both the graph and its adjacency matrix in the following.
We focus here on a class of graphs, first studied in refs 32, 33, satisfying two simplifying criteria: (1) The graph is bicolorable. This means that every vertex can be given one out of two colors, in such a way that every edge connects vertices of different colors (the square lattice is an example). (2) The graph’s adjacency matrix is selfinverse, G = G ^{−1}. The latter constraint has a simple geometric interpretation described in ref. 33. We show in Supplementary Method 3 that for a graph G satisfying these critera, the Lindblad equation \(\dot \rho = {{\cal L}_G}\rho \), with Lindbladian
where \(M = \sqrt {N\left( {N + 1} \right)} \) and S _{ iM }[A, B] is defined in Eq. (35), has a unique steady state \(\left {{\phi _G}\left( M \right)} \right\rangle \) that approaches \(\left {{\phi _G}} \right\rangle \) as \(M \to \infty \). The existence of graphs satisfying all the listed criteria, with associated cluster states, \(\left {{\phi _G}} \right\rangle \), that are universal for quantum computing is shown in refs 32, 33. Equation (11) is a remarkable result, because it implies that CV cluster states can be prepared simply by placing oscillators in a multimode squeezed bath, i.e., broadband squeezing is the only necessary resource for the preparation. In the following, we detail how multimode squeezed baths with an entanglement structure giving rise to universal cluster states can be engineered adapting a simple scheme from.^{35}
In ref. 35, Wang and coworkers showed how cluster states with graphs of the type considered here could be generated through Hamiltonian interactions between the modes of optical parametric oscillators (OPOs), followed by an interferometer combining modes from distinct OPOs. We adopt this scheme in the following, using JTWPAs (other types of broadband squeezing sources can also be used) in place of OPOs. The main difference between our proposal and that of ref 35 and previous proposals^{32, 33} is that our scheme is purely dissipative: the CV modes of the cluster state never interact directly, but rather become entangled through absorption and stimulated emission of correlated photons from their environment. We focus primarily on a situation where the modes are embodied in multimode resonators, which is a particularly hardware efficient implementation. We emphasize, however, that due to the dissipative nature of the scheme, this is not a necessary constraint. The modes could in principle all be embodied in physically distinct and remote resonators, removing any constraints on locality. This is an attractive advantage of such a dissipative scheme.
Following ref. 35, the modes of the cluster states are resonator modes with equally spaced frequencies \({\omega _m} = {\omega _0} + m\Delta \), where m is an integer, ω _{0} is some frequency offset and Δ the frequency separation. We require a number of degenerate modes for each frequency ω _{ m }: to create a Ddimensional cluster state requires a 2 × Dfold degeneracy per frequency. This can be achieved, e.g., by using 2 × D identical multimode resonators, as illustrated for D = 1 in Fig. 8. Each resonator mode will be a vertex in the cluster state graph, and as will become clear below, a set of degenerate modes can be thought of as a graph “macronode”.^{35} It is convenient to relabel the frequencies with a “macronode index” \({\cal M} = {\left( {  1} \right)^m}m\).
We show in Supplementary Method 3 that a master equation with Lindbladian of the form Eq. (11) is realized for a single resonator interacting with a bath generated by the output field of a JTWPA with a single pump frequency Ω_{ p } = ω _{0} + pΔ/2, where p = m + n for some choice of frequencies ω _{ m } ≠ ω _{ n }. The graph is in this case a trivial graph consisting of a set of disjoint pairs of vertices connected by an edge, i.e., a set of twomode cluster states, which can be represented as G _{0} = … The edges have weight +1, under the assumption of a quantum limited, flat squeezing spectrum \(M\left( \omega \right) = iM = i\sqrt {N\left( {N + 1} \right)} \) with N(ω) = N over the relevant bandwidth.
More complex and useful graphs can be constructed using these twomode cluster states as basic building blocks.^{35} Taking a number of JTWPAs, each labeled by i and acting as a squeezing source independently generating a disjoint graph G _{ i } = … as above, universal cluster states can be created by combining the output fields of the different sources on an interferometer. The action of the interferometer can be written as a graph transformation, where \(G = \mathop { \oplus }\nolimits_i {G_i}\) transforms to \(G \to RG{R^T}\), where \(R = { \oplus _{\cal M}} {R_D^{({\cal M})}}\) represents an interferometer acting independently on each macronode \({\cal M}\), i.e., each set of 2 × Dfold degenerate modes. R has to be orthogonal for the transformed graph to be selfinverse (G = G ^{−1}), which we recall is one of the criteria for Eq. (11) to generate the corresponding cluster state. As shown in ref. 35 this is the case if the 2D × 2D matrix R _{ D } is a Hadamard transformation \({R_D} = {H^{ \otimes D}}\) built from 2 × 2 Hadamard matrices
Physically such a transformation can be realized by pairwise interfering the output fields of the JTWPAs on 5050 beam splitters with beam splitter matrix as in Eq. (12). The network of beam splitters needed for the case D = 1 is illustrated in Fig. 8, for D = 2 in Fig. 9, and for higher dimensions in ref. 35.
In ref. 35, it was shown that graphs G constructed in this way can give rise to Ddimensional cluster states that are universal for measurementbased quantum computing. Let us consider an example with D = 1 in some more detail to illustrate the basic principles. First, take two JTWPAs pumped individually with respective pump frequencies Ω_{ i } and Ω_{ j }, with \(i =  j = \Delta {\cal M}\). On the macronode level, this gives exactly one edge between macronodes separated by \(\left {\Delta {\cal M}} \right\), as illustrated by the horizontal edges in Fig. 8 for \(\Delta {\cal M} = 1\). By interfering the output fields of the two JTWPAs on a beam splitter defined by Eq. (12), every node in each macronode becomes entangled with every node in the neighboring macronode, as illustrated by the diagonal edges in the figure. This gives a graph G with a linear structure, corresponding to a onedimensional cluster state that is universal for singlemode quantum computation.^{33,34,35}
The scheme can straightforwardly be scaled up to arbitrary Ddimensional cluster states using 2 × D squeezing sources and the same number of beam splitter transformations as shown in ref. 35. D = 2 is sufficient for universal quantum computation; a possible setup of JTWPAs and resonators is illustrated in Fig. 9. As emphasized in ref. 35, the relative ease of creating even higher dimensional cluster states is a very attractive property of the scheme.
Discussion
We have shown how the recently developed JTWPAs are powerful sources of nonclassical radiation. The design flexibility and broad bandwidth allows us to tailor the properties of the quantum radiation emitted by the device through dispersion engineering. In this way, the output field can be optimized for specific applications where broadband squeezing is useful. Furthermore, we have illustrated how the output field of one or multiple JTWPAs can be used for reservoir engineering: By placing quantum systems at the output of a broadband squeezing source, the systems can be driven into nontrivial entangled states through correlated photon absorption and emission processes. We have shown both how to prepare pairs of entangled qubits, as well as CV cluster states that are universal for quantum computing in this manner.
Moreover, a JTWPA can be thought of as an artificial nonlinear crystal, introducing a new nonlinear element to the field of microwave quantum optics. The JTWPA is qualitatively different from previous, essentially pointlike, nonlinear elements used in microwave circuits and represents, in this respect, a major departure from the conventional paradigm of “circuit quantum electrodynamics” based on localized electromagnetic modes.^{55} The possibility of dispersion engineering together with controllable nonlinear parametric interactions opens new possibilities for quantum optics in the microwave regime, for example studying the interplay between light and matter in structured nonlinear media.^{65, 66}
Methods
Asymptotic input–output theory
As shown in Supplementary Methods 1, the positiondependent flux, \(\hat \phi \left( x \right)\) (in the Schrödinger picture), along a transmission line with a JTWPA section extending from x = 0 to x = z can in the continuum limit be expanded in terms of a set of leftmoving modes and rightmoving modes,
where \(\left[ {{{\hat a}_{\nu \omega }},\hat a_{\mu \omega '}^\dag } \right] = {\delta _{\nu \mu }}\delta \left( {\omega  \omega '} \right)\) and the mode functions are given by
Here, + (−) corresponds to \(\nu = {\rm{R}}\) (\(\nu = {\rm{L}}\)), \({k_\omega }\left( x \right) = {\eta _\omega }\left( x \right)\omega /v\left( x \right)\) is the wavevector, with \({\eta _\omega }\left( x \right)\) the refractive index, and \(v\left( x \right) = 1/\sqrt {c\left( x \right)l\left( x \right)} \). The xdependent parameters are defined such that they take one (constant) value inside the JTWPA section, and another value outside this section. We have defined c(x), the capacitance to ground per unit cell, and l(x), the linear inductance of the transmission line. We emphasize that this simple form of the mode functions assumes that we can neglect reflection at the interfaces between the JTWPA and the linear transmission line sections.^{48}
The only difference from the usual prescription for the quantized flux in a linear, homogeneous and dispersion free transmission line^{67, 68} is the xdependent wavevector, which now takes a different form inside and outside the nonlinear section. Explicitly, the dispersion relation is found to be (see Supplementary Methods 1 and ref. 9)
where \({z^{  1}}\left( \omega \right) = {Z^{  1}}\left( \omega \right)/a\) is the admittance to ground per unit cell in the JTWPA section.
Implicit in the continuum description is that we are considering sufficiently low frequencies, such that the wavelengths are large compared to the unit cell distance, a. Furthermore, plane wave solutions only exists when the right hand side of Eq. (15) is real. In practice, we are interested in frequencies \({\omega ^2} \ll \omega _{\rm{P}}^2\) such that the dispersion due to the plasma oscillations of the junctions is relatively small. If, however, the admittance \({z^{  1}}\left( \omega \right)\) describes a linear element with a resonant mode, a bandgap opens around the resonance frequency for which no plane wave solutions exists. Physically, such a resonant mode behaves as a “matter field” in the continuum limit, and the excitations of the systems resemble lightmatter polaritons.^{69,70,71} As long as we are away from any bandgap, however, these “matter fields” slave the photonic field, \(\hat \phi \left( {x,t} \right)\), and only modifies the dielectric properties of the medium, manifest in the dispersion relation Eq. (15).
We assume the presence of a strong rightmoving classical pump centered at a frequency Ω_{ P } with corresponding wavevector k _{ p }, and replace \({\hat a_{R\omega }} \to {\hat a_{R\omega }} + b\left( \omega \right)\), with b(ω) a complex valued function centered at Ω_{ P }. The fields, \({\hat a_{\nu \omega }}\), are assumed to be sufficiently weak so that we can drop in \({\hat H_1}\) terms that are smaller than second order in the pump. As shown in Supplementary Methods 1, a Hamiltonian for the system can then be found of the form \(\hat H = {\hat H_0} + {\hat H_1}\) where \({\hat H_0}\) and \({\hat H_1}\) are given in Eqs. (1) and (2), respectively, with
describing crossphase modulation,
describing broadband squeezing, and
describing selfphase modulation of the pump. Here we have furthermore dropped fast rotating terms and the highly phase mismatched left moving field.
For notational convenience, we have defined the phase matching function^{72, 73}
and a dimensionless pump amplitude, \(\beta \left( \Omega \right)\), which as shown in Supplementary Methods 1, can be written in terms of the ratio of the pump current to the Josephson junction critical current,
where \({I_{\rm{c}}} = \left( {2{\rm{\pi }}/{\Phi _0}} \right){E_J}\).
It should be noted that \({\hat H_1}\) can also in principle include frequency conversion processes where a photon with frequency close to \(2{\Omega _{\rm{p}}} + \omega \) is created by absorbing a single photon at frequency ω and two pump photons at Ω_{p}. We have left out such contributions in Eq. (2) under the assumption that appropriate steps have been taken to ensure that these frequency conversion processes are heavily phase mismatched. In particular, current experiments use lowpass filters before and after entry to the JTWPA section of the transmission line, which ensures that no planewave solutions exist above 2Ω_{ p } [Gustavsson, S. & Krantz, P. Private communication (2016)].
The dynamics according to the nonlinear Hamiltonian \({\hat H_1}\) is in general difficult to treat analytically to all orders,^{72, 73} and we therefore take a perturbative approach treating the nonlinearity to first order. An input–output relation linking the field entering the JTWPA to the emitted output field can then be derived in the usual asymptotic scattering limit.^{71,72,73,74,75} Equations of motion similar to those we derive here have been used previously by Caves and Crouch in a study of wideband traveling wave amplifier,^{49} where they were taken as operator versions of macroscopic Maxwell’s equations for a nonlinear, homogeneous and dispersionless medium.^{76} We here justify similar input–output relations by deriving them from a microscopic theory, taking into account the finite extent of the nonlinearity as well as dispersion. For the JTWPA the latter stems from both junction plasma oscillations, nonlinear phasemodulation and engineered bandgaps in the medium.
Treating \({\hat H_1}\) as a perturbation, it is natural to go to an interaction picture with respect to \({\hat H_0}\). The timeevolution operator for the problem in this picture is
where \({\hat H_1}\left( t \right){\rm{ = }}\exp \left[ {\left( {i/\hbar } \right){{\hat H}_0}t} \right]{\hat H_1}\exp \left[ {  \left( {i/\hbar } \right){{\hat H}_0}t} \right]\) and \({\cal T}\) is the timeordering operator.
Solving the timedynamics according to Eq. (21) is difficult in general. However, if we neglect any backaction from the fields onto the pump, i.e., take the undepleted pump approximation and disregard any quantum fluctuations around the pump frequency, we can solve for the pump separately according to the classical Hamiltonian H _{SPM} and substitute this back into the remaining parts of \({\hat H_1}\). The remainder is then effectively a quadratic Hamiltonian for the quantum fields. We will in the following also make several further simplifications that greatly reduces the complexity of the problem. First of all, we treat \({\hat H_1}\) as a perturbation to first order only, in which case the timeordering in Eq. (21) can be dropped. See, however, refs 72, 73 for a discussion on the breakdown of this approximation. Subsequently we take a “scattering limit” and let the initial and final times to \({t_0} =  \infty \) and \({t_1} = \infty \), respectively. The timeintegral then gives rise to deltafunctions in frequency space, and we are left with approximate asymptotic evolution operator, or scattering matrix,^{71}
where
Explicit expressions for \({\hat K_1}\) for a general classical pump can be found in Supplementary Methods 1. We from now on make one last simplifying approximation and focus on the monochromatic pump limit, taking \(b\left( \omega \right) \to b\left( \omega \right)\delta \left( {\omega  {\Omega _{\rm{p}}}} \right)\). In this limit we have
and
and \({K_{{\rm{SPM}}}} =  \hbar z{\left \beta \right^2}{k_{\rm{p}}}b_{\rm{p}}^{\rm{*}}{b_{\rm{p}}}\), where we have defined \({b_{\rm{p}}} = b\left( {{\Omega _{\rm{p}}}} \right)\), \(\beta = \beta \left( {{\Omega _{\rm{p}}}} \right)\) and
Here, \(\Delta {k_{\rm{L}}}\left( \omega \right)\) quantifies a phasemismatch due to the linear dispersion in the JTWPA section. As we show below there is also an additional nonlinear contribution to the phasemismatch that must be taken into account.
Defining asymptotic output fields, \(\hat a_{R\omega }^{{\rm{out}}}{\rm{ = }}{\hat U^\dag }{\hat a_{R\omega }}\hat U\), we find the input–output relation in Eq. (3), where
A straightforward calculation shows that \({\left {u\left( {\omega ,z} \right)} \right^2}  {\left {v\left( {\omega ,z} \right)} \right^2} = 1\), and that the modes satisfy the commutation relation \(\left[ {\hat a_{R\omega }^{{\rm{out}}},\hat a_{R\omega '}^{{\rm{out}}\dag }} \right] = \delta \left( {\omega  \omega '} \right)\).
To summarize, this limiting equation is valid for weak nonlinearity and weak fields, only treating the nonlinear Hamiltonian \({\hat H_1}\) to first order, a strong monochromatic classical pump at a frequency \({\Omega _p}\), and in an asymptotic large time limit where \({t_0} =  \infty \) and \({t_1} = \infty \).
How can we interpret the asymptotic limit where the initial and final times are taken to minus and plus infinity, respectively? If we consider a situation where an initial wave packet is localized far away at \(x \ll 0\) at an early time \({t_0} \ll 0\), this can be interpreted as a scattering limit, where we let the wave packet propagate through the nonlinearity and consider the asymptotic field at \(x \gg z\) for a late time \({t_1} \gg 0\).^{71, 75} Since the initial evolution before the wave packet enters the nonlinear section is governed by \({\hat H_0}\), it is trivial to propagate the wave packet forward towards the nonlinearity. The late evolution after the wave packet has left the nonlinear section is similarly trivial. We can therefore think of \({\hat a_{R\omega }}\) as a frequency domain input field entering the JTWPA and \(\hat a_{R\omega }^{{\rm{out}}}\) as the corresponding output field leaving the device. This is similar to the definition of input and output fields used in the description of damped quantum optical systems.^{75, 77} One should keep in mind, however, that the validity of this interpretation depends on the problem one is trying to solve: it is clearly not appropriate if, for example, the initial state of the field is delocalized over the nonlinear section.
The squeezing spectrum
The squeezing of the JTWPA’s output field is manifest in correlations between frequencies ω and \(2{\Omega _{\rm{p}}}  \omega \), symmetric around the pump frequency. It is convenient to define for the right moving field the thermal photon number
the squeezing parameter
and the squeezing spectrum^{50}
where we have defined quadratures \(\hat Y_{R\omega }^\theta = i\left[ {{e^{i\theta /2}}\hat a_{R\omega }^{{\rm{out}}\dag }  {e^{  i\theta /2}}\hat a_{R\omega }^{{\rm{out}}}} \right]\), with fluctuations \(\Delta {\hat Y_{R\omega }} = {\hat Y_{R\omega }}  \left\langle {{{\hat Y}_{R\omega }}} \right\rangle \). We have also defined θ, the squeezing angle, which is given through \({M_R}\left( {\omega ,z} \right) = \left {{M_R}\left( {\omega ,z} \right)} \right{e^{i\theta }}\). We emphasize that Eqs. (31)–(33) are defined exclusively in terms of the rightmoving field. The leftmoving field also contributes vacuum noise and might add to the total photon number, but will have zero squeezing parameter in the absence of leftmoving pump fields. The squeezing spectrum is typically probed in experiments by heterodyne measurement of filtered field quadratures.^{43, 52,53,54} We discuss how Eq. (33) is probed in some more detail in Supplementary Methods 1.
For a vacuum input field, where \(\left\langle {{{\hat a}_{\rm{R}}}\left( {\omega ,0} \right)\hat a_{\rm{R}}^\dag \left( {\omega ',0} \right)} \right\rangle = \delta \left( {\omega  \omega '} \right)\) and all other second order moments vanish, it follows that \({N_{\rm{R}}}\left( {\omega ,z} \right) = G\left( {\omega ,z} \right)  1 = {\left {v\left( {\omega ,z} \right)} \right^2}\) and \({M_{\rm{R}}}\left( {\omega ,z} \right) = iu\left( {\omega ,z} \right)v\left( {\omega ,z} \right){e^{i\Delta k\left( \omega \right)z}}\). These expressions satisfy \({\left {{M_{\rm{R}}}\left( {\omega ,z} \right)} \right^2} = {N_{\rm{R}}}\left( {\omega ,z} \right)\left[ {{N_{\rm{R}}}\left( {\omega ,z} \right)  1} \right]\), the maximum value allowed by the Heisenberg uncertainty relation and also imply quantumlimited amplification.^{13} This, of course, assumes that there is no internal loss in the JTWPA device.
Two qubits in a squeezed bath
Assuming for simplicity that the qubits are both located at the JTWPA output, x _{0} > z, their reduced dynamics after tracing out the bath is governed by a Markovian master equation, \(\dot \rho = {\cal L}\rho \). The form of ℒ for the general case is given in Supplementary Method 2, while we here focus on the most interesting situation when the two qubits are tuned in with the squeezing interaction, such that ω _{1} + ω _{2} = 2Ω_{ p }. We can then write the Lindbladian in the interaction picture
where
describes a dissipative squeezing interaction, and \({\cal D}\left[ A \right]\rho = A\rho {A^\dag }  \left\{ {{A^\dag }A,\rho } \right\}/2\) is the usual dissipator. \({\gamma _m}\) is the decay rate of qubit m and \({\hat \sigma _  } = \left g \right\rangle \left\langle e \right\) (\({\hat \sigma _ + } = \left e \right\rangle \left\langle g \right\)) is the qubit lowering (raising) operator. The Lindbladian has two contributions coming from the leftmoving field and the rightmoving field, respectively. In general, both fields can have nonzero thermal photon number \({N_{m,\nu }} = {N_\nu }\left( {{\omega _m}} \right)\) and squeezing parameter \({M_\nu } = \left[ {{M_\nu }\left( {{\omega _1}} \right) + {M_\nu }\left( {{\omega _2}} \right)} \right]/2\). If, on the other hand, the qubits are tuned out of resonance with the squeezing interaction, ω _{1} + ω _{2} ≄ 2Ω_{p}, the last line in Eq. (34) will be fast rotating and can be dropped in a rotating wave approximation (see Supplementary Method 3 for more details).
References
 1.
Frey, T. et al. Dipole coupling of a double quantum dot to a microwave resonator. Phys. Rev. Lett. 108, 046807 (2012).
 2.
Kubo, Y. et al. Strong coupling of a spin ensemble to a superconducting resonator. Phys. Rev. Lett. 105, 140502 (2010).
 3.
Wallraff, A. et al. Strong coupling of a single photon to a superconducting qubit using circuit quantum electrodynamics. Nature 431, 162–167 (2004).
 4.
Paik, H. et al. Observation of high coherence in josephson junction qubits measured in a threedimensional circuit qed architecture. Phys. Rev. Lett. 107, 240501 (2011).
 5.
Astafiev, O. et al. Resonance fluorescence of a single artificial atom. Science 327, 840–843 (2010).
 6.
Van Loo, A. F. et al. Photonmediated interactions between distant artificial atoms. Science 342, 1494–1496 (2013).
 7.
Niemczyk, T. et al. Circuit quantum electrodynamics in the ultrastrongcoupling regime. Nat. Phys. 6, 772–776 (2010).
 8.
Wilson, C. et al. Observation of the dynamical casimir effect in a superconducting circuit. Nature 479, 376–379 (2011).
 9.
O’Brien, K., Macklin, C., Siddiqi, I. & Zhang, X. Resonant phase matching of josephson junction traveling wave parametric amplifiers. Phys. Rev. Lett. 113, 157001 (2014).
 10.
Macklin, C. et al. A near–quantumlimited josephson travelingwave parametric amplifier. Science 350, 307–310 (2015).
 11.
White, T. et al. Traveling wave parametric amplifier with josephson junctions using minimal resonator phase matching. Appl. Phys. Lett. 106, 242601 (2015).
 12.
Hillery, M. Quantum squeezing Ch. 2 (Springer, 2004).
 13.
Caves, C. M. Quantum limits on noise in linear amplifiers. Phys. Rev. D 26, 1817–1839 (1982).
 14.
Jeffrey, E. et al. Fast accurate state measurement with superconducting qubits. Phys. Rev. Lett. 112, 190504 (2014).
 15.
CastellanosBeltran, M. & Lehnert, K. Widely tunable parametric amplifier based on a superconducting quantum interference device array resonator. Appl. Phys. Lett. 91, 083509 (2007).
 16.
Bergeal, N. et al. Phasepreserving amplification near the quantum limit with a josephson ring modulator. Nature 465, 64–68 (2010).
 17.
Hatridge, M., Vijay, R., Slichter, D. H., Clarke, J. & Siddiqi, I. Dispersive magnetometry with a quantum limited squid parametric amplifier. Phys. Rev. B. 83, 134501 (2011).
 18.
Caves, C. M., Combes, J., Jiang, Z. & Pandey, S. Quantum limits on phasepreserving linear amplifiers. Phys. Rev. A 86, 063802 (2012).
 19.
Palma, G. M. & Knight, P. L. Phasesensitive population decay: the twoatom dicke model in a broadband squeezed vacuum. Phys. Rev. A 39, 1962–1969 (1989).
 20.
Gómez, A. V., Rodrguez, F. J., Quiroga, L. & GarcaRipoll, J. J. Entangled microwaves as a resource for entangling spatially separate solidstate qubits: superconducting qubits, nv centers and magnetic molecules. Preprint at arXiv:1512.00269 (2015).
 21.
Furusawa, A. et al. Unconditional quantum teleportation. Science 282, 706–709 (1998).
 22.
Yurke, B., McCall, S. L. & Klauder, J. R. Su(2) and su(1,1) interferometers. Phys. Rev. A 33, 4033–4054 (1986).
 23.
Tsang, M. & Caves, C. M. Evading quantum mechanics: engineering a classical subsystem within a quantum environment. Phys. Rev. X 2, 031016 (2012).
 24.
Barzanjeh, S., DiVincenzo, D. P. & Terhal, B. M. Dispersive qubit measurement by interferometry with parametric amplifiers. Phys. Rev. B 90, 134515 (2014).
 25.
Didier, N., Kamal, A., Oliver, W. D., Blais, A. & Clerk, A. A. Heisenberglimited qubit readout with twomode squeezed light. Phys. Rev. Lett. 115, 093604 (2015).
 26.
Royer, B., Grimsmo, A. L., Didier, N. & Blais, A. Fast and highfidelity entangling gate through parametrically modulated longitudinal coupling. Preprint at arXiv:1603.04424 (2016).
 27.
Ong, F. R. et al. Quantum heating of a nonlinear resonator probed by a superconducting qubit. Phys. Rev. Lett. 110, 047001 (2013).
 28.
Aharonov, D. et al. Adiabatic quantum computation is equivalent to standard quantum computation. SIAM Rev. 50, 755–787 (2008).
 29.
Nielsen, M. A. & Chuang, I. L. Quantum computation and quantum information, (Cambridge university press, 2010).
 30.
Verstraete, F., Wolf, M. M. & Cirac, J. I. Quantum computation and quantumstate engineering driven by dissipation. Nat. Phys. 5, 633–636 (2009).
 31.
Kraus, B. et al. Preparation of entangled states by quantum markov processes. Phys. Rev. A 78, 042307 (2008).
 32.
Menicucci, N. C., Flammia, S. T. & Pfister, O. Oneway quantum computing in the optical frequency comb. Phys. Rev. Lett. 101, 130501 (2008).
 33.
Flammia, S. T., Menicucci, N. C. & Pfister, O. The optical frequency comb as a oneway quantum computer. J. Phys. B At. Mol. Opt. Phys. 42, 114009 (2009).
 34.
Menicucci, N. C. Temporalmode continuousvariable cluster states using linear optics. Phys. Rev. A 83, 062314 (2011).
 35.
Wang, P., Chen, M., Menicucci, N. C. & Pfister, O. Weaving quantum optical frequency combs into continuousvariable hypercubic cluster states. Phys. Rev. A 90, 032325 (2014).
 36.
Chen, M., Menicucci, N. C. & Pfister, O. Experimental realization of multipartite entanglement of 60 modes of a quantum optical frequency comb. Phys. Rev. Lett. 112, 120505 (2014).
 37.
Alexander, R. N. et al. Oneway quantum computing with arbitrarily large timefrequency continuousvariable cluster states from a single optical parametric oscillator. Preprint at arXiv:1509.00484 (2015).
 38.
Brecht, T. et al. Multilayer microwave integrated quantum circuits for scalable quantum computing. Npj Quant. Inf. 2, 16002 (2016).
 39.
Eom, B. H., Day, P. K., LeDuc, H. G. & Zmuidzinas, J. A wideband, lownoise superconducting amplifier with high dynamic range. Nat. Phys. 8, 623–627 (2012).
 40.
Bockstiegel, C. et al. Development of a broadband nbtin traveling wave parametric amplifier for mkid readout. J. Low Temp. Phys. 176, 476–482 (2014).
 41.
Roy, T. et al. Broadband parametric amplification with impedance engineering: beyond the gainbandwidth product. Appl. Phys. Lett. 107, 262601 (2015).
 42.
Metelmann, A. & Clerk, A. A. Quantumlimited amplification via reservoir engineering. Phys. Rev. Lett. 112, 133904 (2014).
 43.
Forgues, J.C., Lupien, C. & Reulet, B. Experimental violation of belllike inequalities by electronic shot noise. Phys. Rev. Lett. 114, 130403 (2015).
 44.
Grimsmo, A. L., Qassemi, F., Reulet, B. & Blais, A. Quantum optics theory of electronic noise in coherent conductors. Phys. Rev. Lett. 116, 043602 (2016).
 45.
Yaakobi, O., Friedland, L., Macklin, C. & Siddiqi, I. Parametric amplification in josephson junction embedded transmission lines. Phys. Rev. B 87, 144301 (2013).
 46.
Bell, M. T. & Samolov, A. Travelingwave parametric amplifier based on a chain of coupled asymmetric squids. Phys. Rev. Appl. 4, 024014 (2015).
 47.
Zorin, A. Travelingwave parametric amplifier with threewave mixing in superconducting transmission line with embedded rfsquids. Preprint at arXiv:1602.02650 (2016).
 48.
Santos, D. J. & Loudon, R. Electromagneticfield quantization in inhomogeneous and dispersive onedimensional systems. Phys. Rev. A 52, 1538–1549 (1995).
 49.
Caves, C. M. & Crouch, D. D. Quantum wideband travelingwave analysis of a degenerate parametric amplifier. J. Opt. Soc. Am. B 4, 1535–1545 (1987).
 50.
Wustmann, W. & Shumeiko, V. Parametric resonance in tunable superconducting cavities. Phys. Rev. B 87, 184501 (2013).
 51.
Mallet, F. et al. Quantum state tomography of an itinerant squeezed microwave field. Phys. Rev. Lett. 106, 220502 (2011).
 52.
Eichler, C. et al. Observation of twomode squeezing in the microwave frequency domain. Phys. Rev. Lett. 107, 113601 (2011).
 53.
Flurin, E., Roch, N., Mallet, F., Devoret, M. H. & Huard, B. Generating entangled microwave radiation over two transmission lines. Phys. Rev. Lett. 109, 183901 (2012).
 54.
Eichler, C., Salathe, Y., Mlynek, J., Schmidt, S. & Wallraff, A. Quantumlimited amplification and entanglement in coupled nonlinear resonators. Phys. Rev. Lett. 113, 110502 (2014).
 55.
Blais, A., Huang, R.S., Wallraff, A., Girvin, S. M. & Schoelkopf, R. J. Cavity quantum electrodynamics for superconducting electrical circuits: an architecture for quantum computation. Phys. Rev. A 69, 062320 (2004).
 56.
Vijay, R., Slichter, D. H. & Siddiqi, I. Observation of quantum jumps in a superconducting artificial atom. Phys. Rev. Lett. 106, 110502 (2011).
 57.
Jeffrey, E. et al. Fast accurate state measurement with superconducting qubits. Phys. Rev. Lett. 112, 190504 (2014).
 58.
Wootters, W. K. Entanglement of formation and concurrence. Quant. Inf. Comput. 1, 27–44 (2001).
 59.
Raussendorf, R. & Briegel, H. J. A oneway quantum computer. Phys. Rev. Lett. 86, 5188 (2001).
 60.
Raussendorf, R., Browne, D. E. & Briegel, H. J. Measurementbased quantum computation on cluster states. Phys. Rev. A 68, 022312 (2003).
 61.
Menicucci, N. C. et al. Universal quantum computation with continuousvariable cluster states. Phys. Rev. Lett. 97, 110501 (2006).
 62.
Briegel, H. J., Browne, D. E., Dür, W., Raussendorf, R. & Van den Nest, M. Measurementbased quantum computation. Nat. Phys. 5, 19–26 (2009).
 63.
Gu, M., Weedbrook, C., Menicucci, N. C., Ralph, T. C. & van Loock, P. Quantum computing with continuousvariable clusters. Phys. Rev. A. 79, 062318 (2009).
 64.
Menicucci, N. C., Flammia, S. T. & van Loock, P. Graphical calculus for gaussian pure states. Phys. Rev. A 83, 042335 (2011).
 65.
Joannopoulos, J. D., Johnson, S. G., Winn, J. N. & Meade, R. D. Photonic Crystals: Molding The Flow Of Light, (Princeton university press, 2011).
 66.
Douglas, J. S. et al. Quantum manybody models with cold atoms coupled to photonic crystals. Nat. Photon. 9, 326–331 (2015).
 67.
Yurke, B. & Denker, J. S. Quantum network theory. Phys. Rev. A 29, 1419–1437 (1984).
 68.
Yurke, B. Quantum Squeezing Ch. 3 (Springer, 2004).
 69.
Huttner, B., Baumberg, J. & Barnett, S. Canonical quantization of light in a linear dielectric. Europhys. Lett. 16, 177 (1991).
 70.
Huttner, B. & Barnett, S. M. Quantization of the electromagnetic field in dielectrics. Phys. Rev. A 46, 4306–4322 (1992).
 71.
Drummond, P. D. & Hillery, M. The Quantum Theory Of Nonlinear Optics, (Cambridge University Press, 2014).
 72.
Quesada, N. & Sipe, J. E. Effects of time ordering in quantum nonlinear optics. Phys. Rev. A 90, 063840 (2014).
 73.
Quesada, N. & Sipe, J. E. Timeordering effects in the generation of entangled photons using nonlinear optical processes. Phys. Rev. Lett. 114, 093903 (2015).
 74.
Breit, G. & Bethe, H. A. Ingoing waves in final state of scattering problems. Phys. Rev. 93, 888–890 (1954).
 75.
Liscidini, M., Helt, L. G. & Sipe, J. E. Asymptotic fields for a hamiltonian treatment of nonlinear electromagnetic phenomena. Phys. Rev. A 85, 013833 (2012).
 76.
Hillery, M. & Mlodinow, L. D. Quantization of electrodynamics in nonlinear dielectric media. Phys. Rev. A 30, 1860–1865 (1984).
 77.
Gardiner, C. W. & Collett, M. J. Input and output in damped quantum systems: Quantum stochastic differential equations and the master equation. Phys. Rev. A 31, 3761 (1985).
 78.
Schuster, D. et al. Resolving photon number states in a superconducting circuit. Nature 445, 515–518 (2007).
Acknowledgements
A. L. G thanks N. Quesada and J. Sipe for helpful discussions on quantization in dispersive and inhomogeneous media, and N. Menicucci and O. Pfister for helpful comments regarding CV cluster states. We also thank A. Clerk, L. Govia and A. Kamal for useful discussions. This work was supported by the Army Research Office under Grant No. W911NF1410078 and NSERC. This research was undertaken thanks in part to funding from the Canada First Research Excellence Fund.
Author information
Affiliations
Contributions
All authors conceptualized the project. A.L.G. proposed to use JTWPAs to generate cluster states and worked through the detailed calculations. A.L.G. wrote the manuscript with contributions from A.B.
Corresponding author
Correspondence to Arne L. Grimsmo.
Ethics declarations
Competing interests
The authors declare that they have no competing financial interests.
Electronic supplementary material
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Grimsmo, A.L., Blais, A. Squeezing and quantum state engineering with Josephson travelling wave amplifiers. npj Quantum Inf 3, 20 (2017). https://doi.org/10.1038/s4153401700208
Received:
Revised:
Accepted:
Published:
Further reading

Effect of an incoherent pump on twomode entanglement in optical parametric generation
Physical Review A (2019)

Lefthanded superlattice metamaterials for circuit QED
Physical Review A (2019)

Generation of timedomainmultiplexed twodimensional cluster state
Science (2019)

Mesoscopic Hamiltonian for Josephson travelingwave parametric amplifiers
Physical Review A (2019)

Fabrication and Characterization of Aluminum SQUID Transmission Lines
Physical Review Applied (2019)