{"id":"arxiv/2610.14085","url":"https://arxiv.org/abs/2610.14085","tags":["math.PR","cs.DM","math.CO"],"score":0,"title":"Satisfiability and freezing in random integer programs","domain":"math.PR","source":"arxiv","authors":["Dylan J. Altschuler","Ruben Ascoli","Will Perkins"],"reviews":0,"subject":"math.PR","summary":"We study a model of a random centrally symmetric polytope and ask about the existence of points in the polytope with non-zero, integer coordinates. Our main results are the location of a sharp threshold for the existence of these integer points, a characterization of the typical empirical distribution of their coordinates, and showing that near the feasibility threshold these integer points are almost always totally isolated --- at linear Hamming distance to the nearest other integer point in the polytope. The behavior of these random integer programs is related to that of the symmetric…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}