量子測量:修订间差异
增加或調整內部連結 |
Time killer(留言 | 贡献) 无编辑摘要 |
||
第8行: | 第8行: | ||
=== 一般形式:量子公设III === |
=== 一般形式:量子公设III === |
||
[[量子公设]]的第三条是对测量下的定义。量子测量可以通过一个测量算符的集合 |
[[量子公设]]的第三条是对测量下的定义。量子测量可以通过一个测量算符的集合<math> \{ M_m \} </math>来表示,它作用在系统的[[希尔伯特空间|状态空间]]上。测量算符<math>M</math>的序列号<math>m</math>表示测量所得出的不同结果。如果系统在测量前处于状态<math>|\psi \rang</math>,那么测量后得到结果m的概率是: |
||
:<math> p( m ) = \lang \psi | M^\dagger_mM_m | \psi \rang</math> |
:<math> p( m ) = \lang \psi | M^\dagger_mM_m | \psi \rang</math> |
||
测量后系统的状态变为: |
测量后系统的状态变为: |
||
第29行: | 第29行: | ||
:<math>|\psi^{'}\rangle=\frac{P_m|\psi \rangle} {\sqrt{p(m)}}</math> |
:<math>|\psi^{'}\rangle=\frac{P_m|\psi \rangle} {\sqrt{p(m)}}</math> |
||
射影测量的结果的平均值一般计为: |
射影测量的结果的平均值一般计为: |
||
:<math>\begin{align} |
:<math>\begin{align} |
||
\langle M\rangle &= \sum_m mp(m)\\ |
\langle M\rangle &= \sum_m mp(m)\\ |
||
&=\langle \psi |(\sum_m m P_m )|\psi \rangle\\ |
&=\langle \psi |(\sum_m m P_m )|\psi \rangle\\ |
||
第43行: | 第43行: | ||
0 & 1 \end{bmatrix}</math> |
0 & 1 \end{bmatrix}</math> |
||
:<math> p( 0 ) = \lang \psi | M^\dagger_0M_0 | \psi \rang |
:<math> p( 0 ) = \lang \psi | M^\dagger_0M_0 | \psi \rang |
||
= \lang \psi | M_0 | \psi \rang |
|||
= \lang \psi | 0 \rang \lang 0 | \psi \rang |
|||
= |a|^2</math> |
|||
:<math> p( 1 ) = |b|^2</math> |
:<math> p( 1 ) = |b|^2</math> |
||
测量得到0和1的概率分别是<math>|a|^2</math>和<math>|b|^2</math>,而 |
测量得到0和1的概率分别是<math>|a|^2</math>和<math>|b|^2</math>,而 |
||
第56行: | 第56行: | ||
一般来讲测量不是[[幺正算符]],而是从系统里获取信息的一个过程。 |
一般来讲测量不是[[幺正算符]],而是从系统里获取信息的一个过程。 |
||
=== 可測量的量值 |
=== 可測量的量值(「物理量」)作為算符 === |
||
量子力學中,[[可觀測量]]在數學上常以[[厄米算符]] |
量子力學中,[[可觀測量]]在數學上常以[[厄米算符]](Hermitian)或[[自伴算符]]來表示。此算符的[[本徵值]]集合代表測量可能結果的集合。對於每個本徵值而言,存在有一個對應的本徵態(或本徵向量),其為系統在測量之後的狀態。這種表徵具有一些特質: |
||
# 厄米矩陣的本徵值是[[實數]]。一個測量的可能結果恰好是給定的可觀測量的本徵值。 |
# 厄米矩陣的本徵值是[[實數]]。一個測量的可能結果恰好是給定的可觀測量的本徵值。 |
||
# 一個厄米矩陣可以么正式地[[對角矩陣|對角化]](''參見[[譜定理]] |
# 一個厄米矩陣可以么正式地[[對角矩陣|對角化]](''參見[[譜定理]](Spectral theorem)''),產生了本徵向量的一組[[正交歸一性|正交歸一基]],可以架構出系統的態空間。一般來說,系統的狀態可以寫為任何厄米算符的[[線性組合]]。如此在物理上的意義即為任何狀態可以表示為一可觀測量其本徵態的疊加。 |
||
重要的例子有: |
重要的例子有: |
||
第66行: | 第66行: | ||
* [[位置算符]]:<math> {\hat x} = {-\hbar \over i}{\partial \over \partial p} </math>(以動量基底表示。) |
* [[位置算符]]:<math> {\hat x} = {-\hbar \over i}{\partial \over \partial p} </math>(以動量基底表示。) |
||
算符可以是[[非對易性]](或稱非交換性)的。在有限維度的例子,如果兩個厄米算符擁有相同的[[歸一化]]的本徵向量集合,則它們可以對易。非對易的兩個可觀測量被稱為「不相容」( |
算符可以是[[非對易性]](或稱非交換性)的。在有限維度的例子,如果兩個厄米算符擁有相同的[[歸一化]]的本徵向量集合,則它們可以對易。非對易的兩個可觀測量被稱為「不相容」(incompatible)而無法同時測量。比較知名的例子是位置與動量,也可以透過[[不確定原理|海森堡不確定原理]]來描述。 |
||
=== 本徵態與投影 === |
=== 本徵態與投影 === |
||
第73行: | 第73行: | ||
=== 舉例 === |
=== 舉例 === |
||
== 量子測量的哲學議題 == |
== 量子測量的哲學議題 == |
||
=== 什麼樣的物理交互作用構成測量? === |
=== 什麼樣的物理交互作用構成測量? === |
||
=== 測量是否真的決定狀態? === |
=== 測量是否真的決定狀態? === |
||
=== 量子糾纏 |
=== 量子糾纏(Quantum Entanglement)問題 === |
||
== 參見 == |
== 參見 == |
||
第91行: | 第91行: | ||
{{reflist}} |
{{reflist}} |
||
== 外部連結 == |
== 外部連結 == |
||
*史丹福大學哲學資料庫——[http://plato.stanford.edu/entries/qt-measurement/ 量子理論中的測量] |
*史丹福大學哲學資料庫——[http://plato.stanford.edu/entries/qt-measurement/ 量子理論中的測量] |
||
2013年11月17日 (日) 05:49的版本
在量子力學之中,所謂的「測量」需要有較嚴謹的定義,而特別稱之為量子測量。量子测量不同于一般经典力学中的测量,量子测量会对被测量子系统产生影响,比如改变被测量子系统的状态;处于相同状态的量子系统被测量后可能得到完全不同的结果,这些结果符合一定的概率分布。量子测量是量子力学解释体系的核心问题,而量子力学的解释目前还没有统一的结论。
量子測量的數學形式
与经典物理中的测量不同,量子测量不是独立于所观测的物理系统而单独存在的,相反,测量本身即是物理系统的一部分,所作的测量会对系统的状态产生干扰。
一般形式:量子公设III
量子公设的第三条是对测量下的定义。量子测量可以通过一个测量算符的集合来表示,它作用在系统的状态空间上。测量算符的序列号表示测量所得出的不同结果。如果系统在测量前处于状态,那么测量后得到结果m的概率是:
测量后系统的状态变为:
测量算符必须满足以下的完备性条件:
上述完备性条件与下式等价,即完备性条件决定了测量得到各个结果的概率和为1:
射影测量
射影测量(projective measurement)是一般形式量子测量的一个特例,即测量算子集合是一组射影算子的情况,值得注意的是很多介绍量子力学的书比如Griffiths (2005) 只介绍射影测量,这种测量结合量子系统的演化(evolution)与一般形式测量等价。对于射影测量,可以定义可观测量(observable)使得
其中的射影算子的定义为:
构成被测量子系统状态空间的某个子空间的一组基向量,射影算子可以将一个状态向量投影到该子空间,因此得名射影算子。显然射影算子有以下性质:
于是射影测量测得结果的概率为:
测量后量子系统的状态为
射影测量的结果的平均值一般计为:
示例
一个量子比特被测量,所谓量子比特可以认为是一个二维量子系统的状态,比如一个光子的极化状态。
测量得到0和1的概率分别是和,而
即概率和为1
可以发现测量后,系统的状态要么变成要么变成,而对于量子力学来说,量子状态的相位是没有意义的,因而系统的状态在测量之后不是就是,即投影到了基向量或构成的状态空间中去,显然或只能构成一个一维状态空间。
一般来讲测量不是幺正算符,而是从系统里获取信息的一个过程。
可測量的量值(「物理量」)作為算符
量子力學中,可觀測量在數學上常以厄米算符(Hermitian)或自伴算符來表示。此算符的本徵值集合代表測量可能結果的集合。對於每個本徵值而言,存在有一個對應的本徵態(或本徵向量),其為系統在測量之後的狀態。這種表徵具有一些特質:
- 厄米矩陣的本徵值是實數。一個測量的可能結果恰好是給定的可觀測量的本徵值。
- 一個厄米矩陣可以么正式地對角化(參見譜定理(Spectral theorem)),產生了本徵向量的一組正交歸一基,可以架構出系統的態空間。一般來說,系統的狀態可以寫為任何厄米算符的線性組合。如此在物理上的意義即為任何狀態可以表示為一可觀測量其本徵態的疊加。
重要的例子有:
算符可以是非對易性(或稱非交換性)的。在有限維度的例子,如果兩個厄米算符擁有相同的歸一化的本徵向量集合,則它們可以對易。非對易的兩個可觀測量被稱為「不相容」(incompatible)而無法同時測量。比較知名的例子是位置與動量,也可以透過海森堡不確定原理來描述。
本徵態與投影
波函數塌縮
馮·諾伊曼式測量方案
舉例
量子測量的哲學議題
什麼樣的物理交互作用構成測量?
測量是否真的決定狀態?
量子糾纏(Quantum Entanglement)問題
參見
参考文献
- [A. Nielsen]; [L. Chuang]. Quantum Computation and Quantum Information [量子计算与量子信息]. 剑桥大学出版社. 2010. ISBN 978-1-107-00217-3 (英语). 请检查
|author-link1=
值 (帮助); 请检查|author-link2=
值 (帮助) - Griffiths, David. Introduction to Quantum Mechanics [量子力学引论]. 培生普伦蒂斯·霍尔出版社. 2005. ISBN 9780131118928 (英语).
外部連結
- 史丹福大學哲學資料庫——量子理論中的測量
系列条目 |
量子力学 |
---|