پیش‌نویس:شبکه مولد تخاصمی (Wasserstein GAN)

شبکه مولد تخاصمی (Wasserstein GAN)

شبکه متخاصم مولد Wasserstein Generative Adversarial Network (WGAN) نوعی از شبکه متخاصم مولد (GAN) است که در سال 2017 پیشنهاد شد و هدف آن بهبود پایداری در یادگیری، خلاص شدن از مشکلاتی مانند فروپاشی حالت (به انگلیسی: Mode Collapse) و ارائه منحنی‌های یادگیری معنادار است که برای اشکال زدایی و جستجو فراپارامترها (به انگلیسی: Hyperparameters) مفید هستند. ".

در مقایسه با شبکه‌های تخاصمی اولیه، WGAN سیگنال‌های راهنمای بهتری برای یادگیری مولد (generator) فراهم میکند و این باعث میشود زمانی که مولد در حال یادگیری توزیع هایی با ابعاد بالاست یادگیری پایدارتر باشد.

انگیزه

بازی GAN

شبکه های تخاصمی اولیه بر پایه بازی GAN هستند، یک بازی جمع صفر (zero sum) با دو بازیکن: مولد و تفکیک کننده (discriminator). این بازی بر روی یک فضای احتمال به صورت $(\mathrm{\Omega },ℬ,{\mu }_{ref})$ تعریف میشود. مجموعه استراتژی های مولد، مجموعه تمام احتمالات ${\mu }_G$ بر روی $(\mathrm{\Omega },ℬ)$ است و مجموعه استراتژی های تفکیک کننده به صورت تابع $D:\mathrm{\Omega }\to [0,1]$ است. تابع هدف این بازی به صورت زیر است: $$L({\mu }_G,D):={𝔼}_{x\sim {\mu }_{ref}}[\ln D(x)]+{𝔼}_{x\sim {\mu }_G}[\ln (1-D(x))]$$مولد در تلاش برای کمینه کردن تابع فوق و تفکیک کننده به دنبال بیشینه کردن آن است. در بازی GAN یک نظریه پایه می گوید: الگو:Math theoremاگر بازی GAN را به تعداد زیاد تکرار کنیم که هربار مولد حرکت اول و تفکیک کننده حرکت دوم را انجام دهد، هربار استراتژی مولد ${\mu }_G$ تغییر می‌کند و تفکیک کننده مجبور است برای دادن پاسخ بهینه به مقدار ایده آل نزدیک شود.

$$D^{*}(x)=\frac{d{\mu }_{ref}}{d({\mu }_{ref}+{\mu }_G)}.$$

از آنجایی که ما به ${\mu }_{ref}$ نیاز داریم، تابع تفکیک کننده $D$ به تنهایی برایمان ارزشی نداشته و فقط نسبت احتمال بین توزیع مولد و توزیع مرجع (Reference) را محاسبه میکند. در حالت تعادل، خروجی تفکیک کننده همواره برابر با $\frac{1}{2}$ است که در واقع انگار تفکیک کننده تسلیم شده است.

در بازی GAN اگر استراتژی مولد ${\mu }_G$ را ثابت نگه داریم و مرحله به مرحله تفکیک کننده را بهبود ببخشیم، با داشتن ${\mu }_{D,t}$ بعنوان حرکت تفکیک کننده در زمان $t$، آنگاه در حالت ایده آل خواهیم داشت:

$$L({\mu }_G,{\mu }_{D,1})\le L({\mu }_G,{\mu }_{D,2})\le \cdots \le \underset{{\mu }_D}{\max }L({\mu }_G,{\mu }_D)=2D_{JS}({\mu }_{ref}\Vert {\mu }_G)-2\ln 2,$$

که یعنی تفکیک کننده به دنبال حد پایین $D_{JS}({\mu }_{ref}\Vert {\mu }_G)$ است.

فاصله واسرستاین (Wasserstein distance)

همانطور که دیدیم، تفکیک کننده نقش یک منتقد را دارد و به مولد اعلام می‌کند "چقدر از حقیقت دور است" که تعریف "دور" همان واگرایی جیسون-شنون است.

طبیعتا، امکان تعریف معیارهای دیگری از دور بودن مطرح می شود. امروزه معیارهای زیادی برای انتخاب وجود دارد مانند خانواده f-divergence، که به ما f-GAN را می دهد.

به همین صورت WGAN با استفاده از معیار واسرستاین (Wasserstein metric)، که در قضیه نمایش دوگانه صدق می کند، به دست می آید.

اثبات این نظریه را می توانید در صفحه اصلی Wasserstein metric مشاهده کنید.

تعریف

باتوجه به دوگانگی کانتوروویچ-روبنشتاین، تعریف WGAN به صورت زیر است:

الگو:Blockquoteبرای هر استراتژی مولد ${\mu }_G$، جواب بهینه از طرف تفکیک کننده برابر است با $D^{*}$ بطوری که:

$$L_{WGAN}({\mu }_G,D^{*})=K\cdot W_1({\mu }_G,{\mu }_{ref}).$$

در نتیجه، اگر تفکیک کننده خوب عمل کند، مولد همواره به کمینه کردن $W_1({\mu }_G,{\mu }_{ref})$ ترغیب می شود و همانطور که باید، استراتژی بهینه برای آن ${\mu }_G={\mu }_{ref}$ است.

مقایسه با GAN

در WGAN تفکیک کننده گرادیان بهتری نسبت به GAN فراهم می کند.

تفکیک کننده بهینه واسرستاین $D_{WGAN}$ و تفکیک کننده بهینه GAN، $D$ برای توزیع مرجع ${\mu }_{ref}$ و توزیع مولد ${\mu }_G$ ثابت.

همان نمودار بالا، اما تفکیک کننده GAN، $D$ با $\ln (1-D)$ جایگزین شده است.

به طور مثال یک بازی بر روی خط اعداد حقیقی داریم، که ${\mu }_G$ و ${\mu }_{ref}$ توزیع نرمال هستند. در نمودار زیر مولد بهینه $D$ و تفکیک کننده بهینه واسرستاین $D_{WGAN}$ نشان داده شده اند.

برای یک تفکیک کننده ثابت، مولد باید توابع هدف زیر را کمینه کند.

• برای بازی GAN: ${𝔼}_{x\sim {\mu }_G}[\ln (1-D(x))]$
• برای بازی WGAN: ${𝔼}_{x\sim {\mu }_G}[D_{WGAN}(x)]$

فرض کنید ${\mu }_G$ از پارامترهای $\theta$ تشکیل شده است، این گونه می توانیم با استفاده از تخمین گر نااریب (unbiased estimator) گرادیان، یک گرادیان کاهشی تصادفی اجرا کنیم:

$${\mathrm{\nabla }}_{\theta }{𝔼}_{x\sim {\mu }_G}[\ln (1-D(x))]={𝔼}_{x\sim {\mu }_G}[\ln (1-D(x))\cdot {\mathrm{\nabla }}_{\theta }\ln {\rho }_{{\mu }_G}(x)]$$$${\mathrm{\nabla }}_{\theta }{𝔼}_{x\sim {\mu }_G}[D_{WGAN}(x)]={𝔼}_{x\sim {\mu }_G}[D_{WGAN}(x)\cdot {\mathrm{\nabla }}_{\theta }\ln {\rho }_{{\mu }_G}(x)]$$

برای به دست آوردن فرمول های بالا از تغییر متغیر (reparameterization trick)

همانطور که مشاهده می شود، در GAN، مولد ترغیب می شود از قله $\ln (1-D(x))$ به سمت پایین سقوط کند. مولد WGAN نیز به همین صورت است.

در WGAN، $D_{WGAN}$ تقریبا همواره گرادیان برابر یک دارد، این در حالیست که در GAN، $\ln (1-D)$ در میانه گرادیان برابر صفر و سایر نقاط گرادیانی بزرگ دارد. این باعث می شود واریانس تخمین گر در GAN معمولا بسیار بیشتر از WGAN باشد.

مشکل $D_{JS}$ در موارد واقعی یادگیری ماشین بسیار بزرگتر است. فرض کنید می خواهیم یک GAN را برای ImageNet ، یک مجموعه از عکس های 256 در 256 ، آموزش دهیم. فضای تمام این عکس ها ${ℝ}^{256^2}$ است، در حالیکه عکس های داخل ImageNet، ${\mu }_{ref}$، بر روی یک فراوانی با ابعاد بسیار پایین تر تمرکز دارد. در نتیجه هر استراتژی ${\mu }_G$ برای مولد تقریبا بطور کامل از ${\mu }_{ref}$ مجزاست که باعث می شود $D_{JS}({\mu }_G\Vert {\mu }_{ref})=+\mathrm{\infty }$. بنابراین یک تفکیک کننده خوب تقریبا همواره می تواند ${\mu }_{ref}$ و حتی هر ${{\mu }_G}^{\prime }$ نزدیک به ${\mu }_G$ را از ${\mu }_G$ تشخیص دهد. این باعث می شود گرادیان تقریبا صفر باشد ${\mathrm{\nabla }}_{{\mu }_G}L({\mu }_G,D)\approx 0$، و هیچ گونه سیگنالی برای بهبود مولد تولید نشود.

جزئیات این نظریه را می توانید در اینجا مشاهده کنید.

آموزش Wasserstein GAN

آموزش مولد در WGAN و GAN صرفا براساس گرادیان کاهشی است، اما آموزش تفکیک کننده متفاوت است به این دلیل که در WGAN تفکیک کننده یک محدودیت جدید دارد که همان حد Lipschitz norm است. برای انجام این کار روش های مختلفی وجود دارد.

قراردادن حد بالا برای Lipschitz norm

تابع تفکیک کننده $D$ را به صورت یک پرستپترون چندلایه (multilayer perceptron) پیاده سازی میکنیم.

$$D=D_n\circ D_{n-1}\circ \cdots \circ D_1$$

که در آن $D_i(x)=h(W_{i}x)$ و $h:ℝ\to ℝ$ یک تابع فعالساز ثابت با $\underset{x}{\sup }|h^{\prime }(x)|\le 1$ است. برای مثال، تابع تانژانت هایپربولیک $h=\tanh$ در شرط گفته شده صدق می کند. برای هر $x$، قرار می دهیم $x_i=(D_i\circ D_{i-1}\circ \cdots \circ D_1)(x)$ و با استفاده از قانون زنجیره ای خواهیم داشت:

$$dD(x)=diag(h^{\prime }(W_n{x}_{n-1}))\cdot W_n\cdot diag(h^{\prime }(W_{n-1}{x}_{n-2}))\cdot W_{n-1}\cdots diag(h^{\prime }(W_{1}x))\cdot W_1\cdot dx$$

اینگونه Lipschitz norm تفکیک کننده حد بالای زیر را دارد:

$$\Vert D{\Vert }_L\le \underset{x}{\sup }\Vert diag(h^{\prime }(W_n{x}_{n-1}))\cdot W_n\cdot diag(h^{\prime }(W_{n-1}{x}_{n-2}))\cdot W_{n-1}\cdots diag(h^{\prime }(W_{1}x))\cdot W_1{\Vert }_F$$

که $\Vert \cdot {\Vert }_s$ همان operator norm یا spectral radius یا بزرگترین مقدار ویژه ماتریس است (این سه مفهوم در ماتریس ها یک معنی را می دهند اما برای دیگر عملگرهای خطی می توانند متفاوت باشند).

از آنجایی که $\underset{x}{\sup }|h^{\prime }(x)|\le 1$ داریم $\Vert diag(h^{\prime }(W_i{x}_{i-1})){\Vert }_s=\underset{j}{\max }|h^{\prime }(W_i{x}_{i-1,j})|\le 1$ و به همین دلیل حد بالا برابر است با:

$$\Vert D{\Vert }_L\le \prod _{i=1}^n\Vert W_i{\Vert }_s$$

بنابراین، اگر بتوانیم بر روی $\Vert W_i{\Vert }_s$ تمام ماتریس ها حد بالایی تعریف کنیم در واقع حد بالایی برای Lipschitz norm تفکیک کننده تعیین کرده ایم.

برش وزن (Weight clipping)

برای هر ماتریس $W$ با ابعاد $\mathrm{m}\times \mathrm{l}$ قرار می دهیم $c=\underset{i,j}{\max }|W_{i,j}|$، آنگاه خواهیم داشت:

$$\Vert W{\Vert }_s^2=\underset{\Vert x{\Vert }_2=1}{\sup }\Vert Wx{\Vert }_2^2=\underset{\Vert x{\Vert }_2=1}{\sup }\sum _i{\left(\sum _j{W}_{i,j}{x}_j\right)}^2=\underset{\Vert x{\Vert }_2=1}{\sup }\sum _{i,j,k}{W}_{ij}{W}_{ik}{x}_j{x}_k\le c^{2}m{l}^2$$

با محدود کردن تمام درایه های $W$ به بازه $[-c,c]$، در واقع $\Vert W_i{\Vert }_s$ را محدود کرده ایم.

این روش برش وزن را می توانید در مقاله اصلی مطالعه کنید.

جریمه بر روی گرادیان (Gradient penalty)

به جای گذاشتن حد بر روی $\Vert D{\Vert }_L$، می توانیم برای گرادیان یک جریمه به فرم زیر تعریف کنیم:

$${𝔼}_{x\sim \hat{\mu }}[(\Vert \mathrm{\nabla }D(x){\Vert }_2-a{)}^2]$$

ه $\hat{\mu }$ یک توزیع ثابت برای تخمین زدن مقداری است که تفکیک کننده از حد Lipschitz norm تجاوز کرده است.

تفکیک کننده برای کمینه کردن تابع هزینه جدید، تلاش میکند $\mathrm{\nabla }D(x)$ را به $a$ نزدیک کند، این باعث می شود $\Vert D{\Vert }_L\approx a$

این روش برش وزن را می توانید در مقاله اصلی مطالعه کنید.