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:2512.20133 · IEEE Transactions on Information Theory

On the mixed UDA states and additivity

Xinyu Qiu, Lin Chen, Genwei Li, Delin Chu

quant-phSubmitted Dec 23, 2025• Announced Dec 24, 2025• 0 citations
v1 · Dec 23, 2025v2 · Jan 21, 2026v3 · Jun 6, 2026
arXivHTMLPDF

Abstract

Mixed states that are uniquely determined among all (UDA) states are vital in efficient quantum tomography. We show the necessary and sufficient conditions by which some multipartite mixed states are UDA by their $k$-partite reduced density matrices. The case for $k=2$ is mostly studied, which requires minimal local information and shows practical benefits. Based on that, we establish a systematic method for determining UDA states and provide a complete characterization of the additivity of UDA bipartite and three-qubit product states. We show the application of mixed UDA states and their characterization from the perspectives of tomography and other tasks.

DOI
10.1109/TIT.2026.3699321

Related papers

Additivity of states uniquely determined by marginals

Yi Shen, Lin Chen

The pure states that can be uniquely determined among all (UDA) states by their marginals are essential to efficient quantum state tomography. We generalize the UDA states from the context of pure states to that of arbitrary (whether pure or mixed) states, motivated by the efficient state tomography of low-rank states. The concept of additivity of $k$-UDA states for three different composite types of tensor product applies if the composite state of two $k$-UDA states is still uniquely determined by the $k$-partite marginals for the corresponding type of tensor product. We show that the additivity holds if one of the two initial states is pure and present the conditions under which the additivity holds for two mixed UDA states. One of the three composite types of tensor product is also adopted to construct genuinely multipartite entangled (GME) states. Therefore, it is effective to construct multipartite $k$-UDA states with genuine entanglement by uniting the additivity of $k$-UDA states and the construction of GME states.

arXiv:2308.11089•Physical Review A•Dec 18, 2023•1 citation

Rank and Range Criteria for Mixed-State Determination from Local Marginals

Xinyu Qiu, Minglong Qin, Caohan Cheng +2 more

Determining whether a mixed quantum state is uniquely determined among all states by its k-body marginals (k-UDA) is a fundamental problem in quantum system certification. We develop a range-based approach to this problem by analyzing the structure of the range of the global state. For three-qubit states, we show that states with GHZ-SLOCC-free ranges are 2-UDA at ranks one, three, and four. We derive a necessary and sufficient range criterion for rank-two 2-UDA states and reduce it to a finite quadratic-form test. To cover the remaining range configurations, we formulate an exact range-restricted semidefinite programming criterion and extend it to arbitrary finite-dimensional tripartite states. We also show that every three-qubit state of rank at least five is not 2-UDA, and further extend high-rank obstructions to multipartite systems. For a channel-based multipartite family, we characterize exactly when a state is $(n-1)$-UDA and show that lower-order marginals never suffice. Finally, we apply these results to the certification of genuine multipartite entanglement.

quant-pharXiv:2608.24061•Aug 26, 2026•0 citations

Quartic Certificates for Pure-State Tomography with Pauli Measurements

Hengjian Li, Baisong Sun, Bei Zeng

Full Pauli-basis tomography of an arbitrary $n$-qubit state uses the expectation values of all nonidentity Pauli observables. For multiqubit systems, prior knowledge that the state is pure allows some of these observables to be omitted while retaining uniqueness. We study two resulting notions of uniqueness: whether every pure state is uniquely determined among pure states (UDP), and whether every pure state is uniquely determined among all states, including mixed states (UDA). We derive quartic uniqueness certificates from the fourth elementary symmetric polynomial of operators in the real span of the omitted Pauli observables. An exact quartic identity shows that, for $n$-qubit systems with $n\geq 3$, every pure state is UDA whenever the omitted Pauli observables contain no four distinct operators that commute pairwise and multiply to $\pm I$. For three qubits, this condition is also necessary for UDP, yielding an exact characterization of both UDP and UDA. We further prove that UDP and UDA coincide for any number of qubits whenever the omitted Pauli observables commute pairwise. These results provide directly checkable structural criteria for certifying pure-state tomography from restricted Pauli measurements.

quant-pharXiv:2610.12320•Oct 9, 2026•0 citations

Existence and Uniqueness in the Quantum Marginal Problem

Joel Klassen

The quantum marginal problem asks whether a family of quantum marginals are compatible with a global quantum state. It is of central importance to a wide range of topics in both quantum many body physics and quantum information. Often it can be the case that when a family of quantum marginals are compatible with a global quantum state, that global state is unique. This thesis explores the role of uniqueness in the quantum marginal problem, in particular the distinction between uniqueness among pure states and uniqueness among all states. A particularly important vari- ant of the quantum marginal problem is the symmetric extendibility problem. This thesis makes headway on characterizing the extremal points of a particular class of symmetric extendibility problems, and demonstrates the importance of understand- ing the distinction between being uniquely determined among mixed states and being uniquely determined among pure states in making further progress in this direction.

•Sep 1, 2017•0 citations

N -qubit W states are determined by their bipartite marginals

Preeti Parashar, Swapan Rana

We prove that the most general $W$ class of $N$-qubit states are uniquely determined among arbitrary states (pure or mixed) by just their bipartite reduced density matrices. Moreover, if we consider only pure states, then $(N\ensuremath{-}1)$ of them are shown to be sufficient.

arXiv:0809.4394•Physical Review A•Jul 17, 2009•36 citations

Reconstructing the whole from its parts

Daniel Uzcátegui Contreras, Dardo Goyeneche

The quantum marginal problem consists in deciding whether a given set of marginal reductions is compatible with the existence of a global quantum state or not. In this work, we formulate the problem from the perspective of dynamical systems theory and study its advantages with respect to the standard approach. The introduced formalism allows us to analytically determine global quantum states from a wide class of self-consistent marginal reductions in any multipartite scenario. In particular, we show that any self-consistent set of multipartite marginal reductions is compatible with the existence of a global quantum state, after passing through a depolarizing channel. This result reveals that the complexity associated to the marginal problem can be drastically reduced when restricting the attention to sufficiently mixed marginals. We also formulate the marginal problem in a compressed way, in the sense that the total number of scalar constraints is smaller than the one required by the standard approach. This fact suggests an exponential speedup in runtime when considering semi-definite programming techniques to solve it, in both classical and quantum algorithms. Finally, we reconstruct $n$-qubit quantum states from all the $\binom{n}{k}$ marginal reductions to $k$ parties, generated from randomly chosen mixed states. Numerical simulations reveal that the fraction of cases where we can find a global state equals 1 when $5\leq n\leq12$ and $\lfloor(n-1)/\sqrt{2}\rfloor\leq k\leq n-1$, where $\lfloor\cdot\rfloor$ denotes the floor function.

arXiv:2209.14154•Sep 28, 2022•0 citations
Mixed states that are uniquely determined among all (UDA) states are vital in efficient quantum tomography. We show the necessary and sufficient conditions by which some multipartite mixed states are UDA by their kkk-partite reduced density matrices. The case for k=2k=2k=2 is mostly studied, which requires minimal local information and shows practical benefits. Based on that, we establish a systematic method for determining UDA states and provide a complete characterization of the additivity of UDA bipartite and three-qubit product states. We show the application of mixed UDA states and their characterization from the perspectives of tomography and other tasks.
The pure states that can be uniquely determined among all (UDA) states by their marginals are essential to efficient quantum state tomography. We generalize the UDA states from the context of pure states to that of arbitrary (whether pure or mixed) states, motivated by the efficient state tomography of low-rank states. The concept of additivity of kkk-UDA states for three different composite types of tensor product applies if the composite state of two kkk-UDA states is still uniquely determined by the kkk-partite marginals for the corresponding type of tensor product. We show that the additivity holds if one of the two initial states is pure and present the conditions under which the additivity holds for two mixed UDA states. One of the three composite types of tensor product is also adopted to construct genuinely multipartite entangled (GME) states. Therefore, it is effective to construct multipartite kkk-UDA states with genuine entanglement by uniting the additivity of kkk-UDA states and the construction of GME states.
Determining whether a mixed quantum state is uniquely determined among all states by its k-body marginals (k-UDA) is a fundamental problem in quantum system certification. We develop a range-based approach to this problem by analyzing the structure of the range of the global state. For three-qubit states, we show that states with GHZ-SLOCC-free ranges are 2-UDA at ranks one, three, and four. We derive a necessary and sufficient range criterion for rank-two 2-UDA states and reduce it to a finite quadratic-form test. To cover the remaining range configurations, we formulate an exact range-restricted semidefinite programming criterion and extend it to arbitrary finite-dimensional tripartite states. We also show that every three-qubit state of rank at least five is not 2-UDA, and further extend high-rank obstructions to multipartite systems. For a channel-based multipartite family, we characterize exactly when a state is (n−1)(n-1)(n−1)-UDA and show that lower-order marginals never suffice. Finally, we apply these results to the certification of genuine multipartite entanglement.
Full Pauli-basis tomography of an arbitrary nnn-qubit state uses the expectation values of all nonidentity Pauli observables. For multiqubit systems, prior knowledge that the state is pure allows some of these observables to be omitted while retaining uniqueness. We study two resulting notions of uniqueness: whether every pure state is uniquely determined among pure states (UDP), and whether every pure state is uniquely determined among all states, including mixed states (UDA). We derive quartic uniqueness certificates from the fourth elementary symmetric polynomial of operators in the real span of the omitted Pauli observables. An exact quartic identity shows that, for nnn-qubit systems with n≥3n\geq 3n≥3, every pure state is UDA whenever the omitted Pauli observables contain no four distinct operators that commute pairwise and multiply to ±I\pm I±I. For three qubits, this condition is also necessary for UDP, yielding an exact characterization of both UDP and UDA. We further prove that UDP and UDA coincide for any number of qubits whenever the omitted Pauli observables commute pairwise. These results provide directly checkable structural criteria for certifying pure-state tomography from restricted Pauli measurements.
The quantum marginal problem asks whether a family of quantum marginals are compatible with a global quantum state. It is of central importance to a wide range of topics in both quantum many body physics and quantum information. Often it can be the case that when a family of quantum marginals are compatible with a global quantum state, that global state is unique. This thesis explores the role of uniqueness in the quantum marginal problem, in particular the distinction between uniqueness among pure states and uniqueness among all states. A particularly important vari- ant of the quantum marginal problem is the symmetric extendibility problem. This thesis makes headway on characterizing the extremal points of a particular class of symmetric extendibility problems, and demonstrates the importance of understand- ing the distinction between being uniquely determined among mixed states and being uniquely determined among pure states in making further progress in this direction.
We prove that the most general WWW class of NNN-qubit states are uniquely determined among arbitrary states (pure or mixed) by just their bipartite reduced density matrices. Moreover, if we consider only pure states, then $(N\ensuremath{-}1)$ of them are shown to be sufficient.
The quantum marginal problem consists in deciding whether a given set of marginal reductions is compatible with the existence of a global quantum state or not. In this work, we formulate the problem from the perspective of dynamical systems theory and study its advantages with respect to the standard approach. The introduced formalism allows us to analytically determine global quantum states from a wide class of self-consistent marginal reductions in any multipartite scenario. In particular, we show that any self-consistent set of multipartite marginal reductions is compatible with the existence of a global quantum state, after passing through a depolarizing channel. This result reveals that the complexity associated to the marginal problem can be drastically reduced when restricting the attention to sufficiently mixed marginals. We also formulate the marginal problem in a compressed way, in the sense that the total number of scalar constraints is smaller than the one required by the standard approach. This fact suggests an exponential speedup in runtime when considering semi-definite programming techniques to solve it, in both classical and quantum algorithms. Finally, we reconstruct nnn-qubit quantum states from all the (nk)\binom{n}{k}(kn​) marginal reductions to kkk parties, generated from randomly chosen mixed states. Numerical simulations reveal that the fraction of cases where we can find a global state equals 1 when 5≤n≤125\leq n\leq125≤n≤12 and ⌊(n−1)/2⌋≤k≤n−1\lfloor(n-1)/\sqrt{2}\rfloor\leq k\leq n-1⌊(n−1)/2​⌋≤k≤n−1, where ⌊⋅⌋\lfloor\cdot\rfloor⌊⋅⌋ denotes the floor function.