Tracking Extra Quantities

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):

using Turing
setprogress!(false)

@model function Neal()
    # Raw draws
    y_raw ~ Normal(0, 1)
    x_raw ~ arraydist([Normal(0, 1) for i in 1:9])

    # Transform:
    y = 3 * y_raw
    x = exp.(y ./ 2) .* x_raw
    return nothing
end

[ 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.

Using := (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:

@model function Neal_coloneq()
    # Raw draws
    y_raw ~ Normal(0, 1)
    x_raw ~ arraydist([Normal(0, 1) for i in 1:9])

    # Transform:
    y := 3 * y_raw
    x := exp.(y ./ 2) .* x_raw
end

sample(Neal_coloneq(), NUTS(), 1000)

┌ 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     = 6.87 seconds
Compute duration  = 6.87 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.

Using returned (post-inference)

Alternatively, one can specify the extra quantities as part of the model function’s return statement:

@model function Neal_return()
    # Raw draws
    y_raw ~ Normal(0, 1)
    x_raw ~ arraydist([Normal(0, 1) for i in 1:9])

    # Transform and return as a NamedTuple
    y = 3 * y_raw
    x = exp.(y ./ 2) .* x_raw
    return (x=x, y=y)
end

chain = sample(Neal_return(), NUTS(), 1000)

┌ 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.92 seconds
Compute duration  = 1.92 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:

nts = returned(Neal_return(), chain)

1000×1 Matrix{@NamedTuple{x::Vector{Float64}, y::Float64}}:
 (x = [0.493496003367523, 0.35146601016762136, 0.5645516233632678, -0.2869924048786372, 0.9446796448025992, 0.06879237596743855, -0.7996923159538938, -0.025121569674448757, 1.1088207086726574], y = -0.04701207320632883)
 (x = [0.493496003367523, 0.35146601016762136, 0.5645516233632678, -0.2869924048786372, 0.9446796448025992, 0.06879237596743855, -0.7996923159538938, -0.025121569674448757, 1.1088207086726574], y = -0.04701207320632883)
 (x = [0.493496003367523, 0.35146601016762136, 0.5645516233632678, -0.2869924048786372, 0.9446796448025992, 0.06879237596743855, -0.7996923159538938, -0.025121569674448757, 1.1088207086726574], y = -0.04701207320632883)
 (x = [-0.7346452011622595, -0.5146809056125906, -0.25664065217535015, -0.07841082088181553, -0.8900349214848896, 0.00796364130406546, 0.43326200225161765, -0.3280752383127564, -0.27670346683826336], y = -0.7571037624292247)
 (x = [0.3929018743008315, -0.1368853610300525, -0.20286870830383824, -0.03646795100954764, 0.22395070635734224, 0.013508107925018177, -0.057448286426909655, 0.08339479266315364, 0.002313948270092685], y = -3.8943048754154743)
 (x = [-0.035701920308963055, -0.046676953513853627, 0.0014262402666349455, -0.026855724748502733, -0.05402548288759061, -0.07576157579274077, 0.008729636723272077, 0.1300060009232859, -0.10280109110623044], y = -6.484217860787677)
 (x = [17.58878838258213, 9.396079335336324, 2.320598550181202, 4.768173419797221, -10.64078777233585, 189.44426200552718, -148.76910570605972, 45.974994262200795, -51.40976771694724], y = 8.257753150480584)
 (x = [-9.783760173858687, 1.0291702906197764, 3.049509460905668, 0.6669268655240902, 11.916725624663094, -9.279164593065229, 1.0877393470983, -10.236428293345137, 2.790454150781671], y = 3.497192768677808)
 (x = [0.3695250183661956, -0.18105209445895348, -0.19654030630451289, -0.025225209948593036, -0.442582704195971, 0.38317031456288386, -0.04382839870069436, 0.2786750507422979, -0.07826166341952752], y = -3.1291612267978874)
 (x = [-6.1100467656345145, 0.7870236462962117, -8.515291660304218, 8.036777633664899, -7.106124196463603, -1.25804758378003, -3.034482605887645, 4.35586415534249, -2.022007832997391], y = 3.194085385472078)
 ⋮
 (x = [6.218457165991094, 4.179209354887375, -2.140014950554376, -10.59241881005177, -18.93171781695123, 3.7067359622535867, -5.296332274199409, -16.989525302075545, 7.835351302900501], y = 4.7533026397123495)
 (x = [0.8745785350219978, 1.3603738545189126, 2.4772832362262416, -3.178409599394088, -3.6763807867600105, -0.507030233555909, -1.942875290710923, 2.1254882767955507, -3.502360288130089], y = 1.8471516977783526)
 (x = [-0.0432974025728982, -0.30232431399403786, -1.1877322616184802, 0.8657491712058608, 0.6946611612485429, 0.3105295805043817, 0.3879298426116356, -0.7210522712661956, 1.1012230570406123], y = -0.796448588431689)
 (x = [-0.6623348464206597, -0.388618590766629, -0.643208371943719, 0.0911009534081404, -0.6245528903313505, -0.17735721918661315, 0.1436254439556811, 0.5417322193736035, -0.32683664342745494], y = -1.4936853475474532)
 (x = [-0.3963195516208412, -0.2610848012456851, -0.4970525072271099, 0.1560606144810907, -0.40539216064388817, -0.10970459816796645, -0.03839263213380618, 0.4812590704200274, 0.07087617749066158], y = -1.886966309445262)
 (x = [2.116274405685523, 2.545644501548769, 1.0801764194895167, -0.8233727693430773, 1.9434697469592093, -1.237771914253262, 0.29244671811963985, -1.2890034506426415, 0.04314839636788591], y = 1.3556233789014758)
 (x = [-0.9218970593018708, -1.2068227676884353, 0.8830588277039091, 0.3728085566067575, -0.8707805148323222, 0.23436859050693842, -0.11054108926329997, 1.071524772799748, 0.12037234038366083], y = -0.2547547217141606)
 (x = [-0.646063473965919, -0.5095345989908193, 0.512221803415694, -0.40310596667231147, -0.10505654178906275, 0.19036679569934034, 0.5205083241921503, 0.38016510443966495, -0.011224735365000434], y = -1.6319350980497016)
 (x = [0.9919790543947654, 1.3038493047687412, 0.859717445790982, -1.2067034128912812, 0.042335888582844615, -0.13867746531657724, 1.0247565490114907, -2.680383102619183, 1.2976845315940022], y = 0.13815469744697884)

where each element of which is a NamedTuple, as specified in the return statement of the model.

nts[1]

(x = [0.493496003367523, 0.35146601016762136, 0.5645516233632678, -0.2869924048786372, 0.9446796448025992, 0.06879237596743855, -0.7996923159538938, -0.025121569674448757, 1.1088207086726574], y = -0.04701207320632883)

Which to use?

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:

@model function Neal_coloneq_optional(track::Bool)
    # Raw draws
    y_raw ~ Normal(0, 1)
    x_raw ~ arraydist([Normal(0, 1) for i in 1:9])

    if track
        y = 3 * y_raw
        x = exp.(y ./ 2) .* x_raw
        return (x=x, y=y)
    else
        return nothing
    end
end

chain = sample(Neal_coloneq_optional(false), NUTS(), 1000)

┌ 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.39 seconds
Compute duration  = 1.39 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:

returned(Neal_coloneq_optional(true), chain)

1000×1 Matrix{@NamedTuple{x::Vector{Float64}, y::Float64}}:
 (x = [4.5759766813579805, -0.19340883984896526, -1.281519865494333, 4.965266324489557, -3.023072544849624, -1.346162187149206, 0.07880567375591718, -2.374255202932009, -5.534481788750566], y = 2.3770558252113605)
 (x = [-0.16162149467669215, -0.014403289452539256, 0.0180235090256267, -0.15477490161837087, 0.09197489085029625, 0.05299363374956489, -0.019262316446437593, 0.05774973673059135, 0.1354144732871167], y = -4.408173228042085)
 (x = [-0.8041270700614437, 1.2104721701115688, 0.23629514899015644, -0.16155592690916387, 1.2145921522445118, -0.48654054788631507, 0.3736918712127065, 1.5353170628028108, 0.36872872132779816], y = -0.35544696172791257)
 (x = [0.8300801375819847, -0.4460919308933038, -0.45981127623796764, 0.2001561950856858, -1.3023131094043368, 0.5483850657364607, -0.18146775679651017, -1.6231001763315174, -0.054480632401891126], y = -0.403810232892319)
 (x = [-0.35941745607561204, 0.21430623136615132, 0.16490971919320108, -0.08555385515389556, 0.580861793739545, -0.25929391272133134, 0.034595664980976513, 0.7255182269064976, -0.11066626308020416], y = -1.936844677585028)
 (x = [18.862342366306713, 10.159630551543184, -13.443227246614663, 2.841110716070784, -21.68729194225885, 11.562049004975753, -0.5760673370518529, -34.25666243260276, 8.504187614841634], y = 5.6228162314956815)
 (x = [0.016300318211266557, -0.047451516042152544, 0.019287690483848766, -0.15395207633061728, 0.22286881960665478, 0.023467039405396763, -0.245896925221254, 0.2505575467640855, 0.4032645405848058], y = -3.0016474372212523)
 (x = [-0.01642370824354783, -0.014189917836402208, 0.020587177424370818, -2.982744197705359e-5, 0.03013207188562706, 0.004797877317471724, -0.01960880823515704, 0.03015798847886346, 0.004448956897152382], y = -8.046364911908851)
 (x = [24.041003385698964, 16.172471006770788, -45.276023611310386, -0.1908729752533121, -44.30238265516193, -5.268628549757871, 24.277770632306208, -32.59811403998712, -9.097567790483609], y = 6.417627274039871)
 (x = [-0.0949105718569841, -0.11080986596351336, 0.18189255034581492, 0.00325643442488273, 0.12457794399809381, 0.01799816204622405, -0.048619783211210195, 0.09750294354585995, 0.021235150546581854], y = -4.758823039402957)
 ⋮
 (x = [-1.0207969429757497, 16.25911889141387, -11.192876820188067, 0.47061193751059416, 1.855325172427562, 15.47774722387062, -34.991201271101836, -1.5179067975463236, 28.02254533910586], y = 5.022491122428295)
 (x = [0.013944416556240444, 0.8371494573641116, -0.44394202431311874, -2.2539695514373093, -0.6631427695656008, 0.05109926854039734, 1.9979045449536301, -0.10004143584765603, 1.5950493362007723], y = 0.2790155228354503)
 (x = [2.2235346975034855, 0.7166189249562863, 4.421530158759484, 2.6524724548216425, -1.2014437855694629, -1.085929276986448, -0.4789147884651972, 4.1500659156161, 1.4324368776987224], y = 2.1659894190356135)
 (x = [-0.2541396883641835, 0.19709346755391902, -0.7352720471138117, -0.40062263398487513, 0.22000619454280693, 0.16169418924978401, 0.01651622893169652, -0.4880348359484169, -0.2996197923773833], y = -1.9696237277523827)
 (x = [0.6708385035765865, 0.2041847118692069, 2.4993156218585537, 1.435095966245253, -0.6955959702334731, -0.4927122408827013, -0.12577387140040092, 1.5174554617084017, 1.2989863747948123], y = 0.2669124570920831)
 (x = [-1.2048046682670412, 0.014339702063514925, -5.00713505143928, -2.5463057255131605, 1.2057188295766115, 0.8339890178175424, -0.8394131989320485, -2.6246521126080866, -1.8175955505240524], y = 1.529078097956869)
 (x = [2.0853665371848584, 2.7760585100029433, 2.0213643156334644, -1.103553453471207, -1.6312674056186958, -1.557482029942843, 0.6136592837126366, 0.5049902349538333, 0.8413619838933135], y = 0.3431939161286843)
 (x = [0.004737543704914486, -0.07135260534851613, -0.10721904261608786, 0.05715634772175979, 0.0158064940718882, 0.022209855884721578, -0.011024596384842511, -0.012066486228884798, 0.10903923552711854], y = -5.946159498414472)
 (x = [5.647543499131444, -31.29419985349899, 20.572229105135214, -25.572764123317103, -10.383273590129146, -7.632841731565867, 10.71060901588256, 7.612457704596325, -57.646890233488904], y = 6.5570097398936475)

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 = [-30.87336646503672, -62.371941282275166, -121.68094976646914, 32.580628080640466, -193.42409446721211, -53.41329460952292, -207.03404509447938, 150.74382377524572, -226.69089064945805], y = 10.039495337368738)
 (x = [-0.3097599831184212, 0.3437420031865218, -1.3500799358622657, -0.05014319855916019, 0.24879252489462178, 1.5343787502973134, 0.9118848960930337, 1.2320599391469085, 1.4700341778823112], y = -0.09502776360136078)
 (x = [0.29491619580772654, -0.21549923879584712, -0.11408911184995901, -0.07212637114674635, 0.041724536703767696, -0.1466618643113451, -0.0923480642682921, -0.004621726772797692, -0.2702014954626864], y = -3.2025385715441423)
 (x = [-0.2085705187524425, 1.5061305645127856, -0.9495450615284979, 0.9425694711986274, 3.0833003379379065, 0.14400287748653365, -1.125326865080415, -1.6295951410646967, -1.3069502336365642], y = 1.2427135917672953)
 (x = [-0.005770645400321616, -0.1865620981287875, 0.05830880391832025, -0.21696184343353847, -0.03093850889372591, 0.009606144671584032, 0.10062226929468772, 0.2099259603471176, 0.09797152128085788], y = -3.511172327941487)
 (x = [-0.2875328177448162, 7.022346489847314, 1.4459808613882432, 6.202126287601105, 4.066066699113163, 3.334879237581261, -4.414264664292428, -1.9113429695617679, -3.82916028164433], y = 2.553053031491597)
 (x = [0.47546375267839813, 7.184293215663666, 2.3570305142147028, 4.073839092579153, -0.6527605118757226, 2.2587161741269908, -0.2337592395653872, 2.3518718518416937, -3.2543387527212304], y = 3.0624604085441085)
 (x = [-0.03685562350557041, 0.6403168449768002, -0.397761915069371, 0.6550477263737338, -0.45530038162046604, -0.17285442975956197, -0.21349127033052784, -0.24755190944177716, -0.107928164697734], y = -2.0481795590141854)
 (x = [2.104893569798468, -0.08590135066017345, 0.8082712723740947, -2.6764904794662465, -1.9795382327956457, 1.2282427650986036, -1.4531929453681904, -0.8200296043129341, -3.6652871425349463], y = 1.1256705614239157)
 (x = [0.21151821772605905, -0.15629083254666642, 0.4494068491992073, 0.09844603411353911, -0.43897109225536446, 0.13852415364839218, -0.40758173999297875, 0.029997252434630375, -0.5286006869065298], y = -2.0497281382483057)
 ⋮
 (x = [0.13546954179989712, -0.016593976352890543, 0.1308259618567812, 0.048205501980003305, -0.020592334165592818, -0.09277845727533587, -0.11118076226579858, -0.0012988054316536062, 0.01946807513124606], y = -3.9214624677068786)
 (x = [3.908902816257141, -0.5103820070902119, 2.4473143382937805, -0.31501890880320027, 1.4818236565478775, -0.5394508992369911, -1.5629861080594585, 0.7624950495290347, 1.4101018538620822], y = 1.2158259272293241)
 (x = [4.439638433909244, -1.2525689163959013, 6.873608177531113, -4.223988427925804, -3.876284094294535, 0.3596961268537419, -0.24884791789621252, 3.1910103634049247, -5.839478576387574], y = 3.1660142375142826)
 (x = [-0.15415247515720537, 0.13344487153355586, -0.1511966515594323, 0.11492681249092898, 0.14725969715016707, -0.039875508593583936, -0.01047335554362729, -0.17807100645214963, 0.1512162321230357], y = -3.814709343834804)
 (x = [1.0490170713633118, 1.2825415352315364, 0.06479025268634721, 1.2936124694993874, -0.3111489258294789, -0.9876066691892403, 0.2392266757854385, 0.13311475668755546, 0.09457863829377072], y = 0.03429803448853197)
 (x = [0.7807501021338353, 2.1750835020797687, 1.272855625211888, 0.9156029046209381, 0.4766496564621829, -1.6657713852190883, 0.5541554889325127, 1.059678693803693, -0.46991523327519974], y = 0.5750245240501302)
 (x = [1.2469091283389293, 0.7519178890021134, 0.12895183491534276, -0.37614567434687807, 0.5256855352146882, -0.63688190240524, -0.33152478056868184, 0.6285829913075965, -1.317443131941353], y = -0.31658783590926715)
 (x = [-6.943233574294701, -1.900595514717419, 2.644576222462256, 4.321163887328469, -0.9852414464842518, 4.616845230271926, -4.01145269365637, -5.341019133861309, 4.043591385516105], y = 3.011824971721696)
 (x = [-0.4780043559374121, -0.07439353248121428, -0.21615564456775252, -0.02018227877669128, -0.11369022529279875, -0.12053714903514894, 0.3263427671636788, 0.6962731614184293, 0.0898372733590219], y = -2.8748492588371723)

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.