Refuting spectral compatibility of quantum marginals
arXiv:2211.06349 · doi:10.22331/q-2025-11-20-1918
Abstract
The spectral variant of the quantum marginal problem asks: Given prescribed spectra for a set of overlapping quantum marginals, does there exist a compatible joint state? The main idea of this work is a symmetry-reduced semidefinite programming hierarchy that detects when no such joint state exists. The hierarchy is complete, in the sense that it detects every incompatible set of spectra. The refutations it provides are dimension-free, certifying incompatibility in all local dimensions. The hierarchy also applies to the sums of Hermitian matrices problem, the compatibility of local unitary invariants, for certifying vanishing Kronecker coefficients, and to optimize over equivariant state polynomials.
27 pages, 1 figure, 2 tables. v2: added proof of completeness. v3: clarified further applications. v4 final version
References in corpus (37)
- A complete family of separability criteria
- Structure of Fermionic Density Matrices: Complete N-representability Conditions
- Quantum marginal problem and N-representability
- One-and-a-half quantum de Finetti theorems
- Absolutely maximally entangled states of seven qubits do not exist
- Honeycombs and sums of Hermitian matrices
- Separability properties of tripartite states with UxUxU-symmetry
- The Spectra of Density Operators and the Kronecker Coefficients of the Symmetric Group
- One-qubit reduced states of a pure many-qubit state: polygon inequalities
- Inequalities for the Ranks of Quantum States
- On vanishing of Kronecker coefficients
- Thirty-six entangled officers of Euler: Quantum solution to a classically impossible problem
- Symmetric Extension of Two-Qubit States
- Eigenvalue Distributions of Reduced Density Matrices
- A complete hierarchy for the pure state marginal problem in quantum mechanics
- Efficient algorithms for tensor scaling, quantum marginals and moment polytopes
- Invariant semidefinite programs
- Compatibility of subsystem states and convex geometry
- Compatibility of subsystem states
- Exponentially many entanglement and correlation constraints for multipartite quantum states
- Almost all four-particle pure states are determined by their two-body marginals
- Inequalities for Moment Cones of Finite-Dimensional Representations
- The quantum marginal problem for symmetric states: applications to variational optimization, nonlocality and self-testing
- On an Extension Problem for Density Matrices
- Dimension-free entanglement detection in multipartite Werner states
- Entanglement detection with trace polynomials
- Positive maps and trace polynomials from the symmetric group
- Locally Maximally Entangled States of Multipart Quantum Systems
- Proving genuine multiparticle entanglement from separable nearest-neighbor marginals
- Existence of locally maximally entangled quantum states via geometric invariant theory
- Computation of Dilated Kronecker Coefficients
- The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario
- Recoupling coefficients and quantum entropies
- Uniquely determined pure quantum states need not be unique ground states of quasi-local Hamiltonians
- State polynomials: positivity, optimization and nonlinear Bell inequalities
- A complete picture of the four-party linear inequalities in terms of the 0-entropy
- Projections of Orbital Measures and Quantum Marginal Problems