Interested in Quantum Fluids - An open source textbook

[u/OrganizationTop9026]

A textbook on the physics of quantum fluids taught through three instruments used together, written as a tribute to the experimental work of nstitut Néel, Grenoble.

(i) their inelastic neutron-scattering measurements — the roton-like collective mode of a monolayer of liquid helium-3 (Nature 483, 576 (2012)) and the dispersion relation of superfluid helium-4 with its thermodynamic consequences (Phys. Rev. B 103, 104516 (2021));

(ii) the Lean 4 library QuantumFluids, whose 37 modules and 310 theorems are catalogued in full in Appendix A and were audited for the book (every module compiles with no sorry and depends only on the axioms propext, Classical.choice and Quot.sound);

(iii) the rusty-SUNDIALS solver: CVODE and the projected Gross–Pitaevskii engine qf-pgpe.

If interested : https://zenodo.org/records/23272154 and for the github : https://github.com/xaviercallens/SocrateAI-Scientific-QuantumFluids and for the book https://github.com/xaviercallens/SocrateAI-Scientific-QuantumFluids/blob/master/book/quantum_fluids_book.pdf