Patterns in static

Apophenia

Writing new models

The apop_model is intended to provide a consistent expression of any model that (implicitly or explicitly) expresses a likelihood of data given parameters, including traditional linear models, textbook distributions, Bayesian hierarchies, microsimulations, and any combination of the above. The unifying feature is that all of the models act over some data space and some parameter space (in some cases one or both is the empty set), and can assign a likelihood for a fixed pair of parameters and data given the model. This is a very broad requirement, often used in the statistical literature. For discussion of the theoretical structures, see A Useful Algebraic System of Statistical Models (PDF).

This page is about writing new models from scratch, beginning with basic models and on up to models with arbitrary internal settings, specific methods of Bayesian updating using your model as a prior or likelihood, and so on. I assume you have already read Models on using models and have tried a few things with the canned models that come with Apophenia, so you already know how a user handles basic estimation, adding a settings group, and so on.

This page includes:

A walkthrough

Users are encouraged to always use models via the helper functions, like apop_estimate or apop_cdf. The helper functions do some boilerplate error checking, and call defaults as needed. For example, if your model has a log_likelihood method but no p method, then apop_p will use exp(log_likelihood). If you don't give an estimate method, then apop_estimate will call apop_maximum_likelihood.

So the game in writing a new model is to write just enough internal methods to give the helper functions what they need. In the not-uncommon best case, all you need to do is write a log likelihood function or an RNG.

Here is how one would set up a model that could be estimated using maximum likelihood:

  • Write a likelihood function. Its header will look like this:
    long double new_log_likelihood(apop_data *data, apop_model *m);
    where data is the input data, and m is the parametrized model (i.e. your model with a parameters element already filled in by the caller). This function will return the value of the log likelihood function at the given parameters.
  • Write the object:
apop_model *your_new_model = &(apop_model){"The Me distribution",
.vsize=n0, .msize1=n1, .msize2=n2, .dsize=nd,
.log_likelihood = new_log_likelihood };
  • The first element is the .name, a human-language name for your model.
  • The vsize, msize1, and msize2 elements specify the shape of the parameter set. For example, if there are three numbers in the vector, then set .vsize=3 and omit the matrix sizes. The default model prep routine will call new_est->parameters = apop_data_alloc(vsize, msize1, msize2).
  • The dsize element is the size of one random draw from your model.
  • It's common to have [the number of columns in your data set] parameters; this count will be filled in if you specify -1 for vsize, msize(1|2), or dsize. If the allocation is exceptional in a different way, then you will need to allocate parameters by writing a custom prep method for the model.
  • Is this a constrained optimization? Add a .constraint element for those too. See Setting Constraints for more.

You already have more than enough that something like this will work (the dsize is used for random draws):

apop_model *estimated = apop_estimate(your_data, your_new_model);

Once that baseline works, you can fill in other elements of the apop_model as needed.

For example, if you are using a maximum likelihood method to estimate parameters, you can get much faster estimates and better covariance estimates by specifying the dlog likelihood function (aka the score):

void apop_new_dlog_likelihood(apop_data *d, gsl_vector *gradient, apop_model *m){
//do algebra here to find df/dp0, df/dp1, df/dp2....
gsl_vector_set(gradient, 0, d_0);
gsl_vector_set(gradient, 1, d_1);
}

The score is not part of the model object, but is registered (see below) using

apop_score_insert(apop_new_dlog_likelihood, your_new_model);

Threading

Many procedures in Apophenia use OpenMP to thread operations, so assume your functions are running in a threaded environment. If a method can not be threaded, wrap it in an OpenMP critical region. E.g.,

void apop_new_dlog_likelihood(apop_data *d, gsl_vector *gradient, apop_model *m){
#pragma omp critical (newdlog)
{
//un-threadable algebra here
}
gsl_vector_set(gradient, 0, d_0);
gsl_vector_set(gradient, 1, d_1);
}

Writing new settings groups

Your model may need additional settings or auxiliary information to function, which would require associating a model-specific struct with the model. A method associated with a model that uses such a struct usually begins with calls like

long double ysg_ll(apop_data *d, apop_model *m){
ysg_settings *sets = apop_settings_get(m, ysg);
...
}

These model-specific structs are handled as expected by apop_model_copy and apop_model_free, and many functions that modify or transform an apop_model try to handle settings groups as expected. This section describes how to build a settings group so all these automatic steps happen as expected, and your methods can reliably retrieve settings as needed.

But before getting into the detail of how to make model-specific groups of settings work, note that there's a lightweight method of storing sundry settings, so in many cases you can bypass all of the following. The apop_model structure has a void pointer named more which you can use to point to a model-specific struct. If more_size is larger than zero (i.e. you set it to your_model.more_size=sizeof(your_struct)), then it will be copied via memcpy by apop_model_copy, and freed by apop_model_free. Apophenia's routines will never impinge on this item, so do what you wish with it.

The remainder of this subsection describes the information you'll have to provide to make use of the conveniences described to this point: initialization of defaults, smarter copying and freeing, and adding to an arbitrarily long list of settings groups attached to a model. You will need four items: a typedef for the structure itself, plus init, copy, and free functions. This is the sort of boilerplate that will be familiar to users of object-oriented languages in the style of C++ or Java, but it's really a list of arbitrarily-typed elements, which makes this feel more like LISP. [And being a reimplementation of an existing feature of LISP, this section will be macro-heavy.]

The settings struct will likely go into a header file, so here is a sample header for a new settings group named ysg_settings, with a dataset, two sizes, and a reference counter. ysg stands for Your Settings Group; replace that substring with your preferred name in every instance to follow.

typedef struct {
int size1, size2;
char *refs;
apop_data *dataset;
} ysg_settings;

The first item is a familiar structure definition. The last line is a macro that declares the init, copy, and free functions discussed below. This is everything you would need in a header file, should you need one. These are just declarations; we'll write the actual init/copy/free functions below.

The structure itself gets the full name, ysg_settings. Everything else is a macro keyed on ysg, without the _settings part. Because of these macros, your struct name must end in _settings.

If you have an especially simple structure, then you can generate the three functions with these three macros in your .c file:

These macros generate appropriate functions to do what you'd expect: allocating the main structure, copying one struct to another, freeing the main structure. The spaces after the commas indicate that in these cases no special code gets added to the functions that these macros expand into.

You'll never call the generated functions directly; they are called by Apop_settings_add_group, apop_model_free, and other model or settings-group handling functions.

Now that initializing/copying/freeing of the structure itself is handled, the remainder of this section will be about how to add instructions for the structure internals, like data that is pointed to by the structure elements.

  • For the allocate function, use the above form if everything in your code defaults to zero/NULL. Otherwise, you will need a new line declaring a default for every element in your structure. There is a macro to help with this too. These macros will define for your use a structure named in, and an output pointer-to-struct named out. Continuing the above example:
    Apop_stopif(!in.size1, return NULL, 0, "I need you to give me a value for size1.");
    Apop_varad_set(size2, 10);
    Apop_varad_set(dataset, apop_data_alloc(out->size1, out->size2));
    Apop_varad_set(refs, malloc(sizeof(int)));
    *refs=1;
    )
    Now, Apop_settings_add(a_model, ysg, .size1=100) would set up a group with a 100-by-10 data set, and set the reference counter allocated and to one.
  • Some functions do extensive internal copying, so you will need a copy function even if your code has no explicit calls to apop_model_copy. The default above simply copies every element in the structure. Pointers are copied, giving you two pointers pointing to the same data. We have to be careful to prevent double-freeing later.
    //The elements of the set to copy are all copied by the function's boilerplate,
    //and then make one additional modification:
    #pragma omp critical (ysg_refs)
    (*refs)++;
    )
  • The struct itself is freed by boilerplate code, but add code in the free function to free data pointed to by pointers in the main structure. The macro defines a pointer-to-struct named in for your use. Continuing the example:
    #pragma omp critical (ysg_refs)
    if (!(--in->refs)) {
    free(in->dataset);
    free(in->refs);
    }
    )

With those three macros in place and the header as above, Apophenia will treat your settings group like any other, and users can use Apop_settings_add_group to populate it and attach it to any model.

Registering new methods in vtables

The settings groups are for adding arbitrary model-specific nouns; vtables are for adding arbitrary model-specific verbs.

Many functions (e.g., entropy, the dlog likelihood, Bayesian updating) have special cases for well-known models like the Normal distribution. Any function may maintain a registry of models and associated special-case procedures, aka a vtable.

Lookups happen based on a hash that takes into account the elements of the model that will be used in the calculation. For example, the apop_update_hash takes in two models and calculates the hash based on the address of the prior's draw method and the likelihood's log_likelihood or p method. Thus, a vtable lookup for new models that re-use the same methods (at the same addresses in memory) will still find the same special-case function.

If you need to deregister the function, use the associated deregister function, e.g. apop_update_vtable_drop(apop_beta, apop_binomial). You can guarantee that a method will not be re-added by following up the _drop with, e.g., apop_update_vtable_add(NULL, apop_beta, apop_binomial).

The steps for adding a function to an existing vtable:

  • See apop_update, apop_score, apop_predict, apop_model_print, and apop_parameter_model for examples and procedure-specific details.
  • Write a function following the given type definition, as listed in the function's documentation.
  • Use the associated _vtable_add function to add the function and associate it with the given model. For example, to add a Beta-binomial routine named betabinom to the registry of Bayesian updating routines, use apop_update_vtable_add(betabinom, apop_beta, apop_binomial).
  • Place a call to ..._vtable_add in the prep method of the given model, thus ensuring that the auxiliary functions are registered after the first time the model is sent to apop_estimate.

The easiest way to set up a new vtable is to copy/paste/modify an existing one. Briefly:

  • See the existing setups in the vtables portion of apop.h.
  • Cut/paste one and do a search and replace to change the name to match your desired use.
  • Set the typedef to describe the functions that get added to the vtable.
  • Rewrite the hash function to check the part of the inputs that interest you. For example, the update vtable associates functions with the draw, log_likelihood, and methods of the model. A model where these elements are identical will still match even if other elements are different.

The data elements

The remainder of this section covers the detailed expectations regarding the elements of the apop_model structure. I begin with the data (non-function) elements, and then cover the method (function) elements. Some of the following will be requirements for all models and some will be advice to authors; I use the accepted definitions of "must", "shall", "may" and related words.

Data

  • Each row of the data element is treated as a single observation by many functions. For example, apop_bootstrap_cov depends on each row being an iid observation to function correctly. Calculating the Bayesian Information Criterion (BIC) requires knowing the number of observations in the data, and assumes that row count==observation count. For complex data, the apop_data_pack and apop_data_unpack functions can help with this.
  • Some functions (bootstrap again, or many uses of apop_kl_divergence) use apop_draw to use your model's RNG (or a default) to draw a value, write it to the matrix element of the data set, and then move on to an estimation or other step. In this case, the data sent in will be entirely in the ->matrix element of the apop_data set sent to model methods. Your likelihood, p, cdf, and estimate routines must accept data as a single row of the matrix of the apop_data set for such functions to work. They may accept other formats. Tip: you can use apop_data_pack and apop_data_unpack to convert a structured set to a single row and back again.
  • Your routines may accept other data formats, as per contract with the user. For example, regression-type functions use a function named ols_shuffle to convert a matrix where the first column is the dependent variable to a data set with dependent variable in the vector and a column of ones in the first matrix column.

Parameters, vsize, msize1, msize2

  • The sizes will be used by the prep method of the model; see below. Given the model m and its elements m.vsize, m.msize1, m.msize2, functions that need to allocate a parameter set will do so via apop_data_alloc(m.vsize, m.msize1, m.msize2).

Info

  • The first page, which should be named <info>, is typically a list of scalars. Nothing is guaranteed, but the elements may include:
  • AIC: Aikake Information Criterion
  • AIC_c: AIC with a finite sample correction. ``Generally, we advocate the use of AIC_c when the ratio $n/K$ is small (say $<$ 40)'' [Kenneth P. Burnham, David R. Anderson: Model Selection and Multi-Model Inference, p 66, emphasis in original.]
  • BIC: Bayesian Information Criterion
  • R squared
  • R squared adj
  • log likelihood
  • status [0=OK, nozero=other].

For those elements that require a count of input data, the calculations assume each row in the input apop_data set is a single datum.

Get these via, e.g., apop_data_get(your_model->info, .rowname="log likelihood"). When writing for any arbitrary function, be prepared to handle NaN, indicating that the element is not calculated or saved in the info page by the given model.

For OLS-type estimations, each row corresponds to the row in the original data. For filling in of missing data, the elements may appear anywhere, so the row/col indices are essential.

settings, more

In object-oriented jargon, settings groups are the private elements of the data set, to be pulled out in certain contexts, and ignored in all others. Therefore, there are no rules about internal use. The more element of the apop_model provides a lightweight means of attaching an arbitrary struct to a model. See Writing new settings groups above for details.

  • As many settings groups of different types as desired can be added to a single apop_model.
  • One apop_model can not hold two settings groups of the same type. Re-additions cause the removal of the previous version of the group.
  • If the more pointer points to a structure or value (let it be ss), then more_size must be set to sizeof(ss).

Methods

p, log_likelihood

  • Function headers look like long double your_p_or_ll(apop_data *d, apop_model *params).
  • The inputs are an apop_data set and an apop_model, which should include the elements needed to fully estimate the probability/likelihood (probably a filled ->parameters element, possibly a settings group added by the user).
  • Assume that the parameters have been set, by users via apop_estimate or apop_model_set_parameters, or by apop_maximum_likelihood by its search algorithms. If the parameters are necessary, the function shall check that the parameters are not NULL and set the model's error element to 'p' if they are missing.
  • Return NaN on errors. If an error in the input model is found, the function may set the input model's error element to an appropriate char value.
  • If your model includes both log_likelihood and p methods, it must be the case that log(p(d, m)) equals log_likelihood(d, m) for all d and m. This implies that p must return a value $\geq 0$. Note that apop_maximum_likelihood will accept functions where p returns a negative value, but diagonstics that depend on log likelihood like AIC will return NaN.
  • If observations are assumed to be iid, you may be able to use apop_map_sum to write the core of the log likelihood function.

prep

  • Function header looks like void your_prep(apop_data *data, apop_model *params).
  • Re-prepping a model after it has already been prepped shall have no effect. Where there is ambiguity with the other requirements, this takes precedence.
  • The model's data pointer shall be set to point to the input data.
  • The info element shall be allocated and its title set to <Info>.
  • If vsize, msize1, or msize2 are -1, then the prep function shall set them to the width of the input data.
  • If dsize is -1, then the prep function shall set it to the width of the input data.
  • If the parameters element is not allocated, the function shall allocate it via apop_data_alloc(vsize, msize1, msize2) (or equivalent).
  • The default is apop_model_clear. It does all of the above.
  • The input data may be modified by the prep routine. For example, the apop_ols prep routine shuffles a single input matrix as described above under data, and the apop_pmf prep routine calls apop_data_pmf_compress on the input data.
  • The prep routine may initialize any desired settings groups. Unless otherwise stated, these should not be removed if they are already there, so that users can override defaults by adding a settings group before starting an estimation.
  • If any functions associated with the model need to be added to a vtable (see above), the registration shall happen here. Registration may also happen elsewhere.

estimate

  • Function header looks like void your_estimate(apop_data *data, apop_model *params). It modifies the input model, and returns nothing. Note that this is different from the wrapper function, apop_estimate, which makes a copy of its input model, preps it, and then calls the estimate function with the prepeped copy.
  • Assume that the prep routine has already been run. Notably, this means that parameters have been allocated.
  • Assume that the parameters hold garbage (as in a malloc without a subsequent assignment to the malloc-ed space).
  • The function shall set the parameters of the input model. For consistency with other models, the estimate should be the maximum likelihood estimate, unless otherwise documented.
  • Additional settings may be set.
  • The model's <Info> page may be filled with statistics, as discussed at infosubsec. For scalars like log likelihood and AIC, use apop_data_add_named_elmt.
  • Data should not be modified by the estimate routine; any changes to the data made by estimate must be documented.
  • The default called by apop_estimate is apop_maximum_likelihood.
  • If errors occur during processing, set the model's error element to a single character. Documentation should include the list of error characters and their meaning.

draw

  • Function header looks like void your_draw(double out, gsl_rng r, apop_model *params)
  • Assume that model paramters are set, via apop_estimate or apop_model_set_parameters. The author of the draw method should check that parameters are not NULL if needed and fill the output with NaNs if necessary parameters are not set.
  • Caller inputs a pointer-to-double of length dsize; user is expected to make sure that there is adequate space. Caller also inputs a gsl_rng, already allocated (probably via apop_rng_alloc, possibly from apop_rng_get_thread).
  • The function shall fill the space pointed to by the input pointer with a random draw from the data space, where the likelihood of any given observation is proportional to its likelihood as given by the p method. Data shall be reduced to a single vector via apop_data_pack if it is not already a single vector.

cdf

  • Function header looks like long double your_cdf(apop_data *d, apop_model *params).
  • Assume that parameters are set, via apop_estimate or apop_model_set_parameters. The author of the CDF method should check that parameters are not NULL and return NaN if necessary parameters are not set.
  • The CDF method must accept data as a single row of data in the matrix of the input apop_data set (as per a draw produced using the draw method). May accept other formats.
  • Returns the percentage of the likelihood function $\leq$ the first row of the input data. The definition of $\leq$ is chosen by the model author.
  • If one is not already present, an apop_cdf_settings group may be added to the model to store temp data. See the apop_cdf function for details.

constraint

  • Function header looks like long double your_constraint(apop_data *data, apop_model *params).
  • Assume that parameters are set, via apop_estimate, apop_model_set_parameters, or the internals of an MLE search. The author of the constraint method should check that parameters are not NULL and return NaN if necessary parameters are not set.
  • See apop_linear_constraint for a useful basis and/or example. Many constraints can be written as wrappers for this function.
  • If the constraint is met, then return zero.
  • If the constraint fails, then (1) move the parameters in the input model to a constraint-satisfying value, and (2) return the distance between the input parameters and what you've moved the parameters to. The choice of within-bounds parameters and distance function is left to the author of the constraint function.