Reference / Notation
Notation¶
Each symbol has one meaning across the documentation and the docstrings. The tables give the symbol, its meaning, the name the code uses, and the page that defines it. Indices are \(i\) for objects, \(k\) for bins, \(j\) for measured bins and \(s\) for draws; other indices are declared where they are used. The Glossary defines the terms.
Objects, bins and likelihoods¶
Symbol |
Meaning |
Code name |
Where defined |
|---|---|---|---|
\(N\) |
number of objects |
|
|
\(d_i\) |
data of object \(i\) |
the inputs of |
|
\(D\) |
the data of all objects |
||
\(z\) |
true value of an object |
|
|
\(K\) |
number of bins |
|
|
\(B_k\) |
bin \(k\) |
|
|
\(v_k\) |
volume of bin \(k\) |
|
|
\(u=T(z)\) |
measure coordinate, in which the population is flat within a bin |
|
|
\(\ell_i(z)\) |
likelihood function of object \(i\), \(p(d_i\mid z)\) |
|
|
\(L_{ik}\) |
bin-averaged likelihood |
|
|
\(\bar L_{ik}\) |
\(L_{ik}\) normalised to a row maximum of one |
|
|
\(w_i\) |
weight (multiplicity) of object \(i\) |
|
|
\(W\) |
total weight, \(\sum_iw_i\) |
|
|
\(\pi(z)\) |
interim prior |
|
|
\(P_{ik}\) |
mass of object \(i\)’s posterior in bin \(k\) |
the table of |
|
\(\Pi_k\) |
mass of the interim prior in bin \(k\) |
|
|
\(\omega_s\) |
importance weight of sample or draw \(s\) |
|
|
\(n_{\rm draw}\) |
number of draws or importance weights |
|
The population¶
Symbol |
Meaning |
Code name |
Where defined |
|---|---|---|---|
\(\rho_k\) |
population fraction of bin \(k\) |
|
|
\(\Delta^{K-1}\) |
the simplex: \(K\) non-negative numbers that sum to one |
||
\(p(z\mid\rho)\) |
population density: flat in the measure coordinate within each bin; its average over bin \(k\) is \(\rho_k/v_k\) |
|
|
\(\lambda_k\) |
rate: expected number of objects in bin \(k\) |
|
|
\(\Lambda\) |
total expected number of objects |
|
|
\(k_i\) |
bin (label) of object \(i\) |
|
|
\(r_{ik}(\rho)\) |
responsibility: object \(i\)’s posterior over bins given \(\rho\) |
|
|
\(P(k_i=k\mid D)\) |
hierarchical posterior of object \(i\) |
|
|
\(n_k\) |
realised histogram: observed objects in bin \(k\) |
|
|
\(\hat n_k(\rho)\) |
expected counts, \(\sum_iw_ir_{ik}(\rho)\) |
|
|
\(g_k\) |
KKT ratio \(W^{-1}\sum_iw_iL_{ik}/(L_i\cdot\hat\rho)\); with a flat prior and no selection the KKT gap is \(\max_kg_k-1\) |
|
|
\(f\) |
fraction of missing information |
|
|
\(I_{\rm obs}\), \(I_c\) |
observed and complete-data information |
Selection and responses¶
Symbol |
Meaning |
Code name |
Where defined |
|---|---|---|---|
\(S_k\) |
selection: probability that an object in bin \(k\) is observed, or its exposure |
|
|
\(\tilde L_{ik}\) |
detected-object likelihood: \(S_kL_{ik}\) on the truth, \(L_{ik}\) on the measurement |
||
\(S^{\rm truth}(z)\), \(S^{\rm meas}(d)\) |
the two parts of a combined selection |
|
|
\(\phi_k\) |
selected population: \(S_k\rho_k/S\cdot\rho\) |
|
|
\(\chi_k\) |
composition of the rates in mix-SQP |
||
\(M\) |
number of objects the selection missed |
||
\(m_k\) |
missed objects in bin \(k\) |
|
|
\(n^{\rm inj}_k\), \(n^{\rm rec}_k\) |
injected and recovered objects in bin \(k\) |
|
|
\(\tau_S\) |
step scale of the random walk on logit \(S\) |
|
|
\(J\) |
number of measured bins |
|
|
\(R_{jk}\) |
response: probability of measured bin \(j\) and observation, given true bin \(k\) |
|
|
\(\epsilon_k\) |
efficiency: probability that an object in true bin \(k\) is observed |
|
Priors¶
Symbol |
Meaning |
Code name |
Where defined |
|---|---|---|---|
\(\alpha_k\) |
Dirichlet concentration, also of a tallied response’s columns |
|
|
\(n^{\rm ref}_k\) |
counts of a reference sample |
|
|
\(\kappa\) |
weight of the reference counts in \(\alpha_k\) |
|
|
\(G_0\) |
base measure of a prior |
|
|
\(\nu_k\) |
stick-breaking proportions of a generalised Dirichlet |
||
\(c_{\rm PT}\), \(p_{\rm PT}\), \(h\) |
Pólya-tree concentration, its growth with depth, and the depth |
|
|
\(a_k\), \(b_k\) |
Gamma shape and rate of the rate \(\lambda_k\) |
|
|
\(\eta\) |
log-fractions, \(\rho=\mathrm{softmax}(\eta)\) |
||
\(\mu\) |
prior mean of \(\eta\) |
|
|
\(E\) |
basis of a logistic prior, one column per mode |
||
\(\theta\) |
hyperparameters: amplitude, scale, length scale |
|
|
\(s_j(\theta)\) |
prior standard deviation of mode \(j\) |
||
\(\xi_j\) |
whitened coefficient of mode \(j\) |
||
\(c_j\) |
coefficient of mode \(j\), \(s_j\xi_j\) |
||
\(\zeta_j\) |
partially centred coefficient of mode \(j\) |
||
\(\gamma_j\) |
partial-centring weight of mode \(j\) |
|
|
\(\tau\) |
standard deviation of the random walk’s differences |
|
|
\(r\) |
order of the random walk’s differences |
|
|
\(e_j\) |
eigenvalue \(j\) of the random walk’s difference precision |
||
\(\Delta\) |
half the range of a grid axis, in the measure coordinate |
||
\(c_{\rm box}\) |
size of the Gaussian-process box relative to \(\Delta\) |
|
|
\(n_{\rm basis}\) |
number of sines per axis |
|
|
\(f_{\rm ker}\) |
resolution factor of a kernel |
||
\(\psi_k(z)\) |
component \(k\) of a |
|
|
\(\beta_k\) |
fraction of the population in component \(k\) |
|
|
\(A_{jk}\) |
mass of component \(k\) in bin or cell \(j\) |
|
Coordinates, engines and diagnostics¶
Symbol |
Meaning |
Code name |
Where defined |
|---|---|---|---|
\(x\) |
unconstrained coordinates |
|
|
\(Q\) |
orthonormal Helmert basis of the isometric log-ratio |
||
\(H\) |
Hessian of the log posterior |
||
\(\hat R\) |
split R-hat |
|
|
ESS |
effective sample size, bulk or tail |
|
|
\(\hat k\) |
Pareto shape of importance weights |
|
|
\(\tau_{\rm int}\) |
integrated autocorrelation time of a chain |
|
|
\(V_i(\rho)\) |
relative Monte Carlo variance of a likelihood from samples |
|
|
\(n_{\rm sim}\) |
number of simulated data sets |
|
Symbols on older pages¶
Some guides, tutorials and docstrings were written before this table and still use a symbol with a second meaning. Read them with this mapping; the section rewrites of the documentation adopt the symbols above and remove it.
Older symbol |
Meaning there |
Symbol here |
|---|---|---|
\(S\) |
number of importance proposals; number of simulations in SBC |
\(n_{\rm draw}\); \(n_{\rm sim}\) |
\(S\) |
half the range of a grid axis |
\(\Delta\) |
\(\lambda\) |
strength of a reference sample |
\(\kappa\) |
\(\lambda_j\) |
partial-centring weight |
\(\gamma_j\) |
\(\ell\) |
log-likelihood of the catalogue |
\(\log p(D\mid\rho)\) |
\(\ell_{ik}\) |
likelihood normalised over the bins |
\(L_{ik}/\sum_kL_{ik}\) |
\(w_k\) |
weight of a |
\(\beta_k\) |
\(w_s\) |
importance weight of a sample |
\(\omega_s\) |
\(\phi_k(z)\) |
component of a |
\(\psi_k(z)\) |
\(f(z)\) |
population density |
\(p(z\mid\rho)\) |
\(\psi\) |
composition of the rates in mix-SQP |
\(\chi\) |
\(B\) |
basis of a logistic prior |
\(E\) |
\(c\), \(m\), \(p\) |
Pólya-tree concentration, depth and growth |
\(c_{\rm PT}\), \(h\), \(p_{\rm PT}\) |
\(f\) |
resolution factor of a kernel |
\(f_{\rm ker}\) |
\(m\) |
reference counts |
\(n^{\rm ref}_k\) |
\(M\) |
draws per SBC fit; component masses on a grid |
\(n_{\rm draw}\); \(A\) |
\(n_k\), \(d_k\) |
injected and recovered objects |
\(n^{\rm inj}_k\), \(n^{\rm rec}_k\) |
\(z_i\) |
bin of object \(i\) |
\(k_i\) |
\(x_i\) |
data of object \(i\) |
\(d_i\) |
\(s_i\) |
\(L_i\cdot\rho\) |
\(L_i\cdot\rho\) |
\(V\) |
Helmert basis |
\(Q\) |
\(V_k\) |
stick-breaking proportion |
\(\nu_k\) |
\(C(z)\), \(T(d)\) |
parts of a combined selection |
\(S^{\rm truth}(z)\), \(S^{\rm meas}(d)\) |
\(\tau\) |
step scale of a smooth injection selection |
\(\tau_S\) |
\(\beta\) |
concentration of a tallied response |
\(\alpha\) |
\(G\) |
gradient of the log posterior in \(\lambda\) |
\(\partial\log p/\partial\lambda\) |
The field pages quote each field’s own formulas. On the gravitational-wave page, \(\Lambda\) denotes hyperparameters, \(\theta\) an event’s parameters, \(S_i\) the number of samples of event \(i\), \(R\) the merger rate and \(N_\text{draw}\) the number of injections. On the empirical-Bayes page, \(w\) and \(g\) denote \(\rho\).