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:1207.3849 · Journal of Physics A Mathematical and Theoretical

When is a pure state of three qubits determined by its single-particle reduced density matrices?

Adam Sawicki, Michael Walter, Marek Kuś

Published Jan 21, 2013• 35 citations
arXivHTMLPDF

Abstract

Using techniques from symplectic geometry, we prove that a pure state of three qubits is up to local unitaries uniquely determined by its one-particle reduced density matrices exactly when their ordered spectra belong to the boundary of the so-called Kirwan polytope. Otherwise, the states with given reduced density matrices are parameterized, up to local unitary equivalence, by two real variables. Given inevitable experimental imprecision, this means that already for three qubits a pure quantum state can never be reconstructed from single-particle tomography. We moreover show that the knowledge of the reduced density matrices is always sufficient if one is given the additional promise that the quantum state is not convertible to the Greenberger–Horne–Zeilinger state by stochastic local operations and classical communication, and discuss generalizations of our results to an arbitrary number of qubits.

DOI
10.1088/1751-8113/46/5/055304

Related papers

Only n -Qubit Greenberger-Horne-Zeilinger States Are Undetermined by Their Reduced Density Matrices

Scott N. Walck, David W. Lyons

The generalized n-qubit Greenberger-Horne-Zeilinger (GHZ) states and their local unitary equivalents are the only states of n qubits that are not uniquely determined among pure states by their reduced density matrices of n-1 qubits. Thus, among pure states, the generalized GHZ states are the only ones containing information at the n-party level. We point out a connection between local unitary stabilizer subgroups and the property of being determined by reduced density matrices.

arXiv:0707.4428•Physical Review Letters•Feb 4, 2008•37 citations

On the Symplectic Reduced Space of Three-Qubit Pure States

Saeid Molladavoudi

Given a specific spectra of the single-particle reduced density matrices of three qubits, the singular symplectic reduction method is applied to the projective Hilbert space of tripartite pure states, under the local unitary group action. The symplectic structure on the principal stratum of the symplectic quotient is obtained. A criterion from which the elements of the local normal model of the principal stratum can be constructed up to an equivalence relation and also the components of the reduced Hamiltonian dynamics on it are investigated. It is discussed that other lower dimensional strata are isolated points and so they are the fixed points of every reduced Hamiltonian flow, i.e. relative equilibria on the original manifold.

arXiv:1211.1168•Nov 6, 2012•3 citations

Pure tripartite entanglement types based on spectra of reduced density matrices

Saeid Molladavoudi, Hishamuddin B Zainuddin, Chan Kar Tim

Given a specific ordered spectra of (shifted) one-qubit reduced density matrices, we discuss that the pure tripartite entanglement for a system consisting of three qubits is determined by only two local unitary invariant polynomials.

Journal of Physics Conference Series•Nov 19, 2014•0 citations

How many invariant polynomials are needed to decide local unitary equivalence of qubit states?

Tomasz Maciążek, Michał Oszmaniec, Adam Sawicki

Given L-qubit states with the fixed spectra of reduced one-qubit density matrices, we find a formula for the minimal number of invariant polynomials needed for solving local unitary (LU) equivalence problem, that is, problem of deciding if two states can be connected by local unitary operations. Interestingly, this number is not the same for every collection of the spectra. Some spectra require less polynomials to solve LU equivalence problem than others. The result is obtained using geometric methods, i.e., by calculating the dimensions of reduced spaces, stemming from the symplectic reduction procedure.

arXiv:1305.3894•Journal of Mathematical Physics•Sep 1, 2013•26 citations

On the one-particle reduced density matrices of a pure three-qutrit quantum state

Atsushi Higuchi

We present a necessary and sufficient condition for three qutrit density matrices to be the one-particle reduced density matrices of a pure three-qutrit quantum state. The condition consists of seven classes of inequalities satisfied by the eigenvalues of these matrices. One of them is a generalization of a known inequality for the qubit case. Some of these inequalities are proved algebraically whereas the proof of the others uses the fact that a continuous function of the state must have a minimum. Construction of states satisfying these inequalities relies on a representation of the convex set of the allowed set of eigenvalues in terms of corner points. We also present a result for a more general quantum system concerning the nature of the boundary surface of the set of the allowed set of eigenvalues.

arXiv:quant-ph/0309186•Sep 25, 2003•12 citations

Quantum marginals from pure doubly excited states

Tomasz Maciążek, Valdemar V. Tsanov

Abstract The possible spectra of one-particle reduced density matrices that are compatible with a pure multipartite quantum system of finite dimension form a convex polytope. We introduce a new construction of inner- and outer-bounding polytopes that constrain the polytope for the entire quantum system. The outer bound is sharp. The inner polytope stems only from doubly excited states. We find all quantum systems, where the bounds coincide giving the entire polytope. We show, that those systems are: (i) any system of two particles (ii) L qubits, (iii) three fermions on N ⩽ 7 levels, (iv) any number of bosons on any number of levels and (v) fermionic Fock space on N ⩽ 5 levels. The methods we use come from symplectic geometry and representation theory of compact Lie groups. In particular, we study the images of proper momentum maps, where our method describes momentum images for all representations that are spherical.

arXiv:1705.05445•Journal of Physics A Mathematical and Theoretical•Sep 13, 2017•15 citations
Using techniques from symplectic geometry, we prove that a pure state of three qubits is up to local unitaries uniquely determined by its one-particle reduced density matrices exactly when their ordered spectra belong to the boundary of the so-called Kirwan polytope. Otherwise, the states with given reduced density matrices are parameterized, up to local unitary equivalence, by two real variables. Given inevitable experimental imprecision, this means that already for three qubits a pure quantum state can never be reconstructed from single-particle tomography. We moreover show that the knowledge of the reduced density matrices is always sufficient if one is given the additional promise that the quantum state is not convertible to the Greenberger–Horne–Zeilinger state by stochastic local operations and classical communication, and discuss generalizations of our results to an arbitrary number of qubits.
Given a specific spectra of the single-particle reduced density matrices of three qubits, the singular symplectic reduction method is applied to the projective Hilbert space of tripartite pure states, under the local unitary group action. The symplectic structure on the principal stratum of the symplectic quotient is obtained. A criterion from which the elements of the local normal model of the principal stratum can be constructed up to an equivalence relation and also the components of the reduced Hamiltonian dynamics on it are investigated. It is discussed that other lower dimensional strata are isolated points and so they are the fixed points of every reduced Hamiltonian flow, i.e. relative equilibria on the original manifold.
Given L-qubit states with the fixed spectra of reduced one-qubit density matrices, we find a formula for the minimal number of invariant polynomials needed for solving local unitary (LU) equivalence problem, that is, problem of deciding if two states can be connected by local unitary operations. Interestingly, this number is not the same for every collection of the spectra. Some spectra require less polynomials to solve LU equivalence problem than others. The result is obtained using geometric methods, i.e., by calculating the dimensions of reduced spaces, stemming from the symplectic reduction procedure.
We present a necessary and sufficient condition for three qutrit density matrices to be the one-particle reduced density matrices of a pure three-qutrit quantum state. The condition consists of seven classes of inequalities satisfied by the eigenvalues of these matrices. One of them is a generalization of a known inequality for the qubit case. Some of these inequalities are proved algebraically whereas the proof of the others uses the fact that a continuous function of the state must have a minimum. Construction of states satisfying these inequalities relies on a representation of the convex set of the allowed set of eigenvalues in terms of corner points. We also present a result for a more general quantum system concerning the nature of the boundary surface of the set of the allowed set of eigenvalues.
Abstract The possible spectra of one-particle reduced density matrices that are compatible with a pure multipartite quantum system of finite dimension form a convex polytope. We introduce a new construction of inner- and outer-bounding polytopes that constrain the polytope for the entire quantum system. The outer bound is sharp. The inner polytope stems only from doubly excited states. We find all quantum systems, where the bounds coincide giving the entire polytope. We show, that those systems are: (i) any system of two particles (ii) L qubits, (iii) three fermions on N ⩽ 7 levels, (iv) any number of bosons on any number of levels and (v) fermionic Fock space on N ⩽ 5 levels. The methods we use come from symplectic geometry and representation theory of compact Lie groups. In particular, we study the images of proper momentum maps, where our method describes momentum images for all representations that are spherical.