
arXiv: 1401.2436
Building on work of Cai, F��rer, and Immerman \cite{CFI92}, we show two hardness results for the Graph Isomorphism problem. First, we show that there are pairs of nonisomorphic $n$-vertex graphs $G$ and $H$ such that any sum-of-squares (SOS) proof of nonisomorphism requires degree $��(n)$. In other words, we show an $��(n)$-round integrality gap for the Lasserre SDP relaxation. In fact, we show this for pairs $G$ and $H$ which are not even $(1-10^{-14})$-isomorphic. (Here we say that two $n$-vertex, $m$-edge graphs $G$ and $H$ are $��$-isomorphic if there is a bijection between their vertices which preserves at least $��m$ edges.) Our second result is that under the {\sc R3XOR} Hypothesis \cite{Fei02} (and also any of a class of hypotheses which generalize the {\sc R3XOR} Hypothesis), the \emph{robust} Graph Isomorphism problem is hard. I.e.\ for every $��> 0$, there is no efficient algorithm which can distinguish graph pairs which are $(1-��)$-isomorphic from pairs which are not even $(1-��_0)$-isomorphic for some universal constant $��_0$. Along the way we prove a robust asymmetry result for random graphs and hypergraphs which may be of independent interest.
FOS: Computer and information sciences, Computer Science - Computational Complexity, Computational Complexity (cs.CC)
FOS: Computer and information sciences, Computer Science - Computational Complexity, Computational Complexity (cs.CC)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 11 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
