© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:quant-ph/0504160 · Quantum Information and Computation

On independent permutation separability criteria

Lieven Clarisse, Paweł Wocjan

Published May 1, 2006• 20 citations

Abstract

Recently, P.\ Wocjan and M.\ Horodecki [Open Syst.\ Inf.\ Dyn.\ 12, 331 (2005)] gave a characterization of combinatorially independent permutation separability criteria. Combinatorial independence is a necessary condition for permutations to yield truly independent criteria meaning that no criterion is strictly stronger that any other. In this paper we observe that some of these criteria are still dependent and analyze why these dependencies occur. To remove them we introduce an improved necessary condition and give a complete classification of the remaining permutations. We conjecture that the remaining class of criteria only contains truly independent permutation separability criteria. Our conjecture is based on the proof that for two, three and four parties all these criteria are truly independent and on numerical verification of their independence for up to 8 parties. It was commonly believed that for three parties there were 9 independent criteria, here we prove that there are exactly 6 independent criteria for three parties and 22 for four parties.

DOI: 10.26421/qic6.3-4

Related papers

On independent permutation separability criteria

ClarisseLieven, WocjanPaweł

Recently, P. Wocjan and M. Horodecki [Open Syst. Inf. Dyn. 12, 331 (2005)] gave a characterizationof combinatorially independent permutation separability criteria. Combinatorialindependence is a ne...

Quantum Information and Computation•May 1, 2006•0 citations

Characterization of Combinatorially Independent Permutation Separability Criteria

Paweł Wocjan, Michał Horodecki

The so-called permutation separability criteria are simple operational conditions that are necessary for separability of mixed states of multipartite systems: (1) permute the indices of the density matrix and (2) check if the trace norm of at least one of the resulting operators is greater than one. If it is greater than one then the state is necessarily entangled. A shortcoming of the permutation separability criteria is that many permutations give rise to equivalent separability criteria. Therefore, we introduce a necessary condition for two permutations to yield independent criteria called combinatorial independence. This condition basically means that the map corresponding to one permutation cannot be obtained by concatenating the map corresponding to the second permutation with a norm-preserving map. We characterize completely combinatorially independent criteria, and determine simple permutations that represent all independent criteria. The representatives can be visualized by means of a simple graphical notation. They are composed of three basic operations: partial transpose, and two types of so-called reshufflings. In particular, for a four-partite system all criteria except one are composed of partial transpose and only one type of reshuffling; the exceptional one requires the second type of reshuffling. Furthermore, we show how to obtain efficiently a simple representative for every permutation. This method allows to check easily if two permutations are combinatorially equivalent or not.

arXiv:quant-ph/0503129•Open Systems & Information Dynamics•Nov 11, 2005•48 citations

A combinatorial criterion for k-separability of multipartite Dicke states

Zhihua Chen, Zhihao Ma, Ting Gao +1 more

We derive a combinatorial criterion for detecting k-separability of N-partite Dicke states. The criterion is efficiently computable and implementable without full state tomography. We give examples in which the criterion succeeds, where known criteria fail.

arXiv:1511.00103•Oct 31, 2015•0 citations

Separability of Mixed Quantum States: Linear Contractions and Permutation Criteria

Michał Horodecki, Paweł Horodecki, Ryszard Horodecki

Recently, a powerful separability criterion was introduced by O. Rudolf in [5] and by K. Chen et al. in [6] — basing on realignment of elements of density matrix. Composing the main idea behind the above criterion and the necessary and sufficient condition in terms of positive maps, we provide a characterization of separable states by means of linear contractions. The latter need not be positive maps. We extend the idea to multipartite systems, and find that, somewhat suprisingly, partial realigment (unlike partial transposition) can detect genuinely tri-parite entanglement. We generalize it by introducing a family of so called permutation separability criteria for multipartite states. Namely, any permutation of indices of density matrix written in product basis leads to a separability criterion. Partial transpose and realignment criterion are special cases of permutation criteria.

Open Systems & Information Dynamics•Mar 1, 2006•139 citations

Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version).

Daniel Kraschewski, Jörn Müller‐Quade

In this paper we present simple but comprehensive combinatorial criteria for completeness of finite deterministic 2-party functions with respect to information-theoretic security. We give a general protocol construction for efficient and statistically secure reduction of oblivious transfer to any finite deterministic 2-party function that fulfills our criteria. For the resulting protocols we prove universal composability. Our results are tight in the sense that our criteria still are necessary for any finite deterministic 2-party function to allow for implementation of oblivious transfer with statistical privacy and correctness. We unify and generalize results of Joe Kilian (1991, 2000) in two ways. Firstly, we show that his completeness criteria also hold in the UC framework. Secondly, what is our main contribution, our criteria also cover a wide class of primitives that are not subject of previous criteria. We show that there are non-trivial examples of finite deterministic 2-party functions that are neither symmetric nor asymmetric and therefore have not been covered by existing completeness criteria so far. As a corollary of our work, every finite deterministic 2-party function is either complete or can be considered equivalent to a non-complete symmetric 2-party function—this assertion holds true with respect to active adversaries as well as passive adversaries. Thereby known results on non-complete symmetric 2-party functions are strengthened.

•Jan 1, 2010•2 citations

Criterion for k-separability in mixed multipartite systems

Gabriel, Andreas, Beatrix C. Hiesmayr, Marcus Huber

Using a recently introduced framework, we derive criteria for quantum k-separability, which are very easily computed. In the case k = 2, our criteria are equally strong to the best methods known so far, while in all other cases there are currently no comparable criteria known. We also show how the criteria can be implemented experimentally.

arXiv:1002.2953•Feb 15, 2010•38 citations

Recently, P.\ Wocjan and M.\ Horodecki [Open Syst.\ Inf.\ Dyn.\ 12, 331 (2005)] gave a characterization of combinatorially independent permutation separability criteria. Combinatorial independence is a necessary condition for permutations to yield truly independent criteria meaning that no criterion is strictly stronger that any other. In this paper we observe that some of these criteria are still dependent and analyze why these dependencies occur. To remove them we introduce an improved necessary condition and give a complete classification of the remaining permutations. We conjecture that the remaining class of criteria only contains truly independent permutation separability criteria. Our conjecture is based on the proof that for two, three and four parties all these criteria are truly independent and on numerical verification of their independence for up to 8 parties. It was commonly believed that for three parties there were 9 independent criteria, here we prove that there are exactly 6 independent criteria for three parties and 22 for four parties.

The so-called permutation separability criteria are simple operational conditions that are necessary for separability of mixed states of multipartite systems: (1) permute the indices of the density matrix and (2) check if the trace norm of at least one of the resulting operators is greater than one. If it is greater than one then the state is necessarily entangled. A shortcoming of the permutation separability criteria is that many permutations give rise to equivalent separability criteria. Therefore, we introduce a necessary condition for two permutations to yield independent criteria called combinatorial independence. This condition basically means that the map corresponding to one permutation cannot be obtained by concatenating the map corresponding to the second permutation with a norm-preserving map. We characterize completely combinatorially independent criteria, and determine simple permutations that represent all independent criteria. The representatives can be visualized by means of a simple graphical notation. They are composed of three basic operations: partial transpose, and two types of so-called reshufflings. In particular, for a four-partite system all criteria except one are composed of partial transpose and only one type of reshuffling; the exceptional one requires the second type of reshuffling. Furthermore, we show how to obtain efficiently a simple representative for every permutation. This method allows to check easily if two permutations are combinatorially equivalent or not.

Recently, a powerful separability criterion was introduced by O. Rudolf in [5] and by K. Chen et al. in [6] — basing on realignment of elements of density matrix. Composing the main idea behind the above criterion and the necessary and sufficient condition in terms of positive maps, we provide a characterization of separable states by means of linear contractions. The latter need not be positive maps. We extend the idea to multipartite systems, and find that, somewhat suprisingly, partial realigment (unlike partial transposition) can detect genuinely tri-parite entanglement. We generalize it by introducing a family of so called permutation separability criteria for multipartite states. Namely, any permutation of indices of density matrix written in product basis leads to a separability criterion. Partial transpose and realignment criterion are special cases of permutation criteria.

In this paper we present simple but comprehensive combinatorial criteria for completeness of finite deterministic 2-party functions with respect to information-theoretic security. We give a general protocol construction for efficient and statistically secure reduction of oblivious transfer to any finite deterministic 2-party function that fulfills our criteria. For the resulting protocols we prove universal composability. Our results are tight in the sense that our criteria still are necessary for any finite deterministic 2-party function to allow for implementation of oblivious transfer with statistical privacy and correctness. We unify and generalize results of Joe Kilian (1991, 2000) in two ways. Firstly, we show that his completeness criteria also hold in the UC framework. Secondly, what is our main contribution, our criteria also cover a wide class of primitives that are not subject of previous criteria. We show that there are non-trivial examples of finite deterministic 2-party functions that are neither symmetric nor asymmetric and therefore have not been covered by existing completeness criteria so far. As a corollary of our work, every finite deterministic 2-party function is either complete or can be considered equivalent to a non-complete symmetric 2-party function—this assertion holds true with respect to active adversaries as well as passive adversaries. Thereby known results on non-complete symmetric 2-party functions are strengthened.