SSII2020発表論文 OpenPose で取得した時系列骨格データからの深層生成モデルによる個人識別

    動画像から取得した骨格データからの個人識別において観測方向などを潜在変数としてモデルに組み込むために,深層学習を用いた生成モデルを用いたアプローチで識別を行った論文です.生成モデルとして,連続に学習できる混合ガウス分布を用いた変分オートエンコーダ―を提案しています.ここでは混合ガウス分布を用いた変分オートエンコーダ―について解説します.
変分オートエンコーダ―の学習では,事前分布と同じ確率分布を持つ近似事後分布を深層モデルでパラメタライズし変分推論します.この論文では事前分布と近似事後分布を混合ガウス分布とするため,混合ガウス分布からの勾配逆伝播可能なサンプリングと生成モデルの変分下限の計算が必要となります.

生成モデル

    混合ガウス分布に従う潜在変数をzzとし,クラス分類におけるカテゴリを意味する潜在変数をssとすると,この変分オートエンコーダの生成モデルは以下で表せられます.

p(x,z,s)=pθ(x∣z,s)p(z,s)(1)\begin{equation*} p(\boldsymbol{x}, \boldsymbol{z}, \boldsymbol{s})= p_{\theta}(\boldsymbol{x}|\boldsymbol{z},\boldsymbol{s})p(\boldsymbol{z}, \boldsymbol{s}) \tag{1} \end{equation*}

ここで,混合ガウス分布とする事前分布p(z,s)=p(z∣s)p(s)p(\boldsymbol{z}, \boldsymbol{s})=p(\boldsymbol{z}|\boldsymbol{s})p(\boldsymbol{s})は以下のようにカテゴリカル分布部分とガウス分布部分に分けられます

p(z∣s)=∏i=1KN(z∣μi,Σi)sip(s)=∏i=1Kπsi\begin{align*} p(\boldsymbol{z} | \boldsymbol{s}) &= \prod_{i=1}^{K} \mathcal{N}( \boldsymbol{z} | \boldsymbol{\mu_{i}}, \Sigma_{i} )^{s_i} \\ p(\boldsymbol{s}) &= \prod_{i=1}^{K} \pi^{s_i} \end{align*}

混合ガウス分布からの勾配逆伝播可能なサンプリング

    カテゴリカル分布部分についてはConcrete Distribution[1]を用います.これはカテゴリカル分布に温度パラメータを導入して連続化したものです.次にガウス分布部分であるp(z∣s)p(\boldsymbol{z} | \boldsymbol{s})は対数をとって以下のように変形できます.

log⁡p(z∣s)=∑i=1Ksilog⁡N(z∣μi,Σi)=∑i=1K−si2{(z−μi)TΣi−1(z−μi)}+const.=−12[zT{∑i=1KsiΣi−1}z−2zT{∑i=1KsiΣi−1μi}]+const.\begin{align*} \log p(\boldsymbol{z} | \boldsymbol{s}) &= \sum^{K}_{i=1}s_{i}\log \mathcal{N}(\boldsymbol{z} | \boldsymbol{\mu}_{i}, \Sigma_{i}) \\ &= \sum^{K}_{i=1} -\frac{s_{i}}{2} \Bigl\{ (\boldsymbol{z} - \boldsymbol{\mu}_{i})^{\mathsf{T}} \Sigma_{i}^{-1} (\boldsymbol{z} - \boldsymbol{\mu}_{i}) \Bigr\} + \mathrm{const.} \\ &= - \frac{1}{2} \Biggl[ \boldsymbol{z}^{\mathsf{T}} \Biggl\{ \sum^{K}_{i=1}s_{i}\Sigma_{i}^{-1} \Biggr\} \boldsymbol{z} - 2\boldsymbol{z}^{\mathsf{T}} \Biggl\{ \sum^{K}_{i=1}s_{i}\Sigma_{i}^{-1}\boldsymbol{\mu}_{i} \Biggr\} \Biggr] +\mathrm{const.} \end{align*}

ここで,確率変数z\boldsymbol{z}を含まない項を定数項const.\mathrm{const.}としてまとめています.上の式は確率変数z\boldsymbol{z}について二次の多項式であるため,p(z∣s)p(\boldsymbol{z}|\boldsymbol{s})はガウス分布となります.そしてその平均μgmm\boldsymbol{\mu}_{\mathrm{gmm}} と共分散行列Σgmm\Sigma_{\mathrm{gmm}}は以下となります.

p(z∣s)=N(z∣μgmm,Σgmm)Σgmm−1=∑i=1KsiΣi−1μgmm=Σgmm{∑i=1KsiΣi−1μi}\begin{align*} p(\boldsymbol{z} | \boldsymbol{s}) &= \mathcal{N} (\boldsymbol{z} | \boldsymbol{\mu}_{\mathrm{gmm}}, \Sigma_{\mathrm{gmm}}) \\ \Sigma_{\mathrm{gmm}}^{-1} &= \sum^{K}_{i=1}s_{i}\Sigma_{i}^{-1} \\ \boldsymbol{\mu}_{\mathrm{gmm}} &= \Sigma_{\mathrm{gmm}} \Biggl\{ \sum^{K}_{i=1}s_{i}\Sigma_{i}^{-1}\boldsymbol{\mu}_{i} \Biggr\} \end{align*}

変分オートエンコーダ―では通常は共分散行列Σi(i=1,…,K)\Sigma_{i}(i=1,\ldots,K)を対角行列とするので逆行列は簡単に計算できます.結局,潜在変数z\boldsymbol{z}はガウス分布のreparametarization-trick[2]によって勾配逆伝播可能なサンプリングができます.これはカテゴリカル潜在変数s\boldsymbol{s}が連続であっても同様です.

変分下限

    式1で表される生成モデルの変分下限は以下となります.

L[ϕ,θ]=∬qϕ(z,s∣x)log⁡p(x,z,s)qϕ(z,s∣x)dzds=Ez,s∼qϕ(z,s∣x)[log⁡pθ(x∣z,s)]−DKL[qϕ(z,s∣x)∣∣p(z,s)]\begin{align*} \mathcal{L}[\phi, \theta] &= \iint q_{\phi}(\boldsymbol{z}, \boldsymbol{s}| \boldsymbol{x}) \log \frac{p(\boldsymbol{x}, \boldsymbol{z}, \boldsymbol{s})}{q_{\phi}(\boldsymbol{z}, \boldsymbol{s}|\boldsymbol{x})} d\boldsymbol{z}d\boldsymbol{s} \\ &= \mathbb{E}_{\boldsymbol{z},\boldsymbol{s}\sim q_{\phi}(\boldsymbol{z}, \boldsymbol{s} | \boldsymbol{x})} \bigl[ \log p_{\theta}(\boldsymbol{x}|\boldsymbol{z}, \boldsymbol{s}) \bigr] - D_{KL} \bigl[ q_{\phi}(\boldsymbol{z}, \boldsymbol{s}|\boldsymbol{x}) || p(\boldsymbol{z}, \boldsymbol{s}) \bigr] \end{align*}

この変分下限の負の値を学習の損失関数とします.ここでDKLD_{KL}はKLダイバージェンスです. 上の式の第一項は再構成誤差と解釈できるため,第二項のKLダイバージェンス項について考えます.第二項は以下のように変形できます.

DKL[qϕ(z,s∣x)∣∣p(z,s)]=∬qϕ(z,s∣x)log⁡qϕ(z,s∣x)p(z,s)dzds=∬qϕ(z∣s,x)qϕ(s∣x)log⁡qϕ(z∣s,x)qϕ(s∣x)p(z∣s)p(s)dsdz=∬qϕ(z∣s,x)qϕ(s∣x)log⁡qϕ(z∣s,x)p(z∣s)dzds+∬qϕ(z∣s,x)qϕ(s∣x)log⁡qϕ(s∣x)p(s)dzds=∫qϕ(s∣x)∫qϕ(z∣s,x)log⁡qϕ(z∣s,x)p(z∣s)dzds+∫qϕ(s∣x)log⁡qϕ(s∣x)p(s)ds=∫qϕ(s∣x)DKL[qϕ(z∣s,z)∣∣p(z∣s)]ds+∫qϕ(s∣x)log⁡qϕ(s∣x)p(s)ds\begin{align*} D_{KL} \bigl[ q_{\phi}(\boldsymbol{z}, \boldsymbol{s} | \boldsymbol{x}) || p(\boldsymbol{z}, \boldsymbol{s}) \bigr] &= \iint q_{\phi}(\boldsymbol{z}, \boldsymbol{s} | \boldsymbol{x})\log \frac{ q_{\phi}(\boldsymbol{z}, \boldsymbol{s}|\boldsymbol{x}) }{ p(\boldsymbol{z}, \boldsymbol{s}) } d\boldsymbol{z}d\boldsymbol{s} \\ &= \iint q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{x}) q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) \log \frac{ q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{x}) q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) }{ p(\boldsymbol{z} | \boldsymbol{s})p(\boldsymbol{s}) }d\boldsymbol{s}d\boldsymbol{z} \\ &= \iint q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{x}) q_{\phi}(\boldsymbol{s} | \boldsymbol{x})\log \frac{ q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{x}) }{ p(\boldsymbol{z} | \boldsymbol{s}) }d\boldsymbol{z}d\boldsymbol{s} \\ &\quad+ \iint q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{x}) q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) \log \frac{ q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) }{ p(\boldsymbol{s}) }d\boldsymbol{z}d\boldsymbol{s} \\ &= \int q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) \int q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{x}) \log \frac{ q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{x}) }{ p(\boldsymbol{z} | \boldsymbol{s}) }d\boldsymbol{z}d\boldsymbol{s} \\ &\quad+ \int q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) \log \frac{ q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) }{ p(\boldsymbol{s}) }d\boldsymbol{s} \\ &= \int q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) D_{KL} \bigl[ q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{z}) || p(\boldsymbol{z} | \boldsymbol{s}) \bigr]d\boldsymbol{s} \\ &\quad+ \int q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) \log \frac{ q_{\phi}(\boldsymbol{s} | \boldsymbol{x}) }{ p(\boldsymbol{s}) }d\boldsymbol{s} \end{align*}

DKL[qϕ(z∣s,x)∣∣p(z∣s)]D_{KL}\bigl[ q_{\phi}(\boldsymbol{z} | \boldsymbol{s}, \boldsymbol{x}) || p(\boldsymbol{z} | \boldsymbol{s}) \bigr] はガウス分布のKLダイバージェンスであり解析的に計算できるので,第一項はConcrete Distributionに従うカテゴリ潜在変数s\boldsymbol{s}のサンプリングによるモンテカルロ推定で近似計算計算できます.第二項はConcrete DistributionのKLダイバージェンスであるため,Concrete Distributionの対数尤度比をモンテカルロ推定によって近似計算できます[3].以上で損失関数が計算できます.
    論文では,このモデルを利用してクラス分類を行っています.教師データはConcrete Distributionの事前分布として与えています.


[1]: The concrete distribution: A Continuous Relaxation of Discrete Random Variables
[2]: Auto-Encoding Variational Bayes
[3]: The concrete distribution: A Continuous Relaxation of Discrete Random Variables

Copyright © 2021 Asami Naoto