[論文レビュー] From slightly coloured noises to unitless product systems

Boris Tsirelson|ArXiv.org|Jun 22, 2000

Functional Equations Stability Results参考文献 12被引用数 11

ひとこと要約

この論文は、ゆっくり減衰するスペクトル密度を持つわずかに色のついたガウス過程の定常ノイズを用いて、非同型のユニットレスな積構造系の連続体を構成する。関連するヒルベルト空間構造とそのテンソル積性質を分析することで、非可算個の同型でないユニットレスな積構造系の存在を証明し、アーヴェソンが提起した長年の未解決問題を解決する。

ABSTRACT

Stationary Gaussian generalized random processes having slowly decreasing spectral densities give rise to product systems in the sense of William Arveson (basically, continuous tensor product systems of Hilbert spaces). A continuum of nonisomorphic unitless product systems is produced, answering a question of Arveson.

研究の動機と目的

• ウィリアム・アーヴェソンが提起した、非可算個の非同型のユニットレスな積構造系の存在に関する未解決問題に応えること。
• 特にユニットを欠くものとして、積構造系理論の豊富な例を提供すること。
• わずかに色のついたノイズ（スペクトル密度がゆっくり減少するガウス過程）がユニットレスな積構造系を生じることを確立すること。
• ノイズ内の空間的相関が、系の量子状態に引き継がれ、部分系の漸近的独立性に影響することを示すこと。
• 部分系の漸近的挙動が、スペクトル減衰率におけるパラメータ α に強く依存することを示すこと。これにより相関と分散の挙動が変化する。

提案手法

• スペクトル密度が $ \frac{1}{|t|\ln^\alpha(1/|t|)} $ として小さめの $ t $ に対して減衰するガウス定常一般化確率過程を構成し、$ \alpha > 1 $ とする。
• 区間 $ (a,b) $ 上の関数型の $ L^2 $-空間としてのヒルベルト空間 $ H_{a,b} $ を定義し、連続的なテンソル積系を形成する。
• ノルム 1 のユニットベクトル $ \psi_{a,b} $ が $ \psi_{a,b} \otimes \psi_{b,c} = \psi_{a,c} $ を満たすようにして、乗法的構造を定義する。
• 元の確率測度 $ \mathcal{P} $ に対して絶対連続な測度 $ \mu = |\psi_{0,1}|^2 $ を導入し、独立性と収束を分析する。
• $ \mu $ における $ L^0 $-ノルムで $ g_n \to g $ および $ h_n \to g $ となる列の収束を分析し、各 $ n $ に対して $ g_n $ と $ h_n $ が独立であることを仮定する。
• 矛盾を導くために、$ g $ が $ \mu $-ほとんど everywhere で定数であるが、元のガウス測度 $ \gamma $ では定数ではないことを示し、$ \|g\|_{G_{0,1}} = 0 $ となるが、これは非退化性に反する。

実験結果

リサーチクエスチョン

• RQ1 自然な確率的源から、非可算個の非同型のユニットレスな積構造系を構成できるか？
• RQ2 ガウス過程におけるゆっくり減衰するスペクトル密度が、関連する積構造系の構造にどのように影響するか？
• RQ3 ユニットが存在しない積構造系において、空間的相関の役割は何か？
• RQ4 スペクトル減衰率 $ \sim \frac{1}{|t|\ln^\alpha(1/|t|)} $ のパラメータ $ \alpha $ に依存して、部分系の漸近的挙動はどのように変化するか？
• RQ5 どのような条件下で部分系が漸近的に独立または相関を持つようになり、その影響が分散と相関係数にどのように現れるか？

主な発見

• パラメータ $ \alpha > 1 $ のもとで、スペクトル減衰 $ \sim \frac{1}{|t|\ln^\alpha(1/|t|)} $ を持つわずかに色のついたノイズを用いて、非可算個の非同型のユニットレスな積構造系を構成した。
• $ \varepsilon_n \ln^{\alpha-1} n \to \infty $ ならば、$ Z_n \to Z $ が $ L^2 $ で成り立ち、時間平均積分の収束を示す。
• $ \varepsilon_n \ln^{\alpha-1} n \to 0 $ ならば、$ \text{Var}(Z_n) \to \infty $ かつ $ \text{Corr}(Z_n, Z) \to 0 $ となり、相関の喪失が示される。
• $ \lim_n (\varepsilon_n \ln^{\alpha-1} n) \in (0, \infty) $ ならば、$ \lim_n \text{Var}(Z_n) \in (0, \infty) $ かつ $ \lim_n \text{Corr}(Z_n, Z) \in (0,1) $ となり、安定で非退化した相関が保たれる。
• 矛盾によるユニットレスな積構造系の存在の証明：ユニットの存在を仮定すると、自分自身と独立であるような確率変数が得られ、$ \mu $-a.s. で定数となるが、これは元のガウス測度 $ \gamma $ での非退化性に反する。
• この構成により、ノイズからの空間的相関が量子状態に引き継がれ、すべての有限部分系を同時に分離できないことが確認された。