arXiv subjects

Cornelia Spee

Publications and source records attributed to Cornelia Spee.

17 recordsLinked to original sources

arXiv2024

Transformations in quantum networks via local operations assisted by finitely many rounds of classical communication

Recent advances have led towards first prototypes of quantum networks in which entanglement is distributed by sources producing bipartite entangled states. This raises the question of which states can be generated in quantum networks based on bipartite sources using local operations and classical communication. In this work, we study state transformations under finite rounds of local operations and classical communication (LOCC) in networks based on maximally entangled two-qubit states. We first derive the symmetries for arbitrary network structures, as these determine which transformations are possible. Then, we show that contrary to tree graphs, for which it has already been shown that any state within the same entanglement class can be reached, there exist states which can be reached probabilistically but not deterministically if the network contains a cycle. Furthermore, we provide a systematic way to determine states which are not reachable in networks consisting of a cycle. Moreover, we provide a complete characterization of the states which can be reached in a cycle network with a protocol where each party measures only once, and each step of the protocol results in a deterministic transformation. Finally, we present an example which cannot be reached with such a simple protocol, and constitutes, up to our knowledge, the first example of a LOCC transformation among fully entangled states requiring three rounds of classical communication.

quant-ph↗

arXiv2024

Identifying families of multipartite states with non-trivial local entanglement transformations

The study of state transformations by spatially separated parties with local operations assisted by classical communication (LOCC) plays a crucial role in entanglement theory and its applications in quantum information processing. Transformations of this type among pure bipartite states were characterized long ago and have a revealing theoretical structure. However, it turns out that generic fully entangled pure multipartite states cannot be obtained from nor transformed to any inequivalent fully entangled state under LOCC. States with this property are referred to as isolated. Nevertheless, the above result does not forbid the existence of particular SLOCC classes that are free of isolation, and therefore, display a rich structure regarding LOCC convertibility. In fact, it is known that the celebrated $n$-qubit GHZ and W states give particular examples of such classes and in this work, we investigate this question in general. One of our main results is to show that the SLOCC class of the 3-qutrit totally antisymmetric state is isolation-free as well. Actually, all states in this class can be converted to inequivalent states by LOCC protocols with just one round of classical communication (as in the GHZ and W cases). Thus, we consider next whether there are other classes with this property and we find a large set of negative answers. Indeed, we prove weak isolation (i.e., states that cannot be obtained with finite-round LOCC nor transformed by one-round LOCC) for very general classes, including all SLOCC families with compact stabilizers and many with non-compact stabilizers, such as the classes corresponding to the $n$-qunit totally antisymmetric states for $n\geq4$. Finally, given the pleasant feature found in the family corresponding to the 3-qutrit totally antisymmetric state, we explore in more detail the structure induced by LOCC and the entanglement properties within this class.

quant-ph↗

arXiv2023

State transformations within entanglement classes containing permutation-symmetric states

The study of state transformations under local operations and classical communication (LOCC) plays a crucial role in entanglement theory. While this has been long ago characterized for pure bipartite states, the situation is drastically different for systems of more parties: generic pure qudit states cannot be obtained from nor transformed to any state (i.e., they are isolated), which contains a different amount of entanglement. We consider here the question of LOCC convertibility for permutation-symmetric pure states of an arbitrary number of parties and local dimension, a class of clear interest both for physical and mathematical reasons and for which the aforementioned result does not apply given that it is a zero-measure subset in the state space. While it turns out that generic $n$-qubit symmetric states are also isolated, we consider particular families for which we can determine to be, on the contrary, endowed with a rich local stabilizer, a necessary requirement for LOCC convertibility to be possible. This allows us to identify classes in which LOCC transformations among permutation-symmetric states are possible. Notwithstanding, we provide several results that indicate severe obstructions to LOCC convertibility in general even within these highly symmetrical classes. In the course of the study of LOCC transformations, we also characterize the local symmetries of symmetric states.

quant-ph↗

arXiv2023

Approximate and ensemble local entanglement transformations for multipartite states

Understanding multipartite entanglement is a key goal in quantum information. Entanglement in pure states can be characterised by considering transformations under Local Operations assisted by Classical Communication (LOCC). However, it has been shown that, for $n\ge5$ parties, multipartite pure states are generically isolated, i.e., they can neither be reached nor transformed under LOCC. Nonetheless, in any real lab, one never deterministically transforms a pure initial state exactly to a pure target state. Instead, one transforms a mixed state near the initial state to an ensemble that is on average close to the target state. This motivates studying approximate LOCC transformations. After reviewing in detail the known results in the bipartite case, we present the gaps that remain open in the multipartite case. While the analysis of the multipartite setting is much more technically involved due to the existence of different SLOCC classes, certain features simplify in the approximate setting. In particular, we show that it is sufficient to consider pure initial states, that it is sufficient to consider LOCC protocols with finitely-many rounds of communication and that approximate transformations can be approximated by ensemble transformations within an SLOCC class. Then, we formally define a hierarchy of different forms of approximate transformations that are relevant from a physical point of view. Whereas this hierarchy collapses in the bipartite case, we show that this is not the case for the multipartite setting, which is fundamentally richer. To wit, we show that optimal multipartite approximate transformations are not generally deterministic, that ensemble transformations within an SLOCC class can achieve a higher fidelity than deterministic transformations within an SLOCC class, and that there are approximate transformations with no deterministic transformations nearby.

quant-ph↗

arXiv2022

Structure of dimension-bounded temporal correlations

We analyze the structure of the space of temporal correlations generated by quantum systems. We show that the temporal correlation space under dimension constraints can be nonconvex. For the general case, we provide the necessary and sufficient dimension of a quantum system needed to generate a convex correlation space for a given scenario. We further prove that this dimension coincides with the dimension necessary to generate any point in the temporal correlation polytope. As an application of our results, we derive nonlinear inequalities to witness the nonconvexity for qubits and qutrits in the simplest scenario, and present an algorithm which can help to find the minimum for a certain type of nonlinear expressions under dimension constraints.

quant-ph↗

arXiv2021

Signaling between time steps does not allow for nonlocality beyond hidden nonlocality

Hidden nonlocality is the phenomenon that entangled states can be local in the standard Bell scenario but display nonlocality after local filtering. However, there exist entangled states for which all measurement statistics can be described via a local hidden variable model even after local filtering. In this work we consider the scenario that measurement outcomes and settings of Alice can influence measurements of Bob in subsequent time steps (and vice versa), however, there is no signaling among them for measurements at the same time step. We show that in this scenario states that only display local statistics after local filtering remain local even when considering the complete statistics of arbitrary sequences and therefore no advantage can be gained by performing longer sequences in this scenario. We first determine the extreme points of the polytope defined by the no-signaling conditions within the same time step and the arrow-of-time constraints. Based on these results we introduce a notion of locality and provide a complete representation of the corresponding local polytope in terms of inequalities in the simplest scenario. These results imply that in the scenario considered here there is no nonlocality beyond hidden nonlocality. We further propose a device-dependent Schmidt number witness and we compare our finding to known local models in the sequential scenario.

quant-ph↗

arXiv2021

Genuine Multipartite Entanglement in Time

While spatial quantum correlations have been studied in great detail, much less is known about the genuine quantum correlations that can be exhibited by temporal processes. Employing the quantum comb formalism, processes in time can be mapped onto quantum states, with the crucial difference that temporal correlations have to satisfy causal ordering, while their spatial counterpart is not constrained in the same way. Here, we exploit this equivalence and use the tools of multipartite entanglement theory to provide a comprehensive picture of the structure of correlations that (causally ordered) temporal quantum processes can display. First, focusing on the case of a process that is probed at two points in time -- which can equivalently be described by a tripartite quantum state -- we provide necessary as well as sufficient conditions for the presence of bipartite entanglement in different splittings. Next, we connect these scenarios to the previously studied concepts of quantum memory, entanglement breaking superchannels, and quantum steering, thus providing both a physical interpretation for entanglement in temporal quantum processes, and a determination of the resources required for its creation. Additionally, we construct explicit examples of W-type and GHZ-type genuinely multipartite entangled two-time processes and prove that genuine multipartite entanglement in temporal processes can be an emergent phenomenon. Finally, we show that genuinely entangled processes across multiple times exist for any number of probing times.

quant-ph↗

arXiv2020

Simulating extremal temporal correlations

The correlations arising from sequential measurements on a single quantum system form a polytope. This is defined by the arrow-of-time (AoT) constraints, meaning that future choices of measurement settings cannot influence past outcomes. We discuss the resources needed to simulate the extreme points of the AoT polytope, where resources are quantified in terms of the minimal dimension, or "internal memory" of the physical system. First, we analyze the equivalence classes of the extreme points under symmetries. Second, we characterize the minimal dimension necessary to obtain a given extreme point of the AoT polytope, including a lower scaling bound in the asymptotic limit of long sequences. Finally, we present a general method to derive dimension-sensitive temporal inequalities for longer sequences, based on inequalities for shorter ones, and investigate their robustness to imperfections.

quant-ph↗

arXiv2020

Certifying the purity of quantum states with temporal correlations

Correlations obtained from sequences of measurements have been employed to distinguish among different physical theories or to witness the dimension of a system. In this work we show that they can also be used to establish semi-device independent lower bounds on the purity of the initial quantum state or even on one of the post-measurement states. For single systems this provides information on the quality of the preparation procedures of pure states or the implementation of measurements with anticipated pure post-measurement states. For joint systems one can combine our bound with results from entanglement theory to infer an upper bound on the concurrence based on the temporal correlations observed on a subsystem.

quant-ph↗

arXiv2020

Characterizing Quantum Networks: Insights from Coherence Theory

Networks based on entangled quantum systems enable interesting applications in quantum information processing and the understanding of the resulting quantum correlations is essential for advancing the technology. We show that the theory of quantum coherence provides powerful tools for analyzing this problem. For that, we demonstrate that a recently proposed approach to network correlations based on covariance matrices can be improved and analytically evaluated for the most important cases.

quant-ph↗

arXiv2020

Genuine temporal correlations can certify the quantum dimension

Temporal correlations in quantum mechanics are the origin of several non-classical phenomena, but they depend on the dimension of the underlying quantum system. This allows one to use such correlations for the certification of a minimal Hilbert space dimension. Here we provide a theoretical proposal and an experimental implementation of a device-independent dimension test, using temporal correlations observed on a single trapped $^{171}$Yb$^+$ ion. Our test goes beyond the prepare-and-measure scheme of previous approaches, demonstrating the advantage of genuine temporal correlations.

quant-ph↗

arXiv2019

Measurement outcomes that do not occur and their role in entanglement transformations

The characterization of transformations among entangled pure states via local operations assisted by classical communication (LOCC) is a crucial problem in quantum information theory for both theoretical and practical reasons. As LOCC has a highly intricate structure, sometimes the larger set of separable (SEP) maps is considered, which has a mathematically much simpler description. In the literature, mainly SEP maps consisting of invertible Kraus operators have been taken into account. In this paper we show that the consideration of those maps is not sufficient when deciding whether a state can be mapped to another via general SEP transformations. This is done by providing explicit examples of transformations among pure 3- and 5- qubits states, which are feasible via SEP maps containing singular Kraus operators, however, not possible via SEP maps containing solely regular Kraus operators. The key point that allows to construct the SEP maps is to introduce projective measurements that occur with probability zero on the input state. The fact that it is not sufficient to consider SEP maps composed out of regular Kraus operators even in the case of pure state transformations, also affects the results on LOCC transformations among pure states. However, we show that non-invertible Kraus operators do not help in state transformations under LOCC with finitely many rounds of classical communication, i.e. the necessary and sufficient condition for SEP transformations with invertible Kraus operators is still a necessary condition for convertibility under finite-round LOCC. Moreover, we show that the results on transformations via SEP that are not possible with LOCC (including infinitely many rounds of classical communication) presented in M. Hebenstreit, C. Spee, and B. Kraus, Phys. Rev. A 93, 012339 (2016) are not affected.

quant-ph↗

arXiv2019

Characterizing multipartite entanglement classes via higher-dimensional embeddings

Witness operators are a central tool to detect entanglement or to distinguish among the different entanglement classes of multiparticle systems, which can be defined using stochastic local operations and classical communication (SLOCC). We show a one-to-one correspondence between general SLOCC witnesses and a class of entanglement witnesses in an extended Hilbert space. This relation can be used to derive SLOCC witnesses from criteria for full separability of quantum states; moreover, given SLOCC witness can be viewed as entanglement witnesses. As applications of this relation we discuss the calculation of overlaps between different SLOCC classes, and the SLOCC classification in $2\times 3\times 3$-dimensional systems.

quant-ph↗

arXiv2019

Certifying quantum memories with coherence

Quantum memories are an important building block for quantum information processing. Ideally, these memories preserve the quantum properties of the input. We present general criteria for measures to evaluate the quality of quantum memories. Then, we introduce a quality measure based on coherence satisfying these criteria, which we characterize in detail for the qubit case. The measure can be estimated from sparse experimental data and may be generalized to characterize other building blocks, such as quantum gates and teleportation schemes.

quant-ph↗

arXiv2018

Structure of temporal correlations of a qubit

In quantum mechanics, spatial correlations arising from measurements at separated particles are well studied. This is not the case, however, for the temporal correlations arising from a single quantum system subjected to a sequence of generalized measurements. We first characterize the polytope of temporal quantum correlations coming from the most general measurements. We then show that if the dimension of the quantum system is bounded, only a subset of the most general correlations can be realized and identify the correlations in the simplest scenario that can not be reached by two-dimensional systems. This leads to a temporal inequality for a dimension test, and we discuss a possible implementation using nitrogen-vacancy centers in diamond.

quant-ph↗

arXiv2017

Mode-entanglement of Gaussian fermionic states

We investigate the entanglement of n-mode n-partite Gaussian fermionic states (GFS). First, we identify a reasonable definition of separability for GFS and derive a standard form for mixed states, to which any state can be mapped via Gaussian local unitaries (GLU). As the standard form is unique two GFS are equivalent under GLU if and only if their standard forms coincide. Then, we investigate the important class of local operations assisted by classical communication (LOCC). These are central in entanglement theory as they allow to partially order the entanglement contained in states. We show, however, that there are no non-trivial Gaussian LOCC (GLOCC). That is, any GLOCC transformation can be accomplished via GLUs. To still obtain insights into the various entanglement properties of n-mode n-partite GFS we investigate the richer class of Gaussian stochastic LOCC. We characterize Gaussian SLOCC classes of pure states and derive them explicitly for few-mode states. Furthermore, we consider certain fermionic LOCC and show how to identify the maximally entangled set (MES) of pure n-mode n-partite GFS, i.e., the minimal set of states having the property that any other state can be obtained from one state inside this set via fermionic LOCC. We generalize these findings also to the pure m-mode n-partite (for m>n) case.

quant-ph↗

arXiv2013

The maximally entangled set of multipartite quantum states

Entanglement is a resource in quantum information theory when state manipulation is restricted to Local Operations assisted by Classical Communication (LOCC). It is therefore of paramount importance to decide which LOCC transformations are possible and, particularly, which states are maximally useful under this restriction. While the bipartite maximally entangled state is well known (it is the only state that cannot be obtained from any other and, at the same time, it can be transformed to any other by LOCC), no such state exists in the multipartite case. In order to cope with this fact, we introduce here the notion of the Maximally Entangled Set (MES) of n-partite states. This is the set of states which are maximally useful under LOCC manipulation, i.e. any state outside of this set can be obtained via LOCC from one of the states within the set and no state in the set can be obtained from any other state via LOCC. We determine the MES for states of three and four qubits and provide a simple characterization for them. In both cases, infinitely many states are required. However, while the MES is of measure zero for 3-qubit states, almost all 4-qubit states are in the MES. This is because, in contrast to the 3-qubit case, deterministic LOCC transformations are almost never possible among fully entangled four-partite states. We determine the measure-zero subset of the MES of LOCC convertible states. This is the only relevant class of states for entanglement manipulation.

quant-ph↗