Matches in SemOpenAlex for { <https://semopenalex.org/work/W3106899423> ?p ?o ?g. }
- W3106899423 abstract "In a broad class of sparse random constraint satisfaction problems (CSP), deep heuristics from statistical physics predict that there is a condensation phase transition before the satisfiability threshold, governed by one-step replica symmetry breaking (1RSB). In fact, in random regular k-NAE-SAT, which is one of such random CSPS, it was verified [1] that its free energy is well-defined and the explicit value follows the 1RSB prediction. However, for any model of sparse random CSP, it has been unknown whether the solution space indeed condensates on O(1) clusters according to the 1RSB prediction. In this paper, we give an affirmative answer to this question for the random regular k-NAE-SAT model. Namely, we prove that with probability close to one, most of the solutions lie inside a bounded number of solution clusters whose sizes are comparable to the scale of the free energy. Furthermore, we establish that the overlap between two independently drawn solutions concentrates precisely at two values. This is the defining property of the one-step replica symmetry breaking class which we establish for the first time in a sparse random CSP, Our proof is based on a detailed moment analysis of a spin system, which has an infinite spin space that encodes the structure of solution clusters. We develop new techniques to study the partition function as well as enhance previous approaches which were only applicable to spin systems with finitely many spins. We believe that our method is applicable to a broad range of random CSPS in the 1RSB universality class." @default.
- W3106899423 created "2020-12-07" @default.
- W3106899423 creator A5044363834 @default.
- W3106899423 creator A5056469270 @default.
- W3106899423 creator A5076570918 @default.
- W3106899423 date "2022-02-01" @default.
- W3106899423 modified "2023-09-26" @default.
- W3106899423 title "One-step replica symmetry breaking of random regular NAE-SAT" @default.
- W3106899423 cites W1518885151 @default.
- W3106899423 cites W1528625750 @default.
- W3106899423 cites W1818081266 @default.
- W3106899423 cites W1969966778 @default.
- W3106899423 cites W1978113428 @default.
- W3106899423 cites W1980731606 @default.
- W3106899423 cites W2000931246 @default.
- W3106899423 cites W2001508095 @default.
- W3106899423 cites W2006424894 @default.
- W3106899423 cites W2010142728 @default.
- W3106899423 cites W2010193278 @default.
- W3106899423 cites W2022820481 @default.
- W3106899423 cites W2070702809 @default.
- W3106899423 cites W2088419249 @default.
- W3106899423 cites W2100057426 @default.
- W3106899423 cites W2101851522 @default.
- W3106899423 cites W2105546154 @default.
- W3106899423 cites W2105860081 @default.
- W3106899423 cites W2116466689 @default.
- W3106899423 cites W2126095574 @default.
- W3106899423 cites W2126216439 @default.
- W3106899423 cites W2136219960 @default.
- W3106899423 cites W2145098470 @default.
- W3106899423 cites W2152182443 @default.
- W3106899423 cites W2165341195 @default.
- W3106899423 cites W2168290833 @default.
- W3106899423 cites W2287686747 @default.
- W3106899423 cites W2295121732 @default.
- W3106899423 cites W2548129158 @default.
- W3106899423 cites W2566005205 @default.
- W3106899423 cites W2566505556 @default.
- W3106899423 cites W2778013189 @default.
- W3106899423 cites W2935986323 @default.
- W3106899423 cites W2962896009 @default.
- W3106899423 cites W2963298199 @default.
- W3106899423 cites W2963575846 @default.
- W3106899423 cites W2963795759 @default.
- W3106899423 cites W2963885173 @default.
- W3106899423 cites W2963885501 @default.
- W3106899423 cites W2963892318 @default.
- W3106899423 cites W3009270753 @default.
- W3106899423 cites W3009374184 @default.
- W3106899423 cites W3093852371 @default.
- W3106899423 cites W3098629286 @default.
- W3106899423 cites W3106164415 @default.
- W3106899423 doi "https://doi.org/10.1109/focs52979.2021.00039" @default.
- W3106899423 hasPublicationYear "2022" @default.
- W3106899423 type Work @default.
- W3106899423 sameAs 3106899423 @default.
- W3106899423 citedByCount "1" @default.
- W3106899423 countsByYear W31068994232022 @default.
- W3106899423 crossrefType "proceedings-article" @default.
- W3106899423 hasAuthorship W3106899423A5044363834 @default.
- W3106899423 hasAuthorship W3106899423A5056469270 @default.
- W3106899423 hasAuthorship W3106899423A5076570918 @default.
- W3106899423 hasConcept C105795698 @default.
- W3106899423 hasConcept C114614502 @default.
- W3106899423 hasConcept C118615104 @default.
- W3106899423 hasConcept C121332964 @default.
- W3106899423 hasConcept C121864883 @default.
- W3106899423 hasConcept C126255220 @default.
- W3106899423 hasConcept C127705205 @default.
- W3106899423 hasConcept C130402806 @default.
- W3106899423 hasConcept C132525143 @default.
- W3106899423 hasConcept C134306372 @default.
- W3106899423 hasConcept C13929819 @default.
- W3106899423 hasConcept C142362112 @default.
- W3106899423 hasConcept C153349607 @default.
- W3106899423 hasConcept C168773769 @default.
- W3106899423 hasConcept C199622910 @default.
- W3106899423 hasConcept C204795200 @default.
- W3106899423 hasConcept C2775937380 @default.
- W3106899423 hasConcept C2778401447 @default.
- W3106899423 hasConcept C33923547 @default.
- W3106899423 hasConcept C34388435 @default.
- W3106899423 hasConcept C47458327 @default.
- W3106899423 hasConcept C49937458 @default.
- W3106899423 hasConcept C52386014 @default.
- W3106899423 hasConcept C62520636 @default.
- W3106899423 hasConceptScore W3106899423C105795698 @default.
- W3106899423 hasConceptScore W3106899423C114614502 @default.
- W3106899423 hasConceptScore W3106899423C118615104 @default.
- W3106899423 hasConceptScore W3106899423C121332964 @default.
- W3106899423 hasConceptScore W3106899423C121864883 @default.
- W3106899423 hasConceptScore W3106899423C126255220 @default.
- W3106899423 hasConceptScore W3106899423C127705205 @default.
- W3106899423 hasConceptScore W3106899423C130402806 @default.
- W3106899423 hasConceptScore W3106899423C132525143 @default.
- W3106899423 hasConceptScore W3106899423C134306372 @default.
- W3106899423 hasConceptScore W3106899423C13929819 @default.
- W3106899423 hasConceptScore W3106899423C142362112 @default.
- W3106899423 hasConceptScore W3106899423C153349607 @default.