Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Winer, Michael, Herderschee, Aidan
Format: Preprint
Veröffentlicht: 2025
Schlagworte:
Online-Zugang:https://arxiv.org/abs/2503.11761
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866908279488118784
author Winer, Michael
Herderschee, Aidan
author_facet Winer, Michael
Herderschee, Aidan
contents Constraint Satisfaction Problems are ubiquitous in fields ranging from the physics of solids to artificial intelligence. In many cases, such systems undergo a transition when the ratio of constraints to variables reaches some value $α_{\textrm{crit}}$. Above this critical value, it is exponentially unlikely that all constraints can be mutually satisfied. We calculate the probability that constraints can all be satisfied, $P(\textrm{SAT})$, for the spherical perceptron. Traditional replica methods, such as the Parisi ansatz, fall short. We find a new ansatz, the jammed Parisi ansatz, that correctly describes the behavior of the system in this regime. With the jammed Parisi ansatz, we calculate $P(\textrm{SAT})$ for the first time and match previous computations of thresholds. We anticipate that the techniques developed here will be applicable to general constraint satisfaction problems and the identification of hidden structures in data sets.
format Preprint
id arxiv_https___arxiv_org_abs_2503_11761
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle A Jammed Parisi Ansatz
Winer, Michael
Herderschee, Aidan
Statistical Mechanics
Constraint Satisfaction Problems are ubiquitous in fields ranging from the physics of solids to artificial intelligence. In many cases, such systems undergo a transition when the ratio of constraints to variables reaches some value $α_{\textrm{crit}}$. Above this critical value, it is exponentially unlikely that all constraints can be mutually satisfied. We calculate the probability that constraints can all be satisfied, $P(\textrm{SAT})$, for the spherical perceptron. Traditional replica methods, such as the Parisi ansatz, fall short. We find a new ansatz, the jammed Parisi ansatz, that correctly describes the behavior of the system in this regime. With the jammed Parisi ansatz, we calculate $P(\textrm{SAT})$ for the first time and match previous computations of thresholds. We anticipate that the techniques developed here will be applicable to general constraint satisfaction problems and the identification of hidden structures in data sets.
title A Jammed Parisi Ansatz
topic Statistical Mechanics
url https://arxiv.org/abs/2503.11761