Tiheysmatriisi (tiheysoperaattori, tiheysmatriisioperaattori, tilastooperaattori) on yksi tavoista kuvata kvanttimekaanisen järjestelmän tilaa. Toisin kuin aaltofunktio , joka soveltuu vain puhtaiden tilojen kuvaamiseen , tiheysoperaattori voi yhtä hyvin määritellä sekä puhdasta että sekatilaa . Tiheysoperaattorin käsitteeseen perustuvaa formalismia ehdottivat itsenäisesti L. D. Landau [1] ja J. von Neumann [2] vuonna 1927 [3] ja F. Bloch [4] vuonna 1946 .
Tiheysoperaattori on ei- negatiivinen itseadjoint-operaattori , jonka yksikköjälki vaikuttaa erotettavaan Hilbert-avaruuteen . Jäljen yhtäläisyys yksikköön vastaa kokonaistodennäköisyyden yksikkönormalisointia annetussa tila-avaruudessa.
Tiheysoperaattorin vakiomerkintä on kirjain . Puhdasta tilaa vastaava tiheysoperaattori on ortogonaalinen projektori
mikä mahdollistaa sen esittämisen muodossa
.Sekoitettu tila, joka vastaa tapausta, jossa järjestelmä on jokaisessa keskenään ortogonaalisessa tilassa todennäköisyydellä , kuvataan muodon tiheysoperaattorilla
missä
Tiheysmatriisin antaman tilan havaittavan keskiarvo on operaattoreiden ja :
.Sitä ei ole vaikea nähdä[ virtaviivaistettu ilmaisu ] että tavallinen sääntö puhtaiden tilojen havaittavan keskiarvon löytämiseksi on tämän kaavan erikoistapaus .
Tiheysoperaattorin käyttö tulee tarpeelliseksi, jos kvanttimekaanisen järjestelmän tilaa ei syystä tai toisesta voida pitää puhtaana. Tämä tilanne esiintyy erityisesti kvanttitilastoissa . Tässä tapauksessa tiheysoperaattori osoittautuu klassisessa tilastomekaniikassa esiintyvän vaiheavaruuden tiheysjakaumafunktion luonnolliseksi analogiksi. Lisäksi kvanttimekaaninen mittausmenettely on tulkittu siirtymäksi alkuperäisestä puhtaasta tilasta sekoitettuun tilaan.
,missä ovat kantavektorit, jotka vastaavat valittua täydellistä mitattujen suureiden joukkoa.
Jälkimmäinen on erikoistapaus avoimien kvanttijärjestelmien kuvauksessa , joihin kuuluu muun muassa ulkoisen havainnoinnin alaisia järjestelmiä. Yleisesti ottaen formalismi, joka kuvaa ympäristön kanssa vuorovaikutuksessa olevia avoimia järjestelmiä tiheysmatriisin avulla, on hyödyllinen dekoherenssi -ilmiön tutkimisessa , kun järjestelmän tilaa ei voida pitää puhtaana ja ilmiö itsessään johtaa järjestelmän rappeutumiseen. tiheysoperaattorin diagonaaliset matriisielementit (vuorovaikutusoperaattorin ominaisarvojen perusteella) ja vastaavasti järjestelmän siirtymiseen sekatilaan .
Kvanttimekaniikassa kvanttijärjestelmän tilaa voidaan kuvata tilavektorilla . Tässä tapauksessa puhutaan puhtaasta tilasta . Se on kuitenkin mahdollista myös eri tilavektoreiden tilastollisessa ryhmässä olevalle järjestelmälle: esimerkiksi 50 % todennäköisyydellä tilavektori on , ja 50 % todennäköisyydellä, että tilavektori on . Tämä järjestelmä tulee olemaan sekatilassa. Tiheysmatriisit ovat erityisen hyödyllisiä sekatiloissa, koska mikä tahansa tila, puhdas tai sekoitettu, voidaan karakterisoida tiheysmatriisilla.
Sekatila eroaa kvantti-superpositiosta. Itse asiassa puhtaan tilan kvantisuperpositio on toinen puhdas tila, esimerkiksi . Toisaalta esimerkki sekatilasta olisi , jossa on reaaliluku, joka vaihtelee satunnaisesti eri fotonien välillä.