Replica symmetry breaking at arbitrary depth
A Lean formalization of open phases with every prescribed finite replica symmetry breaking depth in mixed even-spin Ising models at zero external field and positive temperature. The first selected result constructs strictly increasing even degrees beginning at four and a nonempty open set of positive effective covariance coefficients, with an optimizing probability measure having exactly k+1 support points. The independent statement uses concrete Gaussian Cole–Hopf recursions and comparison against all finite schemes at every competing depth. The substantive development constructs minimizers…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-11-000017
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-11-000017/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-11-000017/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'