mathematical-physics / Kinetic theory; fluctuation theory

Long-time nonequilibrium fluctuations of the hard-sphere gas (finite-dimensional laws)

For a deterministic grand-canonical hard-sphere gas in R3\mathbb R^3 with smooth initial density having summable Gaussian bounds on it and its gradient, on every [0,T][0,T] where the Boltzmann solution has uniform Gaussian velocity decay, the empirical measure centered at its exact microscopic expectation and scaled by με\sqrt{\mu_\varepsilon} has finite-dimensional distributions converging to those of the Gaussian solution of the linear fluctuating Boltzmann equation. It does not prove process-level convergence or tightness, does not treat periodic domains (the BGSS setting) or potentials, and assumes the regular kinetic solution exists.

24Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

mathematical-physicsSep 23, 2026Significance 24/100Registry: unreviewed

Long-time nonequilibrium fluctuations of the hard-sphere gas (finite-dimensional laws)

Prior state unknown→proved

For a deterministic grand-canonical hard-sphere gas in R3\mathbb R^3 with smooth initial density having summable Gaussian bounds on it and its gradient, on every [0,T][0,T] where the Boltzmann solution has uniform Gaussian velocity decay, the empirical measure centered at its exact microscopic expectation and scaled by με\sqrt{\mu_\varepsilon} has finite-dimensional distributions converging to those of the Gaussian sol…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For a deterministic grand-canonical hard-sphere gas in R3\mathbb R^3 with smooth initial density having summable Gaussian bounds on it and its gradient, on every [0,T][0,T] where the Boltzmann solution has uniform Gaussian velocity decay, the empirical measure centered at its exact microscopic expectation and scaled by με\sqrt{\mu_\varepsilon} has finite-dimensional distributions converging to those of the Gaussian solution of the linear fluctuating Boltzmann equation. It does not prove process-level convergence or tightness, does not treat periodic domains (the BGSS setting) or potentials, and assumes the regular kinetic solution exists.

For a deterministic grand-canonical hard-sphere gas in R3\mathbb R^3 with smooth initial density having summable Gaussian bounds on it and its gradient, on every [0,T][0,T] where the Boltzmann solution has uniform Gaussian velocity decay, the empirical measure centered at its exact microscopic expectation and scaled by με\sqrt{\mu_\varepsilon} has finite-dimensional distributions converging to those of the Gaussian solution of the linear fluctuating Boltzmann equation. It does not prove process-level convergence or tightness, does not treat periodic domains (the BGSS setting) or potentials, and assumes the regular kinetic solution exists.

Recorded attempts

Evidence graph

Connected research record