Satisfiability and freezing in random integer programs T8F19ZGHF3
| URI | m2://res/T8F19ZGHF3 |
|---|---|
| Kind | preprint |
| Creators | Dylan J. Altschuler, Ruben Ascoli, Will Perkins |
| Date | 2026-10-08 |
| MSC | 60-XX, 05-XX |
| Subjects | arxiv math.PR, arxiv cs.DM, arxiv math.CO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-08 |
| Ids | arXiv 2610.14085 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| Near-binary entropy | statement | lemma B.2 | arxiv |
| Small-window profile | statement | lemma 4.7 | arxiv |
| Verification of the second-moment condition | statement | proposition 1.4 | arxiv |
| First-moment truncation | statement | theorem 3.1 | arxiv |
| Solution spheres | definition | definition 2.1 | arxiv |
| 3EK076FG2Z | problem | problem 1.7 | arxiv |
| Small-window scalar estimate | statement | lemma B.1 | arxiv |
| First-moment prediction for satisfiability | definition | definition 1.4 | arxiv |
| Planar discrete Gaussian | definition | definition 1.5 | arxiv |
| 60QEFEE0CQ | statement | proposition 2.1 | arxiv |
| 67EQ1AHCV8 | problem | problem 1.1 | arxiv |
| Cycle counts under low-rank resampling | statement | lemma 5.3 | arxiv |
| Gaussian overlap estimates | statement | lemma 4.4 | arxiv |
| 7WFQNED77S | statement | proposition 6.4 | arxiv |
| Entropy interpolation | statement | lemma 4.5 | arxiv |
| Bulk profile | statement | lemma 4.6 | arxiv |
| Critical first moment | statement | lemma 7.2 | arxiv |
| Model of random polytope | definition | definition 1.1 | arxiv |
| Scalar discrete Gaussian | definition | definition 1.3 | arxiv |
| Unique maximum for first moment | statement | corollary 3.8 | arxiv |
| EJKEZY8XVW | problem | problem 1.2 | arxiv |
| Second moment and solution-space geometry | statement | lemma 6.1 | arxiv |
| Central estimate | statement | proposition 4.3 | arxiv |
| Sharp threshold | statement | corollary 6.2 | arxiv |
| Asymptotic count of lattice points | statement | proposition 3.3 | arxiv |
| J6XJWPD994 | problem | problem 1.9 | arxiv |
| Asymptotic lattice-pair count | statement | proposition 3.4 | arxiv |
| Conditional cycle counts | statement | proposition 5.2 | arxiv |
| Sharp threshold and critical window | statement | theorem 1.5 | arxiv |
| Punctured lattice points and solutions | definition | definition 1.2 | arxiv |
| Entropy derivatives | statement | proposition 4.2 | arxiv |
| Endpoint profile estimate | statement | lemma 6.3 | arxiv |
| Sharp threshold and critical window | statement | theorem 7.1 | arxiv |
| Near-binary profile | statement | lemma 4.8 | arxiv |
| TDG4NH6TA3 | statement | proposition 4.1 | arxiv |
| Shape of first moment | statement | lemma 3.7 | arxiv |
| XJ1A073RX7 | statement | proposition 6.6 | arxiv |
| XJCX6R1ZXY | statement | lemma 3.2 | arxiv |
| Discrete Gaussian moment inequality | statement | proposition 3.6 | arxiv |
| Distribution limits of shifted cycle counts | statement | lemma 5.1 | arxiv |
| Entropy of the discrete Gaussian | statement | proposition 3.5 | arxiv |
| Cycle counts | definition | definition 5.1 | arxiv |
| Structure of solutions and solution space | statement | theorem 1.6 | arxiv |
Catalogue records
- arxiv: 2610.14085 (work)
- arxiv_text: 2610.14085 (work)