|
Continuum phase transitions for radial pair potentials
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
|
>>> Check out Coolmath's new
Snaky <<<
|
LOADING...
0%
thinking... about 3 hours remaining
GAME #228
Continuum phase transitions for radial pair potentials
2 levels of pure luck, magnets!
PLAY
LEAN VERIFIED
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model
| >>> How to Play <<< |
| Continuum phase transitions for radial pair potentials. Constructs stable distance-dependent pair interactions for three-dimensional classical particles with a first-order phase transition: the canonical free energy has a derivative jump at one inverse temperature throughout an open density interval. One potential has a divergent repulsive core; another is bounded and continuous with an integrable power-law tail, realizing the type of transition sought in Simon's continuum problem. |
| >>> Level Select <<< |
|
We construct a stable radial pair potential in three dimensions whose canonical free energy has a strict downward derivative jump at one common finite positive inverse temperature throughout an open interval of positive densities. The potential has a divergent repulsive core, a nontrivial attractive interval, and an integrable tail satisfying $\phi(r)=o(r^{-3})$. Its free-cube canonical free energy is finite at every positive inverse temperature and density.
| |
We construct a bounded, continuous, stable radial pair potential in three dimensions with $|\phi(r)|\le Cr^{-3-1/32}$ for r ≥ 1. Throughout an open interval of positive densities, its canonical thermodynamic free energy is finite at every positive inverse temperature and has a strict downward derivative jump at one common finite positive inverse temperature.
|
|