arXiv subjects

Giulio Chiribella

Publications and source records attributed to Giulio Chiribella.

At least 91 records · Page 5Linked to original sources

arXiv2021

Quantum Compression of Tensor Network States

We design quantum compression algorithms for parametric families of tensor network states. We first establish an upper bound on the amount of memory needed to store an arbitrary state from a given state family. The bound is determined by the minimum cut of a suitable flow network, and is related to the flow of information from the manifold of parameters that specify the states to the physical systems in which the states are embodied. For given network topology and given edge dimensions, our upper bound is tight when all edge dimensions are powers of the same integer. When this condition is not met, the bound is optimal up to a multiplicative factor smaller than 1.585. We then provide a compression algorithm for general state families, and show that the algorithm runs in polynomial time for matrix product states.

quant-ph↗

arXiv2021

Test one to test many: a unified approach to quantum benchmarks

Quantum benchmarks are routinely used to validate the experimental demonstration of quantum information protocols. Many relevant protocols, however, involve an infinite set of input states, of which only a finite subset can be used to test the quality of the implementation. This is a problem, because the benchmark for the finitely many states used in the test can be higher than the original benchmark calculated for infinitely many states. This situation arises in the teleportation and storage of coherent states, for which the benchmark of 50% fidelity is commonly used in experiments, although finite sets of coherent states normally lead to higher benchmarks. Here we show that the average fidelity over all coherent states can be indirectly probed with a single setup, requiring only two-mode squeezing, a 50-50 beamsplitter, and homodyne detection. Our setup enables a rigorous experimental validation of quantum teleportation, storage, amplification, attenuation, and purification of noisy coherent states. More generally, we prove that every quantum benchmark can be tested by preparing a single entangled state and measuring a single observable.

quant-ph↗

arXiv2021

Benchmark for the quantum-enhanced control of reversible dynamics

Controlling quantum systems is crucial for quantum computation and a variety of new quantum technologies. The control is typically achieved by breaking down the target dynamics into a sequence of elementary gates,whose description can be stored into the memory of a classical computer. Here we explore a different approach, initiated by Nielsen and Chuang, where the target dynamics is encoded in the state of a quantum system, regarded as a "quantum program". We show that quantum strategies based on coherent interactions between the quantum program and the target system offer an advantage over all classical strategies that measure the program and conditionally operate on the system. To certify the advantage, we provide a benchmark that guarantees the successful demonstration of quantum-enhanced programming in realistic experiments.

quant-ph↗

arXiv2021

Causality in Higher Order Process Theories

Quantum supermaps provide a framework in which higher order quantum processes can act on lower order quantum processes. In doing so, they enable the definition and analysis of new quantum protocols and causal structures. Recently, key features of quantum supermaps were captured through a general categorical framework, which led to a framework of higher order process theories (HOPT). The HOPT framework models lower and higher order transformations in a single unified theory, with its mathematical structure shown to coincide with the notion of a closed symmetric monoidal category. Here we provide an equivalent construction of the HOPT framework from four simple axioms of process-theoretic nature. We then use the HOPT framework to establish connections between foundational features such as causality, determinism and signalling, alongside exploring their interaction with the mathematical structure of *-autonomy.

quant-ph↗

arXiv2021

A Diagrammatic Approach to Information Transmission in Generalised Switches

The quantum switch is a higher-order operation that takes as an input two quantum processes and combines them in a coherent superposition of two alternative orders. Here we provide an approach to the quantum switch based on the methods of categorical quantum mechanics. Specifically, we represent the quantum switch as a sum of diagrams in the category of finite dimensional Hilbert spaces, or, equivalently, as a sum of diagrams built from Selinger's CPM construction. The sum-of-diagrams picture provides intuition for the activation of classical capacity of completely depolarising channels (CDPCs) and allows for generalisation to N-channel switches. We demonstrate the use of these partially diagrammatic methods by deriving a permutation condition for computing the output of any N-channel switch of CDPCs, we then use that condition to prove that amongst all possible terms, the interference terms associated to cyclic permutations of the N channels are the information-transmitting terms with maximum normalisation

quant-ph↗

arXiv2021

Efficient verification of continuous-variable quantum states and devices without assuming identical and independent operations

Continuous-variable quantum information, encoded into infinite-dimensional quantum systems, is a promising platform for the realization of many quantum information protocols, including quantum computation, quantum metrology, quantum cryptography, and quantum communication. To successfully demonstrate these protocols, an essential step is the certification of multimode continuous-variable quantum states and quantum devices. This problem is well studied under the assumption that multiple uses of the same device result into identical and independently distributed (i.i.d.) operations. However, in realistic scenarios, identical and independent state preparation and calls to the quantum devices cannot be generally guaranteed. Important instances include adversarial scenarios and instances of time-dependent and correlated noise. In this paper, we propose the first set of reliable protocols for verifying multimode continuous-variable entangled states and devices in these non-i.i.d scenarios. Although not fully universal, these protocols are applicable to Gaussian quantum states, non-Gaussian hypergraph states, as well as amplification, attenuation, and purification of noisy coherent states.

quant-ph↗

arXiv2021

Symmetries of quantum evolutions

A cornerstone of quantum mechanics is the characterisation of symmetries provided by Wigner's theorem. Wigner's theorem establishes that every symmetry of the quantum state space must be either a unitary transformation, or an antiunitary transformation. Here we extend Wigner's theorem from quantum states to quantum evolutions, including both the deterministic evolution associated to the dynamics of closed systems, and the stochastic evolutions associated to the outcomes of quantum measurements. We prove that every symmetry of the space of quantum evolutions can be decomposed into two state space symmetries that are either both unitary or both antiunitary. Building on this result, we show that it is impossible to extend the time reversal symmetry of unitary quantum dynamics to a symmetry of the full set of quantum evolutions. Our no-go theorem implies that any time symmetric formulation of quantum theory must either restrict the set of the allowed evolutions, or modify the operational interpretation of quantum states and processes. Here we propose a time symmetric formulation of quantum theory where the allowed quantum evolutions are restricted to a suitable set, which includes both unitary evolution and projective measurements, but excludes the deterministic preparation of pure states. The standard operational formulation of quantum theory can be retrieved from this time symmetric version by introducing an operation of conditioning on the outcomes of past experiments.

quant-ph↗

arXiv2021

Fundamental energy requirement of reversible quantum operations

Landauer's principle asserts that any computation has an unavoidable energy cost that grows proportionally to its degree of logical irreversibility. But even a logically reversible operation, when run on a physical processor that operates on different energy levels, requires energy. Here we quantify this energy requirement, providing upper and lower bounds that coincide up to a constant factor. We derive these bounds from a general quantum resource-theoretic argument, which implies that the initial resource requirement for implementing a unitary operation within an error~$ε$ grows like $1/\sqrt ε$ times the amount of resource generated by the operation. Applying these results to quantum circuits, we find that their energy requirement can, by an appropriate design, be made independent of their time complexity.

quant-ph↗

arXiv2021

Optimal universal programming of unitary gates

A universal quantum processor is a device that takes as input a (quantum) program, containing an encoding of an arbitrary unitary gate, and a (quantum) data register, on which the encoded gate is applied. While no perfect universal quantum processor can exist, approximate processors have been proposed in the past two decades. A fundamental open question is how the size of the smallest quantum program scales with the approximation error. Here we answer the question, by proving a bound on the size of the program and designing a concrete protocol that attains the bound in the asymptotic limit. Our result is based on a connection between optimal programming and the Heisenberg limit of quantum metrology, and establishes an asymptotic equivalence between the tasks of programming, learning, and estimating unitary gates.

quant-ph↗

arXiv2021

Fast tests for probing the causal structure of quantum processes

The identification of causal relations is a cornerstone of the scientific method. Traditional approaches to this task are based on classical statistics. However, such classical approaches do not apply in the quantum domain, where a broader spectrum of causal relations becomes accessible. New approaches to quantum causal inference have been developed in recent years, and promising new features have been discovered. In this paper, we review and partly expand the framework and results of Ref. [1], which demonstrated quantum speedups in the identification of various types of causal relations induced by reversible processes.

quant-ph↗

arXiv2021

Experimental Quantum Communication Enhancement by Superposing Trajectories

In quantum communication networks, wires represent well-defined trajectories along which quantum systems are transmitted. In spite of this, trajectories can be used as a quantum control to govern the order of different noisy communication channels, and such a control has been shown to enable the transmission of information even when quantum communication protocols through well-defined trajectories fail. This result has motivated further investigations on the role of the superposition of trajectories in enhancing communication, which revealed that the use of quantum control of parallel communication channels, or of channels in series with quantum-controlled operations, can also lead to communication advantages. Building upon these findings, here we experimentally and numerically compare different ways in which two trajectories through a pair of noisy channels can be superposed. We observe that, within the framework of quantum interferometry, the use of channels in series with quantum-controlled operations generally yields the largest advantages. Our results contribute to clarify the nature of these advantages in experimental quantum-optical scenarios, and showcase the benefit of an extension of the quantum communication paradigm in which both the information exchanged and the trajectory of the information carriers are quantum.

quant-ph↗

arXiv2020

Random-Receiver Quantum Communication

We introduce the task of random-receiver quantum communication, in which a sender transmits a quantum message to a receiver chosen from a list of n spatially separated parties. The choice of receiver is unknown to the sender, but is known by the n parties, who coordinate their actions by exchanging classical messages. In normal conditions, random-receiver quantum communication requires a noiseless quantum communication channel from the sender to each of the n receivers. In contrast, we show that random-receiver quantum communication can take place through entanglement-breaking channels if the order of such channels is controlled by a quantum bit that is accessible through quantum measurements. Notably, this phenomenon cannot be mimicked by allowing free quantum communication between the sender and any subset of k<n parties.

quant-ph↗

arXiv2020

General Bayesian theories and the emergence of the exclusivity principle

We address the problem of reconstructing quantum theory from the perspective of an agent who makes bets about the outcomes of possible experiments. We build a general Bayesian framework that can be used to organize the agent's beliefs and update them when new information becomes available. Our framework includes as special cases classical and quantum probability theory, as well as other forms of probabilistic reasoning that may arise in future physical theories. Building on this framework, we develop a notion of ideal experiment, which in quantum theory coincides with the notion of projective measurement. We then prove that, in every general Bayesian theory, ideal experiments must satisfy the exclusivity principle, a property of projective measurements that plays a central role in the characterization of quantum correlations. Our result suggests that the set of quantum correlations may be completely characterized in terms of Bayesian consistency conditions.

quant-ph↗

arXiv2020

Communication Cost of Quantum Processes

A common scenario in distributed computing involves a client who asks a server to perform a computation on a remote computer. An important problem is to determine the minimum amount of communication needed to specify the desired computation. Here we extend this problem to the quantum domain, analyzing the total amount of (classical and quantum) communication needed by a server in order to accurately execute a quantum process chosen by a client from a parametric family of quantum processes. We derive a general lower bound on the communication cost, establishing a relation with the precision limits of quantum metrology: if a $ν$-dimensional family of processes can be estimated with mean squared error $n^{-β}$ by using $n$ parallel queries, then the communication cost for $n$ parallel executions of a process in the family is at least $(βν/2-ε)\log n$ qubits at the leading order in $n$, for every $ε>0$. For a class of quantum processes satisfying the standard quantum limit ($β=1$), we show that the bound can be attained by transmitting an approximate classical description of the desired process. For quantum processes satisfying the Heisenberg limit ($β=2$), our bound shows that the communication cost is at least twice as the cost of communicating standard quantum limited processes with the same number of parameters.

quant-ph↗

arXiv2020

Quantum Metrology with Indefinite Causal Order

We address the study of quantum metrology enhanced by indefinite causal order, demonstrating a quadratic advantage in the estimation of the product of two average displacements in a continuous variable system. We prove that no setup where the displacements are probed in a fixed order can have root-mean-square error vanishing faster than the Heisenberg limit 1/N, where N is the number of displacements contributing to the average. In stark contrast, we show that a setup that probes the displacements in a superposition of two alternative orders yields a root-mean-square error vanishing with super-Heisenberg scaling 1/N^2. This result opens up the study of new measurement setups where quantum processes are probed in an indefinite order, and suggests enhanced tests of the canonical commutation relations, with potential applications to quantum gravity.

quant-ph↗

arXiv2020

Necessary and Sufficient Conditions on Measurements of Quantum Channels

Quantum supermaps are a higher-order generalization of quantum maps, taking quantum maps to quantum maps. It is known that any completely positive, trace non-increasing (CPTNI) map can be performed as part of a quantum measurement. By providing an explicit counterexample we show that, instead, not every quantum supermap sending a quantum channel to a CPTNI map can be realized in a measurement on quantum channels. We find that the supermaps that can be implemented in this way are exactly those transforming quantum channels into CPTNI maps even when tensored with the identity supermap. We link this result to the fact that the principle of causality fails in the theory of quantum supermaps.

quant-ph↗

arXiv2020

Resource theories of communication

A series of recent works has shown that placing communication channels in a coherent superposition of alternative configurations can boost their ability to transmit information. Instances of this phenomenon are the advantages arising from the use of communication devices in a superposition of alternative causal orders, and those arising from the transmission of information along a superposition of alternative trajectories. The relation among these advantages has been the subject of recent debate, with some authors claiming that the advantages of the superposition of orders could be reproduced, and even surpassed, by other forms of superpositions. To shed light on this debate, we develop a general framework of resource theories of communication. In this framework, the resources are communication devices, and the allowed operations are (a) the placement of communication devices between the communicating parties, and (b) the connection of communication devices with local devices in the parties' laboratories. The allowed operations are required to satisfy the minimal condition that they do not enable communication independently of the devices representing the initial resources. The resource-theoretic analysis reveals that the aforementioned criticisms on the superposition of causal orders were based on an uneven comparison between different types of quantum superpositions, exhibiting different operational features.

quant-ph↗

arXiv2020

Experimental transmission of quantum information using a superposition of causal orders

Communication in a network generally takes place through a sequence of intermediate nodes connected by communication channels. In the standard theory of communication, it is assumed that the communication network is embedded in a classical spacetime, where the relative order of different nodes is well-defined. In principle, a quantum theory of spacetime could allow the order of the intermediate points between sender and receiver to be in a coherent superposition. Here we experimentally realise a table-top simulation of this exotic possibility on a photonic system, demonstrating high-fidelity transmission of quantum information over two noisy channels arranged in a superposition of two alternative causal orders.

quant-ph↗