Quantum-Inspired Hierarchy for Rank-Constrained Optimization
arXiv:2012.00554 · doi:10.1103/PRXQuantum.3.010340
Abstract
Many problems in information theory can be reduced to optimizations over matrices, where the rank of the matrices is constrained. We establish a link between rank-constrained optimization and the theory of quantum entanglement. More precisely, we prove that a large class of rank-constrained semidefinite programs can be written as a convex optimization over separable quantum states and, consequently, we construct a complete hierarchy of semidefinite programs for solving the original problem. This hierarchy not only provides a sequence of certified bounds for the rank-constrained optimization problem, but also gives pretty good and often exact values in practice when the lowest level of the hierarchy is considered. We demonstrate that our approach can be used for relevant problems in quantum information processing, such as the optimization over pure states, the characterization of mixed unitary channels and faithful entanglement, and quantum contextuality, as well as in classical information theory including the maximum cut problem, pseudo-Boolean optimization, and the orthonormal representation of graphs. Finally, we show that our ideas can be extended to rank-constrained quadratic and higher-order programming.
arXiv comment19 pages, 5 figures, close to the published version
References in corpus (29)
- Quantum entanglement
- Separability Criterion for Density Matrices
- Separability of Mixed States: Necessary and Sufficient Conditions
- Ising formulations of many NP problems
- Entanglement detection
- Critical phenomena in complex networks
- Quantum state tomography via compressed sensing
- Quantum annealing with more than one hundred qubits
- A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
- Bounding the set of quantum correlations
- Unknown Quantum States: The Quantum de Finetti Representation
- A complete family of separability criteria
- Symmetry groups, semidefinite programs, and sums of squares
- Distinguishing separable and entangled states
- Graph-Theoretic Approach to Quantum Correlations
- Experimental investigation of performance differences between Coherent Ising Machines and a quantum annealer
- One-and-a-half quantum de Finetti theorems
- Entanglement and permutational symmetry
- Bounding the set of finite dimensional quantum correlations
- The power of symmetric extensions for entanglement detection
- Symmetry in semidefinite programs
- Connections Between Mutually Unbiased Bases and Quantum Random Access Codes
- Entanglement Detection Beyond Measuring Fidelities
- Solving condensed-matter ground-state problems by semidefinite relaxations
- A complete hierarchy for the pure state marginal problem in quantum mechanics
- Geometry of faithful entanglement
- Necessary and sufficient conditions for state-independent measurement contextual scenarios
- Detecting mixed-unitary quantum channels is NP-hard
- Separability of Completely Symmetric States in Multipartite System
Cited by in corpus (12)
- Semidefinite programming relaxations for quantum correlations
- A complete hierarchy for the pure state marginal problem in quantum mechanics
- Noisy intermediate-scale quantum algorithm for semidefinite programming
- Probing the geometry of correlation matrices with randomized measurements
- Bounding the joint numerical range of Pauli strings by graph parameters
- Exploring the relationship between the faithfulness and entanglement of two qubits
- Certifying Quantum Separability with Adaptive Polytopes
- Exploring the boundary of quantum correlations with a time-domain optical processor
- Iterative optimization in quantum metrology and entanglement theory using semidefinite programming
- Efficient tensor networks for control-enhanced quantum metrology
- Characterizing high-dimensional quantum contextuality
- Witnessing environment dimension through temporal correlations