5 research outputs found

    Sum-of-Squares Certificates for Maxima of Random Tensors on the Sphere

    Get PDF
    For an nn-variate order-dd tensor AA, define Amax⁑:=sup⁑βˆ₯xβˆ₯2=1⟨A,xβŠ—d⟩ A_{\max} := \sup_{\| x \|_2 = 1} \langle A , x^{\otimes d} \rangle to be the maximum value taken by the tensor on the unit sphere. It is known that for a random tensor with i.i.d Β±1\pm 1 entries, Amax⁑≲nβ‹…dβ‹…log⁑dA_{\max} \lesssim \sqrt{n\cdot d\cdot\log d} w.h.p. We study the problem of efficiently certifying upper bounds on Amax⁑A_{\max} via the natural relaxation from the Sum of Squares (SoS) hierarchy. Our results include: - When AA is a random order-qq tensor, we prove that qq levels of SoS certifies an upper bound BB on Amax⁑A_{\max} that satisfies B    ≀  Amax⁑⋅(nq 1βˆ’o(1))q/4βˆ’1/2w.h.p. B ~~~~\leq~~ A_{\max} \cdot \biggl(\frac{n}{q^{\,1-o(1)}}\biggr)^{q/4-1/2} \quad \text{w.h.p.} Our upper bound improves a result of Montanari and Richard (NIPS 2014) when qq is large. - We show the above bound is the best possible up to lower order terms, namely the optimum of the level-qq SoS relaxation is at least Amax⁑⋅(nq 1+o(1))q/4βˆ’1/2Β . A_{\max} \cdot \biggl(\frac{n}{q^{\,1+o(1)}}\biggr)^{q/4-1/2} \ . - When AA is a random order-dd tensor, we prove that qq levels of SoS certifies an upper bound BB on Amax⁑A_{\max} that satisfies B  ≀  Amax⁑⋅(O~(n)q)d/4βˆ’1/2w.h.p. B ~~\leq ~~ A_{\max} \cdot \biggl(\frac{\widetilde{O}(n)}{q}\biggr)^{d/4 - 1/2} \quad \text{w.h.p.} For growing qq, this improves upon the bound certified by constant levels of SoS. This answers in part, a question posed by Hopkins, Shi, and Steurer (COLT 2015), who established the tight characterization for constant levels of SoS

    Machinery for Proving Sum-of-Squares Lower Bounds on Certification Problems

    Full text link
    In this paper, we construct general machinery for proving Sum-of-Squares lower bounds on certification problems by generalizing the techniques used by Barak et al. [FOCS 2016] to prove Sum-of-Squares lower bounds for planted clique. Using this machinery, we prove degree nΟ΅n^{\epsilon} Sum-of-Squares lower bounds for tensor PCA, the Wishart model of sparse PCA, and a variant of planted clique which we call planted slightly denser subgraph.Comment: 134 page
    corecore