Computer Science/Discrete Mathematics Seminar I

CSPs with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations

A theorist's dream is to show that hard instances/obstructions for an (optimal) algorithm can be used as gadgets to prove tight hardness reductions (which proves optimality of the algorithm). An example of such a result is that of Prasad Raghavendra who showed that for any constraint satisfaction problem (CSP), there is an SDP which achieves the best possible approximation factor assuming UGC. We show that a similar phenomenon occurs in CSPs with global modular constraints.

A global modular constraint is a linear equation (in all the variables) modulo M for some fixed constant M. Take any polytime solvable Boolean CSP like 2SAT or LIN_2 or HORNSAT. Let's look at LIN_2 for concreteness, it is a system of linear equations modulo 2. By Gaussian elimination over F_2, we can find in polynomial time if it is satisfiable. Now suppose we are given an additional linear equation modulo M (for some fixed constant M not equal to 2). Can we find in polynomial time if the new system is satisfiable? Surprisingly, we show that the answer depends on the prime factorization of M! For example, it is possible for M=3, but not for M=15. We show that for such problems, the obstructions to a natural algorithm and gadgets useful for hardness reduction (assuming ETH) are closely connected to complexity (like degree or sparsity) of polynomial representations of OR mod M. Thus showing good lower bounds on the complexity of such polynomials imply good algorithms and constructing low complexity representations imply good hardness results. We also show some connections to submodular minimization with global modular constraints.

Joint work with Joshua Brakensiek and Venkatesan Guruswami.

Date & Time

March 30, 2020 | 11:00am – 12:00pm

Location

https://theias.zoom.us/j/360043913

Notes

Please note that this seminar will take place online via Zoom. You can connect to this seminar via the following link:

https://theias.zoom.us/j/360043913