Formaali määritelmä
Oletetaan, että kvanttisysteemiä kuvaa enintään numeroituva joukko ominaistiloja . Tällöin sen tiheysmatriisi on yleisesti muotoa
missä ovat kompleksikertoimia. Tiheysmatriisi on hermiittinen ja normalisoituva. Toisin sanoen
ja
missä Tr on matriisin jälki. Tiheysmatriisin diagonaalialkiot kuvaavat tilojen todennäköisyyksiä, ja ei-diagonaalialkiot tilojen välisiä koherensseja.
Observaabelin odotusarvo voidaan laskea tiheysmatriisista käyttäen kaavaa
missä on operaattorin matriisielementti.
Aikakehitys
Tiheysmatriisi toteuttaa Liouvillen yhtälön
missä on Diracin vakio ja on systeemin Hamiltonin operaattorita. Avoimissa systeemeissä kiinnostavan osasysteemin tiheysmatriisia tutkittaessa saadaan yllä olevaan yhtälöön ympäristöä kuvaava lisätermi. Tuon lisätermin avulla voidaan tutkia mm. kvanttisysteemin relaksaatio ja vaihekoherenssin menetystä.
Katso myös