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

arXiv:quant-ph/0011017

Comment on `Decomposition of pure states of a quantum register'

Alexander Yu. Vlasov

Published Nov 3, 2000• 0 citations
arXivHTMLPDF

Abstract

I. Raptis and R. Zapatrin in the quant-ph/0010104 show possibility to express general state of $l$-qubits quantum register as sum at most $2^l-l$ product states. In the comment is suggested more simple construction with possibility of generalization for decomposition of tensor product of Hilbert spaces with arbitrary dimension $n$ (here simplicial complexes used in the article mentioned above would not be applied directly). In this case it is decomposition with $n^l-(n^2-n)l/2$ product states.

DOI
10.48550/arxiv.quant-ph/0011017

Related papers

Decomposition of pure states of a quantum register

Raptis, Ioannis, Romàn R. Zapatrin

Using the leading vector method, we show that any vector $h\in(C^2)^{\otimes l}$ can be decomposed as a sum of at most (and at least in the generic case) $2^l-l$ product vectors using local bitwise unitary transformations. The method is based on representing the vectors by chains of appropriate simplicial complex. This generalizes the Scmidt decomposition of pure states of a 2-bit register to registers of arbitrary length $l$.

arXiv:quant-ph/0010104•Oct 30, 2000•0 citations

Decomposition of a Quantum System Into Subsystems in Finite Quantum Mechanics

Vladimir V. Kornyak

Any Hilbert space with composite dimension can be factorized into a tensor product of smaller Hilbert spaces. This allows to decompose a quantum system into subsystems. We propose a simple tractable model for a constructive study of decompositions of quantum systems.

arXiv:2104.11992•Apr 24, 2021•1 citation

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

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

Quantum mereology in finite quantum mechanics

Vladimir V. Kornyak

Any Hilbert space with composite dimension can be factored into a tensor product of smaller Hilbert spaces. This allows us to decompose a quantum system into subsystems. We propose a model based on finite quantum mechanics for a constructive study of such decompositions.

Вестник Российского университета дружбы народов. Серия: Математика, информатика, физика•Nov 12, 2021•3 citations

Quantum measurements

Ole Keller

Starting from two Hilbert spaces H1 and H2 of dimension N1 and N2, respectively, one can construct a larger Hilbert space H = H1 ⊗H2, (32.1) a sort of union of the two. The space H is called the tensor product of H1 and H2. State vectors and operators of these spaces will be denoted by an index, (1) or (2). Associated with a pair of state vectors |φ(1)〉 and |χ(2)〉 belongs a state vector |φ(1)〉 ⊗ |χ(2)〉 ≡ |φ(1)〉|χ(2)〉 ≡ |φ(1)χ(2)〉 (32.2) in the combined Hilbert space. Let us choose basis sets {|un(1)〉} and {|uk(2)〉} for H1 and H2. In terms of these one can express the arbitrary vectors |φ(1)〉 and |χ(2)〉 as follows: |φ(1)〉 = ∑ n an|un(1)〉, (32.3) |χ(2)〉 = ∑ k bk|vk(2)〉. (32.4) In the Hilbert space H one may use a basis {|un(1)⊗ |vk(2)〉〉} for expansion of the tensor product in Eq. (32.2). Thus, |φ(1)〉 ⊗ |χ(2)〉 = ∑ n,k anbk|un(1)〉 ⊗ |vk(2)〉. (32.5) The components of a tensor product state vector in H hence are products, anbk, of components of the two state vectors in the Hilbert spaces H1 and H2. The most general state vector in H, |ψ〉, can in the basis {|un(1)〉 ⊗ |vk(2)〉} be expanded as follows: |ψ〉 = ∑ n,k cnk|un(1)〉 ⊗ |vk(2)〉, (32.6) where the double index nk on the expansion coefficient cnk specifies the vector axes in H. Although an arbitrary vector |ψ〉 in H cannot be written as a single vector product of two vectors in H1 and H2 [Eq. (32.5)], |ψ〉 can always be decomposed into a linear combination of tensor product vectors [Eq. (32.6)]. This result relates to the fact that the elements of an arbitrary matrix {cnk} cannot in general be given as the elements {anbk} of a dyadic product of two vectors with components {an} and {bk}. The scalar product in H of two arbitrary basis vectors, |un(1)〉 ⊗ |vk(2)〉 and |un′(1)〉 ⊗ |vk′(2)〉, is given by 〈un′(1)vk′(2)|un(1)vk(2)〉 = 〈un′(1)|un(1)〉〈vk′ (2)|vk(2)〉 = δnn′δkk′ . (32.7) of The last member of Eq. (32.7) is obtained provided each of the bases {|un(1)〉} and |vk(2)〉 is orthonormal in its respective Hilbert space. If this is the case, the basis in H, i.e., {|un〉⊗ |vk(2)〉}, is orthonormal, too.

CRC Press eBooks•May 13, 2014•0 citations
I. Raptis and R. Zapatrin in the quant-ph/0010104 show possibility to express general state of lll-qubits quantum register as sum at most 2l−l2^l-l2l−l product states. In the comment is suggested more simple construction with possibility of generalization for decomposition of tensor product of Hilbert spaces with arbitrary dimension nnn (here simplicial complexes used in the article mentioned above would not be applied directly). In this case it is decomposition with nl−(n2−n)l/2n^l-(n^2-n)l/2nl−(n2−n)l/2 product states.
Using the leading vector method, we show that any vector h∈(C2)⊗lh\in(C^2)^{\otimes l}h∈(C2)⊗l can be decomposed as a sum of at most (and at least in the generic case) 2l−l2^l-l2l−l product vectors using local bitwise unitary transformations. The method is based on representing the vectors by chains of appropriate simplicial complex. This generalizes the Scmidt decomposition of pure states of a 2-bit register to registers of arbitrary length lll.
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.
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.
Starting from two Hilbert spaces H1 and H2 of dimension N1 and N2, respectively, one can construct a larger Hilbert space H = H1 ⊗H2, (32.1) a sort of union of the two. The space H is called the tensor product of H1 and H2. State vectors and operators of these spaces will be denoted by an index, (1) or (2). Associated with a pair of state vectors |φ(1)〉 and |χ(2)〉 belongs a state vector |φ(1)〉 ⊗ |χ(2)〉 ≡ |φ(1)〉|χ(2)〉 ≡ |φ(1)χ(2)〉 (32.2) in the combined Hilbert space. Let us choose basis sets {|un(1)〉} and {|uk(2)〉} for H1 and H2. In terms of these one can express the arbitrary vectors |φ(1)〉 and |χ(2)〉 as follows: |φ(1)〉 = ∑ n an|un(1)〉, (32.3) |χ(2)〉 = ∑ k bk|vk(2)〉. (32.4) In the Hilbert space H one may use a basis {|un(1)⊗ |vk(2)〉〉} for expansion of the tensor product in Eq. (32.2). Thus, |φ(1)〉 ⊗ |χ(2)〉 = ∑ n,k anbk|un(1)〉 ⊗ |vk(2)〉. (32.5) The components of a tensor product state vector in H hence are products, anbk, of components of the two state vectors in the Hilbert spaces H1 and H2. The most general state vector in H, |ψ〉, can in the basis {|un(1)〉 ⊗ |vk(2)〉} be expanded as follows: |ψ〉 = ∑ n,k cnk|un(1)〉 ⊗ |vk(2)〉, (32.6) where the double index nk on the expansion coefficient cnk specifies the vector axes in H. Although an arbitrary vector |ψ〉 in H cannot be written as a single vector product of two vectors in H1 and H2 [Eq. (32.5)], |ψ〉 can always be decomposed into a linear combination of tensor product vectors [Eq. (32.6)]. This result relates to the fact that the elements of an arbitrary matrix {cnk} cannot in general be given as the elements {anbk} of a dyadic product of two vectors with components {an} and {bk}. The scalar product in H of two arbitrary basis vectors, |un(1)〉 ⊗ |vk(2)〉 and |un′(1)〉 ⊗ |vk′(2)〉, is given by 〈un′(1)vk′(2)|un(1)vk(2)〉 = 〈un′(1)|un(1)〉〈vk′ (2)|vk(2)〉 = δnn′δkk′ . (32.7) of The last member of Eq. (32.7) is obtained provided each of the bases {|un(1)〉} and |vk(2)〉 is orthonormal in its respective Hilbert space. If this is the case, the basis in H, i.e., {|un〉⊗ |vk(2)〉}, is orthonormal, too.