-
Approximate and ensemble local entanglement transformations for multipartite states
Authors:
David Gunn,
Martin Hebenstreit,
Cornelia Spee,
Julio I. de Vicente,
Barbara Kraus
Abstract:
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. Nonethel…
▽ More
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.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
Identifying families of multipartite states with non-trivial local entanglement transformations
Authors:
Nicky Kai Hong Li,
Cornelia Spee,
Martin Hebenstreit,
Julio I. de Vicente,
Barbara Kraus
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 February, 2024; v1 submitted 6 February, 2023;
originally announced February 2023.
-
Symmetries and local transformations of translationally invariant Matrix Product States
Authors:
Martin Hebenstreit,
David Sauerwein,
Andras Molnar,
J. Ignacio Cirac,
Barbara Kraus
Abstract:
We determine the local symmetries and local transformation properties of translationally invariant matrix product states (MPS). We focus on physical dimension $d=2$ and bond dimension $D=3$ and use the procedure introduced in D. Sauerwein et al., Phys. Rev. Lett. 123, 170504 (2019) to determine all (including non--global) symmetries of those states. We identify and classify the stochastic local tr…
▽ More
We determine the local symmetries and local transformation properties of translationally invariant matrix product states (MPS). We focus on physical dimension $d=2$ and bond dimension $D=3$ and use the procedure introduced in D. Sauerwein et al., Phys. Rev. Lett. 123, 170504 (2019) to determine all (including non--global) symmetries of those states. We identify and classify the stochastic local transformations (SLOCC) that are allowed among MPS. We scrutinize two very distinct sets of MPS and show the big diversity (also compared to the case $D=2$) occurring in both, their symmetries and the possible SLOCC transformations. These results reflect the variety of local properties of MPS, even if restricted to translationally invariant states with low bond dimension. Finally, we show that states with non-trivial local symmetries are of measure zero for $d = 2$ and $D > 3$.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
State transformations within entanglement classes containing permutation-symmetric states
Authors:
Martin Hebenstreit,
Cornelia Spee,
Nicky Kai Hong Li,
Barbara Kraus,
Julio I. de Vicente
Abstract:
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 d…
▽ More
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.
△ Less
Submitted 5 September, 2023; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Computational power of matchgates with supplementary resources
Authors:
Martin Hebenstreit,
Richard Jozsa,
Barbara Kraus,
Sergii Strelchuk
Abstract:
We study the classical simulation complexity in both the weak and strong senses, of matchgate (MG) computations supplemented with all combinations of settings involving inclusion of intermediate adaptive or nonadaptive computational basis measurements, product state or magic and general entangled state inputs, and single- or multi-line outputs. We find a striking parallel to known results for Clif…
▽ More
We study the classical simulation complexity in both the weak and strong senses, of matchgate (MG) computations supplemented with all combinations of settings involving inclusion of intermediate adaptive or nonadaptive computational basis measurements, product state or magic and general entangled state inputs, and single- or multi-line outputs. We find a striking parallel to known results for Clifford circuits, after some rebranding of resources. We also give bounds on the amount of classical simulation effort required in case of limited access intermediate measurements and entangled inputs. In further settings we show that adaptive MG circuits remain classically efficiently simulable if arbitrary two-qubit entangled input states on consecutive lines are allowed, but become quantum universal for three or more lines. And if adaptive measurements in non-computational bases are allowed, even with just computational basis inputs, we get quantum universal power again.
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
Local Transformations of Multiple Multipartite States
Authors:
Antoine Neven,
David Gunn,
Martin Hebenstreit,
Barbara Kraus
Abstract:
Understanding multipartite entanglement is vital, as it underpins a wide range of phenomena across physics. The study of transformations of states via Local Operations assisted by Classical Communication (LOCC) allows one to quantitatively analyse entanglement, as it induces a partial order in the Hilbert space. However, it has been shown that, for systems with fixed local dimensions, this order i…
▽ More
Understanding multipartite entanglement is vital, as it underpins a wide range of phenomena across physics. The study of transformations of states via Local Operations assisted by Classical Communication (LOCC) allows one to quantitatively analyse entanglement, as it induces a partial order in the Hilbert space. However, it has been shown that, for systems with fixed local dimensions, this order is generically trivial, which prevents relating multipartite states to each other with respect to any entanglement measure. In order to obtain a non-trivial partial ordering, we study a physically motivated extension of LOCC: multi-state LOCC. Here, one considers simultaneous LOCC transformations acting on a finite number of entangled pure states. We study both multipartite and bipartite multi-state transformations. In the multipartite case, we demonstrate that one can change the stochastic LOCC (SLOCC) class of the individual initial states by only applying Local Unitaries (LUs). We show that, by transferring entanglement from one state to the other, one can perform state conversions not possible in the single copy case; provide examples of multipartite entanglement catalysis; and demonstrate improved probabilistic protocols. In the bipartite case, we identify numerous non-trivial LU transformations and show that the source entanglement is not additive. These results demonstrate that multi-state LOCC has a much richer landscape than single-state LOCC.
△ Less
Submitted 9 June, 2021; v1 submitted 13 July, 2020;
originally announced July 2020.
-
A link between symmetries of critical states and the structure of SLOCC classes in multipartite systems
Authors:
Oskar Słowik,
Martin Hebenstreit,
Barbara Kraus,
Adam Sawicki
Abstract:
Central in entanglement theory is the characterization of local transformations among pure multipartite states. As a first step towards such a characterization, one needs to identify those states which can be transformed into each other via local operations with a non-vanishing probability. The classes obtained in this way are called SLOCC classes. They can be categorized into three disjoint types…
▽ More
Central in entanglement theory is the characterization of local transformations among pure multipartite states. As a first step towards such a characterization, one needs to identify those states which can be transformed into each other via local operations with a non-vanishing probability. The classes obtained in this way are called SLOCC classes. They can be categorized into three disjoint types: the null-cone, the polystable states and strictly semistable states. Whereas the former two are well characterized, not much is known about strictly semistable states. We derive a criterion for the existence of the latter. In particular, we show that there exists a strictly semistable state if and only if there exist two polystable states whose orbits have different dimensions. We illustrate the usefulness of this criterion by applying it to tripartite states where one of the systems is a qubit. Moreover, we scrutinize all SLOCC classes of these systems and derive a complete characterization of the corresponding orbit types. We present representatives of strictly semistable classes and show to which polystable state they converge via local regular operators.
△ Less
Submitted 13 July, 2020; v1 submitted 29 November, 2019;
originally announced December 2019.
-
Measurement outcomes that do not occur and their role in entanglement transformations
Authors:
Martin Hebenstreit,
Matthias Englbrecht,
Cornelia Spee,
Julio I. de Vicente,
Barbara Kraus
Abstract:
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 literat…
▽ More
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.
△ Less
Submitted 31 October, 2019;
originally announced November 2019.
-
All pure fermionic non-Gaussian states are magic states for matchgate computations
Authors:
Martin Hebenstreit,
Richard Jozsa,
Barbara Kraus,
Sergii Strelchuk,
Mithuna Yoganathan
Abstract:
Magic states were introduced in the context of Clifford circuits as a resource that elevates classically simulatable computations to quantum universal capability, while maintaining the same gate set. Here we study magic states in the context of matchgate (MG) circuits, where the notion becomes more subtle, as MGs are subject to locality constraints and also the SWAP gate is not available. Neverthe…
▽ More
Magic states were introduced in the context of Clifford circuits as a resource that elevates classically simulatable computations to quantum universal capability, while maintaining the same gate set. Here we study magic states in the context of matchgate (MG) circuits, where the notion becomes more subtle, as MGs are subject to locality constraints and also the SWAP gate is not available. Nevertheless a similar picture of gate-gadget constructions applies, and we show that every pure fermionic state which is non-Gaussian, i.e. which cannot be generated by MGs from a computational basis state, is a magic state for MG computations. This result has significance for prospective quantum computing implementation in view of the fact that MG circuit evolutions coincide with the quantum physical evolution of non-interacting fermions.
△ Less
Submitted 5 September, 2019; v1 submitted 21 May, 2019;
originally announced May 2019.
-
The Entanglement Hierarchy 2 x m x n Systems
Authors:
M. Hebenstreit,
M. Gachechiladze,
O. Gühne,
B. Kraus
Abstract:
We consider three-partite pure states in the Hilbert space $\mathbb{C}^2 \otimes \mathbb{C}^m \otimes \mathbb{C}^n$ and investigate to which states a given state can be locally transformed with a non-vanishing probability. Whenever the initial and final states are elements of the same Hilbert space, the problem can be solved via the characterization of the entanglement classes which are determined…
▽ More
We consider three-partite pure states in the Hilbert space $\mathbb{C}^2 \otimes \mathbb{C}^m \otimes \mathbb{C}^n$ and investigate to which states a given state can be locally transformed with a non-vanishing probability. Whenever the initial and final states are elements of the same Hilbert space, the problem can be solved via the characterization of the entanglement classes which are determined via stochastic operations and classical communication (SLOCC). In general, there are infinitely many SLOCC classes. However, when considering transformations from higher- to lower-dimensional Hilbert spaces, an additional hierarchy among the classes can be found. This hierarchy of SLOCC classes coarse grains SLOCC classes which can be reached from a common resource state of higher dimension. We first show that a generic set of states in $\mathbb{C}^2 \otimes \mathbb{C}^m \otimes \mathbb{C}^n$ for $n=m$ is the union of infinitely many SLOCC classes, which can be parameterized by $m-3$ parameters. However, for $n \neq m$ there exists a single SLOCC class which is generic. Using this result, we then show that there is a full-measure set of states in $\mathbb{C}^2 \otimes \mathbb{C}^m \otimes \mathbb{C}^n$ such that any state within this set can be transformed locally to a full measure set of states in any lower-dimensional Hilbert space. We also investigate resource states, which can be transformed to any state (not excluding any zero-measure set) in the smaller-dimensional Hilbert space. We explicitly derive a state in $\mathbb{C}^2 \otimes \mathbb{C}^m \otimes \mathbb{C}^{2m-2}$ which is the optimal common resource of all states in $\mathbb{C}^2 \otimes \mathbb{C}^m \otimes \mathbb{C}^m$. We also show that for any $n < 2m$ it is impossible to reach all states in $\mathbb{C}^2 \otimes \mathbb{C}^m \otimes \mathbb{C}^{\tilde{n}}$ whenever $\tilde{n}>m$.
△ Less
Submitted 3 October, 2017;
originally announced October 2017.
-
Compressed quantum computation using the IBM Quantum Experience
Authors:
M. Hebenstreit,
D. Alsina,
J. I. Latorre,
B. Kraus
Abstract:
The notion of compressed quantum computation is employed to simulate the Ising interaction of a 1D--chain consisting out of $n$ qubits using the universal IBM cloud quantum computer running on $\log(n)$ qubits. The external field parameter that controls the quantum phase transition of this model translates into particular settings of the quantum gates that generate the circuit. We measure the magn…
▽ More
The notion of compressed quantum computation is employed to simulate the Ising interaction of a 1D--chain consisting out of $n$ qubits using the universal IBM cloud quantum computer running on $\log(n)$ qubits. The external field parameter that controls the quantum phase transition of this model translates into particular settings of the quantum gates that generate the circuit. We measure the magnetization, which displays the quantum phase transition, on a two--qubit system, which simulates a four--qubit Ising chain, and show its agreement with the theoretical prediction within a certain error. We also discuss the relevant point of how to assess errors when using a cloud quantum computer. As a solution, we propose to use validating circuits, that is to run independent controlled quantum circuits of similar complexity to the circuit of interest.
△ Less
Submitted 11 January, 2017;
originally announced January 2017.
-
Subradiance and entanglement in atoms with several independent decay channels
Authors:
Martin Hebenstreit,
Barbara Kraus,
Laurin Ostermann,
Helmut Ritsch
Abstract:
Spontaneous emission of a two--level atom in free space is modified by other atoms in its vicinity leading to super- and sub-radiance. In particular, for atomic distances closer than the transition wavelength the maximally entangled antisymmetric superposition state of two individually excited atomic dipole moments possesses no total dipole moment and will not decay spontaneously at all. Such a tw…
▽ More
Spontaneous emission of a two--level atom in free space is modified by other atoms in its vicinity leading to super- and sub-radiance. In particular, for atomic distances closer than the transition wavelength the maximally entangled antisymmetric superposition state of two individually excited atomic dipole moments possesses no total dipole moment and will not decay spontaneously at all. Such a two-atom dark state does not exist, if the atoms possess alternative decay channels towards other atomic lower energy states. However, we show here that for any atomic state with $N-1$ independent spontaneous decay channels one can always find a $N$-particle highly entangled state, which completely decouples from the free radiation field and does not decay. Moreover, we show that this state is the unique state orthogonal to the subspace spanned by the lower energy states with this property. Its sub-radiant property largely survives at finite atomic distances.
△ Less
Submitted 5 January, 2017;
originally announced January 2017.
-
The MES of tripartite qutrit states and pure state separable transformations which are not possible via LOCC
Authors:
M. Hebenstreit,
C. Spee,
B. Kraus
Abstract:
Entanglement is the resource to overcome the restriction of operations to Local Operations assisted by Classical Communication (LOCC). The Maximally Entangled Set (MES) of states is the minimal set of n-partite pure states with the property that any truly n-partite entangled pure state can be obtained deterministically via LOCC from some state in this set. Hence, this set contains the most useful…
▽ More
Entanglement is the resource to overcome the restriction of operations to Local Operations assisted by Classical Communication (LOCC). The Maximally Entangled Set (MES) of states is the minimal set of n-partite pure states with the property that any truly n-partite entangled pure state can be obtained deterministically via LOCC from some state in this set. Hence, this set contains the most useful states for applications. In this work we characterize the MES for generic three qutrit states. Moreover, we analyze which generic three qutrit states are reachable (and convertible) under LOCC transformations. To this end we study reachability via separable operations (SEP), a class of operations that is strictly larger than LOCC. Interestingly, we identify a family of pure states that can be obtained deterministically via SEP but not via LOCC. To our knowledge these are the first examples of transformations among pure states that can be implemented via SEP but not via LOCC.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
