ECCC-Report TR10-053https://eccc.weizmann.ac.il/report/2010/053Comments and Revisions published for TR10-053en-usThu, 15 Jul 2010 20:58:02 +0300
Comment 1
| An improved version is available |
Subhash Khot,
Dana Moshkovitz
https://eccc.weizmann.ac.il/report/2010/053#comment1Subsequently to this work, we established the NP-hardness of the same problem (without assuming the Unique Games Conjecture). This appears as ECCC TR10-112.Thu, 15 Jul 2010 20:58:02 +0300https://eccc.weizmann.ac.il/report/2010/053#comment1
Paper TR10-053
| Hardness of Approximately Solving Linear Equations Over Reals |
Dana Moshkovitz,
Subhash Khot
https://eccc.weizmann.ac.il/report/2010/053In this paper, we consider the problem of approximately solving a
system of homogeneous linear equations over reals, where each
equation contains at most three variables.
Since the all-zero assignment always satisfies all the equations
exactly, we restrict the assignments to be ``non-trivial". Here is
an informal statement of our result: assuming the Unique Games
Conjecture, it is $\NP$-hard to distinguish whether there is a
non-trivial assignment that satisfies $1-\delta$ fraction of the
equations or every non-trivial assignment fails to satisfy a
constant fraction of the equations with a ``margin" of
$\Omega(\sqrt{\delta})$.
We develop linearity and dictatorship testing procedures for
functions $f: \R^n \mapsto \R$ over a Gaussian space, which could be
of independent interest.
Our research is motivated by a possible approach to proving the Unique Games Conjecture.
Sun, 28 Mar 2010 22:09:30 +0300https://eccc.weizmann.ac.il/report/2010/053