English
Related papers

Related papers: Phase coexistence and finite-size scaling in rando…

200 papers

Consider a critical random multigraph $\mathcal{G}_n$ with $n$ vertices constructed by the configuration model such that its vertex degrees are independent random variables with the same distribution $\nu$ (criticality means that the second…

Probability · Mathematics 2014-09-12 Adrien Joseph

The question of spontaneous apparition of singularity in the 3D incompressible Euler equations is one of the most important and challenging open problems in mathematical fluid mechanics. In this survey article we review some of recent…

Analysis of PDEs · Mathematics 2007-05-23 Dongho Chae

The set of solutions of random constraint satisfaction problems (zero energy groundstates of mean-field diluted spin glasses) undergoes several structural phase transitions as the amount of constraints is increased. This set first breaks…

Statistical Mechanics · Physics 2007-12-19 Guilhem Semerjian

We establish the satisfiability threshold for random $k$-SAT for all $k\ge k_0$, with $k_0$ an absolute constant. That is, there exists a limiting density $\alpha_*(k)$ such that a random $k$-SAT formula of clause density $\alpha$ is with…

Probability · Mathematics 2021-04-16 Jian Ding , Allan Sly , Nike Sun

We study $(1+1)$-dimensional $SU(N)$ spin systems in the presence of the global $SU(N)$ rotation and lattice translation symmetries. By matching the mixed anomaly of the $PSU(N)\times\mathbb{Z}$ symmetry in the continuum limit, we identify…

Strongly Correlated Electrons · Physics 2019-11-06 Yuan Yao , Chang-Tse Hsieh , Masaki Oshikawa

We study the complexity of satisfiability problems in probabilistic and causal reasoning. Given random variables $X_1, X_2,\ldots$ over finite domains, the basic terms are probabilities of propositional formulas over atomic events $X_i =…

Computational Complexity · Computer Science 2025-04-29 Markus Bläser , Julian Dörfler , Maciej Liśkiewicz , Benito van der Zander

This paper depicts algorithms for solving the decision Boolean Satisfiability Problem. An extreme problem is formulated to analyze the complexity of algorithms and the complexity for solving it. A novel and easy reformulation as a lottery…

Computational Complexity · Computer Science 2016-04-15 Carlos Barrón-Romero

We study geometrical properties of the complete set of solutions of the random 3-satisfiability problem. We show that even for moderate system sizes the number of clusters corresponds surprisingly well with the theoretic asymptotic…

Statistical Mechanics · Physics 2008-10-02 John Ardelius , Lenka Zdeborová

We propose and solve a simple but very general quantum model of an SU(2) spin interacting with a large external system with N states. The coupling is described by a random hamiltonian in a new general gaussian SU(2)xU(N) random matrix…

Mathematical Physics · Physics 2011-01-13 Francois David

Inspired by notorious combinatorial optimization problems on graphs, in this paper we consider a series of related problems defined using a metric space and topology determined by a graph. Particularly, we present the Independent Set,…

Combinatorics · Mathematics 2025-07-30 Alexander Grigoriev , Katherine Faulkner

In the Planar 3-SAT problem, we are given a 3-SAT formula together with its incidence graph, which is planar, and are asked whether this formula is satisfiable. Since Lichtenstein's proof that this problem is NP-complete, it has been used…

Computational Complexity · Computer Science 2023-06-22 Alexander Pilz

Random constraint satisfaction problems (CSPs) such as random $3$-SAT are conjectured to be computationally intractable. The average case hardness of random $3$-SAT and other CSPs has broad and far-reaching implications on problems in…

Computational Complexity · Computer Science 2019-11-11 Jonah Brown-Cohen , Prasad Raghavendra

Satisfiability of boolean formulae (SAT) has been a topic of research in logic and computer science for a long time. In this paper we are interested in understanding the structure of satisfiable and unsatisfiable sentences. In previous work…

Combinatorics · Mathematics 2021-05-25 Vaibhav Karve , Anil N. Hirani

We prove that, with high probability, the contradictory components of a random 2-SAT formula in the subcritical phase of the phase transition have only 3-regular kernels. This follows from the relation between these kernels and the complex…

Combinatorics · Mathematics 2019-04-24 Sergey Dovgal

We analyse the scaling limit of the sizes of the largest components of the Random Intersection Graph $G(n,m,p)$ close to the critical point $p=\frac{1}{\sqrt{nm}}$, when the numbers $n$ of individuals and $m$ of communities have different…

Probability · Mathematics 2019-10-30 Lorenzo Federico

Survey Propagation is an algorithm designed for solving typical instances of random constraint satisfiability problems. It has been successfully tested on random 3-SAT and random $G(n,\frac{c}{n})$ graph 3-coloring, in the hard region of…

Disordered Systems and Neural Networks · Physics 2010-04-02 A. Braunstein , M. Mezard , M. Weigt , R. Zecchina

The critical behaviour of the $D=0$ matrix model with potential perturbed by nonlocal term generating touchings between random surfaces is studied. It is found that the phase diagram of the model has many features of the phase diagram of…

High Energy Physics - Theory · Physics 2015-06-26 G. P. Korchemsky

We consider the random regular $k$-NAE-SAT problem with $n$ variables each appearing in exactly $d$ clauses. For all $k$ exceeding an absolute constant $k_0$, we establish explicitly the satisfiability threshold $d_*=d_*(k)$. We prove that…

Probability · Mathematics 2013-10-18 Jian Ding , Allan Sly , Nike Sun

We consider a variant of the classical Erd\H{o}s-R\'enyi random graph, where components with surplus are slowed down to prevent the apparition of complex components. The sizes of the components of this process undergo a similar phase…

Probability · Mathematics 2024-05-15 Vincent Viau

Motivated by applications, the last few years have witnessed tremendous interest in understanding the structure as well as the behavior of dynamics for inhomogeneous random graph models. In this study we analyze the maximal components at…

Probability · Mathematics 2016-08-02 Shankar Bhamidi , Sanchayan Sen , Xuan Wang