技術要約：多変量エルミート多項式に関する一般化乗法定理

問題提起

エルミート多項式 $H_k(\lambda x)$ を $H_{k-2i}(x)$ の級数として展開する、単変量エルミート多項式の乗法定理は、数学文献において確立された結果である。しかし、引数が行列 $\Lambda$ によって変換され、かつ一般的な正定値共分散行列 $\Sigma$ に関して定義される多変量エルミート多項式 $H_k(\Lambda x; \Sigma)$ に対する一般化されたバージョンの定理は、提供されたテキスト内では明示的に定式化されていなかった。

本論文は、線形変換されたベクトルの多変量エルミート多項式を、元のベクトルの（おそらく異なる共分散構造を持つ）一連の多変量エルミート多項式に関連付ける乗法定理を導出する必要性に対処している。

手法

導出は、多変量エルミート多項式の母関数アプローチに基づいている。著者は、既知の母関数恒等式を利用している：
$$\sum_{k \in \mathbb{N}^n} \frac{t^k}{k!} H_k(x; \Sigma) = \exp\left(t^T \Sigma^{-1} x - \frac{1}{2} t^T \Sigma^{-1} t\right)$$

手法の核心は、以下のステップを含むものである：

1. 代入： 母関数の引数 $x$ を $\Lambda^T x$ （ここで $\Lambda \in \mathbb{R}^{n \times m}$）に置き換える。
2. 分解： 得られた指数項を、新しい共分散行列 $\Upsilon$ を持つエルミート多項式の母関数に似た部分と、変換された構造と元の共分散構造の差を表す残留指数項の2つの部分に因数分解する。
3. 再展開： 第一の部分を $H_q(x; \Upsilon)$ の母関数を用いて展開する。第二の部分（残留項）は、クロネッカー冪およびベクトル化（$\text{vec}$）を用いたべき級数として展開する。
4. 係数の一致： 両辺の式のべき級数項 $t^{\otimes k}$ の係数を等置することにより、元の多項式 $H_k(\Lambda^T x; \Sigma)$ の係数と目標とする多項式 $H_q(x; \Upsilon)$ の係スの間の関係を孤立させる。
5. 線形代数的操作： 証明では、テンソル構造を解決し、明示的な係数を抽出するために、クロネッカー積の性質、特に恒等式 $(A^T b)^k = A^{\otimes k T} b^{\otimes |k|}$ を用いる。

主要な貢献と結果

1. 一般乗法定理

主要な結果は、多変量エルミート多項式の一般乗法定理の導出である。対称正定値共分散行列 $\Sigma \in \mathbb{R}^{n \times n}$ および $\Upsilon \in \mathbb{R}^{m \times m}$、および任意の行列 $\Lambda \in \mathbb{R}^{n \times m}$ に対して、定理は次のように述べる：

$$H_k(\Lambda^T x; \Sigma) = \sum_{q \in \mathbb{N}^m: |q| \in \{|k|, |k|-2, \dots\}} T_{k,q}(\Sigma \Lambda^T \Upsilon^{-1}; \Sigma, \Upsilon) H_q(x; \Upsilon)$$

係数 $T_{k,q}$ は、クロネッカー冪とベクトル化を用いて明示的に定義される：
$$T_{k,q}(\tilde{\Lambda}; \Sigma, \Upsilon) = \frac{k!}{2^i q! i!} I_n^{\otimes k T} \left( \tilde{\Lambda}^{\otimes q} \otimes \left( \text{vec}(\tilde{\Lambda} \Upsilon^{-1} \tilde{\Lambda}^T - \Sigma^{-1}) \right)^{\otimes i} \right) \Bigg|_{i = \frac{|k|-|q|}{2}}$$

2. 特殊ケースと中間的な一般性

実用性を高めるために、本論文は一般定理のいくつかの具体的な事例を導出している：

• スカラー共分散： $\Sigma = \sigma^2 I_n$ かつ $\Upsilon = \sigma^2 I_m$ の場合、係数は大幅に簡略化され、クロネッカー項における一般的な逆共分散計算の必要性がなくなる。
• 単変量射影： 変換がベクトルの内積（$\Lambda^T x = \lambda^T x$、ただし $\lambda \in \mathbb{R}^m$）である場合、定理は $H_k(\lambda^T x)$ を単変量エルミート多項式の積 $\prod_j H_{q_j}(x_j)$ の級数展開として提供する。
  • 確率論者のエルミート多項式の場合 ($\Upsilon = I$)：
    $$H_{\mathbf{k}}(\lambda^T x) = \sum_{q} \frac{k!}{2^i q! i!} \lambda^q (\|\lambda\|_2^2 - 1)^i \prod_j H_{q_j}(x_j)$$
  • 物理学者のエルミート多項式の場合 ($\Upsilon = \frac{1}{2}I$)：
    $$H_{\mathbf{k}}(\lambda^T x) = \sum_{q} \frac{k!}{q! i!} \lambda^q (\|\lambda\|_2^2 - 1)^i \prod_j H_{q_j}(x_j)$$
    (注：和のインデックス $i$ は $i = (k - |q|)/2$ によって制約される。)

3. 既知の結果との整合性

本論文は、$n=m=1$ かつ適切な共分散行列を選択した場合に、標準的な単変量乗法定理（テキストの式1）が特殊なケースとして回収されることを示している。

意義と主張

著者は、これらの結果は他の研究の過程で導出されたものであるが、本来の目的には過剰であったと考えている。したがって、本論文は主に、これらの展開を必要とする他の研究者のための**リファレンス（参照資料）**として提示されている。

著者は、これらの結果が、著者の知る限り新規であると主張している。新しい応用、実験的検証、または将来の研究方向を提案するものではない。代わりに、その価値は、多変量エルミート多項式を線形変換の下で操作するための、厳密かつ一般化された数学的ツールを提供することにある。これは特に、ベクトルの射影やエルミート変換を伴うアプリケーションにおいて有用である。本研究は、既知の単変量特性を、一般的な共分散構造を持つ多変量領域へと拡張することで、文献における空白を埋める役割を果たしている。