En täthetsmatris, eller täthetsoperator, är en matris eller operator inom kvantmekaniken som beskriver ett kvanttillstånd. I motsats till en tillståndsvektor kan täthetsmatrisen beskriva blandade tillstånd, och inte bara rena tillstånd. Täthetsmatriser är särskilt användbara för att beskriva öppna kvantsystem, där växelverkan med omgivningen medför osäkerhet i tillståndet hos ett kvantsystem. Täthetsmatriser kan även vara användbara för att beskriva slutna system, till exempel om initialtillståndet är ett blandat tillstånd.

Begreppen täthetsmatris och täthetsoperator används vanligtvis synonymt. Formellt är täthetsoperatorn en operator, medan täthetsmatrisen är matrisrepresentationen av denna operator för ett givet val av basvektorer. I många fall används dock täthetsmatris som benämning på både operatorn och dess matrisrepresentation.

Rena och blandade tillstånd

redigera

Tillståndet för ett slutet fysikaliskt system, ett så kallat rent tillstånd, beskrivs inom kvantmekaniken av en tillståndsvektor   i ett Hilbertrum. Enligt kvantfysiken innehåller tillståndsvektorn all möjlig fysikalisk information om kvanttillståndet och gör det möjligt att teoretiskt beräkna väntevärden för olika observabler, de storheter som är möjliga att uppmäta genom experiment. Med hjälp av Schrödingerekvationen kan även tillståndets tidsutveckling bestämmas.

Tillståndsvektorn kan däremot inte användas för att beskriva en hel statistisk ensemble av   likadana slutna system. Varje enskilt system befinner sig då förvisso i ett tillstånd som beskrivs av en tillståndsvektor  , men denna tillståndsvektor behöver inte nödvändigtvis vara samma för samtliga av systemen. För att beskriva hela ensemblens tillstånd används istället en täthetsmatris  .

Låt anta att   av systemen befinner sig i tillståndet  . Sannolikheten att vid en mätning på ett slumpmässigt utvalt system finna tillståndet   är således

 .

Täthetsmatrisen för ensemblen ges då av

 

där   är en projektionsoperator som projicerar kvanttillstånd på tillståndet  . Notera att tillstånden   inte behöver vara ortogonala.

I allmänhet beskriver täthetsmatrisen ett blandat tillstånd, det vill säga systemen i ensemblen befinner sig inte alla i samma rena tillstånd  . Detta innebär att det finns en möjlighet att få olika utfall vid en mätning på ett slumpmässigt utvalt system. Täthetsmatrisen kan dock även beskriva rena tillstånd, vilka ges av  . Med andra ord kan täthetsmatrisen beskriva både rena tillstånd (vilket även en tillståndsvektor kan) och blandade tillstånd (vilket en tillståndsvektor inte kan). Således är täthetsmatrisen ett mer generellt koncept än tillståndsvektorn för att beskriva kvanttillstånd.

Täthetsmatrisen kan också beskriva kvanttillståndet för ett öppet system. Till skillnad från ett slutet system kan ett öppet system utbyta energi och/eller massa med sin omgivning, vilket innebär att dess tidsutveckling inte ges av Schrödingerekvationen. Sannolikheten   att finna systemet i ett tillstånd   vid ett visst ögonblick är given av andelen av tiden systemet befinner sig i detta tillstånd. Täthetsmatrisen för det öppna systemet ges då av samma uttryck som för en ensemble av slutna system.

Notera skillnaden mellan ett system som befinner sig i en koherent superposition  , det vill säga har täthetsmatrisen

 ,

och ett system som med lika stor sannolikhet befinner sig i antingen tillstånd   eller tillstånd  , det vill säga har täthetsmatrisen

 .

Det första systemet är ett exempel på ett rent tillstånd medan det andra systemet är ett exempel på ett blandat tillstånd.

Formalism

redigera

Givet en uppsättning av rena tillstånd   (som ej nödvändigtvis är ortogonala) och konvexa vikter (sannolikheter)   med relationen   ges täthetsmatrisen, eller täthetsoperatorn, av

Täthetsoperatorn

 

Täthetsoperatorn kan ekvivalent definieras som en operator som uppfyller följande villkor:

  1.  
  2.   (positiv operator)

Det andra villkoret medför att täthetsoperatorn är hermitesk. Notera att för ett rent tillstånd gäller att  , medan för ett blandat tillstånd gäller att  .

Matrisrepresentation

redigera

Täthetsmatrisen kan uttryckas på matrisform med hjälp av en ortonormal bas av tillstånd  . Fullständighetsrelationen medför att

 

där matriselementet   har införts. Exempelvis har täthetsmatrisen

 

matrisrepresentationen

 

i basen  .

Matriselementen  ,  , kallas populationer och beskriver sannolikheten att finna systemet i tillstånd  , medan matriselementen  ,  , kallas koherenser och beskriver koherenta superpositioner mellan olika tillstånd. Det är just koherenserna som utmärker kvantmekaniken från klassisk fysik.

I allmänhet kan matrisrepresentationen för en täthetsoperatorn skrivas som

Allmän matrisrepresentation

 

där   är dimensionen på matrisrepresentationen,  ,  ,   är en diagonalmatris med diagonalelementen   och   är en unitär   och unimodulär   matris, det vill säga  .

Kvantmätningar

redigera
Huvudartikel: Kvantmätning

Vid en kvantmätning av en observabel  , som matematiskt representeras av en operator som verkar på täthetsmatrisen, ges observabelns väntevärde   av

 .

Det gäller alltså att

Väntevärde  

 

I likhet med en tillståndsvektor påverkas täthetsmatrisen av själva mätningen. Om

 

där   är en projektionsoperator som projicerar kvanttillstånd på tillståndet  , gäller att täthetsmatrisen efter mätningen är  .

Sammansatta system

redigera
Se även: Tensorprodukt

Om ett fysikaliskt system består av två icke-interagerande delsystem   och   med tillhörande täthetsmatriser   och  , ges täthetsmatrisen för det sammansatta systemet av tensorprodukten  . Detta gäller dock inte i allmänhet och för så kallade sammanflätade system kan täthetsmatrisen inte ens skrivas som en konvexkombination av tensorprodukter av olika täthetsmatriser för vardera delsystem.

Reducerade täthetsmatriser

redigera

Om   är täthetsmatrisen för ett sammansatt system bestående av två (interagerande) delsystem   och  , så erhålls den reducerade täthetsmatrisen   för delsystem   från

Reducerad täthetsoperator

 

där   är det partiella spåret över omgivningen   och   en bas av tillstånd för denna omgivning.

Den reducerade täthetsmatrisen är ett viktigt koncept för beskrivningen av öppna system. Om täthetsmatrisen för systemet och dess omgivning är känd, kan den reducerade täthetsmatrisen för det öppna systemet erhållas direkt och på så sätt fås en beskrivning av enbart det öppna systemet.

Kvantsammanflätning

redigera
Huvudartikel: Kvantsammanflätning

Sammanflätning är ett typiskt kvantmekaniskt fenomen som saknar klassisk motsvarighet. Givet ett system bestående av två delsystem   och   kan tillståndet för hela systemet vara ett produkttillstånd, ett separabelt tillstånd eller ett sammanflätat tillstånd.

Ett produkttillstånd är ett tillstånd på formen

Produkttillstånd

 

Mätningar på respektive delsystem uppvisar i detta fall inga korrelationer sinsemellan sig.

Ett separabelt tillstånd är ett tillstånd på formen

Separabelt tillstånd

 

med konvexa vikter  . Mätningar på respektive delsystem uppvisar i detta fall klassiska korrelationer sinsemellan sig. Notera att ett produkttillstånd är ett specialfall av ett separabelt tillstånd.

Den tredje kategorin av tillstånd är sammanflätade tillstånd. Denna kategori innefattar alla andra tillstånd, det vill säga de som inte är separabla. Dessa tillstånd är av stort intresse eftersom de uppvisar så kallade kvantkorrelationer, alltså korrelationer som inte förekommer enligt klassisk fysik. Sammanflätade tillstånd utgör en viktig resurs för många protokoll inom kvantinformation.

Ett av de enklaste exemplen på sammanflätade tillstånd är ett singlettillstånd, vars täthetsmatris ges av

 .

Detta tillstånd är sammanflätat eftersom det inte kan skrivas som en konvexkombination av produkttillstånd.

Tidsutveckling

redigera

Liouville–von Neumann-ekvationen

redigera

Precis som Schrödingerekvationen beskriver tidsutvecklingen för ett slutet systems tillståndsvektor   beskriver Liouville–von Neumann-ekvationen tidsutvecklingen för ett slutet systems täthetsmatris:

Liouville–von Neumann-ekvationen

 

där   är Hamiltonoperatorn och   betecknar en kommutator.

Om Hamiltonoperatorn är tidsoberoende ges täthetsmatrisens tidsberoende explicit av

 

med tidsutvecklingsoperatorn  .

Masterekvationer

redigera
Huvudartikel: Masterekvation

Masterekvationer är ekvationer som beskriver tidsutvecklingen för en täthetsmatris för ett öppet system, som kan utbyta energi och/eller massa med sin omgivning. Tidsutvecklingen för täthetsmatrisen för det öppna systemet   med omgivning   beskrivs av Liouville–von Neumann-ekvationen eftersom systemet och dess omgivning tillsammans utgör ett slutet system. Med hjälp av ett antal antaganden, som vanligtvis bygger på Born-Markov-approximationen samt antagandet att systemet initialt är i ett produkttillstånd  , erhålls en masterekvation på Lindbladform. Masterekvationerna beskriver en kontinuerlig tidsutveckling av den reducerade täthetsmatrisen   och dess mest allmänna form erhålls från villkoret att ekvationen hela tiden måste bevara täthetsmatrisens egenskaper (att operatorn är positiv och att dess spår är ett). Detta ger den allmänna formen för en masterekvation på Lindbladform:

Masterekvation på Lindbladform

 

där   är en Lindbladoperator som beskriver interaktionen mellan det öppna systemet och dess omgivning. Exakt hur Lindbladoperatorerna ser ut beror på det specifika systemets egenskaper. I allmänhet är tidsutvecklingen för ett öppet system dock mer komplicerat än vad som kan beskrivas med masterekvationer.

Entropi

redigera
Huvudartikel: Entropi

Från täthetsmatrisen kan von Neumann-entropin   för det fysikaliska systemet i fråga beräknas. Eftersom täthetsmatrisen per definition är en positiv operator (och därmed hermitesk) gäller att den kan skrivas som  , där   är ortogonala tillståndsvektorer,   och  . Entropin för systemet ges då av

von Neumanns entropi

 

Notera att om   för något   kommer entropin fortfarande att vara väldefinierad eftersom  . I allmänhet gäller att ju större osäkerhet (ju fler mikrotillstånd) som finns i ett system, desto större entropi har systemet. Exempelvis är entropin för alla rena tillstånd noll.

Om   är en unitär operator gäller att

 

vilket gäller exempelvis för tidsutvecklingsoperatorn  . För ett system som inte interagerar med sin omgivning gäller att Hamiltonoperatorn är tidsoberoende och att  . Entropin är således konstant för ett system som inte interagerar med sin omgivning.

Exempel

redigera

I allmänhet kan täthetsmatrisen se ut hur som helst så länge den uppfyller villkoren i definitionen, det vill säga är en positiv operator med spår lika med ett. Beroende på systemets storlek kan täthetsmatrisen ha olika dimensioner. Vissa specifika täthetsmatriser av stor betydelse har fått egna namn tilldelade till sig, däribland singlettillståndet och Wernertillståndet.

Kvantbit

redigera
Huvudartikel: Kvantbit

Tillståndet för en kvantbit, som kan vara i en godtycklig superposition mellan två olika tillstånd   och  , ges av tillståndsmatrisen

 

där   är Paulivektorn vars komponenter är Paulimatriser och   är en vektor som avgör vilket tillstånd kvantbiten befinner sig i. Om kvantbiten är i ett rent tillstånd gäller att  , medan om den är i ett blandat tillstånd gäller att  .


Singlettillstånd

redigera
Huvudartikel: Singlettillstånd

Ett singlettillstånd beskriver tillståndet för två elektroner vars totala spinn är noll. Detta innebär att den ena elektronens spinn måste peka uppåt och den andra elektronens spinn peka nedåt. På grund av att partiklarna är ourskiljbara består tillståndet av en superposition givet av det rena tillståndet

 .

Detta tillstånd kan uttryckas med täthetsmatrisen

 

eller, på matrisform, som

 

i basen  .

Singlettillståndet är ett exempel på ett Belltillstånd, det vill säga ett maximalt sammanflätat tillstånd. En mätning på en av partiklarnas spinn påverkar inte bara denna partikel utan även den andra partikeln. Om utfallet vid en mätning på den ena partikelns spinn ger spinn upp, kommer tillståndet för den andra partikelns spinn omedelbart att kollapsa till spinn ned.

Detta ger dock inte någon möjlighet till supraluminal kommunikation. Om systemet med de två elektronerna delas upp i två delsystem   och   för respektive partikel, ges den reducerade täthetsmatrisen för system   av

 .

Den reducerade täthetsmatrisen för respektive partikel innehåller alltså ingen information om tillståndet för den andra partikeln. En observatör som mäter på en av partiklarna kommer således inte att kunna veta om en mätning har utförts på den andra partikeln och, om så vore fallet, vad utfallet var. Det är först efter att klassisk information om utfallet vid mätningarna på respektive partikel har överförts som kvantkorrelationerna uppenbarar sig.

Wernertillstånd

redigera
Huvudartikel: Wernertillstånd

Wernertillståndet är ett kvanttillstånd nära besläktat med singlettillståndet givet av täthetsmatrisen

 

där   är en konvex vikt. Wernertillståndet är med andra ord ett blandat tillstånd mellan ett singlettillstånd och ett maximalt blandat tillstånd. Parametern   avgör hur stor sannolikheten är att Wernertillståndet befinner sig i singlettillståndet. Matrisrepresentationen av Wernertillståndet ges av

 

i basen  . Notera att för   sammanfaller Wernertillståndet med singlettillståndet. Wernertillståndet är sammanflätat för  .

Se även

redigera

Referenser

redigera
  • Breuer, Heinz-Peter; Francesco Petruccione (2002). The Theory of Open Quantum Systems. Oxford University Press. ISBN 9780198520634 
  • Nielsen, Michael A.; Isaac L. Chuang (2010). Quantum Computation and Quantum Information (10th Anniversary Edition). Cambridge University Press. ISBN 9781107002173