Distillation, or purification, is central to the practical use of quantum resources in noisy settings often encountered in quantum communication and computation. Conventionally, distillation requires using some restricted "free" operations to convert a noisy state into one that approximates a desired pure state. Here, we propose to relax this setting by only requiring the approximation of the measurement statistics of a target pure state, which allows for additional classical postprocessing of the measurement outcomes. We show that this extended scenario, which we call "virtual resource distillation," provides considerable advantages over standard notions of distillation, allowing for the purification of noisy states from which no resources can be distilled conventionally. We show that general states can be virtually distilled with a cost (measurement overhead) that is inversely proportional to the amount of existing resource, and we develop methods to efficiently estimate such cost via convex and semidefinite programming, giving several computable bounds. We consider applications to coherence, entanglement, and magic distillation, and an explicit example in quantum teleportation (distributed quantum computing). This work opens a new avenue for investigating generalized ways to manipulate quantum resources.
Numerous quantum error-mitigation protocols have been proposed, motivated by the critical need to suppress noise effects on intermediate-scale quantum devices. Yet, their general potential and limitations remain elusive. In particular, to understand the ultimate feasibility of quantum error mitigation, it is crucial to characterize the fundamental sampling cost-how many times an arbitrary mitigation protocol must run a noisy quantum device. Here, we establish universal lower bounds on the sampling cost for quantum error mitigation to achieve the desired accuracy with high probability. Our bounds apply to general mitigation protocols, including the ones involving nonlinear postprocessing and those yet to be discovered. The results imply that the sampling cost required for a wide class of protocols to mitigate errors must grow exponentially with the circuit depth for various noise models, revealing the fundamental obstacles in the scalability of useful noisy near-term quantum devices.
Heisenberg's uncertainty principle implies fundamental constraints on what properties of a quantum system we can simultaneously learn. However, it typically assumes that we probe these properties via measurements at a single point in time. In contrast, inferring causal dependencies in complex processes often requires interactive experimentation-multiple rounds of interventions where we adaptively probe the process with different inputs to observe how they affect outputs. Here, we demonstrate universal uncertainty principles for general interactive measurements involving arbitrary rounds of interventions. As a case study, we show that they imply an uncertainty trade-off between measurements compatible with different causal dependencies.
Learning , Uncertainty
Complex systems are embedded in our everyday experience. Stochastic modelling enables us to understand and predict the behaviour of such systems, cementing its utility across the quantitative sciences. Accurate models of highly non-Markovian processes - where the future behaviour depends on events that happened far in the past - must track copious amounts of information about past observations, requiring high-dimensional memories. Quantum technologies can ameliorate this cost, allowing models of the same processes with lower memory dimension than corresponding classical models. Here we implement such memory-efficient quantum models for a family of non-Markovian processes using a photonic setup. We show that with a single qubit of memory our implemented quantum models can attain higher precision than possible with any classical model of the same memory dimension. This heralds a key step towards applying quantum technologies in complex systems modelling.
Phase-insensitive optical amplifiers uniformly amplify each quadrature of an input field and are of both fundamental and technological importance. We find the quantum limit on the precision of estimating the gain of a quantum-limited phase-insensitive amplifier using a multimode probe that may also be entangled with an ancilla system. In stark contrast to the sensing of loss parameters, the average photon number N and number of input modes M of the probe are found to be equivalent and interchangeable resources for optimal gain sensing. All pure-state probes whose reduced state on the input modes to the amplifier is diagonal in the multimode number basis are proven to be quantum optimal under the same gain-independent measurement. We compare the best precision achievable using classical probes to the performance of an explicit photon-counting-based estimator on quantum probes and show that an advantage exists even for single-photon probes and inefficient photodetection. A closed-form expression for the energy-constrained Bures distance between two product amplifier channels is also derived.
Exact results about the nonequilibrium thermodynamics of open quantum systems at arbitrary timescales are obtained by considering all possible variations of initial conditions of a system. First we obtain a quantum-information theoretic equality for entropy production, valid for an arbitrary initial joint state of system and environment. For any finite-time process with a fixed initial environment, we then show that the system's loss of distinction-relative to the minimally dissipative state-exactly quantifies its thermodynamic dissipation. The quantum component of this dissipation is the change in coherence relative to the minimally dissipative state. Implications for quantum state preparation and local control are explored. For nonunitary processes-like the preparation of any particular quantum state-we find that mismatched expectations lead to divergent dissipation as the actual initial state becomes orthogonal to the anticipated one.
Realizing a long coherence time quantum memory is a major challenge of current quantum technology. Until now, the longest coherence-time of a single qubit was reported as 660 s in a single 171Yb+ ion-qubit through the technical developments of sympathetic cooling and dynamical decoupling pulses, which addressed heating-induced detection inefficiency and magnetic field fluctuations. However, it was not clear what prohibited further enhancement. Here, we identify and suppress the limiting factors, which are the remaining magnetic-field fluctuations, frequency instability and leakage of the microwave reference-oscillator. Then, we observe the coherence time of around 5500 s for the 171Yb+ ion-qubit, which is the time constant of the exponential decay fit from the measurements up to 960 s. We also systematically study the decoherence process of the quantum memory by using quantum process tomography and analyze the results by applying recently developed resource theories of quantum memory and coherence. Our experimental demonstration will accelerate practical applications of quantum memories for various quantum information processing, especially in the noisy-intermediate-scale quantum regime.
Quantifying how distinguishable two stochastic processes are is at the heart of many fields, such as machine learning and quantitative finance. While several measures have been proposed for this task, none have universal applicability and ease of use. In this article, we suggest a set of requirements for a well-behaved measure of process distinguishability. Moreover, we propose a family of measures, called divergence rates, that satisfy all of these requirements. Focusing on a particular member of this family-the coemission divergence rate-we show that it can be computed efficiently, behaves qualitatively similar to other commonly used measures in their regimes of applicability, and remains well behaved in scenarios where other measures break down.
Effective and efficient forecasting relies on identification of the relevant information contained in past observations-the predictive features-and isolating it from the rest. When the future of a process bears a strong dependence on its behavior far into the past, there are many such features to store, necessitating complex models with extensive memories. Here, we highlight a family of stochastic processes whose minimal classical models must devote unboundedly many bits to tracking the past. For this family, we identify quantum models of equal accuracy that can store all relevant information within a single two-dimensional quantum system (qubit). This represents the ultimate limit of quantum compression and highlights an immense practical advantage of quantum technologies for the forecasting and simulation of complex systems.
Deterministic quantum computation with one qubit (DQC1) is iconic in highlighting that exponential quantum speedup may be achieved with negligible entanglement. Its discovery catalyzed a heated study of general quantum resources, and various conjectures regarding their role in DQC1's performance advantage. Coherence and discord are prominent candidates, respectively, characterizing nonclassicality within localized and correlated systems. Here we realize DQC1 within a superconducting system, engineered such that the dynamics of coherence and discord can be tracked throughout its execution. We experimentally confirm that DQC1 acts as a resource converter, consuming coherence to generate discord during its operation. Our results highlight superconducting circuits as a promising platform for both realizing DQC1 and related algorithms, and experimentally characterizing resource dynamics within quantum protocols.
Modern computation relies crucially on modular architectures, breaking a complex algorithm into self-contained subroutines. A client can then call upon a remote server to implement parts of the computation independently via an application programming interface (API). Present APIs relay only classical information. Here we implement a quantum API that enables a client to estimate the absolute value of the trace of a server-provided unitary operation [Formula: see text]. We demonstrate that the algorithm functions correctly irrespective of what unitary [Formula: see text] the server implements or how the server specifically realizes [Formula: see text]. Our experiment involves pioneering techniques to coherently swap qubits encoded within the motional states of a trapped [Formula: see text] ion, controlled on its hyperfine state. This constitutes the first demonstration of modular computation in the quantum regime, providing a step towards scalable, parallelization of quantum computation.
Simulations of stochastic processes play an important role in the quantitative sciences, enabling the characterisation of complex systems. Recent work has established a quantum advantage in stochastic simulation, leading to quantum devices that execute a simulation using less memory than possible by classical means. To realise this advantage it is essential that the memory register remains coherent, and coherently interacts with the processor, allowing the simulator to operate over many time steps. Here we report a multi-time-step experimental simulation of a stochastic process using less memory than the classical limit. A key feature of the photonic quantum information processor is that it creates a quantum superposition of all possible future trajectories that the system can evolve into. This superposition allows us to introduce, and demonstrate, the idea of comparing statistical futures of two classical processes via quantum interference. We demonstrate interference of two 16-dimensional quantum states, representing statistical futures of our process, with a visibility of 0.96 ± 0.02.
The information-carrying capacity of a memory is known to be a thermodynamic resource facilitating the conversion of heat to work. Szilard's engine explicates this connection through a toy example involving an energy-degenerate two-state memory. We devise a formalism to quantify the thermodynamic value of memory in general quantum systems with nontrivial energy landscapes. Calling this the thermal information capacity, we show that it converges to the nonequilibrium Helmholtz free energy in the thermodynamic limit. We compute the capacity exactly for a general two-state (qubit) memory away from the thermodynamic limit, and find it to be distinct from known free energies. We outline an explicit memory-bath coupling that can approximate the optimal qubit thermal information capacity arbitrarily well.
Quantum resource theories seek to quantify sources of nonclassicality that bestow quantum technologies their operational advantage. Chief among these are studies of quantum correlations and quantum coherence. The former isolates nonclassicality in the correlations between systems, and the latter captures nonclassicality of quantum superpositions within a single physical system. Here, we present a scheme that cyclically interconverts between these resources without loss. The first stage converts coherence present in an input system into correlations with an ancilla. The second stage harnesses these correlations to restore coherence on the input system by measurement of the ancilla. We experimentally demonstrate this interconversion process using linear optics. Our experiment highlights the connection between nonclassicality of correlations and nonclassicality within local quantum systems and provides potential flexibilities in exploiting one resource to perform tasks normally associated with the other.
Stochastic processes are as ubiquitous throughout the quantitative sciences as they are notorious for being difficult to simulate and predict. In this Letter, we propose a unitary quantum simulator for discrete-time stochastic processes which requires less internal memory than any classical analogue throughout the simulation. The simulator's internal memory requirements equal those of the best previous quantum models. However, in contrast to previous models, it only requires a (small) finite-dimensional Hilbert space. Moreover, since the simulator operates unitarily throughout, it avoids any unnecessary information loss. We provide a stepwise construction for simulators for a large class of stochastic processes hence directly opening the possibility for experimental implementations with current platforms for quantum computation. The results are illustrated for an example process.
Simulating quantum contextuality with classical systems requires memory. A fundamental yet open question is what is the minimum memory needed and, therefore, the precise sense in which quantum systems outperform classical ones. Here, we make rigorous the notion of classically simulating quantum state-independent contextuality (QSIC) in the case of a single quantum system submitted to an infinite sequence of measurements randomly chosen from a finite QSIC set. We obtain the minimum memory needed to simulate arbitrary QSIC sets via classical systems under the assumption that the simulation should not contain any oracular information. In particular, we show that, while classically simulating two qubits tested with the Peres-Mermin set requires log_{2}24≈4.585 bits, simulating a single qutrit tested with the Yu-Oh set requires, at least, 5.740 bits.
The NOT gate that flips a classical bit is ubiquitous in classical information processing. However its quantum analogue, the universal NOT (UNOT) gate that flips a quantum spin in any alignment into its antipodal counterpart is strictly forbidden. Here we explore the connection between this discrepancy and how UNOT gates affect classical and quantum correlations. We show that while a UNOT gate always preserves classical correlations between two spins, it can non-locally increase or decrease their shared discord in ways that allow violation of the data processing inequality. We experimentally illustrate this using a multi-level trapped 171Yb+ ion that allows simulation of anti-unitary operations.
In stochastic modeling, there has been a significant effort towards finding predictive models that predict a stochastic process' future using minimal information from its past. Meanwhile, in condensed matter physics, matrix product states (MPS) are known as a particularly efficient representation of 1D spin chains. In this Letter, we associate each stochastic process with a suitable quantum state of a spin chain. We then show that the optimal predictive model for the process leads directly to an MPS representation of the associated quantum state. Conversely, MPS methods offer a systematic construction of the best known quantum predictive models. This connection allows an improved method for computing the quantum memory needed for generating optimal predictions. We prove that this memory coincides with the entanglement of the associated spin chain across the past-future bipartition.
Many organisms capitalize on their ability to predict the environment to maximize available free energy and reinvest this energy to create new complex structures. This functionality relies on the manipulation of patterns-temporally ordered sequences of data. Here, we propose a framework to describe pattern manipulators-devices that convert thermodynamic work to patterns or vice versa-and use them to build a "pattern engine" that facilitates a thermodynamic cycle of pattern creation and consumption. We show that the least heat dissipation is achieved by the provably simplest devices, the ones that exhibit desired operational behavior while maintaining the least internal memory. We derive the ultimate limits of this heat dissipation and show that it is generally nonzero and connected with the pattern's intrinsic crypticity-a complexity theoretic quantity that captures the puzzling difference between the amount of information the pattern's past behavior reveals about its future and the amount one needs to communicate about this past to optimally predict the future.
