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.
19 pages, 5 figures, close to the published version
References in corpus (13)
- Entanglement detection
- Critical phenomena in complex networks
- A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
- Bounding the set of quantum correlations
- A complete family of separability criteria
- Symmetry groups, semidefinite programs, and sums of squares
- One-and-a-half quantum de Finetti theorems
- Entanglement and permutational symmetry
- Bounding the set of finite dimensional quantum correlations
- Symmetry in semidefinite programs
- A complete hierarchy for the pure state marginal problem in quantum mechanics
- Geometry of faithful entanglement
- 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