Sphere Valued Noise Stability and Quantum MAX-CUT Hardness

06/06/2023
by   Steven Heilman, et al.
0

We prove a vector-valued inequality for the Gaussian noise stability (i.e. we prove a vector-valued Borell inequality) for Euclidean functions taking values in the two-dimensional sphere, for all correlation parameters at most 1/10 in absolute value. This inequality was conjectured (for all correlation parameters at most 1 in absolute value) by Hwang, Neeman, Parekh, Thompson and Wright. Such an inequality is needed to prove sharp computational hardness of the product state Quantum MAX-CUT problem, assuming the Unique Games Conjecture. In fact, assuming the Unique Games Conjecture, we show that the product state of Quantum MAX-CUT is NP-hard to approximate within a multiplicative factor of .9859. In contrast, a polynomial time algorithm is known with approximation factor .956….

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/01/2021

Unique Games hardness of Quantum Max-Cut, and a vector-valued Borell's inequality

The Gaussian noise stability of a function f:ℝ^n →{-1, 1} is the expecte...
research
06/05/2023

Three Candidate Plurality is Stablest for Correlations at most 1/10

We prove the three candidate Plurality is Stablest Conjecture of Khot-Ki...
research
08/02/2017

A Periodic Isoperimetric Problem Related to the Unique Games Conjecture

We prove the endpoint case of a conjecture of Khot and Moshkovitz relate...
research
09/22/2022

Hyperstable Sets with Voting and Algorithmic Hardness Applications

The noise stability of a Euclidean set A with correlation ρ is the proba...
research
06/16/2022

An Optimal Product-State Approximation for 2-Local Quantum Hamiltonians with Positive Terms

We resolve the approximability of the maximum energy of the Quantum Max ...
research
11/11/2020

Three Candidate Plurality is Stablest for Small Correlations

Using the calculus of variations, we prove the following structure theor...
research
11/17/2022

Rounding via Low Dimensional Embeddings

A regular graph G = (V,E) is an (ε,γ) small-set expander if for any set ...

Please sign up or login with your details

Forgot password? Click here to reset