Lee-Yang-satsen

Inom statistisk mekanik , säger Lee-Yang-satsen att om partitionsfunktioner för vissa modeller i statistisk fältteori med ferromagnetiska interaktioner betraktas som funktioner av ett yttre fält, så är alla nollor rent imaginära (eller på enhetscirkeln efter en förändring av variabeln ). Den första versionen bevisades för Ising-modellen av TD Lee och CN Yang ( 1952 ) ( Lee & Yang 1952) . Deras resultat utökades senare till mer allmänna modeller av flera personer. Asano utvidgade 1970 Lee-Yang-satsen till Heisenberg-modellen och gav ett enklare bevis med Asano-sammandragningar . Simon & Griffiths (1973) utökade Lee-Yang-satsen till vissa kontinuerliga sannolikhetsfördelningar genom att approximera dem genom en superposition av Ising-modeller. Newman (1974) gav en allmän sats som grovt anger att Lee-Yang-satsen gäller för en ferromagnetisk interaktion förutsatt att den gäller för noll interaktion. Lieb & Sokal (1981) generaliserade Newmans resultat från mått på R till mått på högredimensionellt euklidiskt rum.

Det har förekommit vissa spekulationer om ett samband mellan Lee-Yang-satsen och Riemann-hypotesen om Riemanns zeta-funktion ; se ( Knauf 1999 ).

Påstående

Förberedelser

Längs formaliseringen i Newman (1974) ges Hamiltonian av

där Sj är spinnvariabler, z j externt fält. Systemet sägs vara ferromagnetiskt om alla koefficienter i interaktionstermen J jk är icke-negativa realer.

Partitionsfunktionen ges av

där varje j är ett jämnt mått på de reella R som minskar i oändligheten så snabbt att alla Gaussiska funktioner är integrerbara, dvs.

Ett snabbt minskande mått på realerna sägs ha Lee-Yang-egenskapen om alla nollor i dess Fouriertransform är reella enligt följande.

Sats

Lee -Yang-satsen säger att om Hamiltonian är ferromagnetisk och alla måtten j har Lee-Yang-egenskapen, och alla tal z j har positiv reell del, så är partitionsfunktionen icke-noll.

I synnerhet om alla siffror zj är lika med något tal z , så är alla nollor i partitionsfunktionen (betraktad som en funktion av z ) imaginära.

I det ursprungliga Ising-modellfallet som Lee och Yang betraktade, har alla måtten stöd på 2-punktsuppsättningen −1, 1, så partitionsfunktionen kan betraktas som en funktion av variabeln ρ = e π z . Med denna förändring av variabeln säger Lee–Yang-satsen att alla nollor ρ ligger på enhetscirkeln.

Exempel

Några exempel på mått med egenskapen Lee–Yang är:

  • Måttet på Ising-modellen, som har stöd bestående av två punkter (vanligtvis 1 och −1) vardera med vikten 1/2. Detta är det ursprungliga fallet som Lee och Yang betraktade.
  • Fördelningen av spinn n /2, vars stöd har n +1 lika åtskilda punkter, var och en med vikt 1/( n + 1). Detta är en generalisering av Ising-modellfallet.
  • Måttdensiteten jämnt fördelad mellan -1 och 1.
  • Densiteten
  • Densiteten för positiv λ och reell b . Detta motsvarar den ( φ 4 ) 2 euklidiska kvantfältteorin.
  • Densiteten för positiv λ har inte alltid Lee-Yang-egenskapen.
  • Om dμ har Lee-Yang-egenskapen, så har exp( bS 2 ) för alla positiva b .
  • Om har Lee-Yang-egenskapen, så har Q ( S ) för alla jämna polynom Q vars alla nollor är imaginära.
  • Konvolutionen av två mått med Lee-Yang-egenskapen har också Lee-Yang-egenskapen.

Se även