Showing 51–100 of 302 results for author: Lloyd, S

Optimization and learning of quantum programs

Authors: Leonardo Banchi, Jason Pereira, Seth Lloyd, Stefano Pirandola

Abstract: A programmable quantum processor is a fundamental model of quantum computation. In this model, any quantum channel can be approximated by applying a fixed universal quantum operation onto an input state and a quantum `program' state, whose role is to condition the operation performed by the processor. It is known that perfect channel simulation is only possible in the limit of infinitely large pro… ▽ More A programmable quantum processor is a fundamental model of quantum computation. In this model, any quantum channel can be approximated by applying a fixed universal quantum operation onto an input state and a quantum `program' state, whose role is to condition the operation performed by the processor. It is known that perfect channel simulation is only possible in the limit of infinitely large program states, so that finding the best program state represents an open problem in the presence of realistic finite-dimensional resources. Here we prove that the search for the optimal quantum program is a convex optimization problem. This can be solved either exactly, by minimizing a diamond distance cost function via semi-definite programming, or approximately, by minimizing other cost functions via gradient-based machine learning methods. We apply this general result to a number of different designs for the programmable quantum processor, from the shallow protocol of quantum teleportation, to deeper schemes relying on port-based teleportation and parametric quantum circuits. We benchmark the various designs by investigating their optimal performance in simulating arbitrary unitaries, Pauli and amplitude dam** channels. △ Less

Submitted 3 May, 2019; originally announced May 2019.

Comments: REVTeX 23 pages. 13 figures. Long version of arXiv:1905.01316

Journal ref: npj Quantum Information 6, 42 (2020)

Convex optimization of programmable quantum computers

Authors: Leonardo Banchi, Jason Pereira, Seth Lloyd, Stefano Pirandola

Abstract: A fundamental model of quantum computation is the programmable quantum gate array. This is a quantum processor that is fed by a program state that induces a corresponding quantum operation on input states. While being programmable, any finite-dimensional design of this model is known to be nonuniversal, meaning that the processor cannot perfectly simulate an arbitrary quantum channel over the inpu… ▽ More A fundamental model of quantum computation is the programmable quantum gate array. This is a quantum processor that is fed by a program state that induces a corresponding quantum operation on input states. While being programmable, any finite-dimensional design of this model is known to be nonuniversal, meaning that the processor cannot perfectly simulate an arbitrary quantum channel over the input. Characterizing how close the simulation is and finding the optimal program state have been open questions for the past 20 years. Here, we answer these questions by showing that the search for the optimal program state is a convex optimization problem that can be solved via semidefinite programming and gradient-based methods commonly employed for machine learning. We apply this general result to different types of processors, from a shallow design based on quantum teleportation, to deeper schemes relying on port-based teleportation and parametric quantum circuits. △ Less

Submitted 19 May, 2020; v1 submitted 3 May, 2019; originally announced May 2019.

Comments: merged with arXiv:1905.01318

Journal ref: npj Quantum Information volume 6, Article number: 42 (2020)

Variational Quantum Unsampling on a Quantum Photonic Processor

Authors: Jacques Carolan, Masoud Mohseni, Jonathan P. Olson, Mihika Prabhu, Changchen Chen, Darius Bunandar, Nicholas C. Harris, Franco N. C. Wong, Michael Hochberg, Seth Lloyd, Dirk Englund

Abstract: Quantum algorithms for Noisy Intermediate-Scale Quantum (NISQ) machines have recently emerged as new promising routes towards demonstrating near-term quantum advantage (or supremacy) over classical systems. In these systems samples are typically drawn from probability distributions which --- under plausible complexity-theoretic conjectures --- cannot be efficiently generated classically. Rather th… ▽ More Quantum algorithms for Noisy Intermediate-Scale Quantum (NISQ) machines have recently emerged as new promising routes towards demonstrating near-term quantum advantage (or supremacy) over classical systems. In these systems samples are typically drawn from probability distributions which --- under plausible complexity-theoretic conjectures --- cannot be efficiently generated classically. Rather than first define a physical system and then determine computational features of the output state, we ask the converse question: given direct access to the quantum state, what features of the generating system can we efficiently learn? In this work we introduce the Variational Quantum Unsampling (VQU) protocol, a nonlinear quantum neural network approach for verification and inference of near-term quantum circuits outputs. In our approach one can variationally train a quantum operation to unravel the action of an unknown unitary on a known input state; essentially learning the inverse of the black-box quantum dynamics. While the principle of our approach is platform independent, its implementation will depend on the unique architecture of a specific quantum processor. Here, we experimentally demonstrate the VQU protocol on a quantum photonic processor. Alongside quantum verification, our protocol has broad applications; including optimal quantum measurement and tomography, quantum sensing and imaging, and ansatz validation. △ Less

Submitted 13 May, 2019; v1 submitted 23 April, 2019; originally announced April 2019.

Comments: Comments welcome. Updates references and acknowledgements

Dense coding capacity of a quantum channel

Authors: Riccardo Laurenza, Cosmo Lupo, Seth Lloyd, Stefano Pirandola

Abstract: We consider the fundamental protocol of dense coding of classical information assuming that noise affects both the forward and backward communication lines between Alice and Bob. Assuming that this noise is described by the same quantum channel, we define its dense coding capacity by optimizing over all adaptive strategies that Alice can implement, while Bob encodes the information by means of Pau… ▽ More We consider the fundamental protocol of dense coding of classical information assuming that noise affects both the forward and backward communication lines between Alice and Bob. Assuming that this noise is described by the same quantum channel, we define its dense coding capacity by optimizing over all adaptive strategies that Alice can implement, while Bob encodes the information by means of Pauli operators. Exploiting techniques of channel simulation and protocol stretching, we are able to establish the dense coding capacity of Pauli channels in arbitrary finite dimension, with simple formulas for depolarizing and dephasing qubit channels. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: 4 pages. 3 figures. REVTeX

Journal ref: Phys. Rev. Research 2, 023023 (2020)

Quantum Advantage in Postselected Metrology

Authors: David R. M. Arvidsson-Shukur, Nicole Yunger Halpern, Hugo V. Lepage, Aleksander A. Lasek, Crispin H. W. Barnes, Seth Lloyd

Abstract: We show that postselection offers a nonclassical advantage in metrology. In every parameter-estimation experiment, the final measurement or the postprocessing incurs some cost. Postselection can improve the rate of Fisher information (the average information learned about an unknown parameter from an experimental trial) to cost. This improvement, we show, stems from the negativity of a quasiprobab… ▽ More We show that postselection offers a nonclassical advantage in metrology. In every parameter-estimation experiment, the final measurement or the postprocessing incurs some cost. Postselection can improve the rate of Fisher information (the average information learned about an unknown parameter from an experimental trial) to cost. This improvement, we show, stems from the negativity of a quasiprobability distribution, a quantum extension of a probability distribution. In a classical theory, in which all observables commute, our quasiprobability distribution can be expressed as real and nonnegative. In a quantum-mechanically noncommuting theory, nonclassicality manifests in negative or nonreal quasiprobabilities. The distribution's nonclassically negative values enable postselected experiments to outperform even postselection-free experiments whose input states and final measurements are optimized: Postselected quantum experiments can yield anomalously large information-cost rates. We prove that this advantage is genuinely nonclassical: no classically commuting theory can describe any quantum experiment that delivers an anomalously large Fisher information. Finally, we outline a preparation-and-postselection procedure that can yield an arbitrarily large Fisher information. Our results establish the nonclassicality of a metrological advantage, leveraging our quasiprobability distribution as a mathematical tool. △ Less

Submitted 25 September, 2020; v1 submitted 6 March, 2019; originally announced March 2019.

Comments: Close to published version

Journal ref: Nature Communications 11, 3775 (2020)

Efficient implementation of unitary transformations

Authors: Seth Lloyd, Reevu Maity

Abstract: Quantum computation and quantum control operate by building unitary transformations out of sequences of elementary quantum logic operations or applications of control fields. This paper puts upper bounds on the minimum time required to implement a desired unitary transformation on a d-dimensional Hilbert space when applying sequences of Hamiltonian transformations. We show that strategies of build… ▽ More Quantum computation and quantum control operate by building unitary transformations out of sequences of elementary quantum logic operations or applications of control fields. This paper puts upper bounds on the minimum time required to implement a desired unitary transformation on a d-dimensional Hilbert space when applying sequences of Hamiltonian transformations. We show that strategies of building up a desired unitary out of non-infinitesimal and infinitesimal unitaries, or equivalently, using power and band limited controls, can yield the best possible scaling in time $O(d^2)$. △ Less

Submitted 10 January, 2019; originally announced January 2019.

Comments: 14 pages plus appendices, 4 figures

Quantum approximate optimization is computationally universal

Authors: Seth Lloyd

Abstract: The quantum approximate optimization algorithm (QAOA) applies two Hamiltonians to a quantum system in alternation. The original goal of the algorithm was to drive the system close to the ground state of one of the Hamiltonians. This paper shows that the same alternating procedure can be used to perform universal quantum computation: the times for which the Hamiltonians are applied can be programme… ▽ More The quantum approximate optimization algorithm (QAOA) applies two Hamiltonians to a quantum system in alternation. The original goal of the algorithm was to drive the system close to the ground state of one of the Hamiltonians. This paper shows that the same alternating procedure can be used to perform universal quantum computation: the times for which the Hamiltonians are applied can be programmed to give a computationally universal dynamics. The Hamiltonians required can be as simple as homogeneous sums of single-qubit Pauli X's and two-local ZZ Hamiltonians on a one-dimensional line of qubits. △ Less

Submitted 28 December, 2018; originally announced December 2018.

Comments: 6 pages, plain TeX

Random deep neural networks are biased towards simple functions

Authors: Giacomo De Palma, Bobak Toussi Kiani, Seth Lloyd

Abstract: We prove that the binary classifiers of bit strings generated by random wide deep neural networks with ReLU activation function are biased towards simple functions. The simplicity is captured by the following two properties. For any given input bit string, the average Hamming distance of the closest input bit string with a different classification is at least sqrt(n / (2π log n)), where n is the l… ▽ More We prove that the binary classifiers of bit strings generated by random wide deep neural networks with ReLU activation function are biased towards simple functions. The simplicity is captured by the following two properties. For any given input bit string, the average Hamming distance of the closest input bit string with a different classification is at least sqrt(n / (2π log n)), where n is the length of the string. Moreover, if the bits of the initial string are flipped randomly, the average number of flips required to change the classification grows linearly with n. These results are confirmed by numerical experiments on deep neural networks with two hidden layers, and settle the conjecture stating that random deep neural networks are biased towards simple functions. This conjecture was proposed and numerically explored in [Valle Pérez et al., ICLR 2019] to explain the unreasonably good generalization properties of deep learning algorithms. The probability distribution of the functions generated by random deep neural networks is a good choice for the prior probability distribution in the PAC-Bayesian generalization bounds. Our results constitute a fundamental step forward in the characterization of this distribution, therefore contributing to the understanding of the generalization properties of deep learning algorithms. △ Less

Submitted 23 October, 2019; v1 submitted 25 December, 2018; originally announced December 2018.

Journal ref: Advances in Neural Information Processing Systems 32, 1962-1974 (2019)

Emergent prethermalization signatures in out-of-time ordered correlations

Authors: Ken Xuan Wei, Pai Peng, Oles Shtanko, Iman Marvian, Seth Lloyd, Chandrasekhar Ramanathan, Paola Cappellaro

Abstract: How a many-body quantum system thermalizes --or fails to do so-- under its own interaction is a fundamental yet elusive concept. Here we demonstrate nuclear magnetic resonance observation of the emergence of prethermalization by measuring out-of-time ordered correlations. We exploit Hamiltonian engineering techniques to tune the strength of spin-spin interactions and of a transverse magnetic field… ▽ More How a many-body quantum system thermalizes --or fails to do so-- under its own interaction is a fundamental yet elusive concept. Here we demonstrate nuclear magnetic resonance observation of the emergence of prethermalization by measuring out-of-time ordered correlations. We exploit Hamiltonian engineering techniques to tune the strength of spin-spin interactions and of a transverse magnetic field in a spin chain system, as well as to invert the Hamiltonian sign to reveal out-of-time ordered correlations. At large fields, we observe an emergent conserved quantity due to prethermalization, which can be revealed by an early saturation of correlations. Our experiment not only demonstrates a new protocol to measure out-of-time ordered correlations, but also provides new insights in the study of quantum thermodynamics. △ Less

Submitted 11 December, 2018; originally announced December 2018.

Comments: 6+12 pages, 3+7 figures

Journal ref: Phys. Rev. Lett. 123, 090605 (2019)

Quantum-inspired low-rank stochastic regression with logarithmic dependence on the dimension

Authors: András Gilyén, Seth Lloyd, Ewin Tang

Abstract: We construct an efficient classical analogue of the quantum matrix inversion algorithm (HHL) for low-rank matrices. Inspired by recent work of Tang, assuming length-square sampling access to input data, we implement the pseudoinverse of a low-rank matrix and sample from the solution to the problem $Ax=b$ using fast sampling techniques. We implement the pseudo-inverse by finding an approximate sing… ▽ More We construct an efficient classical analogue of the quantum matrix inversion algorithm (HHL) for low-rank matrices. Inspired by recent work of Tang, assuming length-square sampling access to input data, we implement the pseudoinverse of a low-rank matrix and sample from the solution to the problem $Ax=b$ using fast sampling techniques. We implement the pseudo-inverse by finding an approximate singular value decomposition of $A$ via subsampling, then inverting the singular values. In principle, the approach can also be used to apply any desired "smooth" function to the singular values. Since many quantum algorithms can be expressed as a singular value transformation problem, our result suggests that more low-rank quantum algorithms can be effectively "dequantised" into classical length-square sampling algorithms. △ Less

Submitted 12 November, 2018; originally announced November 2018.

Comments: 10 pages

Quantum computational finance: quantum algorithm for portfolio optimization

Authors: Patrick Rebentrost, Seth Lloyd

Abstract: We present a quantum algorithm for portfolio optimization. We discuss the market data input, the processing of such data via quantum operations, and the output of financially relevant results. Given quantum access to the historical record of returns, the algorithm determines the optimal risk-return tradeoff curve and allows one to sample from the optimal portfolio. The algorithm can in principle a… ▽ More We present a quantum algorithm for portfolio optimization. We discuss the market data input, the processing of such data via quantum operations, and the output of financially relevant results. Given quantum access to the historical record of returns, the algorithm determines the optimal risk-return tradeoff curve and allows one to sample from the optimal portfolio. The algorithm can in principle attain a run time of ${\rm poly}(\log(N))$, where $N$ is the size of the historical return dataset. Direct classical algorithms for determining the risk-return curve and other properties of the optimal portfolio take time ${\rm poly}(N)$ and we discuss potential quantum speedups in light of the recent works on efficient classical sampling approaches. △ Less

Submitted 9 November, 2018; originally announced November 2018.

Comments: 18 pages

Advances in Photonic Quantum Sensing

Authors: Stefano Pirandola, Bhaskar Roy Bardhan, Tobias Gehring, Christian Weedbrook, Seth Lloyd

Abstract: Quantum sensing has become a mature and broad field. It is generally related with the idea of using quantum resources to boost the performance of a number of practical tasks, including the radar-like detection of faint objects, the readout of information from optical memories or fragile physical systems, and the optical resolution of extremely close point-like sources. Here we first focus on the b… ▽ More Quantum sensing has become a mature and broad field. It is generally related with the idea of using quantum resources to boost the performance of a number of practical tasks, including the radar-like detection of faint objects, the readout of information from optical memories or fragile physical systems, and the optical resolution of extremely close point-like sources. Here we first focus on the basic tools behind quantum sensing, discussing the most recent and general formulations for the problems of quantum parameter estimation and hypothesis testing. With this basic background in our hands, we then review emerging applications of quantum sensing in the photonic regime both from a theoretical and experimental point of view. Besides the state-of-the-art, we also discuss open problems and potential next steps. △ Less

Submitted 5 November, 2018; originally announced November 2018.

Comments: Review in press on Nature Photonics. This is a preliminary version to be updated after publication. Both manuscript and reference list will be expanded

Journal ref: Nature Photonics 12, 724-733 (2018)

Quantum algorithm for non-homogeneous linear partial differential equations

Authors: Juan Miguel Arrazola, Timjan Kalajdzievski, Christian Weedbrook, Seth Lloyd

Abstract: We describe a quantum algorithm for preparing states that encode solutions of non-homogeneous linear partial differential equations. The algorithm is a continuous-variable version of matrix inversion: it efficiently inverts differential operators that are polynomials in the variables and their partial derivatives. The output is a quantum state whose wavefunction is proportional to a specific solut… ▽ More We describe a quantum algorithm for preparing states that encode solutions of non-homogeneous linear partial differential equations. The algorithm is a continuous-variable version of matrix inversion: it efficiently inverts differential operators that are polynomials in the variables and their partial derivatives. The output is a quantum state whose wavefunction is proportional to a specific solution of the non-homogeneous differential equation, which can be measured to reveal features of the solution. The algorithm consists of three stages: preparing fixed resource states in ancillary systems, performing Hamiltonian simulation, and measuring the ancilla systems. The algorithm can be carried out using standard methods for gate decompositions, but we improve this in two ways. First, we show that for a wide class of differential operators, it is possible to derive exact decompositions for the gates employed in Hamiltonian simulation. This avoids the need for costly commutator approximations, reducing gate counts by orders of magnitude. Additionally, we employ methods from machine learning to find explicit circuits that prepare the required resource states. We conclude by studying an example application of the algorithm: solving Poisson's equation in electrostatics. △ Less

Submitted 7 September, 2018; originally announced September 2018.

Comments: 9 pages, 6 figures

Journal ref: Phys. Rev. A 100, 032306 (2019)

Gamma-ray emission from high Galactic latitude globular clusters

Authors: Sheridan J. Lloyd, Paula M. Chadwick, Anthony M. Brown

Abstract: We analyse 8 years of PASS 8 Fermi-LAT data, in the 60 MeV - 300 GeV energy range, from 30 high Galactic latitude globular clusters. Six of these globular clusters are detected with a TS > 25, with NGC 6254 being detected as gamma-ray bright for the first time. The most significant detection is of the well-known globular cluster 47 Tuc, and we produce a refined spectral fit for this object with a… ▽ More We analyse 8 years of PASS 8 Fermi-LAT data, in the 60 MeV - 300 GeV energy range, from 30 high Galactic latitude globular clusters. Six of these globular clusters are detected with a TS > 25, with NGC 6254 being detected as gamma-ray bright for the first time. The most significant detection is of the well-known globular cluster 47 Tuc, and we produce a refined spectral fit for this object with a log parabola model. NGC 6093, NGC 6752 and NGC 6254 are fitted with hard, flat power law models, NGC 7078 is best fitted with a soft power law and NGC 6218 is best fitted with a hard, broken power law. This variety of spectral models suggests that there is a variety of gamma-ray source types within globular clusters, in addition to the traditional millisecond pulsar interpretation. We identify a correspondence between diffuse X-ray emission in globular cluster cores and gamma-ray emission. This connection suggests that gamma-ray emission in globular clusters could also arise from unresolved X-ray sources or a relativistic electron population, perhaps generated by the millisecond pulsars. X-ray observations of further gamma-ray bright globular clusters would allow a functional relationship to be determined between diffuse X-ray and gamma-ray emission. △ Less

Submitted 14 August, 2018; v1 submitted 11 August, 2018; originally announced August 2018.

Comments: 17 pages, 18 figures, accepted for publication in MNRAS

Hydrodynamic behavior of non-interacting quantum particles in presence of dephasing

Authors: Oles Shtanko, Seth Lloyd

Abstract: In solids and organic materials, environment-induced dephasing of particles and long-lived excitations leads to the crossover in their transport properties between quantum wave-like propagation and classical diffusive motion. In this work, we demonstrate that dynamics of single carriers in this intermediate crossover regime can exhibit distinct signatures such as the formation of vortices and visc… ▽ More In solids and organic materials, environment-induced dephasing of particles and long-lived excitations leads to the crossover in their transport properties between quantum wave-like propagation and classical diffusive motion. In this work, we demonstrate that dynamics of single carriers in this intermediate crossover regime can exhibit distinct signatures such as the formation of vortices and viscous flow, the phenomena typically considered as manifestations of hydrodynamic transport. We explain this effect by modeling suppressed quantum interference of carriers, and we show that the resulting dynamics resembles the linearized Navier-Stokes equations. Dephasing-assisted viscosity provides a potential alternative explanation of the results of recent experiments exhibiting hydrodynamic behavior in solids, and suggests experimental probes of how quantum carriers couple to their environment. △ Less

Submitted 24 July, 2018; v1 submitted 18 July, 2018; originally announced July 2018.

Comments: 16 pages, 5 figures; minor text improvements, references and acknowledgments section added

Continuous-variable quantum neural networks

Authors: Nathan Killoran, Thomas R. Bromley, Juan Miguel Arrazola, Maria Schuld, Nicolás Quesada, Seth Lloyd

Abstract: We introduce a general method for building neural networks on quantum computers. The quantum neural network is a variational quantum circuit built in the continuous-variable (CV) architecture, which encodes quantum information in continuous degrees of freedom such as the amplitudes of the electromagnetic field. This circuit contains a layered structure of continuously parameterized gates which is… ▽ More We introduce a general method for building neural networks on quantum computers. The quantum neural network is a variational quantum circuit built in the continuous-variable (CV) architecture, which encodes quantum information in continuous degrees of freedom such as the amplitudes of the electromagnetic field. This circuit contains a layered structure of continuously parameterized gates which is universal for CV quantum computation. Affine transformations and nonlinear activation functions, two key elements in neural networks, are enacted in the quantum network using Gaussian and non-Gaussian gates, respectively. The non-Gaussian gates provide both the nonlinearity and the universality of the model. Due to the structure of the CV model, the CV quantum neural network can encode highly nonlinear transformations while remaining completely unitary. We show how a classical network can be embedded into the quantum formalism and propose quantum versions of various specialized model such as convolutional, recurrent, and residual networks. Finally, we present numerous modeling experiments built with the Strawberry Fields software library. These experiments, including a classifier for fraud detection, a network which generates Tetris images, and a hybrid classical-quantum autoencoder, demonstrate the capability and adaptability of CV quantum neural networks. △ Less

Submitted 18 June, 2018; originally announced June 2018.

Journal ref: Phys. Rev. Research 1, 033063 (2019)

Understanding the $γ$-ray emission from the globular cluster 47 Tuc: evidence for dark matter?

Authors: Anthony M. Brown, Thomas Lacroix, Sheridan Lloyd, Céline Bœhm, Paula Chadwick

Abstract: 47 Tuc was the first globular cluster observed to be $γ$-ray bright, with the $γ$-rays being attributed to a population of unresolved millisecond pulsars (MSPs). Recent kinematic data, combined with detailed simulations, appears to be consistent with the presence of an intermediate mass black hole (IMBH) at the centre of 47 Tuc. Building upon this, we analyse 9 years of \textit{Fermi}-LAT observat… ▽ More 47 Tuc was the first globular cluster observed to be $γ$-ray bright, with the $γ$-rays being attributed to a population of unresolved millisecond pulsars (MSPs). Recent kinematic data, combined with detailed simulations, appears to be consistent with the presence of an intermediate mass black hole (IMBH) at the centre of 47 Tuc. Building upon this, we analyse 9 years of \textit{Fermi}-LAT observations to study the spectral properties of 47 Tuc with unprecedented accuracy and sensitivity. This 9-year $γ$-ray spectrum shows that 47 Tuc's $γ$-ray flux cannot be explained by MSPs alone, due to a systematic discrepancy between the predicted and observed flux. Rather, we find a significant preference (TS $=40$) for describing 47 Tuc's spectrum with a two source population model, consisting of an ensemble of MSPs and annihilating dark matter (DM) with an enhanced density around the IMBH, when compared to an MSP-only explanation. The best-fit DM mass of 34 GeV is essentially the same as the best-fit DM explanation for the Galactic centre "excess" when assuming DM annihilation into $b\bar{b}$ quarks. Our work constitutes the first possible evidence of dark matter within a globular cluster. △ Less

Submitted 5 June, 2018; originally announced June 2018.

Comments: Accepted to be published as a Rapid Communication in Physical Review D. 6 pages, 2 figures

Entropic Energy-Time Uncertainty Relation

Authors: Patrick J. Coles, Vishal Katariya, Seth Lloyd, Iman Marvian, Mark M. Wilde

Abstract: Energy-time uncertainty plays an important role in quantum foundations and technologies, and it was even discussed by the founders of quantum mechanics. However, standard approaches (e.g., Robertson's uncertainty relation) do not apply to energy-time uncertainty because, in general, there is no Hermitian operator associated with time. Following previous approaches, we quantify time uncertainty by… ▽ More Energy-time uncertainty plays an important role in quantum foundations and technologies, and it was even discussed by the founders of quantum mechanics. However, standard approaches (e.g., Robertson's uncertainty relation) do not apply to energy-time uncertainty because, in general, there is no Hermitian operator associated with time. Following previous approaches, we quantify time uncertainty by how well one can read off the time from a quantum clock. We then use entropy to quantify the information-theoretic distinguishability of the various time states of the clock. Our main result is an entropic energy-time uncertainty relation for general time-independent Hamiltonians, stated for both the discrete-time and continuous-time cases. Our uncertainty relation is strong, in the sense that it allows for a quantum memory to help reduce the uncertainty, and this formulation leads us to reinterpret it as a bound on the relative entropy of asymmetry. Due to the operational relevance of entropy, we anticipate that our uncertainty relation will have information-processing applications. △ Less

Submitted 17 March, 2019; v1 submitted 20 May, 2018; originally announced May 2018.

Comments: 6 + 9 pages, 2 figures

Report number: LA-UR-18-24312

Journal ref: Phys. Rev. Lett. 122, 100401 (2019)

Quantum generative adversarial learning

Authors: Seth Lloyd, Christian Weedbrook

Abstract: Generative adversarial networks (GANs) represent a powerful tool for classical machine learning: a generator tries to create statistics for data that mimics those of a true data set, while a discriminator tries to discriminate between the true and fake data. The learning process for generator and discriminator can be thought of as an adversarial game, and under reasonable assumptions, the game con… ▽ More Generative adversarial networks (GANs) represent a powerful tool for classical machine learning: a generator tries to create statistics for data that mimics those of a true data set, while a discriminator tries to discriminate between the true and fake data. The learning process for generator and discriminator can be thought of as an adversarial game, and under reasonable assumptions, the game converges to the point where the generator generates the same statistics as the true data and the discriminator is unable to discriminate between the true and the generated data. This paper introduces the notion of quantum generative adversarial networks (QuGANs), where the data consists either of quantum states, or of classical data, and the generator and discriminator are equipped with quantum information processors. We show that the unique fixed point of the quantum adversarial game also occurs when the generator produces the same statistics as the data. Since quantum systems are intrinsically probabilistic the proof of the quantum case is different from - and simpler than - the classical case. We show that when the data consists of samples of measurements made on high-dimensional spaces, quantum adversarial networks may exhibit an exponential advantage over classical adversarial networks. △ Less

Submitted 24 April, 2018; originally announced April 2018.

Comments: 5 pages, 1 figure

Journal ref: Phys. Rev. Lett. 121, 040502 (2018)

Quantum Hopfield neural network

Authors: Patrick Rebentrost, Thomas R. Bromley, Christian Weedbrook, Seth Lloyd

Abstract: Quantum computing allows for the potential of significant advancements in both the speed and the capacity of widely used machine learning techniques. Here we employ quantum algorithms for the Hopfield network, which can be used for pattern recognition, reconstruction, and optimization as a realization of a content-addressable memory system. We show that an exponentially large network can be stored… ▽ More Quantum computing allows for the potential of significant advancements in both the speed and the capacity of widely used machine learning techniques. Here we employ quantum algorithms for the Hopfield network, which can be used for pattern recognition, reconstruction, and optimization as a realization of a content-addressable memory system. We show that an exponentially large network can be stored in a polynomial number of quantum bits by encoding the network into the amplitudes of quantum states. By introducing a classical technique for operating the Hopfield network, we can leverage quantum algorithms to obtain a quantum computational complexity that is logarithmic in the dimension of the data. We also present an application of our method as a genetic sequence recognizer. △ Less

Submitted 9 October, 2018; v1 submitted 10 October, 2017; originally announced October 2017.

Comments: 13 pages, 3 figures, final version

Journal ref: Phys. Rev. A 98, 042308 (2018)

Generalized Entanglement Entropies of Quantum Designs

Authors: Zi-Wen Liu, Seth Lloyd, Elton Yechao Zhu, Huangjun Zhu

Abstract: The entanglement properties of random quantum states or dynamics are important to the study of a broad spectrum of disciplines of physics, ranging from quantum information to high energy and many-body physics. This work investigates the interplay between the degrees of entanglement and randomness in pure states and unitary channels. We reveal strong connections between designs (distributions of st… ▽ More The entanglement properties of random quantum states or dynamics are important to the study of a broad spectrum of disciplines of physics, ranging from quantum information to high energy and many-body physics. This work investigates the interplay between the degrees of entanglement and randomness in pure states and unitary channels. We reveal strong connections between designs (distributions of states or unitaries that match certain moments of the uniform Haar measure) and generalized entropies (entropic functions that depend on certain powers of the density operator), by showing that Rényi entanglement entropies averaged over designs of the same order are almost maximal. This strengthens the celebrated Page's theorem. Moreover, we find that designs of an order that is logarithmic in the dimension maximize all Rényi entanglement entropies, and so are completely random in terms of the entanglement spectrum. Our results relate the behaviors of Rényi entanglement entropies to the complexity of scrambling and quantum chaos in terms of the degree of randomness, and suggest a generalization of the fast scrambling conjecture. △ Less

Submitted 8 July, 2018; v1 submitted 13 September, 2017; originally announced September 2017.

Comments: 6 pages. Concise version of arXiv:1703.08104. v4: published version with some minor additions and corrections

Report number: MIT-CTP/4935

Journal ref: Phys. Rev. Lett. 120, 130502 (2018)

Cherenkov Telescope Array Contributions to the 35th International Cosmic Ray Conference (ICRC2017)

Authors: F. Acero, B. S. Acharya, V. Acín Portella, C. Adams, I. Agudo, F. Aharonian, I. Al Samarai, A. Alberdi, M. Alcubierre, R. Alfaro, J. Alfaro, C. Alispach, R. Aloisio, R. Alves Batista, J. -P. Amans, E. Amato, L. Ambrogi, G. Ambrosi, M. Ambrosio, J. Anderson, M. Anduze, E. O. Angüner, E. Antolini, L. A. Antonelli, V. Antonuccio , et al. (1117 additional authors not shown)

Abstract: List of contributions from the Cherenkov Telescope Array Consortium presented at the 35th International Cosmic Ray Conference, July 12-20 2017, Busan, Korea. List of contributions from the Cherenkov Telescope Array Consortium presented at the 35th International Cosmic Ray Conference, July 12-20 2017, Busan, Korea. △ Less

Submitted 24 October, 2017; v1 submitted 11 September, 2017; originally announced September 2017.

Comments: Index of Cherenkov Telescope Array conference proceedings at the ICRC2017, Busan, Korea

Diagonal quantum discord

Authors: Zi-Wen Liu, Ryuji Takagi, Seth Lloyd

Abstract: Quantum discord measures quantum correlation by comparing the quantum mutual information with the maximal amount of mutual information accessible to a quantum measurement. This paper analyzes the properties of diagonal discord, a simplified version of discord that compares quantum mutual information with the mutual information revealed by a measurement that correspond to the eigenstates of the loc… ▽ More Quantum discord measures quantum correlation by comparing the quantum mutual information with the maximal amount of mutual information accessible to a quantum measurement. This paper analyzes the properties of diagonal discord, a simplified version of discord that compares quantum mutual information with the mutual information revealed by a measurement that correspond to the eigenstates of the local density matrices. In contrast to the optimized discord, diagonal discord is easily computable; it also finds connections to thermodynamics and resource theory. Here we further show that, for the generic case of non-degenerate local density matrices, diagonal discord exhibits desirable properties as a preferable discord measure. We employ the theory of resource destroying maps [Liu/Hu/Lloyd, PRL 118, 060502 (2017)] to prove that diagonal discord is monotonically nonincreasing under the operation of local discord nongenerating qudit channels, $d>2$, and provide numerical evidence that such monotonicity holds for qubit channels as well. We also show that it is continuous, and derive a Fannes-like continuity bound. Our results hold for a variety of simple discord measures generalized from diagonal discord. △ Less

Submitted 25 February, 2019; v1 submitted 29 August, 2017; originally announced August 2017.

Comments: 15 pages, 3 figures; published version

Report number: MIT-CTP/4902

Journal ref: J. Phys. A: Math. Theor. 52, 135301 (2019)

When is a bit worth much more than kT ln2?

Authors: Can Gokler, Artemy Kolchinsky, Zi-Wen Liu, Iman Marvian, Peter Shor, Oles Shtanko, Kevin Thompson, David Wolpert, Seth Lloyd

Abstract: Physical processes thatobtain, process, and erase information involve tradeoffs between information and energy. The fundamental energetic value of a bit of information exchanged with a reservoir at temperature T is kT ln2. This paper investigates the situation in which information is missing about just what physical process is about to take place. The fundamental energetic value of such informatio… ▽ More Physical processes thatobtain, process, and erase information involve tradeoffs between information and energy. The fundamental energetic value of a bit of information exchanged with a reservoir at temperature T is kT ln2. This paper investigates the situation in which information is missing about just what physical process is about to take place. The fundamental energetic value of such information can be far greater than kT ln2 per bit. △ Less

Submitted 26 May, 2017; originally announced May 2017.

Comments: 7 pages, plain TeX

Maximizing free energy gain

Authors: Artemy Kolchinsky, Iman Marvian, Can Gokler, Zi-Wen Liu, Peter Shor, Oles Shtanko, Kevin Thompson, David Wolpert, Seth Lloyd

Abstract: Free energy is energy that is available to do work. Maximizing the free energy gain and the gain in work that can be extracted from a system is important for a wide variety of physical and technological processes, from energy harvesting processes such as photosynthesis to energy storage systems such as fuels and batteries. This paper extends recent results from non-equilibrium thermodynamics and q… ▽ More Free energy is energy that is available to do work. Maximizing the free energy gain and the gain in work that can be extracted from a system is important for a wide variety of physical and technological processes, from energy harvesting processes such as photosynthesis to energy storage systems such as fuels and batteries. This paper extends recent results from non-equilibrium thermodynamics and quantum resource theory to derive closed-form solutions for the maximum possible gain in free energy and extractable work that can be obtained by varying the initial states of classical and quantum stochastic processes. Simple formulae allow the comparison the free energy increase for the optimal procedure with that for a sub-optimal procedure. The problem of finding the optimal free-energy harvesting procedure is shown to be convex and solvable via gradient descent. △ Less

Submitted 28 April, 2017; originally announced May 2017.

Comments: 15 pages, plain TeX

Entanglement, quantum randomness, and complexity beyond scrambling

Authors: Zi-Wen Liu, Seth Lloyd, Elton Yechao Zhu, Huangjun Zhu

Abstract: Scrambling is a process by which the state of a quantum system is effectively randomized due to the global entanglement that "hides" initially localized quantum information. In this work, we lay the mathematical foundations of studying randomness complexities beyond scrambling by entanglement properties. We do so by analyzing the generalized (in particular Rényi) entanglement entropies of designs,… ▽ More Scrambling is a process by which the state of a quantum system is effectively randomized due to the global entanglement that "hides" initially localized quantum information. In this work, we lay the mathematical foundations of studying randomness complexities beyond scrambling by entanglement properties. We do so by analyzing the generalized (in particular Rényi) entanglement entropies of designs, i.e. ensembles of unitary channels or pure states that mimic the uniformly random distribution (given by the Haar measure) up to certain moments. A main collective conclusion is that the Rényi entanglement entropies averaged over designs of the same order are almost maximal. This links the orders of entropy and design, and therefore suggests Rényi entanglement entropies as diagnostics of the randomness complexity of corresponding designs. Such complexities form a hierarchy between information scrambling and Haar randomness. As a strong separation result, we prove the existence of (state) 2-designs such that the Rényi entanglement entropies of higher orders can be bounded away from the maximum. However, we also show that the min entanglement entropy is maximized by designs of order only logarithmic in the dimension of the system. In other words, logarithmic-designs already achieve the complexity of Haar in terms of entanglement, which we also call max-scrambling. This result leads to a generalization of the fast scrambling conjecture, that max-scrambling can be achieved by physical dynamics in time roughly linear in the number of degrees of freedom. △ Less

Submitted 6 July, 2018; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: 72 pages, 4 figures. Rewritten version with new title. v3: published version

Report number: MIT-CTP/4874

Journal ref: JHEP 1807 (2018) 041

polylog-LDPC Capacity Achieving Codes for the Noisy Quantum Erasure Channel

Authors: Seth Lloyd, Peter Shor, Kevin Thompson

Abstract: We provide $poly\log$ sparse quantum codes for correcting the erasure channel arbitrarily close to the capacity. Specifically, we provide $[[n, k, d]]$ quantum stabilizer codes that correct for the erasure channel arbitrarily close to the capacity if the erasure probability is at least $0.33$, and with a generating set $\langle S_1, S_2, ... S_{n-k} \rangle$ such that $|S_i|\leq \log^{2+ζ}(n)$ for… ▽ More We provide $poly\log$ sparse quantum codes for correcting the erasure channel arbitrarily close to the capacity. Specifically, we provide $[[n, k, d]]$ quantum stabilizer codes that correct for the erasure channel arbitrarily close to the capacity if the erasure probability is at least $0.33$, and with a generating set $\langle S_1, S_2, ... S_{n-k} \rangle$ such that $|S_i|\leq \log^{2+ζ}(n)$ for all $i$ and for any $ζ> 0$ with high probability. In this work we show that the result of Delfosse et al. is tight: one can construct capacity approaching codes with weight almost $O(1)$. △ Less

Submitted 25 July, 2017; v1 submitted 1 March, 2017; originally announced March 2017.

Quantum gradient descent and Newton's method for constrained polynomial optimization

Authors: Patrick Rebentrost, Maria Schuld, Leonard Wossnig, Francesco Petruccione, Seth Lloyd

Abstract: Optimization problems in disciplines such as machine learning are commonly solved with iterative methods. Gradient descent algorithms find local minima by moving along the direction of steepest descent while Newton's method takes into account curvature information and thereby often improves convergence. Here, we develop quantum versions of these iterative optimization algorithms and apply them to… ▽ More Optimization problems in disciplines such as machine learning are commonly solved with iterative methods. Gradient descent algorithms find local minima by moving along the direction of steepest descent while Newton's method takes into account curvature information and thereby often improves convergence. Here, we develop quantum versions of these iterative optimization algorithms and apply them to polynomial optimization with a unit norm constraint. In each step, multiple copies of the current candidate are used to improve the candidate using quantum phase estimation, an adapted quantum principal component analysis scheme, as well as quantum matrix multiplications and inversions. The required operations perform polylogarithmically in the dimension of the solution vector and exponentially in the number of iterations. Therefore, the quantum algorithm can be beneficial for high-dimensional problems where a small number of iterations is sufficient. △ Less

Submitted 17 August, 2018; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: 20 pages, 4 Figures. Further improvements and corrections

Quantum Machine Learning

Authors: Jacob Biamonte, Peter Wittek, Nicola Pancotti, Patrick Rebentrost, Nathan Wiebe, Seth Lloyd

Abstract: Fuelled by increasing computer power and algorithmic advances, machine learning techniques have become powerful tools for finding patterns in data. Since quantum systems produce counter-intuitive patterns believed not to be efficiently produced by classical systems, it is reasonable to postulate that quantum computers may outperform classical computers on machine learning tasks. The field of quant… ▽ More Fuelled by increasing computer power and algorithmic advances, machine learning techniques have become powerful tools for finding patterns in data. Since quantum systems produce counter-intuitive patterns believed not to be efficiently produced by classical systems, it is reasonable to postulate that quantum computers may outperform classical computers on machine learning tasks. The field of quantum machine learning explores how to devise and implement concrete quantum software that offers such advantages. Recent work has made clear that the hardware and software challenges are still considerable but has also opened paths towards solutions. △ Less

Submitted 10 May, 2018; v1 submitted 28 November, 2016; originally announced November 2016.

Comments: 24 pages, 2 figures

Journal ref: Nature 549, 195-202 (2017)

An efficient quantum algorithm for spectral estimation

Authors: A. Steffens, P. Rebentrost, I. Marvian, J. Eisert, S. Lloyd

Abstract: We develop an efficient quantum implementation of an important signal processing algorithm for line spectral estimation: the matrix pencil method, which determines the frequencies and dam** factors of signals consisting of finite sums of exponentially damped sinusoids. Our algorithm provides a quantum speedup in a natural regime where the sampling rate is much higher than the number of sinusoid… ▽ More We develop an efficient quantum implementation of an important signal processing algorithm for line spectral estimation: the matrix pencil method, which determines the frequencies and dam** factors of signals consisting of finite sums of exponentially damped sinusoids. Our algorithm provides a quantum speedup in a natural regime where the sampling rate is much higher than the number of sinusoid components. Along the way, we develop techniques that are expected to be useful for other quantum algorithms as well - consecutive phase estimations to efficiently make products of asymmetric low rank matrices classically accessible and an alternative method to efficiently exponentiate non-Hermitian matrices. Our algorithm features an efficient quantum-classical division of labor: The time-critical steps are implemented in quantum superposition, while an interjacent step, requiring only exponentially few parameters, can operate classically. We show that frequencies and dam** factors can be obtained in time logarithmic in the number of sampling points, exponentially faster than known classical algorithms. △ Less

Submitted 26 September, 2016; originally announced September 2016.

Comments: 20 pages

Journal ref: New J. Phys. 19, 033005 (2017)

From clocks to cloners: Catalytic transformations under covariant operations and recoverability

Authors: Iman Marvian, Seth Lloyd

Abstract: There are various physical scenarios in which one can only implement operations with a certain symmetry. Under such restriction, a system in a symmetry-breaking state can be used as a catalyst, e.g. to prepare another system in a desired symmetry-breaking state. This sort of (approximate) catalytic state transformations are relevant in the context of (i) state preparation using a bounded-size quan… ▽ More There are various physical scenarios in which one can only implement operations with a certain symmetry. Under such restriction, a system in a symmetry-breaking state can be used as a catalyst, e.g. to prepare another system in a desired symmetry-breaking state. This sort of (approximate) catalytic state transformations are relevant in the context of (i) state preparation using a bounded-size quantum clock or reference frame, where the clock or reference frame acts as a catalyst, (ii) quantum thermodynamics, where again a clock can be used as a catalyst to prepare states which contain coherence with respect to the system Hamiltonian, and (iii) cloning of unknown quantum states, where the given copies of state can be interpreted as a catalyst for preparing the new copies. Using a recent result of Fawzi and Renner on approximate recoverability, we show that the achievable accuracy in this kind of catalytic transformations can be determined by a single function, namely the relative entropy of asymmetry, which is equal to the difference between the entropy of state and its symmetrized version: if the desired state transition does not require a large increase of this quantity, then it can be implemented with high fidelity using only symmetric operations. Our lower bound on the achievable fidelity is tight in the case of cloners, and can be achieved using the Petz recovery map, which interestingly turns out to be the optimal cloning map found by Werner. △ Less

Submitted 25 August, 2016; originally announced August 2016.

Comments: 7 pages+4 pages of Supplementary Material. Comments Welcome

Gaussian hypothesis testing and quantum illumination

Authors: Mark M. Wilde, Marco Tomamichel, Seth Lloyd, Mario Berta

Abstract: Quantum hypothesis testing is one of the most basic tasks in quantum information theory and has fundamental links with quantum communication and estimation theory. In this paper, we establish a formula that characterizes the decay rate of the minimal Type-II error probability in a quantum hypothesis test of two Gaussian states given a fixed constraint on the Type-I error probability. This formula… ▽ More Quantum hypothesis testing is one of the most basic tasks in quantum information theory and has fundamental links with quantum communication and estimation theory. In this paper, we establish a formula that characterizes the decay rate of the minimal Type-II error probability in a quantum hypothesis test of two Gaussian states given a fixed constraint on the Type-I error probability. This formula is a direct function of the mean vectors and covariance matrices of the quantum Gaussian states in question. We give an application to quantum illumination, which is the task of determining whether there is a low-reflectivity object embedded in a target region with a bright thermal-noise bath. For the asymmetric-error setting, we find that a quantum illumination transmitter can achieve an error probability exponent stronger than a coherent-state transmitter of the same mean photon number, and furthermore, that it requires far fewer trials to do so. This occurs when the background thermal noise is either low or bright, which means that a quantum advantage is even easier to witness than in the symmetric-error setting because it occurs for a larger range of parameters. Going forward from here, we expect our formula to have applications in settings well beyond those considered in this paper, especially to quantum communication tasks involving quantum Gaussian channels. △ Less

Submitted 19 September, 2017; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: v2: 13 pages, 1 figure, final version published in Physical Review Letters

Journal ref: Physical Review Letters, vol. 119, no. 12, page 120501, September 2017

Decoherent histories approach to the cosmological measure problem

Authors: Seth Lloyd

Abstract: The method of decoherent histories allows probabilities to be assigned to sequences of quantum events in systems, such as the universe as a whole, where there is no external observer to make measurements. This paper applies the method of decoherent histories to address cosmological questions. Using a series of simple examples, beginning with the harmonic oscillator, we show that systems in a stati… ▽ More The method of decoherent histories allows probabilities to be assigned to sequences of quantum events in systems, such as the universe as a whole, where there is no external observer to make measurements. This paper applies the method of decoherent histories to address cosmological questions. Using a series of simple examples, beginning with the harmonic oscillator, we show that systems in a stationary state such as an energy eigenstate or thermal state can exhibit decoherent histories with non-trivial dynamics. We then examine decoherent histories in a universe that undergoes eternal inflation. Decoherent histories that assign probabilities to sequences of events in the vicinity of a timelike geodesic supply a natural cosmological measure. Under reasonable conditions, such sequences of events do not suffer from the presence of unlikely statistical fluctuations that mimic reality. △ Less

Submitted 19 August, 2016; originally announced August 2016.

Comments: 18 pages, plain TeX

Quantum singular value decomposition of non-sparse low-rank matrices

Authors: Patrick Rebentrost, Adrian Steffens, Seth Lloyd

Abstract: In this work, we present a method to exponentiate non-sparse indefinite low-rank matrices on a quantum computer. Given an operation for accessing the elements of the matrix, our method allows singular values and associated singular vectors to be found quantum mechanically in a time exponentially faster in the dimension of the matrix than known classical algorithms. The method extends to non-Hermit… ▽ More In this work, we present a method to exponentiate non-sparse indefinite low-rank matrices on a quantum computer. Given an operation for accessing the elements of the matrix, our method allows singular values and associated singular vectors to be found quantum mechanically in a time exponentially faster in the dimension of the matrix than known classical algorithms. The method extends to non-Hermitian and non-square matrices via embedding matrices. In the context of the generic singular value decomposition of a matrix, we discuss the Procrustes problem of finding a closest isometry to a given matrix. △ Less

Submitted 19 July, 2016; originally announced July 2016.

Comments: 5 pages, comments welcome

Journal ref: Phys. Rev. A 97, 012327 (2018)

Resource Destroying Maps

Authors: Zi-Wen Liu, Xueyuan Hu, Seth Lloyd

Abstract: Resource theory is a widely-applicable framework for analyzing the physical resources required for given tasks, such as computation, communication, and energy extraction. In this paper, we propose a general scheme for analyzing resource theories based on resource destroying maps, which leave resource-free states unchanged but erase the resource stored in all other states. We introduce a group of g… ▽ More Resource theory is a widely-applicable framework for analyzing the physical resources required for given tasks, such as computation, communication, and energy extraction. In this paper, we propose a general scheme for analyzing resource theories based on resource destroying maps, which leave resource-free states unchanged but erase the resource stored in all other states. We introduce a group of general conditions that determine whether a quantum operation exhibits typical resource-free properties in relation to a given resource destroying map. Our theory reveals fundamental connections among basic elements of resource theories, in particular, free states, free operations, and resource measures. In particular, we define a class of simple resource measures that can be calculated without optimization, and that are monotone nonincreasing under operations that commute with the resource destroying map. We apply our theory to the resources of coherence and quantum correlations (e.g., discord), two prominent features of nonclassicality. △ Less

Submitted 15 February, 2017; v1 submitted 12 June, 2016; originally announced June 2016.

Comments: 12 pages including Supplemental Material, published version

Report number: MIT-CTP/4803

Journal ref: Phys. Rev. Lett. 118, 060502 (2017)

Universal Quantum Emulator

Authors: Iman Marvian, Seth Lloyd

Abstract: We propose a quantum algorithm that emulates the action of an unknown unitary transformation on a given input state, using multiple copies of some unknown sample input states of the unitary and their corresponding output states. The algorithm does not assume any prior information about the unitary to be emulated or the sample input states. To emulate the action of the unknown unitary, the new inpu… ▽ More We propose a quantum algorithm that emulates the action of an unknown unitary transformation on a given input state, using multiple copies of some unknown sample input states of the unitary and their corresponding output states. The algorithm does not assume any prior information about the unitary to be emulated or the sample input states. To emulate the action of the unknown unitary, the new input state is coupled to the given sample input-output pairs in a coherent fashion. Remarkably, the runtime of the algorithm is logarithmic in D, the dimension of the Hilbert space, and increases polynomially with d, the dimension of the subspace spanned by the sample input states. Furthermore, the sample complexity of the algorithm-i.e., the total number of copies of the sample input-output pairs needed to run the algorithm-is independent of D and polynomial in d. In contrast, the runtime and sample complexity of incoherent methods, i.e., methods that use tomography, are both linear in D. The algorithm is blind, in the sense that, at the end, it does not learn anything about the given samples or the emulated unitary. This algorithm can be used as a subroutine in other algorithms, such as quantum phase estimation. △ Less

Submitted 26 March, 2024; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: v2; 12 pages+ 22 pages of Supplementary Material, and 7 Figures. The new version contains further detailed analysis of the algorithm, and more examples

A Quantum Enigma Machine: Experimentally Demonstrating Quantum Data Locking

Authors: Daniel J. Lum, M. S. Allman, Thomas Gerrits, Cosmo Lupo, Varun B. Verma, Seth Lloyd, Sae Woo Nam, John C. Howell

Abstract: Claude Shannon proved in 1949 that information-theoretic-secure encryption is possible if the encryption key is used only once, is random, and is at least as long as the message itself. Notwithstanding, when information is encoded in a quantum system, the phenomenon of quantum data locking allows one to encrypt a message with a shorter key and still provide information-theoretic security. We prese… ▽ More Claude Shannon proved in 1949 that information-theoretic-secure encryption is possible if the encryption key is used only once, is random, and is at least as long as the message itself. Notwithstanding, when information is encoded in a quantum system, the phenomenon of quantum data locking allows one to encrypt a message with a shorter key and still provide information-theoretic security. We present one of the first feasible experimental demonstrations of quantum data locking for direct communication and propose a scheme for a quantum enigma machine that encrypts 6 bits per photon (containing messages, new encryption keys, and forward error correction bits) with less than 6 bits per photon of encryption key while remaining information-theoretically secure. △ Less

Submitted 21 July, 2016; v1 submitted 20 May, 2016; originally announced May 2016.

Comments: 10 Figures

Journal ref: Phys. Rev. A 94, 022315 (2016)

Passive states as optimal inputs for single-jump lossy quantum channels

Authors: Giacomo De Palma, Andrea Mari, Seth Lloyd, Vittorio Giovannetti

Abstract: The passive states of a quantum system minimize the average energy among all the states with a given spectrum. We prove that passive states are the optimal inputs of single-jump lossy quantum channels. These channels arise from a weak interaction of the quantum system of interest with a large Markovian bath in its ground state, such that the interaction Hamiltonian couples only consecutive energy… ▽ More The passive states of a quantum system minimize the average energy among all the states with a given spectrum. We prove that passive states are the optimal inputs of single-jump lossy quantum channels. These channels arise from a weak interaction of the quantum system of interest with a large Markovian bath in its ground state, such that the interaction Hamiltonian couples only consecutive energy eigenstates of the system. We prove that the output generated by any input state $ρ$ majorizes the output generated by the passive input state $ρ_0$ with the same spectrum of $ρ$. Then, the output generated by $ρ$ can be obtained applying a random unitary operation to the output generated by $ρ_0$. This is an extension of De Palma et al., IEEE Trans. Inf. Theory 62, 2895 (2016), where the same result is proved for one-mode bosonic Gaussian channels. We also prove that for finite temperature this optimality property can fail already in a two-level system, where the best input is a coherent superposition of the two energy eigenstates. △ Less

Submitted 22 June, 2016; v1 submitted 18 March, 2016; originally announced March 2016.

Comments: 10 pages

Journal ref: Phys. Rev. A 93, 062328 (2016)

Full-lifetime simulations of multiple unequal-mass planets across all phases of stellar evolution

Authors: Dimitri Veras, Alexander J. Mustill, Boris T. Gaensicke, Seth Redfield, Nikolaos Georgakarakos, Alex B. Bowler, Maximillian J. S. Lloyd

Abstract: We know that planetary systems are just as common around white dwarfs as around main sequence stars. However, self-consistently linking a planetary system across these two phases of stellar evolution through the violent giant branch poses computational challenges, and previous studies restricted architectures to equal-mass planets. Here, we remove this constraint and perform over 450 numerical int… ▽ More We know that planetary systems are just as common around white dwarfs as around main sequence stars. However, self-consistently linking a planetary system across these two phases of stellar evolution through the violent giant branch poses computational challenges, and previous studies restricted architectures to equal-mass planets. Here, we remove this constraint and perform over 450 numerical integrations over a Hubble time (14 Gyr) of packed planetary systems with unequal-mass planets. We characterize the resulting trends as a function of planet order and mass. We find that intrusive radial incursions in the vicinity of the white dwarf become less likely as the dispersion amongst planet masses increases. The orbital meandering which may sustain a sufficiently dynamic environment around a white dwarf to explain observations is more dependent on the presence of terrestrial-mass planets than any variation in planetary mass. Triggering unpacking or instability during the white dwarf phase is comparably easy for systems of unequal-mass planets and systems of equal-mass planets; instabilities during the giant branch phase remain rare and require fine-tuning of initial conditions. We list the key dynamical features of each simulation individually as a potential guide for upcoming discoveries. △ Less

Submitted 29 February, 2016; originally announced March 2016.

Comments: Accepted for publication in MNRAS

On the uncomputability of the spectral gap

Authors: Seth Lloyd

Abstract: This paper reviews the 1994 proof that the spectral gap of Hamiltonian quantum systems capable of universal computation is uncomputable. This paper reviews the 1994 proof that the spectral gap of Hamiltonian quantum systems capable of universal computation is uncomputable. △ Less

Submitted 18 February, 2016; originally announced February 2016.

Comments: 5 pages, plain TeX

Time Independent Universal Computing with Spin Chains: Quantum Plinko Machine

Authors: Kevin Thompson, Can Gokler, Seth Lloyd, Peter Shor

Abstract: We present a scheme for universal quantum computing using XY Heisenberg spin chains. Information is encoded into packets propagating down these chains, and they interact with each other to perform universal quantum computation. A circuit using g gate blocks on m qubits can be encoded into chains of length $O(g^{3+δ} m^{3+δ})$ for all $δ>0$ with vanishingly small error. We present a scheme for universal quantum computing using XY Heisenberg spin chains. Information is encoded into packets propagating down these chains, and they interact with each other to perform universal quantum computation. A circuit using g gate blocks on m qubits can be encoded into chains of length $O(g^{3+δ} m^{3+δ})$ for all $δ>0$ with vanishingly small error. △ Less

Submitted 5 January, 2016; v1 submitted 18 November, 2015; originally announced November 2015.

No energy transport without discord

Authors: Seth Lloyd, Zi-Wen Liu, Stefano Pirandola, Vazrik Chiloyan, Yongjie Hu, Samuel Huberman, Gang Chen

Abstract: We show that without quantum correlations, energy cannot flow. The result follows from a simple theorem that shows that systems whose dynamics do not generate quantum discord are effectively non-interacting. We show that the rate of heat transfer between two quantum systems at different temperatures is directly proportional to the instantaneous rate of increase of diagonal/energetic discord betwee… ▽ More We show that without quantum correlations, energy cannot flow. The result follows from a simple theorem that shows that systems whose dynamics do not generate quantum discord are effectively non-interacting. We show that the rate of heat transfer between two quantum systems at different temperatures is directly proportional to the instantaneous rate of increase of diagonal/energetic discord between the systems. Consequently, nanoscale heat transfer experiments can be used to measure discord directly. We report the results of a measurement of the increase in discord due to nanoscale heat flow across an aluminum-sapphire interface and find it to be $4.28 \times 10^{24}$ ${\rm bits}\,{\rm m^{-2}}\,{\rm K^{-1}}\,{\rm s^{-1}}$. △ Less

Submitted 16 October, 2017; v1 submitted 16 October, 2015; originally announced October 2015.

Comments: 7 pages, 1 figure; v2: significantly rewritten, more results added

The power of one qumode for quantum computation

Authors: Nana Liu, Jayne Thompson, Christian Weedbrook, Seth Lloyd, Vlatko Vedral, Mile Gu, Kavan Modi

Abstract: Although quantum computers are capable of solving problems like factoring exponentially faster than the best-known classical algorithms, determining the resources responsible for their computational power remains unclear. An important class of problems where quantum computers possess an advantage is phase estimation, which includes applications like factoring. We introduce a new computational mode… ▽ More Although quantum computers are capable of solving problems like factoring exponentially faster than the best-known classical algorithms, determining the resources responsible for their computational power remains unclear. An important class of problems where quantum computers possess an advantage is phase estimation, which includes applications like factoring. We introduce a new computational model based on a single squeezed state resource that can perform phase estimation, which we call the power of one qumode. This model is inspired by an interesting computational model known as deterministic quantum computing with one quantum bit (DQC1). Using the power of one qumode, we identify that the amount of squeezing is sufficient to quantify the resource requirements of different computational problems based on phase estimation. In particular, it establishes a quantitative relationship between the resources required for factoring and DQC1. For example, we find the squeezing required to factor has an exponential scaling whereas no squeezing (i.e., a coherent state) is already sufficient to solve the hardest problem in DQC1. △ Less

Submitted 3 May, 2016; v1 submitted 15 October, 2015; originally announced October 2015.

Comments: 8 pages, 2 figures

Journal ref: Phys. Rev. A 93, 052304 (2016)

Adiabatic and Hamiltonian computing on a 2D lattice with simple 2-qubit interactions

Authors: Seth Lloyd, Barbara Terhal

Abstract: We show how to perform universal Hamiltonian and adiabatic computing using a time-independent Hamiltonian on a 2D grid describing a system of hop** particles which string together and interact to perform the computation. In this construction, the movement of one particle is controlled by the presence or absence of other particles, an effective quantum field effect transistor that allows the cons… ▽ More We show how to perform universal Hamiltonian and adiabatic computing using a time-independent Hamiltonian on a 2D grid describing a system of hop** particles which string together and interact to perform the computation. In this construction, the movement of one particle is controlled by the presence or absence of other particles, an effective quantum field effect transistor that allows the construction of controlled-NOT and controlled-rotation gates. The construction translates into a model for universal quantum computation with time-independent 2-qubit ZZ and XX+YY interactions on an (almost) planar grid. The effective Hamiltonian is arrived at by a single use of first-order perturbation theory avoiding the use of perturbation gadgets. The dynamics and spectral properties of the effective Hamiltonian can be fully determined as it corresponds to a particular realization of a map** between a quantum circuit and a Hamiltonian called the space-time circuit-to-Hamiltonian construction. Because of the simple interactions required, and because no higher-order perturbation gadgets are employed, our construction is potentially realizable using superconducting or other solid-state qubits. △ Less

Submitted 3 September, 2015; originally announced September 2015.

Comments: 33 pages, 5 figures

Quantum data hiding in the presence of noise

Authors: Cosmo Lupo, Mark M. Wilde, Seth Lloyd

Abstract: When classical or quantum information is broadcast to separate receivers, there exist codes that encrypt the encoded data such that the receivers cannot recover it when performing local operations and classical communication, but they can decode reliably if they bring their systems together and perform a collective measurement. This phenomenon is known as quantum data hiding and hitherto has been… ▽ More When classical or quantum information is broadcast to separate receivers, there exist codes that encrypt the encoded data such that the receivers cannot recover it when performing local operations and classical communication, but they can decode reliably if they bring their systems together and perform a collective measurement. This phenomenon is known as quantum data hiding and hitherto has been studied under the assumption that noise does not affect the encoded systems. With the aim of applying the quantum data hiding effect in practical scenarios, here we define the data-hiding capacity for hiding classical information using a quantum channel. Using this notion, we establish a regularized upper bound on the data hiding capacity of any quantum broadcast channel, and we prove that coherent-state encodings have a strong limitation on their data hiding rates. We then prove a lower bound on the data hiding capacity of channels that map the maximally mixed state to the maximally mixed state (we call these channels "mictodiactic"---they can be seen as a generalization of unital channels when the input and output spaces are not necessarily isomorphic) and argue how to extend this bound to generic channels and to more than two receivers. △ Less

Submitted 7 April, 2016; v1 submitted 21 July, 2015; originally announced July 2015.

Comments: 12 pages, accepted for publication in IEEE Transactions on Information Theory

Journal ref: IEEE Transactions on Information Theory, vol. 62, no. 6, pages 3745-3756, June 2016

Quantum transport simulations in a programmable nanophotonic processor

Authors: Nicholas C. Harris, Gregory R. Steinbrecher, Jacob Mower, Yoav Lahini, Mihika Prabhu, Darius Bunandar, Changchen Chen, Franco N. C. Wong, Tom Baehr-Jones, Michael Hochberg, Seth Lloyd, Dirk Englund

Abstract: Environmental noise and disorder play critical roles in quantum particle and wave transport in complex media, including solid-state and biological systems. Recent work has predicted that coupling between noisy environments and disordered systems, in which coherent transport has been arrested due to localization effects, could actually enhance transport. Photonic integrated circuits are promising p… ▽ More Environmental noise and disorder play critical roles in quantum particle and wave transport in complex media, including solid-state and biological systems. Recent work has predicted that coupling between noisy environments and disordered systems, in which coherent transport has been arrested due to localization effects, could actually enhance transport. Photonic integrated circuits are promising platforms for studying such effects, with a central goal being the development of large systems providing low-loss, high-fidelity control over all parameters of the transport problem. Here, we fully map the role of disorder in quantum transport using a nanophotonic processor consisting of a mesh of 88 generalized beamsplitters programmable on microsecond timescales. Over 64,400 transport experiments, we observe several distinct transport regimes, including environment-assisted quantum transport and the ''quantum Goldilocks'' regime in strong, statically disordered discrete-time systems. Low loss and high-fidelity programmable transformations make this nanophotonic processor a promising platform for many-boson quantum simulation experiments. △ Less

Submitted 28 January, 2020; v1 submitted 13 July, 2015; originally announced July 2015.

Comments: 4 figures, 8 pages

MDI-QKD: Continuous- versus discrete-variables at metropolitan distances

Authors: Stefano Pirandola, Carlo Ottaviani, Gaetana Spedalieri, Christian Weedbrook, Samuel L. Braunstein, Seth Lloyd, Tobias Gehring, Christian S. Jacobsen, Ulrik L. Andersen

Abstract: In a comment, Xu, Curty, Qi, Qian, and Lo claimed that discrete-variable (DV) measurement device independent (MDI) quantum key distribution (QKD) would compete with its continuous-variable (CV) counterpart at metropolitan distances. Actually, Xu et al.'s analysis supports exactly the opposite by showing that the experimental rate of our CV protocol (achieved with practical room-temperature devices… ▽ More In a comment, Xu, Curty, Qi, Qian, and Lo claimed that discrete-variable (DV) measurement device independent (MDI) quantum key distribution (QKD) would compete with its continuous-variable (CV) counterpart at metropolitan distances. Actually, Xu et al.'s analysis supports exactly the opposite by showing that the experimental rate of our CV protocol (achieved with practical room-temperature devices) remains one order of magnitude higher than their purely-numerical and over-optimistic extrapolation for qubits, based on nearly-ideal parameters and cryogenic detectors (unsuitable solutions for a realistic metropolitan network, which is expected to run on cheap room-temperature devices, potentially even mobile). The experimental rate of our protocol (expressed as bits per relay use) is confirmed to be two-three orders of magnitude higher than the rate of any realistic simulation of practical DV-MDI-QKD over short-medium distances. Of course this does not mean that DV-MDI-QKD networks should not be investigated or built, but increasing their rate is a non-trivial practical problem clearly beyond the analysis of Xu et al. Finally, in order to clarify the facts, we also refute a series of incorrect arguments against CV-MDI-QKD and, more generally, CV-QKD, which were made by Xu et al. with the goal of supporting their thesis. △ Less

Submitted 1 August, 2015; v1 submitted 22 June, 2015; originally announced June 2015.

Comments: Updated reply to Xu, Curty, Qi, Qian and Lo (arXiv:1506.04819), including a point-to-point rebuttal of their new "Appendix E: Addendum"

Journal ref: Nature Photonics 9, 773-775 (2015)

Quantum Time

Authors: Vittorio Giovannetti, Seth Lloyd, Lorenzo Maccone

Abstract: We give a consistent quantum description of time, based on Page and Wootters' conditional probabilities mechanism, that overcomes the criticisms that were raised against similar previous proposals. In particular we show how the model allows to reproduce the correct statistics of sequential measurements performed on a system at different times. We give a consistent quantum description of time, based on Page and Wootters' conditional probabilities mechanism, that overcomes the criticisms that were raised against similar previous proposals. In particular we show how the model allows to reproduce the correct statistics of sequential measurements performed on a system at different times. △ Less

Submitted 26 August, 2015; v1 submitted 16 April, 2015; originally announced April 2015.

Comments: Final version accepted for publication on Phys. Rev. D

Journal ref: Phys. Rev. D 92, 045033 (2015)

Any non-affine one-to-one binary gate suffices for computation

Authors: Seth Lloyd

Abstract: Any non-affine one-to-one binary gate can be wired together with suitable inputs to give AND, OR, NOT and fan-out gates, and so suffices to construct a general-purpose computer. Any non-affine one-to-one binary gate can be wired together with suitable inputs to give AND, OR, NOT and fan-out gates, and so suffices to construct a general-purpose computer. △ Less

Submitted 13 April, 2015; originally announced April 2015.

Comments: 7 pages, plain TeX, 1992 Los Alamos Alamos preprint number LA-UR-92-996. Shows that any non-affine reversible binary logic gate is universal

Efficiently Controllable Graphs

Authors: Can Gokler, Seth Lloyd, Peter Shor, Kevin Thompson

Abstract: We investigate graphs that can be disconnected into small components by removing a vanishingly small fraction of their vertices. We show that when a quantum network is described by such a graph, the network is efficiently controllable, in the sense that universal quantum computation can be performed using a control sequence polynomial in the size of the network while controlling a vanishingly smal… ▽ More We investigate graphs that can be disconnected into small components by removing a vanishingly small fraction of their vertices. We show that when a quantum network is described by such a graph, the network is efficiently controllable, in the sense that universal quantum computation can be performed using a control sequence polynomial in the size of the network while controlling a vanishingly small fraction of subsystems. We show that networks corresponding to finite-dimensional lattices are efficently controllable, and explore generalizations to percolation clusters and random graphs. We show that the classical computational complexity of estimating the ground state of Hamiltonians described by controllable graphs is polynomial in the number of subsystems/qubits. △ Less

Submitted 20 January, 2017; v1 submitted 17 March, 2015; originally announced March 2015.

Journal ref: Phys. Rev. Lett. 118, 260501 (2017)