Often, there are quantities in models that we might be interested in viewing the values of, but which are not random variables in the model that are explicitly drawn from a distribution.
As a motivating example, the most natural parameterisation for a model might not be the most computationally feasible. Consider the following (efficiently reparametrized) implementation of Neal’s funnel (Neal, 2003):
[ Info: [Turing]: progress logging is disabled globally
Neal (generic function with 2 methods)In this case, the random variables exposed in the chain (x_raw, y_raw) are not in a helpful form — what we’re after are the deterministically transformed variables x and y.
There are two ways to track these extra quantities in Turing.jl.
:= (during inference)The first way is to use the := operator, which behaves exactly like = except that the values of the variables on its left-hand side are automatically added to the chain returned by the sampler. For example:
┌ Info: Found initial step size └ ϵ = 1.6
Chains MCMC chain (1000×34×1 Array{Float64, 3}):
Iterations = 501:1:1500
Number of chains = 1
Samples per chain = 1000
Wall duration = 4.72 seconds
Compute duration = 4.72 seconds
parameters = y_raw, x_raw[1], x_raw[2], x_raw[3], x_raw[4], x_raw[5], x_raw[6], x_raw[7], x_raw[8], x_raw[9], y, x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9]
internals = n_steps, is_accept, acceptance_rate, log_density, hamiltonian_energy, hamiltonian_energy_error, max_hamiltonian_energy_error, tree_depth, numerical_error, step_size, nom_step_size, logprior, loglikelihood, logjoint
Use `describe(chains)` for summary statistics and quantiles.returned (post-inference)Alternatively, one can specify the extra quantities as part of the model function’s return statement:
┌ Info: Found initial step size └ ϵ = 1.6
Chains MCMC chain (1000×24×1 Array{Float64, 3}):
Iterations = 501:1:1500
Number of chains = 1
Samples per chain = 1000
Wall duration = 1.81 seconds
Compute duration = 1.81 seconds
parameters = y_raw, x_raw[1], x_raw[2], x_raw[3], x_raw[4], x_raw[5], x_raw[6], x_raw[7], x_raw[8], x_raw[9]
internals = n_steps, is_accept, acceptance_rate, log_density, hamiltonian_energy, hamiltonian_energy_error, max_hamiltonian_energy_error, tree_depth, numerical_error, step_size, nom_step_size, logprior, loglikelihood, logjoint
Use `describe(chains)` for summary statistics and quantiles.The sampled chain does not contain x and y, but we can extract the values using the returned function. Calling this function outputs an array:
1000×1 Matrix{@NamedTuple{x::Vector{Float64}, y::Float64}}:
(x = [2.4447644665351795, -1.8056309786467977, -25.586121245576223, 7.699846934588479, -11.400103714527047, -10.191846900619451, -5.87565527573374, 2.1080417773734488, 9.558116897879755], y = 4.705072400239224)
(x = [0.5106579545288026, -0.09715505504212556, -0.6255098884905165, -0.3876152120055877, 0.8804770660066518, 0.486234279357519, -1.1172253595808768, -1.1912113241028004, 0.07405730005057803], y = -0.663470617201811)
(x = [1.8690190749053661, -0.36280539795058164, 0.17122144644927612, -0.11068283636630219, 1.6529937520598073, -0.21570609381127778, -1.4077709783686003, -0.32755956897779653, -0.40726087682034096], y = -0.30525876259076945)
(x = [-0.15474478925543975, -0.8132542366873322, -0.8413964937467219, 0.8326329362582512, 0.4842315703050679, -0.6785043338596004, -0.35294993725791346, 0.36070125765781746, -0.8748175683905943], y = -0.7451672681686422)
(x = [1.777354182811104, 1.7744663627230473, -0.4299053923197183, -1.3346194024172482, -2.7785848571363947, 1.2726031885214368, -1.882868419945849, 2.543579351954066, 0.7006581422697278], y = 1.2126730311077951)
(x = [1.0172900774384301, 0.3807643204448534, 0.7201140133277157, -0.32765826616045185, -0.7369407990963518, -0.18837228866474928, -0.24383904426605793, 0.8176748158680756, 0.15877537996113086], y = -0.8380398988945812)
(x = [-0.5633242651489467, -0.28562158036142515, -0.46730579468079075, 0.03197276390901197, 0.3427961850521144, 0.17602096762051858, 0.0806691116986027, -0.5778369704200749, -0.38282910828374495], y = -1.6164063792373222)
(x = [2.4980730852793904, 3.255315760377842, -0.4484580858309837, -5.84702550061537, -4.638157351572248, -4.523891900519697, 2.6041215236105364, -0.6791498621612937, 0.18396473759022003], y = 2.487015301694828)
(x = [2.936350579959988, -0.8832915220214729, 5.3587731327439165, -4.901957469547748, -2.223584430910557, 4.688332789826006, -3.687741873592973, -1.9568881059903502, 1.9437197657682996], y = 2.857811239388543)
(x = [-0.3649236927471528, 0.20592174701201232, -1.077474106396683, 0.6633825631781058, 0.2657794839464763, -1.2510786401221594, 1.0701444326307399, 0.3784083450980023, -0.8630121356816127], y = -0.28381211223717795)
⋮
(x = [-0.7444629338221339, -0.17195163215229864, 0.009873753282509156, 0.4723535821272285, 0.3214062185042425, -0.6929104204482525, -0.42419048006919463, 0.05430464702941899, 0.025846642188187163], y = -1.8277899158856439)
(x = [-0.06539293679754342, 0.5396509550840246, 0.8319270215768638, 0.16643065282812453, 0.356639194328669, 1.9307800221734213, 0.32315632951025, 0.1116518645248244, -0.07975443033385743], y = -0.4121167098953603)
(x = [4.772778617516899, 14.979377534124463, -12.127147066680392, 0.2537441049632911, -5.4855477740656395, -6.9027828629063075, -8.593288541008357, -9.987408201712219, 7.352912920601136], y = 3.7701105215128727)
(x = [-0.10379134450434252, -0.4340088388059201, 0.3146144345463073, -0.0028026781789303387, 0.24883369051384505, 0.18032330637647448, 0.22229283628561491, 0.2535508619024056, -0.21740957492134305], y = -3.605054028797446)
(x = [2.7806362910147158, 9.052657111858542, -8.101579280054825, -0.4844194562179217, -2.137547829855267, -2.5943578127346463, -6.250350819650929, -6.017825678392949, 3.242932721994948], y = 2.844568923101994)
(x = [0.24518786011326946, -0.10191329809384872, 0.2443971853114584, -0.1720203427406644, 0.11936537667915167, 0.1589778400301382, -0.019224517548927744, 0.04086286821999469, -0.11989395331414449], y = -4.217928006653588)
(x = [-23.519391474270428, 35.74417376274893, 18.396344343274166, 13.06213634420531, 35.42957446480617, -42.88643328908185, 27.624090730819113, -9.066907088570193, -4.5206790908084855], y = 6.660165299611486)
(x = [0.07954747074988656, -0.12442872341495612, -0.047744647065015376, -0.05451764597648053, -0.1252159790347573, 0.12147994078383424, -0.10736850029276439, 0.020491402288035004, 0.02102242656860913], y = -5.00358306098248)
(x = [-10.761617578324518, 11.690270863322477, 4.563737800493497, 3.4404527791960744, 9.168373951869013, -13.162363366828867, 8.788423217978202, -1.9058298998529928, -3.0121130296617906], y = 4.005103697390897)where each element of which is a NamedTuple, as specified in the return statement of the model.
There are some pros and cons of using returned, as opposed to :=.
Firstly, returned is more flexible, as it allows you to track any type of object; := only works with variables that can be inserted into an MCMCChains.Chains object. (Notice that x is a vector, and in the first case where we used :=, reconstructing the vector value of x can also be rather annoying as the chain stores each individual element of x separately.)
A drawback is that naively using returned can lead to unnecessary computation during inference. This is because during the sampling process, the return values are also calculated (since they are part of the model function), but then thrown away. So, if the extra quantities are expensive to compute, this can be a problem.
To avoid this, you will essentially have to create two different models, one for inference and one for post-inference. The simplest way of doing this is to add a parameter to the model argument:
┌ Info: Found initial step size └ ϵ = 1.6
Chains MCMC chain (1000×24×1 Array{Float64, 3}):
Iterations = 501:1:1500
Number of chains = 1
Samples per chain = 1000
Wall duration = 1.27 seconds
Compute duration = 1.27 seconds
parameters = y_raw, x_raw[1], x_raw[2], x_raw[3], x_raw[4], x_raw[5], x_raw[6], x_raw[7], x_raw[8], x_raw[9]
internals = n_steps, is_accept, acceptance_rate, log_density, hamiltonian_energy, hamiltonian_energy_error, max_hamiltonian_energy_error, tree_depth, numerical_error, step_size, nom_step_size, logprior, loglikelihood, logjoint
Use `describe(chains)` for summary statistics and quantiles.The above ensures that x and y are not calculated during inference, but allows us to still use returned to extract them:
1000×1 Matrix{@NamedTuple{x::Vector{Float64}, y::Float64}}:
(x = [-0.5856062877553324, -0.5329418618029762, -0.3983833345863215, 0.4060657380826067, -0.18409628547338955, -0.3576104952887273, -0.6221501703986305, -0.715068538837421, 1.5242411211557532], y = -0.918380672851348)
(x = [0.6074411402080407, 0.4139652660846659, 0.326207335343845, -0.06887298686493719, -0.7014691507366441, 0.15496895925546342, 0.5773466698954479, 0.5680802209416884, -1.4437628715059083], y = -1.0561851282665384)
(x = [0.13918899381606184, 0.6949169281762493, -0.3675572696204561, -1.565686861504485, 0.8271932921174435, -0.8598551190685942, 0.10672560969765464, 0.2182613358767794, -3.699365033559764], y = 1.0486050621023277)
(x = [0.1845214859502083, -0.3458371392061817, 0.07855622864895799, 0.7133443209941972, -0.9342442459038529, 0.21493130705463137, -0.06685923723881143, -0.1456480169359856, 1.4477283655308708], y = -0.7341743553190663)
(x = [-0.9608361695953351, 0.22435753404944234, 0.6658236951565591, -2.171909691566703, 2.2302123093950494, -0.5576266991701866, -1.0082440159683754, 0.2600571656712679, -1.7212484966683748], y = 0.807621972131038)
(x = [2.5793940689855064, 2.2728906278880885, -3.7824014874100786, -0.40303863325614886, -0.13187975130951676, -0.45679388203976606, -1.1054498787436884, -9.772151190384971, -2.815878021987599], y = 2.1554713464060744)
(x = [0.009068931093010095, -0.15857858955246176, -0.2045765462388646, 0.14735670505136234, -0.62098697756037, 0.2549104833379958, -0.12149192234474893, -0.019395538583552717, -0.10033287306041919], y = -2.5208244756539493)
(x = [-0.05545530839519747, -0.01913262911935584, 0.05079277492850924, -0.23331710284186385, 0.017456974323911224, -0.07209508050314593, 0.06458024422186806, 0.16609212401832402, 0.0996387798724893], y = -3.5857206273780724)
(x = [-0.6914427263468171, 0.8246721750029685, 1.4318727614583087, 5.1034043918873655, -0.4376556376015931, -1.3772824364071667, -0.7256693487758504, -1.9631519613045139, -0.5443653472023966], y = 1.6192360370901429)
(x = [-0.08015895142263679, -0.5051867045808333, 0.5424699251586304, 0.46816401493872284, 1.031830178281436, -1.634555325380802, 0.2405505337286518, -0.21926062900652937, 0.15770995054993478], y = -0.21479239481260098)
⋮
(x = [-0.09349473584667393, -0.3314062322529295, 0.16479558230800662, 0.19077658104988923, 0.08239350921181925, -0.3673942132621561, 0.13226879179752177, 0.1287368054632669, 0.5135725647792688], y = -3.44186927830025)
(x = [1.0618828668566027, -2.1816101874595635, -1.7259852252086312, 0.7176560370183488, 0.5258871067405632, 0.8455161743229239, -2.144062043526799, -2.468191184794315, -2.110777010742256], y = 0.6766831565085412)
(x = [-0.05456934493364716, -1.0637919815125734, -0.7659823103902413, 0.7124551695462042, 0.1540097504634039, -0.1720860458673531, -1.9994564282183152, -2.055647830470395, -2.1342585154551488], y = 0.6502804536197111)
(x = [-3.1421502897234754, 1.9335695444413692, 0.5944625042333395, -4.055538615160003, 0.3452643713090412, -2.275685938639674, 4.219005357605256, -1.0806219054458521, 4.448991816277184], y = 2.8880603454725846)
(x = [0.36452655200059514, 0.05317331701776162, -0.1310525247238052, 0.009332740486164013, 0.05165996252211831, 0.3188523516005352, -0.4135510466773263, 0.2854670295753372, -0.2813788073154306], y = -2.3384233879467087)
(x = [-0.42278876826400513, 0.11370651546692036, -0.1363676501343415, 0.34169782315789654, 0.0448750935953907, -0.2999923063977152, -0.24244482668877618, 0.07523300475134855, -0.5235913087992932], y = -1.9792439452314763)
(x = [-2.2136217432798757, -1.3313795902721393, 1.373722548787242, -2.5310975913499725, -0.2291008738284471, -0.3994982016550175, 2.280820197620434, -1.2590311432757817, 3.274121453626669], y = 1.368589624192175)
(x = [-0.2874917345579446, 0.10078153396321032, 0.029930628577013278, 0.15906585570488205, -0.11425887472605682, 0.3994466249066545, -0.43178296632657903, 0.11779491896886463, -0.20919835113131205], y = -2.5135969422100524)
(x = [-1.7538664188636535, -1.1458019995429443, 0.21530735854946992, -0.22602916335241005, 0.9106151479566719, 1.0798193347549603, -0.8991049163381499, 1.1351014039282212, 1.0249998441577512], y = 0.3669296304233475)Another equivalent option is to use a submodel:
@model function Neal()
y_raw ~ Normal(0, 1)
x_raw ~ arraydist([Normal(0, 1) for i in 1:9])
return (x_raw=x_raw, y_raw=y_raw)
end
chain = sample(Neal(), NUTS(), 1000)
@model function Neal_with_extras()
neal ~ to_submodel(Neal(), false)
y = 3 * neal.y_raw
x = exp.(y ./ 2) .* neal.x_raw
return (x=x, y=y)
end
returned(Neal_with_extras(), chain)┌ Info: Found initial step size └ ϵ = 1.6
1000×1 Matrix{@NamedTuple{x::Vector{Float64}, y::Float64}}:
(x = [0.600817722467716, 1.6742509782986985, -0.4222820027900884, 0.3491054686025396, 0.9820679591646309, -0.1990310986551325, -0.7328646163088792, -0.9884978235051356, 1.4603633716769626], y = 0.10671838979729453)
(x = [0.013009945647273513, -0.0955183795683302, -0.04492086085184425, -0.0780062915591534, 0.05872946928424642, 0.09545427955676446, 0.05189394840945463, 0.08436970730545619, 0.01970206846759818], y = -4.904796170670598)
(x = [0.7382863207438479, 0.06360824079042207, -0.6017925451126168, -0.11606516805908021, -0.5529162050347766, -1.132017320899673, 0.005684894874005398, 2.0936105357662105, 0.3649152388087727], y = 0.2989068615380288)
(x = [0.09439596660445775, -1.0365833353455405, 0.719730881439289, 0.13842593037009257, 1.1469336074332215, 0.7654920171954299, 0.11803905062829127, -1.8165737671483584, -1.368776111761615], y = -0.026971862002724334)
(x = [-0.17879344480571135, 0.6331228716322469, -0.41975210833077325, 0.03885752173613636, -0.8074453121781106, -0.490109971346855, -0.13985036866941591, 0.9464481460167912, 0.34628363299751586], y = -1.1817501621308817)
(x = [-0.7438521847922995, -2.582734543303546, 2.249074293307478, 0.649138394591208, -5.138213811843952, 1.5262822135551828, 0.966064065054709, 3.2200298852867664, -2.4342772406990205], y = 2.870713999907196)
(x = [-1.6555643255594894, -2.18453453861186, 2.334517764662574, -1.9753343966405454, -0.6166147223621757, 1.5534689153492593, 0.282153226837155, -2.1335371540753325, 2.113476305127457], y = 1.7364745525702219)
(x = [-1.1771549726742594, -0.3350346278902525, -1.679771981764814, 0.7005245707402726, -0.2680592005826141, 0.1038784820846004, 0.18725483403752877, 0.5700768207260618, -0.6560375228446624], y = 0.18196139632397196)
(x = [-1.1771549726742594, -0.3350346278902525, -1.679771981764814, 0.7005245707402726, -0.2680592005826141, 0.1038784820846004, 0.18725483403752877, 0.5700768207260618, -0.6560375228446624], y = 0.18196139632397196)
(x = [1.6731425743587183, 0.8024222553618856, -3.1566963170294726, 2.4110867037312835, 0.8797090312500141, 1.6782327412958704, -0.1333174016419059, -1.1268396874782485, 1.881090628495017], y = 1.493120104402927)
⋮
(x = [9.144224395979064, -6.39182201870531, 13.277594796204577, -0.6750990141671079, -10.610258243449138, 0.5278268731747174, -3.8808841940826495, -8.031027295750974, -4.585505061230088], y = 4.1682439282943085)
(x = [-1.2957360030163492, 1.056905282422676, -1.0264674834623742, 1.6841728125844995, 2.68588723081905, -1.2094478210817827, 0.6400067846910891, 0.6531872465499683, -1.2023567055515667], y = 0.6086267358343627)
(x = [1.3685322238783746, -1.1441064416806432, 0.7415692818217607, 0.4726538270148616, -1.4547918109631488, 0.2178276273975976, 0.34591813810323224, -1.4730714228325097, 0.7150587017471595], y = -0.26328849361843076)
(x = [-0.6574334859888394, 0.241106883841366, -0.5604236863675945, 0.6490519540053812, -0.04084988584606683, 0.04240208749354262, 0.30567900343246895, -0.5970802321967325, -0.9098936051473102], y = -1.5093447635026702)
(x = [0.8649552221444438, 0.43950116781308707, 0.952139226705848, -0.9878929043829935, 0.545330060830599, -0.6028338658412625, -0.868117347247969, 1.470693535052094, 1.7661382944006816], y = 1.0437248910589947)
(x = [-0.22409994458799093, -0.06912443473020982, -0.05668634409472727, 1.703710807338431, 0.6006835734624953, 0.7494586636666863, 0.8467195895212216, -0.3381225035689568, -0.6967152212193156], y = -0.37799989610878154)
(x = [1.3361991075301194, -1.1493397227448046, -4.122751525149872, 1.1824954082311703, 0.42733962278598797, -1.0670414387303555, 4.006005820263873, -0.08076381133167503, 2.7081760199294656], y = 3.756904674289474)
(x = [-0.1822153067985923, -0.04474481897920786, 0.02700085811466486, -0.015661503734175818, -0.05003809356699119, 0.007415127607807451, -0.041033317147425585, 0.01022910274652672, 0.009452554483601472], y = -4.63570597538634)
(x = [-0.1822153067985923, -0.04474481897920786, 0.02700085811466486, -0.015661503734175818, -0.05003809356699119, 0.007415127607807451, -0.041033317147425585, 0.01022910274652672, 0.009452554483601472], y = -4.63570597538634)Note that for the returned call to work, the Neal_with_extras() model must have the same variable names as stored in chain. This means the submodel Neal() must not be prefixed, i.e. to_submodel() must be passed a second parameter false.