量子力学 、情報理論 、フーリエ解析 において、エントロピー不確定性 またはHirschman不確定性 は、時間領域と周波数領域のシャノンエントロピー の和として定義される。 ハイゼンベルクの不確定性原理は、これらのエントロピーの和の下限として表現できることがわかっている。 これは、標準偏差の積で表される通常の不確定性原理 よりも強力である。
1957年に[ 1] Hirschmanはある関数fとそのフーリエ変換 g を考えた:
g
(
y
)
≈
∫
−
∞
∞
exp
(
−
2
π
i
x
y
)
f
(
x
)
d
x
,
f
(
x
)
≈
∫
−
∞
∞
exp
(
2
π
i
x
y
)
g
(
y
)
d
y
,
{\displaystyle g(y)\approx \int _{-\infty }^{\infty }\exp(-2\pi ixy)f(x)\,dx,\qquad f(x)\approx \int _{-\infty }^{\infty }\exp(2\pi ixy)g(y)\,dy~,}
ここで"≈" はL 2 における収束を示し、プランシュレルの定理 により正規化されている:
∫
−
∞
∞
|
f
(
x
)
|
2
d
x
=
∫
−
∞
∞
|
g
(
y
)
|
2
d
y
=
1
.
{\displaystyle \int _{-\infty }^{\infty }|f(x)|^{2}\,dx=\int _{-\infty }^{\infty }|g(y)|^{2}\,dy=1~.}
彼は、そのような関数のシャノンエントロピーの和が非負であることを示した、
H
(
|
f
|
2
)
+
H
(
|
g
|
2
)
≡
−
∫
−
∞
∞
|
f
(
x
)
|
2
log
|
f
(
x
)
|
2
d
x
−
∫
−
∞
∞
|
g
(
y
)
|
2
log
|
g
(
y
)
|
2
d
y
≥
0.
{\displaystyle H(|f|^{2})+H(|g|^{2})\equiv -\int _{-\infty }^{\infty }|f(x)|^{2}\log |f(x)|^{2}\,dx-\int _{-\infty }^{\infty }|g(y)|^{2}\log |g(y)|^{2}\,dy\geq 0.}
より厳密な境界、
H
(
|
f
|
2
)
+
H
(
|
g
|
2
)
≥
log
e
2
{\displaystyle H(|f|^{2})+H(|g|^{2})\geq \log {\frac {e}{2}}}
はHirschman[ 1] とEverett に予想され、1975年に W. Beckner[ 2] によって証明され、同じ年にBiałynicki-Birula とMycielski[ 3] によって一般化された不確定性原理として解釈された。
この等式は、正規分布 [ 4] の場合に成立する。
しかし上記のエントロピー的不確定性関数は、位相空間 で表現されるフォン・ノイマンエントロピー とは明らかに異なることに注意。
証明のスケッチ
この厳密な不等式の証明は、フーリエ変換のいわゆる(q, p)ノルムに依存する。(このノルムの確立が証明の最も難しい部分である)。
このノルムから、シャノンエントロピーを一般化する微分Rényiエントロピーの和Hα (|f|²)+Hβ (|g|²) , where 1/α + 1/β = 2 の下界を確立することができる。簡潔にするため、この不等式を一次元でのみ考察する。多次元への拡張は単純であり、引用文献に見出すことができる。
Babenko–Beckner 不等式
フーリエ変換の(q, p)ノルムは次のように定義される。[ 5]
‖
F
‖
q
,
p
=
sup
f
∈
L
p
(
R
)
‖
F
f
‖
q
‖
f
‖
p
,
{\displaystyle \|{\mathcal {F}}\|_{q,p}=\sup _{f\in L^{p}(\mathbb {R} )}{\frac {\|{\mathcal {F}}f\|_{q}}{\|f\|_{p}}},}
where
1
<
p
≤
2
,
{\displaystyle 1<p\leq 2~,}
and
1
p
+
1
q
=
1.
{\displaystyle {\frac {1}{p}}+{\frac {1}{q}}=1.}
1961年、Babenko はq の偶整数についてノルムを発見。1975年、
フーリエ変換の固有関数にエルミート関数 を使い、 Beckner[ 2] q ≥ 2 についてノルムの値が、以下であることを証明した:
‖
F
‖
q
,
p
=
p
1
/
p
/
q
1
/
q
.
{\displaystyle \|{\mathcal {F}}\|_{q,p}={\sqrt {p^{1/p}/q^{1/q}}}.}
よって、以下のBabenko–Beckner不等式 が出る:
‖
F
f
‖
q
≤
(
p
1
/
p
/
q
1
/
q
)
1
/
2
‖
f
‖
p
.
{\displaystyle \|{\mathcal {F}}f\|_{q}\leq \left(p^{1/p}/q^{1/q}\right)^{1/2}\|f\|_{p}.}
Rényiエントロピー境界
この不等式からRényiエントロピーを用いた不確定性原理の表現が導かれる。[ 5]
Let
g
=
F
f
,
2
α
=
p
,
2
β
=
q
,
{\displaystyle g={\mathcal {F}}f,\,2\alpha =p,\,2\beta =q,}
so that
1
α
+
1
β
=
2
{\displaystyle {\frac {1}{\alpha }}+{\frac {1}{\beta }}=2}
and
1
2
≤
α
≤
1
≤
β
{\displaystyle {\frac {1}{2}}\leq \alpha \leq 1\leq \beta }
, we have
(
∫
R
|
g
(
y
)
|
2
β
d
y
)
1
/
2
β
≤
(
2
α
)
1
/
4
α
(
2
β
)
1
/
4
β
(
∫
R
|
f
(
x
)
|
2
α
d
x
)
1
/
2
α
.
{\displaystyle \left(\int _{\mathbb {R} }|g(y)|^{2\beta }\,dy\right)^{1/2\beta }\leq {\frac {(2\alpha )^{1/4\alpha }}{(2\beta )^{1/4\beta }}}\left(\int _{\mathbb {R} }|f(x)|^{2\alpha }\,dx\right)^{1/2\alpha }.}
両辺を2乗して対数をとると、次のようになる。
1
β
log
(
∫
R
|
g
(
y
)
|
2
β
d
y
)
≤
1
2
log
(
2
α
)
1
/
α
(
2
β
)
1
/
β
+
1
α
log
(
∫
R
|
f
(
x
)
|
2
α
d
x
)
.
{\displaystyle {\frac {1}{\beta }}\log \left(\int _{\mathbb {R} }|g(y)|^{2\beta }\,dy\right)\leq {\frac {1}{2}}\log {\frac {(2\alpha )^{1/\alpha }}{(2\beta )^{1/\beta }}}+{\frac {1}{\alpha }}\log \left(\int _{\mathbb {R} }|f(x)|^{2\alpha }\,dx\right).}
α
,
β
{\displaystyle \alpha ,\beta }
の条件を書き直すことができる。
α
(
1
−
β
)
+
β
(
1
−
α
)
=
0
{\displaystyle \alpha (1-\beta )+\beta (1-\alpha )=0}
α
,
β
≠
1
{\displaystyle \alpha ,\beta \neq 1}
と仮定し、次に、両辺に負の値を掛ける。
β
1
−
β
=
−
α
1
−
α
{\displaystyle {\frac {\beta }{1-\beta }}=-{\frac {\alpha }{1-\alpha }}}
以下を得る。
1
1
−
β
log
(
∫
R
|
g
(
y
)
|
2
β
d
y
)
≥
α
2
(
α
−
1
)
log
(
2
α
)
1
/
α
(
2
β
)
1
/
β
−
1
1
−
α
log
(
∫
R
|
f
(
x
)
|
2
α
d
x
)
.
{\displaystyle {\frac {1}{1-\beta }}\log \left(\int _{\mathbb {R} }|g(y)|^{2\beta }\,dy\right)\geq {\frac {\alpha }{2(\alpha -1)}}\log {\frac {(2\alpha )^{1/\alpha }}{(2\beta )^{1/\beta }}}-{\frac {1}{1-\alpha }}\log \left(\int _{\mathbb {R} }|f(x)|^{2\alpha }\,dx\right)~.}
項を並べ替えると、Rényi エントロピーの和の不等式が得られる。
1
1
−
α
log
(
∫
R
|
f
(
x
)
|
2
α
d
x
)
+
1
1
−
β
log
(
∫
R
|
g
(
y
)
|
2
β
d
y
)
≥
α
2
(
α
−
1
)
log
(
2
α
)
1
/
α
(
2
β
)
1
/
β
;
{\displaystyle {\frac {1}{1-\alpha }}\log \left(\int _{\mathbb {R} }|f(x)|^{2\alpha }\,dx\right)+{\frac {1}{1-\beta }}\log \left(\int _{\mathbb {R} }|g(y)|^{2\beta }\,dy\right)\geq {\frac {\alpha }{2(\alpha -1)}}\log {\frac {(2\alpha )^{1/\alpha }}{(2\beta )^{1/\beta }}};}
H
α
(
|
f
|
2
)
+
H
β
(
|
g
|
2
)
≥
1
2
(
log
α
α
−
1
+
log
β
β
−
1
)
−
log
2
{\displaystyle H_{\alpha }(|f|^{2})+H_{\beta }(|g|^{2})\geq {\frac {1}{2}}\left({\frac {\log \alpha }{\alpha -1}}+{\frac {\log \beta }{\beta -1}}\right)-\log 2}
右側
α
2
(
α
−
1
)
log
(
2
α
)
1
/
α
(
2
β
)
1
/
β
{\displaystyle {\frac {\alpha }{2(\alpha -1)}}\log {\frac {(2\alpha )^{1/\alpha }}{(2\beta )^{1/\beta }}}}
=
1
2
[
α
α
−
1
log
(
2
α
)
1
/
α
+
β
β
−
1
log
(
2
β
)
1
/
β
]
{\displaystyle ={\frac {1}{2}}\left[{\frac {\alpha }{\alpha -1}}\log(2\alpha )^{1/\alpha }+{\frac {\beta }{\beta -1}}\log(2\beta )^{1/\beta }\right]}
=
1
2
[
log
2
α
α
−
1
+
log
2
β
β
−
1
]
{\displaystyle ={\frac {1}{2}}\left[{\frac {\log 2\alpha }{\alpha -1}}+{\frac {\log 2\beta }{\beta -1}}\right]}
=
1
2
[
log
α
α
−
1
+
log
β
β
−
1
]
+
1
2
log
2
[
1
α
−
1
+
1
β
−
1
]
{\displaystyle ={\frac {1}{2}}\left[{\frac {\log \alpha }{\alpha -1}}+{\frac {\log \beta }{\beta -1}}\right]+{\frac {1}{2}}\log 2\left[{\frac {1}{\alpha -1}}+{\frac {1}{\beta -1}}\right]}
=
1
2
[
log
α
α
−
1
+
log
β
β
−
1
]
+
1
2
log
2
[
1
α
−
1
+
1
β
−
1
−
α
α
−
1
−
β
β
−
1
]
{\displaystyle ={\frac {1}{2}}\left[{\frac {\log \alpha }{\alpha -1}}+{\frac {\log \beta }{\beta -1}}\right]+{\frac {1}{2}}\log 2\left[{\frac {1}{\alpha -1}}+{\frac {1}{\beta -1}}-{\frac {\alpha }{\alpha -1}}-{\frac {\beta }{\beta -1}}\right]}
=
1
2
[
log
α
α
−
1
+
log
β
β
−
1
]
+
1
2
log
2
[
−
2
]
{\displaystyle ={\frac {1}{2}}\left[{\frac {\log \alpha }{\alpha -1}}+{\frac {\log \beta }{\beta -1}}\right]+{\frac {1}{2}}\log 2\left[-2\right]}
=
1
2
[
log
α
α
−
1
+
log
β
β
−
1
]
−
log
2
{\displaystyle ={\frac {1}{2}}\left[{\frac {\log \alpha }{\alpha -1}}+{\frac {\log \beta }{\beta -1}}\right]-\log 2}
シャノンエントロピー境界
この最後の不等式の極限を次のように取る:
α
,
β
→
1
{\displaystyle \alpha ,\,\beta \to 1}
そして置換
A
=
α
−
1
,
B
=
β
−
1
{\displaystyle \mathrm {A} =\alpha -1,\mathrm {B} =\beta -1}
はより一般的でないシャノンエントロピーの不等式をもたらす。
H
(
|
f
|
2
)
+
H
(
|
g
|
2
)
≥
log
e
2
,
where
g
(
y
)
≈
∫
R
e
−
2
π
i
x
y
f
(
x
)
d
x
,
{\displaystyle H(|f|^{2})+H(|g|^{2})\geq \log {\frac {e}{2}},\quad {\textrm {where}}\quad g(y)\approx \int _{\mathbb {R} }e^{-2\pi ixy}f(x)\,dx~,}
bit , nat など適切な情報単位を選びさえすれば、どの基数の対数でも有効である。
しかし、フーリエ変換の正規化(物理学で通常使われるような、ħ=1となるように正規化する)が異なれば、定数は異なる。
H
(
|
f
|
2
)
+
H
(
|
g
|
2
)
≥
log
(
π
e
)
for
g
(
y
)
≈
1
2
π
∫
R
e
−
i
x
y
f
(
x
)
d
x
.
{\displaystyle H(|f|^{2})+H(|g|^{2})\geq \log(\pi e)\quad {\textrm {for}}\quad g(y)\approx {\frac {1}{\sqrt {2\pi }}}\int _{\mathbb {R} }e^{-ixy}f(x)\,dx~.}
この場合、フーリエ変換の絶対値の2乗を2π 倍に拡張すると、エントロピーにlog(2π )が加算されるだけである。
エントロピー対バリアンス境界
ガウス分布または正規確率分布は、分散とエントロピーの関係において重要な役割を果たす。与えられた分散に対してエントロピーを最大化し、同時に与えられたエントロピーに対して分散を最小化するのは、変分法の問題として示すことができる。実際、実数直線上の任意の確率密度関数
ϕ
{\displaystyle \phi }
に対して、シャノンのエントロピー不等式は以下のように規定する。
H
(
ϕ
)
≤
log
2
π
e
V
(
ϕ
)
,
{\displaystyle H(\phi )\leq \log {\sqrt {2\pi eV(\phi )}},}
ここで、H はシャノンエントロピー、V は分散であり、この不等式は正規分布の場合にのみ等号が成立する。
さらに、ガウス確率振幅関数のフーリエ変換もまたガウス関数であり、これらの絶対値の二乗も同様にガウス関数である。これにより、上記のエントロピー不等式から通常のRobertson分散不確定性不等式を導出でき、後者は前者よりも厳密になりうる。つまり、(ħ=1の場合)Hirschman不等式を指数関数化し、上記のシャノンの表現を用いると、以下のようになる。
1
/
2
≤
exp
(
H
(
|
f
|
2
)
+
H
(
|
g
|
2
)
)
/
(
2
e
π
)
≤
V
(
|
f
|
2
)
V
(
|
g
|
2
)
.
{\displaystyle 1/2\leq \exp(H(|f|^{2})+H(|g|^{2}))/(2e\pi )\leq {\sqrt {V(|f|^{2})V(|g|^{2})}}~.}
Hirschman[ 1] は、エントロピー(彼のバージョンのエントロピーはシャノンの負の値であった)は「小さい測度を持つ集合における[確率分布]の集中度合いの尺度」であると説明した。したがって、低いまたは大きな負のシャノンエントロピーは、確率分布の相当な質量が小さい測度を持つ集合に閉じ込められていることを意味する。
この小さい測度を持つ集合は、連続している必要はないことに注意してほしい。確率分布は、小さい測度の区間に複数の質量の集中を持つことができ、それらの区間がどれほど広く散らばっていても、エントロピーは依然として低くなる可能性がある。これは分散の場合とは異なる。分散は、分布の平均を中心とした質量の集中度合いを測定し、低い分散は、確率分布の相当な質量が小さい測度の連続した区間に集中していることを意味する。
この区別を形式化するために、2つの確率密度関数
ϕ
1
{\displaystyle \phi _{1}}
と
ϕ
2
{\displaystyle \phi _{2}}
が等測可能であるとは以下の場合をいう。
∀
δ
>
0
,
μ
{
x
∈
R
|
ϕ
1
(
x
)
≥
δ
}
=
μ
{
x
∈
R
|
ϕ
2
(
x
)
≥
δ
}
,
{\displaystyle \forall \delta >0,\,\mu \{x\in \mathbb {R} |\phi _{1}(x)\geq \delta \}=\mu \{x\in \mathbb {R} |\phi _{2}(x)\geq \delta \},}
ここで μ は ルベーグ測度 である。 任意の二つの等測可能な確率密度関数は、同じシャノンエントロピーを持ち、実際には任意の次数の同じレニーエントロピーを持つ。しかしながら、分散については同じことが言えない。任意の確率密度関数は、半径方向に減少する等測可能な「並べ替え」を持ち、その分散は(平行移動を除いて)関数の他の任意の並べ替えよりも小さい。そして、任意に高い分散を持つ並べ替えが存在する(すべて同じエントロピーを持つ)。
出典
^ a b c Hirschman, I. I. Jr. (1957), “A note on entropy” , American Journal of Mathematics 79 (1): 152–156, doi :10.2307/2372390 , JSTOR 2372390 , https://jstor.org/stable/2372390 .
^ a b Beckner, W. (1975), “Inequalities in Fourier analysis” , Annals of Mathematics 102 (6): 159–182, doi :10.2307/1970980 , JSTOR 1970980 , PMC 432369 , PMID 16592223 , https://jstor.org/stable/1970980 .
^ Bialynicki-Birula, I.; Mycielski, J. (1975), “Uncertainty Relations for Information Entropy in Wave Mechanics” , Communications in Mathematical Physics 44 (2): 129, Bibcode : 1975CMaPh..44..129B , doi :10.1007/BF01608825 , http://projecteuclid.org/euclid.cmp/1103899297
^ Ozaydin, Murad; Przebinda, Tomasz (2004). “An Entropy-based Uncertainty Principle for a Locally Compact Abelian Group” . Journal of Functional Analysis (Elsevier Inc.) 215 (1): 241–252. doi :10.1016/j.jfa.2003.11.008 . http://redwood.berkeley.edu/w/images/9/95/2002-26.pdf 2011年6月23日閲覧。 .
^ a b Bialynicki-Birula, I. (2006). “Formulation of the uncertainty relations in terms of the Rényi entropies”. Physical Review A 74 (5): 052101. arXiv :quant-ph/0608116 . Bibcode : 2006PhRvA..74e2101B . doi :10.1103/PhysRevA.74.052101 .
参考文献
Jizba, P.; Ma, Y.; Hayes, A.; Dunningham, J.A. (2016). "One-parameter class of uncertainty relations based on entropy power". Phys. Rev. E 93 (6): 060104(R). doi:10.1103/PhysRevE.93.060104 .
Zozor, S.; Vignat, C. (2007). “On classes of non-Gaussian asymptotic minimizers in entropic uncertainty principles”. Physica A: Statistical Mechanics and Its Applications 375 (2): 499. arXiv :math/0605510 . Bibcode : 2007PhyA..375..499Z . doi :10.1016/j.physa.2006.09.019 . arXiv:math/0605510v1
Maassen, H.; Uffink, J. (1988). “Generalized entropic uncertainty relations” . Physical Review Letters 60 (12): 1103–1106. Bibcode : 1988PhRvL..60.1103M . doi :10.1103/PhysRevLett.60.1103 . PMID 10037942 . https://pure.uva.nl/ws/files/2210736/46650_28y.pdf .
Ballester, M.; Wehner, S. (2007). “Entropic uncertainty relations and locking: Tight bounds for mutually unbiased bases”. Physical Review A 75 (2): 022319. arXiv :quant-ph/0606244 . Bibcode : 2007PhRvA..75b2319B . doi :10.1103/PhysRevA.75.022319 .
Ghirardi, G.; Marinatto, L.; Romano, R. (2003). “An optimal entropic uncertainty relation in a two-dimensional Hilbert space”. Physics Letters A 317 (1–2): 32–36. arXiv :quant-ph/0310120 . Bibcode : 2003PhLA..317...32G . doi :10.1016/j.physleta.2003.08.029 .
Salcedo, L. L. (1998). “Minimum uncertainty for antisymmetric wave functions”. Letters in Mathematical Physics 43 (3): 233–248. arXiv :quant-ph/9706015 . Bibcode : 1997quant.ph..6015S . doi :10.1023/A:1007464229188 .