## Abstract

Given a matrix A∈Rn×n, we consider the problem of maximizing xTAx subject to the constraint x∈{−1,1}n. This problem, called MaxQP by Charikar and Wirth [FOCS'04], generalizes MaxCut and has natural applications in data clustering and in the study of disordered magnetic phases of matter. Charikar and Wirth showed that the problem admits an Ω(1/lgn) approximation via semidefinite programming, and Alon, Makarychev, Makarychev, and Naor [STOC'05] showed that the same approach yields an Ω(1) approximation when A corresponds to a graph of bounded chromatic number. Both these results rely on solving the semidefinite relaxation of MaxQP, whose currently best running time is O~(n1.5⋅min{N,n

In this sequel, we abandon the semidefinite approach and design purely combinatorial approximation algorithms for special cases of MaxQP where A is sparse (i.e., has O(n) nonzero entries). Our algorithms are superior to the semidefinite approach in terms of running time, yet are still competitive in terms of their approximation guarantees. More specifically, we show that:

- MaxQP admits a (1/2Δ)-approximation in O(nlgn) time, where Δ is the maximum degree of the corresponding graph.

- UnitMaxQP, where A∈{−1,0,1}n×n, admits a (1/2d)-approximation in O(n) time when the corresponding graph is d-degenerate, and a (1/3δ)-approximation in O(n

- MaxQP admits a (1−ε)-approximation in O(n) time when the corresponding graph and each of its minors have bounded local treewidth.

- UnitMaxQP admits a (1−ε)-approximation in O(n2) time when the corresponding graph is H-minor free.

^{1.5}}), where N is the number of nonzero entries in A and O~ ignores polylogarithmic factors.In this sequel, we abandon the semidefinite approach and design purely combinatorial approximation algorithms for special cases of MaxQP where A is sparse (i.e., has O(n) nonzero entries). Our algorithms are superior to the semidefinite approach in terms of running time, yet are still competitive in terms of their approximation guarantees. More specifically, we show that:

- MaxQP admits a (1/2Δ)-approximation in O(nlgn) time, where Δ is the maximum degree of the corresponding graph.

- UnitMaxQP, where A∈{−1,0,1}n×n, admits a (1/2d)-approximation in O(n) time when the corresponding graph is d-degenerate, and a (1/3δ)-approximation in O(n

^{1.5}) time when the corresponding graph has δn edges.- MaxQP admits a (1−ε)-approximation in O(n) time when the corresponding graph and each of its minors have bounded local treewidth.

- UnitMaxQP admits a (1−ε)-approximation in O(n2) time when the corresponding graph is H-minor free.

Original language | English |
---|---|

Number of pages | 16 |

DOIs | |

State | Published - 15 Dec 2020 |

## Keywords

- Computer Science - Data Structures and Algorithms