One or more embodiments relate to generation of non-Gaussian states from Gaussian states.
Quantum information processing based on continuous variable (CV) systems can be broadly divided into the Gaussian and the non-Gaussian domains using the corresponding states and gates. The distribution of quadratures in phase space of a Gaussian state follows Gaussian statistics. A Gaussian unitary, or more generally a Gaussian operation, transforms a Gaussian state into another Gaussian state. In quantum information architectures based on photonic platforms, the Gaussian states and Gaussian unitaries can be generated and implemented deterministically and thus are readily achievable experimentally.
Non-Gaussian states and gates are beneficial to many applications, such as quantum optical lithography, quantum metrology, entanglement distribution, error correction, phase estimation, bosonic codes, quantum communication and nonclassical optics, cloning, and in particular to universal quantum computation. Generating non-Gaussian states and implementing non-Gaussian gates deterministically, however, are much more challenging because the interaction Hamiltonians, which are third or higher order polynomials of quadrature operators, are usually very weak. For example, the optical Kerr nonlinearity (i.e., third order nonlinearity) is far smaller than what would otherwise be useful for implementing a non-Gaussian gate. Known approaches to generate non-Gaussian states, such as quantum scissors and photon subtraction, typically have low fidelity and/or low success probability. For example, the efficiency of sequential photon-subtraction techniques is usually around only 10−4%.
Some embodiments described herein relate generally to generation of non-Gaussian states, and, in particular, to generation of non-Gaussian states from Gaussian states using photon number resolving detectors. In some embodiments, an apparatus includes an optical circuit having at least one reconfigurable beamsplitter. The optical circuit is configured to receive a plurality of input optical modes in a Gaussian state and generate a plurality of output optical modes. The apparatus also includes at least one detector optically coupled with the optical circuit and configured to perform a non-Gaussian measurement of a first output optical mode from the plurality of output optical modes. The non-Gaussian measurement of the first output optical mode is configured to cause a second output optical mode from the plurality of output optical modes to be in a first non-Gaussian state. The apparatus also includes a controller operatively coupled to the optical circuit and configured to change a setting of the at least one reconfigurable beamsplitter to cause the second output optical mode from the plurality of output optical modes to be in a second non-Gaussian state.
In some embodiments, a method includes estimating at least one expected output optical mode of an optical circuit based on a target output optical mode in a non-Gaussian state. The at least one expected output optical mode and the target output optical mode are to be generated by the optical circuit that includes at least one reconfigurable beamsplitter. The method also includes estimating a setting of the optical circuit to produce the at least one expected output optical mode at a first output port of the optical circuit and estimating parameters of a plurality of input optical modes of the optical circuit to produce the at least one expected output optical mode. The plurality of the input optical modes is in a Gaussian state. The method also includes generating the target output optical mode at a second output port of the optical circuit using the setting and the parameters.
In some embodiments, an apparatus includes an optical circuit configured to receive a light beam having a first optical mode in a Gaussian state and a light beam having a second optical mode in a Gaussian state, the optical circuit including at least one reconfigurable optical component configured to entangle the first optical mode and the second optical mode. The optical circuit is configured to generate a light beam in a first output optical mode and a light beam in a second output optical mode. The apparatus also includes at least one detector optically coupled with the optical circuit and configured to perform a non-Gaussian measurement of the first output optical mode that causes the second output optical mode to be in a first non-Gaussian state at a first time. A controller is operatively coupled to the optical circuit and configured to change a setting of the at least one reconfigurable optical component to cause the second output optical mode to be in a second non-Gaussian state at a second time.
The drawings primarily are for illustration purposes and are not intended to limit the scope of the subject matter described herein. The drawings are not necessarily to scale; in some instances, various aspects of the disclosed subject matter disclosed herein may be shown exaggerated or enlarged in the drawings to facilitate an understanding of different features. In the drawings, like reference characters generally refer to like features (e.g., functionally similar and/or structurally similar elements).
In view of the challenges in generating non-Gaussian states, apparatus, systems, and methods described herein employ an approach for probabilistic and near-deterministic production of non-Gaussian states by measuring a subset of multimode Gaussian states, via photon-number-resolving detectors, generated by a reconfigurable optical circuit (e.g., an interferometer). The measurement of the subset of output modes places the rest of the output modes into non-Gaussian states and the exact parameters of the produced non-Gaussian states depend on the measurement result. The measurement result, in turn, can be adjusted by the setting of the optical circuit and the input of the optical circuit. The reconfigurability of the optical circuit allows this approach to increase the fidelity and the success probability of producing a desired non-Gaussian state by optimizing the setting of the optical circuit as well as optimizing the parameters of the input states that are fed into the optical circuit.
As used herein, “optical modes” are orthogonal solutions of the wave equation that do not interfere with one another (i.e., the energy or optical power of a linear superposition of modes is equal to the sum of the energy or the optical power of the individual modes). Only the photons within a given optical mode are coherent and interfere (for identical polarization). A number of photons in each optical mode describes the transport of energy or information, and the quality of light thereof. Spatial modes are optical modes that are transverse to a direction of light propagation (cross-section and divergence), whereas temporal modes are optical modes in the direction of light propagation (time and frequency).
The apparatus 100 also includes a detector 130 optically coupled with the optical circuit 120 and configured to perform a non-Gaussian measurement of a first output optical mode at the first output port 128a. The optical circuit 120 is configured to create entanglement between different optical modes at the output ports 128a and 128b, and the non-Gaussian measurement of one output optical mode at one output port 128a can cause the other output optical mode at the other output port 128b to be in a non-Gaussian state 140 (also referred to as non-Gaussian output 140, labelled as |ϕL in
The apparatus 100 also includes a controller 160 operatively coupled to the light source 110, the optical circuit 120, and the detector 130. The controller 160 is configured to change the setting of the optical circuit 120 to change the parameters of the non-Gaussian output 140 (e.g., to produce a desired output). In some embodiments, the controller 160 is configured to adjust the setting of the optical circuit 120 (and/or the parameters of the input optical modes 115a/115b) so as to increase the fidelity of the non-Gaussian output 140 with respect to a target output. In some embodiments, the controller 160 is configured to adjust the setting of the optical circuit 120 (and/or the parameters of the input optical modes 115a/115b) so as to increase the success probability for the optical circuit 120 to produce a target output. In some embodiments, the controller 160 is configured to estimate the setting of the optical circuit 120 and/or the parameters of the input optical modes 115a/115b for a target output (see more details below).
The light source 110 in the apparatus is configured to provide the input optical modes 115a and 115b that are usually squeezed and displaced. In some embodiments, the light source 110 can include an optical parametric amplifier (OPA) that generates squeezed displaced light from light in a coherent state or vacuum state by using optical nonlinear interactions. In some embodiments, the light source 110 can generate the input optical modes via a resonant structure to facilitate the nonlinear interaction. More information about the light source 110 using resonant structures can be found in, for example, U.S. patent application Ser. No. 16/104,424, entitled “METHODS AND APPARATUS FOR PRODUCING HIGHLY TUNABLE SQUEEZED LIGHT,” filed Aug. 17, 2018, which is incorporated herein in its entirety.
The RBS 150 also includes two input ports 152a and 152b, as well as two output ports 158a and 158b. In addition, a second phase shifter 156b is placed on one input 152a of the RBS 150. The two phase shifters 156a and 156b, via different phase settings, allow the RBS 150 to achieve an arbitrary split ratio, i.e., a tunable transmission between the input fields (E1, E2) and the output fields (E3, E4).
The detector 130 is configured to measure the photon number in the output optical mode at the output port 128a. In some embodiments, the detector 130 can include a photon number resolving detector (PNRD), such as a superconducting nanowire photon number resolving detector, a photomultiplier tube (PMT), a single photon avalanche photo diode (SAPD), a transition-edge sensor (TES), or any other appropriate detector.
The controller 160 in the apparatus 100 can include any suitable processing device configured to run or execute a set of instructions or code (e.g., stored in the memory) such as a general-purpose processor (GPP), a field programmable gate array (FPGA), a central processing unit (CPU), an accelerated processing unit (APU), a graphics processor unit (GPU), an Application Specific Integrated Circuit (ASIC), and/or the like. Such a processor can run or execute a set of instructions or code stored in the memory associated with using a PC application, a mobile application, an internet web browser, a cellular and/or wireless communication (via a network), and/or the like. Although shown and described with reference to
The apparatus 300 also includes multiple detectors 330 configured to measure a subset of output optical modes from the optical circuit 320. Three detectors are illustrated in
The optical circuit 420 in the apparatus 400 also includes one or more imperfections 460 (labelled as “L”) that can create losses to optical modes and therefore affect the fidelity and/or success probability of generating a target non-Gaussian output. The imperfections can be located, for example, on waveguides coupling the beamsplitters 450a to 450c. These imperfections 460, however, can be addressed at least partially by the reconfigurability of the optical circuit 420. More specifically, for a given target non-Gaussian output, a controller (e.g., similar to controller 160, not shown in
The apparatus 500 can include a controller (e.g., similar to controller 160, not shown in
In some embodiments, all the optical circuits 510(1) to 510(N) can be substantially identical to each other (e.g., three-mode circuits as illustrated in
In some embodiments, the apparatus 500 is configured to select (e.g., by the controller) a non-Gaussian output from only one optical circuit 510(i) as the output of the apparatus 500. In some embodiments, the apparatus 500 can be configured to select multiple non-Gaussian outputs from multiple optical circuits in 510(1) to 510(N) for further processing. In some implementations, these multiple non-Gaussian outputs can be sent to a linear interferometer to create entanglement among them. In some implementations, Schrodinger cat states can further interact to produce GKP states. In some implementations, smaller cluster states can be fused to form larger cluster states.
The number N of optical circuits that are used for near-deterministic generation of non-Gaussian states can be estimated as follows. In this estimation, N is the number of optical circuits 510(1) to 510(N) in the apparatus 500, p is the probability of success of producing a target non-Gaussian state from each one of the optical circuits 510(1) to 510(N), and ε is the error that captures the degree of determinism of the entire apparatus 500. The probability for the apparatus 500 to produce the target non-Gaussian state is denoted P(F) and is given by the union of events of any of the optical circuit preparing this target non-Gaussian state. In the case where the target non-Gaussian state is prepared by more than one optical circuit, this case is still counted as a useful event. Therefore, the success probability P(F) is identical to the complement event probability that none of the optical circuits produces the target non-Gaussian state, i.e., P(F)=1−(1−p)N.
The apparatus 500 is still allowed to operate with the error ε (i.e., probability of failing to produce the target non-Gaussian state), so the probability P(F) can be set as P(F)≥1−ε. Therefore, the minimum number of optical circuits nmin is given by: nmin=[log(ε)/log(1−p)], where [y] refers to the smallest integer ≥y. In some embodiments, the number of optical circuits N in the apparatus 500 can still be less than nmin, in which case the apparatus 500 generates a target non-Gaussian state with reduced success probability (i.e., less than 1−ε).
The apparatus 100-500 shown in
In some embodiments, the apparatus 100-500 can be configured to produce multiple output states (e.g., each of which is sent out from a corresponding output port) and these output states can undergo further processing. In some implementations, multiple output states from one or more optical circuits can be entangled together to create one or more entangled modes. In some implementations, multiple output states from one or more optical circuits can be averaged for coarse-graining. In these implementations, a success event can be defined when any instance in a predetermined set of multiple output states is obtained and the success probability is a sum of the success probability of each individual outcome patterns.
In some embodiments, the apparatus 100-500 can be configured for classical and/or quantum post-processing. In some implementations, Gaussian operations can be performed on the non-Gaussian output state based on a preset measurement pattern. For example, a first Gaussian gate can be applied for a first measurement pattern and a second Gaussian gate can be applied for a second measurement pattern. In some implementations, classical/quantum post processing can be used for applying a table with various possible outcomes along with Gaussian operations. The apparatus 100-500 can be used without a predetermined measurement outcome. Depending on the instance of a particular outcome, one can look up this table and apply a Gaussian operation. This technique can be used to improve state preparation (e.g., in combination with the coarse-graining technique described herein). These techniques can also be used for state distillation, i.e., preparing higher quality states in noisy devices.
While the apparatus 100-500 are based on a photonic platform, the approach described herein can be applied in any continuous-variable system. For example, Bosonic modes occur in many quantum technology platforms, such as electromagnetic modes in optical cavities and free space transmission of light, superconducting circuits and microwave cavities, and motional modes in ion/atom traps, optomechanical setups, phononic modes in lattices, many body systems described using harmonic oscillator chains. In these systems, input modes in Gaussian states are sent into a reconfigurable linear interferometer, and a subset of output modes are measured, leaving the unmeasured output modes in a non-Gaussian state. In addition, the reconfigurability of the linear interferometer allows the optimization of the circuit setting, thereby increasing the fidelity and success probability of state preparation.
Before illustrating detailed methods of using the apparatus described herein (e.g., apparatus shown in
In this analysis, an operator vector {circumflex over (ξ)}(c) is defined as {circumflex over (ξ)}(c)=(â1†, . . . , âN†, â1, . . . , âN where âk†({right arrow over (a)}k) are the creation (annihilation) operators of the k-th optical mode that satisfies the boson commutation relation [âj,âk†]=δij, the superscript “(c)” represents the coherent state basis. Without being bound by any particular theory or mode of operation, Gaussian states can be fully characterize by mode operator's first and second moments, given explicitly as the displacement vector Q(c)={circumflex over (ξ)}(c) and covariance matrix V(c):
Without loss of generality, it can be assumed that the last (N−1) modes are measured onto the Fock state |n=|n2, n3, . . . nN, where nk is the photon number registered at the k-th detector. The un-normalized output density matrix of the first mode (i.e., the non-Gaussian output) is {tilde over (ρ)}1=
Equation (2) shows that the output state depends on V(c) and Q(c) of the initial measured Gaussian state, along with the measurement pattern of the (N−1) output modes. The relation between S, d, A, z and V(c), Q(c) can be developed as follows. Based on the covariance matrix V(c) and displacement Q(c), a matrix {tilde over (R)} and a vector {tilde over (y)} can be defined as:
R=X
2N(2V(c)−I2N)(2V(c)+I2N)−1
{tilde over (y)}=2X2N(2V(c)+I2N)−1Q(c) (3)
When the input Gaussian state is pure, it can be shown that {tilde over (R)}=B⊕B*, where B is an N×N symmetric matrix (with entries bij) given by B=U⊕j=1N tanh(rj)UT, rj is the squeezing parameter of the input squeezed states, and U is the unitary matrix representing the linear interferometer (e.g., in the optical circuit). The phases of the initial squeezed states can be absorbed into the interferometer.
A permutation matrix P, which moves the (N+1)-th component of {tilde over (y)} to the second component, can be used to define a new vector y=P{tilde over (y)} and a new matrix R=P{tilde over (R)}P. It is then easy to divide the heralded part (denoted d) and detected part in R and y as:
The Wigner function in Equation (2) can be factorized into two parts: a Gaussian function followed by a polynomial in a. Accordingly, the output state can be written as:
The expression in Equation (5) is a displaced and squeezed superposition of Fock states. The squeezing amplitude ζ can be determined by b11 in the matrix B in equation (4) as: |ζ|=×ln[(1+b11)/(1−b11)] and arg(ζ)=−arg(b11)/2. The displacement β is determined by d=(β*,β)T. The non-Gaussian part of ψ1 results only from the superposition of Fock states.
The maximum Fock number nmax satisfies nmax≤nT, where nT=n2+n3+ . . . +nN is the total number of detected photons. The inequality is saturated when bij≠0 for j from 2 to N, which implies that the maximally supported non-Gaussian state can be obtained when the unmeasured mode is fully connected with all other modes. The coefficients {cn} of Equation (5) can be determined by:
The measurement probability for a given photon pattern
It is helpful to investigate how many of the coefficients {cn} in Equation (6) are independent because this can determine what non-Gaussian states can be prepared and also characterizes the extent of non-Gaussianity generated by a PNR measurement on a multimode Gaussian state. In Equation (6), when b1j≠0 for all j from 2 to N, the maximal Fock number nmax is equal to the total number of detected photons nT. In principle, there are no restrictions on nT but the number of independent {cn} is limited because there is a finite number of complex parameters N(2N+3)/2 resulting from the covariance and mean of the pure Gaussian state. The number of independent {cn} is smaller than the number of independent complex parameters in the Gaussian state being measured, i.e., N(2N+3)/2, and the redundant degrees of freedom allow the search for the optimal Gaussian state that maximizes the success probability of the output state.
It can be assumed that b1j≠0 (or κj≠0) for all j from 2 to N. By defining an (N−1)-component vector μ as μj=Yj/κj* and a symmetric matrix F with entries fij=b11*+bij/(κiκj), where i,j=2, 3, . . . , N, the ratio cn/cnT can now be written as:
Therefore, the ratio cn/cnT can be uniquely determined by the vector μ and the matrix F. Performing the partial derivatives in Equation (9) results in a polynomial of μj and fij. The total number of independent complex parameters including the components of μ and the entries of F (being symmetric) is =(N+2)(N−1)/2.
The procedure of determining the number of independent {c1} can be formulated as follows. Suppose that μj and fij are unknown and are solved from nT nonlinear polynomial equations which come from Equation (9) by taking n=0, 1, . . . , nT−1. If nT<, the nonlinear equations are under-determined, which means that for a given set of {cn} there is an infinite number of solutions. This implies that there are many Gaussian states that can generate the same non-Gaussian state. If nT>, the nonlinear equations are over-determined and there is no guarantee for the existence of solutions for an arbitrary given set {cn}, which means they are not independent.
In the case of nT=, if there exist solutions, the number of solutions is finite. It is also possible that there exist no solutions. This observation can be verified for the N=2, 3 cases via stochastic numerical simulations. The simulation result is that when nT=, a finite number of solutions exist. Accordingly, measuring (N−1) modes of an N-mode pure Gaussian state using PNR detectors can generate a coherent superposition of Fock states with at most (N+2)(N−1)/2 independent coefficients. Equation (9) also provides a systematic way to generate target non-Gaussian states. If the target state can be written in the form of Equation (5), then it can be generated with fidelity of one. In other cases, the target state can be approximated in the form of Equation (5). A sufficiently high fidelity can be obtained using an nmax that is sufficiently large. In other words, increasing nmax can increase the fidelity of the non-Gaussian output state with respect to the given target state.
Based on the above analysis, the procedure to prepare a target non-Gaussian state can include one or more of the following steps. The target non-Gaussian state can be approximated using Equation (5) to determine the values of ζ, β, and cn. Then the nonlinear equations obtained from Equation (9) can be solved to obtain parameters of input Gaussian states that can give rise to the output state with coefficients {cn}. In some embodiments, Equation (9) can have more than one solution, and one can use this freedom to find the input states that give rise to the highest success probability. The success probability can be optimized by finding the proper matrix R and vector y. The procedure can also include computing the covariance matrix V(c) and the displacement vector Q(c) of the measured Gaussian state.
In some embodiments, estimating the at least one expected output optical mode includes estimating an expected photon number in the at least one expected output optical mode. In some embodiments, the at least one expected output optical mode includes multiple expected output optical modes, and the estimation includes estimating the photon number in each expected output optical mode.
In some embodiments, estimating the setting of the optical circuit includes calculating a plurality of candidate settings based on maximizing a fidelity of the optical circuit in generating the target output optical mode. In other words, the plurality of candidate settings are estimated by optimizing the fidelity of the non-Gaussian state preparation. Based on the candidate settings, the final settings of the optical circuit can be determined by maximizing a success probability for the optical circuit to generate the target output optical mode. In some embodiments, the settings of the optical circuit can be estimated via machine learning techniques (see more details below). In some embodiments, estimating the parameters of the plurality of the input optical modes includes estimating a squeezing factor and a displacement of the plurality of input optical modes.
In some embodiments, generating the target output optical mode includes measuring a number of photons in the at least one expected output optical mode at the first output port of the optical circuit. In some embodiments, the at least one expected output optical mode includes multiple expected output optical modes, each of which can be sent out via a corresponding output port, and the measurement is performed on each expected output optical mode.
The method 700 can be used to generate various types of non-Gaussian states, such as a Schrödinger's cat state, a Gottesman-Kitaev-Preskill (GKP) state, a weak cubic phase state, an M-mode W state, and a NOON state, among others. As described herein, the method 700 can generate these types of non-Gaussian states at improved success probability compared with known techniques, such as photon subtraction. For example, the method 700 can be used to generate the target output optical mode in a Schrödinger's cat state at a success probability of about 10% or more. In another example, the method 700 can be used to generate the target output optical mode in a Gottesman-Kitaev-Preskill (GKP) state at a success probability of about 1% or more.
In some embodiments, the method 700 uses a reconfigurable optical circuit to generate the non-Gaussian state. In these embodiments, the method 700 can further include changing the settings of the optical circuit and the parameters of the plurality of the input optical modes of the optical circuit to generate a different target output optical mode in a different non-Gaussian state. Such flexibility allows a user to generate different types of non-Gaussian states using the same apparatus. In addition, the reconfigurability of the optical circuit also allows a user to optimize the setting of the apparatus to improve the fidelity and/or the success probability of state preparation. Although shown and described with reference to
The method 800 also includes steps 820a to 820d to obtain the settings of the optical circuit that is used to generate the target non-Gaussian state. This calculation can be performed by a classical computer (e.g., the controller 160 in
At 820a, the size of the optical circuit is determined. For example, this estimation can determine that a two-mode circuit (e.g., similar to the apparatus 100 shown in
At 820b, numerical optimization and/or machine learning can be used to determine the circuit settings (e.g., transmission ratio of each beamsplitter in the optical circuit or the amount of phase shift implemented by each phase shifter). This calculation is performed with a chosen objective function, including the fidelity to the target non-Gaussian state, the success probability of producing the target non-Gaussian state, other characteristics such as non-Gaussian measures, or a combination of these functions.
At 820c, the circuit setting estimated at 820b is implemented (via simulation) in the optical circuit chosen at 820a to examine the expected measurement pattern of a subset of the output optical modes from the optical circuit. The method 800 also includes an optional step 820d, where steps 820a to 820c are repeated if desired for an apparatus having a different number of working modes. This step can be part of an automated loop to optimize the number of modes. Alternatively, a user can be provided with (e.g., at a user interface) a selection table of target state properties versus the number of modes to facilitate the selection.
The method 800 also includes, at 830, implementing the circuit settings in a real optical circuit. The properties of the input optical modes (e.g., squeezing factor and/or displacement) can also be controlled so as to generate the target non-Gaussian state at 840. In some embodiments, the circuit settings and input parameters can be automatically implemented by the controller. In some embodiments, the circuit settings and input parameters can be implemented by a user via manual control. In some embodiments, the fidelity of the state generation process can be less than 1 (e.g., because the target non-Gaussian state is not exactly in the form of a superposition of states displaced squeezed Fock basis). In these embodiments, the generated non-Gaussian state is still an approximation of the target non-Gaussian state.
In some embodiments, the estimations performed at 820a to 820d can also take into account circuit imperfections (see, e.g.,
In some embodiments, the estimation of the circuit setting (e.g., steps 720 and 730 in the method 700, or steps 820a-d in the method 800) can be performed using machine learning techniques in combination with a quantum simulator (e.g., the Strawberry Fields quantum simulator). For illustrative purposes only, the simulation here uses two-mode circuits (e.g., similar to apparatus 100 shown in
The machine learning technique can be configured to perform a two-step optimization. The first optimization is performed to maximize the fidelity with the target non-Gaussian state using a method called basinhopping, which is a global search heuristic. The second optimization includes a local search starting from the global optimum found by basinhopping to further increase the probability of producing the target non-Gaussian state.
The basinhopping method uses a stochastic approach that attempts to find the global minimum of a smooth scalar function and can be implemented in a simulation using the scipy software package. The basinhopping method is usually iterative with each cycle including the following steps. A cycle can start with initializing the variables x0 and performing a local search to minimize f(x, args) starting from x0. As used herein, f is an objective function that is being optimized. For example, f can be the fidelity, the success probability, or a combination of these or other functions. x corresponds to the parameters that are being optimized, such as the beamsplitter angles and phase, or input squeezing values. “args” usually corresponds to some fixed parameters, such as the Fock matrix elements of the target state, for example. In some embodiments, “args” corresponds to the state parameter a in a cubic phase state (see more details below).
The position where f reaches a local minimum is denoted as xold. A tunable step size is then used to randomly change the position of xold, followed by a local search again to minimize f at a new location denoted as xnew. The cycle then proceeds to perform an acceptance test accept (xnew, xold). For example, if f(xnew, args)<J(xold, args), xold=xnew. In some embodiments, the acceptance test can be stochastic so as to maximize the likelihood of finding the global minimum. In the scipy implementation, the acceptance test includes the Metropolis criterion of standard Monte Carlo algorithms, where the probability of acceptance is given by exp[−(f(xold, args)−f(xnew, args))/T] and T is a fictitious temperature to control the degree of randomness. The cycle then goes back to the local search for xold and repeats the process niter times.
This global minimization method can be extremely efficient for a wide variety of problems in physics and chemistry. For a stochastic global heuristic, it can be challenging to determine if the true global minimum has actually been found. In the simulation described herein, niter can be set at 40, which is tuned to be able to produce reproducible results. The tunable step size is set to be the default value from the scipy package. The method for local search can include many options, such as sequential least squares programming (SLSP) that tends to operate at high efficiency for estimating a circuit setting herein.
For the task of generating target non-Gaussian states, optimizing the fidelity can be combined with optimizing the success probability to facilitate the construction of a scalable architecture such that the resulting device can produce the target non-Gaussian states at a sufficiently high rate for practical uses. One approach to achieve both high fidelity and probability is to train the circuit to maximize fidelity and then use that point as a seed to further optimize the success probability (referred to as the second optimization). In some implementations, the second optimization can be performed using a brute-force optimization over the success probability. More specifically, the basinhopping method described above can be repeated for nbh times. The simulation then picks out the global optimum, trained to optimize fidelity with the highest probability. In some embodiments, the nbh can be set at 20 and niter set at 30 to obtain reproducible results.
More details of the optimization methods described herein and source codes can be found at https://github.com/XanaduAI/strawberryfields. In addition, the Python scripts for the optimization are built on Strawberry Fields and the scipy package, and they can be accessed at https://github.com/XanaduAl/constrained-quantumlearning. Further references can be found in, for example, Nathan Killoran, Josh Izaac, Nicolás Quesada, Ville Bergholm, Matthew Amy, and Christian Weedbrook. “Strawberry Fields: A Software Platform for Photonic Quantum Computing”, Quantum, 3, 129 (2019), and Krishna Kumar Sabapathy, Haoyu Qi, Josh Izaac, Christian Weedbrook, Production of photonic universal quantum gates enhanced by machine learning, Phys. Rev. A, 100, 012326 (2019), each of which is incorporated herein in its entirety.
The machine learning and optimization techniques described herein are used to generate cubic phase states, which can be represented as |ϕa=(1+5|a|2/2)−1/2 [0+ia√{square root over (3/2)}|1+ia|3], where a is a real number. The machine learning and optimization uses both two-mode and three-mode circuits. The PNR detectors in the two-mode case are set to m=2 (i.e., two photons are detected) and in the three-mode case to (m1, m2)=(1, 2) (i.e., one photon is detected in the first detector and two photons are detected in the second detector).
In these simulations, the parameter a is between 0.3 and 1, and the gate strength γ is between 0.0122 and 0.0407 (see, e.g.,
Apparatus and methods described herein can be used to generate various types of non-Gaussian states, such as the Schrödinger's cat state, the Gottesman-Kitaev-Preskill (GKP) state, the weak cubic phase state the M-mode W state, and the NOON state, among others. A Schrödinger's state |cate/o, (also referred to as a cat state) can be treated as a superposition of two coherent states with opposite phases, i.e., |cate/o=|α±|−α, where e/o denotes even or odd states. Bosonic codes based on Schrödinger's cat states allow for fault-tolerant quantum computing.
Without loss of generality, an even cat state, which is a superposition of only even Fock states, is used here for illustrative purposes. The even cat state can be well approximated by c0|0+c2|2 for small α and by Ŝ(ζ1)(c0|0+c2|2) when α is large (see
The Gottesman-Kitaev-Preskill (GKP) code can be used to encode qubits in qumodes to protect against shifts or errors in the quadratures and photon loss. But it has been a challenging task to generate the optical GKP codes. The approach described herein can be used to conditionally generate an approximate GKP state ψGKP(q;Δ) that can be written as: ψGKP(q;Δ)=k0ΣS=−∞+∞exp [−2πΔ2s2−(q−2√{square root over (π)}s)2/(2Δ2)], where k0=N0(πΔ2)−1/4, Δ is standard deviation and No is the normalization.
The GKP state can be approximated as Ŝ(ζ1)(c0|0+c2|2+c4|4), where Δ=0.35, corresponding to 9.12 dB of squeezing. A fidelity 81.8% can be obtained with the following parameters: ζ1=0.294, c0=0.669, c2=−0.216, c4=0.711. The approximated GKP state is generated by measuring two modes of a three-mode Gaussian state and post selecting the photon number pattern
A weak cubic phase state |φa can be represented as: |φa=(1+5|a|2/2)−1/2 [|0+ia√{square root over (3/2)}|1+ia|3], for a real a. Such states can be combined in a gate teleportation scheme to implement weak cubic phase gates on input states (see, e.g.,
The approach described herein can be extended to generate multimode output states and the structure of the output states is similar to Equation (2). The procedure to find a target multimode non-Gaussian state is also similar to that of the single-mode non-Gaussian state. In some implementations, apparatus and methods described herein can be used to generate the M-mode W state (denoted by WM). The WM state is an equal superposition of |1k for all possible k, where |1 is defined as the state with one photon in the k-th mode and zero photons in other modes. A WM state can be generated by measuring one mode of an (M+1)-mode Gaussian state and post selecting the measurement outcome with one photon. In some embodiments, in the apparatus 300 shown in
In some embodiments, apparatus and methods described herein can be used to generate the NOON states. A NOON state is defined as (|NO+|0N)/√{square root over (2)} with N being a positive integer.
The table in
The apparatus 1900 also includes a squeezer 1920 (labelled as S(r)†) and a controlled-X gate 1930 (labelled as CX†) given by exp[−i{circumflex over (x)}1{circumflex over (p)}2/2]. An x-homodyne detector 1925 (labelled as Πx) is included in the apparatus 1900 for x-homodyne measurement with outcome labeled as m. The apparatus also includes a Gaussian feed-forward (GFF) correction operator 1940 that is to be applied. Nm,r denotes the noise operator, and V(γ) is the final cubic phase gate that is applied to the input state.
Without being bound by any particular theory or mode of operation, the lowest-order quadrature phase gate, i.e., the cubic phase gate, can be written as V(γ)=exp[iγ{circumflex over (x)}3/ℏ], where γ is the gate strength. The teleportation technique of GKP can be translated into an adaptive gate teleportation presented using different gates and additional auxiliary squeezed states. ℏ is set as 2 for the rest of the description.
For the cubic phase gate the resource state is the cubic phase state defined as V(γ)|0p, which is non-physical due to the zero momentum ket |0. Therefore, as an approximation, one can consider V(γ)S(r)†|0, where S(r) is the standard single-mode squeezing gate given by S(r)=exp[r(â2−â†2)/2]. For large squeezing, this state has a large Fock support and hence can be difficult to synthesize directly. To overcome this challenge, the squeeze operator can be commuted across the cubic phase gate to obtain S(r)†V(γ′)|0. It can be further assumed that γ′<<1, then the cubic phase gate can be expanded to first-order in gate strength to obtain S(r)†[1+iγ′{circumflex over (x)}3/2] |0.
The on-line squeezing gate can be applied using methods such as measurement-based squeezing and the resource state can be given by |φa=(1+5|a|2/2)−1/2 [0+ia√{square root over (3/2)}|1+ia|3]. The wavefunction of the squeezed resource state is:
{circumflex over (ϕ)}(x)=x|S(r)†|ϕ=∫dx′ϕ(x′)x|S(r)†|x′ (10)
In addition, x|S(r)†|x′=er/2x|erx′, so
This squeezed resource state now can be used in a GKP teleportation scheme as shown in
Expanding the terms in the second operator and applying a Gaussian feed-forward GFF(m)=exp[3m{circumflex over (x)}2+3m2{circumflex over (x)}+m3/2], the final action on the input state is obtained:
|ψout=N′N(m,r)V(γ)|ψin (13)
In view of the above analysis, using the resource state |ϕ provided by a non-Gaussian state resource, one can effect a transformation that is a weak cubic phase gate along with a Gaussian noise factor. The initial squeezing gate S(r)† not only reduces the strength of the final cubic phase gate but also negates the effect of the Gaussian noise operator as seen from Equation (11).
While various embodiments have been described and illustrated herein, a variety of other means and/or structures for performing the function and/or obtaining the results and/or one or more of the advantages described herein, and each of such variations and/or modifications are possible. More generally, all parameters, dimensions, materials, and configurations described herein are meant to be examples and that the actual parameters, dimensions, materials, and/or configurations will depend upon the specific application or applications for which the disclosure is used. It is to be understood that the foregoing embodiments are presented by way of example only and that other embodiments may be practiced otherwise than as specifically described and claimed. Embodiments of the present disclosure are directed to each individual feature, system, article, material, kit, and/or method described herein. In addition, any combination of two or more such features, systems, articles, materials, kits, and/or methods, if such features, systems, articles, materials, kits, and/or methods are not mutually inconsistent, is included within the inventive scope of the present disclosure.
Also, various concepts may be embodied as one or more methods, of which an example has been provided. The acts performed as part of the method may be ordered in any suitable way. Accordingly, embodiments may be constructed in which acts are performed in an order different than illustrated, which may include performing some acts simultaneously, even though shown as sequential acts in illustrative embodiments.
All definitions, as defined and used herein, should be understood to control over dictionary definitions, definitions in documents incorporated by reference, and/or ordinary meanings of the defined terms.
As used herein, a “module” can be, for example, any assembly and/or set of operatively-coupled electrical components associated with performing a specific function, and can include, for example, a memory, a processor, electrical traces, optical connectors, software (stored and executing in hardware) and/or the like.
The indefinite articles “a” and “an,” as used herein in the specification and in the claims, unless clearly indicated to the contrary, should be understood to mean “at least one.”
The phrase “and/or,” as used herein in the specification and in the claims, should be understood to mean “either or both” of the elements so conjoined, i.e., elements that are conjunctively present in some cases and disjunctively present in other cases. Multiple elements listed with “and/or” should be construed in the same fashion, i.e., “one or more” of the elements so conjoined. Other elements may optionally be present other than the elements specifically identified by the “and/or” clause, whether related or unrelated to those elements specifically identified. Thus, as a non-limiting example, a reference to “A and/or B”, when used in conjunction with open-ended language such as “comprising” can refer, in one embodiment, to A only (optionally including elements other than B); in another embodiment, to B only (optionally including elements other than A); in yet another embodiment, to both A and B (optionally including other elements); etc.
As used herein in the specification and in the claims, “or” should be understood to have the same meaning as “and/or” as defined above. For example, when separating items in a list, “or” or “and/or” shall be interpreted as being inclusive, i.e., the inclusion of at least one, but also including more than one, of a number or list of elements, and, optionally, additional unlisted items. Only terms clearly indicated to the contrary, such as “only one of” or “exactly one of,” or, when used in the claims, “consisting of,” will refer to the inclusion of exactly one element of a number or list of elements. In general, the term “or” as used herein shall only be interpreted as indicating exclusive alternatives (i.e. “one or the other but not both”) when preceded by terms of exclusivity, such as “either,” “one of,” “only one of,” or “exactly one of.” “Consisting essentially of,” when used in the claims, shall have its ordinary meaning as used in the field of patent law.
As used herein in the specification and in the claims, the phrase “at least one,” in reference to a list of one or more elements, should be understood to mean at least one element selected from any one or more of the elements in the list of elements, but not necessarily including at least one of each and every element specifically listed within the list of elements and not excluding any combinations of elements in the list of elements. This definition also allows that elements may optionally be present other than the elements specifically identified within the list of elements to which the phrase “at least one” refers, whether related or unrelated to those elements specifically identified. Thus, as a non-limiting example, “at least one of A and B” (or, equivalently, “at least one of A or B,” or, equivalently “at least one of A and/or B”) can refer, in one embodiment, to at least one, optionally including more than one, A, with no B present (and optionally including elements other than B); in another embodiment, to at least one, optionally including more than one, B, with no A present (and optionally including elements other than A); in yet another embodiment, to at least one, optionally including more than one, A, and at least one, optionally including more than one, B (and optionally including other elements); etc.
In the claims, as well as in the specification above, all transitional phrases such as “comprising,” “including,” “carrying,” “having,” “containing,” “involving,” “holding,” “composed of,” and the like are to be understood to be open-ended, i.e., to mean including but not limited to. Only the transitional phrases “consisting of” and “consisting essentially of” shall be closed or semi-closed transitional phrases, respectively, as set forth in the United States Patent Office Manual of Patent Examining Procedures, Section 2111.03.
This application is a divisional of U.S. patent application Ser. No. 16/997,601, filed Aug. 19, 2020 and titled “Apparatus and Methods for Generating Non-Gaussian States from Gaussian States,” which claims the benefit of U.S. Provisional Patent Application No. 62/899,369, filed Sep. 12, 2019 and titled “Apparatus and Methods for Generating Non-Gaussian States from Gaussian States,” the entire contents of each of which are incorporated by reference herein in their entireties.
Number | Date | Country | |
---|---|---|---|
62899369 | Sep 2019 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 16997601 | Aug 2020 | US |
Child | 18377939 | US |