Jessica Bavaresco

Purifications are often used as a convenient mathematical representation of quantum states and channels when constructing protocols for quantum information processing tasks. Although powerful, this perspective can suggest that the purifying degrees of freedom and its correlations with an environment are just a useful change of representation. Here we show how they can instead be exploited as an operational resource in sequential quantum channel discrimination, even when the environmental reference frame is unknown or averaged. In contrast to state discrimination and parallel channel discrimination, for which bare and averaged-purification access are equivalent, sequential access to purified resources exhibits a strict advantage in probability of success. We prove this strict separation via two main results. In the first, we construct a pair of families of qubit-qubit channels with a strict separation in the two-query case, and in the second, we show an example of a pair of qubit-qubit channels whose purifications are perfectly distinguishable with three queries while no finite number of bare (non-purified) queries suffices for perfect discrimination. These separations imply an advantage of sequential over parallel strategies for channel discrimination and establish the impossibility of converting bare channel queries into averaged-purification queries via transformations that allow arbitrary interventions between queries, strengthening previous results.

In recent years, the study of Bell nonlocality has been generalized to quantum networks, where multiple independent sources distribute physical systems to distant parties who perform local measurements. In this context, a central open question is to identify the minimal network configuration in which quantum resources produce Bell nonlocal correlations. Here we address this question and show that quantum nonlocality is possible in the triangle network where the parties have no input choices and produce only binary-valued outcomes. To do so, we start by identifying a family of target distributions and proving their nonlocality. Next, we construct an explicit quantum model that reproduces the target distributions to machine precision. For this, we develop an efficient method for parameterizing quantum distributions in networks, inspired by the formalism of higher-order quantum operations. When considering the number of observed variables and their cardinality, this constitutes the smallest scenario possible that supports quantum nonlocality in networks. Moreover, by analyzing the explicit quantum model, we obtain new insights into how nonlocal distributions can be generated in quantum networks.

The correlations of certain entangled states can be perfectly simulated classically via a local model. Hence such states are termed Bell local, as they cannot lead to Bell inequality violation. Here, we show that Bell nonlocality can nevertheless be activated for certain Bell-local states via a catalytic process. Specifically, we present a protocol where a Bell-local state, combined with a catalyst, is transformed into a Bell-nonlocal state while the catalyst is returned exactly in its initial state. Importantly, this transformation is deterministic and based only on local operations. Moreover, this procedure is possible even when the state of the catalyst is itself Bell local, demonstrating a new form of superactivation of Bell nonlocality, as well as an interesting form of quantum catalysis. On the technical level, our main tool is a formal connection between catalytic activation and many-copy activation.

Higher-order transformations acting on input quantum channels in an indefinite causal order, such as the quantum switch, cannot be described by quantum circuits using the same number of calls to the input channels. A natural question is whether they can be simulated, i.e., whether their action can be exactly and deterministically reproduced by a quantum circuit with more calls to the input channels. Here, we prove that the quantum switch acting on two $n$-qubit channels cannot be simulated by any quantum circuit using $k$ calls to one channel and one to the other, if $k<2^n$. This establishes an exponential separation in quantum query complexity between processes with indefinite causal order and quantum circuits. Moreover, even with one extra call to both input channels, such a simulation remains impossible. We further demonstrate the robustness of this separation by extending the result to probabilistic and approximate simulations scenarios.

We present an instance of a task of minimum-error discrimination of two qubit-qubit quantum channels for which a sequential strategy outperforms any parallel strategy. We then establish two new classes of strategies for channel discrimination that involve indefinite causal order and show that there exists a strict hierarchy among the performance of all four strategies. Our proof technique employs a general method of computer-assisted proofs. We also provide a systematic method for finding pairs of channels that showcase this phenomenon, demonstrating that the hierarchy between the strategies is not exclusive to our main example.