Inverse consistency

In image registration, inverse consistency measures the consistency of mappings between images produced by a registration algorithm. The inverse consistency error, introduced by Christiansen and Johnson in 2001, quantifies the distance between the composition of the mappings from each image to the other, produced by the registration procedure, and the identity function, and is used as a regularisation constraint in the loss function of many registration algorithms to enforce consistent mappings. Inverse consistency is necessary for good image registration but it is not sufficient, since a mapping can be perfectly consistent but not register the images at all.
Definition.
Image registration is the process of establishing a common coordinate system between two images, and given two images
registering a source image formula_2 to a target image formula_3 consists of determining a transformation formula_4 that maps points from the target space to the source space. An ideal registration algorithm should not be sensitive to which image in the pair is used as source or target, and the registration operator should be antisymmetric such that the mappings
produced when registering formula_2 to formula_3 and formula_3 to formula_2 respectively should be the inverse of each other, i.e. formula_10 and formula_11 or, equivalently, formula_12 and formula_13, where formula_14 denotes the function composition operator.
Real algorithms are not perfect, and when swapping the role of source and target image in a registration problem the so obtained transformations are not the inverse of each other. Inverse consistency can be enforced by adding to the loss function of the registration a symmetric regularisation term that penalises inconsistent transformations
Inverse consistency can be used as a quality metric to evaluate image registration results. The inverse consistency error (formula_16) measures the distance between the composition of the two transforms and the identity function, and it can be formulated in terms of both average (formula_17) or maximum (formula_18) over a region of interest formula_19 of the image:
While inverse consistency is a necessary property of good registration algorithms, inverse consistency error alone is not a sufficient metric to evaluate the quality of image registration results, since a perfectly consistent mapping, with no other constraint, may be not even close to correctly register a pair of images.