English
Related papers

Related papers: The Scaling Window of the 2-SAT Transition

200 papers

Deterministic rate equations are widely used in the study of stochastic, interacting particles systems. This approach assumes that the inherent noise, associated with the discreteness of the elementary constituents, may be neglected when…

Statistical Mechanics · Physics 2012-01-26 David A. Kessler , Nadav M. Shnerb

The Boolean constraint satisfaction problem 3-SAT is arguably the canonical NP-complete problem. In contrast, 2-SAT can not only be decided in polynomial time, but in fact in deterministic linear time. In 2006, Bravyi proposed a physically…

Quantum Physics · Physics 2016-10-25 Niel de Beaudrap , Sevag Gharibian

We have reexamined data on the possible two dimensional metal-insulator transition at B=0 in Si-MOSFETs using a nonlinear regression method to extract all scaling parameters in a single fit. By keeping track of the magnitude of errors in…

Condensed Matter · Physics 2007-05-23 D. Lilliehook , J. E. Furneaux

We provide a comprehensive view of various phase transitions in random $K$-satisfiability problems solved by stochastic-local-search algorithms. In particular, we focus on the finite-size scaling (FSS) exponent, which is mathematically…

Statistical Mechanics · Physics 2015-03-17 Sang Hoon Lee , Meesoon Ha , Chanil Jeon , Hawoong Jeong

A commonly used model for fault-tolerant computation is that of cellular automata. The essential difficulty of fault-tolerant computation is present in the special case of simply remembering a bit in the presence of faults, and that is the…

Probability · Mathematics 2007-09-10 Mark McCann , Nicholas Pippenger

The conjecture that the scaling limit of the two-dimensional self-avoiding walk (SAW) in a half plane is given by the stochastic Loewner evolution (SLE) with $\kappa=8/3$ leads to explicit predictions about the SAW. A remarkable feature of…

Probability · Mathematics 2009-11-07 Tom Kennedy

For $\Delta \ge 5$ and $q$ large as a function of $\Delta$, we give a detailed picture of the phase transition of the random cluster model on random $\Delta$-regular graphs. In particular, we determine the limiting distribution of the…

Probability · Mathematics 2021-09-16 Tyler Helmuth , Matthew Jenssen , Will Perkins

In the 1960's, four famous scaling relations were developed which relate the six standard critical exponents describing continuous phase transitions in the thermodynamic limit of statistical physics models. They are well understood at a…

Statistical Mechanics · Physics 2024-04-16 Ralph Kenna , Bertrand Berche

Machine learning (ML) is ubiquitous in modern life. Since it is being deployed in technologies that affect our privacy and safety, it is often crucial to understand the reasoning behind its decisions, warranting the need for explainable AI.…

Artificial Intelligence · Computer Science 2021-02-04 Alexey Ignatiev , Edward Lam , Peter J. Stuckey , Joao Marques-Silva

Let $P:\{0,1\}^k \to \{0,1\}$ be a nontrivial $k$-ary predicate. Consider a random instance of the constraint satisfaction problem $\mathrm{CSP}(P)$ on $n$ variables with $\Delta n$ constraints, each being $P$ applied to $k$ randomly chosen…

Computational Complexity · Computer Science 2017-01-18 Pravesh K. Kothari , Ryuhei Mori , Ryan O'Donnell , David Witmer

In the critical beta-splitting model of a random $n$-leaf binary tree, leaf-sets are recursively split into subsets, and a set of $m$ leaves is split into subsets containing $i$ and $m-i$ leaves with probabilities proportional to…

Probability · Mathematics 2024-09-09 David Aldous , Boris Pittel

Models of confluent tissues are built out of tessellations of the space (both in two and three dimensions) in which the cost function is constructed in such a way that individual cells try to optimize their volume and surface in order to…

Disordered Systems and Neural Networks · Physics 2023-06-13 Pierfrancesco Urbani

Parity-SAT is the problem of determining whether a given CNF formula has an odd number of satisfying assignments. As a canonical $\oplus$P-complete problem, it represents a fundamental variant of the exact model counting problem (#SAT).…

Data Structures and Algorithms · Computer Science 2026-05-18 Sanjay Jain , Junqiang Peng , Frank Stephan , Haoyun Tang , Mingyu Xiao

MAX NAE-SAT is a natural optimization problem, closely related to its better-known relative MAX SAT. The approximability status of MAX NAE-SAT is almost completely understood if all clauses have the same size $k$, for some $k\ge 2$. We…

Computational Complexity · Computer Science 2024-09-27 Joshua Brakensiek , Neng Huang , Aaron Potechin , Uri Zwick

In this paper we study the problem of testing of constrained samplers over high-dimensional distributions with $(\varepsilon,\eta,\delta)$ guarantees. Samplers are increasingly used in a wide range of safety-critical ML applications, and…

Data Structures and Algorithms · Computer Science 2023-06-27 Yash Pote , Kuldeep S. Meel

The topological gap $\Delta = TP_{H_1}^{real} - TP_{H_1}^{shuf}$ -- the excess $H_1$ total persistence of the majority-spin alpha complex over a density-matched null -- encodes critical correlations in spin models. We establish finite-size…

Statistical Mechanics · Physics 2026-04-03 Matthew Loftus

Given $k$ collections of 2SAT clauses on the same set of variables $V$, can we find one assignment that satisfies a large fraction of clauses from each collection? We consider such simultaneous constraint satisfaction problems, and design…

Data Structures and Algorithms · Computer Science 2014-07-30 Amey Bhangale , Swastik Kopparty , Sushant Sachdeva

We consider a specific random graph which serves as a disordered medium for a particle performing biased random walk. Take a two-sided infinite horizontal ladder and pick a random spanning tree with a certain edge weight $c$ for the…

Probability · Mathematics 2023-04-19 Nina Gantert , Achim Klenke

During the past decade, phase-transition phenomena in the random 3-satisfiability (3-SAT) problem has been intensively studied by statistical physics methods. In this work, we study the random 3-SAT problem by the mean-field first-step…

Disordered Systems and Neural Networks · Physics 2008-09-25 Haijun Zhou

We consider the weighted antimonotone and the weighted monotone satisfiability problems on normalized circuits of depth at most $t \geq 2$, abbreviated {\sc wsat$^-[t]$} and {\sc wsat$^+[t]$}, respectively. These problems model the weighted…

Computational Complexity · Computer Science 2011-12-06 Iyad Kanj , Ge Xia