{"id":"palomar/PALOMAR-2026-11-01-000016","url":"https://github.com/pmaronow/superfluidity-palomar/tree/5baea1d13edcb17ec0d7746c8c7ad23ae7ddcd35","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-01-000016-v1.json","repo":"https://github.com/pmaronow/superfluidity-palomar","tags":["math-ph","msc:82B10"],"score":0,"title":"Superfluid stiffness and nonclassical rotational inertia of the dilute hard-sphere Bose gas","trust":"high","domain":"math-ph","source":"palomar","authors":["P. M. Aronow","Patrick Lopatto"],"reviews":0,"subject":"math-ph","summary":"Lean 4 formalization of the principal superfluid-stiffness, nonclassical rotational-inertia, winding, and high-temperature normal-phase results of the supplied manuscript, with concrete hard-sphere path measures and Dirichlet-form response definitions.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-01","reactions":{},"formalized":true,"formalizes":[{"title":"Superfluid Stiffness and Nonclassical Rotational Inertia of the Dilute Hard-Sphere Bose Gas","identifier":"sha256:823c9fda0e75f308980f63c5efa0605358888047348c5097d1694a498b16eff3","relationship":"formalizes"},{"title":"Bose–Einstein condensation at positive temperature in the dilute hard-sphere gas","identifier":"https://github.com/openai/math/blob/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Bose-Einstein-condensation-at-positive-temperature-in-the-dilute-hard-sphere-gas-October-5-2026/positive-temperature-hard-spheres.pdf","relationship":"adapts"},{"title":"Ground-state condensation in the dilute hard-sphere gas","identifier":"https://github.com/openai/math/blob/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Ground-state-condensation-in-the-dilute-hard-sphere-gas-September-24-2026/paper.pdf","relationship":"adapts"},{"title":"A density-uniform condensate bound for dilute Bose gases","identifier":"https://github.com/openai/math/blob/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/A-density-uniform-condensate-bound-for-dilute-Bose-gases-September-27-2026/paper.pdf","relationship":"adapts"}]}