-
Routes Towards Optical Quantum Technology --- New Architectures and Applications
Authors:
Keith R. Motes
Abstract:
This thesis is based upon the work I have done during my PhD candidature at Macquarie University. In this work we develop quantum technologies that are directed towards realising a quantum computer. Specifically, we have made many theoretical advancements in a type of quantum information processing protocol called BosonSampling. This device efficiently simulates the interaction of quantum particle…
▽ More
This thesis is based upon the work I have done during my PhD candidature at Macquarie University. In this work we develop quantum technologies that are directed towards realising a quantum computer. Specifically, we have made many theoretical advancements in a type of quantum information processing protocol called BosonSampling. This device efficiently simulates the interaction of quantum particles called bosons, which no classical computer can efficiently simulate. In this thesis we explore quantum random walks, which are the basis of how the bosons in BosonSampling interfere with each other. We explore implementing BosonSampling using the most readily available photon source technology. We invented a completely new architecture which can implement BosonSampling in time rather than space and has since been used to make the worlds largest BosonSampling experiment ever performed. We look at variations to the traditional BosonSampling architecture by considering other quantum states of light. We show a worlds first application inspired by BosonSampling in quantum metrology where measurements may be made more accurately than with any classical method. Lastly, dealing with BosonSampling, we look at reformulating the formalism of BosonSampling using a quantum optics approach. In addition, but not related to BosonSampling, we show a protocol for efficiently generating large-photon Fock states, which are a type of quantum state of light, that are useful for quantum computation. Also, we show a method for generating a specific quantum state of light that is useful for quantum error correction --- an essential component of realising a quantum computer --- by coupling together light and atoms.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Encoding qubits into oscillators with atomic ensembles and squeezed light
Authors:
Keith R. Motes,
Ben Q. Baragiola,
Alexei Gilchrist,
Nicolas C. Menicucci
Abstract:
The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit within an oscillator provides a number of advantages when used in a fault-tolerant architecture for quantum computing, most notably that Gaussian operations suffice to implement all single- and two-qubit Clifford gates. The main drawback of the encoding is that the logical states themselves are challenging to produce. Here we present a method…
▽ More
The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit within an oscillator provides a number of advantages when used in a fault-tolerant architecture for quantum computing, most notably that Gaussian operations suffice to implement all single- and two-qubit Clifford gates. The main drawback of the encoding is that the logical states themselves are challenging to produce. Here we present a method for generating optical GKP-encoded qubits by coupling an atomic ensemble to a squeezed state of light. Particular outcomes of a subsequent spin measurement of the ensemble herald successful generation of the resource state in the optical mode. We analyze the method in terms of the resources required (total spin and amount of squeezing) and the probability of success. We propose a physical implementation using a Faraday-based quantum non-demolition interaction.
△ Less
Submitted 8 May, 2017; v1 submitted 6 March, 2017;
originally announced March 2017.
-
Linear optical quantum metrology with single photons --- Experimental errors, resource counting, and quantum Cramér-Rao bounds
Authors:
Jonathan P. Olson,
Keith R. Motes,
Patrick M. Birchall,
Nick M. Studer,
Margarite LaBorde,
Todd Moulder,
Peter P. Rohde,
Jonathan P. Dowling
Abstract:
Quantum number-path entanglement is a resource for super-sensitive quantum metrology and in particular provides for sub-shotnoise or even Heisenberg-limited sensitivity. However, such number-path entanglement has thought to have been resource intensive to create in the first place --- typically requiring either very strong nonlinearities, or nondeterministic preparation schemes with feed-forward,…
▽ More
Quantum number-path entanglement is a resource for super-sensitive quantum metrology and in particular provides for sub-shotnoise or even Heisenberg-limited sensitivity. However, such number-path entanglement has thought to have been resource intensive to create in the first place --- typically requiring either very strong nonlinearities, or nondeterministic preparation schemes with feed-forward, which are difficult to implement. Recently in [Phys. Rev. Lett. 114, 170802 (2015)] we showed that number-path entanglement from a BosonSampling inspired interferometer can be used to beat the shot-noise limit. In this manuscript we compare and contrast different interferometric schemes, discuss resource counting, calculate exact quantum Cramér-Rao bounds, and study details of experimental errors.
△ Less
Submitted 7 March, 2017; v1 submitted 23 October, 2016;
originally announced October 2016.
-
Adaptive phase estimation with two-mode squeezed-vacuum and parity measurement
Authors:
Zixin Huang,
Keith R. Motes,
Petr M. Anisimov,
Jonathan P. Dowling,
Dominic W. Berry
Abstract:
A proposed phase-estimation protocol based on measuring the parity of a two-mode squeezed-vacuum state at the output of a Mach-Zehnder interferometer shows that the Cramér-Rao sensitivity is sub-Heisenberg [Phys.\ Rev.\ Lett.\ {\bf104}, 103602 (2010)]. However, these measurements are problematic, making it unclear if this sensitivity can be obtained with a finite number of measurements. This sensi…
▽ More
A proposed phase-estimation protocol based on measuring the parity of a two-mode squeezed-vacuum state at the output of a Mach-Zehnder interferometer shows that the Cramér-Rao sensitivity is sub-Heisenberg [Phys.\ Rev.\ Lett.\ {\bf104}, 103602 (2010)]. However, these measurements are problematic, making it unclear if this sensitivity can be obtained with a finite number of measurements. This sensitivity is only for phase near zero, and in this region there is a problem with ambiguity because measurements cannot distinguish the sign of the phase. Here, we consider a finite number of parity measurements, and show that an adaptive technique gives a highly accurate phase estimate regardless of the phase. We show that the Heisenberg limit is reachable, where the number of trials needed for mean photon number $\bar{n}=1$ is approximately one hundred. We show that the Cramér-Rao sensitivity can be achieved approximately, and the estimation is unambiguous in the interval ($-π/2, π/2$).
△ Less
Submitted 15 September, 2016;
originally announced September 2016.
-
A Quantum Optics Argument for the #P-hardness of a Class of Multidimensional Integrals
Authors:
Peter P. Rohde,
Dominic W. Berry,
Keith R. Motes,
Jonathan P. Dowling
Abstract:
Matrix permanents arise naturally in the context of linear optical networks fed with nonclassical states of light. In this letter we tie the computational complexity of a class of multi-dimensional integrals to the permanents of large matrices using a simple quantum optics argument. In this way we prove that evaluating integrals in this class is \textbf{\#P}-hard. Our work provides a new approach…
▽ More
Matrix permanents arise naturally in the context of linear optical networks fed with nonclassical states of light. In this letter we tie the computational complexity of a class of multi-dimensional integrals to the permanents of large matrices using a simple quantum optics argument. In this way we prove that evaluating integrals in this class is \textbf{\#P}-hard. Our work provides a new approach for using methods from quantum physics to prove statements in computer science.
△ Less
Submitted 18 July, 2016;
originally announced July 2016.
-
Efficient recycling strategies for preparing large Fock states from single-photon sources --- Applications to quantum metrology
Authors:
Keith R. Motes,
Ryan L. Mann,
Jonathan P. Olson,
Nicholas M. Studer,
E. Annelise Bergeron,
Alexei Gilchrist,
Jonathan P. Dowling,
Dominic W. Berry,
Peter P. Rohde
Abstract:
Fock states are a fundamental resource for many quantum technologies such as quantum metrology. While much progress has been made in single-photon source technologies, preparing Fock states with large photon number remains challenging. We present and analyze a bootstrapped approach for non-deterministically preparing large photon-number Fock states by iteratively fusing smaller Fock states on a be…
▽ More
Fock states are a fundamental resource for many quantum technologies such as quantum metrology. While much progress has been made in single-photon source technologies, preparing Fock states with large photon number remains challenging. We present and analyze a bootstrapped approach for non-deterministically preparing large photon-number Fock states by iteratively fusing smaller Fock states on a beamsplitter. We show that by employing state recycling we are able to exponentially improve the preparation rate over conventional schemes, allowing the efficient preparation of large Fock states. The scheme requires single-photon sources, beamsplitters, number-resolved photo-detectors, fast-feedforward, and an optical quantum memory.
△ Less
Submitted 13 March, 2018; v1 submitted 1 March, 2016;
originally announced March 2016.
-
Implementing Scalable Boson Sampling with Time-Bin Encoding: Analysis of Loss, Mode Mismatch, and Time Jitter
Authors:
Keith R. Motes,
Jonathan P. Dowling,
Alexei Gilchrist,
Peter P. Rohde
Abstract:
It was recently shown by Motes, Gilchrist, Dowling & Rohde [PRL 113, 120501 (2014)] that a time-bin encoded fiber-loop architecture can implement an arbitrary passive linear optics transformation. This was shown in the case of an ideal scheme whereby the architecture has no sources of error. In any realistic implementation, however, physical errors are present, which corrupt the output of the tran…
▽ More
It was recently shown by Motes, Gilchrist, Dowling & Rohde [PRL 113, 120501 (2014)] that a time-bin encoded fiber-loop architecture can implement an arbitrary passive linear optics transformation. This was shown in the case of an ideal scheme whereby the architecture has no sources of error. In any realistic implementation, however, physical errors are present, which corrupt the output of the transformation. We investigate the dominant sources of error in this architecture --- loss and mode-mismatch --- and consider how it affects the BosonSampling protocol, a key application for passive linear optics. For our loss analysis we consider two major components that contribute to loss --- fiber and switches --- and calculate how this affects the success probability and fidelity of the device. Interestingly, we find that errors due to loss are not uniform (unique to time-bin encoding), which asymmetrically biases the implemented unitary. Thus, loss necessarily limits the class of unitaries that may be implemented, and therefore future implementations must prioritise minimising loss rates if arbitrary unitaries are to be implemented. Our formalism for mode-mismatch is generlized to account for various phenomenon that may cause mode-mismatch, but we focus on two --- errors in fiber-loop lengths, and time-jitter of the photon source. These results provide a guideline for how well future experimental implementations might perform in light of these error mechanisms.
△ Less
Submitted 26 July, 2015;
originally announced July 2015.
-
Linear Optical Quantum Metrology with Single Photons: Exploiting Spontaneously Generated Entanglement to Beat the Shot-Noise Limit
Authors:
Keith R. Motes,
Jonathan P. Olson,
Evan J. Rabeaux,
Jonathan P. Dowling,
S. Jay Olson,
Peter P. Rohde
Abstract:
Quantum number-path entanglement is a resource for super-sensitive quantum metrology and in particular provides for sub-shotnoise or even Heisenberg-limited sensitivity. However, such number-path entanglement has thought to have been resource intensive to create in the first place --- typically requiring either very strong nonlinearities, or nondeterministic preparation schemes with feed-forward,…
▽ More
Quantum number-path entanglement is a resource for super-sensitive quantum metrology and in particular provides for sub-shotnoise or even Heisenberg-limited sensitivity. However, such number-path entanglement has thought to have been resource intensive to create in the first place --- typically requiring either very strong nonlinearities, or nondeterministic preparation schemes with feed-forward, which are difficult to implement. Very recently, arising from the study of quantum random walks with multi-photon walkers, as well as the study of the computational complexity of passive linear optical interferometers fed with single-photon inputs, it has been shown that such passive linear optical devices generate a superexponentially large amount of number-path entanglement. A logical question to ask is whether this entanglement may be exploited for quantum metrology. We answer that question here in the affirmative by showing that a simple, passive, linear-optical interferometer --- fed with only uncorrelated, single-photon inputs, coupled with simple, single-mode, disjoint photodetection --- is capable of significantly beating the shotnoise limit. Our result implies a pathway forward to practical quantum metrology with readily available technology.
△ Less
Submitted 4 May, 2015; v1 submitted 5 January, 2015;
originally announced January 2015.
-
Sampling arbitrary photon-added or photon-subtracted squeezed states is in the same complexity class as boson sampling
Authors:
Jonathan P. Olson,
Kaushik P. Seshadreesan,
Keith R. Motes,
Peter P. Rohde,
Jonathan P. Dowling
Abstract:
Boson sampling is a simple model for non-universal linear optics quantum computing using far fewer physical resources than universal schemes. An input state comprising vacuum and single photon states is fed through a Haar-random linear optics network and sampled at the output using coincidence photodetection. This problem is strongly believed to be classically hard to simulate. We show that an ana…
▽ More
Boson sampling is a simple model for non-universal linear optics quantum computing using far fewer physical resources than universal schemes. An input state comprising vacuum and single photon states is fed through a Haar-random linear optics network and sampled at the output using coincidence photodetection. This problem is strongly believed to be classically hard to simulate. We show that an analogous procedure implements the same problem, using photon-added or -subtracted squeezed vacuum states (with arbitrary squeezing), where sampling at the output is performed via parity measurements. The equivalence is exact and independent of the squeezing parameter, and hence provides an entire class of new quantum states of light in the same complexity class as boson sampling.
△ Less
Submitted 22 February, 2015; v1 submitted 30 June, 2014;
originally announced June 2014.
-
An introduction to boson-sampling
Authors:
Bryan T. Gard,
Keith R. Motes,
Jonathan P. Olson,
Peter P. Rohde,
Jonathan P. Dowling
Abstract:
Boson-sampling is a simplified model for quantum computing that may hold the key to implementing the first ever post-classical quantum computer. Boson-sampling is a non-universal quantum computer that is significantly more straightforward to build than any universal quantum computer proposed so far. We begin this chapter by motivating boson-sampling and discussing the history of linear optics quan…
▽ More
Boson-sampling is a simplified model for quantum computing that may hold the key to implementing the first ever post-classical quantum computer. Boson-sampling is a non-universal quantum computer that is significantly more straightforward to build than any universal quantum computer proposed so far. We begin this chapter by motivating boson-sampling and discussing the history of linear optics quantum computing. We then summarize the boson-sampling formalism, discuss what a sampling problem is, explain why boson-sampling is easier than linear optics quantum computing, and discuss the Extended Church-Turing thesis. Next, sampling with other classes of quantum optical states is analyzed. Finally, we discuss the feasibility of building a boson-sampling device using existing technology.
△ Less
Submitted 26 June, 2014;
originally announced June 2014.
-
Scalable boson-sampling with time-bin encoding using a loop-based architecture
Authors:
Keith R. Motes,
Alexei Gilchrist,
Jonathan P. Dowling,
Peter P. Rohde
Abstract:
We present an architecture for arbitrarily scalable boson-sampling using two nested fiber loops. The architecture has fixed experimental complexity, irrespective of the size of the desired interferometer, whose scale is limited only by fiber and switch loss rates. The architecture employs time-bin encoding, whereby the incident photons form a pulse train, which enters the loops. Dynamically contro…
▽ More
We present an architecture for arbitrarily scalable boson-sampling using two nested fiber loops. The architecture has fixed experimental complexity, irrespective of the size of the desired interferometer, whose scale is limited only by fiber and switch loss rates. The architecture employs time-bin encoding, whereby the incident photons form a pulse train, which enters the loops. Dynamically controlled loop coupling ratios allow the construction of the arbitrary linear optics interferometers required for boson-sampling. The architecture employs only a single point of interference and may thus be easier to stabilize than other approaches. The scheme has polynomial complexity and could be realized using demonstrated present-day technologies.
△ Less
Submitted 17 March, 2014;
originally announced March 2014.
-
Boson sampling with displaced single-photon Fock states versus single-photon-added coherent states---The quantum-classical divide and computational-complexity transitions in linear optics
Authors:
Kaushik P. Seshadreesan,
Jonathan P. Olson,
Keith R. Motes,
Peter P. Rohde,
Jonathan P. Dowling
Abstract:
Boson sampling is a specific quantum computation, which is likely hard to implement efficiently on a classical computer. The task is to sample the output photon number distribution of a linear optical interferometric network, which is fed with single-photon Fock state inputs. A question that has been asked is if the sampling problems associated with any other input quantum states of light (other t…
▽ More
Boson sampling is a specific quantum computation, which is likely hard to implement efficiently on a classical computer. The task is to sample the output photon number distribution of a linear optical interferometric network, which is fed with single-photon Fock state inputs. A question that has been asked is if the sampling problems associated with any other input quantum states of light (other than the Fock states) to a linear optical network and suitable output detection strategies are also of similar computational complexity as boson sampling. We consider the states that differ from the Fock states by a displacement operation, namely the displaced Fock states and the photon-added coherent states. It is easy to show that the sampling problem associated with displaced single-photon Fock states and a displaced photon number detection scheme is in the same complexity class as boson sampling for all values of displacement. On the other hand, we show that the sampling problem associated with single-photon-added coherent states and the same displaced photon number detection scheme demonstrates a computational complexity transition. It transitions from being just as hard as boson sampling when the input coherent amplitudes are sufficiently small, to a classically simulatable problem in the limit of large coherent amplitudes.
△ Less
Submitted 27 February, 2015; v1 submitted 3 February, 2014;
originally announced February 2014.
-
Will boson-sampling ever disprove the Extended Church-Turing thesis?
Authors:
Peter P. Rohde,
Keith R. Motes,
Paul A. Knott,
William J. Munro
Abstract:
Boson-sampling is a highly simplified, but non-universal, approach to implementing optical quantum computation. It was shown by Aaronson and Arkhipov that this protocol cannot be efficiently classically simulated unless the polynomial hierarchy collapses, which would be a shocking result in computational complexity theory. Based on this, numerous authors have made the claim that experimental boson…
▽ More
Boson-sampling is a highly simplified, but non-universal, approach to implementing optical quantum computation. It was shown by Aaronson and Arkhipov that this protocol cannot be efficiently classically simulated unless the polynomial hierarchy collapses, which would be a shocking result in computational complexity theory. Based on this, numerous authors have made the claim that experimental boson-sampling would provide evidence against, or disprove, the Extended Church-Turing thesis -- that any physically realisable system can be efficiently simulated on a Turing machine. We argue against this claim on the basis that, under a general, physically realistic independent error model, boson-sampling does not implement a provably hard computational problem in the asymptotic limit of large systems.
△ Less
Submitted 25 May, 2014; v1 submitted 9 January, 2014;
originally announced January 2014.
-
Quantum random walks on congested lattices
Authors:
Keith R. Motes,
Alexei Gilchrist,
Peter P. Rohde
Abstract:
We consider quantum random walks on congested lattices and contrast them to classical random walks. Congestion is modelled with lattices that contain static defects which reverse the walker's direction. We implement a dephasing process after each step which allows us to smoothly interpolate between classical and quantum random walkers as well as study the effect of dephasing on the quantum walk. O…
▽ More
We consider quantum random walks on congested lattices and contrast them to classical random walks. Congestion is modelled with lattices that contain static defects which reverse the walker's direction. We implement a dephasing process after each step which allows us to smoothly interpolate between classical and quantum random walkers as well as study the effect of dephasing on the quantum walk. Our key results show that a quantum walker escapes a finite boundary dramatically faster than a classical walker and that this advantage remains in the presence of heavily congested lattices. Also, we observe that a quantum walker is extremely sensitive to our model of dephasing.
△ Less
Submitted 30 October, 2013;
originally announced October 2013.
-
Sampling generalized cat states with linear optics is probably hard
Authors:
Peter P. Rohde,
Keith R. Motes,
Paul Knott,
Joseph Fitzsimons,
William Munro,
Jonathan P. Dowling
Abstract:
Boson-sampling has been presented as a simplified model for linear optical quantum computing. In the boson-sampling model, Fock states are passed through a linear optics network and sampled via number-resolved photodetection. It has been shown that this sampling problem likely cannot be efficiently classically simulated. This raises the question as to whether there are other quantum states of ligh…
▽ More
Boson-sampling has been presented as a simplified model for linear optical quantum computing. In the boson-sampling model, Fock states are passed through a linear optics network and sampled via number-resolved photodetection. It has been shown that this sampling problem likely cannot be efficiently classically simulated. This raises the question as to whether there are other quantum states of light for which the equivalent sampling problem is also computationally hard. We present evidence, without using a full complexity proof, that a very broad class of quantum states of light --- arbitrary superpositions of two or more coherent states --- when evolved via passive linear optics and sampled with number-resolved photodetection, likely implements a classically hard sampling problem.
△ Less
Submitted 20 December, 2014; v1 submitted 1 October, 2013;
originally announced October 2013.
-
Spontaneous parametric down-conversion photon sources are scalable in the asymptotic limit for boson-sampling
Authors:
Keith R. Motes,
Jonathan P. Dowling,
Peter P. Rohde
Abstract:
Boson-sampling has emerged as a promising avenue towards post-classical optical quantum computation, and numerous elementary demonstrations have recently been performed. Spontaneous parametric down-conversion (SPDC) is the mainstay for single-photon state preparation, the technique employed in most optical quantum information processing implementations to-date. Here we present a simple architectur…
▽ More
Boson-sampling has emerged as a promising avenue towards post-classical optical quantum computation, and numerous elementary demonstrations have recently been performed. Spontaneous parametric down-conversion (SPDC) is the mainstay for single-photon state preparation, the technique employed in most optical quantum information processing implementations to-date. Here we present a simple architecture for boson-sampling based on multiplexed SPDC sources and demonstrate that the architecture is limited only by the post-selection detection efficiency assuming that other errors, such as spectral impurity, dark counts, and interferometric instability are negligible. For any given number of input photons, there exists a minimum detector efficiency that allows post selection. If this efficiency is achieved, photon-number errors in the SPDC sources are sufficiently low as to guarantee correct boson-sampling most of the time. In this scheme the required detector efficiency must increase exponentially in the photon number. Thus, we show that idealised SPDC sources will not present a bottleneck for future boson-sampling implementations. Rather, photodetection efficiency is the limiting factor and thus future implementations may continue to employ SPDC sources.
△ Less
Submitted 14 April, 2014; v1 submitted 31 July, 2013;
originally announced July 2013.
-
Phase estimation with two-mode squeezed-vacuum and parity detection restricted to finite resources
Authors:
Keith R. Motes,
Petr M. Anisimov,
Jonathan P. Dowling
Abstract:
A recently proposed phase-estimation protocol that is based on measuring the parity of a two-mode squeezed-vacuum state at the output of a Mach-Zehnder interferometer shows that Cramér-Rao bound sensitivity can be obtained [P.\ M.\ Anisimov, et al., Phys.\ Rev.\ Lett.\ {\bf104}, 103602 (2010)]. This sensitivity, however, is expected in the case of an infinite number of parity measurements made on…
▽ More
A recently proposed phase-estimation protocol that is based on measuring the parity of a two-mode squeezed-vacuum state at the output of a Mach-Zehnder interferometer shows that Cramér-Rao bound sensitivity can be obtained [P.\ M.\ Anisimov, et al., Phys.\ Rev.\ Lett.\ {\bf104}, 103602 (2010)]. This sensitivity, however, is expected in the case of an infinite number of parity measurements made on an infinite number of photons. Here we consider the case of a finite number of parity measurements and a finite number of photons, implemented with photon-number-resolving detectors. We use Bayesian analysis to characterize the sensitivity of the phase estimation in this scheme. We have found that our phase estimation becomes biased near 0 or $π/2$ phase values. Yet there is an in-between region where the bias becomes negligible. In this region, our phase estimation scheme saturates the Cramér-Rao bound and beats the shot-noise limit.
△ Less
Submitted 9 September, 2013; v1 submitted 7 October, 2011;
originally announced October 2011.