FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2569769046> ?p ?o ?g. }

• W2569769046 abstract "Hypercontractive inequalities via SOS, and the Frankl-Rodl graph, Discrete Analysis 2016:4, 20 pp.One of the major unsolved problems in theoretical computer science is the unique games conjecture of Subhash Khot. Its importance lies in the fact that it would imply that many of our best known approximation algorithms are optimal (assuming that P$ne$NP). As with the statement that P$ne$NP, many results have now been proved assuming the unique-games conjecture. However, theoretical computer scientists are much less confident that it is true than they (mostly) are that P$ne$NP.A possible challenge to the unique games conjecture comes from the so-called sum-of-squares algorithm, which for some problems has turned out to be better than the algorithms based on semidefinite programming that had previously been thought likely to be best possible. Suppose we wish to prove that a system of real polynomial equations $P_1=dots=P_m=0$ in $k$ variables cannot be simultaneously solved. It can be shown that this is equivalent to the existence of polynomials $Q_1,dots,Q_m$ and $S$ such that $S$ is a sum of squares of polynomials and $sum_iP_iQ_i+S=-1$. More interestingly from a computational point of view, there are often situations where the polynomials $Q_i$ and $S$ have low degree, and when that is the case they can be found efficiently. Furthermore, many interesting problems can be reformulated as polynomial equations of this type.In particular, Barak, Brandao, Harrow, Kelner, Steurer and Zhou found an SOS proof of a hypercontractive inequality. Hypercontractive inequalities are bounds for the norms of certain convolution operators from $L_p$ to $L_q$, where the ground sets of these spaces are the discrete cube: the proof obtained by Barak et al was for $p=2$ and $q=4$. They have many applications, in particular to proving _integrality gaps_: that is, optimization problems with significantly different bounds if the answers are required to be integers. If the inequalities can be proved by SOS methods, then that raises the possibility of finding SOS certifications of integrality gaps, which has been achieved for several problems. Although none of these applications is yet powerful enough to refute the unique games conjecture, it is still a promising line of enquiry.In this paper the authors obtain a sum-of-squares proof for the hypercontractivity inequality with $p=2$ and $q=2k$ for any integer $k$. They also find a sum-of-squares proof for a reverse hypercontractive inequality. One consequence of the main results is a degree-4 SOS certification that a certain graph defined by Frankl and Rodl has unbounded chromatic number, despite the fact that standard semidefinite linear programming relaxations of the problem cannot even certify a lower bound better than 3." @default.
• W2569769046 created "2017-01-13" @default.
• W2569769046 creator A5007541022 @default.
• W2569769046 creator A5045927034 @default.
• W2569769046 creator A5047902002 @default.
• W2569769046 creator A5051167298 @default.
• W2569769046 date "2016-03-01" @default.
• W2569769046 modified "2023-09-26" @default.
• W2569769046 title "Hypercontractive inequalities via SOS, and the Frankl--Rödl graph" @default.
• W2569769046 doi "https://doi.org/10.19086/da.612" @default.
• W2569769046 hasPublicationYear "2016" @default.
• W2569769046 type Work @default.
• W2569769046 sameAs 2569769046 @default.
• W2569769046 citedByCount "1" @default.
• W2569769046 countsByYear W25697690462017 @default.
• W2569769046 crossrefType "journal-article" @default.
• W2569769046 hasAuthorship W2569769046A5007541022 @default.
• W2569769046 hasAuthorship W2569769046A5045927034 @default.
• W2569769046 hasAuthorship W2569769046A5047902002 @default.
• W2569769046 hasAuthorship W2569769046A5051167298 @default.
• W2569769046 hasBestOaLocation W25697690461 @default.
• W2569769046 hasConcept C101901036 @default.
• W2569769046 hasConcept C105795698 @default.
• W2569769046 hasConcept C114614502 @default.
• W2569769046 hasConcept C118615104 @default.
• W2569769046 hasConcept C126255220 @default.
• W2569769046 hasConcept C132525143 @default.
• W2569769046 hasConcept C134306372 @default.
• W2569769046 hasConcept C17744445 @default.
• W2569769046 hasConcept C199539241 @default.
• W2569769046 hasConcept C2777026412 @default.
• W2569769046 hasConcept C2780990831 @default.
• W2569769046 hasConcept C33923547 @default.
• W2569769046 hasConcept C49847556 @default.
• W2569769046 hasConcept C90119067 @default.
• W2569769046 hasConceptScore W2569769046C101901036 @default.
• W2569769046 hasConceptScore W2569769046C105795698 @default.
• W2569769046 hasConceptScore W2569769046C114614502 @default.
• W2569769046 hasConceptScore W2569769046C118615104 @default.
• W2569769046 hasConceptScore W2569769046C126255220 @default.
• W2569769046 hasConceptScore W2569769046C132525143 @default.
• W2569769046 hasConceptScore W2569769046C134306372 @default.
• W2569769046 hasConceptScore W2569769046C17744445 @default.
• W2569769046 hasConceptScore W2569769046C199539241 @default.
• W2569769046 hasConceptScore W2569769046C2777026412 @default.
• W2569769046 hasConceptScore W2569769046C2780990831 @default.
• W2569769046 hasConceptScore W2569769046C33923547 @default.
• W2569769046 hasConceptScore W2569769046C49847556 @default.
• W2569769046 hasConceptScore W2569769046C90119067 @default.
• W2569769046 hasLocation W25697690461 @default.
• W2569769046 hasLocation W25697690462 @default.
• W2569769046 hasLocation W25697690463 @default.
• W2569769046 hasOpenAccess W2569769046 @default.
• W2569769046 hasPrimaryLocation W25697690461 @default.
• W2569769046 hasRelatedWork W1502835965 @default.
• W2569769046 hasRelatedWork W1981949200 @default.
• W2569769046 hasRelatedWork W2006991246 @default.
• W2569769046 hasRelatedWork W2028932986 @default.
• W2569769046 hasRelatedWork W2043622336 @default.
• W2569769046 hasRelatedWork W2097977886 @default.
• W2569769046 hasRelatedWork W2153715991 @default.
• W2569769046 hasRelatedWork W2394615430 @default.
• W2569769046 hasRelatedWork W2395370258 @default.
• W2569769046 hasRelatedWork W2808338064 @default.
• W2569769046 hasRelatedWork W2899413771 @default.
• W2569769046 hasRelatedWork W2950706437 @default.
• W2569769046 hasRelatedWork W2953082259 @default.
• W2569769046 hasRelatedWork W2985842695 @default.
• W2569769046 hasRelatedWork W3016931611 @default.
• W2569769046 hasRelatedWork W3043414335 @default.
• W2569769046 hasRelatedWork W3046803118 @default.
• W2569769046 hasRelatedWork W3082334577 @default.
• W2569769046 hasRelatedWork W3100910790 @default.
• W2569769046 hasRelatedWork W3196518015 @default.
• W2569769046 isParatext "false" @default.
• W2569769046 isRetracted "false" @default.
• W2569769046 magId "2569769046" @default.
• W2569769046 workType "article" @default.