การวาดตัวอย่างจากการแจกแจงปกติหลายตัวแปรภายใต้ข้อ จำกัด กำลังสอง

9

ผมอยากจะได้อย่างมีประสิทธิภาพวาดตัวอย่างจากภายใต้ข้อ จำกัด ที่1 $x \in \mathbb{R}^d$ $\mathcal{N}(\mu, \Sigma)$ $||x||_2 = 1$

— sobi
แหล่งที่มา

12

การแก้ไขปัญหาอย่างเป็นทางการของปัญหานี้ก่อนต้องมีคำนิยามที่เหมาะสมของ

" $\mathcal{N}_d(μ,Σ)$ การกระจายขึ้นอยู่กับข้อ จำกัด ที่ $||x||^2=1$ "

วิธีธรรมชาติคือการกำหนดกระจายของ $X\sim\mathcal{N}_d(μ,Σ)$ เงื่อนไขใน|| $||X||=\varrho$ และจะใช้เงื่อนไขนี้กับกรณี $\varrho=1$ 1 ถ้าเราใช้พิกัดเชิงขั้ว ,

\begin{aligned} x_{1} & = ϱ \cos (θ_{1}) & θ_{1} \in [0, π] \\ x_{2} & = ϱ \sin (θ_{1}) \cos (θ_{2}) & θ_{2} \in [0, π] \\ ⋮ \\ x_{d - 1} & = ϱ (\prod_{i = 1}^{d - 2} \sin (θ_{i})) \cos (θ_{d - 1}) & θ_{d - 1} \in [0, 2 π] \\ x_{d} & = ϱ \prod_{i = 1}^{d - 1} \sin (θ_{i}) \end{aligned}

$\eqalign{ x_1&=\varrho\cos(\theta_1)\qquad&\theta_1\in[0,\pi]\\ x_2&=\varrho\sin(\theta_1)\cos(\theta_2)\qquad&\theta_2\in[0,\pi]\\ &\vdots\\ x_{d-1}&=\varrho \left( \prod_{i=1}^{d-2}\sin(\theta_i) \right) \cos(\theta_{d-1})\qquad&\theta_{d-1}\in[0,2\pi]\\ x_{d}&=\varrho\prod_{i=1}^{d-1}\sin(\theta_i) }$ Jacobian แห่งการเปลี่ยนแปลงคือ

ϱ^{d - 1} \prod_{i = 1}^{d - 2} \sin (θ_{i})^{d - 1 - i}

$\varrho^{d-1}\prod_{i=1}^{d-2}\sin(\theta_i)^{d-1-i}$ ดังนั้นความหนาแน่นของการกระจายของ

θ = (θ_{1}, \dots, θ_{d - 1})

$\mathbf{\theta}=(\theta_1,\ldots,\theta_{d-1})$ ได้รับ

ϱ

$\varrho$ คือ

f (θ | ϱ) \propto \exp \frac{- 1}{2} {(x (θ, ϱ) - μ)^{T} Σ^{- 1} (x (θ, ϱ) - μ)} \prod_{i = 1}^{d - 2} \sin (θ_{i})^{d - 1 - i}

$f(\mathbf{\theta}|\varrho) \propto \exp\frac{-1}{2}\left\{(x(\theta,\varrho)-\mu)^T\Sigma^{-1}(x(\theta,\varrho)-\mu) \right\} \prod_{i=1}^{d-2}\sin(\theta_i)^{d-1-i}$

สรุป:ความหนาแน่นนี้แตกต่างจากการใช้ความหนาแน่นปกติกับจุดบนหน่วยทรงกลมเนื่องจากยาโคเบียน

ขั้นตอนที่สองคือการพิจารณาความหนาแน่นของเป้าหมาย และการออกแบบห่วงโซ่มาร์คอฟอัลกอริทึม Monte Carlo ในการสำรวจพื้นที่พารามิเตอร์ปี่] ความพยายามครั้งแรกของฉันจะอยู่ที่ตัวอย่างกิ๊บส์เริ่มต้นที่จุดบนทรงกลมใกล้กับนั่นคือและดำเนินการทีละหนึ่งมุมในลักษณะ Metropolis-within-Gibbs:

f (θ | ϱ = 1) \propto \exp \frac{- 1}{2} {(x (θ, 1) - μ)^{T} Σ^{- 1} (x (θ, 1) - μ)} \prod_{i = 1}^{d - 2} \sin (θ_{i})^{d - 1 - i}

$f(\mathbf{\theta}|\varrho=1) \propto \exp\frac{-1}{2}\left\{(x(\theta,1)-\mu)^T\Sigma^{-1}(x(\theta,1)-\mu) \right\} \prod_{i=1}^{d-2}\sin(\theta_i)^{d-1-i}$

[0, π]^{d - 2} \times [0, 2 π]

$[0,\pi]^{d-2}\times[0,2\pi]$

μ

$\mu$

μ / | | μ | |

$\mu/||\mu||$

สร้าง (โดยที่จะคำนวณจำนวนเงิน modulo ) และยอมรับค่าใหม่นี้ด้วยความน่าจะเป็น else $\theta_1^{(t+1)}\sim\mathcal{U}([\theta_1^{(t)}-\delta_1,\theta_1^{(t)}+\delta_1])$ $\pi$ $\frac{f (θ_{1}^{(t + 1)}, θ_{2}^{(t)}, . . . | ϱ = 1)}{f (θ_{1}^{(t)}, θ_{2}^{(t)}, . . . | ϱ = 1)} \land 1$ $\dfrac{f(\theta_1^{(t+1)},\theta_2^{(t)},...|\varrho=1)}{f(\theta_1^{(t)},\theta_2^{(t)},...|\varrho=1)}\wedge 1$ $\theta_1^{(t+1)}=\theta_1^{(t)}$
สร้าง (ที่ผลรวมคำนวณ modulo ) และยอมรับค่าใหม่นี้ด้วยความน่าจะเป็น else $\theta_2^{(t+1)}\sim\mathcal{U}([\theta_2^{(t)}-\delta_2,\theta_2^{(t)}+\delta_2])$ $\pi$ $\frac{f (θ_{1}^{(t + 1)}, θ_{2}^{(t + 1)}, θ_{3}^{(t)}, . . . | ϱ = 1)}{f (θ_{1}^{(t + 1)}, θ_{2}^{(t)}, θ_{3}^{(t)}, . . . | ϱ = 1)} \land 1$ $\dfrac{f(\theta_1^{(t+1)},\theta_2^{(t+1)},\theta_3^{(t)},...|\varrho=1)}{f(\theta_1^{(t+1)},\theta_2^{(t)},\theta_3^{(t)},...|\varrho=1)}\wedge 1$ $\theta_2^{(t+1)}=\theta_2^{(t)}$
$\ldots$
สร้าง (โดยที่ผลรวมจะคำนวณแบบโมดูโล ) และยอมรับค่าใหม่นี้ด้วยความน่าจะเป็น อื่น $\theta_{d-1}^{(t+1)}\sim\mathcal{U}([\theta_{d-1}^{(t)}-\delta_{d-1},\theta_{d-1}^{(t)}+\delta_{d-1}])$ $2\pi$ $\frac{f (θ_{1}^{(t + 1)}, θ_{2}^{(t + 1)}, . . ., θ_{d - 1}^{(t + 1)} | ϱ = 1)}{f (θ_{1}^{(t + 1)}, θ_{2}^{(t + 1)}, . . ., θ_{d - 1}^{(t)} | ϱ = 1)} \land 1$ $\dfrac{f(\theta_1^{(t+1)},\theta_2^{(t+1)},...,\theta_{d-1}^{(t+1)}|\varrho=1)}{f(\theta_1^{(t+1)},\theta_2^{(t+1)},...,\theta_{d-1}^{(t)}| \varrho=1)}\wedge 1$ $\theta_{d-1}^{(t+1)}=\theta_{d-1}^{(t)}$

เครื่องชั่ง , , ,สามารถปรับขนาดกับอัตราการยอมรับของขั้นตอนไปสู่เป้าหมายในอุดมคติของ\% $\delta_1$ $\delta_2$ $\ldots$ $\delta_{d-1}$ $50\%$

นี่คือรหัส R เพื่อแสดงด้านบนพร้อมค่าเริ่มต้นสำหรับและ : $\mu$ $\Sigma$

library(mvtnorm)
d=4
target=function(the,mu=1:d,sigma=diag(1/(1:d))){
 carte=cos(the[1])
 for (i in 2:(d-1))
  carte=c(carte,prod(sin(the[1:(i-1)]))*cos(the[i]))
 carte=c(carte,prod(sin(the[1:(d-1)])))
 prod(sin(the)^((d-2):0))*dmvnorm(carte,mean=mu,sigma=sigma)}
#Gibbs
T=1e4
#starting point
mu=(1:d)
mup=mu/sqrt(sum(mu^2))
mut=acos(mup[1])
for (i in 2:(d-1))
  mut=c(mut,acos(mup[i]/prod(sin(mut))))
thes=matrix(mut,nrow=T,ncol=d-1,byrow=TRUE)
delta=rep(pi/2,d-1)     #scale
past=target(thes[1,])   #current target
for (t in 2:T){
 thes[t,]=thes[t-1,]
 for (j in 1:(d-1)){
   prop=thes[t,]
   prop[j]=prop[j]+runif(1,-delta[j],delta[j])
   prop[j]=prop[j]%%(2*pi-(j<d-1)*pi)
   prof=target(prop)
   if (runif(1)<prof/past){
     past=prof;thes[t,]=prop}
   }
}

— ซีอาน
แหล่งที่มา

-3

$||x||_2^2=1$ เป็นไปไม่ได้อย่างเคร่งครัดเนื่องจากเป็นตัวแปรสุ่ม (ต่อเนื่อง) หากคุณต้องการให้มันมีความแปรปรวนเท่ากับ 1 นั่นคือ (โดยที่ตัวหนอนหมายความว่าเราประมาณค่าความแปรปรวน) จากนั้นคุณจะต้องกำหนดความแปรปรวนให้เป็นn} อย่างไรก็ตามความต้องการนี้อาจขัดแย้งกับ\นั่นคือเพื่อให้ได้ตัวอย่างที่มีความแปรปรวนนี้คุณต้องมีเส้นทแยงมุมของจะเท่ากับ{n} $x$ $E[(x-\mu)^2]\tilde{=} \frac{1}{n}\sum (x-\mu)^2=\frac{1}{n} ||x-n||_2^2=\frac{1}{n}$ $\frac{1}{n}$ $\Sigma$ $\Sigma$ $\frac{1}{n}$

ต้องการตัวอย่างแบบฟอร์มการกระจายนี้โดยทั่วไปคุณสามารถสร้าง IID ปกติมาตรฐานและจากนั้นคูณด้วย , รากที่สองของแล้วเพิ่มหมายถึง\ $\Sigma^{0.5}$ $\Sigma$ $\mu$

— Yoki
แหล่งที่มา

ขอบคุณสำหรับคำตอบของคุณ วิธีการหนึ่งที่ฉันสามารถคิดที่จะผลิตสิ่งที่ฉันต้องการ ( แต่ไม่ได้มีประสิทธิภาพ) คือการสุ่มตัวอย่างการปฏิเสธ ดังนั้นจึงเป็นไปไม่ได้เลยที่จะทำ แต่ฉันกำลังมองหาวิธีที่มีประสิทธิภาพในการทำมัน

— Sobi