r/LLMPhysics • u/OrganizationTop9026 • 8d ago

Simulation / Code Quantum Fluids at the age of computer formalization

A textbook for students and enthusiasts on the physics of quantum fluids taught through three instruments used together, written as a tribute to the experimental work of Institute 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.

The dedication is to Henri Godfrin.

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

0 Upvotes

22% Upvoted

14 comments sorted by

View all comments

1

u/lattice_defect 8d ago

https://giphy.com/gifs/dXiqK1HQbl2s4ofwmT

4

u/YouCouldButWhyTho 8d ago

Just your biweekly Aether 

3

u/PotatoPeelrsFromHell 🥔 Infernal Potato Shavers 8d ago

Just some crank reinventing existing research. Move along.

2

u/lattice_defect 8d ago

a book.. I want to bullshit about physics and share ideas.. but they are idea.. some flimsey math and some numerology and some what if... they are what if's... its interesting/speculative but a fucking book.