Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE

Minimal sets of conditions for distinguishing among separable and entangled states of multiqubit systems

Philippe Jorrand, Mehdi Mhalla

Published Jul 23, 2003• 0 citations
Publisher

Abstract

A state ψ = α/00] + β/01] + γ/10] +δ/11] of a system of two qubits is separable if the equality among pair-wise products αδ = βγ holds. This paper generalize this form of condition for distinguishing among separable and entangled states of systems of n qubits. Given a pure state /ψN] of a quantum system composed of n qubits, where N = 2n, this paper defines minimal sets of equalities among pair-wise products of amplitudes of /ψN] for characterizing two forms of separability of /ψN]: (i) into a tensor product of n qubit states /ψ2]0 x/ψ2]1 x...x/ψ2]n-1, and (ii), into a tensor product of 2 subsystems states /ψp]x/ψQ] with P=2p and Q=2q such that p+q=n.

DOI
10.1117/12.517906

Related papers

SEPARABILITY OF PURE N-QUBIT STATES: TWO CHARACTERIZATIONS

Philippe Jorrand, Mehdi Mhalla

Given a pure state |ψN>∈ℋN of a quantum system composed of n qubits, where ℋN is the Hilbert space of dimension N=2n, this paper answers two questions: what conditions should the amplitudes in |ψN> satisfy for this state to be separable (i) into a tensor product of n qubit states |ψ2>0⊗ |ψ2>1 ⊗⋯⊗ |ψ2>n-1, and (ii), into a tensor product of two subsystems states |ψP> ⊗ |ψQ> with P=2p and Q=2q such that p+q=n? For both questions, necessary and sufficient conditions are proved, thus characterizing at the same time families of separable and entangled states of n qubit systems. A number of more refined questions about separability in n qubit systems can be studied on the basis of these results.

arXiv:quant-ph/0209125•International Journal of Foundations of Computer Science•Oct 1, 2003•10 citations

On the distinction between entangled and separable states of quantum registers

Philippe Jorrand, Mehdi Mhalla

Quantum computing operates in three stages: (i) preparation of the initial states of the n qubits of a register, (ii) step by step transformation of the state of this register by unitary operators which compose the quantum program, and (iii), measurement of all or some of the qubits of the register. The existence of quantum algorithms which are exponentially less complex than their classical counterparts for some classes of problems, stems from entangled states established by multi-qubit unitary operators within the quantum program. A register of n qubits is a quantum system composed of n quantum subsystems. The state |/spl psi/> of a quantum system composed of two quantum subsystems A and B is said to be entangled when |/spl psi/> is not reducible to a pair composed of a state |/spl psi/> of A and a state |/spl psi//sub B/> of B: such situations have no counterpart in the classical world. In quantum theory, such a pair of states is denoted by a tensor product: |/spl psi/> is entangled if it cannot be factorized into the tensor product |/spl psi//sub A/>/spl ominus/|/spl psi//sub B/>. This paper establishes conditions according to which it is possible to tell whether or not the state of a register of n qubits is entangled. The state of a single qubit is a vector /spl alpha/|0>+/spl beta/|1> of unit norm in a 2-dimensional vector space, where |0> and |1> are the two basis states and where a and are complex amplitudes. Then, if both A and B are qubits, the most general form of the state of a register composed of the 2 qubits A and B is also a vector of unit norm, but now in a 4-dimensional space: |/spl psi/>=/spl alpha/|00>+/spl beta/|01+/spl gamma/|10>+/spl sigma/|11>. It is straightforward to prove that |/spl psi/> can be factorized into |/spl psi//sub A/>/spl ominus/|/spl psi//sub B/> if and only if /spl alpha//spl delta/=/spl beta//spl gamma/. In such a case, |/spl psi/> is said to be separable, i.e. not entangled. This paper generalizes this form of condition to registers of n qubits. If |/spl psi/> is the state of a register of n qubits, two different questions about the separability of |/spl psi/> are answered: (i) is |/spl psi/> separable into a product |/spl psi//sub 1/>/spl ominus/|/spl psi//sub 2/>/spl ominus/L/spl ominus/|/spl psi//sub n/> of n single qubit states? and (ii), is |/spl psi/> separable into a product |/spl psi//sub A/>/spl ominus/|/spl psi//sub B/> of the states of two subregisters A and B, respectively containing p and q adjacent qubits with p+q=n? For both questions, necessary and sufficient conditions are given.

IEEE Conference on Nanotechnology (IEEE NANO)•Jun 25, 2003•0 citations

Entangled states

J. C. Garrison, R. Y. Chiao

A state of two distinguishable particles is “separable” if the wavefunction is a product of single-particle wavefunctions. Schrödinger introduced the term “entangled” to describe a two-particle state that is not separable. This notion is extended to all pairs of distinguishable quantum systems by using tensor products of Hilbert spaces and the Schmidt decomposition. Equivalent operational definitions are expressed in terms of correlation functions representing measurements. A state of two indistinguishable particles is kinematically separable if the product function satisfies Bose or Fermi statistics, otherwise it is kinematically entangled. Alternatively, a two-particle state is dynamically separable if the wavefunction has the minimal form required by Bose or Fermi statistics, and dynamically entangled otherwise. For photons, the role of the missing position-space wave function is played by a detection amplitude directly related to counting rates.

Oxford University Press eBooks•Jun 5, 2008•0 citations

Partial separability and entanglement criteria for multiqubit quantum states

Michael Seevinck, Jos Uffink

We explore the subtle relationships between partial separability and entanglement of subsystems in multiqubit quantum states and give experimentally accessible conditions that distinguish between various classes and levels of partial separability in a hierarchical order. These conditions take the form of bounds on the correlations of locally orthogonal observables. Violations of such inequalities give strong sufficient criteria for various forms of partial inseparability and multiqubit entanglement. The strength of these criteria is illustrated by showing that they are stronger than several other well-known entanglement criteria (the fidelity criterion, violation of Mermin-type separability inequalities, the Laskowski-\ifmmode \dot{Z}\else \.{Z}\fi{}ukowski criterion, and the D\"ur-Cirac criterion) and also by showing their great noise robustness for a variety of multiqubit states, including $N$-qubit Greenberger-Horne-Zeilinger states and Dicke states. Furthermore, for $N\ensuremath{\geqslant}3$ they can detect bound entangled states. For all these states, the required number of measurement settings for implementation of the entanglement criteria is shown to be only $N+1$. If one chooses the familiar Pauli matrices as single-qubit observables, the inequalities take the form of bounds on the antidiagonal matrix elements of a state in terms of its diagonal matrix elements.

arXiv:0710.5326•Physical Review A•Sep 2, 2008•110 citations

Entanglement beyond tensor product structure: algebraic aspects of quantum non-separability

Łukasz Derkacz, Marek Gwóźdź, Lech Jakóbczyk

An algebraic approach to quantum non-separability is applied to the case of two qubits. It is based on the partition of the algebra of observables into independent subalgebras and the tensor product structure of the Hilbert space is not exploited. Even in this simple case, such a general formulation has some advantages. Using algebraic formalism, we can explicitly show the relativity of the notion of entanglement to the observables measured in the system and characterize separable and non-separable pure states. As a universal measure of non-separability of pure states, we propose to take the so-called total correlation. This quantity depends on the state as well as on the algebraic partition. Its numerical value is given by the norm of the corresponding correlation matrix.

arXiv:1109.0818•Journal of Physics A Mathematical and Theoretical•Dec 8, 2011•12 citations

On some specific cases of quantum state in testing its separability

Paweł Ryszawa

This paper shows a simple computational scheme for determining whether a particular quantum state in a specific form is separable across two given sets of qubits. That is, given a set of qubits partitioned into two, it answers the question: does the original state have a separable form as a tensor product of some two other states, which are set up of the two given subsets of qubits?

Computer Science and Mathematical Modelling•Mar 25, 2019•0 citations
A state ψ = α/00] + β/01] + γ/10] +δ/11] of a system of two qubits is separable if the equality among pair-wise products αδ = βγ holds. This paper generalize this form of condition for distinguishing among separable and entangled states of systems of n qubits. Given a pure state /ψN] of a quantum system composed of n qubits, where N = 2n, this paper defines minimal sets of equalities among pair-wise products of amplitudes of /ψN] for characterizing two forms of separability of /ψN]: (i) into a tensor product of n qubit states /ψ2]0 x/ψ2]1 x...x/ψ2]n-1, and (ii), into a tensor product of 2 subsystems states /ψp]x/ψQ] with P=2p and Q=2q such that p+q=n.
Given a pure state |ψN>∈ℋN of a quantum system composed of n qubits, where ℋN is the Hilbert space of dimension N=2n, this paper answers two questions: what conditions should the amplitudes in |ψN> satisfy for this state to be separable (i) into a tensor product of n qubit states |ψ2>0⊗ |ψ2>1 ⊗⋯⊗ |ψ2>n-1, and (ii), into a tensor product of two subsystems states |ψP> ⊗ |ψQ> with P=2p and Q=2q such that p+q=n? For both questions, necessary and sufficient conditions are proved, thus characterizing at the same time families of separable and entangled states of n qubit systems. A number of more refined questions about separability in n qubit systems can be studied on the basis of these results.
Quantum computing operates in three stages: (i) preparation of the initial states of the n qubits of a register, (ii) step by step transformation of the state of this register by unitary operators which compose the quantum program, and (iii), measurement of all or some of the qubits of the register. The existence of quantum algorithms which are exponentially less complex than their classical counterparts for some classes of problems, stems from entangled states established by multi-qubit unitary operators within the quantum program. A register of n qubits is a quantum system composed of n quantum subsystems. The state |/spl psi/> of a quantum system composed of two quantum subsystems A and B is said to be entangled when |/spl psi/> is not reducible to a pair composed of a state |/spl psi/> of A and a state |/spl psi//sub B/> of B: such situations have no counterpart in the classical world. In quantum theory, such a pair of states is denoted by a tensor product: |/spl psi/> is entangled if it cannot be factorized into the tensor product |/spl psi//sub A/>/spl ominus/|/spl psi//sub B/>. This paper establishes conditions according to which it is possible to tell whether or not the state of a register of n qubits is entangled. The state of a single qubit is a vector /spl alpha/|0>+/spl beta/|1> of unit norm in a 2-dimensional vector space, where |0> and |1> are the two basis states and where a and are complex amplitudes. Then, if both A and B are qubits, the most general form of the state of a register composed of the 2 qubits A and B is also a vector of unit norm, but now in a 4-dimensional space: |/spl psi/>=/spl alpha/|00>+/spl beta/|01+/spl gamma/|10>+/spl sigma/|11>. It is straightforward to prove that |/spl psi/> can be factorized into |/spl psi//sub A/>/spl ominus/|/spl psi//sub B/> if and only if /spl alpha//spl delta/=/spl beta//spl gamma/. In such a case, |/spl psi/> is said to be separable, i.e. not entangled. This paper generalizes this form of condition to registers of n qubits. If |/spl psi/> is the state of a register of n qubits, two different questions about the separability of |/spl psi/> are answered: (i) is |/spl psi/> separable into a product |/spl psi//sub 1/>/spl ominus/|/spl psi//sub 2/>/spl ominus/L/spl ominus/|/spl psi//sub n/> of n single qubit states? and (ii), is |/spl psi/> separable into a product |/spl psi//sub A/>/spl ominus/|/spl psi//sub B/> of the states of two subregisters A and B, respectively containing p and q adjacent qubits with p+q=n? For both questions, necessary and sufficient conditions are given.
A state of two distinguishable particles is “separable” if the wavefunction is a product of single-particle wavefunctions. Schrödinger introduced the term “entangled” to describe a two-particle state that is not separable. This notion is extended to all pairs of distinguishable quantum systems by using tensor products of Hilbert spaces and the Schmidt decomposition. Equivalent operational definitions are expressed in terms of correlation functions representing measurements. A state of two indistinguishable particles is kinematically separable if the product function satisfies Bose or Fermi statistics, otherwise it is kinematically entangled. Alternatively, a two-particle state is dynamically separable if the wavefunction has the minimal form required by Bose or Fermi statistics, and dynamically entangled otherwise. For photons, the role of the missing position-space wave function is played by a detection amplitude directly related to counting rates.
We explore the subtle relationships between partial separability and entanglement of subsystems in multiqubit quantum states and give experimentally accessible conditions that distinguish between various classes and levels of partial separability in a hierarchical order. These conditions take the form of bounds on the correlations of locally orthogonal observables. Violations of such inequalities give strong sufficient criteria for various forms of partial inseparability and multiqubit entanglement. The strength of these criteria is illustrated by showing that they are stronger than several other well-known entanglement criteria (the fidelity criterion, violation of Mermin-type separability inequalities, the Laskowski-\ifmmode \dot{Z}\else \.{Z}\fi{}ukowski criterion, and the D\"ur-Cirac criterion) and also by showing their great noise robustness for a variety of multiqubit states, including NNN-qubit Greenberger-Horne-Zeilinger states and Dicke states. Furthermore, for $N\ensuremath{\geqslant}3$ they can detect bound entangled states. For all these states, the required number of measurement settings for implementation of the entanglement criteria is shown to be only N+1N+1N+1. If one chooses the familiar Pauli matrices as single-qubit observables, the inequalities take the form of bounds on the antidiagonal matrix elements of a state in terms of its diagonal matrix elements.
An algebraic approach to quantum non-separability is applied to the case of two qubits. It is based on the partition of the algebra of observables into independent subalgebras and the tensor product structure of the Hilbert space is not exploited. Even in this simple case, such a general formulation has some advantages. Using algebraic formalism, we can explicitly show the relativity of the notion of entanglement to the observables measured in the system and characterize separable and non-separable pure states. As a universal measure of non-separability of pure states, we propose to take the so-called total correlation. This quantity depends on the state as well as on the algebraic partition. Its numerical value is given by the norm of the corresponding correlation matrix.