The Wiener sausage is one of the simplest non-Markovian functionals of Brownian motion. Its applications include stochastic phenomena including heat conduction. It was first described by Frank Spitzer (1964), and it was used by Mark Kac and Joaquin Mazdak Luttinger (1973, 1974) to explain results of a Bose–Einstein condensate, with proofs published by M. D. Donsker and S. R. Srinivasa Varadhan (1975).