Quantum statistical mechanics: Difference between revisions

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
imported>Stepwise Continuous Dysfunction
 
imported>Stepwise Continuous Dysfunction
Canonical: more common notation
 
Line 1: Line 1:
{{Short description|Statistical mechanics of quantum-mechanical systems}}
{{Short description|Statistical mechanics of quantum-mechanical systems}}
{{No footnotes|date=September 2024}}


{{Modern physics}}
{{Thermodynamics sidebar|expanded=branches}}
{{Quantum mechanics|cTopic=Advanced topics}}
{{Quantum mechanics|cTopic=Advanced topics}}


'''Quantum statistical mechanics''' is [[statistical mechanics]] applied to [[quantum mechanics|quantum mechanical systems]].  
'''Quantum statistical mechanics''' is [[statistical mechanics]] applied to [[quantum mechanics|quantum mechanical systems]]. It relies on constructing [[density matrix|density matrices]] that describe quantum systems in [[thermal equilibrium]]. Its applications include the study of collections of [[identical particles]], which provides a theory that explains phenomena including [[superconductivity]] and [[superfluidity]].


== Expectation ==
== Density matrices, expectation values, and entropy ==
{{See also|Expectation value (quantum mechanics)|Density matrix#Measurement}}
{{main|Density matrix}}
In quantum mechanics a [[statistical ensemble (mathematical physics)|statistical ensemble]] ([[probability distribution]] over possible [[quantum state]]s) is described by a [[density matrix|density operator]] ''S'', which is a non-negative, [[self-adjoint]], [[trace-class]] operator of trace 1 on the [[Hilbert space]] ''H'' describing the quantum system.
In quantum mechanics, probabilities for the outcomes of experiments made upon a system are calculated from the [[quantum state]] describing that system. Each physical system is associated with a [[vector space]], or more specifically a [[Hilbert space]]. The [[Dimension (vector space)|dimension]] of the Hilbert space may be infinite, as it is for the space of [[square-integrable function]]s on a line, which is used to define the quantum physics of a continuous degree of freedom. Alternatively, the Hilbert space may be finite-dimensional, as occurs for [[Spin (physics)|spin]] degrees of freedom. A density operator, the mathematical representation of a quantum state, is a [[positive-definite matrix|positive semi-definite]], [[self-adjoint operator]] of [[trace class operator|trace]] one acting on the Hilbert space of the system.<ref name=fano1957>{{cite journal |doi=10.1103/RevModPhys.29.74 |title=Description of States in Quantum Mechanics by Density Matrix and Operator Techniques |journal=Reviews of Modern Physics |volume=29 |issue=1 |pages=74–93 |year=1957 |last1=Fano |first1=U. |author-link=Ugo Fano |bibcode=1957RvMP...29...74F }}</ref>{{sfn|Holevo|2001|pages=1,15}}<ref name=Hall2013pp419-440>{{cite book |doi=10.1007/978-1-4614-7116-5_19 |chapter=Systems and Subsystems, Multiple Particles |title=Quantum Theory for Mathematicians |volume=267 |pages=419–440 |series=[[Graduate Texts in Mathematics]] |year=2013 |last1=Hall |first1=Brian C. |isbn=978-1-4614-7115-8 |publisher=Springer}}</ref> A density operator that is a rank-1 projection is known as a ''pure'' quantum state, and all quantum states that are not pure are designated ''mixed''.{{sfn|Kardar|2007|p=172}} Pure states are also known as ''wavefunctions''. Assigning a pure state to a quantum system implies certainty about the outcome of some measurement on that system. The [[state space]] of a quantum system is the set of all states, pure and mixed, that can be assigned to it. For any system, the state space is a [[convex set]]: Any mixed state can be written as a [[convex combination]] of pure states, though [[HJW theorem|not in a unique way]].<ref>{{Cite journal|last=Kirkpatrick |first=K. A. |date=February 2006 |title=The Schrödinger-HJW Theorem |journal=[[Foundations of Physics Letters]] |volume=19 |issue=1 |pages=95–102 |doi=10.1007/s10702-006-1852-1 |issn=0894-9875 |arxiv=quant-ph/0305068|bibcode=2006FoPhL..19...95K }}</ref>


From classical probability theory, we know that the [[expected value|expectation]] of a [[random variable]] ''X'' is defined by its [[Probability distribution|distribution]] D<sub>''X''</sub> by
The prototypical example of a finite-dimensional Hilbert space is a [[qubit]], a quantum system whose Hilbert space is 2-dimensional. An arbitrary state for a qubit can be written as a linear combination of the [[Pauli matrices]], which provide a basis for <math>2 \times 2</math> self-adjoint matrices:{{sfnm|1a1=Wilde|1y=2017|1p=126 |2a1=Zwiebach|2y=2022|2at=§22.2}}
<math display="block"> \mathbb{E}(X) = \int_\mathbb{R}d \lambda \operatorname{D}_X(\lambda) </math>
<math display="block">\rho = \tfrac{1}{2}\left(I + r_x \sigma_x + r_y \sigma_y + r_z \sigma_z\right),</math>
assuming, of course, that the random variable is [[integrable]] or that the random variable is non-negative. Similarly, let ''A'' be an [[observable]] of a quantum mechanical system. ''A'' is given by a [[densely defined]] [[self-adjoint operator]] on ''H''. The [[spectral measure]] of ''A'' defined by
where the real numbers <math>(r_x, r_y, r_z)</math> are the coordinates of a point within the [[unit sphere|unit ball]] and
<math display="block">
  \sigma_x =
    \begin{pmatrix}
      0&1\\
      1&0
    \end{pmatrix}, \quad
  \sigma_y =
    \begin{pmatrix}
      0&-i\\
      i&0
    \end{pmatrix}, \quad
  \sigma_z =
    \begin{pmatrix}
      1&0\\
      0&-1
    \end{pmatrix} .</math>


<math display="block"> \operatorname{E}_A(U) = \int_U d\lambda \operatorname{E}(\lambda), </math>
In classical probability and statistics, the [[expected value|expected (or expectation) value]] of a [[random variable]] is the [[arithmetic mean|mean]] of the possible values that random variable can take, weighted by the respective probabilities of those outcomes. The corresponding concept in quantum physics is the expectation value of an [[observable]]. Physically measurable quantities are represented mathematically by [[self-adjoint operator]]s that act on the Hilbert space associated with a quantum system. The expectation value of an observable is the [[Hilbert–Schmidt inner product]] of the operator representing that observable and the density operator:{{sfnm|1a1=Holevo|1y=2001|1p=17|2a1=Peres|2y=1993|2pp=64,73 |3a1=Kardar|3y=2007|3p=172}}
<math display="block"> \langle A \rangle = \operatorname{tr}(A \rho).</math>  


uniquely determines ''A'' and conversely, is uniquely determined by ''A''. E<sub>''A''</sub>  is a [[Boolean homomorphism]] from the [[Borel subset]]s of '''R''' into the [[Lattice (order)|lattice]] ''Q'' of self-adjoint projections of ''H''. In analogy with probability theory, given a state ''S'', we introduce the ''distribution'' of ''A''  under ''S'' which is the probability measure defined on the Borel subsets of '''R''' by
The [[von Neumann entropy]], named after [[John von Neumann]], quantifies the extent to which a state is mixed.{{sfn|Holevo|2001|page=15}} It extends the concept of [[Gibbs entropy]] from classical statistical mechanics to quantum statistical mechanics, and it is the quantum counterpart of the [[Shannon entropy]] from classical [[information theory]]. For a quantum-mechanical system described by a [[density matrix]] {{mvar|ρ}}, the von Neumann entropy is{{sfnm|1a1=Bengtsson|1a2=Życzkowski|1y=2017|1p=355 |2a1=Peres|2y=1993|2p=264}}
<math display="block"> \operatorname{D}_A(U) = \operatorname{Tr}(\operatorname{E}_A(U) S). </math>
<math display="block"> S = - \operatorname{tr}(\rho \ln \rho),</math>
Similarly, the expected value of ''A'' is defined in terms of the probability distribution D<sub>''A''</sub> by
where <math>\operatorname{tr}</math> denotes the [[Trace (linear algebra)|trace]] and <math>\operatorname{ln}</math> denotes the [[matrix logarithm|matrix version]] of the [[natural logarithm]]. If the density matrix {{mvar|ρ}} is written in a basis of its [[eigenvectors]] <math>|1\rangle, |2\rangle, |3\rangle, \dots</math> as
<math display="block"> \mathbb{E}(A) = \int_\mathbb{R} d\lambda \, \operatorname{D}_A(\lambda).</math>
<math display="block"> \rho = \sum_j \eta_j \left| j \right\rang \left\lang j \right| ,</math>
Note that this expectation is relative to the  mixed state ''S'' which is used in the definition of D<sub>''A''</sub>.
then the von Neumann entropy is merely
<math display="block"> S = -\sum_j \eta_j \ln \eta_j .</math>
In this form, ''S'' can be seen as the Shannon entropy of the eigenvalues, reinterpreted as probabilities.{{sfnm|1a1=Bengtsson|1a2=Życzkowski|1y=2017|1p=360 |2a1=Peres|2y=1993|2p=264}}


'''Remark'''. For technical reasons, one needs to consider separately the positive and negative parts of ''A'' defined by the [[Borel functional calculus]] for unbounded operators.
The von Neumann entropy vanishes when <math>\rho</math> is a pure state. In the Bloch sphere picture, this occurs when the point <math>(r_x, r_y, r_z)</math> lies on the surface of the unit ball. The von Neumann entropy attains its maximum value when <math>\rho</math> is the ''maximally mixed'' state, which for the case of a qubit is given by <math>r_x =  r_y = r_z = 0</math>.{{sfnm|1a1=Rieffel|1a2=Polak|1y=2011|1pp=216–217 |2a1=Zwiebach|2y=2022|2at=§22.2}}


One can easily show:
The von Neumann entropy and quantities based upon it are widely used in the study of [[quantum entanglement]].{{sfn|Nielsen|Chuang|2010|p=700}}
<math display="block"> \mathbb{E}(A)  = \operatorname{Tr}(A S) = \operatorname{Tr}(S A). </math>
The [[trace of an operator]] ''A'' is written as follows:
<math display="block"> \operatorname{Tr}(A) = \sum_{m} \langle m  | A | m \rangle  . </math>
Note that if ''S'' is a [[pure state]] corresponding to the [[Euclidean vector|vector]] <math>\psi</math>, then:
<math display="block"> \mathbb{E}(A) = \langle \psi | A | \psi \rangle. </math>


== Von Neumann entropy ==<!-- This section is linked from [[Physical information]] -->
==Thermodynamic ensembles==
{{main|Von Neumann entropy}}
=== Canonical ===
 
Of particular significance for describing randomness of a state is the von Neumann entropy of ''S'' ''formally'' defined by
<math display="block"> \operatorname{H}(S) = -\operatorname{Tr}(S \log_2 S). </math> 
Actually, the operator  ''S'' log<sub>2</sub> ''S'' is not necessarily trace-class. However, if ''S'' is a non-negative self-adjoint operator not of trace class we define Tr(''S'') = +&infin;.  Also note that any density operator ''S'' can be diagonalized, that it can be represented in some orthonormal basis by a (possibly infinite) matrix of the form
<math display="block"> \begin{bmatrix} \lambda_1 & 0 & \cdots & 0 & \cdots \\ 0 & \lambda_2 & \cdots & 0 & \cdots\\ \vdots & \vdots & \ddots & \\ 0 & 0 & &  \lambda_n & \\ \vdots & \vdots & & & \ddots \end{bmatrix} </math>
and we define
<math display="block"> \operatorname{H}(S) = - \sum_i \lambda_i \log_2 \lambda_i. </math>
The convention is that <math> \; 0 \log_2 0 = 0</math>, since an event with probability zero should not contribute to the entropy. This value is an extended real number (that is in [0, &infin;]) and this is clearly a unitary invariant of ''S''.
 
'''Remark'''. It is indeed possible that H(''S'') = +&infin; for some density operator ''S''. In fact ''T'' be the diagonal matrix
<math display="block"> T = \begin{bmatrix} \frac{1}{2 (\log_2  2)^2 }& 0 & \cdots & 0 & \cdots \\ 0 & \frac{1}{3 (\log_2  3)^2 } & \cdots & 0 & \cdots\\ \vdots & \vdots & \ddots &  \\ 0 & 0 & &  \frac{1}{n (\log_2  n)^2 } & \\ \vdots & \vdots & & & \ddots \end{bmatrix} </math>
''T'' is non-negative trace class and one can show ''T'' log<sub>2</sub> ''T'' is not trace-class.
 
{{math theorem | Entropy is a unitary invariant.}}
 
In analogy with [[Shannon entropy#Formal definitions|classical entropy]] (notice the similarity in the definitions), H(''S'') measures the amount of randomness in the state ''S''. The more dispersed the eigenvalues are, the larger the system entropy. For a system in which the space ''H'' is finite-dimensional, entropy is maximized for the states ''S'' which in diagonal form have the representation
<math display="block"> \begin{bmatrix} \frac{1}{n} & 0 & \cdots & 0 \\ 0 & \frac{1}{n} & \dots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots &  \frac{1}{n} \end{bmatrix} </math>
For such an ''S'', H(''S'') = log<sub>2</sub> ''n''. The state ''S'' is called the maximally mixed state.
 
Recall that a [[pure state]] is one of the form
<math display="block"> S = | \psi \rangle \langle \psi |, </math>
for &psi; a vector of norm 1.
 
{{math theorem | math_statement =  {{math|1=H(''S'') = 0}} if and only if {{mvar|S}} is a pure state.}}
 
For {{mvar|S}} is a pure state if and only if its diagonal form has exactly one non-zero entry which is a 1.
 
Entropy can be used as a measure of [[quantum entanglement]].
 
== Gibbs canonical ensemble ==


{{main|canonical ensemble}}
{{main|canonical ensemble}}
Line 69: Line 52:
Consider an ensemble of systems described by a Hamiltonian ''H'' with average energy ''E''.  If ''H'' has pure-point spectrum and the eigenvalues <math>E_n</math> of ''H'' go to +&infin; sufficiently fast, e<sup>−''r H''</sup> will be a non-negative trace-class operator for every positive ''r''.
Consider an ensemble of systems described by a Hamiltonian ''H'' with average energy ''E''.  If ''H'' has pure-point spectrum and the eigenvalues <math>E_n</math> of ''H'' go to +&infin; sufficiently fast, e<sup>−''r H''</sup> will be a non-negative trace-class operator for every positive ''r''.


The ''[[Gibbs canonical ensemble]]'' is described by the state  
The ''[[canonical ensemble]]'' (or sometimes ''Gibbs canonical ensemble'') is described by the state{{sfnm|1a1=Huang|1y=1987|1p=177 |2a1=Peres|2y=1993|2p=266 |3a1=Kardar|3y=2007|3p=174}}
<math display="block"> S= \frac{\mathrm{e}^{- \beta H}}{\operatorname{Tr}(\mathrm{e}^{- \beta H})}. </math>
<math display="block"> \rho = \frac{\mathrm{e}^{- \beta H}}{\operatorname{Tr}(\mathrm{e}^{- \beta H})}, </math>
Where &beta; is such that the ensemble average of energy satisfies
where &beta; is such that the ensemble average of energy satisfies
<math display="block"> \operatorname{Tr}(S H) = E </math>
<math display="block"> \operatorname{Tr}(\rho H) = E </math>
 
and
and
 
<math display="block">\operatorname{Tr}(\mathrm{e}^{- \beta H}) = \sum_n \mathrm{e}^{- \beta E_n} = Z(\beta). </math>
<math display="block">\operatorname{Tr}(\mathrm{e}^{- \beta H}) = \sum_n \mathrm{e}^{- \beta E_n} = Z(\beta) </math>


This is called the [[partition function (mathematics)|partition function]]; it is the quantum mechanical version of the [[canonical partition function]] of classical statistical mechanics. The probability that a system chosen at random from the ensemble will be in a state corresponding to energy eigenvalue <math>E_m</math> is
This is called the [[partition function (mathematics)|partition function]]; it is the quantum mechanical version of the [[canonical partition function]] of classical statistical mechanics. The probability that a system chosen at random from the ensemble will be in a state corresponding to energy eigenvalue <math>E_m</math> is
Line 82: Line 63:
<math display="block">\mathcal{P}(E_m) = \frac{\mathrm{e}^{- \beta E_m}}{\sum_n \mathrm{e}^{- \beta E_n}}.</math>
<math display="block">\mathcal{P}(E_m) = \frac{\mathrm{e}^{- \beta E_m}}{\sum_n \mathrm{e}^{- \beta E_n}}.</math>


The Gibbs canonical ensemble maximizes the von Neumann entropy of the state subject to the condition that the average energy is fixed.
The Gibbs canonical ensemble maximizes the von Neumann entropy of the state subject to the condition that the average energy is fixed.{{sfn|Peres|1993|p=267}}


== Grand canonical ensemble ==
=== Grand canonical ===


{{main|grand canonical ensemble}}
{{main|grand canonical ensemble}}


For open systems where the energy and numbers of particles may fluctuate, the system is described by the [[grand canonical ensemble]], described by the density matrix
For open systems where the energy and numbers of particles may fluctuate, the system is described by the [[grand canonical ensemble]], described by the density matrix{{sfn|Kardar|2007|p=174}}
<math display="block"> \rho = \frac{\mathrm{e}^{\beta (\sum_i \mu_iN_i - H)}}{\operatorname{Tr}\left(\mathrm{e}^{ \beta ( \sum_i \mu_iN_i - H)}\right)}. </math>
<math display="block"> \rho = \frac{\mathrm{e}^{\beta (\sum_i \mu_iN_i - H)}}{\operatorname{Tr}\left(\mathrm{e}^{ \beta ( \sum_i \mu_iN_i - H)}\right)}. </math>
where the ''N''<sub>1</sub>, ''N''<sub>2</sub>, ... are the particle number operators for the different species of particles that are exchanged with the reservoir. Note that this is a density matrix including many more states (of varying N) compared to the canonical ensemble.
Here, the ''N''<sub>1</sub>, ''N''<sub>2</sub>, ... are the particle number operators for the different species of particles that are exchanged with the reservoir. Unlike the canonical ensemble, this density matrix involves a sum over states with different ''N.''


The grand partition function is
The grand partition function is{{sfnm|1a1=Huang|1y=1987|1p=178 |2a1=Kadanoff|2a2=Baym|2y=2018|2pp=2–3 |3a1=Kardar|3y=2007|3p=174}}
<math display="block">\mathcal Z(\beta, \mu_1, \mu_2, \cdots) = \operatorname{Tr}(\mathrm{e}^{\beta (\sum_i \mu_iN_i - H)}) </math>
<math display="block">\mathcal Z(\beta, \mu_1, \mu_2, \cdots) = \operatorname{Tr}(\mathrm{e}^{\beta (\sum_i \mu_iN_i - H)}) </math>
Density matrices of this form maximize the entropy subject to the constraints that both the average energy and the average particle number are fixed.{{sfn|Reichl|2016|pp=184–185}}
==Identical particles and quantum statistics==
{{see also|Bose–Einstein statistics|Fermi–Dirac statistics}}
In quantum mechanics, [[indistinguishable particles]] (also called ''identical'' or ''indiscernible particles'') are [[particle]]s that cannot be distinguished from one another, even in principle. Species of identical particles include, but are not limited to, [[elementary particle]]s (such as [[electron]]s), composite [[subatomic particle]]s (such as [[atomic nuclei]]), as well as [[atom]]s and [[molecule]]s. Although all known indistinguishable particles only exist at the quantum scale, there is no exhaustive list of all possible sorts of particles nor a clear-cut limit of applicability, as explored in [[particle statistics#Quantum statistics|quantum statistics]]. They were first discussed by [[Werner Heisenberg]] and [[Paul Dirac]] in 1926.<ref>{{Cite journal |last=Gottfried |first=Kurt |date=2011 |title=P. A. M. Dirac and the discovery of quantum mechanics |url=https://pubs.aip.org/aapt/ajp/article-abstract/79/3/261/398648/P-A-M-Dirac-and-the-discovery-of-quantum-mechanics?redirectedFrom=fulltext |journal=American Journal of Physics |volume=79 |issue=3 |pages=2, 10 |arxiv=1006.4610 |doi=10.1119/1.3536639 |bibcode=2011AmJPh..79..261G |s2cid=18229595}}</ref>
There are two main categories of identical particles: [[boson]]s, which are described by quantum states that are symmetric under exchanges, and [[fermion]]s, which are described by antisymmetric states.{{sfnm|1a1=Huang |1y=1987 |1p=179 |2a1=Kadanoff |2a2=Baym |2y=2018 |2p=2 |3a1=Kardar|3y=2007|3p=182}} Examples of bosons are [[photon]]s, [[gluon]]s, [[phonon]]s, [[helium-4]] nuclei and all [[meson]]s. Examples of fermions are [[electron]]s, [[neutrino]]s, [[quark]]s, [[proton]]s, [[neutron]]s, and [[helium-3]] nuclei.
The fact that particles can be identical has important consequences in statistical mechanics, and identical particles exhibit markedly different statistical behavior from distinguishable particles.{{sfnm|1a1=Huang|1y=1987|1pp=179–189 |2a1=Kadanoff|2y=2000|2pp=187–192}} The theory of boson quantum statistics is the starting point for understanding [[superfluidity|superfluids]],{{sfn|Kardar|2007|pp=200–202}} and quantum statistics are also necessary to explain the related phenomenon of [[superconductivity]].{{sfn|Reichl|2016|pp=114–115,184}}


==See also==
==See also==
Line 100: Line 91:
* [[Stochastic thermodynamics]]
* [[Stochastic thermodynamics]]
* [[Abstract Wiener space]]
* [[Abstract Wiener space]]
==References==
{{reflist}}
* {{cite book|first1=Ingemar |last1=Bengtsson |first2=Karol |last2=Życzkowski |author-link2=Karol Życzkowski |title=Geometry of Quantum States: An Introduction to Quantum Entanglement |title-link=Geometry of Quantum States |year=2017 |publisher=Cambridge University Press |edition=2nd |isbn=978-1-107-02625-4}}
* {{cite book|first=Alexander S. |last=Holevo |author-link=Alexander Holevo |title=Statistical Structure of Quantum Theory |publisher=Springer |series=[[Lecture Notes in Physics|Lecture Notes in Physics. Monographs]] |year=2001 |isbn=3-540-42082-7}}
* {{cite book|first=Leo P. |last=Kadanoff |author-link=Leo Kadanoff |title=Statistical Physics: Statics, Dynamics and Renormalization |publisher=World Scientific |year=2000 |isbn=9810237588}}
* {{cite book|first1=Leo P. |last1=Kadanoff |author-link1=Leo Kadanoff |first2=Gordon |last2=Baym |author-link2=Gordon Baym |title=Quantum Statistical Mechanics |publisher=CRC Press |year=2018 |orig-year=1989 |isbn= 978-0-201-41046-4 }}
* {{cite book|first=Mehran |last=Kardar |author-link=Mehran Kardar |title=Statistical Physics of Particles |year=2007 |publisher=Cambridge University Press |isbn=978-0-521-87342-0 |title-link=Statistical Physics of Particles}}
* {{cite book|first=Kerson |last=Huang |author-link=Kerson Huang |title=Statistical Mechanics |edition=2nd |publisher=John Wiley & Sons |isbn=0-471-81518-7 |year=1987}}
* {{cite book |last1=Nielsen |first1=Michael A. |author-link1=Michael Nielsen |title=Quantum Computation and Quantum Information |title-link=Quantum Computation and Quantum Information |last2=Chuang |first2=Isaac L. |author-link2=Isaac Chuang |publisher=Cambridge Univ. Press |year=2010 |isbn=978-0-521-63503-5 |edition=10th anniversary|location=Cambridge}}
* {{cite book|first=Asher |last=Peres |author-link=Asher Peres |title=Quantum Theory: Concepts and Methods |title-link=Quantum Theory: Concepts and Methods |publisher=Kluwer |year=1993 |isbn=0-7923-2549-4 }}
* {{cite book|last=Reichl |first=Linda E. |title=A Modern Course in Statistical Physics |year=2016 |publisher=Wiley |edition=4th |isbn=978-3-527-41349-2 |author-link=Linda Reichl}}
* {{Cite book |last1=Rieffel |first1=Eleanor |author-link1=Eleanor Rieffel |title=Quantum Computing: A Gentle Introduction |title-link=Quantum Computing: A Gentle Introduction |last2=Polak |first2=Wolfgang |date=2011 |publisher=MIT Press |isbn=978-0-262-01506-6 |series=Scientific and engineering computation |location=Cambridge, Mass}}
* {{cite book|last=Wilde |first=Mark M. |author-link=Mark Wilde |title=Quantum Information Theory |edition=2nd |publisher=Cambridge University Press |year=2017 |doi=10.1017/9781316809976 <!-- whole book, not .001 like arxiv says --> |isbn=9781316809976 |arxiv=1106.1445}}
* {{cite book|first=Barton |last=Zwiebach |title=Mastering Quantum Mechanics: Essentials, Theory, and Applications |author-link=Barton Zwiebach |publisher=MIT Press |year=2022 |isbn=978-0-262-04613-8}}


== Further reading ==
== Further reading ==
{{reflist}}
{{refbegin}}
{{refbegin}}
* Modern review for closed systems: {{Cite journal |last=Nandkishore |first=Rahul |last2=Huse |first2=David A. |date=2015-03-10 |title=Many-Body Localization and Thermalization in Quantum Statistical Mechanics |url=https://www.annualreviews.org/content/journals/10.1146/annurev-conmatphys-031214-014726 |journal=Annual Review of Condensed Matter Physics |language=en |volume=6 |pages=15–38 |doi=10.1146/annurev-conmatphys-031214-014726 |issn=1947-5454}}
* Modern review for closed systems: {{Cite journal |last=Nandkishore |first=Rahul |last2=Huse |first2=David A. |date=2015-03-10 |title=Many-Body Localization and Thermalization in Quantum Statistical Mechanics |url=https://www.annualreviews.org/content/journals/10.1146/annurev-conmatphys-031214-014726 |journal=Annual Review of Condensed Matter Physics |language=en |volume=6 |pages=15–38 |doi=10.1146/annurev-conmatphys-031214-014726 |issn=1947-5454|arxiv=1404.0686 }}
* {{Cite book |last=Schieve |first=William C. |title=Quantum statistical mechanics |date=2009 |publisher=Cambridge University Press |isbn=978-0-521-84146-7 |location=Cambridge, UK}}  
* {{Cite book |last=Schieve |first=William C. |title=Quantum statistical mechanics |date=2009 |publisher=Cambridge University Press |isbn=978-0-521-84146-7 |location=Cambridge, UK}}  
* Field theory methods applied to quantum many body problems. {{Cite book |last=Kadanoff |first=Leo P. |url=https://www.taylorfrancis.com/books/9780429961762 |title=Quantum Statistical Mechanics: Green’s Function Methods in Equilibrium and Nonequilibrium Problems |last2=Baym |first2=Gordon |date=2018-03-08 |publisher=CRC Press |isbn=978-0-429-49321-8 |edition=1 |language=en |doi=10.1201/9780429493218}}
* Advanced graduate textbook {{Cite book |last=Bogoli︠u︡bov |first=N. N. |url=https://www.worldcat.org/title/526687587 |title=Introduction to quantum statistical mechanics |last2=Bogoli︠u︡bov |first2=N. N. |date=2010 |publisher=World Scientific |isbn=978-981-4295-19-2 |edition=2 |location=Hackensack, NJ |oclc=526687587}}
* Advanced graduate textbook {{Cite book |last=Bogoli︠u︡bov |first=N. N. |url=https://www.worldcat.org/title/526687587 |title=Introduction to quantum statistical mechanics |last2=Bogoli︠u︡bov |first2=N. N. |date=2010 |publisher=World Scientific |isbn=978-981-4295-19-2 |edition=2 |location=Hackensack, NJ |oclc=526687587}}
{{refend}}
{{refend}}

Latest revision as of 22:54, 10 June 2025

Template:Short description

Script error: No such module "Sidebar". Template:Quantum mechanics

Quantum statistical mechanics is statistical mechanics applied to quantum mechanical systems. It relies on constructing density matrices that describe quantum systems in thermal equilibrium. Its applications include the study of collections of identical particles, which provides a theory that explains phenomena including superconductivity and superfluidity.

Density matrices, expectation values, and entropy

Script error: No such module "Labelled list hatnote". In quantum mechanics, probabilities for the outcomes of experiments made upon a system are calculated from the quantum state describing that system. Each physical system is associated with a vector space, or more specifically a Hilbert space. The dimension of the Hilbert space may be infinite, as it is for the space of square-integrable functions on a line, which is used to define the quantum physics of a continuous degree of freedom. Alternatively, the Hilbert space may be finite-dimensional, as occurs for spin degrees of freedom. A density operator, the mathematical representation of a quantum state, is a positive semi-definite, self-adjoint operator of trace one acting on the Hilbert space of the system.[1]Template:Sfn[2] A density operator that is a rank-1 projection is known as a pure quantum state, and all quantum states that are not pure are designated mixed.Template:Sfn Pure states are also known as wavefunctions. Assigning a pure state to a quantum system implies certainty about the outcome of some measurement on that system. The state space of a quantum system is the set of all states, pure and mixed, that can be assigned to it. For any system, the state space is a convex set: Any mixed state can be written as a convex combination of pure states, though not in a unique way.[3]

The prototypical example of a finite-dimensional Hilbert space is a qubit, a quantum system whose Hilbert space is 2-dimensional. An arbitrary state for a qubit can be written as a linear combination of the Pauli matrices, which provide a basis for 2×2 self-adjoint matrices:Template:Sfnm ρ=12(I+rxσx+ryσy+rzσz), where the real numbers (rx,ry,rz) are the coordinates of a point within the unit ball and σx=(0110),σy=(0ii0),σz=(1001).

In classical probability and statistics, the expected (or expectation) value of a random variable is the mean of the possible values that random variable can take, weighted by the respective probabilities of those outcomes. The corresponding concept in quantum physics is the expectation value of an observable. Physically measurable quantities are represented mathematically by self-adjoint operators that act on the Hilbert space associated with a quantum system. The expectation value of an observable is the Hilbert–Schmidt inner product of the operator representing that observable and the density operator:Template:Sfnm A=tr(Aρ).

The von Neumann entropy, named after John von Neumann, quantifies the extent to which a state is mixed.Template:Sfn It extends the concept of Gibbs entropy from classical statistical mechanics to quantum statistical mechanics, and it is the quantum counterpart of the Shannon entropy from classical information theory. For a quantum-mechanical system described by a density matrix Template:Mvar, the von Neumann entropy isTemplate:Sfnm S=tr(ρlnρ), where tr denotes the trace and ln denotes the matrix version of the natural logarithm. If the density matrix Template:Mvar is written in a basis of its eigenvectors |1,|2,|3, as ρ=jηj|jj|, then the von Neumann entropy is merely S=jηjlnηj. In this form, S can be seen as the Shannon entropy of the eigenvalues, reinterpreted as probabilities.Template:Sfnm

The von Neumann entropy vanishes when ρ is a pure state. In the Bloch sphere picture, this occurs when the point (rx,ry,rz) lies on the surface of the unit ball. The von Neumann entropy attains its maximum value when ρ is the maximally mixed state, which for the case of a qubit is given by rx=ry=rz=0.Template:Sfnm

The von Neumann entropy and quantities based upon it are widely used in the study of quantum entanglement.Template:Sfn

Thermodynamic ensembles

Canonical

Script error: No such module "Labelled list hatnote".

Consider an ensemble of systems described by a Hamiltonian H with average energy E. If H has pure-point spectrum and the eigenvalues En of H go to +∞ sufficiently fast, er H will be a non-negative trace-class operator for every positive r.

The canonical ensemble (or sometimes Gibbs canonical ensemble) is described by the stateTemplate:Sfnm ρ=eβHTr(eβH), where β is such that the ensemble average of energy satisfies Tr(ρH)=E and Tr(eβH)=neβEn=Z(β).

This is called the partition function; it is the quantum mechanical version of the canonical partition function of classical statistical mechanics. The probability that a system chosen at random from the ensemble will be in a state corresponding to energy eigenvalue Em is

𝒫(Em)=eβEmneβEn.

The Gibbs canonical ensemble maximizes the von Neumann entropy of the state subject to the condition that the average energy is fixed.Template:Sfn

Grand canonical

Script error: No such module "Labelled list hatnote".

For open systems where the energy and numbers of particles may fluctuate, the system is described by the grand canonical ensemble, described by the density matrixTemplate:Sfn ρ=eβ(iμiNiH)Tr(eβ(iμiNiH)). Here, the N1, N2, ... are the particle number operators for the different species of particles that are exchanged with the reservoir. Unlike the canonical ensemble, this density matrix involves a sum over states with different N.

The grand partition function isTemplate:Sfnm 𝒵(β,μ1,μ2,)=Tr(eβ(iμiNiH))

Density matrices of this form maximize the entropy subject to the constraints that both the average energy and the average particle number are fixed.Template:Sfn

Identical particles and quantum statistics

Script error: No such module "Labelled list hatnote". In quantum mechanics, indistinguishable particles (also called identical or indiscernible particles) are particles that cannot be distinguished from one another, even in principle. Species of identical particles include, but are not limited to, elementary particles (such as electrons), composite subatomic particles (such as atomic nuclei), as well as atoms and molecules. Although all known indistinguishable particles only exist at the quantum scale, there is no exhaustive list of all possible sorts of particles nor a clear-cut limit of applicability, as explored in quantum statistics. They were first discussed by Werner Heisenberg and Paul Dirac in 1926.[4]

There are two main categories of identical particles: bosons, which are described by quantum states that are symmetric under exchanges, and fermions, which are described by antisymmetric states.Template:Sfnm Examples of bosons are photons, gluons, phonons, helium-4 nuclei and all mesons. Examples of fermions are electrons, neutrinos, quarks, protons, neutrons, and helium-3 nuclei.

The fact that particles can be identical has important consequences in statistical mechanics, and identical particles exhibit markedly different statistical behavior from distinguishable particles.Template:Sfnm The theory of boson quantum statistics is the starting point for understanding superfluids,Template:Sfn and quantum statistics are also necessary to explain the related phenomenon of superconductivity.Template:Sfn

See also

References

Template:Reflist

  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".

Further reading

Template:Refbegin

  • Modern review for closed systems: Script error: No such module "Citation/CS1".
  • Script error: No such module "citation/CS1".
  • Advanced graduate textbook Script error: No such module "citation/CS1".

Template:Refend

Template:Quantum mechanics topics

Template:Authority control

  1. Script error: No such module "Citation/CS1".
  2. Script error: No such module "citation/CS1".
  3. Script error: No such module "Citation/CS1".
  4. Script error: No such module "Citation/CS1".