

不確定性原理(ハイゼンベルクの不確定性原理とも呼ばれる)は、量子力学における基本的な概念である。これは、位置と運動量といった特定の物理的性質のペアを同時に知る精度には限界があることを示している。言い換えれば、一方の性質をより正確に測定すればするほど、もう一方の性質をより正確に知ることは難しくなる。
より厳密に言えば、不確定性原理とは、位置xや運動量pなど、量子システム上の特定の関連する測定値のペアの精度の積に根本的な限界があると主張する、さまざまな数学的不等式のことです。[ 1 ]このようなペアの変数は、相補変数または正準共役変数として知られています。
位置の標準偏差σ xと運動量の標準偏差σ pの関係を表す形式的な不等式は、1927 年にドイツの物理学者ヴェルナー・ハイゼンベルクによって初めて導入され[ 2 ] [ 3 ] [ 4 ] [ 5 ] 、同年後半にアール・ヘッセ・ケナード[ 6 ]によって、また 1928 年にヘルマン・ワイル[ 7 ]によって導出された。
どこは換算プランク定数です。
量子力学の本質的な不確定性原理は、位置・運動量関係以外にも様々な形で現れる。エネルギー・時間関係は、量子状態の寿命と測定されたエネルギー幅を関連付けるために広く用いられているが、その形式的な導出には、時間の性質に関する混乱を招く問題が数多く存在する。この基本原理は様々な方向に拡張されており、多くの種類の基本的な物理測定において考慮されなければならない。

この原理は人間が経験する巨視的なスケールでは区別できないため、比較的理解しやすい物理的状況にどのように適用されるかを説明することが不可欠です。量子物理学の 2 つの代替フレームワークは、不確定性原理について異なる説明を提供します。不確定性原理の波動力学の図は視覚的に直感的ですが、より抽象的な行列力学の図は、より容易に一般化できる方法でそれを定式化します。ハイゼンベルクの不確定性原理の影響は、微視的な物体の運動に対してのみ重要であり、巨視的な物体の運動に対しては無視できます。
数学的には、波動力学では、位置と運動量の間の不確定性関係は、ヒルベルト空間の対応する 2 つの正規直交基底における波動関数の表現が互いにフーリエ変換であること (つまり、位置と運動量が共役変数であること) から生じます。ゼロでない関数とそのフーリエ変換は、同時に両方とも鋭く局在化することはできません。[ 9 ]フーリエ共役の分散間の同様のトレードオフは、フーリエ解析を基盤とするすべてのシステムで生じます。たとえば、音波の場合です。純音は単一の周波数で鋭いスパイクですが、そのフーリエ変換は時間領域での音波の形状を与え、それは完全に非局在化した正弦波です。量子力学では、2 つの重要な点は、粒子の位置が物質波の形をとることと、運動量がそのフーリエ共役であることであり、これはド・ブロイの関係p = ħk (ここでkは波数)によって保証されます。
量子力学の数学的定式化である行列力学では、観測量を表す非可換な自己共役演算子の任意のペアは、同様の不確定性限界を受けます。観測量の固有状態は、特定の測定値(固有値)に対する波動関数の状態を表します。たとえば、観測量Aの測定が行われると、システムはその観測量の特定の固有状態Ψにあります。ただし、観測量Aの特定の固有状態は、別の観測量Bの固有状態である必要はありません。そうであれば、システムはその観測量の固有状態にないため、それに対応する一意の測定値は存在しません。[ 10 ]
不確定性原理は、一次元空間における質量を持つスピンを持たない粒子の位置空間および運動量空間の波動関数を用いて視覚化することができる。
位置空間波動関数が局所的であるほど、粒子がその領域内の位置座標で見つかる可能性が高くなり、それに伴い運動量空間波動関数は局所性が低くなるため、粒子が取りうる運動量成分の範囲は広くなります。逆に、運動量空間波動関数が局所的であるほど、粒子がその領域内の運動量成分の値で見つかる可能性が高くなり、それに伴い位置空間波動関数は局所性が低くなるため、粒子が占める可能性のある位置座標の範囲は広くなります。これらの波動関数は互いにフーリエ変換の関係にあり、数学的には、不確定性原理が変換における共役変数間の関係を表しています。

ド・ブロイの仮説によれば、宇宙に存在するすべての物体は波動と結びついている。したがって、素粒子から原子、分子、惑星、そしてそれ以上のものに至るまで、すべての物体は不確定性原理の影響を受ける。
波数k 0または運動量p 0の単一モード平面波の時間非依存波動関数は[ 11 ]である。
ボルンの規則によれば、これは確率密度振幅関数として解釈されるべきであり、粒子がaとbの間に見つかる確率は
単一モード平面波の場合、1 の場合それ以外の場合は0となる。言い換えれば、粒子の位置は極めて不確実であり、波束上のほぼどこにでも存在し得るということである。
一方、多くの波の和である波動関数を考えてみましょう。これは次のように書くことができます。 ここで、A n はモードp nの全体に対する相対的な寄与を表します。右側の図は、多くの平面波を加えることで波束がより局在化することを示しています。これをさらに一歩進めて連続体極限まで考えると、波動関数はすべての可能なモードにわたる 積分になります。 とこれらのモードの振幅を表し、運動量空間における波動関数と呼ばれます。数学的には、はフーリエ変換であるそして、xとpは共役変数である。これらの平面波をすべて足し合わせると、運動量がさまざまな運動量の波の混合となり、精度が低下するという代償が伴う。[ 12 ]
位置と運動量の精度を定量化する一つの方法は、標準偏差σである。 これは位置の確率密度関数であり、その標準偏差を計算します。
多数の平面波を用いることで位置の精度が向上し、すなわちσ xが低減されるが、その結果、運動量の精度が低下し、すなわちσ pが増大する。言い換えれば、σ xとσ p は逆相関の関係にあるか、少なくとも下限が定められている。これが不確定性原理であり、その厳密な限界がケナード限界である。
我々は、以下のように定義される位置と運動量の 分散に興味がある。
一般性を失うことなく、平均値がゼロになると仮定します。これは、座標系の原点を移動させることに相当します。(この仮定をしないより一般的な証明は後述します。)これにより、より単純な形式が得られます。
機能は関数空間におけるベクトルとして解釈できます。このベクトル空間において、 関数u ( x ) とv ( x )のペアの内積を定義できます。 ここで、アスタリスクは複素共役を表します。
この内積を定義すると、位置の分散は次のように書けることに注意する。
運動量についても同様に、関数を解釈することでこれを繰り返すことができます。ベクトルとして、また、そしてこれらは互いにフーリエ変換の関係にあります。逆フーリエ変換は部分積分によって求めます。 どこ部分積分では、波動関数が無限遠と無限遠の両方でゼロになるため、相殺される項は消滅します。そして、有効なディラックのデルタ関数を使用します。pに依存しない。
用語は位置空間における運動量演算子と呼ばれます。プランシュレルの定理を適用すると、運動量の分散は次のように書けることがわかります。
コーシー・シュワルツの不等式は、
任意の複素数zの絶対値の二乗は次のように表すことができます。 私たちはそしてそしてこれらを上記の式に代入すると
あとはこれらの内部積を評価するだけだ。
これを上記の不等式に代入すると、 平方根を取る
等号が成り立つのは、 pとxが線形従属である場合に限る。この証明に関わる唯一の物理学は、そしてこれらは位置と運動量を表す波動関数であり、互いにフーリエ変換の関係にある。同様の結果は、任意の共役変数のペアについても成り立つ。
行列力学では、位置や運動量などの観測量は自己共役演算子で表されます。[ 12 ]観測量のペアを考える場合、重要な量は交換子です。演算子Âとのペアの場合、交換子を次のように定義する。 位置と運動量の場合、交換子は正準交換関係である。
非可換性の物理的意味は、交換子が位置と運動量の固有状態に与える影響を考慮することで理解できる。位置の右固有状態であり、定数固有値x 0を持つ。定義により、これは次のことを意味する。整流子を適用する収量 ここで、Îは恒等演算子である。
背理法による証明のために、は運動量の右固有状態であり、その固有値は定数p 0である。これが真であれば、次のように書ける。 一方、上記の正準交換関係は、 これは、いかなる量子状態も、位置固有状態と運動量固有状態の両方を同時に持つことはできないことを意味する。
状態が測定されると、関連する観測量の基底の固有状態に射影されます。たとえば、粒子の位置が測定された場合、その状態は位置の固有状態になります。これは、その状態が運動量の固有状態ではなく、複数の運動量基底の固有状態の和として表されることを意味します。言い換えれば、運動量の精度は低くなります。この精度は、標準偏差によって定量化できます。
上記の波動力学の解釈と同様に、両者のそれぞれの精度にはトレードオフが存在し、それは不確定性原理によって定量化される。
1次元量子調和振動子を考えてみましょう。位置演算子と運動量演算子は、生成演算子と消滅演算子を用いて次のように表現できます。
エネルギー固有状態における生成消滅演算子の標準規則を用いると、 分散は直接計算できます。 これらの標準偏差の積は次のようになります。



特性角周波数ωの量子調和振動子において、ポテンシャルの底から変位x 0だけずれた状態を次のように 配置する。 ここでΩは初期状態の幅を表しますが、ωと同じである必要はありません。プロパゲーターを積分することで、完全な時間依存解を求めることができます。多くの相殺の後、確率密度は次のように縮小されます 。 ここで、私たちは表記法を使用しました平均μ、分散σ²の正規分布を表す。上記の分散をコピーし、三角関数の恒等式を適用すると、標準偏差の積は次のように書ける 。
関係から 以上のことから、以下の結論が得られる(右端の等式はΩ = ωの場合にのみ成立する)。
コヒーレント状態は消滅演算子の右固有状態である。 これはフォック状態の観点から次のよう に表すことができる。
コヒーレント状態が量子調和振動子内の質量のある粒子である図では、位置演算子と運動量演算子は、上記と同じ式で消滅演算子を用いて表現でき、分散を計算するために使用できます。 したがって、すべてのコヒーレント状態はケナード限界を飽和させる。 位置と運動量はそれぞれ一定量ずつ寄与する「バランスの取れた」方法で。さらに、スクイーズドコヒーレント状態はすべてケナード限界を飽和させるが、位置と運動量の個々の寄与は一般にバランスが取れている必要はない。
長さの1次元ボックス内の粒子を考えます。位置空間と運動量空間における固有関数は そして どこそして、我々はド・ブロイの関係式を用いた。分散そして明示的に計算できます。
標準偏差の積は すべての人にとって数量は 1 より大きいので、不確定性原理は決して破られません。数値的に具体的に言うと、最小値は次の場合に発生します。その場合

粒子は初期状態では、一定の運動量p 0の 周りの正規分布によって記述される運動量空間波動関数を持つと仮定します。 ここでは参照スケールを導入しました、 と分布の幅を記述する—無次元化を参照。状態が自由空間で進化することを許容する場合、時間依存の運動量と位置空間の波動関数は次のようになる。
以来そしてこれは、粒子が任意の高精度で一定の運動量で移動していると解釈できます。一方、位置の標準偏差は そのため、不確実性積は時間とともに増加するだけで、
ケナードの位置運動量不確定性の導出から始めて、ハワード・パーシー・ロバートソンは[ 13 ] [ 1 ]任意のエルミート演算子の定式化を開発した。標準偏差で表す 括弧が演算子で表される観測量の期待値を示す演算子のペアの場合そして交換子を次のように定義する ロバートソン不確定性関係は[ 11 ]で与えられる。
エルヴィン・シュレーディンガー[ 14 ]は、演算子間の相関を許容する方法を示し、ロバートソン・シュレーディンガー不確定性関係として知られるより強い不等式を与えた[ 15 ] [ 1 ]。
反交換子では、使用されます。
ここで示されている導出は、Robertson [ 13 ] 、 Schrödinger [ 15 ]、およびGriffiths [ 16 ]などの標準的な教科書に示されているものを取り入れ、それを基に構築されています。 : 138任意のエルミート演算子について分散の定義に基づくと、 私たちはそしてこうして
同様に、他のエルミート演算子についても同じ州で のために
したがって、2つの偏差の積は次のように表すことができる。
2つのベクトルを関連付けるためにそしてそこで、コーシー・シュワルツの不等式[ 17 ]を用います。これは次のように定義されます。 したがって、式(1)は次のように書ける。
以来は一般に複素数であり、任意の複素数の絶対値の二乗はは次のように定義される。、 どこは、絶対値の二乗は次のように表すこともできます。
私たちはそしてそしてこれらを上記の式に代入すると
内積明示的に書き出すと そして、そしてエルミート演算子であるから、
同様に、
したがって、 そして
ここで、上記の2つの式を式(4)に代入すると 、
上記を式(2)に代入すると、シュレーディンガーの不確定性関係が得られる。
この証明には、関係する演算子の定義域に関する問題があります[ 18 ]。証明が意味を成すためには、ベクトル非有界作用素の領域内にある必要があるしかし、これは常に当てはまるわけではない。実際、ロバートソン不確定性関係は、以下の場合には偽となる。は角度変数であり、は、この変数に関する導関数です。この例では、交換子はゼロでない定数です(ハイゼンベルクの不確定性関係と同様)が、不確定性の積がゼロになる状態があります。[ 11 ] (以下の反例のセクションを参照)。この問題は、証明に変分法を使用するか、 [ 19 ] [ 20 ]または正準交換関係の指数化バージョンを使用することで克服できます。 [ 11 ]
ロバートソン・シュレーディンガーの不確定性関係の一般形では、演算子がそしてこれらは自己共役演算子である。単に対称演算子であると仮定すれば十分である。(物理学の文献では、これら2つの概念の区別は一般的に曖昧にされており、エルミート演算子という用語は、どちらか一方、あるいは両方のクラスの演算子に使用されている。この重要だが技術的な区別の詳細については、ホールの著書[ 11 ]の第9章を参照のこと。)
量子力学の位相空間定式化において、ロバートソン・シュレーディンガー関係は実数スター二乗関数の正値条件から導かれる。ウィグナー関数が与えられた場合スター積★と関数fに関して、一般的に次のことが成り立つ。[ 21 ]
選択する到着する
この正値条件はすべてのa、b、cに対して成り立つので、行列のすべての固有値は非負であることがわかります。
非負の固有値は、行列式に対する対応する非負条件を意味する。 または、明示的に代数操作の後、
ロバートソン関係とシュレーディンガー関係は一般的な演算子に関するものであるため、これらの関係を任意の2つの観測量に適用することで、特定の不確定性関係を得ることができます。文献でよく見られる関係をいくつか以下に示します。
演算子に対するロバートソン不等式の導出そして必要そして定義される必要がある。これらの条件が成り立たない量子系も存在する。[ 24 ]一例として、リング上の 量子粒子があり、その波動関数は角度変数に依存する。間隔「位置」演算子と「運動量」演算子を定義するそしてによる そして 周期境界条件付き定義によります0からこれらの演算子は、位置演算子と運動量演算子の通常の交換関係を満たします。より正確には、両方がそして定義され、そのような空間は量子ヒルベルト空間の稠密部分空間である。[ 11 ]
さあの固有状態のいずれかであるそれらは、これらの状態は、直線上の運動量演算子の固有状態とは異なり、正規化可能です。また、演算子は有界である。有界区間の範囲に及ぶ。したがって、この状態では不確実性はゼロであり、不確実性はは有限なので、 この場合、ロバートソンの不確定性原理は適用されません。オペレーターの領域外です乗算により周期境界条件を乱す[ 11 ]
通常の位置演算子と運動量演算子の場合そして実数直線上では、そのような反例は発生しない。そして州内で定義されているハイゼンベルクの不確定性原理は、たとえ領域内にないまたは[ 11 ]
ロバートソン・シュレーディンガーの不確定性は、すべての成分に対して成り立つ必要があることに注目することで改善できる。密度行列の任意 の分解において、 ここでは、確率についてそして保持します。次に、関係を使用して のためにしたがって、[ 25 ] 境界内の関数が定義されている 上記の関係式は、元のロバートソン・シュレーディンガーの不確定性関係式よりも大きな境界値を持つことが非常に多い。したがって、量子状態そのものではなく、量子状態の混合成分に対するロバートソン・シュレーディンガーの不確定性関係式の境界値を計算し、それらの平方根の平均を求める必要がある。以下の式は、ロバートソン・シュレーディンガーの不確定性関係式よりも強い。 右側には密度行列の分解の上に凹型の屋根がある。上記の改良された関係は、すべての単一量子ビット量子状態によって飽和される。[ 25 ]
同様の議論により、右辺に凸屋根を持つ関係を導き出すことができる[ 25 ]。 どこは量子フィッシャー情報を表し、密度行列は純粋状態に分解される。 この導出では、量子フィッシャー情報が分散の凸の屋根の4倍であるという事実を利用している。[ 26 ] [ 27 ]
凸屋根のないより単純な不等式が続く[ 28 ] これはハイゼンベルクの不確定性関係よりも強い。なぜなら量子フィッシャー情報では 一方、純粋状態においては等号が成り立つ。
ロバートソン・シュレーディンガーの不確定性関係は、システムの 状態が観測量の 1 つの固有状態として選択される場合は自明となる。ロレンツォ・マッコーネとアルン・K・パティによって証明されたより強い不確定性関係は、互いに矛盾する 2 つの観測量の分散の合計に非自明な境界を与える。[ 29 ] (分散の合計として定式化された不確定性関係に関する以前の研究には、例えば、Yichen Huang による文献[ 30 ]がある。) 2 つの非可換な観測量の場合、そして最初のより強い不確定性関係は次のように与えられる。 どこ、、は、システムの状態に直交する正規化ベクトルである。そして、サインを選ぶべきであるこの実数を正の数にする。
2番目に強い不確定性関係は次のように与えられる。 どこは、. の形式これは、新しい不確定性関係の右辺がゼロでないことを意味する。は、注目すべき点として、の固有状態になり得るどちらの固有状態でもないまたはしかし、が 2 つの観測量の 1 つの固有状態である場合、ハイゼンベルク・シュレーディンガーの不確定性関係は自明となる。しかし、新しい関係の下限は、 でない限りゼロではない。は両方の固有状態である。
エネルギーと時間の不確定性関係は次のようになります。 長い論争の歴史を持つ。そしては様々であり、異なる定式化には異なる有効領域がある。[ 31 ]しかし、よく知られた応用例の 1 つは、十分に確立されており[ 32 ] [ 33 ]、実験的に検証されている。[ 34 ] [ 35 ]共鳴状態の寿命と、そしてそのエネルギー幅: 素粒子物理学では、ブライト・ウィグナーエネルギー分布への実験的フィッティングから得られる幅が、準安定状態または崩壊状態の寿命を特徴づけるために用いられる。[ 36 ]
この原理の非公式な経験的意味は次のとおりです。[ 37 ]短時間しか存在しない状態は、確定したエネルギーを持つことができません。確定したエネルギーを持つためには、状態の周波数を正確に定義する必要があり、そのためには、必要な精度の逆数である多くのサイクルにわたって状態が持続する必要があります。たとえば、分光法では、励起状態は有限の寿命を持ちます。時間-エネルギー不確定性原理により、それらは確定したエネルギーを持たず、崩壊するたびに放出されるエネルギーはわずかに異なります。放出される光子の平均エネルギーは、状態の理論エネルギーでピークを持ちますが、分布には自然線幅と呼ばれる有限の幅があります。急速に崩壊する状態は広い線幅を持ち、ゆっくりと崩壊する状態は狭い線幅を持ちます。[ 38 ]同じ線幅効果により、素粒子物理学では不安定で急速に崩壊する粒子の静止質量を特定することも困難になります。粒子の崩壊が速いほど(寿命が短いほど)、その質量の確実性は低くなる(粒子の幅が大きくなる)。
量子力学における「時間」の概念は多くの課題を提起する。[ 39 ]時間測定の量子論は存在しない。相対性理論は時間にとって基本的であると同時に、量子力学に組み込むのが難しい。[ 31 ]位置と運動量は単一の粒子に関連付けられているが、時間はシステムの特性であり、ロバートソン・シュレーディンガー関係に必要な演算子を持たない。[ 1 ]安定な量子システムと不安定な量子システムの数学的扱いが異なる。[ 40 ]これらの要因が組み合わさって、エネルギー・時間不確定性原理は議論の的となっている。
「時間」には、外部時間、内在時間、観測可能時間の 3 つの概念があります。[ 31 ]外部時間または実験室時間は、実験者によって観察されます。内在時間は、時計の針や自由粒子の運動などの動的変数の変化によって推測されます。観測可能時間は、時間的に分離されたイベントの測定である観測可能な時間に関するものです。
外部時間エネルギー-時間不確定性原理によれば、量子系のエネルギーをある精度で測定することは時間間隔が必要[ 33 ]しかし、ヤキール・アハロノフとデビッド・ボーム[ 41 ] [ 31 ]は、いくつかの量子システムでは、エネルギーを任意の短い時間内に正確に測定できることを示しました。外部時間不確定性原理は普遍的ではありません。
固有時間は、次節で説明するマンデルスタム・タム関係を含む、エネルギー・時間不確定性関係のいくつかの定式化の基礎となっている。固有時間が外部の実験室時間とほぼ一致する物理システムは「時計」と呼ばれる。[ 39 ]: 31
2 つのイベント間の時間を測定する観測可能な時間は、量子理論にとって依然として課題であり、正値演算子値測度の概念を使用してある程度の進歩が見られています。[ 31 ]
1945年、レオニード・マンデルスタムとイゴール・タムは、非相対論的な時間-エネルギー不確定性関係を以下のように導出した。[ 42 ] [ 31 ]ハイゼンベルク力学から、明示的な時間依存性を持たない観測量Bに対する一般化されたエーレンフェストの定理は、自己共役演算子によって表される。平均値の時間依存性に関連するハミルトニアンとの交換子の平均値に対して:
価値エネルギー演算子の代わりに、ロバートソン不確定性関係式に代入される。そして: 贈る (分母がゼロでない場合)。これは普遍的な結果ではあるが、選択された観測量と偏差に依存する。そして特定の状態に対して計算されます。そして特性時間 エネルギーと時間の関係を示す それでもは時間の次元を持ち、シュレーディンガー方程式に含まれる時間パラメータtとは異なります。は、観測量の期待値が、1標準偏差に相当する量だけ変化する。[ 43 ] 例:
それぞれの例は、使用される観測量と状態に応じて、時間的不確実性に関して異なる意味を持つ。
量子場理論のいくつかの定式化では、仮想粒子と呼ばれる一時的な電子・陽電子対を計算に用いる。これらの粒子の質量エネルギーと寿命は、エネルギー・時間不確定性関係によって結び付けられる。量子系のエネルギーは、その挙動を単一の単純な履歴に限定できるほどの精度で既知ではない。したがって、測定/計算されたエネルギー分布の平均よりもはるかに大きい、あるいははるかに小さいエネルギーを持つ履歴も含め、すべての履歴の影響を量子計算に組み込む必要がある。
エネルギーと時間の不確定性原理は、一時的にエネルギー保存則を破るものではありません。また、短時間のうちに「返却」される限り、宇宙からエネルギーを「借りる」ことができるという意味でもありません。[ 16 ]: 145宇宙のエネルギーは、常に正確に知られているパラメータではありません。[ 1 ]非常に短い時間間隔で事象が発生する場合、これらの事象のエネルギーには不確定性があります。
調和解析の文脈では、不確定性原理は、関数の値とそのフーリエ変換を同時に局所化することはできないことを意味する。すなわち、次の不等式が成り立つ。
上記のエントロピー的不確実性を含む、さらなる数学的不確実性不等式が、関数fとそのフーリエ変換ƒ̂の間に成り立つ。[ 44 ] [ 45 ] [ 46 ]
時間周波数解析の文脈では、不確定性原理は、デニス・ガボールにちなんでガボール限界、あるいはハイゼンベルク・ガボール限界と呼ばれることもあります。以下の「ベネディックスの定理」から導かれる基本的な結果は、関数は時間制限と帯域制限の両方を持つことはできない(関数とそのフーリエ変換の両方が有界領域を持つことはできない)ということです(帯域制限と時間制限を参照)。より正確には、時間帯域幅または持続時間帯域幅の積は、次の式を満たします 。 どこそしてはそれぞれ、時間と周波数のエネルギー集中度の標準偏差である。[ 47 ]最小値はガウス型パルス(ガボールウェーブレット)で得られる[非二乗ガウス(すなわち信号振幅)とその非二乗フーリエ変換振幅の場合]; 二乗するとそれぞれが減少する係数によって.] もう一つの一般的な尺度は、時間と周波数の半値全幅(電力/エネルギー)の積であり、ガウス分布の場合は次のようになる。(帯域幅制限パルスを参照)。
言い換えれば、信号fを時間領域と周波数領域の両方で同時に正確に局在化することはできません。
フィルターに適用すると、この結果は、高い時間分解能と高い周波数分解能を同時に達成することはできないことを示唆しています。具体的な例としては、短時間フーリエ変換の分解能の問題が挙げられます。広いウィンドウを使用すると、時間分解能を犠牲にして良好な周波数分解能が得られますが、狭いウィンドウではその逆のトレードオフが生じます。
別の定理を用いると、より精度の高い定量的結果が得られます。時間周波数解析においては、(1次元の)時間領域と周波数領域を別々に解釈するのではなく、(2次元の)時間周波数平面における関数のサポートの下限として極限を解釈します。実際には、ガボール限界は、干渉なしに達成できる同時時間周波数分解能を制限します。より高い分解能を達成することは可能ですが、その代償として信号の異なる成分が互いに干渉し合うことになります。
そのため、過渡現象が重要な信号を解析する際には、フーリエ変換の代わりにウェーブレット変換がよく用いられる。
させてN個の複素数からなる数列であり、その離散フーリエ変換をとする。
で表す時間シーケンス内の非ゼロ要素の数そして周波数シーケンスにおける非ゼロ要素の数。 それから、
この不等式は厳密であり、xまたはX がディラック質量である場合、あるいはより一般的には、x がNを法とする整数の部分群上に支えられたディラック櫛の非ゼロ倍数である場合に等号が成立します(この場合、Xも相補的な部分群上に支えられたディラック櫛であり、その逆も同様です)。
より一般的に、TとWがNを法とする整数の部分集合である場合、それぞれ時間制限演算子と帯域制限演算子を表す。すると ここでノルムはヒルベルト空間上の作用素の作用素ノルムである。Nを法とする整数上の関数の不等式。この不等式は信号再構成に影響を与える。[ 48 ]
アムライン・ベルティエ[ 50 ]とベネディックスの定理[ 51 ]は、 fがゼロでない点の集合とƒ̂がゼロでない点の集合の両方が小さくなることはないことを直感的に示している。
具体的には、 L 2 ( R )の関数fとそのフーリエ変換ƒ̂の両方が有限ルベーグ測度の集合上にサポートを持つことは不可能です。より定量的なバージョンは[ 52 ] [ 53 ]です。
因子Ce C | S | | Σ |はCe C ( | S | | Σ | ) 1/ dに置き換えられると予想されるが、これはSまたはΣのいずれかが凸である場合にのみ判明する。
数学者GHハーディは、次の不確定性原理を定式化した。[ 54 ] fとƒ̂の両方が「非常に急速に減少する」ことは不可能である。具体的には、fがは、 そして (整数)、ab > 1の場合、 f = 0 、 ab = 1の場合、次数≤ Nの多項式Pが存在し、
これは後に次のように改善されました。は、 それから ここで、Pは次数( N - d )/2の多項式であり、Aは実数d × d正定値行列である。
この結果は、ベウリングの全著作集では証明なしに述べられており、ホルマンダー[ 55 ]で証明されている(事例)。)および一般の場合については、Bonami、Demange、およびJaming [ 56 ]による。Hörmander–Beurling のバージョンは Hardy の定理でab > 1 の場合を意味するのに対し、Bonami–Demange–Jaming のバージョンは Hardy の定理の完全な強度をカバーしていることに注意。Liouville の定理に基づく Beurling の定理の別の証明が文献[ 57 ]に掲載されている。
ab < 1の場合の詳細な説明と、シュワルツクラス分布への以下の拡張については、参考文献[ 58 ]に記載されています。
定理—緩やかな分布の場合は、 そして それから 都合の良い多項式Pとd × d型の実数正定値行列Aに対して。
量子計測、特に干渉法において、ハイゼンベルク限界は、測定精度が測定に使用されるエネルギーに比例してスケーリングできる最適な速度である。通常、これは位相(ビームスプリッターの一方のアームに印加される)の測定であり、エネルギーは干渉計で使用される光子の数によって与えられる。ハイゼンベルク限界を破ったと主張する者もいるが、これはスケーリングリソースの定義に関する意見の相違を反映している。[ 59 ]適切に定義すれば、ハイゼンベルク限界は量子力学の基本原理の結果であり、破ることはできないが、弱いハイゼンベルク限界は破ることができる。[ 60 ]
上記の不等式は、標準偏差によって定量化される観測値の統計的不正確さに焦点を当てています。しかし、ハイゼンベルクの当初の理論は、測定装置によって生じる量子系の擾乱、すなわち観測者効果である系統誤差を扱っていた。
もし私たちが許せばは観測可能なAの測定の誤差 (つまり不正確さ) を表し、共役変数Bのその後の測定にAの以前の測定によって生じた擾乱がある場合、系統誤差と統計誤差の両方を含む小澤正尚によって提案された不等式が成り立つ: [ 61 ]
ハイゼンベルクの不確定性原理は、1927年の定式化で最初に記述されたように、系統誤差に関する小澤不等式の第一項のみに言及している。連続測定(まずA、次にB )の誤差/擾乱効果を上記の表記法で表すと、次のように書ける。
ハイゼンベルクの関係式の形式的な導出は可能であるが、直感的に理解できるものではない。これはハイゼンベルク自身によって提唱されたものではなく、近年になってようやく数学的に整合性のある形で定式化されたものである。[ 62 ] [ 63 ] また、ハイゼンベルクの定式化は、本質的な統計誤差を考慮していない点にも留意する必要がある。そして実験的証拠[ 64 ] [ 65 ] [ 66 ] [ 67 ]は、量子不確定性の総和はハイゼンベルク項だけでは説明できず、小澤不等式の3つの項すべてが必要であることを示している。
同じ形式論を用いて、[ 1 ]前述の状況と混同されがちな、もう一方の物理的状況、すなわち同時測定(AとBが同時に行われる場合)を導入することも可能である。
AとBの2つの同時測定は必然的に[ 68 ]不鮮明または弱い。
また、小澤の不確定性関係のように、統計的誤差と系統的誤差の両方の要素を組み合わせた不確定性関係を導出することも可能であり、その形式はハイゼンベルクの元の不等式に非常に近い。ロバートソン[ 1 ]を加えることで、
そして小沢関係式から、 4つの項は次のように表すことができます。 定義: 変数Aの測定値の不正確さ として、 共役変数Bの結果として生じる変動 として、藤川和夫[ 69 ] は、ハイゼンベルクの元の不確定性関係に似た不確定性関係を確立したが、これは系統誤差と統計誤差の両方に有効である。
多くの分布において、標準偏差は構造を定量化する特に自然な方法ではありません。たとえば、観測量の 1 つが角度である不確実性関係は、1 周期よりも大きな変動に対して物理的な意味をほとんど持ちません。[ 20 ] [ 70 ] [ 71 ] [ 72 ]他の例としては、高度に二峰性の分布や、分散が発散する単峰性の分布などがあります。
これらの問題を克服する解決策は、分散の積ではなくエントロピー的不確定性に基づく不確定性である。 1957年に量子力学の多世界解釈を定式化する際に、ヒュー・エヴェレット3世はエントロピー的確実性に基づく不確定性原理のより強力な拡張を推測した。[ 73 ]この推測は、II・ヒルシュマン[ 74 ]によっても研究され、1975年にW・ベックナー[ 75 ]とイヴォ・ビアリニツキ=ビルラおよびイェジー・ミシエルスキ[ 76 ]によって証明されたものであり、2つの正規化された無次元フーリエ変換ペアf ( a )とg ( b )に対して、
シャノン情報エントロピー そして 以下の制約条件に従う。
ここで、対数は任意の底で表すことができる。
位置波動関数ψ ( x )と運動量波動関数φ ( x )に関連する確率分布関数は、それぞれ長さと運動量の逆数の次元を持つが、エントロピーは次のように無次元化できる。 ここで、x 0とp 0はそれぞれ任意に選択された長さと運動量であり、これにより対数の引数は無次元化されます。エントロピーはこれらの選択されたパラメータの関数になることに注意してください。位置波動関数ψ ( x )と運動量波動関数φ ( p )の間のフーリエ変換関係により、上記の制約は対応するエントロピーに対して次のように記述できます。
ここでhはプランク定数である。
x 0 p 0の積の選択に応じて、式はさまざまな方法で記述できます。x 0 p 0をhと選択すると、
代わりに、x 0 p 0が次のように選択される場合、 それから
x 0とp 0が、使用されている単位系において単位として選択される 場合、 ここで、hは、選択された単位系におけるプランク定数の値に等しい無次元数として解釈されます。これらの不等式は、マルチモード量子状態、つまり複数の空間次元における波動関数に拡張できることに注意してください。[ 77 ]
量子エントロピー不確定性原理は、ハイゼンベルク不確定性原理よりも制約が厳しい。逆対数ソボレフ不等式[ 78 ]から (同様に、正規分布は与えられた分散を持つすべてのエントロピーを最大化するという事実から)このエントロピー的不確定性原理は標準偏差に基づく原理よりも強いことが容易に導かれる。なぜなら
言い換えれば、ハイゼンベルクの不確定性原理は量子エントロピーの不確定性原理の結果であるが、その逆は成り立たない。これらの不等式についていくつか注意点を述べておく。まず、底eの選択は物理学における一般的な慣習である。対数は、不等式の両辺で一貫性があれば、任意の底で表すことができる。次に、量子フォンノイマンエントロピーではなく、シャノンエントロピーが使用されていることに注意する。最後に、正規分布は不等式を満たし、固定分散を持つ分布の中でエントロピー確率分布が最大であるため、この性質を持つ唯一の分布である(証明についてはここを参照)。
測定装置は、可能な出力をビンに離散化することによって有限の分解能を持ち、いずれかのビン内に含まれる確率はボルンの規則によって与えられます。ここでは、ビンのサイズが均一である最も一般的な実験状況を考えます。空間分解能の尺度をδxとします。0番目のビンは原点付近に中心があり、小さな定数オフセットcがあるものとします。幅δxのj番目の区間内に含まれる確率は
この離散化を考慮するために、特定の測定装置における波動関数のシャノンエントロピーを次のように定義できます。
上記の定義に基づくと、エントロピー的不確定性関係は次のようになる。
ここで、 δx δp / hは分配関数の計算に用いられる典型的な微小位相空間体積であることに注意する。この不等式は厳密であり、飽和していない。この境界を改善するための研究は活発に行われている。
全角運動量を持つ粒子の場合以下の不確定性関係が成り立つ どこは角運動量成分である。この関係は以下から導き出せる。 そして この関係は[ 25 ] [ 79 ] のように強化できる。 どここれは量子フィッシャー情報である。
1925年、ハイゼンベルクは「再解釈」論文を発表し、量子論の中心的な側面は非可換性であることを示した。この理論は、位置と運動量の測定の相対的な順序が重要であることを示唆していた。マックス・ボルンとパスカル・ジョルダンと共に、彼は行列力学の開発を続け、それが最初の現代量子力学の定式化となった。[ 80 ]

1926年3月、ボーア研究所で働いていたハイゼンベルクは、非可換性が不確定性原理を意味することに気づいた。 1927年2月にヴォルフガング・パウリに宛てた手紙の中で、彼はその基本概念をまとめた。[ 81 ]
ハイゼンベルクは、 1927年の有名な論文「量子論的運動学と力学の知覚的内容について」の中で、この式をあらゆる位置測定によって引き起こされる避けられない運動量の擾乱の最小量として確立したが、[ 2 ]不確定性 Δx とΔpの正確な定義は与えなかった。代わりに、それぞれの場合についてもっともらしい推定値を個別に与えた。彼の論文は顕微鏡の観点から分析を行ったが、ボーアはそれが間違っていることを示した。ハイゼンベルクは論文に補遺を加えた。
1930年のシカゴでの講演[ 82 ]で、彼は自身の原理をさらに洗練させた。
その後の研究でこの概念はさらに拡張された。可換でない2つの変数は同時に測定することはできない。一方の変数をより正確に知れば知るほど、もう一方の変数をより不正確に知ることができる。ハイゼンベルクは次のように記している。
最も単純な形で表現すると次のようになります。最小の粒子の動きを決定する2つの重要な要素、つまり位置と速度の両方を完全に正確に知ることは決してできません。粒子の位置と方向と速度を同時に正確に決定することは不可能です。[ 83 ]
ケナード[ 6 ] [ 1 ]: 204は1927年に現代の不等式を初めて証明した。
ここで、 ħ = h / 2π 、σx、σpは位置と運動量の標準偏差である。(ハイゼンベルクはガウス状態の特殊な場合についてのみ関係式(A2)を証明した。[ 82 ])1929年にロバートソンはこの不等式をすべての観測量に一般化し、1930年にシュレーディンガーは演算子の非ゼロ共分散を許容するように形式を拡張した。この結果はロバートソン・シュレーディンガーの不等式と呼ばれている。[ 1 ]: 204
ハイゼンベルクは、1927年にドイツ語で書かれた論文の本文全体を通して、基本的な理論的原理を説明するために「Ungenauigkeit」(英語:不正確さ)という言葉を使用していた。 [ 2 ]彼は脚注で初めて「Unsicherheit」(英語:不確実性)という言葉に切り替えた。その後、彼は常に「Unbestimmtheit」(英語:不定性)を使用した。しかし、1930年にハイゼンベルクの教科書『量子論の物理的原理』の英語版が出版されたとき、英語の「uncertainty」という言葉だけが使用され、それが英語の用語となった。[ 84 ]

この原理は非常に直感に反するため、量子論の初期の研究者たちは、それを破るための単純な測定は常に不可能であると確信させられる必要があった。ハイゼンベルクが不確定性原理を破ることの本質的な不可能性を最初に説明した方法の1つは、測定装置として仮想顕微鏡の観測者効果を使用することである。 [ 82 ]
彼は、実験者が電子に光子を照射することで、電子の位置と運動量を測定しようとしている様子を想像している。[ 85 ]: 49-50
これらのトレードオフの組み合わせは、使用する光子の波長と開口サイズに関係なく、測定された位置と測定された運動量の不確定性の積が、(小さな数値係数を除いて)プランク定数に等しい下限以上であることを意味します。 [ 86 ]ハイゼンベルクは不確定性原理を厳密な限界として定式化することに関心を持たず、代わりにそれを小さな数値係数を除いて修正されたヒューリスティックな定量的記述として使用することを好みました。これにより、量子力学の根本的に新しい非可換性が必然的になります。
歴史的に、不確定性原理は、物理学における関連する効果である観測者効果と混同されてきた[ 87 ] [ 61 ] 。観測者効果とは、特定のシステムの測定はシステムに影響を与えずにはできない、つまりシステム内の何かを変えずにはできないというものである[ 88 ] [ 89 ]。ハイゼンベルクは、量子レベルでこのような観測者効果(後述)を量子の不確定性の物理的な「説明」として用いた[ 90 ] 。しかし、その後、不確定性原理はすべての波動系の性質に内在するものであり[ 64 ]、量子力学ではすべての量子物体の物質波動性によって生じるものであることが明らかになった[ 91 ]。したがって、不確定性原理は実際には量子システムの基本的な性質を述べているのであり、現在の技術の観測の成功について述べているのではない[ 92 ] 。
量子力学のコペンハーゲン解釈とハイゼンベルクの不確定性原理は、実際には当初、批判者たちから二つの標的として見なされていた。量子力学のコペンハーゲン解釈によれば、量子状態が記述する根本的な現実というものは存在せず、実験結果を計算するための処方箋があるだけである。システムの状態が根本的に何であるかを述べる方法はなく、観測結果がどうなるかしか分からないのである。
アルバート・アインシュタインは、ランダム性は現実の根本的な性質に対する我々の無知の表れだと考えた一方、ニールス・ボーアは、確率分布は根本的かつ還元不可能なものであり、我々が行う測定方法の選択に依存すると考えていた。アインシュタインとボーアは、不確定性原理について長年にわたり議論を交わした。
ヴォルフガング・パウリは、アインシュタインの不確定性原理に対する根本的な反論を「客観的な観察者の理想」と呼んだ(ドイツ語からの翻訳)。
「月が明確な位置を持っているように」とアインシュタインは昨冬私に言った。「私たちが月を見るかどうかに関わらず、原子物体についても同じことが言えるはずだ。なぜなら、原子物体と巨視的な物体との間に明確な区別は不可能だからだ。観察によって位置のような現実の要素を作り出すことはできない。物理的現実の完全な記述には、実際に観察が行われる前から、位置を観察する可能性に対応する何かが含まれていなければならないのだ。」アインシュタインの言葉を正しく引用できたことを願う。同意できない人物の言葉を記憶から引用するのは常に難しいものだ。まさにこのような前提こそ、私が「客観的な観察者の理想」と呼ぶものである。
—パウリからニールス・ボーアへの手紙、1955年2月15日[ 93 ]
アインシュタインが不確定性原理に異議を唱えるために行った最初の思考実験は、次のようなものだった。
幅dのスリットを通過する粒子を考えてみましょう。粒子が壁を通過するため、スリットによって運動量に約 h / d の不確定性が生じます。しかし、壁の反跳を測定することで粒子の運動量を決定してみましょう。そうすることで、運動量保存の法則により、粒子の運動量を任意の精度で求めることができます。
ボーアの回答は、壁も量子力学的であり、反跳を精度Δ pで測定するには、粒子が通過する前に壁の運動量をこの精度で知っておく必要があるというものだった。これにより、壁の位置、ひいてはスリットの位置に h / Δ p の不確定性が生じ、壁の運動量が反跳を測定できるほど正確に分かっている場合、スリットの位置は位置測定を妨げるほど不確定になる。
複数のスリットを通して回折する粒子に関する同様の解析は、リチャード・ファインマンによって行われている。[ 94 ]
ボーアは、アインシュタインが後に「アインシュタインの箱」として知られる思考実験を提案した際にその場に居合わせた。アインシュタインは、「ハイゼンベルクの不確定性方程式は、時間の不確定性がエネルギーの不確定性と関連しており、その積がプランク定数と関連していることを示唆している」と主張した。[ 95 ]彼は、光を無限に閉じ込めることができるように鏡で覆われた理想的な箱を考えてみようと言った。時計仕掛けの機構が特定の瞬間に理想的なシャッターを開き、1つの光子を放出する前に、箱の重さを量ることができる。「これで、光子が箱から出た正確な時間がわかった」とアインシュタインは説明した。[ 96 ]「では、もう一度箱の重さを量ってみよう。質量の変化は、放出された光のエネルギーを示している。このようにして、放出されたエネルギーと放出された時間を、不確定性原理に反して、任意の精度で測定できる」とアインシュタインは述べた。[ 95 ]
ボーアはこの議論について一晩中考え続け、最終的にそれが欠陥のあるものであることに気づいた。彼は、例えばバネと秤の指針を使って箱の重さを量るとしたら、「箱は重さの変化に伴って垂直方向に動くので、垂直方向の速度に不確定性が生じ、したがってテーブルからの高さにも不確定性が生じる。…さらに、地球表面からの高度に関する不確定性は、アインシュタイン自身の重力が時間に及ぼす影響の理論のために、時計の進み具合の不確定性につながる」 [ 97 ]と指摘した。「この一連の不確定性を通して、ボーアはアインシュタインの光箱実験では光子のエネルギーと脱出時間を同時に正確に測定することはできないことを示した」[ 98 ] 。
1935年、アインシュタイン、ボリス・ポドルスキー、ネイサン・ローゼンは、空間的に分離されたもつれ粒子(EPRパラドックス)の解析を発表した。 [ 99 ] EPRによれば、もつれ粒子の一方の位置と他方の粒子の運動量を測定し、それらの測定値から両方の粒子の位置と運動量を任意の精度で推測することができ、不確定性原理に違反する。このような可能性を避けるためには、一方の粒子の測定が他方の粒子の確率分布を瞬時に変更する必要があり、局所性の原理に違反する可能性がある。[ 100 ]
1964年、ジョン・スチュワート・ベルは、この仮定は異なる実験の確率間に一定の不等式が生じることを意味するため、反証可能であることを示した。実験結果は量子力学の予測を裏付け、EPRの基本的な仮定である局所隠れ変数を否定した。
科学哲学者カール・ポパーは、論理学者および形而上学的実在論者として不確定性の問題に取り組んだ。[ 101 ]彼は、不確定性関係を同一に準備された粒子の集合ではなく個々の粒子に適用することに反対し、それらを「統計的散乱関係」と呼んだ。[ 101 ] [ 102 ]この統計的解釈では、量子論を無効にすることなく、特定の測定を任意の精度で行うことができる。
1934年、ポパーは『自然科学』誌に『不確定性関係批判』[ 103 ]を発表し、同年には『研究の論理』 ( 1959年に著者自身によって『科学的発見の論理』として翻訳・改訂された[ 101 ] )を発表し、統計的解釈に関する自身の議論を概説した。1982年には、 『量子論と物理学の分裂』の中で、自身の理論をさらに発展させ、次のように記している。
ハイゼンベルクの公式は、疑いなく量子論の導出可能な統計公式である。しかし、これらの公式は測定精度の上限を決定するものとして解釈できると主張する量子論者によって、習慣的に誤って解釈されてきた。[原文強調] [ 104 ]
ポパーは不確定性関係を反証する実験を提案したが、カール・フリードリヒ・フォン・ヴァイツゼッカー、ハイゼンベルク、アインシュタインとの議論の後、当初の提案を撤回した。ポパーは論文をアインシュタインに送付しており、それがEPRパラドックスの定式化に影響を与えた可能性がある。[ 105 ]: 720
アーサー・コンプトン[ 106 ]やマルティン・ハイゼンベルク[ 107 ]を含む一部の科学者は、不確定性原理、あるいは少なくとも量子力学の一般的な確率的性質が、自由意志の二段階モデルの証拠となり得ると示唆している。しかし、量子力学が化学の基礎として果たす基本的な役割とは別に、室温での量子系のデコヒーレンス時間が短いため、量子力学を必要とする非自明な生物学的メカニズムは考えにくいという批判もある[ 108 ] 。この理論の支持者は、このデコヒーレンスは生物細胞に見られる遮蔽とデコヒーレンスのない部分空間の両方によって克服されるとよく言う[ 108 ] 。
不確定性原理に違反することは、熱力学第二法則にも違反することを強く示唆すると考えられる理由がある。[ 109 ]ギブスのパラドックスを参照。
不確定性原理は、量子粒子(例えば電子)を古典的な概念(位置と運動量)に関連付けます。これは、量子粒子が位置と運動量を持つという前提に基づいています。エドウィン・C・ケンブルは1937年に[ 110 ]、このような性質は実験的に検証できず、存在すると仮定すると多くの矛盾が生じると指摘しました。同様に、ルドルフ・ハーグは、量子力学における位置は、電子と検出器などの相互作用の属性であり、固有の性質ではないと指摘しています。[ 111 ] [ 112 ]この観点からすると、不確定性原理は基本的な量子特性ではなく、ケンブルが言うように「先祖の言語から受け継がれた」概念です。
不確定性原理は量子力学の基本的な結果であるため、量子力学の典型的な実験では、その側面が日常的に観測されます。粒子物理学を含むあらゆる形態の分光法は、この関係を利用して、測定されたエネルギー線幅と量子状態の寿命を関連付けます。ただし、特定の実験では、主要な研究プログラムの一部として、不確定性原理の特定の形式を意図的に検証する場合があります。これには、たとえば、超伝導システム[ 113 ]や量子光学システム[ 114 ]における数と位相の不確定性関係の検証が含まれます。
不確定性原理に基づいて動作するアプリケーションには、重力波干渉計に必要なような極めて低ノイズの技術が含まれます。このような干渉計は、ミラー間の距離を測定し、重力波を検出します。質量が のミラーの場合観測された秒は量子 不確定性によって制限される 質量の鏡の場合1 × 10 5 gを測定2 × 10 −3 秒の精度は制限され、6 × 10 −18 cm。[ 115 ] [ 116 ]
「Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik」の英語訳