English
Related papers

Related papers: Exact Phase Transitions in Random Constraint Satis…

200 papers

The ability to understand and solve high-dimensional inference problems is essential for modern data science. This article examines high-dimensional inference problems through the lens of information theory and focuses on the standard…

Information Theory · Computer Science 2019-07-05 Galen Reeves , Henry Pfister

In the maximum constraint satisfaction problem (Max CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to assign values from a given domain to the variables so as to…

Computational Complexity · Computer Science 2007-05-23 Peter Jonsson , Mikael Klasson , Andrei Krokhin

In this paper we study the forced instance spaces of model RB, where one or two arbitrary satisfying assignments have been imposed. We prove rigorously that the expected number of solutions of forced RB instances is asymptotically the same…

Computational Complexity · Computer Science 2021-03-16 Guangyan Zhou

Many real world problems naturally appear as constraints satisfaction problems (CSP), for which very efficient algorithms are known. Most of these involve the combination of two techniques: some direct propagation of constraints between…

Artificial Intelligence · Computer Science 2013-04-12 Denis Berthier

We study the phase diagram and the algorithmic hardness of the random `locked' constraint satisfaction problems, and compare them to the commonly studied 'non-locked' problems like satisfiability of boolean formulas or graph coloring. The…

Disordered Systems and Neural Networks · Physics 2008-12-09 Lenka Zdeborová , Marc Mézard

The Promise Constraint Satisfaction Problem (PCSP) is a generalization of the Constraint Satisfaction Problem (CSP) that includes approximation variants of satisfiability and graph coloring problems. Barto [LICS '19] has shown that a…

Computational Complexity · Computer Science 2025-06-09 Kristina Asimi , Libor Barto

We develop a polynomial time $\Omega\left ( \frac 1R \log R \right)$ approximate algorithm for Max 2CSP-$R$, the problem where we are given a collection of constraints, each involving two variables, where each variable ranges over a set of…

Data Structures and Algorithms · Computer Science 2015-04-07 Guy Kindler , Alexandra Kolla , Luca Trevisan

We introduce an efficient message passing scheme for solving Constraint Satisfaction Problems (CSPs), which uses stochastic perturbation of Belief Propagation (BP) and Survey Propagation (SP) messages to bypass decimation and directly…

Artificial Intelligence · Computer Science 2016-01-05 Siamak Ravanbakhsh , Russell Greiner

With the growth of renewable generation (RG) and the development of associated ride through curves serving as operating limits, during disturbances, on violation of these limits, the power system is at risk of losing large amounts of…

Dynamical Systems · Mathematics 2019-11-19 Chetan Mishra , Reetam Sen Biswas , Anamitra Pal , Virgilio A. Centeno

We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two aspects of the problem: defining a measure of complexity and…

Artificial Intelligence · Computer Science 2015-06-03 Denis Berthier

We study the planar matching problem, defined by a symmetric random matrix with independent identically distributed entries, taking values 0 and 1. We show that the existence of a perfect planar matching structure is possible only above a…

Statistical Mechanics · Physics 2015-06-16 Andrey Y. Lokhov , Sergei K. Nechaev , Mikhail V. Tamm , Olga V. Valba

Regression problems with bounded continuous outcomes frequently arise in real-world statistical and machine learning applications, such as the analysis of rates and proportions. A central challenge in this setting is predicting a response…

Machine Learning · Statistics 2025-07-21 Zhanli Wu , Fabrizio Leisen , F. Javier Rubio

This paper is concerned with the problem of recovering a structured signal from a relatively small number of corrupted random measurements. Sharp phase transitions have been numerically observed in practice when different convex programming…

Information Theory · Computer Science 2021-01-05 Zhongxing Sun , Wei Cui , Yulong Liu

We propose Robust Narrowest Significance Pursuit (RNSP), a methodology for detecting localized regions in data sequences which each must contain a change-point in the median, at a prescribed global significance level. RNSP works by fitting…

Methodology · Statistics 2024-02-02 Piotr Fryzlewicz

We study several statistical mechanical models on a general tree. Particular attention is devoted to the classical Heisenberg models, where the state space is the d-dimensional unit sphere and the interactions are proportional to the…

Probability · Mathematics 2016-09-07 Robin Pemantle , Jeffrey E. Steif

Recently, we introduced [Physical Review E 100, 022303 (2019)] a stochastic social balance model with Glauber dynamics which takes into account the role of randomness in the individual's behavior. One important finding of our study was a…

Physics and Society · Physics 2021-06-16 Pouya Manshour , Afshin Montakhab

Pemantle and Steif provided a sharp threshold for the existence of a RPT (robust phase transition) for the continuous rotator model and the Potts model in terms of the branching number and the second eigenvalue of the transfer operator,…

Probability · Mathematics 2017-12-06 Christof Kuelske , Philipp Schriever

In this thesis, we present results on phase transition for two models: the semi-infinite Ising model with a decaying field, and the long-range Ising model with a random field. We study the semi-infinite Ising model with an external field…

Mathematical Physics · Physics 2024-03-11 João Maia

Blind gain and phase calibration (BGPC) is a structured bilinear inverse problem, which arises in many applications, including inverse rendering in computational relighting (albedo estimation with unknown lighting), blind phase and gain…

Information Theory · Computer Science 2016-11-03 Yanjun Li , Kiryung Lee , Yoram Bresler

The phase transition in frustrated spin systems is a fascinated subject in statistical physics. We show the result obtained by the Wang-Landau flat histogram Monte Carlo simulation on the phase transition in the fully frustrated simple…

Statistical Mechanics · Physics 2010-12-21 V. Thanh Ngo , D. Tien Hoang , Hung The Diep