Dilation of states and processes in operational-probabilistic theories

This paper provides a concise summary of the framework of operational-probabilistic theories, aimed at emphasizing the interaction between category-theoretic and probabilistic structures. Within this framework, we review an operational version of the GNS construction, expressed by the so-called purification principle, which under mild hypotheses leads to an operational version of Stinespring's theorem.Comment: In Proceedings QPL 2014, arXiv:1412.810

Confusability graphs for symmetric sets of quantum states

For a set of quantum states generated by the action of a group, we consider the graph obtained by considering two group elements adjacent whenever the corresponding states are non-orthogonal. We analyze the structure of the connected components of the graph and show two applications to the optimal estimation of an unknown group action and to the search for decoherence free subspaces of quantum channels with symmetry.Comment: 7 pages, no figures, contribution to the Proceedings of the XXIX International Colloquium on Group-Theoretical Methods in Physics, August 22-26, Chern Institute of Mathematics, Tianjin, Chin

Optimal design and quantum benchmarks for coherent state amplifiers

We establish the ultimate quantum limits to the amplification of an unknown coherent state, both in the deterministic and probabilistic case, investigating the realistic scenario where the expected photon number is finite. In addition, we provide the benchmark that experimental realizations have to surpass in order to beat all classical amplification strategies and to demonstrate genuine quantum amplification. Our result guarantees that a successful demonstration is in principle possible for every finite value of the expected photon number.Comment: 5 + 8 pages, published versio

Efficient Quantum Compression for Ensembles of Identically Prepared Mixed States

We present one-shot compression protocols that optimally encode ensembles of $N$ identically prepared mixed states into $O(\log N)$ qubits. In contrast to the case of pure-state ensembles, we find that the number of encoding qubits drops down discontinuously as soon as a nonzero error is tolerated and the spectrum of the states is known with sufficient precision. For qubit ensembles, this feature leads to a 25% saving of memory space. Our compression protocols can be implemented efficiently on a quantum computer.Comment: 5+19 pages, 2 figures. Published versio

Perfect discrimination of no-signalling channels via quantum superposition of causal structures

A no-signalling channel transforming quantum systems in Alice's and Bob's laboratories is compatible with two different causal structures: (A < B) Alice's output causally precedes Bob's input and (B< A) Bob's output causally precedes Alice's input. I show that a quantum superposition of circuits operating within these two causal structures enables the perfect discrimination between no-signalling channels that can not be perfectly distinguished by any ordinary circuit.Comment: 5 + 5 pages, published versio

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.Comment: 11 pages, 3 figure

Identification of a reversible quantum gate: assessing the resources

We assess the resources needed to identify a reversible quantum gate among a finite set of alternatives, including in our analysis both deterministic and probabilistic strategies. Among the probabilistic strategies we consider unambiguous gate discrimination, where errors are not tolerated but inconclusive outcomes are allowed, and we prove that parallel strategies are sufficient to unambiguously identify the unknown gate with minimum number of queries. This result is used to provide upper and lower bounds on the query complexity and on the minimum ancilla dimension. In addition, we introduce the notion of generalized t-designs, which includes unitary t-designs and group representations as special cases. For gates forming a generalized t-design we give an explicit expression for the maximum probability of correct gate identification and we prove that there is no gap between the performances of deterministic strategies an those of probabilistic strategies. Hence, evaluating of the query complexity of perfect deterministic discrimination is reduced to the easier problem of evaluating the query complexity of unambiguous discrimination. Finally, we consider discrimination strategies where the use of ancillas is forbidden, providing upper bounds on the number of additional queries needed to make up for the lack of entanglement with the ancillas.Comment: 24 + 8 pages, published versio