2024/06/21 by Andrew J. P. Garner, Mateus Araújo, Garner, Andrew J. P. +1 · 1 citation
Computer Science · Engineering · #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Mathematical Software (cs.MS) #Optimization and Control (math.OC) #Optimization and Search Problems #Quantum Physics (quant-ph) #Vehicle Routing Optimization Methods
paper · pdf · doi:10.48550/arxiv.2406.15559
openalex publication_date 2024/06/21 · openalex created_date 2024/06/26 · openalex updated_date 2026/07/28
Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such optimizations to a hierarchy of semi-definite programs, which can be solved numerically using well-understood interior-point methods. A key, but computationally costly, step is the formulation of moment matrices, whose size (and hence cost) grows exponentially with the depth of the hierarchy. It is therefore essential to have highly-optimized software to construct moment matrices. Here, we introduce Moment: a toolkit that produces moment matrix relaxations from the specification of a non-commutative optimization problem. In order to obtain the absolute best performance, Moment is written in C++, and for convenience of use provides an interface via MATLAB. We benchmark Moment's performance, and see that it can be up to four orders of magnitude faster than current software with similar functionality.