Matches in SemOpenAlex for { <https://semopenalex.org/work/W4206884270> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4206884270 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 cite{ssz16} 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 bounded away from zero, 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. 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 believe that our method is applicable to a broad range of random CSPs in the 1RSB universality class." @default.
- W4206884270 created "2022-01-25" @default.
- W4206884270 creator A5044363834 @default.
- W4206884270 creator A5056469270 @default.
- W4206884270 creator A5076570918 @default.
- W4206884270 date "2020-11-28" @default.
- W4206884270 modified "2023-09-29" @default.
- W4206884270 title "One-step replica symmetry breaking of random regular NAE-SAT I" @default.
- W4206884270 doi "https://doi.org/10.48550/arxiv.2011.14270" @default.
- W4206884270 hasPublicationYear "2020" @default.
- W4206884270 type Work @default.
- W4206884270 citedByCount "0" @default.
- W4206884270 crossrefType "posted-content" @default.
- W4206884270 hasAuthorship W4206884270A5044363834 @default.
- W4206884270 hasAuthorship W4206884270A5056469270 @default.
- W4206884270 hasAuthorship W4206884270A5076570918 @default.
- W4206884270 hasBestOaLocation W42068842701 @default.
- W4206884270 hasConcept C105795698 @default.
- W4206884270 hasConcept C114614502 @default.
- W4206884270 hasConcept C118615104 @default.
- W4206884270 hasConcept C121332964 @default.
- W4206884270 hasConcept C121864883 @default.
- W4206884270 hasConcept C126255220 @default.
- W4206884270 hasConcept C127705205 @default.
- W4206884270 hasConcept C130402806 @default.
- W4206884270 hasConcept C132525143 @default.
- W4206884270 hasConcept C134306372 @default.
- W4206884270 hasConcept C142362112 @default.
- W4206884270 hasConcept C153349607 @default.
- W4206884270 hasConcept C168773769 @default.
- W4206884270 hasConcept C183992945 @default.
- W4206884270 hasConcept C199622910 @default.
- W4206884270 hasConcept C204795200 @default.
- W4206884270 hasConcept C2775937380 @default.
- W4206884270 hasConcept C33923547 @default.
- W4206884270 hasConcept C34388435 @default.
- W4206884270 hasConcept C47458327 @default.
- W4206884270 hasConcept C49937458 @default.
- W4206884270 hasConcept C62520636 @default.
- W4206884270 hasConceptScore W4206884270C105795698 @default.
- W4206884270 hasConceptScore W4206884270C114614502 @default.
- W4206884270 hasConceptScore W4206884270C118615104 @default.
- W4206884270 hasConceptScore W4206884270C121332964 @default.
- W4206884270 hasConceptScore W4206884270C121864883 @default.
- W4206884270 hasConceptScore W4206884270C126255220 @default.
- W4206884270 hasConceptScore W4206884270C127705205 @default.
- W4206884270 hasConceptScore W4206884270C130402806 @default.
- W4206884270 hasConceptScore W4206884270C132525143 @default.
- W4206884270 hasConceptScore W4206884270C134306372 @default.
- W4206884270 hasConceptScore W4206884270C142362112 @default.
- W4206884270 hasConceptScore W4206884270C153349607 @default.
- W4206884270 hasConceptScore W4206884270C168773769 @default.
- W4206884270 hasConceptScore W4206884270C183992945 @default.
- W4206884270 hasConceptScore W4206884270C199622910 @default.
- W4206884270 hasConceptScore W4206884270C204795200 @default.
- W4206884270 hasConceptScore W4206884270C2775937380 @default.
- W4206884270 hasConceptScore W4206884270C33923547 @default.
- W4206884270 hasConceptScore W4206884270C34388435 @default.
- W4206884270 hasConceptScore W4206884270C47458327 @default.
- W4206884270 hasConceptScore W4206884270C49937458 @default.
- W4206884270 hasConceptScore W4206884270C62520636 @default.
- W4206884270 hasLocation W42068842701 @default.
- W4206884270 hasLocation W42068842702 @default.
- W4206884270 hasOpenAccess W4206884270 @default.
- W4206884270 hasPrimaryLocation W42068842701 @default.
- W4206884270 hasRelatedWork W1963543382 @default.
- W4206884270 hasRelatedWork W2057861608 @default.
- W4206884270 hasRelatedWork W2066200762 @default.
- W4206884270 hasRelatedWork W2343311415 @default.
- W4206884270 hasRelatedWork W2771624426 @default.
- W4206884270 hasRelatedWork W2952745732 @default.
- W4206884270 hasRelatedWork W3106899423 @default.
- W4206884270 hasRelatedWork W3216803780 @default.
- W4206884270 hasRelatedWork W4206884270 @default.
- W4206884270 hasRelatedWork W3108987929 @default.
- W4206884270 isParatext "false" @default.
- W4206884270 isRetracted "false" @default.
- W4206884270 workType "article" @default.